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_1405.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/1405.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 163098
c lw 163100
c lw 163101
c lw 163102
c lw 163103
c lw 163104
c lw 163105
c lw 163106
c lw 163107
c lw 163108
c lw 163110
c lw 163112
c lw 163114
c lw 163116
c lw 163117
c lw 163118
c lw 163120
c lw 163122
c lw 163123
c lw 163128
c lw 163133
c lw 163138
c lw 163139
c lw 163140
c lw 163142
c lw 163144
c lw 165144
c lw 165145
c lw 165146
c lw 165147
c lw 165148
c lw 165153
c lw 166153
c lw 166154
c lw 166155
c lw 168153
c lw 168155
c lw 168156
c lw 168158
c lw 168160
c lw 170160
c lw 172160
c lw 174160
c lw 176160
c lw 178160
c lw 180160
c lw 182160
c lw 184160
c lw 186160
c lw 188160
c lw 190160
c lw 192160
c lw 192161
c lw 194161
c lw 194162
c lw 194163
c lw 194164
c lw 194165
c lw 194166
c lw 194167
c lw 194169
c lw 194171
c lw 195171
c lw 196171
c lw 197171
c lw 198171
c lw 199171
c lw 199172
c lw 200171
c lw 201170
c lw 201171
c lw 201172
c lw 201173
c lw 202171
c lw 203170
c lw 203171
c lw 203172
c lw 204170
c lw 204171
c lw 204172
c lw 204173
c lw 205172
c lw 205173
c lw 206172
c lw 206174
c lw 206176
c lw 206178
c lw 206179
c lw 206181
c lw 206183
c lw 206184
c lw 207183
c lw 207184
c lw 208183
c lw 208184
c lw 209183
c lw 209184
c lw 210183
c lw 210184
c lw 210185
c lw 212183
c lw 214183
c lw 214184
c lw 214185
c lw 215185
c lw 215186
c lw 216183
c lw 216184
c lw 216186
c lw 216187
c lw 216189
c lw 216190
c lw 216191
c lw 216193
c lw 216194
c lw 216195
c lw 216196
c lw 217190
c lw 217191
c lw 217192
c lw 217194
c lw 217196
c lw 217197
c lw 219186
c lw 219188
c lw 219190
c lw 219192
c lw 219193
c lw 219197
c lw 219200
c lw 219201
c lw 219203
c lw 219205
c lw 219207
c lw 219208
c lw 221182
c lw 221183
c lw 221185
c lw 221186
c lw 221187
c lw 221193
c lw 221194
c lw 221195
c lw 221197
c lw 221198
c lw 221199
c lw 221200
c lw 221202
c lw 221203
c lw 221204
c lw 223169
c lw 223170
c lw 223187
c lw 223188
c lw 223189
c lw 223190
c lw 223191
c lw 223192
c lw 223193
c lw 223194
c lw 223207
c lw 225157
c lw 225166
c lw 225167
c lw 225168
c lw 225169
c lw 225172
c lw 225173
c lw 225174
c lw 225175
c lw 225177
c lw 225179
c lw 225180
c lw 225181
c lw 225182
c lw 225186
c lw 225187
c lw 225194
c lw 225195
c lw 225196
c lw 225197
c lw 225198
c lw 225199
c lw 225200
c lw 225201
c lw 227127
c lw 227128
c lw 227129
c lw 227130
c lw 227131
c lw 227132
c lw 227133
c lw 227134
c lw 227173
c lw 227174
c lw 227175
c lw 227176
c lw 227177
c lw 227182
c lw 227183
c lw 227184
c lw 227221
c lw 229109
c lw 229110
c lw 229136
c lw 229137
c lw 229138
c lw 229139
c lw 229140
c lw 229165
c lw 229173
c lw 229174
c lw 229175
c lw 229176
c lw 229177
c lw 229178
c lw 229179
c lw 229180
c lw 229187
c lw 229188
c lw 229189
c lw 229195
c lw 229219
c lw 229220
c lw 229227
c lw 231059
c lw 231060
c lw 231061
c lw 231065
c lw 232065
c lw 232066
c lw 232067
c lw 232068
c lw 232069
c lw 232070
c lw 232071
c lw 234071
c lw 236071
c lw 236072
c lw 236074
c lw 236161
c lw 236162
c lw 236163
c lw 236174
c lw 236175
c lw 236176
c lw 236177