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_1407.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/1407.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 163141
c lw 163143
c lw 163145
c lw 163147
c lw 163149
c lw 163151
c lw 163153
c lw 163155
c lw 163157
c lw 163159
c lw 163161
c lw 163163
c lw 163165
c lw 163167
c lw 163168
c lw 163170
c lw 163172
c lw 165172
c lw 165173
c lw 165174
c lw 165175
c lw 165176
c lw 165178
c lw 165183
c lw 166183
c lw 166184
c lw 166185
c lw 168183
c lw 168185
c lw 168186
c lw 168188
c lw 168190
c lw 170190
c lw 172190
c lw 174190
c lw 176190
c lw 178190
c lw 180190
c lw 182190
c lw 184190
c lw 186190
c lw 188190
c lw 190190
c lw 192190
c lw 192191
c lw 194191
c lw 194192
c lw 194193
c lw 194194
c lw 194195
c lw 194196
c lw 194197
c lw 194199
c lw 194201
c lw 195201
c lw 196201
c lw 197201
c lw 198201
c lw 199201
c lw 199203
c lw 199205
c lw 199207
c lw 199209
c lw 199211
c lw 199212
c lw 200211
c lw 201210
c lw 201211
c lw 201212
c lw 201213
c lw 202211
c lw 203210
c lw 203211
c lw 203212
c lw 204210
c lw 204211
c lw 204212
c lw 204213
c lw 205212
c lw 205213
c lw 206212
c lw 206214
c lw 206216
c lw 206218
c lw 206219
c lw 206221
c lw 206223
c lw 206224
c lw 207223
c lw 207224
c lw 208223
c lw 208224
c lw 209223
c lw 209224
c lw 210223
c lw 210224
c lw 210225
c lw 212223
c lw 214223
c lw 214224
c lw 214225
c lw 215225
c lw 215227
c lw 215228
c lw 216225
c lw 216226
c lw 216228
c lw 216229
c lw 216231
c lw 216232
c lw 216233
c lw 216235
c lw 216236
c lw 216237
c lw 216238
c lw 217232
c lw 217233
c lw 217234
c lw 217236
c lw 217238
c lw 217239
c lw 219228
c lw 219230
c lw 219232
c lw 219234
c lw 219235
c lw 219239
c lw 219242
c lw 219243
c lw 219245
c lw 219247
c lw 219249
c lw 219250
c lw 221224
c lw 221225
c lw 221227
c lw 221228
c lw 221229
c lw 221235
c lw 221236
c lw 221237
c lw 221239
c lw 221240
c lw 221241
c lw 221242
c lw 221244
c lw 221245
c lw 221246
c lw 223211
c lw 223212
c lw 223229
c lw 223230
c lw 223231
c lw 223232
c lw 223233
c lw 223234
c lw 223235
c lw 223236
c lw 223249
c lw 225199
c lw 225208
c lw 225209
c lw 225210
c lw 225211
c lw 225214
c lw 225215
c lw 225216
c lw 225217
c lw 225219
c lw 225221
c lw 225222
c lw 225223
c lw 225224
c lw 225229
c lw 225230
c lw 225236
c lw 225237
c lw 225238
c lw 225239
c lw 225240
c lw 225241
c lw 225242
c lw 225243
c lw 227169
c lw 227170
c lw 227171
c lw 227172
c lw 227173
c lw 227174
c lw 227175
c lw 227176
c lw 227177
c lw 227178
c lw 227215
c lw 227216
c lw 227217
c lw 227224
c lw 227225
c lw 227226
c lw 227227
c lw 227231
c lw 227262
c lw 229151
c lw 229152
c lw 229153
c lw 229180
c lw 229181
c lw 229182
c lw 229184
c lw 229211
c lw 229212
c lw 229213
c lw 229214
c lw 229215
c lw 229223
c lw 229224
c lw 229225
c lw 229226
c lw 229227
c lw 229228
c lw 229229
c lw 229230
c lw 229231
c lw 229239
c lw 229243
c lw 229266
c lw 229272
c lw 231103
c lw 231104
c lw 231105
c lw 231106
c lw 231108
c lw 231109
c lw 231110
c lw 231111
c lw 231113
c lw 231195
c lw 231196
c lw 231197
c lw 231198
c lw 231199
c lw 231200
c lw 231201
c lw 231202
c lw 231203
c lw 231204
c lw 231205
c lw 231206
c lw 231207
c lw 231208
c lw 231209
c lw 231210
c lw 231211
c lw 233211
c lw 233212
c lw 233213
c lw 233214
c lw 233215
c lw 233216
c lw 233217
c lw 233218
c lw 233227
c lw 233228
c lw 233229
c lw 233230
c lw 233231
c lw 233232
c lw 233233
c lw 233234
c lw 235052
c lw 235053
c lw 235054
c lw 235055
c lw 235056
c lw 235057
c lw 235058
c lw 235059
c lw 235060
c lw 235061
c lw 236047
c lw 236048
c lw 236049
c lw 236050
c lw 236051
c lw 236052
c lw 236053
c lw 236054
c lw 236055
c lw 236056
c lw 236057
c lw 238057
c lw 238058
c lw 238059
c lw 238060
c lw 238061
c lw 238062
c lw 238063
Killed
1818.283u 1.462s 30:23.90 99.7%	0+0k 0+0io 0pf+0w