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_170_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 141560
o 128545
o 128511
o 128392
o 128358
o 128328
o 128294
o 128171
o 128137
o 128018
o 127984
o 127954
o 127920
o 127902
o 127838
o 127801
o 127767
o 127648
o 127614
o 127584
o 127550
o 127532
o 127468
o 127436
o 127423
o 127402
o 127389
o 127383
o 127370
o 127347
o 127315
o 127302
o 127281
o 127268
o 127262
o 127249
o 127233
o 127201
o 127188
o 127167
o 127154
o 127148
o 127135
o 127071
o 127037
o 126918
o 126884
o 126854
o 126820
o 126802
o 126738
o 126701
o 126667
o 126548
o 126514
o 126484
o 126450
o 126432
o 126368
o 126336
o 126323
o 126302
o 126289
o 126283
o 126270
o 126247
o 126215
o 126202
o 126181
o 126168
o 126162
o 126149
o 126133
o 126101
o 126088
o 126067
o 126054
o 126048
o 126035
o 126018
o 126000
o 125936
o 125904
o 125891
o 125870
o 125857
o 125851
o 125838
o 125815
o 125783
o 125770
o 125749
o 125736
o 125730
o 125717
o 125701
o 125669
o 125656
o 125635
o 125622
o 125616
o 125603
o 125601
o 125580
o 125567
o 125561
o 125548
o 125520
o 125486
o 125468
o 125404
o 125372
o 125359
o 125338
o 125325
o 125319
o 125306
o 125283
o 125251
o 125238
o 125217
o 125204
o 125198
o 125185
o 125169
o 125137
o 125124
o 125103
o 125090
o 125084
o 125071
o 125069
o 125048
o 125035
o 125029
o 125016
o 125004
o 124991
o 124983
o 124970
o 124949
o 124936
o 124748
o 124714
o 124684
o 124650
o 124618
o 124568
o 124536
o 124523
o 124502
o 124489
o 124454
o 124422
o 124409
o 124388
o 124375
o 124367
o 124354
o 124333
o 124320
o 124212
o 124178
o 124148
o 124114
o 124082
o 124080
o 124048
o 124034
o 124000
o 123968
o 123966
o 123934
o 123913
o 123911
o 123879
o 123871
o 123837
o 123803
o 123787
o 123757
o 123723
o 123689
o 123668
o 123634
o 123622
o 123588
o 123567
o 123533
o 123524
o 123492
o 123482
o 123480
o 123448
o 123427
o 123425
o 123393
o 123391
o 123359
o 123200
o 123166
o 123132
o 123086
o 123052
o 123018
o 122985
o 122951
o 122917
o 122891
o 122877
o 122843
o 122811
o 122809
o 122777
o 122776
o 122774
o 122742
o 122727
o 122712
o 122694
o 122662
o 122660
o 122628
o 122613
o 122598
o 122580
o 122548
o 122546
o 122514
o 122505
o 122438
o 122404
o 122400
o 122353
o 122319
o 122313
o 122300
o 122233
o 122199
o 122170
s OPTIMUM FOUND
c Optimal Solution = 122170
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 -162 -163 -164 -165 -166 -167 -168 -169 170
c Program terminated in 53.550 seconds.
53.542u 0.006s 0:53.66 99.7%	0+0k 0+0io 0pf+0w