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_42.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/42.wcsp.log.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 2
c lw 1002
c lw 2002
c lw 3002
c lw 4002
c lw 5002
c lw 6002
c lw 7002
c lw 8002
c lw 9002
c lw 10002
c lw 11002
c lw 12002
c lw 13002
c lw 14002
c lw 15002
c lw 16002
c lw 18002
c lw 20002
c lw 21002
c lw 23002
c lw 24002
c lw 25002
c lw 26002
c lw 28002
c lw 30002
c lw 32002
c lw 34002
c lw 36002
c lw 38002
c lw 40002
c lw 42002
c lw 44002
c lw 46002
c lw 48002
c lw 50002
c lw 52002
c lw 54002
c lw 56002
c lw 58002
c lw 60002
c lw 62002
c lw 64002
c lw 66002
c lw 66003
c lw 66004
c lw 66005
c lw 66006
c lw 66007
c lw 66008
c lw 66009
c lw 66014
c lw 66019
c lw 66024
c lw 66029
c lw 66034
c lw 66039
c lw 66044
c lw 66049
c lw 67049
c lw 68049
c lw 69049
c lw 70049
c lw 71049
c lw 72049
c lw 72050
c lw 74047
c lw 74048
c lw 74049
c lw 74050
c lw 76050
c lw 78050
c lw 80050
c lw 82050
c lw 84050
c lw 85050
c lw 87050
c lw 89050
c lw 90050
c lw 91050
c lw 92050
c lw 93050
c lw 94050
c lw 95050
c lw 96050
c lw 97050
c lw 98050
c lw 99050
c lw 100050
c lw 101050
c lw 102050
c lw 103050
c lw 104050
c lw 105050
c lw 106050
c lw 107050
c lw 108050
c lw 109050
c lw 111050
c lw 113050
c lw 115050
c lw 117050
c lw 119050
c lw 121050
c lw 123050
c lw 125050
c lw 127050
c lw 129050
c lw 131050
c lw 133047
c lw 133048
c lw 133049
c lw 133050
c lw 135050
c lw 137050
c lw 137051
c lw 137052
c lw 137053
c lw 139050
c lw 139051
c lw 141047
c lw 141048
c lw 141049
c lw 141050
c lw 141051
c lw 141052
c lw 141053
c lw 143046
c lw 143047
c lw 143048
c lw 143049
c lw 145049
c lw 147049
c lw 148049
c lw 149049
Abort
111.566u 0.583s 1:52.60 99.5%	0+0k 0+0io 0pf+0w