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_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 125477
o 113095
o 113091
o 113066
o 113062
o 112818
o 112814
o 112789
o 112785
o 112671
o 112667
o 112642
o 112638
o 112579
o 112575
o 112550
o 112546
o 112524
o 112520
o 112495
o 112491
o 112479
o 112475
o 112450
o 112446
o 112442
o 112198
o 112194
o 112169
o 112165
o 112106
o 112102
o 112077
o 112073
o 112002
o 111973
o 111910
o 111881
o 111855
o 111826
o 111810
o 111781
o 111777
o 111529
o 111500
o 111437
o 111408
o 111396
o 111357
o 111328
o 111236
o 111207
o 111144
o 111115
o 111064
o 111035
o 111027
o 111023
o 110998
o 110994
o 110923
o 110894
o 110831
o 110802
o 110776
o 110747
o 110731
o 110702
o 110659
o 110630
o 110450
o 110421
o 110358
o 110329
o 110278
o 110249
o 110089
o 110060
o 109997
o 109968
o 109917
o 109888
o 109812
o 109720
o 109640
o 109451
o 109359
o 109279
o 109211
o 109186
o 109178
o 109086
o 109078
o 109010
o 108985
o 108977
o 108885
o 108865
o 108857
o 108789
o 108764
o 108756
o 108664
o 108655
o 108626
o 108587
o 108576
o 108470
o 108378
o 108109
o 108017
o 107908
o 107816
o 107796
o 107687
o 107595
o 107585
o 107501
o 107491
o 107449
o 107411
o 107384
o 107377
o 107352
o 107345
o 107260
o 107222
o 107215
o 107180
o 107142
o 107135
o 107129
o 107087
o 107049
o 107030
o 107019
o 106987
o 106972
o 106940
o 106936
o 106925
o 106893
o 106878
o 106846
o 106845
o 106824
o 106798
o 106766
o 106694
o 106656
o 106649
o 106624
o 106617
o 106609
o 106602
o 106577
o 106570
o 106569
o 106544
o 106537
o 106529
o 106522
o 106497
o 106490
o 106468
o 106430
o 106423
o 106421
o 106383
o 106376
o 106350
o 106343
o 106341
o 106303
o 106296
o 106294
s OPTIMUM FOUND
c Optimal Solution = 106294
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
c Program terminated in 16.390 seconds.
16.387u 0.005s 0:17.98 91.1%	0+0k 0+0io 0pf+0w