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-80-2_network-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 82
c lw 680
c lw 2224
c lw 3637
c lw 4978
c lw 5839
c lw 7254
c lw 8098
c lw 8865
c lw 10043
c lw 11545
c lw 11879
c lw 12377
c lw 12868
c lw 13156
c lw 13327
c lw 13492
c lw 13702
c lw 14009
c lw 14073
c lw 14250
c lw 14647
c lw 15384
c lw 15730
c lw 15826
c lw 16173
c lw 16247
c lw 16740
c lw 17371
c lw 17536
c lw 17622
c lw 18308
c lw 18342
c lw 18538
c lw 18758
c lw 18803
c lw 19010
c lw 19534
c lw 19744
c lw 20038
c lw 20045
c lw 20277
c lw 20457
c lw 21321
c lw 21667
c lw 22108
c lw 22371
c lw 22877
c lw 23088
c lw 23349
c lw 23404
c lw 23697
c lw 23700
c lw 23729
c lw 23822
c lw 23874
c lw 23970
c lw 24090
c lw 24125
c lw 24128
c lw 24163
c lw 24263
c lw 24276
c lw 24321
c lw 24376
c lw 24571
c lw 24745
c lw 24853
c lw 25008
c lw 25035
c lw 25048
c lw 25772
c lw 25893
c lw 25914
c lw 25955
c lw 26045
c lw 26114
c lw 26203
c lw 26560
c lw 26566
c lw 26773
c lw 26818
c lw 26845
c lw 26890
c lw 26903
c lw 26972
c lw 27030
c lw 27043
c lw 27075
c lw 27088
c lw 27157
c lw 27164
c lw 27536
c lw 28635
c lw 28642
c lw 28711
c lw 28724
c lw 28797
c lw 28829
c lw 28842
c lw 28874
c lw 28909
c lw 28919
c lw 29071
c lw 29081
c lw 29088
c lw 29091
c lw 29116
c lw 29120
c lw 29168
c lw 29189
c lw 29191
c lw 29230
c lw 29243
c lw 29246
c lw 29250
c lw 29275
c lw 29442
c lw 29450
c lw 29469
c lw 29472
c lw 29479
c lw 29489
c lw 29514
c lw 29518
c lw 29520
c lw 29541
c lw 29695
c lw 30019
c lw 30096
c lw 30097
c lw 30162
c lw 30375
c lw 31485
c lw 31584
c lw 31692
c lw 31730
c lw 31775
c lw 31943
c lw 31990
c lw 32055
c lw 32315
c lw 32563
c lw 32683
c lw 32756
c lw 33360
c lw 33459
c lw 33795
c lw 33812
c lw 34151
c lw 34189
c lw 34190
c lw 34194
c lw 34232
c lw 34233
c lw 34257
c lw 34278
c lw 34301
c lw 34324
c lw 34397
c lw 34420
c lw 34437
c lw 34454
c lw 34455
c lw 34465
c lw 34469
c lw 35111
c lw 35112
c lw 35113
c lw 35388
c lw 35426
c lw 35727
c lw 35794
c lw 35812
c lw 35813
c lw 35830
c lw 35880
c lw 36110
c lw 36169
c lw 36245
c lw 36291
c lw 36776
c lw 37048
c lw 37049
c lw 37054
c lw 37089
c lw 37092
c lw 37098
c lw 37105
c lw 37130
c lw 37133
c lw 37140
c lw 37150
c lw 37211
c lw 37218
c lw 37235
c lw 37270
c lw 37302
c lw 37306
c lw 37308
c lw 37312
c lw 37314
c lw 37324
c lw 37331
c lw 37333
c lw 37334
c lw 37337
c lw 37353
c lw 37359
c lw 37363
c lw 37365
c lw 37374
c lw 37378
c lw 37383
c lw 37384
c lw 37402
c lw 37405
c lw 37409
c lw 37429
c lw 37444
c lw 37468
c lw 37475
c lw 38177
c lw 38180
c lw 38206
c lw 38267
c lw 38335
c lw 38403
c lw 38462
c lw 38564
c lw 38655
c lw 38919
c lw 39112
c lw 39289
c lw 39297
c lw 39350
c lw 39356
c lw 39363
c lw 39406
c lw 39423
c lw 39700
c lw 39782
c lw 39783
c lw 39784
c lw 39812
c lw 39861
c lw 39945
c lw 39946
c lw 39974
c lw 40076
c lw 40134
c lw 40167
c lw 40183
c lw 40245
c lw 40314
c lw 40315
c lw 40316
c lw 40317
c lw 40330
c lw 40331
c lw 40563
c lw 40937
c lw 41040
c lw 41260
c lw 41564
c lw 41782
c lw 41836
c lw 41842
c lw 41885
c lw 41895
c lw 41896
c lw 41897
c lw 41898
c lw 41911
c lw 41912
c lw 41962
c lw 41982
c lw 42049
c lw 42076
c lw 42083
c lw 42112
c lw 42130
c lw 42212
c lw 42291
c lw 42315
c lw 42862
c lw 42965
c lw 43195
c lw 43201
c lw 43353
c lw 43435
c lw 43721
c lw 44046
c lw 44135
c lw 44254
c lw 44460
c lw 44560
c lw 44614
c lw 44955
c lw 45098
c lw 45201
c lw 45239
c lw 45254
c lw 45546
c lw 45561
c lw 46160
c lw 46164
c lw 46540
c lw 46721
c lw 46723
c lw 46851
c lw 47005
c lw 47171
c lw 47306
c lw 47387
c lw 47521
c lw 47532
c lw 47549
c lw 47553
c lw 47566
c lw 47582
c lw 47604
c lw 47608
c lw 47663
c lw 47896
c lw 47900
c lw 47913
c lw 47914
c lw 47929
c lw 47937
c lw 47938
c lw 47984
c lw 48080
c lw 48110
c lw 48112
c lw 48161
c lw 48165
c lw 48167
c lw 48213
c lw 48265
c lw 48266
c lw 48295
c lw 48300
c lw 48316
c lw 48352
c lw 48360
c lw 48449
c lw 48502
c lw 48564
c lw 49148
c lw 49327
c lw 49339
c lw 49442
c lw 49487
c lw 49560
c lw 49580
c lw 49584
c lw 49697
c lw 49708
c lw 49753
c lw 49824
c lw 49825
c lw 49839
c lw 49850
c lw 49869
c lw 49874
c lw 49879
c lw 49906
c lw 49909
c lw 49924
c lw 49928
c lw 49930
c lw 49938
c lw 49949
c lw 49955
c lw 49979
c lw 49983
c lw 49985
c lw 50031
c lw 50064
c lw 50072
c lw 50080
c lw 50085
c lw 50097
c lw 50100
c lw 50101
c lw 50102
c lw 50103
c lw 50115
c lw 50117
c lw 50119
c lw 50120
c lw 50127
c lw 50128
c lw 50136
c lw 50142
c lw 50143
c lw 50145
c lw 50176
c lw 50182
c lw 50279
c lw 50300
c lw 50462
c lw 50472
c lw 50480
c lw 50510
c lw 50514
c lw 50521
c lw 50538
c lw 50657
c lw 50863
c lw 50982
c lw 51335
c lw 51477
c lw 51529
c lw 51629
c lw 51641
c lw 52069
c lw 52576
c lw 52655
c lw 52682
c lw 52718
c lw 52856
c lw 52927
c lw 52939
c lw 52979
c lw 52991
c lw 53046
c lw 53079
c lw 53081
c lw 53091
c lw 53093
c lw 53170
c lw 53235
c lw 53236
c lw 53237
c lw 53238
c lw 53239
c lw 53241
c lw 53244
c lw 53248
c lw 53251
c lw 53252
c lw 53253
c lw 53255
c lw 53256
c lw 53260
c lw 53262
c lw 53263
c lw 53264
c lw 53266
c lw 53271
c lw 53279
c lw 53281
c lw 53295
c lw 53297
c lw 53298
c lw 53299
c lw 53300
c lw 53303
c lw 53305
c lw 53307
c lw 53310
c lw 53311
c lw 53312
c lw 53314
c lw 53315
c lw 53319
c lw 53320
c lw 53322
c lw 53324
c lw 53325
c lw 53328
c lw 53329
c lw 53330
c lw 53331
c lw 53332
c lw 53335
c lw 53336
c lw 53337
c lw 53338
c lw 53340
c lw 53345
c lw 53346
c lw 53351
c lw 53353
c lw 53354
c lw 53355
c lw 53356
c lw 53358
c lw 53360
c lw 53361
c lw 53362
c lw 53363
c lw 53364
c lw 53366
c lw 53368
c lw 53370
c lw 53371
c lw 53372
c lw 53373
c lw 53374
c lw 53376
c lw 53377
c lw 53396
c lw 53404
c lw 53405
c lw 53407
c lw 53412
c lw 53413
c lw 53415
c lw 53416
c lw 53417
c lw 53420
c lw 53422
c lw 53424
c lw 53425
c lw 53428
c lw 53429
c lw 53430
c lw 53431
c lw 53432
c lw 53434
c lw 53436
c lw 53504
c lw 53505
c lw 53506
c lw 53507
c lw 53508
c lw 53509
c lw 53510
c lw 53511
c lw 53512
c lw 53513
c lw 53514
c lw 53515
c lw 53516
c lw 53517
c lw 53518
c lw 53519
c lw 53520
c lw 53521
c lw 53522
c lw 53523
c lw 53524
c lw 53525
c lw 53526
c lw 53557
c lw 53717
c lw 53863
c lw 53868
c lw 53870
c lw 53963
c lw 54151
c lw 54297
c lw 54302
c lw 54346
c lw 54349
c lw 54439
c lw 54503
c lw 54536
c lw 54576
c lw 54577
c lw 54579
c lw 54581
c lw 54584
c lw 54585
c lw 54586
c lw 54588
c lw 54589
c lw 54590
c lw 54592
c lw 54594
c lw 54596
c lw 54597
c lw 54598
c lw 54600
c lw 54601
c lw 54605
c lw 54606
c lw 54607
c lw 54608
c lw 54609
c lw 54610
c lw 54611
c lw 54613
c lw 54614
c lw 54615
c lw 54616
c lw 54617
c lw 54618
c lw 54619
c lw 54620
c lw 54621
c lw 54623
c lw 54624
c lw 54625
c lw 54626
c lw 54627
c lw 54628
c lw 54629
c lw 54630
c lw 54631
c lw 54632
c lw 54633
c lw 54636
c lw 54638
c lw 54640
c lw 54641
c lw 54642
c lw 54643
c lw 54644
c lw 54645
c lw 54647
c lw 54648
c lw 54649
c lw 54650
c lw 54651
c lw 54655
c lw 54656
c lw 54657
c lw 54658
c lw 54659
c lw 54660
c lw 54661
c lw 54663
c lw 54664
c lw 54665
c lw 54666
c lw 54667
c lw 54668
c lw 54669
c lw 54670
c lw 54671
c lw 54672
c lw 54673
c lw 54674
c lw 54675
c lw 54677
c lw 54678
c lw 54680
c lw 54681
c lw 54682
c lw 54683
c lw 54684
c lw 54685
c lw 54686
c lw 54687
c lw 54688
c lw 54689
c lw 54691
c lw 54692
c lw 54693
c lw 54694
c lw 54695
c lw 54696
c lw 54697
c lw 54698
c lw 54699
c lw 54700
c lw 54701
c lw 54702
c lw 54703
c lw 54705
c lw 54706
c lw 54765
c lw 54788
c lw 55036
c lw 55110
c lw 55158
c lw 55197
c lw 55348
c lw 55366
c lw 56315
c lw 56407
c lw 56552
c lw 56595
c lw 56604
c lw 56622
c lw 56627
c lw 56681
c lw 56740
c lw 56744
c lw 56773
c lw 56801
c lw 57322
c lw 58024
c lw 58034
c lw 58035
c lw 58156
c lw 58171
c lw 58204
c lw 58215
c lw 58222
c lw 58227
c lw 58252
c lw 58281
c lw 58282
c lw 58310
c lw 58311
c lw 58339
c lw 58349
c lw 58353
c lw 58371
c lw 58412
c lw 58514
c lw 58628
c lw 58653
c lw 58657
c lw 58660
c lw 58662
c lw 58666
c lw 58671
c lw 58687
c lw 58689
c lw 58693
c lw 58696
c lw 58737
c lw 58750
c lw 58850
c lw 58869
c lw 58999
c lw 59098
c lw 59122
c lw 59160
c lw 59161
c lw 59252
c lw 59299
c lw 59542
c lw 59652
c lw 60664
c lw 60768
c lw 61614
c lw 61873
c lw 61884
c lw 61967
c lw 62001
c lw 62049
c lw 62276
c lw 62376
c lw 62398
c lw 62401
c lw 62402
c lw 62404
c lw 62406
c lw 62408
c lw 62410
c lw 62413
c lw 62414
c lw 62429
c lw 62432
c lw 62433
c lw 62517
c lw 62532
c lw 62867
c lw 62883
c lw 62949
c lw 62957
c lw 62960
c lw 62961
c lw 62963
c lw 62965
c lw 62966
c lw 63243
c lw 63497
c lw 63624
c lw 63687
c lw 63724
c lw 64033
c lw 64115
c lw 64152
c lw 64165
c lw 64183
c lw 64234
c lw 64283
c lw 65300
c lw 65455
c lw 65633
c lw 65783
c lw 65799
c lw 65832
c lw 65849
c lw 65872
c lw 65893
c lw 65918
c lw 65919
c lw 65920
c lw 65921
c lw 65922
c lw 65923
c lw 65924
c lw 65925
c lw 65929
c lw 65937
c lw 65942
c lw 65944
c lw 65950
c lw 65952
c lw 65958
c lw 66703
c lw 66787
c lw 66804
c lw 67266
c lw 67344
c lw 67415
c lw 67618
c lw 67864
c lw 67926
c lw 68342
c lw 68343
c lw 68346
c lw 68348
c lw 68352
c lw 68354
c lw 68357
c lw 68360
c lw 68361
c lw 68364
c lw 68366
c lw 68367
c lw 68368
c lw 68369
c lw 68370
c lw 68371
c lw 68372
c lw 68373
c lw 68375
c lw 68376
c lw 68378
c lw 68379
c lw 68380
c lw 68381
c lw 68382
c lw 68383
c lw 68384
c lw 68385
c lw 68389
c lw 68391
c lw 68392
c lw 68393
c lw 68394
c lw 68395
c lw 68396
c lw 68397
c lw 68398
c lw 68399
c lw 68400
c lw 68401
c lw 68402
c lw 68403
c lw 68404
c lw 68405
c lw 68406
c lw 68407
c lw 68408
c lw 68409
c lw 68410
c lw 68411
c lw 68413
c lw 68414
c lw 68415
c lw 68416
c lw 68417
c lw 68418
c lw 68419
c lw 68420
c lw 68422
c lw 68424
c lw 68428
c lw 68430
c lw 68432
c lw 68437
c lw 68439
c lw 68443
c lw 68445
c lw 68447
c lw 68448
c lw 68449
c lw 68450
c lw 68451
c lw 68452
c lw 68453
c lw 68456
c lw 68458
c lw 68459
c lw 68460
c lw 68461
c lw 68462
c lw 68463
c lw 68464
c lw 68465
c lw 68466
c lw 68467
c lw 68468
c lw 68469
c lw 68470
c lw 68471
c lw 68472
c lw 68473
c lw 68474
c lw 68475
c lw 68476
c lw 68477
c lw 68478
Killed
1809.617u 10.141s 53:33.90 56.6%	0+0k 0+0io 0pf+0w