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_110_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 85328
o 73369
o 73313
o 72891
o 72835
o 72498
o 72442
o 72405
o 72397
o 72360
o 72089
o 72033
o 71996
o 71988
o 71951
o 71915
o 71737
o 71681
o 71644
o 71636
o 71599
o 71328
o 71272
o 71235
o 71227
o 71190
o 71154
o 71153
o 71124
o 71087
o 71079
o 71042
o 71006
o 70789
o 70733
o 70696
o 70688
o 70651
o 70650
o 70641
o 70585
o 70548
o 70540
o 70503
o 70469
o 70413
o 70376
o 70320
o 70283
o 70275
o 70238
o 70237
o 70228
o 70172
o 70135
o 70127
o 70090
o 70063
o 70007
o 69970
o 69765
o 69709
o 69672
o 69664
o 69627
o 69626
o 69617
o 69561
o 69524
o 69516
o 69479
o 69452
o 69396
o 69359
o 69356
o 69300
o 69263
o 69230
o 69174
o 69137
o 69124
o 69068
o 69031
o 69028
o 68972
o 68935
o 68885
o 68848
o 68845
o 68789
o 68752
o 68749
o 68722
o 68666
o 68629
o 68626
o 68570
o 68533
o 68518
o 68494
o 68457
o 68422
o 68398
o 68361
o 68346
o 68309
o 68306
o 68250
o 68213
o 68180
o 68150
o 68117
o 68091
o 68046
o 67982
o 67926
o 67886
o 67830
o 67797
s OPTIMUM FOUND
c Optimal Solution = 67797
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
c Program terminated in 0.410 seconds.
0.410u 0.002s 0:00.41 100.0%	0+0k 0+0io 0pf+0w