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_KnotPipatsrisawat_random-net-20-2_network-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 908
c lw 2147
c lw 2567
c lw 3703
c lw 3894
c lw 4419
c lw 4834
c lw 4913
c lw 5500
c lw 5542
c lw 5818
c lw 6828
c lw 6958
c lw 6976
c lw 7021
c lw 7185
c lw 7490
c lw 8134
c lw 8150
c lw 8711
c lw 8911
c lw 9697
c lw 9981
c lw 10088
c lw 10183
c lw 10734
c lw 10764
c lw 10822
c lw 10864
c lw 10990
c lw 11158
c lw 11342
c lw 11380
c lw 11431
c lw 11447
c lw 11453
c lw 11459
c lw 11469
c lw 11505
c lw 11518
c lw 11523
c lw 11529
c lw 11536
c lw 11594
c lw 11600
c lw 11605
c lw 11622
c lw 11658
c lw 11676
c lw 11731
c lw 11742
c lw 11747
c lw 11752
c lw 11800
c lw 11829
c lw 11868
c lw 11888
c lw 12072
c lw 12079
c lw 12254
c lw 12278
c lw 12488
c lw 12716
c lw 12777
c lw 12826
c lw 12900
c lw 12949
c lw 12970
c lw 12976
c lw 12980
c lw 12986
c lw 13104
c lw 13115
c lw 13154
c lw 13431
c lw 13701
c lw 14096
c lw 14179
c lw 14188
c lw 14192
c lw 14307
c lw 14323
c lw 15494
c lw 15981
c lw 16018
c lw 16177
c lw 16251
c lw 16342
c lw 16639
c lw 16727
c lw 16893
c lw 17003
c lw 17007
c lw 17014
c lw 17023
c lw 17033
c lw 17039
c lw 17042
c lw 17071
c lw 17072
c lw 17076
c lw 17079
c lw 17099
c lw 17105
c lw 17109
c lw 17115
c lw 17116
c lw 17117
c lw 17130
c lw 17131
c lw 17135
c lw 17141
c lw 17145
c lw 17148
c lw 17154
c lw 17168
c lw 17170
c lw 17174
c lw 17177
c lw 17181
c lw 17183
c lw 17185
c lw 17187
c lw 17190
c lw 17191
c lw 17192
c lw 17193
c lw 17198
c lw 17204
c lw 17205
c lw 17207
c lw 17208
c lw 17209
c lw 17212
c lw 17213
c lw 17214
c lw 17215
c lw 17216
c lw 17217
c lw 17218
c lw 17219
c lw 17221
c lw 17222
c lw 17223
c lw 17224
c lw 17225
c lw 17226
c lw 17227
c lw 17238
c lw 17240
c lw 17241
c lw 17242
c lw 17243
c lw 17244
c lw 17245
c lw 17246
c lw 17247
c lw 17248
c lw 17249
c lw 17250
c lw 17251
c lw 17252
c lw 17253
c lw 17254
c lw 17255
c lw 17256
c lw 17257
c lw 17258
c lw 17259
c lw 17260
c lw 17261
c lw 17264
c lw 17265
c lw 17266
c lw 17267
c lw 17268
c lw 17269
c lw 17270
c lw 17271
c lw 17272
c lw 17273