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-40-2_network-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1512751
o 131702
o 131114
o 130490
o 129460
o 129110
o 128774
o 128355
o 127767
o 127143
o 126113
o 125341
o 125035
o 124447
o 123823
o 122793
o 122443
o 122107
o 121688
o 121100
o 120476
o 119446
o 118458
o 118108
o 117772
o 117353
o 116765
o 116141
o 115111
o 114514
o 113949
o 112919
o 112517
o 111893
o 110863
o 110266
o 109824
o 108935
o 108338
o 107379
o 106782
o 106300
o 105898
o 105274
o 104244
o 103647
o 103205
o 102316
o 101719
o 100760
o 100163
o 99398
o 98801
o 98359
o 97470
o 96873
o 95914
o 95317
o 95148
o 94551
o 94314
o 93903
o 93504
o 93501
o 92739
o 92142
o 91700
o 91573
o 90811
o 90214
o 90017
o 89255
o 88658
o 88489
o 87892
o 87655
o 87244
o 86935
o 86435
o 86242
o 85645
o 85476
o 84879
o 84642
o 84231
o 83832
o 83829
o 83067
o 82470
o 82359
o 81762
o 81139
o 80542
o 80345
o 79583
o 78986
o 78817
o 78220
o 77983
o 77572
o 77374
o 76963
o 76865
o 76564
o 76466
o 76463
o 75799
o 75701
o 75202
o 75104
o 75091
o 74494
o 74396
o 73871
o 73773
o 73274
o 73176
o 73077
o 72979
o 72315
o 72217
o 71718
o 71620
o 71549
o 70952
o 70854
o 70715
o 70617
o 70304
o 70206
o 70112
o 70014
o 69932
o 69619
o 69521
o 69432
o 69119
o 69021
o 68922
o 68824
o 68740
o 68642
o 68329
o 68231
o 68211
o 67974
o 67563
o 67465
o 67455
o 67357
o 67258
o 67160
o 67076
o 66978
o 66665
o 66567
o 66547
o 66310
o 65899
o 65801
o 65795
o 65653
o 65555
o 65280
o 65182
o 65093
o 64780
o 64682
o 64583
o 64485
o 63872
o 63774
o 63635
o 63537
o 63224
o 63126
o 63106
o 62869
o 62458
o 62360
o 62266
o 62168
o 61960
o 61862
o 61556
o 61458
o 61455
o 61271
o 61173
o 60598
o 60500
o 60194
o 60096
o 59957
o 59859
o 59852
o 59546
o 59448
o 59184
o 59086
o 58780
o 58682
o 58588
o 58490
o 58428
o 58330
o 58017
o 57919
o 57825
o 57727
o 57610
o 57512
o 57418
o 57320
o 57108
o 57010
o 56990
o 56753
o 56674
o 56342
o 56244
o 56150
o 56052
o 56030
o 55932
o 55877
o 55564
o 55466
o 55446
o 55209
o 54798
o 54700
o 54606
o 54508
o 54345
o 54247
o 54153
o 54055
o 53963
o 53552
o 53360
o 53300
o 53215
o 53023
o 52844
o 52762
o 52570
o 52542
o 52279
o 52087
o 52020
o 51953
o 51930
o 51861
o 51666
o 51597
o 51222
o 51153
o 50900
o 50831
o 50708
o 50639
o 50486
o 50417
o 50348
o 50225
o 50156
o 50148
o 50081
o 50058
o 49989
o 49350
o 49281
o 49028
o 48959
o 48836
o 48767
o 48614
o 48545
o 48476
o 48353
o 48284
o 48268
o 48007
o 47938
o 47930
o 47863
o 47600
o 46940
o 46871
o 46618
o 46549
o 46396
o 46135
o 46066
o 45178
o 45124
o 45017
o 44695
o 44694
o 44168
o 43974
o 43920
o 43685
o 43491
o 43168
o 42974
o 42920
o 42685
o 42491
o 42442
o 42207
o 42013
o 41969
o 41862
o 41540
o 41508
o 41186
o 41117
o 40964
o 40703
o 40634
o 40616
o 39746
o 39692
o 39457
o 39263
o 38984
o 38654
o 37784
o 37301
o 37224
o 37122
o 36908
o 36831
o 36729
o 36636
o 36394
o 36317
o 36215
o 36196
o 36065
o 35951
s OPTIMUM FOUND
c Optimal Solution = 35951
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
c Program terminated in 582.310 seconds.
582.226u 0.034s 9:42.87 99.8%	0+0k 0+0io 0pf+0w