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_160_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 127579
o 111430
o 111411
o 111405
o 111386
o 111172
o 111153
o 111147
o 111128
o 111086
o 111067
o 111061
o 111042
o 111032
o 110809
o 110790
o 110784
o 110765
o 110551
o 110532
o 110526
o 110507
o 110465
o 110446
o 110440
o 110421
o 110416
o 110205
o 110186
o 110180
o 110161
o 110119
o 110100
o 110094
o 110075
o 110065
o 109842
o 109823
o 109817
o 109798
o 109584
o 109565
o 109559
o 109540
o 109498
o 109479
o 109473
o 109454
o 109379
o 109360
o 109354
o 109335
o 109121
o 109102
o 109096
o 109077
o 109035
o 109016
o 109010
o 108991
o 108908
o 108883
o 108822
o 108797
o 108703
o 108678
o 108445
o 108420
o 108359
o 108334
o 108312
o 108287
o 108279
o 108254
o 108232
o 108207
o 108202
o 108180
o 108155
o 108111
o 108086
o 108031
o 108006
o 107997
o 107972
o 107945
o 107920
o 107911
o 107886
o 107873
o 107864
o 107839
o 107834
o 107821
o 107812
o 107787
o 107778
o 107753
o 107748
o 107726
o 107701
o 107696
o 107674
o 107649
o 107640
o 107615
o 107606
o 107581
o 107576
o 107571
o 107558
o 107549
o 107524
o 107504
o 107479
o 107424
o 107399
o 107377
o 107352
o 107347
o 107325
o 107300
o 107256
o 107231
o 107176
o 107151
o 107142
o 107117
o 107090
o 107065
o 107056
o 107031
o 107018
o 107009
o 106984
o 106979
o 106966
o 106957
o 106932
o 106923
o 106898
o 106893
o 106871
o 106846
o 106841
o 106819
o 106794
o 106785
o 106760
o 106751
o 106726
o 106714
o 106705
o 106680
o 106676
o 106651
o 106629
o 106604
o 106599
o 106577
o 106552
o 106504
o 106479
o 106457
o 106432
o 106427
o 106405
o 106380
o 106371
o 106346
o 106330
o 106305
o 106296
o 106271
o 106270
o 106245
o 106236
o 106211
o 106200
o 106182
o 106173
o 106148
o 106139
o 106114
o 106107
o 106098
o 106073
o 106064
o 106039
o 106026
o 106017
o 105992
o 105988
o 105966
o 105941
o 105936
o 105914
o 105889
o 105854
o 105829
o 105820
o 105795
o 105768
o 105743
o 105734
o 105709
o 105696
o 105687
o 105662
o 105657
o 105644
o 105635
o 105610
o 105596
o 105571
o 105562
o 105537
o 105524
o 105515
o 105490
o 105485
o 105472
o 105463
o 105438
o 105420
o 105372
o 105347
o 105325
o 105300
o 105295
o 105273
o 105248
o 105227
o 105222
o 105200
o 105175
o 105127
o 105102
o 105080
o 105055
o 105050
o 105028
o 105003
o 104994
o 104969
o 104966
o 104957
o 104932
o 104923
o 104898
o 104869
o 104844
o 104822
o 104797
o 104792
o 104770
o 104745
o 104736
o 104711
o 104702
o 104677
o 104669
o 104660
o 104635
o 104626
o 104601
o 104596
o 104587
o 104562
o 104549
o 104540
o 104515
o 104510
o 104497
o 104488
o 104463
o 104454
o 104429
o 104420
o 104395
o 104375
o 104366
o 104341
o 104332
o 104307
o 104302
o 104285
o 104267
o 104258
o 104233
o 104224
o 104199
s OPTIMUM FOUND
c Optimal Solution = 104199
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
c Program terminated in 7.490 seconds.
7.488u 0.003s 0:07.50 99.7%	0+0k 0+0io 0pf+0w