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_1504.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/1504.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 18001
c lw 19000
c lw 19001
c lw 19002
c lw 20001
c lw 21001
c lw 22001
c lw 22002
c lw 23001
c lw 24001
c lw 25001
c lw 25002
c lw 26002
c lw 27001
c lw 27003
c lw 29001
c lw 29003
c lw 31001
c lw 31003
c lw 31004
c lw 33004
c lw 35004
c lw 36004
c lw 37004
c lw 39003
c lw 40003
c lw 40004
c lw 41003
c lw 41004
c lw 42004
c lw 42006
c lw 43004
c lw 43006
c lw 45006
c lw 46006
c lw 47006
c lw 49006
c lw 51006
c lw 53006
c lw 55006
c lw 57006
c lw 59006
c lw 61006
c lw 63006
c lw 65006
c lw 67006
c lw 69006
c lw 71006
c lw 73006
c lw 75006
c lw 77006
c lw 79006
c lw 81006
c lw 83006
c lw 85006
c lw 85007
c lw 85008
c lw 85009
c lw 85010
c lw 85011
c lw 86011
c lw 87011
c lw 87013
c lw 87014
c lw 87015
c lw 87016
c lw 87018
c lw 87020
c lw 87022
c lw 87024
c lw 87026
c lw 87028
c lw 87030
c lw 87032
c lw 87037
c lw 87042
c lw 87044
c lw 87046
c lw 87047
c lw 87048
c lw 87050
c lw 87052
c lw 87054
c lw 87056
c lw 87058
c lw 87060
c lw 87062
c lw 87064
c lw 87066
c lw 87068
c lw 87070
c lw 87072
c lw 87074
c lw 87076
c lw 87078
c lw 87080
c lw 87081
c lw 87082
c lw 87084
c lw 87086
c lw 87088
c lw 87090
c lw 87091
c lw 87092
c lw 87094
c lw 87096
c lw 87097
c lw 87099
c lw 87101
c lw 87103
c lw 87105
c lw 87107
c lw 87109
c lw 87111
c lw 88110
c lw 88112
c lw 90110
c lw 91108
c lw 92110
c lw 94110
c lw 96110
c lw 98110
c lw 98111
c lw 98113
c lw 98114
c lw 98116
c lw 98118
c lw 98119
c lw 98121
c lw 98123
c lw 98125
c lw 98126
c lw 98128
c lw 98130
c lw 98132
c lw 99128
c lw 99130
c lw 99132
c lw 99134
c lw 101128
c lw 101130
c lw 101132
c lw 101133
c lw 101135
c lw 101137
c lw 102137
c lw 103136
c lw 103137
c lw 104136
c lw 104137
c lw 105135
c lw 105137
c lw 107137
c lw 109137
c lw 109139
c lw 109140
c lw 109141
c lw 110139
c lw 110140
c lw 112140
c lw 114140
c lw 114142
c lw 114143
c lw 115142
c lw 115143
c lw 116142
c lw 116143
c lw 117142
c lw 117143
c lw 118142
c lw 118143
c lw 118144
c lw 118146
c lw 118147
c lw 118148
c lw 118150
c lw 118152
c lw 118154
c lw 118155
c lw 118157
c lw 118158
c lw 119155
c lw 119156
c lw 120154
c lw 120155
c lw 120156
c lw 120157
c lw 120158
c lw 121155
c lw 121156
c lw 121157
c lw 121158
c lw 122153
c lw 122155
c lw 122156
c lw 122157
c lw 122158
c lw 123152
c lw 123153
c lw 124149
c lw 124151
c lw 124152
c lw 124153
c lw 125149
c lw 125153
c lw 125157
c lw 125158
c lw 125159
c lw 125160
c lw 125162
c lw 125163
c lw 125165
c lw 126149
c lw 126150
c lw 126151
c lw 126152
c lw 126153
c lw 127147
c lw 127148
c lw 127149
c lw 127150
c lw 127151
c lw 127152
c lw 127153
c lw 129153
c lw 131153
c lw 133153
c lw 135153
c lw 135154
c lw 137153
c lw 137154
c lw 137155
c lw 139152
c lw 140152
c lw 141152
c lw 142152
c lw 143152
c lw 144152
c lw 145152
c lw 146152
c lw 147152
c lw 147153
c lw 147154
c lw 147155
c lw 147156
c lw 147157
c lw 147158
c lw 147159
c lw 147160
c lw 147161
c lw 147162
c lw 147163
c lw 147164
c lw 147165
c lw 147166
c lw 147167
c lw 147168
c lw 147169
c lw 147170
c lw 147171
c lw 148171
c lw 148172
c lw 148173
c lw 148174
c lw 148175
c lw 148176
c lw 148177
c lw 148178
c lw 148179
c lw 148180
c lw 148181
c lw 148182
c lw 148183
c lw 148184
c lw 148185
c lw 148186
c lw 148187
c lw 148188
c lw 148189
c lw 148190
c lw 148191
c lw 148192
c lw 148193
c lw 148194
c lw 148195
c lw 148196
c lw 148197
c lw 148198
c lw 148199
c lw 148200
c lw 148201
c lw 148202
c lw 148203
c lw 148204
c lw 148205
c lw 148206
c lw 148207
c lw 148208
c lw 148209
c lw 148210
c lw 148211
c lw 148212
c lw 148213
c lw 148214
c lw 148215
c lw 148216
c lw 148217
c lw 148218
c lw 148219
c lw 148220
c lw 148221
c lw 148222
c lw 148223
c lw 148224
c lw 148225
c lw 148226
c lw 148227
c lw 148228
c lw 148229
c lw 148230
c lw 148231
c lw 148232
c lw 148233
c lw 148234
c lw 148235
c lw 148236
c lw 148237
c lw 148238
c lw 148239
c lw 148240
c lw 148241
c lw 148242
c lw 148243
c lw 148244
c lw 148245
c lw 148246
c lw 148247
c lw 148248
c lw 148249
c lw 148250
c lw 148251
c lw 148252
c lw 148253
c lw 148254
c lw 148256
c lw 148257
c lw 148260
c lw 148261
c lw 148262
c lw 148263
c lw 148264
c lw 148265
c lw 148266
c lw 149250
c lw 149251
c lw 149252
c lw 149253
c lw 149254
c lw 149255
c lw 149256
c lw 149257
c lw 149258
c lw 150250
c lw 150251
c lw 152246
c lw 152247
c lw 152248
c lw 152249
c lw 152250
c lw 152251
c lw 152252
c lw 152253
c lw 152254
c lw 152255
c lw 152256
c lw 152260
c lw 153234
c lw 153235
Abort
483.586u 1.033s 8:05.41 99.8%	0+0k 0+0io 0pf+0w