Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wpm1-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_WCSP_SPOT5_LOG_1403.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/1403.wcsp.log.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1000
c lw 2000
c lw 3000
c lw 4000
c lw 5000
c lw 6000
c lw 7000
c lw 8000
c lw 9000
c lw 10000
c lw 11000
c lw 12000
c lw 13000
c lw 14000
c lw 15000
c lw 16000
c lw 17000
c lw 18000
c lw 19000
c lw 19001
c lw 20000
c lw 20001
c lw 20002
c lw 21002
c lw 23002
c lw 23003
c lw 24001
c lw 26001
c lw 27001
c lw 28001
c lw 28002
c lw 29001
c lw 30001
c lw 31001
c lw 31002
c lw 32002
c lw 33002
c lw 33004
c lw 34003
c lw 36003
c lw 38001
c lw 38003
c lw 38004
c lw 40004
c lw 42004
c lw 43004
c lw 44004
c lw 45004
c lw 46004
c lw 47004
c lw 48004
c lw 49004
c lw 50003
c lw 51003
c lw 52003
c lw 53003
c lw 53005
c lw 53007
c lw 53009
c lw 54009
c lw 55009
c lw 56009
c lw 57009
c lw 59007
c lw 60007
c lw 62007
c lw 64007
c lw 65007
c lw 67007
c lw 68007
c lw 69007
c lw 70007
c lw 71007
c lw 73007
c lw 75007
c lw 77007
c lw 79007
c lw 81007
c lw 83007
c lw 85007
c lw 87007
c lw 89007
c lw 91007
c lw 93007
c lw 95007
c lw 97007
c lw 99007
c lw 101007
c lw 103007
c lw 105007
c lw 107007
c lw 109007
c lw 111007
c lw 113007
c lw 115007
c lw 117007
c lw 119007
c lw 121007
c lw 123007
c lw 125007
c lw 127007
c lw 129007
c lw 131007
c lw 133007
c lw 135007
c lw 137007
c lw 139007
c lw 141007
c lw 143007
c lw 145007
c lw 147007
c lw 149007
c lw 151007
c lw 153007
c lw 155007
c lw 157007
c lw 159007
c lw 159008
c lw 159009
c lw 159010
c lw 159011
c lw 159012
c lw 160012
c lw 161012
c lw 162012
c lw 163012
c lw 163014
c lw 163015
c lw 163016
c lw 163017
c lw 163019
c lw 163021
c lw 163023
c lw 163025
c lw 163027
c lw 163029
c lw 163031
c lw 163033
c lw 163035
c lw 163037
c lw 163039
c lw 163044
c lw 163049
c lw 163051
c lw 163053
c lw 163054
c lw 163055
c lw 163057
c lw 163059
c lw 163061
c lw 163063
c lw 163065
c lw 163067
c lw 163069
c lw 163071
c lw 163073
c lw 163075
c lw 163077
c lw 163079
c lw 163081
c lw 163083
c lw 163085
c lw 163087
c lw 163089
c lw 163091
c lw 163093
c lw 163094
c lw 163096
c lw 163097
c lw 163098
c lw 163099
c lw 163100
c lw 163101
c lw 163103
c lw 163104
c lw 163106
c lw 163108
c lw 165108
c lw 165109
c lw 165110
c lw 165112
c lw 165113
c lw 166113
c lw 168111
c lw 168113
c lw 170113
c lw 172113
c lw 174113
c lw 176113
c lw 178113
c lw 180113
c lw 182113
c lw 184113
c lw 186113
c lw 188113
c lw 190113
c lw 192113
c lw 194113
c lw 194114
c lw 194115
c lw 194116
c lw 194117
c lw 195117
c lw 196117
c lw 197117
c lw 198117
c lw 199117
c lw 199119
c lw 199120
c lw 199121
c lw 199122
c lw 200121
c lw 201120
c lw 201121
c lw 201122
c lw 201123
c lw 202121
c lw 203120
c lw 203121
c lw 203122
c lw 204120
c lw 204121
c lw 204122
c lw 204123
c lw 205122
c lw 205123
c lw 206122
c lw 206124
c lw 206126
c lw 206128
c lw 206129
c lw 206131
c lw 206133
c lw 206134
c lw 207133
c lw 207134
c lw 208133
c lw 208134
c lw 209133
c lw 209134
c lw 210133
c lw 210134
c lw 212132
c lw 214132
c lw 215132
c lw 215133
c lw 215134
c lw 216131
c lw 216132
c lw 216134
c lw 216135
c lw 216137
c lw 216138
c lw 216139
c lw 216141
c lw 216142
c lw 216143
c lw 216144
c lw 216145
c lw 217139
c lw 217140
c lw 217141
c lw 217143
c lw 217145
c lw 217146
c lw 219135
c lw 219137
c lw 219139
c lw 219141
c lw 219142
c lw 219146
c lw 219149
c lw 219150
c lw 219152
c lw 219154
c lw 219156
c lw 219157
c lw 221131
c lw 221132
c lw 221134
c lw 221135
c lw 221136
c lw 221142
c lw 221143
c lw 221144
c lw 221146
c lw 221147
c lw 221148
c lw 221149
c lw 221151
c lw 221152
c lw 221153
c lw 223118
c lw 223119
c lw 223136
c lw 223137
c lw 223138
c lw 223139
c lw 223140
c lw 223141
c lw 223142
c lw 223143
c lw 223156
c lw 225106
c lw 225115
c lw 225116
c lw 225117
c lw 225118
c lw 225121
c lw 225122
c lw 225123
c lw 225124
c lw 225126
c lw 225128
c lw 225129
c lw 225130
c lw 225131
c lw 225136
c lw 225137
c lw 225143
c lw 225144
c lw 225145
c lw 225146
c lw 225147
c lw 225148
c lw 225149
c lw 225150
c lw 227076
c lw 227077
c lw 227078
c lw 227079
c lw 227080
c lw 227081
c lw 227082
c lw 227083
c lw 227084
c lw 227085
c lw 227122
c lw 227123
c lw 227124
c lw 227131
c lw 227132
c lw 227133
c lw 227134
c lw 227135
c lw 227139
c lw 227169
c lw 229058
c lw 229059
c lw 229060
c lw 229061
c lw 229087
c lw 229088
c lw 229089
c lw 229090
c lw 229091
c lw 229093
c lw 229117
c lw 229118
c lw 229119
c lw 229129
c lw 229130
c lw 229131
c lw 229132
c lw 230126
c lw 230127
c lw 230128
c lw 230129
c lw 230130
c lw 230131
c lw 231010
c lw 231011
c lw 231012
c lw 231013
c lw 231014
c lw 231021
c lw 231024
c lw 231035
c lw 231036
c lw 231037
c lw 231038
c lw 232888
c lw 232889
c lw 232890
c lw 232891
c lw 232892
c lw 232893
c lw 232895
c lw 232897
c lw 232898
c lw 232899
c lw 232900
c lw 232901
c lw 232944
c lw 232945
c lw 232946
c lw 232947
c lw 232948
c lw 233021
c lw 233022
c lw 233023
c lw 233024
c lw 233025
c lw 233026