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-200-1_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1823
c lw 2758
c lw 3960
c lw 4963
c lw 6461
c lw 7261
c lw 7795
c lw 8795
c lw 9680
c lw 10654
c lw 11365
c lw 12205
c lw 12811
c lw 14045
c lw 14750
c lw 15615
c lw 16200
c lw 16563
c lw 17998
c lw 18628
c lw 19028
c lw 19782
c lw 21310
c lw 21519
c lw 22198
c lw 22203
c lw 22745
c lw 23167
c lw 23957
c lw 24451
c lw 25366
c lw 26433
c lw 26826
c lw 27198
c lw 27316
c lw 28103
c lw 28142
c lw 28180
c lw 28333
c lw 28437
c lw 28518
c lw 28621
c lw 28848
c lw 29067
c lw 30015
c lw 30727
c lw 30784
c lw 31558
c lw 31874
c lw 33193
c lw 33609
c lw 33803
c lw 34217
c lw 34880
c lw 35367
c lw 35819
c lw 35822
c lw 36133
c lw 36418
c lw 37241
c lw 37685
c lw 37867
c lw 38585
c lw 38602
c lw 39049
c lw 39127
c lw 39389
c lw 39565
c lw 39626
c lw 39878
c lw 39888
c lw 40787
c lw 40848
c lw 40905
c lw 40998
c lw 41680
c lw 41991
c lw 42519
c lw 42903
c lw 43434
c lw 43497
c lw 43926
c lw 44014
c lw 44487
c lw 44717
c lw 45054
c lw 45176
c lw 45589
c lw 45771
c lw 46087
c lw 46674
c lw 46708
c lw 47380
c lw 47836
c lw 48034
c lw 48074
c lw 48265
c lw 48368
c lw 48502
c lw 48697
c lw 48737
c lw 48784
c lw 48948
c lw 48984
c lw 48989
c lw 49192
c lw 49367
c lw 50120
c lw 50137
c lw 50177
c lw 50543
c lw 50552
c lw 50951
c lw 51719
c lw 51730
c lw 51784
c lw 52187
c lw 52196
c lw 52579
c lw 52589
c lw 52590
c lw 52633
c lw 52678
c lw 53326
c lw 53386
c lw 53802
c lw 53861
c lw 53996
c lw 54973
c lw 55672
c lw 55677
c lw 55885
c lw 56000
c lw 56130
c lw 56671
c lw 56857
c lw 56950
c lw 57914
c lw 58076
c lw 58300
c lw 58982
c lw 59521
c lw 59936
c lw 60797
c lw 60905
c lw 60937
c lw 61469
c lw 61665
c lw 62271
c lw 62433
c lw 62854
c lw 62886
c lw 62907
c lw 63882
c lw 64140
c lw 64436
c lw 64680
c lw 65235
c lw 65519
c lw 65736
c lw 65962
c lw 65979
c lw 66077
c lw 66081
c lw 66117
c lw 66382
c lw 66460
c lw 66722
c lw 66762
c lw 66765
c lw 66953
c lw 67046
c lw 67462
c lw 67534
c lw 67837
c lw 67913
c lw 68629
c lw 68840
c lw 68972
c lw 68974
c lw 69861
c lw 70102
c lw 70334
c lw 70711
c lw 71202
c lw 71319
c lw 71329
c lw 71389
c lw 71533
c lw 71793
c lw 72201
c lw 72203
c lw 72518
c lw 72615
c lw 72773
c lw 72964
c lw 73186
c lw 73238
c lw 73738
c lw 74291
c lw 74927
c lw 74952
c lw 75225
c lw 75297
c lw 75614
c lw 75808
c lw 76798
c lw 76852
c lw 76943
c lw 77484
c lw 77681
c lw 77932
c lw 78005
c lw 78116
c lw 78711
c lw 78852
c lw 78985
c lw 79087
c lw 79123
c lw 79129
c lw 79206
c lw 79784
c lw 80063
c lw 80224
c lw 81289
c lw 81605
c lw 81651
c lw 81742
c lw 82088
c lw 82402
c lw 82715
c lw 83173
c lw 83434
c lw 83520
c lw 83533
c lw 83559
c lw 83764
c lw 83814
c lw 84203
c lw 84423
c lw 84477
c lw 84807
c lw 85341
c lw 85809
c lw 85816
c lw 86387
c lw 86941
c lw 86954
c lw 87048
c lw 87993
c lw 88321
c lw 88986
c lw 88995
c lw 89394
c lw 89423
c lw 89438
c lw 89447
c lw 89619
c lw 90164
c lw 90982
c lw 91094
c lw 91341
c lw 91512
c lw 91852
c lw 92397
c lw 93313
c lw 93385
c lw 93455
c lw 94126
c lw 94214
c lw 94267
c lw 94359
c lw 94419
c lw 95647
c lw 95676
c lw 95731
c lw 95806
c lw 96247
c lw 96315
c lw 96481
c lw 96517
c lw 96521
c lw 96522
c lw 96524
c lw 96525
c lw 96531
c lw 96548
c lw 96557
c lw 96583
c lw 96619
c lw 96625
c lw 97122
c lw 97213
c lw 97229
c lw 97394
c lw 97415
c lw 97471
c lw 97483
c lw 97551
c lw 97558
c lw 97653
c lw 98107
c lw 98350
c lw 99353
c lw 99730
c lw 99910
c lw 100042
c lw 100077
c lw 100147
c lw 100881
c lw 101062
c lw 101107
c lw 101540
c lw 101650
c lw 101955
c lw 101958
c lw 102254
c lw 102496
c lw 102528
c lw 103328
c lw 103595
c lw 103673
c lw 103921
c lw 104257
c lw 104948
c lw 105262
c lw 105345
c lw 105430
c lw 105631
c lw 105660
c lw 106086
c lw 106269
c lw 106304
c lw 106316
c lw 106699
c lw 106762
c lw 106774
c lw 106778
c lw 106785
c lw 106862
c lw 106902
c lw 107042
c lw 107099
c lw 107230
c lw 107366
c lw 107649
c lw 107674
c lw 108069
c lw 108151
c lw 108162
c lw 108185
c lw 108366
c lw 108387
c lw 108624
c lw 108851
c lw 109134
c lw 109270
c lw 109518
c lw 109560
c lw 109635
c lw 109955
c lw 110430
c lw 110557
c lw 110730
c lw 110750
c lw 110904
c lw 111214
c lw 111287
c lw 111678
c lw 112119
c lw 112602
c lw 112680
c lw 112704
c lw 112903
c lw 113410
c lw 113613
c lw 113625
c lw 113626
c lw 113674
c lw 113680
c lw 113747
c lw 113759
c lw 113961
c lw 113973
c lw 114083
c lw 114346
c lw 114441
c lw 114525
c lw 114937
c lw 115228
c lw 115421
c lw 116051
c lw 116220
c lw 116597
c lw 116742
c lw 116776
c lw 116973
c lw 116980
c lw 117002
c lw 117224
c lw 117377
c lw 117435
c lw 117453
c lw 117642
c lw 117660
c lw 117669
c lw 117685
c lw 117687
c lw 117902
c lw 118060
c lw 118726
c lw 118914
c lw 119005
c lw 119087
c lw 119325
c lw 119597
c lw 119712
c lw 120820
c lw 120965
c lw 121029
c lw 121097
c lw 121736
c lw 121742
c lw 121745
c lw 121753
c lw 121968
c lw 122049
c lw 122080
c lw 122115
c lw 122122
c lw 122180
c lw 122593
c lw 122723
c lw 123538
c lw 123581
c lw 123701
c lw 123705
c lw 124473
c lw 124490
c lw 125059
c lw 125069
c lw 125553
c lw 125652
c lw 125773
c lw 126660
c lw 126898
c lw 127483
c lw 127840
c lw 128334
c lw 128335
c lw 128390
c lw 128409
c lw 129174
c lw 129205
c lw 129248
c lw 129253
c lw 129259
c lw 129263
c lw 129288
c lw 129319
c lw 129620
c lw 129652
c lw 130021
c lw 130300
c lw 130462
c lw 130497
c lw 130516
c lw 131045
c lw 131060
c lw 131868
c lw 131869
c lw 131881
c lw 131890
c lw 131893
c lw 131905
c lw 131910
c lw 131929
c lw 131950
c lw 131960
c lw 132096
c lw 132129
c lw 132130
c lw 132133
c lw 132148
c lw 132152
c lw 132158
c lw 132159
c lw 132163
c lw 132197
c lw 132200
c lw 132201
c lw 132204
c lw 132207
c lw 132210
c lw 132216
c lw 132530
c lw 133669
c lw 133719
c lw 133784
c lw 134687
c lw 134740
c lw 134743
c lw 134744
c lw 134749
c lw 134799
c lw 134802
c lw 134808
c lw 134816
c lw 134820
c lw 134826
c lw 134827
c lw 134830
c lw 134831
c lw 134865
c lw 134868
c lw 134871
c lw 134874
c lw 134880
c lw 134883
c lw 135183
c lw 135226
c lw 135229
c lw 135235
c lw 135238
c lw 135241
c lw 135244
c lw 135278
c lw 135279
c lw 135282
c lw 135283
c lw 135289
c lw 135293
c lw 135295
c lw 135296
c lw 135299
c lw 135300
c lw 135301
c lw 135307
c lw 135310
c lw 135334
c lw 135337
c lw 135340
c lw 135343
c lw 135349
c lw 135352
c lw 135360
c lw 135365
c lw 135366
c lw 135369
c lw 135372
c lw 135406
c lw 135410
c lw 135411
c lw 135417
c lw 135421
c lw 135436
c lw 135461
c lw 135465
c lw 135470
c lw 135471
c lw 135596
c lw 135772
c lw 135773
c lw 136005
c lw 136106
c lw 136141
c lw 136165
c lw 136809
c lw 137164
c lw 137458
c lw 137637
c lw 137641
c lw 137649
c lw 137655
c lw 137658
c lw 137668
c lw 137679
c lw 137680
c lw 137782
c lw 137892
c lw 137893
c lw 137895
c lw 137897
c lw 137900
c lw 137901
c lw 137906
c lw 137907
c lw 137909
c lw 137912
c lw 137915
c lw 137920
c lw 137923
c lw 137932
c lw 137941
c lw 137944
c lw 137945
c lw 137947
c lw 137964
c lw 137966
c lw 138108
c lw 138109
c lw 138111
c lw 138112
c lw 138114
c lw 138115
c lw 138116
c lw 138117
c lw 138118
c lw 138119
c lw 138120
c lw 138121
c lw 138216
c lw 138322
c lw 138338
c lw 138394
c lw 138410
c lw 138474
c lw 138985
c lw 139008
c lw 139459
c lw 140338
c lw 140645
c lw 140824
c lw 141180
c lw 141242
c lw 141332
c lw 141599
c lw 141613
c lw 141639
c lw 141667
c lw 142314
c lw 142359
c lw 142362
c lw 142651
c lw 142659
c lw 143420
c lw 143676
c lw 143999
c lw 144092
c lw 144274
c lw 144331
c lw 144525
c lw 144547
c lw 144552
c lw 144559
c lw 144571
c lw 144582
c lw 144592
c lw 144602
c lw 145660
c lw 145964
c lw 146003
c lw 146107
c lw 146117
c lw 146123
c lw 146127
c lw 147262
c lw 147480
c lw 147490
c lw 148066
c lw 148077
c lw 148089
c lw 148096
c lw 149162
c lw 149165
c lw 149167
c lw 149191
c lw 150006
c lw 150194
c lw 150901
c lw 152012
c lw 152045
c lw 152404
c lw 152519
c lw 152576
c lw 152973
c lw 153039
c lw 153049
c lw 153082
c lw 153234
c lw 153262
c lw 154092
c lw 154245
c lw 154289
c lw 154380
c lw 154463
c lw 155646
c lw 155667
c lw 155727
c lw 155728
c lw 155784
c lw 156037
c lw 156256
c lw 156430
c lw 156461
c lw 156607
c lw 156615
c lw 156670
c lw 156823
c lw 156851
c lw 157160
c lw 157174
c lw 157449
c lw 158453
c lw 158618
c lw 158777
c lw 158838
c lw 158908
c lw 159167
c lw 159810
c lw 160538
c lw 160652
c lw 161187
c lw 161301
c lw 161633
c lw 161676
c lw 162433
c lw 162810
c lw 163115
c lw 163204
c lw 163599
c lw 163753
c lw 163842
c lw 163916
c lw 164023
c lw 164327
c lw 164592
c lw 164995
c lw 165209
c lw 165393
c lw 165874
c lw 166059
c lw 166088
c lw 167018
c lw 167213
c lw 168095
c lw 168718
c lw 169939
c lw 169956
c lw 170034
c lw 170060
c lw 170433
c lw 170434
c lw 170435
c lw 170436
c lw 170437
c lw 170438
c lw 170439
c lw 170440
c lw 170441
c lw 170442
c lw 170456
c lw 171563
c lw 171631
c lw 171634
c lw 172472
c lw 172656
c lw 172934
c lw 173264
c lw 173269
c lw 173271
c lw 173405
c lw 173410
c lw 173411
c lw 173412
c lw 173449
c lw 173450
c lw 173451
c lw 173654
c lw 173655
c lw 173668
c lw 173701
c lw 173724
c lw 173727
c lw 173728
c lw 173729
c lw 173730
c lw 173731
c lw 173737
c lw 173738
c lw 173739
c lw 173740
c lw 173741
c lw 173742
c lw 173743
c lw 173744
c lw 173745
c lw 173746
c lw 173747
c lw 173748
c lw 173749
c lw 173750
c lw 173751
c lw 173752
c lw 173753
c lw 173754
c lw 174267
c lw 174268
c lw 174269
c lw 174270
c lw 174282
c lw 174283
c lw 174285
c lw 174286
c lw 174287
c lw 174288
c lw 174289
c lw 174290
c lw 174291
c lw 174295
c lw 174297
c lw 174298
c lw 174300
c lw 174302
c lw 174303
c lw 174304
c lw 174305
c lw 174306
c lw 174307
c lw 174308
c lw 174310
c lw 174311
c lw 174317
c lw 174321
c lw 174322
c lw 174323
c lw 174324
c lw 174325
c lw 174326
c lw 175094
c lw 175103
c lw 175109
c lw 175169
c lw 175562
c lw 175571
c lw 175648
c lw 176120
c lw 176133
c lw 176152
c lw 176187
c lw 176839
c lw 176933
c lw 177051
c lw 177614
c lw 177655
c lw 177739
c lw 177768
c lw 177791
c lw 177800
c lw 178244
c lw 178965
c lw 178984
c lw 179382
c lw 179901
c lw 180825
c lw 181038
c lw 181406
c lw 181443
c lw 181656
c lw 182569
c lw 182764
c lw 183058
c lw 183253
c lw 183835
c lw 184657
c lw 185431
c lw 185512
c lw 185984
c lw 186311
c lw 186353
c lw 186608
c lw 186691
c lw 186695
c lw 186707
c lw 186729
c lw 186776
c lw 187076
c lw 187127
c lw 187250
c lw 187251
c lw 187252
c lw 187254
c lw 187411
c lw 187456
c lw 187552
c lw 187613
c lw 187614
c lw 187615
c lw 187616
c lw 187617
c lw 187618
c lw 187619
c lw 187620
c lw 187621
c lw 187622
c lw 187623
c lw 187624
c lw 187625
c lw 187626
c lw 187627
c lw 187628
c lw 187629
c lw 187630
c lw 187631
c lw 187632
c lw 187633
c lw 187634
c lw 187635
c lw 187636
c lw 187637
c lw 187638
c lw 187639
c lw 187640
c lw 187641
c lw 187642
c lw 187643
c lw 187644
c lw 187645
c lw 187646
c lw 187647
c lw 187648
c lw 187649
c lw 187650
c lw 187651
Killed
1812.970u 6.796s 30:19.88 99.9%	0+0k 0+0io 0pf+0w