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_150_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 114469
o 101532
o 101514
o 101434
o 101416
o 101373
o 101355
o 101275
o 101257
o 101239
o 101159
o 101141
o 101098
o 101080
o 101000
o 100982
o 100953
o 100935
o 100855
o 100837
o 100803
o 100785
o 100768
o 100725
o 100707
o 100627
o 100609
o 100580
o 100562
o 100482
o 100464
o 100430
o 100412
o 100405
o 100371
o 100353
o 100325
o 100307
o 100289
o 100209
o 100191
o 100148
o 100130
o 100050
o 100032
o 99998
o 99980
o 99953
o 99935
o 99857
o 99839
o 99805
o 99787
o 99760
o 99742
o 99693
o 99675
o 99632
o 99614
o 99534
o 99516
o 99482
o 99464
o 99437
o 99419
o 99341
o 99323
o 99289
o 99271
o 99244
o 99226
o 99114
o 99096
o 99062
o 99044
o 99017
o 98999
o 98950
o 98932
o 98791
o 98773
o 98746
o 98728
o 98721
o 98694
o 98676
o 98598
o 98580
o 98546
o 98528
o 98501
o 98483
o 98460
o 98442
o 98350
o 98298
o 98253
o 98186
o 98027
o 97982
o 97975
o 97930
o 97834
o 97782
o 97737
o 97696
o 97646
o 97487
o 97442
o 97435
o 97390
o 97294
o 97242
o 97197
o 97156
o 97030
o 96989
o 96985
o 96944
o 96837
o 96796
o 96792
o 96751
o 96743
o 96702
o 96698
o 96657
o 96655
o 96614
o 96610
o 96569
o 96568
o 96530
o 96489
o 96366
o 96278
o 96119
o 96049
o 95926
o 95838
o 95827
o 95782
o 95745
o 95704
o 95700
o 95659
o 95616
o 95571
o 95534
o 95446
o 95418
o 95398
o 95353
o 95310
o 95265
o 95264
o 95228
o 95140
o 95112
o 95106
o 95061
o 95018
o 94973
o 94936
o 94848
o 94782
o 94737
o 94694
o 94649
o 94612
o 94524
o 94496
o 94490
o 94445
o 94402
o 94357
o 94320
o 94232
o 94230
o 94164
o 94094
o 93971
o 93883
o 93872
o 93802
o 93784
o 93714
o 93679
o 93591
o 93477
o 93389
s OPTIMUM FOUND
c Optimal Solution = 93389
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
c Program terminated in 9.110 seconds.
9.110u 0.002s 0:09.13 99.7%	0+0k 0+0io 0pf+0w