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_160_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 122801
o 110893
o 110881
o 110606
o 110594
o 110512
o 110500
o 110497
o 110485
o 110234
o 110222
o 109947
o 109935
o 109853
o 109841
o 109838
o 109826
o 109787
o 109775
o 109693
o 109681
o 109678
o 109666
o 109415
o 109403
o 109128
o 109116
o 109034
o 109022
o 109019
o 109007
o 109001
o 108983
o 108971
o 108889
o 108877
o 108874
o 108862
o 108856
o 108773
o 108761
o 108679
o 108667
o 108664
o 108652
o 108646
o 108628
o 108616
o 108534
o 108522
o 108519
o 108507
o 108501
o 108464
o 108452
o 108449
o 108437
o 108431
o 108276
o 108264
o 108182
o 108170
o 108167
o 108155
o 108149
o 108137
o 108134
o 108122
o 108116
o 108079
o 108067
o 108064
o 108052
o 108046
o 108010
o 107998
o 107978
o 107966
o 107891
o 107879
o 107872
o 107797
o 107785
o 107782
o 107770
o 107764
o 107756
o 107753
o 107741
o 107735
o 107733
o 107727
o 107719
o 107716
o 107704
o 107698
o 107686
o 107674
o 107647
o 107635
o 107560
o 107548
o 107528
o 107516
o 107441
o 107429
o 107404
o 107392
o 107390
o 107378
o 107353
o 107341
o 107333
o 107321
o 107296
o 107284
o 107269
o 107257
o 107232
o 107220
o 107211
o 107199
o 107092
o 107080
o 107055
o 107043
o 107035
o 107023
o 106998
o 106986
o 106971
o 106959
o 106934
o 106922
o 106915
o 106903
o 106878
o 106866
o 106858
o 106846
o 106821
o 106809
o 106794
o 106782
o 106757
o 106745
o 106724
o 106712
o 106704
o 106692
o 106667
o 106655
o 106640
o 106628
o 106603
o 106591
o 106581
o 106569
o 106548
o 106536
o 106528
o 106516
o 106491
o 106479
o 106464
o 106452
o 106427
o 106415
o 106367
o 106355
o 106352
o 106340
o 106334
o 106293
o 106281
o 106274
o 106199
o 106187
o 106184
o 106172
o 106166
o 105959
o 105947
o 105872
o 105860
o 105815
o 105803
o 105751
o 105739
o 105714
o 105702
o 105695
o 105683
o 105658
o 105646
o 105638
o 105626
o 105601
o 105589
o 105574
o 105562
o 105537
o 105525
o 105504
o 105492
o 105484
o 105472
o 105447
o 105435
o 105420
o 105408
o 105383
o 105371
o 105370
o 105331
o 105319
o 105313
o 105267
o 105255
o 105249
o 105230
o 105218
o 105212
o 105022
o 105010
o 104935
o 104923
o 104907
o 104895
o 104845
o 104833
o 104758
o 104746
o 104730
o 104718
o 104691
o 104679
o 104604
o 104592
o 104576
o 104564
o 104559
o 104538
o 104526
o 104451
o 104439
o 104433
o 104423
o 104411
o 104405
o 104396
o 104390
o 104389
o 104364
o 104352
o 104347
o 104346
o 104340
o 104288
o 104276
o 104270
o 104269
o 104263
o 104248
o 104236
o 104230
o 104211
o 104199
o 104193
o 104136
o 104121
o 104115
o 104114
o 104108
o 104087
o 104075
o 104069
o 104059
o 104047
o 103972
o 103960
o 103954
o 103948
o 103929
o 103917
o 103911
o 103908
o 103902
o 103895
o 103820
o 103808
o 103805
o 103793
o 103787
o 103778
o 103766
o 103763
o 103751
o 103745
o 103736
o 103661
o 103649
o 103643
o 103636
o 103624
o 103618
o 103602
o 103590
o 103515
o 103503
o 103497
o 103473
o 103461
o 103455
s OPTIMUM FOUND
c Optimal Solution = 103455
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 -155 156 -157 158 -159 -160 -161
c Program terminated in 24.060 seconds.
24.066u 0.003s 0:24.13 99.7%	0+0k 0+0io 0pf+0w