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-240-1_network-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-1_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1318
c lw 2248
c lw 3197
c lw 4981
c lw 6470
c lw 7918
c lw 8606
c lw 9648
c lw 10329
c lw 13109
c lw 13838
c lw 14367
c lw 14733
c lw 14974
c lw 16428
c lw 17836
c lw 18878
c lw 20228
c lw 20625
c lw 21462
c lw 21569
c lw 22366
c lw 23726
c lw 24410
c lw 25245
c lw 25848
c lw 26626
c lw 27783
c lw 28693
c lw 29247
c lw 30433
c lw 31098
c lw 31930
c lw 32452
c lw 32967
c lw 34015
c lw 34105
c lw 34825
c lw 35996
c lw 36180
c lw 36270
c lw 36965
c lw 37179
c lw 37222
c lw 37235
c lw 37772
c lw 38527
c lw 39142
c lw 39802
c lw 39860
c lw 40468
c lw 41004
c lw 41089
c lw 41126
c lw 41337
c lw 41409
c lw 42304
c lw 42656
c lw 42845
c lw 42874
c lw 43374
c lw 43386
c lw 44436
c lw 44595
c lw 44670
c lw 44722
c lw 44749
c lw 45482
c lw 45799
c lw 45839
c lw 45903
c lw 45915
c lw 45961
c lw 46587
c lw 47312
c lw 47651
c lw 47883
c lw 48287
c lw 48604
c lw 48939
c lw 49131
c lw 50352
c lw 51045
c lw 51220
c lw 51574
c lw 52196
c lw 52264
c lw 52545
c lw 52943
c lw 52961
c lw 53071
c lw 53208
c lw 53455
c lw 53602
c lw 53637
c lw 54004
c lw 54349
c lw 55211
c lw 55234
c lw 55552
c lw 55684
c lw 55724
c lw 55822
c lw 55883
c lw 57085
c lw 57497
c lw 57518
c lw 57613
c lw 58208
c lw 58570
c lw 58579
c lw 59222
c lw 59635
c lw 59750
c lw 59875
c lw 60079
c lw 60143
c lw 60179
c lw 60182
c lw 60453
c lw 60735
c lw 61348
c lw 61628
c lw 62150
c lw 62545
c lw 63329
c lw 63503
c lw 63540
c lw 63585
c lw 63710
c lw 64027
c lw 64029
c lw 64301
c lw 64333
c lw 64402
c lw 64572
c lw 64985
c lw 65469
c lw 65786
c lw 65826
c lw 66143
c lw 66155
c lw 66201
c lw 66216
c lw 66866
c lw 66903
c lw 66926
c lw 67265
c lw 67479
c lw 67828
c lw 68553
c lw 69287
c lw 69325
c lw 69340
c lw 69739
c lw 69903
c lw 70289
c lw 70596
c lw 70771
c lw 70799
c lw 71011
c lw 71544
c lw 71633
c lw 71701
c lw 71791
c lw 71878
c lw 72052
c lw 72729
c lw 72957
c lw 73403
c lw 74182
c lw 74383
c lw 74960
c lw 75054
c lw 75287
c lw 75868
c lw 76738
c lw 76816
c lw 77155
c lw 77683
c lw 77827
c lw 78116
c lw 78268
c lw 78342
c lw 78365
c lw 78591
c lw 78652
c lw 78747
c lw 79022
c lw 79205
c lw 79342
c lw 79566
c lw 79581
c lw 79704
c lw 79713
c lw 79838
c lw 79949
c lw 79972
c lw 80312
c lw 80385
c lw 80500
c lw 80625
c lw 80969
c lw 81184
c lw 81411
c lw 81883
c lw 82524
c lw 83260
c lw 83934
c lw 84164
c lw 84204
c lw 84228
c lw 84395
c lw 84656
c lw 85005
c lw 85494
c lw 85605
c lw 85709
c lw 85917
c lw 86116
c lw 86307
c lw 86313
c lw 86513
c lw 86939
c lw 87957
c lw 87977
c lw 88091
c lw 88370
c lw 88401
c lw 88613
c lw 88635
c lw 88643
c lw 88688
c lw 88923
c lw 89481
c lw 89514
c lw 89686
c lw 89889
c lw 90245
c lw 90297
c lw 91198
c lw 91441
c lw 91473
c lw 91857
c lw 92887
c lw 93152
c lw 93358
c lw 94067
c lw 94346
c lw 94377
c lw 94415
c lw 94430
c lw 94544
c lw 94550
c lw 94636
c lw 95105
c lw 95230
c lw 95247
c lw 95308
c lw 95390
c lw 95482
c lw 95572
c lw 95660
c lw 96111
c lw 96211
c lw 96347
c lw 96460
c lw 96492
c lw 96582
c lw 96592
c lw 96673
c lw 96728
c lw 96746
c lw 96751
c lw 96887
c lw 96894
c lw 96971
c lw 97045
c lw 97328
c lw 97420
c lw 98580
c lw 98742
c lw 98753
c lw 98803
c lw 98925
c lw 98944
c lw 98956
c lw 99092
c lw 99096
c lw 99680
c lw 99796
c lw 99906
c lw 100080
c lw 100274
c lw 100278
c lw 100916
c lw 101704
c lw 101713
c lw 102683
c lw 103248
c lw 103856
c lw 103927
c lw 104221
c lw 104571
c lw 104737
c lw 104958
c lw 105204
c lw 106075
c lw 106160
c lw 106281
c lw 106397
c lw 106691
c lw 107122
c lw 107196
c lw 107442
c lw 107765
c lw 108040
c lw 108141
c lw 108156
c lw 108261
c lw 108280
c lw 108315
c lw 108353
c lw 108463
c lw 108512
c lw 108900
c lw 108943
c lw 108992
c lw 109834
c lw 110066
c lw 110313
c lw 110670
c lw 110784
c lw 110879
c lw 111393
c lw 111419
c lw 111901
c lw 112319
c lw 112895
c lw 112990
c lw 113159
c lw 113177
c lw 113573
c lw 113797
c lw 114384
c lw 114470
c lw 114490
c lw 115254
c lw 115832
c lw 116575
c lw 116679
c lw 117720
c lw 117793
c lw 118057
c lw 118086
c lw 118098
c lw 118108
c lw 118592
c lw 118639
c lw 118704
c lw 118812
c lw 118817
c lw 119116
c lw 119500
c lw 120033
c lw 121400
c lw 121984
c lw 122035
c lw 122565
c lw 122669
c lw 122692
c lw 122898
c lw 123660
c lw 123787
c lw 123845
c lw 124582
c lw 124618
c lw 124696
c lw 125841
c lw 125966
c lw 126456
c lw 126606
c lw 126651
c lw 126674
c lw 126835
c lw 127589
c lw 128202
c lw 128235
c lw 128305
c lw 128445
c lw 129058
c lw 129380
c lw 129521
c lw 130334
c lw 130394
c lw 130563
c lw 130816
c lw 130843
c lw 130872
c lw 131090
c lw 131219
c lw 131278
c lw 131375
c lw 131409
c lw 131885
c lw 131970
c lw 132133
c lw 132228
c lw 132246
c lw 132251
c lw 132999
c lw 133013
c lw 133059
c lw 133100
c lw 133110
c lw 133118
c lw 133141
c lw 133187
c lw 133201
c lw 133206
c lw 133591
c lw 133828
c lw 134407
c lw 134416
c lw 134642
c lw 134894
c lw 135204
c lw 135291
c lw 135399
c lw 135426
c lw 135428
c lw 135437
c lw 135511
c lw 135523
c lw 135560
c lw 135665
c lw 136112
c lw 136256
c lw 136418
c lw 136675
c lw 136835
c lw 137403
c lw 137720
c lw 137723
c lw 137810
c lw 137957
c lw 138487
c lw 138634
c lw 138660
c lw 138700
c lw 138925
c lw 139000
c lw 139028
c lw 139040
c lw 139064
c lw 139381
c lw 139383
c lw 139631
c lw 139877
c lw 139930
c lw 140098
c lw 140631
c lw 140636
c lw 140690
c lw 140961
c lw 141170
c lw 141259
c lw 141441
c lw 141581
c lw 141999
c lw 142003
c lw 142284
c lw 142578
c lw 142589
c lw 142808
c lw 143008
c lw 143258
c lw 143801
c lw 144290
c lw 144314
c lw 144509
c lw 144612
c lw 144861
c lw 145239
c lw 145268
c lw 145424
c lw 146273
c lw 146722
c lw 146908
c lw 147099
c lw 147174
c lw 147212
c lw 147346
c lw 147356
c lw 147535
c lw 147823
c lw 147861
c lw 148047
c lw 148071
c lw 148186
c lw 148729
c lw 149807
c lw 150081
c lw 151473
c lw 151566
c lw 151840
c lw 151885
c lw 152530
c lw 152895
c lw 152970
c lw 152973
c lw 153586
c lw 154149
c lw 154298
c lw 154306
c lw 154309
c lw 154323
c lw 154376
c lw 154538
c lw 154549
c lw 154574
c lw 154582
c lw 154593
c lw 154594
c lw 154714
c lw 154876
c lw 155268
c lw 155625
c lw 155914
c lw 156965
c lw 157036
c lw 157594
c lw 157598
c lw 157613
c lw 157677
c lw 157730
c lw 157744
c lw 157745
c lw 157753
c lw 157787
c lw 157984
c lw 158662
c lw 158934
c lw 159009
c lw 159051
c lw 159195
c lw 159219
c lw 159881
c lw 160170
c lw 160311
c lw 160908
c lw 161227
c lw 161272
c lw 161342
c lw 161408
c lw 161669
c lw 161677
c lw 161689
c lw 161851
c lw 161947
c lw 161984
c lw 162006
c lw 162017
c lw 162227
c lw 162260
c lw 162280
c lw 162302
c lw 162320
c lw 162339
c lw 162351
c lw 162353
c lw 162355
c lw 162552
c lw 163046
c lw 163452
c lw 163543
c lw 163626
c lw 163769
c lw 163855
c lw 164283
c lw 164363
c lw 164446
c lw 164550
c lw 164726
c lw 164958
c lw 164992
c lw 165275
c lw 165431
c lw 165488
c lw 165496
c lw 165514
c lw 165518
c lw 165545
c lw 165557
c lw 165632
c lw 165652
c lw 165660
c lw 165678
c lw 165842
c lw 165857
c lw 165871
c lw 165875
c lw 165894
c lw 165966
c lw 166681
c lw 166774
c lw 167167
c lw 167382
c lw 168314
c lw 168331
c lw 168377
c lw 168387
c lw 168467
c lw 168468
c lw 168476
c lw 168479
c lw 168482
c lw 168509
c lw 168533
c lw 168540
c lw 168559
c lw 168572
c lw 168577
c lw 168713
c lw 168729
c lw 168962
c lw 169062
c lw 169126
c lw 169324
c lw 169536
c lw 169936
c lw 169977
c lw 170143
c lw 171053
c lw 171061
c lw 171203
c lw 171222
c lw 171224
c lw 171260
c lw 171261
c lw 171291
c lw 171519
c lw 171629
c lw 172178
c lw 172256
c lw 172270
c lw 172271
c lw 172276
c lw 172287
c lw 172289
c lw 172296
c lw 172298
c lw 172299
c lw 172305
c lw 172306
c lw 172307
c lw 172309
c lw 172314
c lw 172320
c lw 172322
c lw 172324
c lw 172345
c lw 172348
c lw 172350
c lw 172353
c lw 172363
c lw 172367
c lw 172391
c lw 172393
c lw 172400
c lw 172402
c lw 172403
c lw 172404
c lw 172409
c lw 172410
c lw 172411
c lw 172413
c lw 172472
c lw 172480
c lw 172497
c lw 172498
c lw 172499
c lw 172502
c lw 172504
c lw 172510
c lw 172512
c lw 172517
c lw 172519
c lw 172521
c lw 172522
c lw 172523
c lw 172527
c lw 172528
c lw 172623
c lw 173210
c lw 174076
c lw 174165
c lw 174491
c lw 174788
c lw 174842
c lw 175307
c lw 175402
c lw 175448
c lw 175790
c lw 175870
c lw 176317
c lw 176330
c lw 176555
c lw 176874
c lw 176916
c lw 176938
c lw 177006
c lw 177337
c lw 177467
c lw 177607
c lw 177649
c lw 177655
c lw 177735
c lw 177785
c lw 177798
c lw 177833
c lw 178015
c lw 178175
c lw 178177
c lw 178285
c lw 178570
c lw 178581
c lw 178582
c lw 178640
c lw 179580
c lw 179584
c lw 179591
c lw 179701
c lw 179935
c lw 179981
c lw 180076
c lw 180171
c lw 180447
c lw 180544
c lw 180582
c lw 180626
c lw 180751
c lw 180784
c lw 180843
c lw 180984
c lw 181042
c lw 181043
c lw 181050
c lw 181054
c lw 181105
c lw 181106
c lw 181116
c lw 181461
c lw 181466
c lw 181771
c lw 181891
c lw 181988
c lw 182235
c lw 182379
c lw 182412
c lw 182602
c lw 182612
c lw 182616
c lw 182617
c lw 183008
c lw 183493
c lw 183518
c lw 183557
c lw 183824
c lw 184063
c lw 184416
c lw 184468
c lw 184786
c lw 184790
c lw 184791
c lw 184805
c lw 184814
c lw 184841
c lw 184843
c lw 184844
c lw 184847
c lw 184855
c lw 184856
c lw 184871
c lw 184900
c lw 184907
c lw 184936
c lw 184946
c lw 184963
c lw 184964
c lw 184978
c lw 184985
c lw 185002
c lw 185005
c lw 185009
c lw 185010
c lw 185012
c lw 185151
c lw 185188
c lw 185222
c lw 185584
c lw 185588
c lw 186096
c lw 186469
c lw 186479
c lw 186480
c lw 186489
c lw 186499
c lw 186626
c lw 186725
c lw 186803
c lw 186997
c lw 187117
c lw 187183
c lw 187235
c lw 187238
c lw 187317
c lw 187359
c lw 187399
c lw 187423
c lw 187459
c lw 187521
c lw 187781
c lw 187782
c lw 187807
c lw 187814
c lw 187815
c lw 187832
c lw 187833
c lw 187834
c lw 187835
c lw 187836
c lw 187837
c lw 187838
c lw 187841
c lw 187842
c lw 187843
c lw 187844
c lw 187845
c lw 187846
c lw 188642
c lw 188681
c lw 188682
c lw 189240
c lw 189398
c lw 189435
c lw 189439
c lw 189452
c lw 189459
c lw 189492
c lw 189494
c lw 189534
c lw 189535
c lw 189556
c lw 189560
c lw 189567
c lw 189600
c lw 189612
c lw 189619
c lw 189692
c lw 189762
c lw 190501
c lw 190502
c lw 190503
c lw 190506
c lw 190507
c lw 190508
c lw 190509
c lw 190510
c lw 190511
c lw 190512
c lw 190514
c lw 190516
c lw 190517
c lw 190518
c lw 190519
c lw 190520
c lw 190522
c lw 190523
c lw 190525
c lw 190527
c lw 190528
c lw 190532
c lw 190572
c lw 190573
c lw 190575
c lw 190580
c lw 190581
c lw 190582
c lw 190583
c lw 190595
c lw 190603
c lw 190604
c lw 190605
c lw 190870
c lw 191331
c lw 191739
c lw 191760
c lw 191978
c lw 192589
c lw 193114
c lw 194004
c lw 194008
c lw 194248
c lw 194809
c lw 194813
c lw 195000
c lw 195098
c lw 195136
c lw 195237
c lw 195345
c lw 196113
c lw 196313
c lw 196711
c lw 196712
c lw 196714
c lw 196716
c lw 196717
c lw 196719
c lw 196720
c lw 196721
c lw 196722
c lw 196723
c lw 196725
c lw 196727
c lw 196728
c lw 196729
c lw 196730
c lw 196731
c lw 196732
c lw 196733
c lw 196736
c lw 196737
c lw 196738
c lw 196740
c lw 196741
c lw 196742
c lw 196749
c lw 196750
c lw 196751
c lw 196759
c lw 196767
c lw 196768
c lw 196776
c lw 196791
c lw 196826
c lw 196831
c lw 196832
c lw 196835
c lw 196836
c lw 196840
c lw 196841
c lw 196842
c lw 196844
c lw 196845
c lw 196847
c lw 196848
c lw 196849
c lw 196865
c lw 196870
c lw 196871
c lw 196872
c lw 196873
c lw 196874
c lw 196875
c lw 196876
c lw 196877
c lw 196878
c lw 196879
c lw 196911
c lw 196912
c lw 196913
c lw 196914
c lw 196915
c lw 196916
c lw 196917
c lw 196920
c lw 196922
c lw 196924
c lw 196925
c lw 196930
c lw 196931
c lw 196932
c lw 196933
c lw 196934
c lw 196935
c lw 196936
c lw 196938
c lw 196988
c lw 196990
c lw 196994
c lw 196995
c lw 196997
c lw 196998
c lw 197000
c lw 197003
c lw 197004
c lw 197005
c lw 197007
c lw 197008
c lw 197010
c lw 197011
c lw 197012
c lw 197013
c lw 197014
c lw 197015
c lw 197016
c lw 197017
c lw 197018
c lw 197019
c lw 197021
c lw 197022
c lw 197023
c lw 197024
c lw 197025
c lw 197031
c lw 197032
c lw 197033
c lw 197034
c lw 197037
c lw 197038
c lw 197039
c lw 197040
c lw 197041
c lw 197042
c lw 197044
c lw 197045
c lw 197046
c lw 197047
c lw 197050
c lw 197055
c lw 197056
c lw 197057
c lw 197059
c lw 197061
c lw 197062
c lw 197063
c lw 197064
c lw 197065
c lw 197068
c lw 197069
c lw 197070
c lw 197071
c lw 197072
c lw 197073
c lw 197074
c lw 197075
c lw 197076
c lw 197077
c lw 197078
c lw 197079
c lw 197080
c lw 197081
c lw 197082
c lw 197083
c lw 197084
c lw 197085
c lw 197086
c lw 197087
c lw 197088
c lw 197089
c lw 197090
c lw 197091
c lw 197093
c lw 197095
c lw 197099
c lw 197104
c lw 197105
c lw 197106
c lw 197107
c lw 197108
c lw 197109
c lw 197110
c lw 197111
c lw 197113
c lw 197114
c lw 197115
c lw 197116
c lw 197117
c lw 197118
c lw 197119
c lw 197120
c lw 197121
c lw 197122
c lw 197123
c lw 197124
c lw 197125
c lw 197126
c lw 197127
c lw 197128
c lw 197129
c lw 197130
c lw 197131
c lw 197132
c lw 197133
c lw 197134
c lw 197135
c lw 197136
c lw 197137
c lw 197138
c lw 197139
c lw 197140
c lw 197141
c lw 197142
c lw 197143
c lw 197144
c lw 197145
c lw 197146
c lw 197147
c lw 197148
c lw 197149
c lw 197150
c lw 197151
c lw 197152
c lw 197153
c lw 197154
c lw 197155
c lw 197156
c lw 197157
c lw 197158
c lw 197159
c lw 197160
c lw 197161
c lw 197162
c lw 197163
c lw 197164
c lw 197165
c lw 197166
c lw 197167
c lw 197168
c lw 197169
c lw 197171
c lw 197172
c lw 197173
c lw 197176
c lw 197177
c lw 197178
c lw 197281
Killed
1811.776u 7.989s 30:21.23 99.9%	0+0k 0+0io 0pf+0w