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-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 141
c lw 707
c lw 2130
c lw 3245
c lw 4413
c lw 5658
c lw 6098
c lw 6939
c lw 7219
c lw 7415
c lw 7548
c lw 8184
c lw 9242
c lw 9917
c lw 10114
c lw 10187
c lw 10753
c lw 10817
c lw 11937
c lw 12018
c lw 12093
c lw 12532
c lw 12839
c lw 12912
c lw 12942
c lw 13021
c lw 13109
c lw 13475
c lw 13628
c lw 13839
c lw 13848
c lw 13882
c lw 14053
c lw 14685
c lw 14720
c lw 15193
c lw 15398
c lw 15958
c lw 16907
c lw 17002
c lw 17063
c lw 17462
c lw 17608
c lw 17779
c lw 17858
c lw 18250
c lw 18402
c lw 18449
c lw 18491
c lw 18645
c lw 18659
c lw 18690
c lw 18691
c lw 18713
c lw 18720
c lw 18738
c lw 18754
c lw 18805
c lw 18824
c lw 19020
c lw 19125
c lw 19321
c lw 19380
c lw 19394
c lw 19422
c lw 19469
c lw 19497
c lw 19548
c lw 19682
c lw 20042
c lw 20213
c lw 20248
c lw 20348
c lw 20443
c lw 20533
c lw 20538
c lw 20632
c lw 20658
c lw 20674
c lw 20885
c lw 20888
c lw 20973
c lw 21248
c lw 21265
c lw 21338
c lw 21377
c lw 21401
c lw 21432
c lw 21446
c lw 21448
c lw 21560
c lw 21600
c lw 21631
c lw 21632
c lw 21636
c lw 21654
c lw 21660
c lw 21661
c lw 21701
c lw 21716
c lw 21771
c lw 21798
c lw 21844
c lw 21860
c lw 21883
c lw 21907
c lw 21938
c lw 21951
c lw 22489
c lw 22490
c lw 22492
c lw 22598
c lw 22604
c lw 22644
c lw 22669
c lw 22675
c lw 22676
c lw 22680
c lw 22683
c lw 22690
c lw 22705
c lw 22708
c lw 22711
c lw 22712
c lw 22724
c lw 22748
c lw 22752
c lw 22767
c lw 22777
c lw 22787
c lw 22800
c lw 22819
c lw 22822
c lw 22834
c lw 22845
c lw 22906
c lw 23015
c lw 23039
c lw 23184
c lw 23234
c lw 23308
c lw 23335
c lw 23346
c lw 23363
c lw 23366
c lw 23674
c lw 23795
c lw 23822
c lw 23833
c lw 23850
c lw 23853
c lw 23871
c lw 23877
c lw 23878
c lw 23882
c lw 23885
c lw 23886
c lw 24005
c lw 24113
c lw 24153
c lw 24685
c lw 24766
c lw 25035
c lw 25039
c lw 25071
c lw 25176
c lw 25206
c lw 25220
c lw 25248
c lw 25295
c lw 25321
c lw 25323
c lw 25349
c lw 25365
c lw 25381
c lw 25382
c lw 25404
c lw 25549
c lw 25646
c lw 25735
c lw 25740
c lw 25961
c lw 25983
c lw 25984
c lw 26003
c lw 26118
c lw 26169
c lw 26238
c lw 26330
c lw 26467
c lw 26479
c lw 26533
c lw 26544
c lw 26556
c lw 26586
c lw 26619
c lw 26641
c lw 26673
c lw 26706
c lw 26739
c lw 26750
c lw 26762
c lw 26770
c lw 26828
c lw 26829
c lw 26845
c lw 26861
c lw 26862
c lw 27138
c lw 27139
c lw 27266
c lw 27360
c lw 27484
c lw 27553
c lw 27578
c lw 27582
c lw 27589
c lw 27590
c lw 27609
c lw 27610
c lw 27614
c lw 27616
c lw 27833
c lw 27840
c lw 27891
c lw 27973
c lw 28127
c lw 28473
c lw 28500
c lw 28511
c lw 28528
c lw 28531
c lw 28549
c lw 28560
c lw 28891
c lw 28973
c lw 29026
c lw 29080
c lw 29081
c lw 29084
c lw 29090
c lw 29092
c lw 29096
c lw 29103
c lw 29108
c lw 29119
c lw 29128
c lw 29134
c lw 29142
c lw 29143
c lw 29159
c lw 29165
c lw 29166
c lw 29170
c lw 29173
c lw 29230
c lw 29236
c lw 29237
c lw 29241
c lw 29244
c lw 29245
c lw 29416
c lw 29426
c lw 29672
c lw 29713
c lw 29840
c lw 29923
c lw 29969
c lw 29970
c lw 29972
c lw 29979
c lw 29980
c lw 29985
c lw 29992
c lw 29993
c lw 29995
c lw 30004
c lw 30007
c lw 30008
c lw 30020
c lw 30075
c lw 30157
c lw 30167
c lw 30237
c lw 30974
c lw 31146
c lw 31188
c lw 31325
c lw 31398
c lw 31558
c lw 31577
c lw 31664
c lw 31710
c lw 31741
c lw 31755
c lw 31786
c lw 31862
c lw 31886
c lw 31893
c lw 33070
c lw 33268
c lw 33296
c lw 33314
c lw 33498
c lw 34718
c lw 35061
c lw 35191
c lw 35260
c lw 35304
c lw 35332
c lw 35416
c lw 35434
c lw 35473
c lw 35475
c lw 35485
c lw 35491
c lw 35503
c lw 35504
c lw 35513
c lw 35554
c lw 35618
c lw 35622
c lw 35737
c lw 35827
c lw 36026
c lw 36208
c lw 36212
c lw 36256
c lw 36273
c lw 36406
c lw 36753
c lw 36754
c lw 36756
c lw 36757
c lw 36759
c lw 36760
c lw 36761
c lw 36763
c lw 36764
c lw 36766
c lw 36767
c lw 36770
c lw 36867
c lw 36880
c lw 36895
c lw 36896
c lw 36912
c lw 36983
c lw 37055
c lw 37076
c lw 37079
c lw 37080
c lw 37258
c lw 37321
c lw 37436
c lw 37550
c lw 37575
c lw 38016
c lw 38061
c lw 38146
c lw 38366
c lw 38416
c lw 38423
c lw 38429
c lw 38430
c lw 38464
c lw 38562
c lw 38587
c lw 38706
c lw 38788
c lw 38839
c lw 38903
c lw 39002
c lw 39017
c lw 39067
c lw 39118
c lw 39143
c lw 39178
c lw 39207
c lw 39244
c lw 39252
c lw 39253
c lw 39286
c lw 39301
c lw 39325
c lw 39410
c lw 39624
c lw 39677
c lw 39738
c lw 39746
c lw 39747
c lw 39753
c lw 39754
c lw 39771
c lw 39775
c lw 39788
c lw 39792
c lw 39800
c lw 39817
c lw 39827
c lw 39861
c lw 39867
c lw 39868
c lw 39885
c lw 39890
c lw 39915
c lw 39982
c lw 39986
c lw 39987
c lw 39988
c lw 39991
c lw 39994
c lw 39998
c lw 40000
c lw 40001
c lw 40006
c lw 40018
c lw 40026
c lw 40028
c lw 40030
c lw 40039
c lw 40043
c lw 40056
c lw 40060
c lw 40081
c lw 40087
c lw 40088
c lw 40089
c lw 40090
c lw 40093
c lw 40096
c lw 40097
c lw 40104
c lw 40108
c lw 40114
c lw 40118
c lw 40131
c lw 40138
c lw 40142
c lw 40150
c lw 40154
c lw 40155
c lw 40160
c lw 40161
c lw 40163
c lw 40178
c lw 40180
c lw 40188
c lw 40193
c lw 40194
c lw 40195
c lw 40198
c lw 40200
c lw 40208
c lw 40216
c lw 40217
c lw 40218
c lw 40221
c lw 40222
c lw 40224
c lw 40225
c lw 40232
c lw 40233
c lw 40235
c lw 40238
c lw 40319
c lw 40323
c lw 40331
c lw 40344
c lw 40368
c lw 40413
c lw 40415
c lw 40440
c lw 40458
c lw 40495
c lw 40506
c lw 40575
c lw 41057
c lw 41408
c lw 41422
c lw 41429
c lw 41459
c lw 41473
c lw 41479
c lw 41495
c lw 42207
c lw 42221
c lw 42316
c lw 42378
c lw 42403
c lw 42445
c lw 42465
c lw 42514
c lw 42519
c lw 42542
c lw 42928
c lw 43035
c lw 43168
c lw 43212
c lw 43246
c lw 43258
c lw 43280
c lw 43319
c lw 43347
c lw 43363
c lw 43375
c lw 43409
c lw 43440
c lw 43452
c lw 43454
c lw 43516
c lw 43649
c lw 43714
c lw 44277
c lw 44361
c lw 44402
c lw 44410
c lw 44416
c lw 44419
c lw 44424
c lw 44435
c lw 44447
c lw 44481
c lw 44503
c lw 44512
c lw 44524
c lw 44526
c lw 44540
c lw 44658
c lw 44886
c lw 45412
c lw 45447
c lw 45464
c lw 45566
c lw 45617
c lw 45647
c lw 45668
c lw 45703
c lw 46012
c lw 46025
c lw 46150
c lw 46275
c lw 46288
c lw 46321
c lw 46356
c lw 46377
c lw 46407
c lw 46458
c lw 46740
c lw 46746
c lw 46748
c lw 46751
c lw 46752
c lw 46754
c lw 46767
c lw 46774
c lw 46775
c lw 46989
c lw 47091
c lw 47263
c lw 47285
c lw 47365
c lw 47672
c lw 48003
c lw 48053
c lw 48195
c lw 48299
c lw 48305
c lw 48385
c lw 48487
c lw 48517
c lw 48628
c lw 48690
c lw 48693
c lw 48695
c lw 48701
c lw 48702
c lw 48703
c lw 48705
c lw 48707
c lw 48713
c lw 48721
c lw 48725
c lw 48743
c lw 48752
c lw 48802
c lw 48871
c lw 48904
c lw 48980
c lw 49250
c lw 49254
c lw 49273
c lw 49418
c lw 50045
c lw 50845
c lw 51344
c lw 51803
c lw 51964
c lw 52241
c lw 52294
c lw 52374
c lw 52492
c lw 52567
c lw 52607
c lw 52921
c lw 53020
c lw 53251
c lw 53326
c lw 53331
c lw 53411
c lw 53529
c lw 53725
c lw 53736
c lw 53741
c lw 53781
c lw 53794
c lw 53821
c lw 53840
c lw 53845
c lw 53854
c lw 53856
c lw 53870
c lw 53893
c lw 53923
c lw 53939
c lw 53972
c lw 53979
c lw 53989
c lw 54008
c lw 54013
c lw 54022
c lw 54024
c lw 54038
c lw 54047
c lw 54049
c lw 54052
c lw 54079
c lw 54452
c lw 54578
c lw 54581
c lw 54641
c lw 54672
c lw 54675
c lw 54682
c lw 54701
c lw 54706
c lw 54723
c lw 54743
c lw 54746
c lw 54752
c lw 54754
c lw 54776
c lw 54779
c lw 54781
c lw 54783
c lw 54786
c lw 54795
c lw 54799
c lw 54909
c lw 54913
c lw 55365
c lw 55669
c lw 55718
c lw 55776
c lw 55813
c lw 55823
c lw 55839
c lw 55852
c lw 55866
c lw 55869
c lw 55871
c lw 55880
c lw 55894
c lw 55896
c lw 55905
c lw 55910
c lw 55929
c lw 55934
c lw 55935
c lw 55937
c lw 55939
c lw 55942
c lw 55951
c lw 55956
c lw 55957
c lw 55958
c lw 55963
c lw 55970
c lw 55973
c lw 55979
c lw 55985
c lw 55986
c lw 55991
c lw 55992
c lw 56000
c lw 56002
c lw 56014
c lw 56028
c lw 56058
c lw 56100
c lw 56122
c lw 56208
c lw 56209
c lw 56210
c lw 56211
c lw 56212
c lw 56213
c lw 56214
c lw 56215
c lw 56216
c lw 56221
c lw 56223
c lw 56290
c lw 56369
c lw 56528
c lw 56566
c lw 56829
c lw 56873
c lw 57013
c lw 57079
c lw 57101
c lw 57105
c lw 57106
c lw 57107
c lw 57110
c lw 57112
c lw 57113
c lw 57114
c lw 57115
c lw 57116
c lw 57117
c lw 57118
c lw 57119
c lw 57245
c lw 57338
c lw 57596
c lw 57731
c lw 57750
c lw 57751
c lw 57913
c lw 57961
c lw 57964
c lw 57970
c lw 58132
c lw 58170
c lw 58173
c lw 58174
c lw 58175
c lw 58176
c lw 58178
c lw 58179
c lw 58184
c lw 58185
c lw 58186
c lw 58188
c lw 58190
c lw 58192
c lw 58195
c lw 58196
c lw 58198
c lw 58200
c lw 58213
c lw 59018
c lw 59076
c lw 59573
c lw 59579
c lw 59587
c lw 59588
c lw 59589
c lw 59592
c lw 59594
c lw 59595
c lw 59596
c lw 59597
c lw 59598
c lw 59599
c lw 59600
c lw 59601
c lw 59602
c lw 59604
c lw 59605
c lw 59607
c lw 59611
c lw 59613
c lw 59616
c lw 59618
c lw 59619
c lw 59620
c lw 59621
c lw 59623
c lw 59624
c lw 59625
c lw 59627
c lw 59629
c lw 59630
c lw 59633
c lw 59634
c lw 59635
c lw 59636
c lw 59638
c lw 59639
c lw 59640
c lw 59641
c lw 59642
c lw 59643
c lw 59645
c lw 59646
c lw 59647
c lw 59648
c lw 59649
c lw 59650
c lw 59651
c lw 59652
c lw 59653
c lw 59654
c lw 59657
c lw 59662
c lw 59663
c lw 59666
c lw 59667
c lw 59668
c lw 59669
c lw 59670
c lw 59671
c lw 59672
c lw 59673
c lw 59675
c lw 59676
c lw 59677
c lw 59678
c lw 59679
c lw 59680
c lw 59681
c lw 59682
c lw 59683
c lw 59684
c lw 59685
c lw 59686
c lw 59728
c lw 59736
c lw 59764
c lw 59765
c lw 59950
c lw 59964
c lw 59966
c lw 59983
c lw 59984
c lw 59988
c lw 59990
c lw 60003
c lw 60009
c lw 60010
c lw 60011
c lw 60012
c lw 60013
c lw 60014
c lw 60015
c lw 60016
c lw 60017
c lw 60018
c lw 60019
c lw 60020
c lw 60022
c lw 60024
c lw 60025
c lw 60027
c lw 60030
c lw 60032
c lw 60033
c lw 60034
c lw 60035
c lw 60036
c lw 60037
c lw 60041
c lw 60042
c lw 60043
c lw 60044
c lw 60049
c lw 60051
c lw 60053
c lw 60057
c lw 60060
c lw 60061
c lw 60066
c lw 60068
c lw 60070
c lw 60072
c lw 60073
c lw 60074
c lw 60075
c lw 60076
c lw 60078
c lw 60080
c lw 60081
c lw 60082
c lw 60083
c lw 60084
c lw 60085
c lw 60086
c lw 60087
c lw 60088
c lw 60089
c lw 60090
c lw 60091
c lw 60093
c lw 60094
c lw 60095
c lw 60097
c lw 60098
c lw 60099
c lw 60100
c lw 60101
c lw 60102
c lw 60103
c lw 60104
c lw 60105
c lw 60106
c lw 60107
c lw 60108
c lw 60109
c lw 60110
c lw 60111
c lw 60112
c lw 60113
c lw 60114
c lw 60115
c lw 60116
c lw 60117
c lw 60118
c lw 60119
c lw 60120
c lw 60121
c lw 60122
c lw 60124
c lw 60125
c lw 60126
c lw 60127
c lw 60128
c lw 60129
c lw 60130
c lw 60132
c lw 60133
c lw 60134
c lw 60135
c lw 60136
c lw 60137
c lw 60138
c lw 60139
c lw 60140
c lw 60141
c lw 60142
c lw 60459
c lw 60546
c lw 60576
c lw 60775
c lw 60847
c lw 60934
c lw 60983
c lw 61078
c lw 61112
c lw 61284
c lw 61575
c lw 61605
c lw 61723
c lw 61760
c lw 61785
c lw 61802
c lw 61827
c lw 61864
c lw 61887
c lw 61972
c lw 61991
c lw 62204
c lw 62304
c lw 62311
c lw 62312
c lw 62313
c lw 62314
c lw 62317
c lw 62318
c lw 62319
c lw 62320
c lw 62321
c lw 62322
c lw 62323
c lw 62324
c lw 62325
c lw 62326
c lw 62327
c lw 62328
c lw 62329
c lw 62330
c lw 62331
c lw 62332
c lw 62333
c lw 62334
c lw 62335
c lw 62336
c lw 62337
c lw 62338
c lw 62339
c lw 62345
c lw 62349
c lw 62350
c lw 62351
c lw 62356
c lw 62358
c lw 62359
c lw 62360
c lw 62361
c lw 62362
c lw 62363
c lw 62364
c lw 62365
c lw 62369
c lw 62370
c lw 62371
c lw 62372
c lw 62373
c lw 62374
c lw 62375
c lw 62376
c lw 62377
c lw 62378
c lw 62379
c lw 62380
c lw 62381
c lw 62382
c lw 62383
c lw 62384
c lw 62385
c lw 62386
c lw 62387
c lw 62388
c lw 62389
c lw 62390
c lw 62391
c lw 62392
c lw 62393
c lw 62394
c lw 62395
c lw 62396
c lw 62397
c lw 62398
c lw 62399
c lw 62400
c lw 62401
c lw 62402
c lw 62403
c lw 62404
c lw 62405
c lw 62406
c lw 62407
c lw 62408
c lw 62418
c lw 62422
c lw 62483
c lw 62502
c lw 62503
c lw 62505
c lw 62506
c lw 62507
c lw 62508
c lw 62509
c lw 62510
c lw 62535
c lw 62623
c lw 62625
c lw 62635
c lw 62845
c lw 62851
c lw 62852
c lw 62877
c lw 62908
c lw 62912
c lw 62913
c lw 62929
c lw 62939
c lw 62942
c lw 62947
c lw 62949
c lw 62972
c lw 62995
c lw 63093
c lw 63097
c lw 63103
c lw 63105
c lw 63154
c lw 63158
c lw 63166
c lw 63174
c lw 63184
c lw 63187
c lw 63188
c lw 63197
c lw 63272
c lw 63345
c lw 64562
c lw 64570
c lw 64578
c lw 64629
c lw 64688
c lw 64803
c lw 64846
c lw 64926
c lw 64978
c lw 64999
c lw 65000
c lw 65001
c lw 65002
c lw 65003
c lw 65004
c lw 65005
c lw 65006
c lw 65007
c lw 65008
c lw 65009
c lw 65010
c lw 65076
c lw 65077
c lw 65078
c lw 65079
c lw 65134
c lw 65268
c lw 65289
c lw 65419
c lw 65476
c lw 65535
c lw 65538
c lw 65650
c lw 65693
c lw 65747
c lw 65757
c lw 65830
c lw 65831
c lw 65832
c lw 65833
c lw 65834
c lw 65835
c lw 65836
c lw 65837
c lw 65838
c lw 65839
c lw 65840
c lw 65841
c lw 65842
c lw 65843
c lw 65844
c lw 65845
c lw 65847
Killed
1798.905u 20.828s 30:21.80 99.8%	0+0k 0+0io 0pf+0w