Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-60-1_network-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 954476
o 180837
o 179756
o 179041
o 178448
o 177691
o 176976
o 176383
o 176219
o 176033
o 175440
o 175076
o 174483
o 173968
o 173375
o 173011
o 172418
o 172254
o 171734
o 171370
o 170777
o 170262
o 169669
o 169305
o 168712
o 168548
o 168539
o 168375
o 168288
o 168124
o 167713
o 167120
o 166956
o 166718
o 166125
o 165961
o 165648
o 165484
o 165477
o 164884
o 164720
o 164618
o 164609
o 164445
o 164358
o 164194
o 163783
o 163190
o 163026
o 162788
o 162195
o 162031
o 161718
o 161554
o 161547
o 160954
o 160790
o 160403
o 160239
o 159902
o 159538
o 158945
o 158781
o 158468
o 158304
o 158297
o 157704
o 157540
o 157245
o 157081
o 156744
o 156380
o 155787
o 155623
o 155419
o 155255
o 154918
o 154554
o 153961
o 153797
o 153631
o 153467
o 153130
o 152766
o 152173
o 152009
o 151914
o 151750
o 151512
o 151370
o 150919
o 150755
o 150551
o 150387
o 150050
o 149686
o 149544
o 149093
o 148929
o 148763
o 148599
o 148262
o 147898
o 147756
o 147305
o 147141
o 146993
o 146810
o 146755
o 146613
o 146162
o 145998
o 145794
o 145630
o 145577
o 145435
o 144984
o 144929
o 144787
o 144336
o 144172
o 144006
o 143842
o 143789
o 143647
o 143196
o 143141
o 142999
o 142548
o 142384
o 142232
o 142084
o 141992
o 141901
o 141846
o 141704
o 141253
o 141089
o 140978
o 140923
o 140781
o 140330
o 140166
o 140075
o 140020
o 139878
o 139427
o 139263
o 139190
o 139135
o 138993
o 138542
o 138378
o 138287
o 138232
o 138090
o 137639
o 137475
o 137464
o 137431
o 136980
o 136816
o 136688
o 136546
o 136095
o 135931
o 135840
o 135785
o 135643
o 135192
o 135028
o 135023
o 134632
o 134468
o 134322
o 134180
o 133729
o 133565
o 133492
o 133437
o 133295
o 132844
o 132680
o 132589
o 132534
o 132392
o 131941
o 131777
o 131617
o 131453
o 131287
o 131123
o 131113
o 130786
o 130622
o 130568
o 130320
o 130280
o 129829
o 129665
o 129596
o 129505
o 129450
o 129308
o 128857
o 128693
o 128366
o 128202
o 128129
o 127972
o 127932
o 127481
o 127317
o 127069
o 127029
o 126578
o 126414
o 126361
o 126303
o 125852
o 125688
o 125528
o 125364
o 125198
o 125034
o 125024
o 124697
o 124533
o 124479
o 124231
o 124191
o 123740
o 123576
o 123507
o 123416
o 123361
o 123277
o 123219
o 122768
o 122604
o 122277
o 122113
o 122040
o 121883
o 121843
o 121392
o 121228
o 120980
o 120940
o 120489
o 120325
o 120064
o 119900
o 119847
o 119820
o 119789
o 119338
o 119174
o 119014
o 118850
o 118684
o 118520
o 118510
o 118183
o 118019
o 117965
o 117717
o 117677
o 117226
o 117062
o 116993
o 116902
o 116847
o 116763
o 116736
o 116705
o 116254
o 116090
o 115763
o 115599
o 115526
o 115369
o 115329
o 114878
o 114714
o 114466
o 114426
o 113975
o 113811
o 113640
o 113476
o 113415
o 113360
o 113276
o 113249
o 113218
o 112767
o 112603
o 112594
o 112276
o 112112
o 111882
o 111718
o 111627
o 111572
o 111488
o 111461
o 111430
o 110979
o 110815
o 110806
o 110488
o 110324
o 110275
o 110235
o 109784
o 109620
o 109492
o 109390
o 109350
o 108899
o 108735
o 108487
o 108447
o 107996
o 107832
o 107704
o 107540
o 107479
o 107424
o 107340
o 107313
o 107282
o 106831
o 106667
o 106658
o 106340
o 106176
o 105946
o 105782
o 105691
o 105636
o 105552
o 105525
o 105494
o 105043
o 104879
o 104870
o 104552
o 104388
o 104339
o 104299
o 103848
o 103684
o 103454
o 103414
o 102963
o 102799
o 102551
o 102511
o 102060
o 101896
o 101747
o 101583
o 101434
o 101270
o 101178
o 100930
o 100890
o 100439
o 100275
o 100147
o 99983
o 99922
o 99867
o 99783
o 99756
o 99725
o 99274
o 99110
o 99101
o 98783
o 98619
o 98389
o 98225
o 98134
o 98079
o 97995
o 97968
o 97937
o 97486
o 97322
o 97313
o 96995
o 96831
o 96782
o 96742
o 96291
o 96127
o 95897
o 95857
o 95406
o 95242
o 94994
o 94954
o 94503
o 94339
o 94190
o 94026
o 93961
o 93797
o 93615
o 93575
o 93124
o 92960
o 92832
o 92668
o 92607
o 92552
o 92468
o 92441
o 92410
o 91959
o 91795
o 91786
o 91468
o 91304
o 91074
o 90910
o 90819
o 90764
o 90680
o 90653
o 90622
o 90171
o 90007
o 89998
o 89680
o 89516
o 89467
o 89427
o 88976
o 88812
o 88582
o 88542
o 88091
o 87927
o 87679
o 87639
o 87188
o 87024
o 86875
o 86711
o 86646
o 86482
o 86396
o 86234
o 85805
o 85641
o 85632
o 85314
o 85150
o 85085
o 84921
o 84837
o 84772
o 84608
o 84592
o 84527
o 84522
o 84363
o 84314
o 84295
o 84136
o 84052
o 83982
o 83823
o 83818
o 83659
o 83531
o 83480
o 83410
o 83251
o 83167
o 83097
o 82938
o 82933
o 82774
o 82628
o 82577
o 82507
o 82348
o 82264
o 82194
o 82035
o 82030
o 81871
o 81663
o 81504
o 81434
o 81275
o 81270
o 81111
o 81092
o 80760
o 80601
o 80531
o 80372
o 80367
o 80208
o 80172
o 79943
o 79779
o 79763
o 79698
o 79693
o 79534
o 79525
o 79520
o 79361
o 79223
o 79218
o 79059
o 78799
o 78640
o 78635
o 78476
o 78330
o 78228
o 78188
o 77896
o 77737
o 77732
o 77573
o 77435
o 77430
o 77271
o 77206
o 77201
o 77042
o 76991
o 76827
o 76811
o 76746
o 76741
o 76582
o 76551
o 76430
o 76271
o 76201
o 76042
o 76037
o 75878
o 75750
o 75545
o 75386
o 75316
o 75157
o 75152
o 74993
o 74847
o 74642
o 74483
o 74413
o 74254
o 74249
o 74090
o 74050
o 73891
o 73886
o 73727
o 73636
o 73376
o 73217
o 73147
o 72988
o 72983
o 72824
o 72622
o 72458
o 72299
o 72298
o 72258
o 71966
o 71807
o 71802
o 71643
o 71554
o 71395
o 71355
o 71063
o 70904
o 70899
o 70740
o 70670
o 70511
o 70452
o 70293
o 70253
o 69961
o 69802
o 69797
o 69638
o 69544
o 69539
o 69380
o 69344
o 69327
o 69168
o 69058
o 68899
o 68894
o 68735
o 68603
o 68567
o 68281
o 68122
o 68117
o 67958
o 67953
o 67948
o 67789
o 67753
o 67736
o 67577
o 67536
o 67467
o 67308
o 67303
o 67144
o 67012
o 66976
o 66953
o 66918
o 66759
o 66725
o 66690
o 66531
o 66526
o 66367
o 66335
o 66217
o 66199
o 66053
o 65952
o 65883
o 65724
o 65719
o 65560
o 65528
o 65410
o 65405
o 65246
o 65209
o 65204
o 65045
o 65013
o 64895
o 64877
o 64731
o 64713
o 64708
o 64684
o 64549
o 64528
o 64512
o 64480
o 64362
o 64344
o 64198
o 64097
o 64028
o 63869
o 63864
o 63705
o 63673
o 63555
o 63537
o 63391
o 63354
o 63349
o 63190
o 63158
o 63040
o 63022
o 62876
o 62858
o 62853
o 62829
o 62694
o 62673
o 62671
o 62602
o 62443
o 62438
o 62279
o 62247
o 62129
o 62124
o 61965
o 61822
o 61764
o 61732
o 61614
o 61609
o 61450
o 61331
o 61299
o 61181
o 61176
o 61017
o 60931
o 60772
o 60746
o 60653
o 60627
o 60621
o 60595
o 60498
o 60339
o 60313
o 60289
o 60263
o 60257
o 60231
o 60134
o 59975
o 59949
o 59869
o 59843
o 59821
o 59688
o 59662
o 59656
o 59650
o 59624
o 59483
o 59457
o 59324
o 59298
o 59218
o 59192
o 59136
o 58991
o 58890
o 58844
o 58747
o 58701
o 58698
o 58539
o 58493
o 58375
o 58329
o 58265
o 58219
o 58101
o 58055
o 57942
o 57896
o 57855
o 57737
o 57691
o 57578
o 57532
o 57472
o 57426
o 57404
o 57291
o 57245
o 57204
o 57086
o 57040
o 56927
o 56881
o 56821
o 56775
o 56774
o 56728
o 56610
o 56564
o 56397
o 56173
o 56127
o 56009
o 55963
o 55959
o 55913
o 55910
o 55864
o 55746
o 55700
o 55582
o 55536
o 55522
o 55476
o 55358
o 55312
s OPTIMUM FOUND
c Optimal Solution = 55312
v -1 -2 3 4 -5 -6 -7 8 -9 -10 -11 -12 13 -14 -15 16 -17 -18 19 -20 21 -22 -23 -24 25 26 -27 -28 -29 -30 -31 32 -33 34 -35 -36 -37 -38 39 40 -41 -42 -43 44 -45 -46 47 -48 49 -50 51 -52 -53 -54 55 -56 57 -58 -59 60 -61 -62 63 64 -65 -66 -67 68 -69 -70 71 -72 73 -74 75 -76 -77 78 -79 -80 -81 -82 -83 84 -85 86 -87 -88 89 -90 -91 -92 93 -94 -95 -96 97 98 -99 -100 -101 102 -103 -104 -105 106 -107 108 -109 -110 111 -112 -113 -114 115 -116 -117 -118 119 -120 121 -122 -123 -124 -125 126 127 -128 129 -130 -131 -132 -133 -134 135 -136 137 -138 -139 -140 141 -142 -143 -144 145 146 -147 -148 -149 150 151 -152 153 -154
c Program terminated in 781.450 seconds.
781.335u 0.141s 13:02.73 99.8%	0+0k 0+0io 0pf+0w