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-160-1_network-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 722
c lw 1683
c lw 2662
c lw 4859
c lw 6727
c lw 6978
c lw 7613
c lw 9209
c lw 10124
c lw 10876
c lw 11688
c lw 12987
c lw 14432
c lw 14950
c lw 15448
c lw 16828
c lw 18907
c lw 19550
c lw 20919
c lw 20951
c lw 21219
c lw 23088
c lw 24505
c lw 25128
c lw 26091
c lw 26529
c lw 26785
c lw 27195
c lw 27300
c lw 27605
c lw 27694
c lw 27796
c lw 28119
c lw 28463
c lw 28601
c lw 28932
c lw 28956
c lw 29187
c lw 29836
c lw 30013
c lw 30980
c lw 31034
c lw 31364
c lw 31728
c lw 32816
c lw 33670
c lw 34395
c lw 34420
c lw 35229
c lw 35555
c lw 35940
c lw 36777
c lw 37130
c lw 37514
c lw 37566
c lw 38187
c lw 38226
c lw 38350
c lw 38389
c lw 38538
c lw 38940
c lw 39163
c lw 39183
c lw 40236
c lw 40397
c lw 40853
c lw 41283
c lw 41535
c lw 42356
c lw 42432
c lw 42609
c lw 43262
c lw 43798
c lw 44128
c lw 44539
c lw 44677
c lw 44754
c lw 44952
c lw 44993
c lw 45368
c lw 45952
c lw 46131
c lw 46318
c lw 46334
c lw 46359
c lw 46621
c lw 46802
c lw 46818
c lw 47163
c lw 47426
c lw 47584
c lw 47639
c lw 47680
c lw 47811
c lw 47935
c lw 47962
c lw 47974
c lw 48123
c lw 48525
c lw 48545
c lw 48706
c lw 48794
c lw 49221
c lw 49534
c lw 49630
c lw 50083
c lw 50347
c lw 50409
c lw 51228
c lw 51366
c lw 51895
c lw 52003
c lw 52203
c lw 52432
c lw 52559
c lw 52697
c lw 52726
c lw 53329
c lw 53835
c lw 53943
c lw 54086
c lw 54141
c lw 54182
c lw 54313
c lw 54927
c lw 55271
c lw 55600
c lw 55996
c lw 56013
c lw 56374
c lw 57926
c lw 58002
c lw 58537
c lw 59306
c lw 59412
c lw 59486
c lw 59676
c lw 59709
c lw 59728
c lw 59970
c lw 60348
c lw 60727
c lw 61190
c lw 61203
c lw 62087
c lw 62153
c lw 62178
c lw 62682
c lw 62886
c lw 63041
c lw 63222
c lw 63378
c lw 63516
c lw 63759
c lw 64650
c lw 64702
c lw 64710
c lw 64817
c lw 64991
c lw 65027
c lw 65344
c lw 65421
c lw 65487
c lw 65574
c lw 65743
c lw 66034
c lw 66326
c lw 66496
c lw 66536
c lw 66648
c lw 66698
c lw 67077
c lw 67201
c lw 67518
c lw 67695
c lw 67698
c lw 67737
c lw 67749
c lw 68052
c lw 68561
c lw 68857
c lw 69610
c lw 70496
c lw 71054
c lw 71365
c lw 71370
c lw 71509
c lw 71726
c lw 72131
c lw 72457
c lw 72459
c lw 72827
c lw 73401
c lw 73851
c lw 73862
c lw 74059
c lw 74146
c lw 74250
c lw 74304
c lw 75046
c lw 75257
c lw 75304
c lw 75380
c lw 75756
c lw 75865
c lw 75953
c lw 76107
c lw 76164
c lw 77517
c lw 77734
c lw 78449
c lw 78712
c lw 78750
c lw 79813
c lw 79918
c lw 79968
c lw 80056
c lw 80165
c lw 80209
c lw 80222
c lw 80235
c lw 80310
c lw 80323
c lw 80953
c lw 81299
c lw 81322
c lw 81567
c lw 81928
c lw 82337
c lw 82439
c lw 82538
c lw 82656
c lw 83169
c lw 83261
c lw 83268
c lw 83441
c lw 83478
c lw 83786
c lw 83949
c lw 84079
c lw 84845
c lw 84848
c lw 84997
c lw 85523
c lw 85624
c lw 85731
c lw 85785
c lw 85795
c lw 86120
c lw 86365
c lw 86595
c lw 86607
c lw 87021
c lw 87066
c lw 87171
c lw 87423
c lw 87876
c lw 87978
c lw 88388
c lw 88729
c lw 88781
c lw 88885
c lw 89232
c lw 89460
c lw 89927
c lw 90278
c lw 90784
c lw 90943
c lw 90961
c lw 90968
c lw 90969
c lw 91591
c lw 91768
c lw 92315
c lw 92406
c lw 92692
c lw 92908
c lw 93016
c lw 93486
c lw 93739
c lw 94721
c lw 94722
c lw 94981
c lw 95332
c lw 95356
c lw 95360
c lw 95376
c lw 95592
c lw 96129
c lw 96264
c lw 96602
c lw 96764
c lw 96881
c lw 96882
c lw 97018
c lw 97043
c lw 97180
c lw 97303
c lw 97839
c lw 97876
c lw 97977
c lw 98642
c lw 98988
c lw 99195
c lw 99211
c lw 99453
c lw 99858
c lw 99991
c lw 100388
c lw 100482
c lw 100494
c lw 101313
c lw 101789
c lw 102147
c lw 102302
c lw 102441
c lw 102498
c lw 102613
c lw 103954
c lw 104199
c lw 104293
c lw 104523
c lw 104524
c lw 104532
c lw 104552
c lw 105049
c lw 105797
c lw 105990
c lw 106574
c lw 106596
c lw 106795
c lw 106900
c lw 106963
c lw 106978
c lw 107078
c lw 107367
c lw 107433
c lw 107566
c lw 107718
c lw 107809
c lw 107882
c lw 107886
c lw 108634
c lw 108902
c lw 108940
c lw 109004
c lw 109054
c lw 109999
c lw 110496
c lw 110602
c lw 110644
c lw 110648
c lw 110660
c lw 110674
c lw 110904
c lw 110905
c lw 111158
c lw 111159
c lw 111166
c lw 111170
c lw 111174
c lw 111216
c lw 111273
c lw 111279
c lw 111280
c lw 111389
c lw 111439
c lw 111895
c lw 112270
c lw 112283
c lw 112527
c lw 112640
c lw 112657
c lw 112909
c lw 114145
c lw 114327
c lw 114459
c lw 114509
c lw 114536
c lw 114581
c lw 114611
c lw 115080
c lw 115317
c lw 115481
c lw 115497
c lw 115514
c lw 115936
c lw 115997
c lw 116088
c lw 116089
c lw 116092
c lw 116094
c lw 116112
c lw 116314
c lw 116945
c lw 116968
c lw 117238
c lw 117616
c lw 117722
c lw 117797
c lw 117948
c lw 117953
c lw 117956
c lw 117962
c lw 119050
c lw 119148
c lw 119170
c lw 119190
c lw 119514
c lw 119528
c lw 119662
c lw 119676
c lw 119742
c lw 120099
c lw 120152
c lw 120683
c lw 120858
c lw 120870
c lw 120873
c lw 120918
c lw 120934
c lw 121147
c lw 121370
c lw 121825
c lw 122071
c lw 122213
c lw 122238
c lw 122346
c lw 122369
c lw 122393
c lw 122400
c lw 122467
c lw 122669
c lw 122780
c lw 122851
c lw 122896
c lw 123561
c lw 123910
c lw 123936
c lw 123971
c lw 124065
c lw 124079
c lw 124086
c lw 124136
c lw 124903
c lw 124991
c lw 125299
c lw 125305
c lw 125312
c lw 125332
c lw 125384
c lw 125749
c lw 126593
c lw 126610
c lw 126689
c lw 126713
c lw 126806
c lw 127488
c lw 127495
c lw 127570
c lw 127572
c lw 127581
c lw 127594
c lw 127624
c lw 127781
c lw 128080
c lw 128093
c lw 128100
c lw 128113
c lw 128144
c lw 128149
c lw 128157
c lw 128170
c lw 128266
c lw 128725
c lw 129019
c lw 129430
c lw 129492
c lw 129690
c lw 129802
c lw 130266
c lw 130281
c lw 130535
c lw 130725
c lw 130727
c lw 131400
c lw 131420
c lw 131562
c lw 131907
c lw 132276
c lw 132307
c lw 132848
c lw 133411
c lw 133573
c lw 133589
c lw 133707
c lw 133763
c lw 133776
c lw 133892
c lw 133912
c lw 133932
c lw 133991
c lw 133998
c lw 134179
c lw 134359
c lw 134894
c lw 134905
c lw 135284
c lw 135331
c lw 135381
c lw 135441
c lw 135458
c lw 135683
c lw 135684
c lw 135744
c lw 135794
c lw 135848
c lw 135864
c lw 135877
c lw 135908
c lw 135921
c lw 136009
c lw 136011
c lw 136018
c lw 136020
c lw 136031
c lw 136039
c lw 136059
c lw 136258
c lw 136260
c lw 136311
c lw 136318
c lw 136342
c lw 136406
c lw 136519
c lw 136569
c lw 136872
c lw 137242
c lw 137245
c lw 137248
c lw 137251
c lw 137254
c lw 137255
c lw 137262
c lw 137266
c lw 137267
c lw 137275
c lw 137288
c lw 137289
c lw 137292
c lw 137293
c lw 137301
c lw 137306
c lw 137314
c lw 137318
c lw 137324
c lw 137329
c lw 137331
c lw 137332
c lw 137335
c lw 137338
c lw 137339
c lw 137344
c lw 137350
c lw 137549
c lw 139281
c lw 139287
c lw 139289
c lw 139309
c lw 139312
c lw 139552
c lw 139786
c lw 139887
c lw 140152
c lw 140905
c lw 140996
c lw 141157
c lw 141168
c lw 141170
c lw 141171
c lw 141177
c lw 141178
c lw 141180
c lw 141181
c lw 141182
c lw 141184
c lw 141187
c lw 141188
c lw 142068
c lw 142154
c lw 142371
c lw 142438
c lw 142441
c lw 142444
c lw 142447
c lw 142448
c lw 142449
c lw 142456
c lw 142461
c lw 142463
c lw 142468
c lw 142469
c lw 142474
c lw 142476
c lw 142478
c lw 142483
c lw 142484
c lw 142485
c lw 142486
c lw 142491
c lw 142544
c lw 142559
c lw 142560
c lw 142561
c lw 142562
c lw 142567
c lw 142568
c lw 142569
c lw 143663
c lw 143858
c lw 144065
c lw 144405
c lw 144525
c lw 144905
c lw 145109
c lw 145408
c lw 145505
c lw 145543
c lw 145697
c lw 146507
c lw 146590
c lw 146735
c lw 146904
c lw 146945
c lw 147008
c lw 147009
c lw 147010
c lw 147012
c lw 147014
c lw 147015
c lw 147016
c lw 147017
c lw 147018
c lw 147020
c lw 147021
c lw 147022
c lw 147023
c lw 147025
c lw 147026
c lw 147027
c lw 147028
c lw 147029
c lw 147031
c lw 147032
c lw 147033
c lw 147034
c lw 147045
c lw 147112
c lw 147179
c lw 147190
c lw 147191
c lw 147192
c lw 147193
c lw 147194
c lw 147195
c lw 147196
c lw 147197
c lw 147198
c lw 147199
c lw 147211
c lw 147221
c lw 147222
c lw 147223
c lw 147224
c lw 147225
c lw 147226
c lw 147228
c lw 147230
c lw 147243
c lw 147891
c lw 148295
c lw 148314
c lw 148616
c lw 149005
c lw 149279
c lw 149571
c lw 149835
c lw 150005
c lw 150331
c lw 150478
c lw 150623
c lw 150676
c lw 150813
c lw 150947
c lw 151085
c lw 151092
c lw 151094
c lw 151212
c lw 151225
c lw 151226
c lw 151227
c lw 151228
c lw 151229
c lw 151230
c lw 151239
c lw 151252
c lw 151256
c lw 151266
c lw 151267
c lw 151270
c lw 151280
c lw 151281
c lw 151282
c lw 151283
c lw 151284
c lw 151285
c lw 151287
c lw 151288
c lw 151290
c lw 151293
c lw 151304
c lw 151306
c lw 151308
c lw 151309
c lw 151314
c lw 151315
c lw 151316
c lw 151326
c lw 151327
c lw 151328
c lw 151329
c lw 151330
c lw 151331
c lw 151332
c lw 151333
c lw 151334
c lw 151335
c lw 151340
c lw 151341
c lw 151343
c lw 151344
c lw 151345
c lw 151346
c lw 151347
c lw 151348
c lw 151354
c lw 151355
c lw 151356
c lw 151357
c lw 151358
c lw 151361
c lw 151365
c lw 151366
c lw 151369
c lw 151371
c lw 151385
c lw 151388
c lw 151389
c lw 151390
c lw 151398
c lw 151404
c lw 151405
c lw 151406
c lw 151407
c lw 151408
c lw 151409
c lw 151410
c lw 151414
c lw 151415
c lw 151416
c lw 151417
c lw 151418
c lw 151420
c lw 151421
c lw 151431
c lw 151438
c lw 151439
c lw 151441
c lw 151444
c lw 151445
c lw 151446
c lw 151447
c lw 151448
c lw 151449
c lw 151450
c lw 151460
c lw 151466
c lw 151471
c lw 151530
c lw 151539
c lw 151540
c lw 151543
c lw 151544
c lw 151545
c lw 151546
c lw 151547
c lw 151548
c lw 151549
c lw 151550
c lw 151551
c lw 151552
c lw 151553
c lw 151555
c lw 151556
c lw 151557
c lw 151558
c lw 151559
c lw 151560
c lw 151561
c lw 151562
c lw 151563
c lw 151564
c lw 151565
c lw 151566
c lw 151567
c lw 151568
c lw 151569
c lw 151570
c lw 151571
c lw 151572
c lw 151573
c lw 151574
c lw 151575
c lw 151576
c lw 151577
c lw 151578
c lw 151579
c lw 151580
c lw 151581
c lw 151582
c lw 151583
c lw 151584
c lw 151585
c lw 151586
c lw 151587
c lw 151588
c lw 151606
c lw 151607
c lw 151610
c lw 151612
c lw 151613
c lw 151614
c lw 151616
c lw 151617
c lw 151623
c lw 151624
c lw 151625
c lw 151626
c lw 151627
c lw 151628
c lw 151629
c lw 151630
c lw 152164
c lw 152165
c lw 152166
c lw 152167
c lw 152168
c lw 152169
c lw 152170
c lw 152171
c lw 152172
c lw 152173
c lw 152174
c lw 152175
c lw 152176
c lw 152177
c lw 152178
c lw 152179
c lw 152180
c lw 152181
c lw 152182
c lw 152183
c lw 152184
c lw 152185
c lw 152186
c lw 152187
c lw 152188
c lw 152189
c lw 152190
c lw 152191
c lw 152192
c lw 152193
c lw 152195
c lw 152196
c lw 152197
c lw 152198
c lw 152199
c lw 152200
c lw 152201
c lw 152202
c lw 152203
c lw 152204
c lw 152205
c lw 152206
c lw 152207
c lw 152208
c lw 152209
c lw 152210
c lw 152211
c lw 152212
c lw 152213
c lw 152214
c lw 152215
c lw 152216
c lw 152218
c lw 152220
c lw 152221
c lw 152222
c lw 152223
c lw 152224
c lw 152225
c lw 152226
c lw 152227
c lw 152228
c lw 152230
c lw 152231
c lw 152232
c lw 152241
c lw 152334
c lw 152335