Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_160_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0007.txt.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 122801
o 110925
o 110913
o 110638
o 110626
o 110544
o 110532
o 110529
o 110517
o 110266
o 110254
o 109979
o 109967
o 109885
o 109873
o 109870
o 109858
o 109819
o 109807
o 109725
o 109713
o 109710
o 109698
o 109447
o 109435
o 109160
o 109148
o 109066
o 109054
o 109051
o 109039
o 109034
o 109022
o 109019
o 109007
o 109001
o 108921
o 108909
o 108906
o 108894
o 108889
o 108877
o 108874
o 108862
o 108856
o 108805
o 108793
o 108711
o 108699
o 108696
o 108684
o 108679
o 108667
o 108664
o 108652
o 108648
o 108566
o 108554
o 108551
o 108539
o 108534
o 108522
o 108519
o 108507
o 108501
o 108496
o 108484
o 108481
o 108469
o 108464
o 108452
o 108449
o 108437
o 108431
o 108308
o 108296
o 108214
o 108202
o 108199
o 108187
o 108182
o 108170
o 108167
o 108155
o 108149
o 108141
o 108138
o 108126
o 108120
o 108118
o 108116
o 108104
o 108101
o 108089
o 108083
o 108071
o 108068
o 108056
o 108050
o 108038
o 108035
o 108023
o 108017
o 108015
o 108013
o 108001
o 107998
o 107986
o 107980
o 107923
o 107911
o 107904
o 107829
o 107817
o 107814
o 107802
o 107797
o 107785
o 107782
o 107770
o 107768
o 107756
o 107753
o 107741
o 107735
o 107733
o 107731
o 107719
o 107716
o 107704
o 107698
o 107681
o 107669
o 107649
o 107637
o 107562
o 107550
o 107525
o 107513
o 107505
o 107493
o 107468
o 107456
o 107441
o 107429
o 107404
o 107392
o 107390
o 107378
o 107353
o 107341
o 107333
o 107321
o 107296
o 107284
o 107269
o 107257
o 107232
o 107220
o 107211
o 107199
o 107092
o 107080
o 107055
o 107043
o 107035
o 107023
o 106998
o 106986
o 106971
o 106959
o 106934
o 106922
o 106915
o 106903
o 106878
o 106866
o 106858
o 106846
o 106821
o 106809
o 106794
o 106782
o 106757
o 106745
o 106724
o 106712
o 106704
o 106692
o 106667
o 106655
o 106640
o 106628
o 106603
o 106591
o 106581
o 106569
o 106548
o 106536
o 106528
o 106516
o 106491
o 106479
o 106464
o 106452
o 106427
o 106415
o 106399
o 106387
o 106384
o 106372
o 106367
o 106355
o 106352
o 106340
o 106334
o 106325
o 106313
o 106306
o 106231
o 106219
o 106216
o 106204
o 106199
o 106187
o 106184
o 106172
o 106166
o 105959
o 105947
o 105872
o 105860
o 105815
o 105803
o 105751
o 105739
o 105714
o 105702
o 105695
o 105683
o 105658
o 105646
o 105638
o 105626
o 105601
o 105589
o 105574
o 105562
o 105537
o 105525
o 105504
o 105492
o 105484
o 105472
o 105447
o 105435
o 105420
o 105408
o 105383
o 105371
o 105370
o 105331
o 105319
o 105313
o 105267
o 105255
o 105249
o 105230
o 105218
o 105212
o 105022
o 105010
o 104935
o 104923
o 104907
o 104895
o 104845
o 104833
o 104758
o 104746
o 104730
o 104718
o 104691
o 104679
o 104604
o 104592
o 104576
o 104564
o 104559
o 104538
o 104526
o 104451
o 104439
o 104433
o 104423
o 104411
o 104405
o 104396
o 104390
o 104389
o 104364
o 104352
o 104347
o 104346
o 104340
o 104288
o 104276
o 104270
o 104269
o 104263
o 104248
o 104236
o 104230
o 104211
o 104199
o 104193
o 104136
o 104121
o 104115
o 104114
o 104108
o 104087
o 104075
o 104069
o 104059
o 104047
o 103972
o 103960
o 103954
o 103948
o 103929
o 103917
o 103911
o 103908
o 103902
o 103895
o 103820
o 103808
o 103805
o 103793
o 103787
o 103778
o 103766
o 103763
o 103751
o 103745
o 103736
o 103661
o 103649
o 103643
o 103636
o 103624
o 103618
o 103602
o 103590
o 103515
o 103503
o 103497
o 103473
o 103461
o 103455
s OPTIMUM FOUND
c Optimal Solution = 103455
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
c Program terminated in 23.620 seconds.
23.625u 0.003s 0:23.63 99.9%	0+0k 0+0io 0pf+0w