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_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 104673
o 93489
o 93434
o 93398
o 93268
o 93213
o 93177
o 92408
o 92353
o 92317
o 92187
o 92132
o 92096
o 91710
o 91655
o 91619
o 91489
o 91434
o 91398
o 91363
o 91327
o 91289
o 91253
o 90943
o 90888
o 90852
o 90722
o 90667
o 90631
o 90596
o 90560
o 90522
o 90486
o 90473
o 90423
o 90387
o 90328
o 90273
o 90257
o 90202
o 90166
o 90153
o 90128
o 90092
o 90079
o 90069
o 90014
o 89998
o 89943
o 89907
o 89866
o 89830
o 89817
o 89792
o 89756
o 89743
o 89710
o 89669
o 89633
o 89595
o 89559
o 89546
o 89537
o 89501
o 89491
o 89455
o 89414
o 89378
o 89340
o 89304
o 89300
o 89226
o 89213
o 89209
o 89168
o 89132
o 89119
o 89058
o 89045
o 88971
o 88954
o 88913
o 88877
o 88839
o 88803
o 88760
o 88683
o 88624
o 88595
o 88536
o 88462
o 88449
o 88404
o 88395
o 88284
o 88207
o 88133
o 88119
o 88045
o 87969
o 87956
o 87895
o 87882
o 87837
o 87791
o 87714
o 87640
o 87626
o 87552
o 87548
o 87545
o 87474
o 87417
o 87411
o 87340
o 87291
o 87220
o 87214
o 87143
o 87140
o 87069
o 87055
o 87052
o 86981
s OPTIMUM FOUND
c Optimal Solution = 86981
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
c Program terminated in 3.580 seconds.
3.583u 0.002s 0:04.59 77.9%	0+0k 0+0io 0pf+0w