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_28.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/28.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 12000
c lw 14000
c lw 15000
c lw 16000
c lw 18000
c lw 20000
c lw 21000
c lw 22000
c lw 24000
c lw 25000
c lw 26000
c lw 27000
c lw 28000
c lw 30000
c lw 31000
c lw 32000
c lw 33000
c lw 34000
c lw 36000
c lw 38000
c lw 39000
c lw 40000
c lw 42000
c lw 44000
c lw 46000
c lw 48000
c lw 50000
c lw 52000
c lw 53000
c lw 54000
c lw 55000
c lw 56000
c lw 57000
c lw 58000
c lw 59000
c lw 60000
c lw 61000
c lw 62000
c lw 63000
c lw 64000
c lw 66000
c lw 68000
c lw 70000
c lw 71000
c lw 73000
c lw 74000
c lw 75000
c lw 76000
c lw 77000
c lw 78000
c lw 79000
c lw 80000
c lw 81000
c lw 83000
c lw 84000
c lw 85000
c lw 86000
c lw 88000
c lw 90000
c lw 92000
c lw 94000
c lw 95000
c lw 96000
c lw 97000
c lw 99000
c lw 101000
c lw 103000
c lw 103005
c lw 103010
c lw 103015
c lw 103020
c lw 103025
c lw 103030
c lw 103035
c lw 103040
c lw 103045
c lw 103050
c lw 103055
c lw 103060
c lw 103065
c lw 105065
c lw 105070
c lw 107070
c lw 108070
c lw 109070
c lw 110070
c lw 111070
c lw 112070
c lw 113070
c lw 114070
c lw 115070
c lw 116070
c lw 117070
c lw 118070
c lw 120070
c lw 122070
c lw 124070
c lw 126070
c lw 127070
c lw 128070
c lw 129070
c lw 131070
c lw 132070
c lw 133070
c lw 134070
c lw 135070
c lw 135075
c lw 135080
c lw 135085
c lw 135090
c lw 136090
c lw 137090
c lw 138090
c lw 139090
c lw 140090
c lw 141090
c lw 142090
c lw 143090
c lw 144090
c lw 144095
c lw 145095
c lw 147095
c lw 149095
c lw 151095
c lw 153095
c lw 155095
c lw 157095
c lw 159095
c lw 161095
c lw 163095
c lw 165095
c lw 167095
c lw 169095
c lw 171095
c lw 173095
c lw 175095
c lw 177095
c lw 179095
c lw 181095
c lw 183095
c lw 185095
c lw 187095
c lw 189095
c lw 191095
c lw 193095
c lw 195095
c lw 196095
c lw 197095
c lw 198095
c lw 199095
c lw 200095
c lw 201095
c lw 202095
c lw 203095
c lw 204095
c lw 205095
c lw 206095
c lw 207095
c lw 208095
c lw 209095
c lw 210095
c lw 211095
c lw 212095
c lw 213095
c lw 214095
c lw 215095
c lw 216095
c lw 217095
c lw 218095
c lw 219095
c lw 220095
c lw 221095
c lw 222095
c lw 222100
c lw 223100
c lw 224100
c lw 225100
c lw 226100
c lw 227100
c lw 228100
c lw 229100
c lw 229105
c lw 230105