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-50-2_network-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 263
c lw 1213
c lw 1928
c lw 2854
c lw 3721
c lw 4771
c lw 6125
c lw 7271
c lw 8904
c lw 9544
c lw 10024
c lw 11325
c lw 11704
c lw 12222
c lw 13070
c lw 13162
c lw 13384
c lw 13810
c lw 13935
c lw 13951
c lw 14087
c lw 14554
c lw 15009
c lw 15056
c lw 15597
c lw 15925
c lw 15998
c lw 16071
c lw 16187
c lw 16202
c lw 16493
c lw 16764
c lw 17752
c lw 17965
c lw 18078
c lw 18134
c lw 18337
c lw 18352
c lw 18390
c lw 18592
c lw 18611
c lw 18639
c lw 18643
c lw 18733
c lw 18806
c lw 18822
c lw 18974
c lw 18989
c lw 19078
c lw 19109
c lw 19153
c lw 19183
c lw 19236
c lw 19255
c lw 19291
c lw 19485
c lw 19596
c lw 19608
c lw 19646
c lw 19654
c lw 20015
c lw 20143
c lw 20175
c lw 20183
c lw 20235
c lw 20272
c lw 20278
c lw 20294
c lw 20319
c lw 20707
c lw 20708
c lw 20987
c lw 21093
c lw 21202
c lw 21328
c lw 21332
c lw 21344
c lw 21347
c lw 21353
c lw 21360
c lw 21434
c lw 21443
c lw 21453
c lw 21481
c lw 21491
c lw 21516
c lw 21520
c lw 21525
c lw 21531
c lw 21537
c lw 21540
c lw 21556
c lw 21637
c lw 21644
c lw 21664
c lw 21675
c lw 21676
c lw 21677
c lw 21690
c lw 21727
c lw 21884
c lw 21907
c lw 21940
c lw 21941
c lw 21947
c lw 21949
c lw 21974
c lw 22138
c lw 22280
c lw 22358
c lw 22373
c lw 22725
c lw 22748
c lw 22787
c lw 22789
c lw 22822
c lw 22823
c lw 22827
c lw 22897
c lw 23324
c lw 23453
c lw 23747
c lw 23818
c lw 23856
c lw 23895
c lw 23927
c lw 24173
c lw 24645
c lw 24689
c lw 24761
c lw 24829
c lw 24846
c lw 24957
c lw 24962
c lw 25100
c lw 25124
c lw 25155
c lw 25190
c lw 25455
c lw 25696
c lw 25728
c lw 25895
c lw 25999
c lw 26046
c lw 26047
c lw 26050
c lw 26052
c lw 26058
c lw 26064
c lw 26068
c lw 26069
c lw 26079
c lw 26081
c lw 26084
c lw 26088
c lw 26089
c lw 26096
c lw 26100
c lw 26198
c lw 26200
c lw 26204
c lw 26222
c lw 26229
c lw 26233
c lw 26236
c lw 26238
c lw 26244
c lw 26247
c lw 26250
c lw 26312
c lw 26333
c lw 26335
c lw 26338
c lw 26358
c lw 26366
c lw 26370
c lw 26376
c lw 26380
c lw 26383
c lw 26392
c lw 26398
c lw 26404
c lw 26413
c lw 26422
c lw 26432
c lw 26443
c lw 26456
c lw 26460
c lw 26470
c lw 26483
c lw 26488
c lw 26494
c lw 26500
c lw 26561
c lw 26644
c lw 26722
c lw 26726
c lw 27604
c lw 27684
c lw 27706
c lw 27786
c lw 27864
c lw 27868
c lw 27869
c lw 27874
c lw 27876
c lw 27882
c lw 27885
c lw 27888
c lw 27946
c lw 27950
c lw 27952
c lw 27953
c lw 27954
c lw 27960
c lw 27962
c lw 27964
c lw 27967
c lw 27979
c lw 27983
c lw 27986
c lw 27988
c lw 27991
c lw 27994
c lw 27997
c lw 28000
c lw 28007
c lw 28016
c lw 28017
c lw 28025
c lw 28028
c lw 28031
c lw 28040
c lw 28052
c lw 28075
c lw 28179
c lw 28227
c lw 28236
c lw 28241
c lw 28265
c lw 28280
c lw 28317
c lw 28340
c lw 28345
c lw 28352
c lw 28358
c lw 28376
c lw 28387
c lw 28402
c lw 28408
c lw 28410
c lw 28412
c lw 28447
c lw 28457
c lw 28478
c lw 28502
c lw 28564
c lw 28572
c lw 28607
c lw 28653
c lw 28663
c lw 28785
c lw 28795
c lw 28798
c lw 28800
c lw 28816
c lw 28840
c lw 28902
c lw 28922
c lw 28937
c lw 28945
c lw 28955
c lw 28957
c lw 28973
c lw 29003
c lw 29008
c lw 29014
c lw 29015
c lw 29021
c lw 29023
c lw 29075
c lw 29091
c lw 29102
c lw 29117
c lw 29123
c lw 29132
c lw 29140
c lw 29158
c lw 29277
c lw 29300
c lw 29346
c lw 29464
c lw 29479
c lw 29564
c lw 29565
c lw 29617
c lw 29676
c lw 29759
c lw 29835
c lw 29837
c lw 29839
c lw 29841
c lw 29842
c lw 29845
c lw 29846
c lw 29858
c lw 29860
c lw 29861
c lw 29862
c lw 29863
c lw 29864
c lw 29871
c lw 29873
c lw 29880
c lw 29883
c lw 29886
c lw 29889
c lw 29892
c lw 29894
c lw 29895
c lw 29902
c lw 29903
c lw 29904
c lw 29906
c lw 29909
c lw 29911
c lw 30075
c lw 30457
c lw 31170
c lw 31208
c lw 31222
c lw 31338
c lw 31371
c lw 31385
c lw 31641
c lw 31653
c lw 31661
c lw 31696
c lw 31712
c lw 31715
c lw 31719
c lw 31720
c lw 31834
c lw 31864
c lw 31924
c lw 31942
c lw 31964
c lw 31968
c lw 31991
c lw 32051
c lw 32259
c lw 32273
c lw 32325
c lw 32328
c lw 32462
c lw 32535
c lw 32657
c lw 33097
c lw 33161
c lw 33235
c lw 33271
c lw 33356
c lw 33387
c lw 33402
c lw 33461
c lw 33481
c lw 33738
c lw 33890
c lw 33891
c lw 33894
c lw 33898
c lw 33901
c lw 33904
c lw 33906
c lw 33909
c lw 33915
c lw 33920
c lw 33926
c lw 33927
c lw 33929
c lw 33931
c lw 33932
c lw 33942
c lw 33943
c lw 33952
c lw 33955
c lw 33959
c lw 33966
c lw 33967
c lw 33971
c lw 33976
c lw 33977
c lw 33982
c lw 33983
c lw 33984
c lw 33985
c lw 33988
c lw 33989
c lw 33990
c lw 33991
c lw 34007
c lw 34009
c lw 34010
c lw 34014
c lw 34017
c lw 34039
c lw 34040
c lw 34043
c lw 34045
c lw 34046
c lw 34047
c lw 34048
c lw 34050
c lw 34053
c lw 34055
c lw 34056
c lw 34058
c lw 34060
c lw 34063
c lw 34065
c lw 34075
c lw 34076
c lw 34078
c lw 34080
c lw 34081
c lw 34082
c lw 34083
c lw 34088
c lw 34089
c lw 34091
c lw 34092
c lw 34094
c lw 34095
c lw 34098
c lw 34099
c lw 34100
c lw 34103
c lw 34106
c lw 34107
c lw 34108
c lw 34114
c lw 34168
c lw 34182
c lw 34297
c lw 34520
c lw 34654
c lw 34745
c lw 35022
c lw 35204
c lw 35264
c lw 35279
c lw 35318
c lw 35332
c lw 35403
c lw 35450
c lw 35527
c lw 35686
c lw 35765
c lw 35772
c lw 35786
c lw 35840
c lw 35844
c lw 35854
c lw 35870
c lw 35901
c lw 35905
c lw 36945
c lw 36983
c lw 36992
c lw 37042
c lw 37124
c lw 37370
c lw 37516
c lw 37651
c lw 37671
c lw 37720
c lw 37728
c lw 37783
c lw 37836
c lw 37965
c lw 37966
c lw 37997
c lw 38053
c lw 38112
c lw 38132
c lw 38182
c lw 38211
c lw 38527
c lw 38531
c lw 38542
c lw 38549
c lw 38551
c lw 38563
c lw 38580
c lw 38591
c lw 38599
c lw 38600
c lw 38608
c lw 38659
c lw 38730
c lw 39096
c lw 39167
c lw 39219
c lw 39227
c lw 39233
c lw 39278
c lw 39495
c lw 39653
c lw 39694
c lw 40161
c lw 40172
c lw 40179
c lw 40181
c lw 40193
c lw 40207
c lw 40210
c lw 40221
c lw 40229
c lw 40230
c lw 40270
c lw 40291
c lw 40549
c lw 41084
c lw 41156
c lw 41222
c lw 41363
c lw 41532
c lw 41592
c lw 41845
c lw 41915
c lw 41925
c lw 41943
c lw 41944
c lw 42683
c lw 42687
c lw 42688
c lw 42689
c lw 42691
c lw 42692
c lw 42693
c lw 42694
c lw 42695
c lw 42696
c lw 42697
c lw 42698
c lw 42699
c lw 42700
c lw 42701
c lw 42703
c lw 42704
c lw 42706
c lw 42707
c lw 42711
c lw 42712
c lw 42713
c lw 42714
c lw 42715
c lw 42717
c lw 42718
c lw 42719
c lw 42720
c lw 42724
c lw 42727
c lw 42728
c lw 42730
c lw 42732
c lw 42735
c lw 42737
c lw 42738
c lw 42739
c lw 42740
c lw 42741
c lw 42742
c lw 42743
c lw 42745
c lw 42746
c lw 42747
c lw 42748
c lw 42749
c lw 42750
c lw 42752
c lw 42753
c lw 42754
c lw 42755
c lw 42756
c lw 42757
c lw 42758
c lw 42759
c lw 42760
c lw 42761
c lw 42762
c lw 42763
c lw 42765
c lw 42766
c lw 42767
c lw 42768
c lw 42769
c lw 42770
c lw 42771
c lw 42772
c lw 42773
c lw 42774
c lw 42775
c lw 42776
c lw 42777
c lw 42778
c lw 42779
c lw 42780
c lw 42781
c lw 42782
c lw 42783
c lw 42784
c lw 42785
c lw 42786
c lw 42787
c lw 42788
c lw 42789
c lw 42790
c lw 42791
c lw 42792
c lw 42793
c lw 42795
c lw 42796
c lw 42797
c lw 42798
c lw 42799
c lw 42800
c lw 42802
c lw 42803
c lw 42804
c lw 42805
c lw 42806
c lw 42807
c lw 42808
c lw 42809
c lw 42810
c lw 42811
c lw 42812
c lw 42813
c lw 42814
c lw 42815
c lw 42816
c lw 42817
c lw 42818
c lw 42819
c lw 43566
c lw 43612
c lw 43954
c lw 43958
c lw 43996
c lw 44301
c lw 45105
c lw 45280
c lw 45302
c lw 45435
c lw 45961
c lw 45983
c lw 46327
c lw 46361
c lw 46445
c lw 46675
c lw 46786
c lw 46828
c lw 46835
c lw 46881
c lw 46951
c lw 46952
c lw 46953
c lw 46967
c lw 46990
c lw 47008
c lw 47009
c lw 47013
c lw 47016
c lw 47028
c lw 47032
c lw 47046
c lw 47048
c lw 47060
c lw 47067
c lw 47075
c lw 47078
c lw 47086
c lw 47113
c lw 47114
c lw 47121
c lw 47128
c lw 47137
c lw 47140
c lw 47144
c lw 47145
c lw 47148
c lw 47179
c lw 47214
c lw 47216
c lw 47265
c lw 47282
c lw 47283
c lw 47284
c lw 47285
c lw 47286
c lw 47287
c lw 47288
c lw 47289
c lw 47290
c lw 47291
c lw 47293
c lw 47294
c lw 47296
c lw 47297
c lw 47298
c lw 47300
c lw 47301
c lw 47302
c lw 47303
c lw 47304
c lw 47305
c lw 47306
c lw 47307
c lw 47308
c lw 47309
c lw 47310
c lw 47311
c lw 47313
c lw 47314
c lw 47315
c lw 47316
c lw 47317
c lw 47318
c lw 47319
c lw 47320
c lw 47321
c lw 47322
c lw 47324
c lw 47325
c lw 47326
c lw 47329
c lw 47330
c lw 47331
c lw 47332
c lw 47333
c lw 47334
c lw 47335
c lw 47336
c lw 47338
c lw 47341
c lw 47342
c lw 47343
c lw 47344
c lw 47345
c lw 47346
c lw 47347
c lw 47348
c lw 47349
c lw 47350
c lw 47351
c lw 47352
c lw 47354
c lw 47355
c lw 47356
c lw 47357
c lw 47358
c lw 47359
c lw 47360
c lw 47361
c lw 47362
c lw 47363
c lw 47364
c lw 47365
c lw 47366
c lw 47367
c lw 47368
c lw 47370
c lw 47371
c lw 47372
c lw 47374
c lw 47375
c lw 47376
c lw 47377
c lw 47378
c lw 47379
c lw 47380
c lw 47381
c lw 47382
c lw 47383
c lw 47384
c lw 47385
c lw 47386
c lw 47387
c lw 47388
c lw 47389
c lw 47390
c lw 47391
c lw 47392
c lw 47393
c lw 47394
c lw 47395
c lw 47396
c lw 47397
c lw 47398
c lw 47399
c lw 47400
c lw 47401
c lw 47402
c lw 47403
c lw 47404
c lw 47405
c lw 47406
c lw 47407
c lw 47408
c lw 47409
c lw 47410
c lw 47411
c lw 47412
c lw 47413
c lw 47414
c lw 47415
c lw 47416
c lw 47417
c lw 47418
c lw 47419
c lw 47420
c lw 47421
c lw 47422
c lw 47423
c lw 47424
c lw 47425
c lw 47426
c lw 47427
c lw 47428
c lw 47429
c lw 47430
c lw 47431
c lw 47432
c lw 47433
c lw 47434
c lw 47435
c lw 47436
c lw 47437
c lw 47438
c lw 47439
c lw 47440
c lw 47441
c lw 47443
c lw 47444
c lw 47445
c lw 47446
c lw 47447
c lw 47448
c lw 47451
c lw 47454
c lw 47455
c lw 47456
c lw 47457
Killed
1807.469u 12.295s 30:20.03 99.9%	0+0k 0+0io 1pf+0w