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_AUCTIONS_AUC_PATHS_cat_paths_60_120_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 92446
o 80236
o 80144
o 79918
o 79826
o 79817
o 79769
o 79760
o 79081
o 78989
o 78763
o 78671
o 78662
o 78614
o 78605
o 78518
o 78463
o 78454
o 78406
o 78397
o 78386
o 78377
o 78329
o 78320
o 78282
o 78273
o 78254
o 78245
o 78207
o 78198
o 78172
o 78163
o 78152
o 78143
o 78095
o 78086
o 78048
o 78039
o 78020
o 78011
o 77973
o 77964
o 77942
o 77933
o 77885
o 77876
o 77865
o 77856
o 77808
o 77799
o 77761
o 77752
o 77733
o 77724
o 77686
o 77677
o 77651
o 77642
o 77631
o 77622
o 77574
o 77565
o 77527
o 77518
o 77499
o 77490
o 77452
o 77443
o 77439
o 77401
o 77392
o 77372
o 77363
o 77325
o 77316
o 77297
o 77288
o 77250
o 77241
o 77214
o 77205
o 77183
o 77174
o 77126
o 77117
o 77106
o 77097
o 77049
o 77040
o 77002
o 76993
o 76974
o 76965
o 76927
o 76918
o 76892
o 76883
o 76872
o 76863
o 76815
o 76806
o 76768
o 76759
o 76740
o 76731
o 76693
o 76684
o 76670
o 76661
o 76650
o 76641
o 76593
o 76584
o 76546
o 76537
o 76493
o 76484
o 76436
o 76427
o 76416
o 76407
o 76359
o 76350
o 76312
o 76303
o 76302
o 76293
o 76249
o 76240
o 76192
o 76183
o 76172
o 76163
o 76115
o 76106
o 76068
o 76059
o 76055
o 76017
o 76008
o 76005
o 75996
o 75952
o 75943
o 75895
o 75886
o 75875
o 75866
o 75818
o 75809
o 75771
o 75762
o 75758
o 75720
o 75711
o 75710
o 75677
o 75668
o 75584
o 75551
o 75542
o 75527
o 75494
o 75485
o 75476
o 75443
o 75434
o 75431
o 75422
o 75413
o 75380
o 75371
o 75287
o 75254
o 75245
o 75230
o 75197
o 75188
o 75179
o 75146
o 75137
o 75068
o 75035
o 75026
o 75011
o 74978
o 74969
o 74960
o 74927
o 74918
o 74915
o 74906
o 74873
o 74864
o 74859
o 74826
o 74817
o 74797
o 74788
o 74751
o 74718
o 74709
o 74694
o 74661
o 74652
o 74643
o 74610
o 74601
o 74596
o 74563
o 74554
o 74532
o 74499
o 74490
o 74475
o 74442
o 74433
o 74424
o 74391
o 74382
o 74377
o 74344
o 74335
s OPTIMUM FOUND
c Optimal Solution = 74335
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
c Program terminated in 0.310 seconds.
0.312u 0.003s 0:00.32 96.8%	0+0k 0+0io 0pf+0w