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-60-1_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 2477
c lw 3929
c lw 4446
c lw 5504
c lw 6543
c lw 8101
c lw 9589
c lw 11017
c lw 11302
c lw 11411
c lw 11766
c lw 12552
c lw 12729
c lw 12951
c lw 13502
c lw 13648
c lw 14124
c lw 14299
c lw 14683
c lw 14717
c lw 14843
c lw 15373
c lw 15448
c lw 15594
c lw 15602
c lw 16154
c lw 16541
c lw 16655
c lw 17163
c lw 17257
c lw 17418
c lw 17479
c lw 17716
c lw 18507
c lw 18776
c lw 18837
c lw 19218
c lw 19345
c lw 19709
c lw 19873
c lw 19991
c lw 20055
c lw 20111
c lw 20615
c lw 20860
c lw 21137
c lw 21283
c lw 21291
c lw 21678
c lw 21891
c lw 21985
c lw 22084
c lw 22735
c lw 22910
c lw 23095
c lw 23172
c lw 23304
c lw 23960
c lw 23965
c lw 24379
c lw 24392
c lw 24651
c lw 25035
c lw 25084
c lw 25190
c lw 25257
c lw 25659
c lw 26234
c lw 26332
c lw 26770
c lw 26964
c lw 27224
c lw 27589
c lw 27642
c lw 27838
c lw 28107
c lw 28654
c lw 28715
c lw 28789
c lw 29003
c lw 29182
c lw 29330
c lw 29720
c lw 29747
c lw 29984
c lw 30181
c lw 30267
c lw 31261
c lw 31642
c lw 31839
c lw 33033
c lw 33198
c lw 33259
c lw 33276
c lw 33372
c lw 33402
c lw 33614
c lw 34234
c lw 34764
c lw 34911
c lw 34990
c lw 35002
c lw 35058
c lw 35119
c lw 35354
c lw 35584
c lw 36436
c lw 36522
c lw 37252
c lw 37281
c lw 37313
c lw 37636
c lw 37921
c lw 38016
c lw 38143
c lw 38324
c lw 38336
c lw 38777
c lw 39359
c lw 39492
c lw 39736
c lw 39818
c lw 40429
c lw 40462
c lw 40595
c lw 40782
c lw 40857
c lw 40973
c lw 41195
c lw 41305
c lw 41456
c lw 41491
c lw 41583
c lw 41587
c lw 41616
c lw 41645
c lw 41672
c lw 42588
c lw 43349
c lw 43360
c lw 44390
c lw 44420
c lw 44514
c lw 44597
c lw 44623
c lw 44774
c lw 44894
c lw 44895
c lw 45341
c lw 45466
c lw 45805
c lw 45868
c lw 46011
c lw 46241
c lw 46866
c lw 46907
c lw 47060
c lw 47920
c lw 47957
c lw 47958
c lw 47986
c lw 47989
c lw 48006
c lw 48013
c lw 48018
c lw 48035
c lw 48038
c lw 48047
c lw 48048
c lw 48077
c lw 48081
c lw 48083
c lw 48122
c lw 48153
c lw 48158
c lw 48184
c lw 48231
c lw 48366
c lw 48672
c lw 49113
c lw 49131
c lw 49376
c lw 49385
c lw 49409
c lw 49418
c lw 49477
c lw 49527
c lw 49553
c lw 49830
c lw 49934
c lw 49958
c lw 50565
c lw 50626
c lw 50635
c lw 51106
c lw 51233
c lw 51287
c lw 51549
c lw 51551
c lw 51555
c lw 51572
c lw 51573
c lw 51574
c lw 51582
c lw 51647
c lw 51702
c lw 51723
c lw 51727
c lw 51728
c lw 51729
c lw 51731
c lw 51765
c lw 51789
c lw 51790
c lw 53014
c lw 53016
c lw 53018
c lw 53021
c lw 53031
c lw 53124
c lw 53126
c lw 53127
c lw 53130
c lw 53131
c lw 53132
c lw 53133
c lw 53134
c lw 53135
c lw 53136
c lw 53137
c lw 53138
c lw 53140
c lw 53141
c lw 53150
c lw 53152
c lw 53157
c lw 53166
c lw 53174
c lw 53177
c lw 53181
c lw 53188
c lw 53189
c lw 53190
c lw 53191
c lw 53192
c lw 53193
c lw 53197
c lw 53198
c lw 53201
c lw 53202
c lw 53206
c lw 53208
c lw 53217
c lw 53218
c lw 53222
c lw 53223
c lw 53225
c lw 53226
c lw 53227
c lw 53228
c lw 53229
c lw 53230
c lw 53231
c lw 53232
c lw 53233
c lw 53234
c lw 53235
c lw 53236
c lw 53237
c lw 53238
c lw 53240
c lw 53241
c lw 53242
c lw 53243
c lw 53244
c lw 53245
c lw 53248
c lw 53249
c lw 53250
c lw 53251
c lw 53252
c lw 53254
c lw 53255
c lw 53256
c lw 53257
c lw 53258
c lw 53259
c lw 53260
c lw 53261
c lw 53262
c lw 53263
c lw 53264
c lw 53265
c lw 53266
c lw 53267
c lw 53268
c lw 53269
c lw 53270
c lw 53271
c lw 53272
c lw 53274
c lw 53275
c lw 53276
c lw 53277
c lw 53278
c lw 53279
c lw 53280
c lw 53281
c lw 53282
c lw 53283
c lw 53284
c lw 53285
c lw 53286
c lw 53287
c lw 53288
c lw 53289
c lw 53290
c lw 53291