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-100-1_network-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 546
c lw 1502
c lw 1560
c lw 2915
c lw 3920
c lw 4233
c lw 5110
c lw 5753
c lw 7197
c lw 8251
c lw 9167
c lw 9715
c lw 10174
c lw 11405
c lw 11851
c lw 13441
c lw 13991
c lw 14301
c lw 14718
c lw 14941
c lw 14963
c lw 15618
c lw 16093
c lw 16161
c lw 16403
c lw 16436
c lw 16533
c lw 16705
c lw 17135
c lw 17650
c lw 17859
c lw 18850
c lw 19205
c lw 19245
c lw 19490
c lw 19546
c lw 20276
c lw 20328
c lw 20891
c lw 21947
c lw 22189
c lw 22427
c lw 22720
c lw 23872
c lw 23898
c lw 24610
c lw 24628
c lw 25344
c lw 25379
c lw 25686
c lw 25699
c lw 25899
c lw 25995
c lw 26096
c lw 26290
c lw 26672
c lw 27104
c lw 27306
c lw 27427
c lw 28000
c lw 28388
c lw 28601
c lw 29327
c lw 29392
c lw 30436
c lw 30978
c lw 31057
c lw 31102
c lw 31875
c lw 32031
c lw 32084
c lw 32161
c lw 32220
c lw 32293
c lw 32905
c lw 32945
c lw 32990
c lw 33172
c lw 33331
c lw 33352
c lw 33434
c lw 33451
c lw 33511
c lw 33711
c lw 33787
c lw 33875
c lw 33974
c lw 34352
c lw 35068
c lw 35213
c lw 35434
c lw 35447
c lw 36388
c lw 36419
c lw 36437
c lw 36484
c lw 36506
c lw 36628
c lw 36655
c lw 37197
c lw 37760
c lw 37932
c lw 37935
c lw 38431
c lw 38959
c lw 39405
c lw 39529
c lw 39570
c lw 39723
c lw 40226
c lw 40572
c lw 40640
c lw 40927
c lw 40976
c lw 41003
c lw 41021
c lw 41058
c lw 41126
c lw 41559
c lw 41682
c lw 42666
c lw 43379
c lw 44337
c lw 44370
c lw 44671
c lw 45004
c lw 45028
c lw 45061
c lw 45325
c lw 45738
c lw 45963
c lw 46344
c lw 47065
c lw 47645
c lw 47701
c lw 48185
c lw 48268
c lw 48395
c lw 48474
c lw 48502
c lw 48575
c lw 48783
c lw 48811
c lw 48875
c lw 48878
c lw 48967
c lw 49419
c lw 49555
c lw 49832
c lw 49914
c lw 50218
c lw 50769
c lw 50967
c lw 51065
c lw 51486
c lw 51796
c lw 51815
c lw 52151
c lw 52470
c lw 53615
c lw 53643
c lw 53756
c lw 53993
c lw 54758
c lw 54786
c lw 54979
c lw 55388
c lw 55576
c lw 55695
c lw 55849
c lw 55867
c lw 55886
c lw 55961
c lw 56055
c lw 56078
c lw 56091
c lw 56247
c lw 56255
c lw 56261
c lw 56305
c lw 56770
c lw 57113
c lw 57126
c lw 57149
c lw 57170
c lw 57188
c lw 57207
c lw 57214
c lw 57632
c lw 58138
c lw 58149
c lw 58167
c lw 58201
c lw 58247
c lw 58973
c lw 59273
c lw 59284
c lw 60526
c lw 60611
c lw 60644
c lw 60661
c lw 60668
c lw 60742
c lw 60945
c lw 60948
c lw 60977
c lw 61083
c lw 61139
c lw 61431
c lw 61680
c lw 61713
c lw 61776
c lw 61796
c lw 62375
c lw 63043
c lw 63070
c lw 63077
c lw 63096
c lw 63114
c lw 63789
c lw 64105
c lw 64687
c lw 65004
c lw 65060
c lw 65221
c lw 65224
c lw 65303
c lw 65438
c lw 65773
c lw 66510
c lw 66609
c lw 66622
c lw 66645
c lw 66655
c lw 66663
c lw 66708
c lw 66985
c lw 67793
c lw 68161
c lw 69219
c lw 69226
c lw 69321
c lw 69483
c lw 70267
c lw 70785
c lw 71563
c lw 71605
c lw 72627
c lw 72943
c lw 72987
c lw 73005
c lw 73169
c lw 73176
c lw 73187
c lw 73282
c lw 73296
c lw 73321
c lw 73390
c lw 73565
c lw 73885
c lw 74316
c lw 74625
c lw 75000
c lw 75112
c lw 75213
c lw 75867
c lw 76013
c lw 76058
c lw 76153
c lw 76820
c lw 76869
c lw 77279
c lw 77652
c lw 78019
c lw 78150
c lw 78239
c lw 78569
c lw 79229
c lw 79690
c lw 80023
c lw 80983
c lw 81255
c lw 81346
c lw 81711
c lw 81736
c lw 82233
c lw 82271
c lw 82324
c lw 82523
c lw 82898
c lw 82992
c lw 83049
c lw 83087
c lw 83181
c lw 83408
c lw 83410
c lw 83448
c lw 83464
c lw 83718
c lw 83756
c lw 83759
c lw 83775
c lw 83800
c lw 83878
c lw 83935
c lw 83937
c lw 83954
c lw 84065
c lw 84102
c lw 84194
c lw 84197
c lw 84215
c lw 84228
c lw 84231
c lw 84244
c lw 84250
c lw 84269
c lw 84288
c lw 85051
c lw 85420
c lw 85557
c lw 86370
c lw 86530
c lw 86688
c lw 86832
c lw 86992
c lw 86995
c lw 87005
c lw 87008
c lw 87010
c lw 87011
c lw 87014
c lw 87067
c lw 87078
c lw 87081
c lw 87084
c lw 87101
c lw 87103
c lw 87119
c lw 87126
c lw 87136
c lw 87161
c lw 87162
c lw 87165
c lw 87167
c lw 87220
c lw 87221
c lw 87222
c lw 87223
c lw 87225
c lw 87226
c lw 87227
c lw 87232
c lw 87236
c lw 87239
c lw 87240
c lw 87241
c lw 87242
c lw 87243
c lw 87244
c lw 87245
c lw 87249
c lw 87252
c lw 87253
c lw 87255
c lw 87256
c lw 87257
c lw 87258
c lw 87261
c lw 87262
c lw 87268
c lw 87269
c lw 87270
c lw 87271
c lw 87272
c lw 87273
c lw 87274
c lw 87275
c lw 87276
c lw 87277
c lw 87278
c lw 87366
c lw 88024
c lw 88256
c lw 88350
c lw 88354
c lw 88359
c lw 88362
c lw 88366
c lw 88367
c lw 88369
c lw 88370
c lw 88371
c lw 88372
c lw 88373
c lw 88374
c lw 88376
c lw 88377
c lw 88378
c lw 88379
c lw 88380
c lw 88381
c lw 88382
c lw 88383
c lw 88384
c lw 88385
c lw 88386
c lw 88387
c lw 88388
c lw 88389
c lw 88390
c lw 88391
c lw 88392
c lw 88393
c lw 88394
c lw 88395
c lw 88396
c lw 88397
c lw 88398
c lw 88399
c lw 88400
c lw 88401
c lw 88402
c lw 88403
c lw 88404
c lw 88405
c lw 88406
c lw 88407
c lw 88408
c lw 88409