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_140_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 106429
o 92600
o 92477
o 92439
o 92380
o 92257
o 92219
o 92121
o 92083
o 92024
o 91901
o 91863
o 91748
o 91710
o 91612
o 91574
o 91515
o 91392
o 91354
o 91309
o 91271
o 91243
o 91205
o 91090
o 91052
o 90954
o 90916
o 90857
o 90734
o 90696
o 90651
o 90613
o 90588
o 90550
o 90505
o 90467
o 90449
o 90436
o 90398
o 90353
o 90315
o 90297
o 90263
o 90255
o 90218
o 90217
o 90180
o 90162
o 90149
o 90148
o 90111
o 90103
o 90066
o 90065
o 90028
o 90010
o 89974
o 89973
o 89936
o 89928
o 89891
o 89890
o 89853
o 89821
o 89820
o 89783
o 89638
o 89601
o 89600
o 89563
o 89555
o 89518
o 89517
o 89480
o 89455
o 89454
o 89417
o 89409
o 89372
o 89371
o 89334
o 89316
o 89303
o 89302
o 89265
o 89257
o 89220
o 89219
o 89182
o 89164
o 89046
o 89009
o 89008
o 88971
o 88946
o 88926
o 88925
o 88888
o 88863
o 88862
o 88825
o 88800
o 88780
o 88779
o 88742
o 88717
o 88699
o 88673
o 88648
o 88628
o 88627
o 88590
o 88565
o 88547
o 88529
o 88504
o 88486
o 88483
o 88465
o 88440
o 88422
o 88410
o 88392
o 88374
o 88349
o 88331
o 88328
o 88310
o 88285
o 88267
o 88249
o 88248
o 88211
o 88186
o 88168
o 88142
o 88117
o 88097
o 88096
o 88059
o 88034
o 88016
o 87998
o 87973
o 87955
o 87952
o 87934
o 87909
o 87891
o 87879
o 87861
o 87843
o 87818
o 87800
o 87797
o 87779
o 87754
o 87736
o 87730
o 87712
o 87709
o 87691
o 87666
o 87648
o 87633
o 87608
o 87590
o 87587
o 87569
o 87544
o 87526
o 87514
o 87496
o 87478
o 87453
o 87435
o 87432
o 87414
o 87389
o 87371
o 87365
o 87347
o 87344
o 87326
o 87301
o 87283
o 87271
o 87246
o 87228
o 87222
o 87204
o 87201
o 87183
o 87158
o 87140
o 87114
o 87089
o 87069
o 87068
o 87031
o 87006
o 86988
o 86970
o 86945
o 86927
o 86924
o 86906
o 86881
o 86863
o 86857
o 86839
o 86836
o 86818
o 86793
o 86775
o 86754
o 86736
o 86718
o 86693
o 86675
o 86668
o 86630
o 86605
o 86587
o 86561
o 86536
o 86516
o 86478
o 86453
o 86435
o 86417
o 86392
o 86374
o 86371
o 86353
o 86328
o 86310
o 86293
o 86255
o 86230
o 86210
o 86172
o 86147
o 86141
o 86103
o 86078
o 86058
o 86020
o 85995
o 85959
o 85934
o 85912
o 85887
o 85885
o 85860
o 85848
o 85824
o 85799
o 85783
o 85746
o 85721
o 85685
o 85660
o 85658
o 85633
o 85597
o 85572
o 85557
o 85536
o 85499
o 85474
o 85469
o 85411
o 85386
o 85361
o 85336
o 85318
o 85303
o 85240
o 85215
s OPTIMUM FOUND
c Optimal Solution = 85215
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
c Program terminated in 1.970 seconds.
1.975u 0.001s 0:01.98 99.4%	0+0k 0+0io 0pf+0w