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-2_network-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 964
c lw 1414
c lw 2248
c lw 3638
c lw 4737
c lw 6234
c lw 6502
c lw 7324
c lw 7839
c lw 7870
c lw 7927
c lw 8441
c lw 8471
c lw 8599
c lw 8877
c lw 9122
c lw 9546
c lw 9698
c lw 10134
c lw 10491
c lw 10566
c lw 10582
c lw 10990
c lw 11741
c lw 11984
c lw 12861
c lw 13074
c lw 13502
c lw 13811
c lw 14090
c lw 14727
c lw 15425
c lw 15686
c lw 15784
c lw 15848
c lw 15885
c lw 16440
c lw 16448
c lw 16540
c lw 16576
c lw 16648
c lw 16742
c lw 17082
c lw 17153
c lw 17184
c lw 17349
c lw 17357
c lw 17370
c lw 17474
c lw 17587
c lw 17625
c lw 18085
c lw 18133
c lw 18628
c lw 18954
c lw 18991
c lw 19144
c lw 19166
c lw 19182
c lw 19184
c lw 19197
c lw 19205
c lw 19248
c lw 19421
c lw 19425
c lw 19429
c lw 19451
c lw 19466
c lw 19519
c lw 19645
c lw 19840
c lw 19976
c lw 20186
c lw 20258
c lw 20278
c lw 20294
c lw 20302
c lw 20310
c lw 20314
c lw 20322
c lw 20380
c lw 20424
c lw 20495
c lw 20565
c lw 20584
c lw 20597
c lw 20598
c lw 20605
c lw 20648
c lw 20656
c lw 20727
c lw 20746
c lw 20816
c lw 20923
c lw 20927
c lw 21021
c lw 21066
c lw 21316
c lw 21325
c lw 21339
c lw 21341
c lw 21419
c lw 21432
c lw 21440
c lw 21483
c lw 21503
c lw 21504
c lw 21519
c lw 21524
c lw 21527
c lw 21534
c lw 21535
c lw 21539
c lw 21547
c lw 21562
c lw 21598
c lw 21605
c lw 21657
c lw 21667
c lw 21729
c lw 21749
c lw 21752
c lw 21760
c lw 21762
c lw 21770
c lw 21773
c lw 22082
c lw 22318
c lw 22522
c lw 22539
c lw 22560
c lw 22670
c lw 22678
c lw 22917
c lw 23164
c lw 23224
c lw 23282
c lw 23353
c lw 23355
c lw 23357
c lw 23373
c lw 23404
c lw 23542
c lw 23548
c lw 23613
c lw 23809
c lw 23811
c lw 23836
c lw 23853
c lw 23855
c lw 23871
c lw 23875
c lw 23939
c lw 23955
c lw 23959
c lw 23983
c lw 23991
c lw 24015
c lw 24019
c lw 24023
c lw 24039
c lw 24041
c lw 24058
c lw 24239
c lw 24792
c lw 25215
c lw 25721
c lw 26204
c lw 26407
c lw 26415
c lw 26444
c lw 26452
c lw 26532
c lw 26654
c lw 26660
c lw 26691
c lw 26736
c lw 26819
c lw 26983
c lw 26998
c lw 27083
c lw 27203
c lw 27205
c lw 27211
c lw 27219
c lw 27244
c lw 27279
c lw 27288
c lw 27289
c lw 27363
c lw 27385
c lw 27425
c lw 27431
c lw 27463
c lw 27483
c lw 28257
c lw 28266
c lw 28269
c lw 28291
c lw 28298
c lw 28304
c lw 28308
c lw 28316
c lw 28326
c lw 28361
c lw 28370
c lw 28376
c lw 28380
c lw 28395
c lw 28498
c lw 28526
c lw 28735
c lw 28780
c lw 28878
c lw 28917
c lw 29416
c lw 30099
c lw 30243
c lw 30273
c lw 30436
c lw 30448
c lw 30587
c lw 30784
c lw 30790
c lw 30855
c lw 31091
c lw 31107
c lw 31186
c lw 31267
c lw 31394
c lw 31783
c lw 31797
c lw 32038
c lw 32115
c lw 33116
c lw 33193
c lw 33288
c lw 33415
c lw 33483
c lw 33486
c lw 33490
c lw 33493
c lw 33496
c lw 33539
c lw 33651
c lw 33776
c lw 33784
c lw 33797
c lw 33798
c lw 33802
c lw 33875
c lw 33917
c lw 33919
c lw 33939
c lw 34070
c lw 34147
c lw 34225
c lw 34280
c lw 34388
c lw 34483
c lw 34610
c lw 34678
c lw 34707
c lw 34708
c lw 34710
c lw 34714
c lw 34720
c lw 34721
c lw 34729
c lw 34740
c lw 34751
c lw 34755
c lw 34765
c lw 34768
c lw 34771
c lw 34772
c lw 34773
c lw 34775
c lw 34778
c lw 34780
c lw 34786
c lw 34787
c lw 34790
c lw 34791
c lw 34792
c lw 34793
c lw 34794
c lw 34797
c lw 34800
c lw 34801
c lw 34802
c lw 34803
c lw 34805
c lw 34806
c lw 34807
c lw 34808
c lw 34810
c lw 34811
c lw 34812
c lw 34814
c lw 34815
c lw 34818
c lw 34819
c lw 34820
c lw 34821
c lw 34822
c lw 34823
c lw 34824
c lw 34825
c lw 34826
c lw 34827
c lw 34828
c lw 34829
c lw 34830
c lw 34831
c lw 34832
c lw 34833
c lw 34834
c lw 34836
c lw 34837
c lw 34838
c lw 34839
c lw 34840
c lw 34841
c lw 34842
c lw 34843
c lw 34844
c lw 34845
c lw 34846
c lw 34847
c lw 34848
c lw 34850
c lw 34851
c lw 34852
c lw 34856
c lw 34857
c lw 34858
c lw 34859
c lw 34860
c lw 34861
c lw 34862
c lw 34863
c lw 34864
c lw 34865
c lw 34866
c lw 34867
c lw 34868
c lw 34869
c lw 34870
c lw 34871
c lw 34872
c lw 34873
c lw 34874
c lw 34875
c lw 34876
c lw 34877
c lw 34878
c lw 34879
c lw 34880
c lw 34881
c lw 34882
c lw 34883
c lw 34884
c lw 34885
c lw 34886
c lw 34887
c lw 34888
c lw 34889
c lw 34890
c lw 34891
c lw 34892
c lw 34893
c lw 34894
c lw 34895
c lw 34896
c lw 34897
c lw 34898
c lw 34899
c lw 34900
c lw 34901
c lw 34902
c lw 34903
c lw 34904
c lw 34905
c lw 34906
c lw 34907
c lw 34908
c lw 34909
c lw 34910
c lw 34911
c lw 34912
c lw 34913
c lw 34914
c lw 34915
c lw 34916
c lw 34917
c lw 34918
c lw 34919
c lw 35164
c lw 35169
c lw 35173
c lw 35507
c lw 35799
c lw 35904
c lw 35914
c lw 35925
c lw 35927
c lw 35928
c lw 35929
c lw 35933
c lw 35935
c lw 35937
c lw 35941
c lw 35942
c lw 35957
c lw 35959
c lw 35966
c lw 35968
c lw 35989
c lw 35991
c lw 35993
c lw 35995
c lw 35999
c lw 36000
c lw 36145
c lw 36525
c lw 36572
c lw 36573
c lw 36574
c lw 36575
c lw 36576
c lw 36577
c lw 36578
c lw 36580
c lw 36581
c lw 36691
c lw 36886
c lw 37020
c lw 37028
c lw 37125
c lw 37250
c lw 37401
c lw 37467
c lw 37501
c lw 37511
c lw 37553
c lw 37599
c lw 37685
c lw 37762
c lw 37995
c lw 38238
c lw 38459
c lw 39183
c lw 40083
c lw 40093
c lw 40165
c lw 40498
c lw 40527
c lw 40848
c lw 40963
c lw 40992
c lw 41355
c lw 41515
c lw 41735
c lw 42731
c lw 42858
c lw 42907
c lw 43034
c lw 43052
c lw 43057
c lw 43133
c lw 43358
c lw 43509
c lw 43575
c lw 43616
c lw 43799
c lw 43909
c lw 43920
c lw 44033
c lw 44040
c lw 44091
c lw 44275
c lw 44343
c lw 44374
c lw 44428
c lw 44436
c lw 44493
c lw 44558
c lw 44729
c lw 44785
c lw 44801
c lw 44974
c lw 44986
c lw 45091
c lw 45213
c lw 45234
c lw 45279
c lw 45288
c lw 45335
c lw 45349
c lw 45364
c lw 45403
c lw 45430
c lw 45549
c lw 45567
c lw 45587
c lw 45603
c lw 45611
c lw 45638
c lw 45650
c lw 45668
c lw 45675
c lw 45680
c lw 45706
c lw 45720
c lw 45735
c lw 45774
c lw 45797
c lw 45798
c lw 45801
c lw 45805
c lw 45815
c lw 46977
c lw 47036
c lw 47311
c lw 47316
c lw 47334
c lw 47341
c lw 47344
c lw 47368
c lw 47376
c lw 47380
c lw 47407
c lw 47415
c lw 47416
c lw 47420
c lw 47426
c lw 47432
c lw 47617
c lw 47709
c lw 47752
c lw 48887
c lw 48935
c lw 49017
c lw 49130
c lw 49232
c lw 49257
c lw 49275
c lw 49291
c lw 49299
c lw 49320
c lw 49336
c lw 49337
c lw 49338
c lw 49339
c lw 49340
c lw 49341
c lw 49342
c lw 49343
c lw 49423
c lw 49457
c lw 49458
c lw 49459
c lw 49460
c lw 49461
c lw 49462
c lw 49464
c lw 49465
c lw 49466
c lw 49467
c lw 49468
c lw 49469
c lw 49471
c lw 49472
c lw 49473
c lw 49474
c lw 49475
c lw 49476
c lw 49477
c lw 49478
c lw 49479
c lw 49480
c lw 49481
c lw 49482
c lw 49483
c lw 49484
c lw 49485
c lw 49486
c lw 49488
c lw 49493
c lw 49494
c lw 49495
c lw 49496
c lw 49497
c lw 49498
c lw 49499
c lw 49500
c lw 49530
c lw 49777
c lw 49809
c lw 49830
c lw 49835
c lw 49839
c lw 49842
c lw 49843
c lw 49844
c lw 49845
c lw 49846
c lw 49849
c lw 49859
c lw 49864
c lw 49876
c lw 49879
c lw 49955
c lw 49956
c lw 49965
c lw 50080
c lw 50121
c lw 50139
c lw 50150
c lw 50152
c lw 50153
c lw 50154
c lw 50168
c lw 50170
c lw 50185
c lw 50191
c lw 50195
c lw 50200
c lw 50202
c lw 50204
c lw 50216
c lw 50218
c lw 50225
c lw 50228
c lw 50241
c lw 50257
c lw 50267
c lw 50269
c lw 50271
c lw 50277
c lw 50278
c lw 50280
c lw 50285
c lw 50286
c lw 50288
c lw 50294
c lw 50652
c lw 50675
c lw 50680
c lw 50752
c lw 50756
c lw 50772
c lw 50776
c lw 50789
c lw 50790
c lw 50803
c lw 50805
c lw 50858
c lw 50860
c lw 50866
c lw 50874
c lw 50876
c lw 50879
c lw 50880
c lw 50891
c lw 50895
c lw 50897
c lw 50900
c lw 50902
c lw 50904
c lw 50916
c lw 50918
c lw 50925
c lw 50928
c lw 50941
c lw 50944
c lw 50957
c lw 50974
c lw 50990
c lw 51011
c lw 51017
c lw 51020
c lw 51022
c lw 51030
c lw 51034
c lw 51036
c lw 51038
c lw 51040
c lw 51041
c lw 51042
c lw 51045
c lw 51050
c lw 51056
c lw 51060
c lw 51061
c lw 51107
c lw 51191
c lw 51214
c lw 51317
c lw 51320
c lw 51323
c lw 51370
c lw 51413
c lw 51415
c lw 51426
c lw 51449
c lw 51470
c lw 51475
c lw 51796
c lw 52110
c lw 52173
c lw 52174
c lw 52175
c lw 52176
c lw 52183
c lw 52184
c lw 52186
c lw 52189
c lw 52214
c lw 52279
c lw 52393
c lw 52479
c lw 52482
c lw 52484
c lw 52485
c lw 52486
c lw 52487
c lw 52488
c lw 52489
c lw 52490
c lw 52491
c lw 52492
c lw 52494
c lw 52495
c lw 52496
c lw 52498
c lw 52499
c lw 52500
c lw 52501
c lw 52503
c lw 52504
c lw 52505
c lw 52508
c lw 52509
c lw 52510
c lw 52511
c lw 52512
c lw 52513
c lw 52514
c lw 52515
c lw 52516
c lw 52517
c lw 52518
c lw 52519
c lw 52520
c lw 52521
c lw 52525
c lw 52526
c lw 52527
c lw 52528
c lw 52530
c lw 52533
c lw 52534
c lw 52536
c lw 52538
c lw 52546
c lw 52547
c lw 52551
c lw 52553
c lw 52554
c lw 52557
c lw 52559
c lw 52561
c lw 52567
c lw 52568
c lw 52569
c lw 52570
c lw 52571
c lw 52572
c lw 52573
c lw 52574
c lw 52575
c lw 52576
c lw 52577
c lw 52578
c lw 52579
c lw 52580
c lw 52581
c lw 52582
c lw 52583
c lw 52584
c lw 52585
c lw 52586
c lw 52587
c lw 52588
c lw 52589
c lw 52590
c lw 52591
c lw 52592
c lw 52593
c lw 52594
c lw 52595
c lw 52596
c lw 52597
c lw 52598
c lw 52599
c lw 52601
c lw 52602
c lw 52605
c lw 52606
c lw 52607
c lw 52608
c lw 52609
c lw 52610
c lw 52611
c lw 52612
c lw 52613
c lw 52614
c lw 52615
c lw 52616
c lw 52617
c lw 52618
c lw 52619
c lw 52620
c lw 52621
c lw 52622
c lw 52623
c lw 52624
c lw 52625
c lw 52626
c lw 52627
c lw 52628
c lw 52629
c lw 52630
Killed
1806.754u 13.029s 30:20.58 99.9%	0+0k 0+0io 0pf+0w