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-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 666191
o 159912
o 159850
o 159409
o 159038
o 158742
o 158599
o 158485
o 158423
o 157982
o 157611
o 157315
o 157172
o 156876
o 156587
o 156407
o 156036
o 155740
o 155687
o 155495
o 155352
o 155238
o 155176
o 154735
o 154364
o 154068
o 153925
o 153629
o 153340
o 153315
o 153172
o 152876
o 152587
o 152565
o 152373
o 152230
o 152116
o 152054
o 151613
o 151242
o 150946
o 150803
o 150507
o 150218
o 149995
o 149875
o 149850
o 149707
o 149411
o 149122
o 149100
o 148908
o 148765
o 148651
o 148589
o 148148
o 147777
o 147481
o 147338
o 147042
o 146753
o 146674
o 146531
o 146417
o 146355
o 145914
o 145543
o 145247
o 145104
o 144808
o 144519
o 144225
o 144082
o 143786
o 143497
o 143377
o 143298
o 143155
o 143041
o 142979
o 142538
o 142167
o 141871
o 141728
o 141432
o 141143
o 140849
o 140706
o 140410
o 140121
o 139870
o 139814
o 139776
o 139525
o 139453
o 139157
o 139014
o 138718
o 138429
o 138135
o 137992
o 137696
o 137407
o 137156
o 137043
o 137010
o 136937
o 136641
o 136352
o 136101
o 135988
o 135938
o 135893
o 135642
o 135604
o 135353
o 135259
o 135008
o 134936
o 134640
o 134497
o 134201
o 133912
o 133618
o 133475
o 133179
o 132890
o 132639
o 132526
o 132305
o 132054
o 132011
o 131868
o 131572
o 131283
o 131032
o 130919
o 130747
o 130634
o 130496
o 130383
o 130128
o 129985
o 129689
o 129400
o 129106
o 128963
o 128667
o 128378
o 128265
o 128127
o 128014
o 127768
o 127655
o 127400
o 127257
o 126961
o 126672
o 126378
o 126235
o 125939
o 125650
o 125537
o 125399
o 125286
o 125068
o 124955
o 124858
o 124820
o 124569
o 124419
o 124383
o 124087
o 123798
o 123547
o 123397
o 123284
o 123176
o 123038
o 122925
o 122820
o 122677
o 122381
o 122092
o 121798
o 121655
o 121359
o 121070
o 120819
o 120706
o 120669
o 120556
o 120488
o 120338
o 120225
o 120152
o 120002
o 119889
o 119781
o 119656
o 119425
o 119282
o 118986
o 118697
o 118634
o 118403
o 118260
o 117964
o 117675
o 117562
o 117525
o 117412
o 117274
o 117161
o 117093
o 116943
o 116830
o 116728
o 116439
o 116188
o 116038
o 115925
o 115857
o 115707
o 115594
o 115554
o 115441
o 115355
o 115217
o 115104
o 115012
o 114899
o 114831
o 114681
o 114568
o 114355
o 114066
o 113916
o 113772
o 113629
o 113333
o 113044
o 112894
o 112781
o 112713
o 112563
o 112450
o 112312
o 112199
o 112135
o 112097
o 111846
o 111696
o 111427
o 111138
o 110887
o 110737
o 110624
o 110544
o 110406
o 110293
o 110236
o 110123
o 110037
o 109899
o 109786
o 109694
o 109581
o 109513
o 109363
o 109250
o 109029
o 108879
o 108690
o 108401
o 108359
o 108070
o 107920
o 107807
o 107752
o 107726
o 107576
o 107463
o 107395
o 107245
o 107132
o 106994
o 106881
o 106817
o 106779
o 106528
o 106378
o 106109
o 105820
o 105569
o 105419
o 105306
o 105226
o 105088
o 104975
o 104972
o 104892
o 104754
o 104641
o 104622
o 104509
o 104500
o 104350
o 104237
o 104081
o 103792
o 103679
o 103541
o 103428
o 103391
o 103278
o 103155
o 103005
o 102866
o 102716
o 102603
o 102523
o 102385
o 102272
o 102201
o 102133
o 101983
o 101870
o 101794
o 101644
o 101505
o 101355
o 101242
o 101174
o 101061
o 101024
o 100911
o 100867
o 100717
o 100604
o 100561
o 100528
o 100378
o 100265
o 100239
o 100089
o 99976
o 99908
o 99795
o 99758
o 99645
o 99581
o 99442
o 99292
o 99179
o 99099
o 98961
o 98848
o 98847
o 98809
o 98558
o 98516
o 98478
o 98227
o 98077
o 98061
o 97787
o 97536
o 97386
o 97205
o 97055
o 96942
o 96871
o 96803
o 96653
o 96540
o 96497
o 96464
o 96314
o 96201
o 96175
o 96025
o 95912
o 95844
o 95731
o 95694
o 95581
o 95568
o 95418
o 95305
o 95304
o 95266
o 95015
o 94902
o 94822
o 94684
o 94571
o 94534
o 94421
o 94282
o 94244
o 93993
o 93880
o 93800
o 93662
o 93549
o 93512
o 93399
o 93328
o 93260
o 93110
o 92997
o 92954
o 92921
o 92771
o 92658
o 92632
o 92482
o 92369
o 92301
o 92188
o 92151
o 92038
o 91990
o 91986
o 91836
o 91800
o 91504
o 91215
o 90964
o 90814
o 90679
o 90540
o 90390
o 90289
o 90139
o 90059
o 89958
o 89808
o 89737
o 89556
o 89406
o 89363
o 89217
o 89067
o 88928
o 88778
o 88736
o 88597
o 88447
o 88358
o 88219
o 88069
o 87957
o 87807
o 87668
o 87518
o 87476
o 87337
o 87187
o 87147
o 86997
o 86858
o 86708
o 86596
o 86446
o 86307
o 86157
o 86115
o 85976
o 85826
o 85761
o 85611
o 85507
o 85357
o 85176
o 85026
o 84821
o 84671
o 84435
o 84397
o 84146
o 83996
o 83815
o 83665
o 83600
o 83450
o 83393
o 83313
o 83277
o 83212
o 83062
o 83059
o 82994
o 82844
o 82808
o 82743
o 82593
o 82513
o 82477
o 82412
o 82262
o 82073
o 81923
o 81886
o 81848
o 81597
o 81382
o 81302
o 81266
o 81051
o 80901
o 80875
o 80810
o 80660
o 80580
o 80544
o 80479
o 80329
o 80296
o 80115
o 79965
o 79874
o 79829
o 79578
o 79540
o 79289
o 79139
o 79040
o 78751
o 78500
o 78350
o 78285
o 78135
o 78019
o 77954
o 77804
o 77799
o 77757
o 77618
o 77468
o 77439
o 77289
o 77263
o 77198
o 77048
o 76932
o 76867
o 76717
o 76671
o 76521
o 76485
o 76270
o 76120
o 76073
o 75934
o 75784
o 75755
o 75605
o 75584
o 75523
o 75373
o 75183
o 75033
o 75023
o 74994
o 74844
o 74823
o 74762
o 74612
o 74422
o 74272
o 74151
o 73964
o 73814
o 73742
o 73446
o 73157
o 72942
o 72792
o 72756
o 72691
o 72541
o 72495
o 72360
o 72210
o 72164
o 72024
o 71874
o 71828
o 71695
o 71649
o 71604
o 71454
o 71338
o 71273
o 71123
o 71077
o 71030
o 70891
o 70741
o 70676
o 70526
o 70480
o 70340
o 70190
o 70144
o 70011
o 69965
o 69943
o 69804
o 69654
o 69589
o 69439
o 69393
o 69383
o 69250
o 69204
o 69182
o 69043
o 68893
o 68828
o 68678
o 68632
o 68557
o 68511
o 68359
o 68323
o 68108
o 67958
o 67912
o 67777
o 67627
o 67581
o 67580
o 67441
o 67291
o 67245
o 67112
o 67066
o 67021
o 66871
o 66755
o 66690
o 66540
o 66494
o 66447
o 66308
o 66158
o 66093
o 65943
o 65897
o 65896
o 65757
o 65607
o 65561
o 65428
o 65382
o 65360
o 65221
o 65071
o 65006
o 64856
o 64810
o 64800
o 64667
o 64621
o 64599
o 64460
o 64310
o 64245
o 64095
o 64049
o 63974
o 63928
o 63835
o 63685
o 63639
o 63506
o 63460
o 63438
o 63299
o 63149
o 63084
o 62934
o 62888
o 62878
o 62745
o 62699
o 62677
o 62538
o 62388
o 62323
o 62173
o 62127
o 62052
o 62006
o 61877
o 61831
o 61830
o 61691
o 61541
o 61495
o 61397
o 61351
o 61341
o 61280
o 61130
o 60940
o 60790
o 60744
o 60734
o 60636
o 60590
o 60580
o 60519
o 60369
o 60179
o 60029
o 59983
o 59908
o 59862
o 59812
o 59769
o 59619
o 59573
o 59475
o 59429
o 59419
o 59358
o 59208
o 59018
o 58868
o 58822
o 58812
o 58714
o 58668
o 58658
o 58597
o 58447
o 58257
o 58107
o 58061
o 57986
o 57940
o 57932
o 57782
o 57736
o 57671
o 57625
o 57550
o 57504
o 57496
o 57346
o 57300
o 57291
o 57245
o 57237
o 57087
o 57041
o 56976
o 56930
o 56855
o 56809
o 56801
o 56651
o 56605
o 56584
o 56509
o 56463
o 56455
o 56305
o 56259
o 56228
o 56207
o 56132
o 56086
o 56077
o 56016
o 55928
o 55882
o 55793
o 55747
o 55682
o 55636
o 55561
o 55515
o 55507
o 55357
o 55311
o 55302
o 55256
o 55248
o 55098
o 55052
o 54987
o 54941
o 54866
o 54820
o 54812
o 54662
o 54616
o 54595
o 54520
o 54474
o 54466
o 54316
o 54270
o 54239
o 54218
o 54143
o 54097
o 54088
o 54027
o 53939
o 53893
o 53769
o 53723
o 53692
o 53671
o 53596
o 53550
o 53541
o 53480
o 53392
o 53346
o 53222
o 53176
o 53175
o 53124
o 53078
o 53036
o 52990
o 52971
o 52941
o 52899
o 52853
o 52820
o 52801
o 52729
o 52683
o 52665
o 52656
o 52526
o 52480
o 52461
o 52452
o 52430
o 52421
o 52409
o 52400
o 52353
o 52307
o 52288
o 52279
o 52237
o 52191
o 52149
o 52103
o 52084
o 52075
o 51979
o 51933
o 51914
o 51905
o 51896
o 51807
o 51761
o 51742
o 51733
o 51711
o 51702
o 51690
o 51681
o 51676
o 51634
o 51588
o 51569
o 51560
o 51518
o 51472
o 51430
o 51384
o 51365
o 51356
o 51350
o 51331
o 51322
o 51192
o 51146
o 51127
o 51118
o 51090
o 51002
o 50956
o 50832
o 50786
o 50660
o 50614
o 50608
o 50582
o 50562
o 50487
o 50441
o 50432
o 50371
o 50283
o 50237
o 50203
o 50194
o 50045
o 49999
s OPTIMUM FOUND
c Optimal Solution = 49999
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
c Program terminated in 407.970 seconds.
407.909u 0.049s 6:48.80 99.7%	0+0k 0+0io 0pf+0w