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_1401.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/1401.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 163056
c lw 163058
c lw 165058
c lw 165059
c lw 166059
c lw 168057
c lw 168059
c lw 170059
c lw 172059
c lw 174059
c lw 176059
c lw 178059
c lw 180059
c lw 182059
c lw 184059
c lw 186059
c lw 188059
c lw 190059
c lw 192059
c lw 194059
c lw 195059
c lw 196059
c lw 197059
c lw 198059
c lw 199059
c lw 199060
c lw 200059
c lw 201058
c lw 201059
c lw 201060
c lw 201061
c lw 202059
c lw 203058
c lw 203059
c lw 203060
c lw 204058
c lw 204059
c lw 204060
c lw 204061
c lw 205060
c lw 205061
c lw 206060
c lw 206062
c lw 206064
c lw 206066
c lw 206067
c lw 206068
c lw 207067
c lw 207068
c lw 208067
c lw 208068
c lw 209067
c lw 209068
c lw 210067
c lw 210068
c lw 212066
c lw 214066
c lw 215066
c lw 215067
c lw 216064
c lw 216065
c lw 216066
c lw 216068
c lw 216069
c lw 216070
c lw 216072
c lw 216073
c lw 216074
c lw 216075
c lw 217069
c lw 217070
c lw 217071
c lw 217073
c lw 217075
c lw 217076
c lw 219065
c lw 219067
c lw 219069
c lw 219071
c lw 219072
c lw 219076
c lw 219079
c lw 219080
c lw 219082
c lw 219084
c lw 219086
c lw 219087
c lw 221061
c lw 221062
c lw 221064
c lw 221065
c lw 221066
c lw 221072
c lw 221073
c lw 221074
c lw 221076
c lw 221077
c lw 221078
c lw 221079
c lw 221081
c lw 221082
c lw 221083
c lw 223048
c lw 223049
c lw 223066
c lw 223067
c lw 223068
c lw 223069
c lw 223070
c lw 223071
c lw 223072
c lw 223073
c lw 223086
c lw 225036
c lw 225045
c lw 225046
c lw 225047
c lw 225048
c lw 225051
c lw 225052
c lw 225053
c lw 225054
c lw 225056
c lw 225058
c lw 225059
c lw 225060
c lw 225061
c lw 225065
c lw 225066
c lw 225073
c lw 225074
c lw 225075
c lw 225076
c lw 225077
c lw 225078
c lw 225079
c lw 225080
c lw 227006
c lw 227007
c lw 227008
c lw 227009
c lw 227010
c lw 227011
c lw 227012
c lw 227013
c lw 227052
c lw 227053
c lw 227054
c lw 227055
c lw 227061
c lw 227062
c lw 227063
c lw 227064
c lw 227068
c lw 227101
c lw 228988
c lw 228989
c lw 229016
c lw 229017
c lw 229018
c lw 229020
c lw 229021
c lw 229022
c lw 229049
c lw 229050
c lw 229051
c lw 229052
c lw 229053
c lw 229054
c lw 229059
c lw 229060
c lw 229061
c lw 229063
c lw 229064
c lw 229065
c lw 229076
c lw 229077
c lw 229081
c lw 229082
c lw 229083
c lw 229085
c lw 229109
c lw 230939
c lw 230940
c lw 230941
c lw 230943
c lw 230944
c lw 230945
c lw 231030
c lw 231031
c lw 231032
c lw 231033
c lw 231034
c lw 231036
c lw 231037
c lw 231038
c lw 231039
c lw 231040
c lw 231041
c lw 231042
c lw 231043
c lw 231044
c lw 231045
c lw 231046
c lw 231047
c lw 231058
c lw 231059
c lw 231060
c lw 231061
c lw 231062
c lw 231063
c lw 231064
c lw 231065
c lw 231066
c lw 231067
c lw 233067
c lw 234982
c lw 234983
c lw 234984
c lw 234985
c lw 234986
c lw 234987
c lw 234988
c lw 234989
c lw 236793
c lw 236794
c lw 236795
c lw 236796
c lw 236867
c lw 236950
c lw 236951
c lw 236952
c lw 236953
c lw 236962
c lw 238962
c lw 240962
c lw 242962
c lw 243879
Killed
1818.113u 1.659s 30:24.37 99.7%	0+0k 0+0io 0pf+0w