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-30-2_network-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-30-2_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1164109
o 94857
o 94477
o 91983
o 91795
o 90067
o 89625
o 89301
o 89288
o 88964
o 88271
o 87829
o 87505
o 85938
o 85496
o 85172
o 85159
o 84835
o 84142
o 83700
o 83376
o 83247
o 83234
o 82910
o 82217
o 81775
o 81451
o 80666
o 80224
o 79900
o 79858
o 79534
o 79521
o 79197
o 78870
o 78428
o 78104
o 78062
o 77738
o 77638
o 76945
o 76503
o 76179
o 76137
o 75813
o 75727
o 75034
o 74592
o 74268
o 73483
o 73041
o 72717
o 72675
o 72351
o 72338
o 72014
o 71687
o 71245
o 70921
o 70879
o 70555
o 70455
o 69762
o 69320
o 68996
o 68954
o 68630
o 68317
o 67993
o 67824
o 67782
o 67458
o 67208
o 66766
o 66442
o 66400
o 66076
o 66063
o 65739
o 65412
o 64970
o 64646
o 64604
o 64280
o 64180
o 63487
o 63045
o 62721
o 62679
o 62355
o 62177
o 61876
o 61834
o 61510
o 61410
o 60717
o 60275
o 59951
o 59909
o 59585
o 59556
o 58863
o 58421
o 58097
o 58055
o 57731
o 57631
o 56938
o 56496
o 56172
o 56130
o 55806
o 55653
o 55611
o 55287
o 55258
o 54565
o 54123
o 53799
o 53757
o 53433
o 53333
o 52640
o 52198
o 51874
o 51832
o 51508
o 51347
o 50905
o 50581
o 50539
o 50215
o 49991
o 49549
o 49225
o 49183
o 48859
o 48743
o 48419
o 48377
o 48053
o 47921
o 47697
o 47255
o 46931
o 46889
o 46565
o 46449
o 46125
o 46083
o 45759
o 45456
o 45414
o 45090
o 44666
o 44342
o 44300
o 43976
o 43860
o 43536
o 43494
o 43170
o 42886
o 42562
o 42520
o 42196
o 42130
o 41930
o 41806
o 41564
o 41440
o 41381
o 41285
o 40961
o 40722
o 40656
o 40329
o 40205
o 40090
o 39966
o 39907
o 39745
o 39506
o 39378
o 39254
o 39139
o 39015
o 38844
o 38766
o 38627
o 38527
o 38388
o 38282
o 38223
o 38017
o 37778
o 37564
o 37385
o 37261
o 37146
o 37022
o 36932
o 36808
o 36749
o 36562
o 36348
o 36310
o 36195
o 36071
o 35981
o 35857
o 35686
o 35683
o 35583
o 35444
o 35369
o 35230
o 35185
o 35119
o 35087
o 34553
o 34429
o 34370
o 34274
o 33950
o 33884
o 33852
o 33318
o 33194
o 33135
o 32734
o 32367
o 32243
o 32072
o 31755
o 31616
o 31609
o 31485
o 31395
o 31271
o 31212
o 31006
o 30792
o 30374
o 30250
o 30160
o 30036
o 29977
o 29790
o 29576
o 29423
o 29299
o 29209
o 29085
o 28914
o 28811
o 28672
o 28597
o 28458
o 28239
o 28025
o 27846
o 27743
o 27604
o 27529
o 27390
o 27279
o 27010
o 26796
o 26617
o 26514
o 26375
o 26300
o 26161
s OPTIMUM FOUND
c Optimal Solution = 26161
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
c Program terminated in 15.680 seconds.
15.678u 0.006s 0:15.69 99.8%	0+0k 0+0io 0pf+0w