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-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 726
c lw 1512
c lw 1909
c lw 2299
c lw 4083
c lw 5133
c lw 6214
c lw 7548
c lw 8215
c lw 9600
c lw 10707
c lw 11925
c lw 13386
c lw 15151
c lw 15515
c lw 15962
c lw 16398
c lw 16554
c lw 17167
c lw 18213
c lw 18438
c lw 19507
c lw 19930
c lw 20028
c lw 20852
c lw 20939
c lw 21139
c lw 21226
c lw 21377
c lw 21662
c lw 22709
c lw 22720
c lw 23298
c lw 23720
c lw 23759
c lw 24287
c lw 24541
c lw 24859
c lw 25189
c lw 25631
c lw 25866
c lw 26054
c lw 26087
c lw 26110
c lw 26176
c lw 26877
c lw 27340
c lw 27418
c lw 27539
c lw 27884
c lw 28001
c lw 28080
c lw 28225
c lw 28489
c lw 28941
c lw 29212
c lw 29417
c lw 29747
c lw 29931
c lw 29942
c lw 30029
c lw 30082
c lw 30117
c lw 30461
c lw 30500
c lw 30612
c lw 30931
c lw 30984
c lw 31122
c lw 31209
c lw 31220
c lw 31329
c lw 31459
c lw 31532
c lw 31644
c lw 31719
c lw 31764
c lw 31930
c lw 32048
c lw 32049
c lw 32078
c lw 32144
c lw 32158
c lw 32188
c lw 33129
c lw 33147
c lw 33367
c lw 33382
c lw 34612
c lw 34757
c lw 35121
c lw 35296
c lw 35603
c lw 35734
c lw 35956
c lw 35991
c lw 36450
c lw 36456
c lw 36468
c lw 36511
c lw 36538
c lw 36550
c lw 36706
c lw 36752
c lw 36814
c lw 36838
c lw 36839
c lw 36880
c lw 36892
c lw 36942
c lw 36954
c lw 36987
c lw 37016
c lw 37017
c lw 37031
c lw 37126
c lw 37140
c lw 37239
c lw 37265
c lw 37326
c lw 37694
c lw 37721
c lw 37807
c lw 37808
c lw 37819
c lw 37836
c lw 37848
c lw 37869
c lw 37877
c lw 37878
c lw 37881
c lw 37896
c lw 37898
c lw 37902
c lw 38139
c lw 38324
c lw 38333
c lw 38477
c lw 38478
c lw 38493
c lw 38494
c lw 38499
c lw 38504
c lw 38508
c lw 38514
c lw 38600
c lw 38607
c lw 38612
c lw 38633
c lw 38641
c lw 38642
c lw 38645
c lw 38646
c lw 38650
c lw 38652
c lw 38660
c lw 38672
c lw 38689
c lw 38699
c lw 38701
c lw 39060
c lw 39071
c lw 39072
c lw 39077
c lw 39081
c lw 39084
c lw 39087
c lw 39157
c lw 39165
c lw 39174
c lw 39188
c lw 39205
c lw 39215
c lw 39234
c lw 39235
c lw 39243
c lw 39431
c lw 39503
c lw 39508
c lw 39513
c lw 39581
c lw 39653
c lw 39658
c lw 39728
c lw 39926
c lw 39936
c lw 39977
c lw 40076
c lw 40105
c lw 40106
c lw 40108
c lw 40111
c lw 40115
c lw 40117
c lw 40120
c lw 40126
c lw 40139
c lw 40163
c lw 40212
c lw 40217
c lw 40229
c lw 40230
c lw 40232
c lw 40235
c lw 40243
c lw 40246
c lw 40258
c lw 40268
c lw 40272
c lw 40365
c lw 40399
c lw 40464
c lw 40541
c lw 40666
c lw 40868
c lw 41009
c lw 41086
c lw 41211
c lw 41356
c lw 41357
c lw 41360
c lw 41368
c lw 41371
c lw 41373
c lw 41376
c lw 41380
c lw 41382
c lw 41394
c lw 41404
c lw 41408
c lw 41413
c lw 41443
c lw 41539
c lw 41562
c lw 41564
c lw 41566
c lw 41569
c lw 41573
c lw 41575
c lw 41587
c lw 41597
c lw 41599
c lw 41617
c lw 41618
c lw 41619
c lw 41667
c lw 41805
c lw 41858
c lw 41933
c lw 42109
c lw 42177
c lw 42181
c lw 42192
c lw 42229
c lw 42264
c lw 42268
c lw 42275
c lw 42297
c lw 42308
c lw 42386
c lw 42522
c lw 42526
c lw 42537
c lw 42544
c lw 42548
c lw 42559
c lw 42563
c lw 42565
c lw 42570
c lw 42572
c lw 42581
c lw 42603
c lw 42676
c lw 42695
c lw 42731
c lw 42774
c lw 42790
c lw 44270
c lw 44969
c lw 45052
c lw 45352
c lw 45459
c lw 46032
c lw 46136
c lw 46284
c lw 46303
c lw 46666
c lw 46756
c lw 46805
c lw 46905
c lw 47095
c lw 47179
c lw 47344
c lw 47414
c lw 47553
c lw 47689
c lw 47837
c lw 47896
c lw 47941
c lw 47954
c lw 48033
c lw 48052
c lw 48090
c lw 48138
c lw 48140
c lw 48177
c lw 48186
c lw 48204
c lw 48222
c lw 48224
c lw 48261
c lw 48270
c lw 48276
c lw 48299
c lw 48330
c lw 48378
c lw 48379
c lw 48414
c lw 48626
c lw 48714
c lw 48885
c lw 49037
c lw 49058
c lw 49096
c lw 49561
c lw 49800
c lw 49836
c lw 49906
c lw 49921
c lw 49926
c lw 49949
c lw 49992
c lw 50218
c lw 50296
c lw 50349
c lw 50492
c lw 50955
c lw 51104
c lw 51231
c lw 51234
c lw 51265
c lw 51464
c lw 51465
c lw 51565
c lw 51609
c lw 51726
c lw 51890
c lw 51997
c lw 52086
c lw 52088
c lw 52091
c lw 52092
c lw 52096
c lw 52098
c lw 52099
c lw 52100
c lw 52101
c lw 52102
c lw 52105
c lw 52108
c lw 52109
c lw 52111
c lw 52114
c lw 52115
c lw 52116
c lw 52177
c lw 52254
c lw 53160
c lw 53354
c lw 53356
c lw 53357
c lw 53546
c lw 53648
c lw 53871
c lw 53913
c lw 53923
c lw 53985
c lw 54212
c lw 54405
c lw 54597
c lw 54606
c lw 54612
c lw 55047
c lw 55051
c lw 55052
c lw 55053
c lw 55054
c lw 55055
c lw 55056
c lw 55057
c lw 55058
c lw 55061
c lw 55063
c lw 55064
c lw 55065
c lw 55066
c lw 55067
c lw 55068
c lw 55071
c lw 55073
c lw 55074
c lw 55098
c lw 55105
c lw 55118
c lw 55212
c lw 55263
c lw 55321
c lw 55363
c lw 55373
c lw 55435
c lw 55436
c lw 55627
c lw 55674
c lw 55689
c lw 55755
c lw 55767
c lw 55795
c lw 55822
c lw 55823
c lw 55824
c lw 55825
c lw 55826
c lw 55827
c lw 55828
c lw 55829
c lw 55830
c lw 55831
c lw 55832
c lw 55833
c lw 55834
c lw 55835
c lw 55836
c lw 55837
c lw 55838
c lw 55839
c lw 55840
c lw 55841
c lw 55842
c lw 55843
c lw 55844
c lw 55845
c lw 55846
c lw 55847
c lw 55848
c lw 55849
c lw 55850
c lw 55851
c lw 55852
c lw 55853
c lw 55854
c lw 55855
c lw 55856
c lw 55857
c lw 55858
c lw 55859
c lw 55860
c lw 55861
c lw 55862
c lw 55863
c lw 55864
c lw 55865
c lw 55871
c lw 55874
c lw 55875
c lw 55876
c lw 55877
c lw 55878
c lw 55879
c lw 55880
c lw 55881
c lw 55882
c lw 55883
c lw 55884
c lw 55885
c lw 55886
c lw 55887
c lw 55888
c lw 55889
c lw 55890
c lw 55893
c lw 55896
c lw 55901
c lw 55902
c lw 55903
c lw 55904
c lw 55905
c lw 55906
c lw 55907
c lw 55908
c lw 55909
c lw 55912
c lw 55916
c lw 55917
c lw 55918
c lw 55919
c lw 55920
c lw 55921
c lw 55922
c lw 55924
c lw 55925
c lw 55926
c lw 55927
c lw 55928
c lw 55929
c lw 55930
c lw 55931
c lw 55932
c lw 55933
c lw 55934
c lw 55935
c lw 55936
c lw 55937
c lw 55938
c lw 55940
c lw 55941
c lw 55942
c lw 55943
c lw 55944
c lw 55945
c lw 55946
c lw 55947
c lw 55948
c lw 55950
c lw 55952
c lw 55953
c lw 55954
c lw 55955
c lw 55956
c lw 55957
c lw 55958
c lw 55959
c lw 55960
c lw 55964
c lw 55965
c lw 55966
c lw 55967
c lw 55968
c lw 55970
c lw 55971
c lw 55972
c lw 55974
c lw 55976
c lw 55978
c lw 55979
c lw 55980
c lw 55981
c lw 55982
c lw 55984
c lw 55985
c lw 55986
c lw 55987
c lw 55988
c lw 55989
c lw 55990
c lw 55991
c lw 55992
c lw 55993
c lw 55994
c lw 55996
c lw 55997
c lw 55998
c lw 55999
c lw 56000
c lw 56001
c lw 56002
c lw 56003
c lw 56004
c lw 56005
c lw 56006
c lw 56007
c lw 56008
c lw 56009
c lw 56010
c lw 56011
c lw 56012
c lw 56013
c lw 56014
c lw 56015
c lw 56016
c lw 56017
c lw 56018
c lw 56019
c lw 56021
c lw 56022
c lw 56023
c lw 56024
c lw 56025
c lw 56026
c lw 56027
c lw 56028
c lw 56029
c lw 56030
c lw 56031
c lw 56032
c lw 56033
c lw 56034
c lw 56035
c lw 56036
c lw 56037
c lw 56038
c lw 56039
c lw 56041
c lw 56042
c lw 56043
c lw 56044
c lw 56045
c lw 56046
c lw 56048
c lw 56049
c lw 56050
c lw 56051
c lw 56052
c lw 56053
c lw 56054
c lw 56055
c lw 56056
c lw 56057
c lw 56058
c lw 56059
c lw 56060
c lw 56061
c lw 56062
c lw 56063
c lw 56064
c lw 56065
c lw 56066
c lw 56067
c lw 56068
c lw 56069
c lw 56070
c lw 56071
c lw 56308
c lw 56309
c lw 56310
c lw 56311
Killed
1814.069u 5.700s 30:23.84 99.7%	0+0k 0+0io 0pf+0w