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_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 127319
o 113855
o 113842
o 113818
o 113805
o 113602
o 113589
o 113565
o 113552
o 113547
o 113534
o 113510
o 113497
o 113482
o 113469
o 113266
o 113253
o 113229
o 113216
o 113211
o 113198
o 113174
o 113161
o 113156
o 113154
o 113141
o 113136
o 113115
o 113102
o 113078
o 113065
o 113060
o 113047
o 113023
o 113010
o 113005
o 113003
o 112990
o 112985
o 112981
o 112957
o 112944
o 112939
o 112898
o 112885
o 112861
o 112848
o 112843
o 112830
o 112806
o 112793
o 112788
o 112786
o 112762
o 112749
o 112744
o 112703
o 112690
o 112666
o 112653
o 112648
o 112635
o 112611
o 112598
o 112593
o 112487
o 112474
o 112450
o 112437
o 112432
o 112419
o 112395
o 112382
o 112377
o 112375
o 112362
o 112357
o 112336
o 112323
o 112299
o 112286
o 112281
o 112268
o 112244
o 112231
o 112226
o 112224
o 112211
o 112206
o 112202
o 112178
o 112165
o 112160
o 112119
o 112106
o 112082
o 112069
o 112064
o 112051
o 112027
o 112014
o 112009
o 112007
o 111983
o 111970
o 111965
o 111924
o 111911
o 111887
o 111874
o 111869
o 111856
o 111832
o 111819
o 111814
o 111754
o 111741
o 111717
o 111704
o 111699
o 111695
o 111690
o 111649
o 111636
o 111612
o 111599
o 111594
o 111581
o 111557
o 111544
o 111539
o 111537
o 111513
o 111500
o 111495
o 111454
o 111441
o 111417
o 111404
o 111399
o 111386
o 111362
o 111349
o 111344
o 111284
o 111271
o 111247
o 111234
o 111229
o 111227
o 111214
o 111209
o 111188
o 111175
o 111170
o 111168
o 111155
o 111150
o 111110
o 111097
o 111073
o 111060
o 111055
o 111053
o 111040
o 111035
o 111034
o 111021
o 111016
o 111014
o 111001
o 110996
o 110976
o 110963
o 110939
o 110926
o 110921
o 110919
o 110906
o 110901
o 110900
o 110887
o 110882
o 110880
o 110867
o 110862
o 110858
o 110853
o 110852
o 110839
o 110834
o 110832
o 110819
o 110814
o 110794
o 110781
o 110757
o 110744
o 110739
o 110737
o 110724
o 110719
o 110718
o 110705
o 110700
o 110698
o 110685
o 110680
o 110677
o 110672
o 110670
o 110657
o 110652
o 110629
o 110616
o 110592
o 110579
o 110574
o 110572
o 110559
o 110554
o 110533
o 110520
o 110515
o 110513
o 110500
o 110495
o 110455
o 110442
o 110418
o 110405
o 110400
o 110398
o 110385
o 110380
o 110379
o 110366
o 110361
o 110359
o 110346
o 110341
o 110321
o 110308
o 110284
o 110271
o 110266
o 110264
o 110251
o 110246
o 110245
o 110232
o 110227
o 110225
o 110212
o 110207
o 110203
o 110198
o 110197
o 110184
o 110179
o 110177
o 110164
o 110159
o 110139
o 110126
o 110102
o 110089
o 110084
o 110082
o 110069
o 110064
o 110063
o 110050
o 110045
o 110043
o 110030
o 110025
o 110022
o 110017
o 110015
o 110002
o 109997
o 109995
o 109971
o 109958
o 109953
o 109951
o 109938
o 109933
o 109930
o 109925
o 109923
o 109910
o 109905
o 109899
o 109894
o 109891
o 109886
o 109884
o 109871
o 109866
o 109861
o 109837
o 109824
o 109819
o 109817
o 109804
o 109799
o 109796
o 109791
o 109789
o 109776
o 109771
o 109765
o 109760
o 109757
o 109752
o 109750
o 109737
o 109732
o 109728
o 109727
o 109714
o 109690
o 109677
o 109672
o 109670
o 109657
o 109652
o 109649
o 109644
o 109642
o 109629
o 109624
o 109618
o 109613
o 109610
o 109605
o 109603
o 109590
o 109585
o 109570
o 109557
o 109552
o 109550
o 109537
o 109532
o 109531
o 109518
o 109513
o 109511
o 109498
o 109493
o 109490
o 109485
o 109483
o 109470
o 109465
o 109460
o 109436
o 109423
o 109418
o 109416
o 109403
o 109398
o 109397
o 109384
o 109379
o 109377
o 109364
o 109359
o 109356
o 109351
o 109349
o 109336
o 109331
o 109329
o 109305
o 109292
o 109287
o 109285
o 109272
o 109267
o 109264
o 109259
o 109257
o 109244
o 109239
o 109233
o 109228
o 109225
o 109220
o 109218
o 109205
o 109200
o 109195
o 109171
o 109158
o 109153
o 109151
o 109138
o 109133
o 109130
o 109125
o 109123
o 109110
o 109105
o 109099
o 109094
o 109091
o 109086
o 109084
o 109071
o 109066
o 109065
o 109063
o 109058
o 109056
o 109043
o 109038
o 109035
o 109030
o 109028
o 109015
o 109010
o 108980
o 108967
o 108962
o 108960
o 108947
o 108942
o 108939
o 108934
o 108932
o 108919
o 108914
o 108858
o 108845
o 108840
o 108830
o 108817
o 108812
o 108810
o 108797
o 108792
o 108785
o 108780
o 108724
o 108711
o 108706
o 108696
o 108683
o 108678
o 108676
o 108663
o 108658
o 108655
o 108650
o 108645
o 108642
o 108637
o 108635
o 108622
o 108617
o 108616
o 108611
o 108596
o 108591
o 108586
o 108549
o 108544
o 108529
o 108524
o 108510
o 108505
o 108490
o 108485
o 108482
o 108477
o 108462
o 108457
o 108416
o 108379
o 108374
o 108359
o 108354
o 108351
o 108346
o 108331
o 108326
o 108282
o 108245
o 108240
o 108225
o 108220
o 108217
o 108212
o 108197
o 108192
o 108148
o 108143
o 108109
o 108104
o 108089
o 108084
o 108081
o 108076
o 108061
o 108056
o 108014
o 108009
o 107994
o 107989
o 107975
o 107970
o 107955
o 107950
o 107947
o 107942
o 107927
o 107922
o 107919
o 107914
o 107899
o 107894
o 107891
o 107886
o 107871
o 107866
o 107865
o 107853
o 107848
o 107833
o 107828
o 107825
o 107820
o 107805
o 107800
o 107797
o 107792
o 107777
o 107772
o 107769
o 107764
o 107749
o 107744
o 107743
s OPTIMUM FOUND
c Optimal Solution = 107743
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 52.670 seconds.
52.670u 0.007s 0:55.32 95.2%	0+0k 0+0io 0pf+0w