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_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 103707
o 91803
o 91802
o 91665
o 91664
o 91606
o 91605
o 91468
o 91467
o 91377
o 91376
o 91342
o 91341
o 91204
o 91203
o 91113
o 91112
o 91080
o 91079
o 91069
o 91068
o 91047
o 91046
o 91036
o 91035
o 91030
o 91029
o 91019
o 91018
o 91017
o 91016
o 90925
o 90924
o 90866
o 90865
o 90728
o 90727
o 90637
o 90636
o 90602
o 90601
o 90464
o 90463
o 90373
o 90372
o 90340
o 90339
o 90329
o 90328
o 90307
o 90306
o 90296
o 90295
o 90290
o 90289
o 90279
o 90278
o 90277
o 90276
o 90269
o 90268
o 90258
o 90257
o 90252
o 90251
o 90241
o 90240
o 90239
o 90238
o 90219
o 90218
o 90202
o 90201
o 90200
o 90199
o 90181
o 90180
o 90164
o 90163
o 90162
o 90161
o 90093
o 90092
o 90058
o 90057
o 89920
o 89919
o 89829
o 89828
o 89796
o 89795
o 89779
o 89778
o 89777
o 89776
o 89758
o 89757
o 89741
o 89740
o 89739
o 89738
o 89694
o 89693
o 89661
o 89660
o 89644
o 89643
o 89642
o 89641
o 89623
o 89622
o 89606
o 89605
o 89604
o 89603
o 89590
o 89589
o 89573
o 89572
o 89571
o 89570
o 89564
o 89563
o 89531
o 89530
o 89514
o 89513
o 89512
o 89511
o 89498
o 89497
o 89481
o 89480
o 89479
o 89478
o 89476
o 89475
o 89474
o 89473
o 89460
o 89459
o 89443
o 89442
o 89441
o 89440
o 89438
o 89437
o 89436
o 89435
o 89433
o 89432
o 89431
o 89430
o 89417
o 89416
o 89400
o 89399
o 89398
o 89397
o 89396
o 89395
o 89394
o 89393
o 89380
o 89379
o 89363
o 89362
o 89361
o 89360
o 89357
o 89356
o 89340
o 89339
o 89338
o 89337
o 89335
o 89334
o 89333
o 89332
o 89319
o 89318
o 89302
o 89301
o 89300
o 89299
o 89297
o 89296
o 89295
o 89294
o 89292
o 89291
o 89290
o 89289
o 89276
o 89275
o 89274
o 89273
o 89259
o 89258
o 89257
o 89256
o 89255
o 89254
o 89253
o 89252
o 89239
o 89238
o 89237
o 89236
o 89222
o 89221
o 89220
o 89219
o 89175
o 89174
o 89037
o 89036
o 88970
o 88969
o 88911
o 88910
o 88773
o 88772
o 88740
o 88739
o 88723
o 88722
o 88721
o 88720
o 88638
o 88637
o 88605
o 88604
o 88588
o 88587
o 88586
o 88585
o 88567
o 88566
o 88550
o 88549
o 88548
o 88547
o 88545
o 88544
o 88543
o 88542
o 88524
o 88523
o 88507
o 88506
o 88505
o 88504
o 88497
o 88496
o 88464
o 88463
o 88447
o 88446
o 88445
o 88444
o 88426
o 88425
o 88409
o 88408
o 88407
o 88406
o 88404
o 88403
o 88402
o 88401
o 88383
o 88382
o 88366
o 88365
o 88364
o 88363
o 88362
o 88361
o 88360
o 88359
o 88346
o 88345
o 88344
o 88343
o 88329
o 88328
o 88327
o 88326
o 88314
o 88313
o 88281
o 88280
o 88264
o 88263
o 88262
o 88261
o 88248
o 88247
o 88231
o 88230
o 88229
o 88228
o 88221
o 88220
o 88219
o 88218
o 88205
o 88204
o 88203
o 88202
o 88188
o 88187
o 88186
o 88185
o 88142
o 88141
o 88051
o 88050
o 88018
o 88017
o 88001
o 88000
o 87999
o 87998
o 87975
o 87974
o 87958
o 87957
o 87956
o 87955
o 87910
o 87909
o 87877
o 87876
o 87860
o 87859
o 87858
o 87857
o 87834
o 87833
o 87817
o 87816
o 87815
o 87814
o 87785
o 87784
o 87783
o 87782
o 87727
o 87726
o 87725
o 87724
o 87694
o 87693
o 87692
o 87691
o 87677
o 87676
o 87675
o 87674
o 87644
o 87643
o 87642
o 87641
o 87636
o 87635
o 87634
o 87633
o 87626
o 87625
o 87624
o 87623
o 87593
o 87592
o 87591
o 87590
o 87576
o 87575
o 87574
o 87573
o 87568
o 87566
o 87535
o 87533
o 87532
o 87531
o 87530
o 87518
o 87516
o 87515
o 87514
o 87513
o 87484
o 87483
o 87467
o 87466
o 87465
o 87464
o 87451
o 87450
o 87434
o 87433
o 87432
o 87431
o 87348
o 87347
o 87346
o 87345
o 87315
o 87314
o 87313
o 87312
o 87298
o 87297
o 87296
o 87295
o 87266
o 87265
o 87249
o 87248
o 87247
o 87246
o 87223
o 87222
o 87206
o 87205
o 87204
o 87203
o 87174
o 87173
o 87172
o 87171
o 87083
o 87082
o 87081
o 87080
o 87033
o 87032
o 87031
o 87030
o 86992
o 86990
o 86961
o 86960
o 86959
o 86958
o 86920
o 86918
o 86901
o 86900
o 86899
o 86898
o 86851
o 86850
o 86849
o 86848
s OPTIMUM FOUND
c Optimal Solution = 86848
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
c Program terminated in 8.880 seconds.
8.880u 0.004s 0:08.89 99.8%	0+0k 0+0io 0pf+0w