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_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 124491
o 112474
o 112428
o 112396
o 112350
o 112339
o 112276
o 112230
o 112198
o 112152
o 112132
o 112086
o 112054
o 112008
o 111986
o 111978
o 111791
o 111745
o 111713
o 111667
o 111656
o 111593
o 111547
o 111515
o 111469
o 111449
o 111403
o 111371
o 111325
o 111303
o 111295
o 111281
o 111235
o 111203
o 111157
o 111135
o 111127
o 111119
o 111113
o 111092
o 111046
o 111035
o 110972
o 110926
o 110894
o 110848
o 110828
o 110782
o 110750
o 110704
o 110682
o 110674
o 110660
o 110614
o 110582
o 110536
o 110514
o 110506
o 110498
o 110487
o 110465
o 110457
o 110449
o 110444
o 110436
o 110416
o 110408
o 110400
o 110395
o 110387
o 110367
o 110359
o 110351
o 110346
o 110338
o 110325
o 110279
o 110247
o 110201
o 110181
o 110135
o 110103
o 110057
o 110035
o 110027
o 110013
o 109967
o 109935
o 109889
o 109867
o 109859
o 109851
o 109840
o 109818
o 109810
o 109802
o 109797
o 109789
o 109769
o 109761
o 109753
o 109748
o 109740
o 109720
o 109712
o 109704
o 109699
o 109691
o 109665
o 109643
o 109635
o 109627
o 109619
o 109611
o 109606
o 109598
o 109567
o 109545
o 109537
o 109529
o 109521
o 109513
o 109508
o 109500
o 109498
o 109490
o 109485
o 109470
o 109462
o 109454
o 109449
o 109441
o 109429
o 109377
o 109331
o 109309
o 109301
o 109299
o 109253
o 109231
o 109223
o 109215
o 109210
o 109202
o 109182
o 109174
o 109166
o 109161
o 109153
o 109150
o 109142
o 109137
o 109129
o 109090
o 109068
o 109060
o 109052
o 109044
o 109039
o 109031
o 109029
o 109021
o 109016
o 109015
o 108993
o 108985
o 108980
o 108972
o 108952
o 108854
o 108832
o 108824
o 108776
o 108754
o 108746
o 108741
o 108733
o 108727
o 108705
o 108697
o 108692
o 108684
o 108677
o 108669
o 108664
o 108656
o 108654
o 108648
o 108637
o 108626
o 108618
o 108613
o 108605
o 108575
o 108567
o 108562
o 108554
o 108553
o 108545
o 108540
o 108532
o 108523
o 108477
o 108469
o 108464
o 108456
o 108455
o 108447
o 108442
o 108434
o 108418
o 108405
o 108396
o 108383
o 108328
o 108250
o 108176
o 108098
o 108085
o 108076
o 108063
o 108000
o 107987
o 107978
o 107965
o 107959
o 107950
o 107948
o 107937
o 107932
o 107921
o 107919
o 107908
o 107899
o 107897
o 107886
o 107823
o 107777
o 107766
o 107763
o 107752
o 107744
o 107741
o 107730
o 107722
o 107685
o 107674
o 107666
o 107663
o 107652
o 107644
o 107626
o 107615
o 107604
o 107593
o 107588
o 107577
o 107574
o 107563
o 107452
o 107441
o 107438
o 107427
o 107300
o 107289
o 107286
o 107275
o 107267
o 107264
o 107253
o 107208
o 107197
o 107186
o 107175
o 107127
o 107114
o 107105
o 107092
o 107066
o 107053
o 107044
o 107031
o 107024
o 107011
o 107003
o 106994
o 106981
o 106971
o 106960
o 106949
o 106947
o 106901
o 106888
o 106879
o 106866
o 106860
o 106850
o 106837
o 106828
o 106815
o 106809
o 106798
o 106720
o 106662
o 106510
o 106432
o 106419
o 106410
o 106397
o 106391
o 106371
o 106358
o 106349
o 106336
o 106330
o 106329
o 106316
o 106310
o 106284
o 106252
o 106206
o 106193
o 106184
o 106171
o 106165
o 106117
o 106106
o 106104
o 106093
o 106084
o 106082
o 106071
o 106070
o 106064
o 106057
o 106051
o 106036
o 106025
o 105958
o 105947
o 105941
o 105934
o 105928
o 105925
o 105919
o 105912
o 105906
o 105901
o 105855
o 105844
o 105777
o 105766
o 105760
o 105755
o 105744
o 105738
o 105735
o 105724
o 105718
o 105690
o 105679
o 105606
o 105595
o 105584
o 105573
o 105561
o 105552
o 105539
o 105533
o 105532
o 105519
o 105513
o 105506
o 105495
o 105428
o 105417
o 105415
o 105404
o 105395
o 105393
o 105382
o 105376
o 105375
o 105308
o 105297
o 105286
o 105275
o 105269
o 105247
o 105236
o 105225
o 105214
o 105208
o 105207
o 105196
o 105190
o 105188
o 105160
o 105149
o 105082
o 105071
o 105060
o 105049
o 105043
o 105042
o 105031
o 105020
o 105014
o 105005
o 104998
o 104987
o 104976
s OPTIMUM FOUND
c Optimal Solution = 104976
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 -171
c Program terminated in 19.810 seconds.
19.814u 0.003s 0:19.86 99.7%	0+0k 0+0io 0pf+0w