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_130_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 91265
o 79198
o 79193
o 78930
o 78925
o 78839
o 78571
o 78506
o 78504
o 78439
o 78322
o 78317
o 78231
o 77963
o 77898
o 77896
o 77831
o 77818
o 77747
o 77706
o 77680
o 77654
o 77613
o 77608
o 77600
o 77485
o 77480
o 77394
o 77126
o 77061
o 77059
o 76994
o 76981
o 76910
o 76869
o 76843
o 76817
o 76776
o 76771
o 76763
o 76614
o 76549
o 76547
o 76482
o 76469
o 76398
o 76357
o 76331
o 76305
o 76264
o 76259
o 76251
o 76241
o 76200
o 76187
o 76132
o 76091
o 76089
o 76065
o 76024
o 76011
o 75975
o 75822
o 75781
o 75755
o 75729
o 75688
o 75675
o 75637
o 75596
o 75570
o 75544
o 75503
o 75490
o 75435
o 75394
o 75392
o 75368
o 75327
o 75314
o 75278
o 75125
o 75084
o 75058
o 75032
o 74991
o 74978
o 74971
o 74945
o 74919
o 74878
o 74827
o 74786
o 74760
o 74734
o 74693
o 74690
o 74623
o 74558
o 74517
o 74516
o 74468
o 74315
o 74274
o 74248
o 74222
o 74181
o 74041
o 74000
o 73970
o 73944
o 73877
o 73849
o 73696
o 73671
o 73518
s OPTIMUM FOUND
c Optimal Solution = 73518
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
c Program terminated in 1.510 seconds.
1.516u 0.001s 0:01.52 99.3%	0+0k 0+0io 0pf+0w