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_1506.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/1506.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 66007
c lw 67007
c lw 69007
c lw 70007
c lw 72007
c lw 74007
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 131008
c lw 131009
c lw 131010
c lw 131011
c lw 131012
c lw 132012
c lw 133012
c lw 134012
c lw 135012
c lw 135014
c lw 135015
c lw 135016
c lw 135017
c lw 135019
c lw 135021
c lw 135023
c lw 135025
c lw 135027
c lw 135029
c lw 135031
c lw 135033
c lw 135035
c lw 135037
c lw 135039
c lw 135044
c lw 135049
c lw 135051
c lw 135053
c lw 135054
c lw 135055
c lw 135057
c lw 135059
c lw 135061
c lw 135063
c lw 135065
c lw 135067
c lw 135069
c lw 135071
c lw 135073
c lw 135075
c lw 135077
c lw 135079
c lw 135081
c lw 135083
c lw 135085
c lw 135087
c lw 135089
c lw 135091
c lw 135093
c lw 135094
c lw 135096
c lw 135098
c lw 135100
c lw 135101
c lw 135102
c lw 135103
c lw 135104
c lw 135105
c lw 135106
c lw 135107
c lw 135108
c lw 135110
c lw 135112
c lw 135114
c lw 135116
c lw 135117
c lw 135118
c lw 135120
c lw 135122
c lw 135123
c lw 135128
c lw 135133
c lw 135138
c lw 135139
c lw 135141
c lw 135143
c lw 135145
c lw 135147
c lw 135149
c lw 135151
c lw 135153
c lw 135155
c lw 135157
c lw 135159
c lw 135161
c lw 135163
c lw 135165
c lw 135167
c lw 135168
c lw 135170
c lw 135172
c lw 136172
c lw 138172
c lw 138173
c lw 138174
c lw 138175
c lw 138176
c lw 138178
c lw 138183
c lw 139183
c lw 141181
c lw 141183
c lw 141184
c lw 141185
c lw 141186
c lw 141188
c lw 141189
c lw 141190
c lw 141192
c lw 143192
c lw 143194
c lw 143196
c lw 145196
c lw 146196
c lw 146198
c lw 148198
c lw 150198
c lw 152198
c lw 154198
c lw 156198
c lw 158198
c lw 160198
c lw 161198
c lw 162198
c lw 164198
c lw 166198
c lw 166200
c lw 166202
c lw 167202
c lw 167203
c lw 167205
c lw 167207
c lw 167208
c lw 168207
c lw 169206
c lw 169207
c lw 169208
c lw 169209
c lw 170207
c lw 171206
c lw 171207
c lw 171208
c lw 172206
c lw 172207
c lw 172208
c lw 172209
c lw 173208
c lw 173209
c lw 174208
c lw 174210
c lw 174212
c lw 174214
c lw 174215
c lw 174217
c lw 174219
c lw 174220
c lw 175219
c lw 175220
c lw 176219
c lw 176220
c lw 177219
c lw 177220
c lw 178219
c lw 178220
c lw 180218
c lw 180219
c lw 180220
c lw 180221
c lw 180223
c lw 180224
c lw 181221
c lw 181222
c lw 181224
c lw 181225
c lw 181227
c lw 182227
c lw 182228
c lw 182229
c lw 182231
c lw 182232
c lw 182233
c lw 182234
c lw 182235
c lw 182236
c lw 183230
c lw 183231
c lw 183232
c lw 183234
c lw 183236
c lw 183237
c lw 185226
c lw 185228
c lw 185230
c lw 185232
c lw 185233
c lw 185237
c lw 185240
c lw 185241
c lw 185243
c lw 185245
c lw 185247
c lw 185248
c lw 187222
c lw 187223
c lw 187225
c lw 187226
c lw 187227
c lw 187233
c lw 187234
c lw 187235
c lw 187237
c lw 187238
c lw 187239
c lw 187240
c lw 187242
c lw 187243
c lw 187244
c lw 189209
c lw 189210
c lw 189227
c lw 189228
c lw 189229
c lw 189230
c lw 189231
c lw 189232
c lw 189233
c lw 189234
c lw 189247
c lw 191197
c lw 191206
c lw 191207
c lw 191208
c lw 191209
c lw 191212
c lw 191213
c lw 191214
c lw 191215
c lw 191217
c lw 191219
c lw 191220
c lw 191221
c lw 191222
c lw 191227
c lw 191228
c lw 191234
c lw 191235
c lw 191236
c lw 191237
c lw 191238
c lw 191239
c lw 191240
c lw 193167
c lw 193168
c lw 193169
c lw 193170
c lw 193171
c lw 193172
c lw 193173
c lw 193174
c lw 193175
c lw 193213
c lw 193214
c lw 193215
c lw 193216
c lw 193217
c lw 193222
c lw 193223
c lw 193224
c lw 193225
c lw 193226
c lw 193229
c lw 193230
c lw 193261
c lw 195150
c lw 195151
c lw 195152
c lw 195177
c lw 195178
c lw 195179
c lw 195181
c lw 195184
c lw 195203
c lw 195208
c lw 195209
c lw 195210
c lw 195211
c lw 195212
c lw 195213
c lw 195214
c lw 195224
c lw 195225
c lw 195226
c lw 195227
c lw 195228
c lw 195229
c lw 196223
c lw 196224
c lw 196225
c lw 196226
c lw 196227
c lw 196228
c lw 197108
c lw 197109
c lw 197110
c lw 197111
c lw 197114
c lw 197115
c lw 197119
c lw 197127
c lw 197134
c lw 198974
c lw 198975
c lw 199019
c lw 199020
c lw 199021
c lw 199022
c lw 199023
c lw 199024
c lw 199025
c lw 199026
c lw 199027
c lw 199124
c lw 199159
c lw 201123
c lw 201124
c lw 203124
c lw 203125
c lw 203126
c lw 205126
c lw 207126
c lw 207127
c lw 207128
c lw 207129
c lw 207130
c lw 207131
c lw 207132
c lw 207133
c lw 207134
c lw 207135
c lw 207136
c lw 207140
c lw 207141
c lw 207176
c lw 209176
c lw 209177
c lw 209178
c lw 209184
c lw 209185
c lw 209186
c lw 209187
c lw 209188
Killed
1818.908u 0.846s 30:20.44 99.9%	0+0k 0+0io 0pf+0w