Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2.5-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_140_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 142 1650 106429
WARNING: Ubcsat not found.
o 106429
o 92769
o 92646
o 92608
o 92549
o 92426
o 92388
o 92343
o 92305
o 92287
o 92260
o 92137
o 92099
o 92040
o 91917
o 91879
o 91834
o 91796
o 91778
o 91771
o 91733
o 91688
o 91650
o 91632
o 91614
o 91581
o 91536
o 91498
o 91480
o 91462
o 91440
o 91422
o 91415
o 91377
o 91332
o 91294
o 91276
o 91258
o 91225
o 91180
o 91142
o 91124
o 91106
o 91075
o 91030
o 90992
o 90974
o 90956
o 90923
o 90878
o 90840
o 90822
o 90804
o 90782
o 90764
o 90757
o 90719
o 90674
o 90636
o 90618
o 90600
o 90567
o 90522
o 90484
o 90466
o 90448
o 90431
o 90398
o 90353
o 90315
o 90297
o 90279
o 90251
o 90233
o 90215
o 90187
o 90162
o 90144
o 90126
o 90104
o 90086
o 90066
o 90041
o 90021
o 89983
o 89958
o 89940
o 89922
o 89914
o 89889
o 89869
o 89831
o 89806
o 89788
o 89770
o 89753
o 89745
o 89720
o 89700
o 89662
o 89637
o 89619
o 89601
o 89598
o 89573
o 89555
o 89537
o 89519
o 89501
o 89483
o 89480
o 89455
o 89437
o 89419
o 89402
o 89375
o 89350
o 89332
o 89314
o 89311
o 89286
o 89268
o 89250
o 89247
o 89220
o 89195
o 89177
o 89159
o 89156
o 89131
o 89113
o 89095
o 89090
o 89072
o 89055
o 89048
o 89047
o 89010
o 88985
o 88967
o 88946
o 88921
o 88903
o 88900
o 88893
o 88892
o 88855
o 88830
o 88812
o 88791
o 88766
o 88748
o 88736
o 88735
o 88698
o 88673
o 88655
o 88637
o 88620
o 88612
o 88587
o 88567
o 88566
o 88529
o 88504
o 88486
o 88468
o 88465
o 88440
o 88422
o 88404
o 88374
o 88349
o 88331
o 88313
o 88310
o 88285
o 88267
o 88249
o 88247
o 88222
o 88202
o 88201
o 88164
o 88139
o 88121
o 88100
o 88075
o 88057
o 88047
o 88046
o 88009
o 87984
o 87966
o 87945
o 87920
o 87902
o 87891
o 87873
o 87843
o 87818
o 87800
o 87782
o 87779
o 87754
o 87736
o 87718
o 87716
o 87691
o 87671
o 87670
o 87633
o 87608
o 87590
o 87569
o 87544
o 87526
o 87516
o 87515
o 87478
o 87453
o 87435
o 87414
o 87389
o 87371
o 87344
o 87319
o 87302
o 87296
o 87295
o 87258
o 87233
o 87213
o 87212
o 87175
o 87150
o 87147
o 87141
o 87140
o 87103
o 87078
o 87058
o 87057
o 87020
o 86995
o 86988
o 86970
o 86945
o 86927
o 86924
o 86906
o 86881
o 86863
o 86852
o 86823
o 86798
o 86783
o 86763
o 86762
o 86725
o 86700
o 86694
o 86693
o 86656
o 86631
o 86611
o 86610
o 86573
o 86548
o 86512
o 86487
o 86476
o 86440
o 86439
o 86402
o 86377
o 86341
o 86316
o 86305
o 86304
o 86279
o 86243
o 86218
o 86207
o 86205
o 86191
o 86166
o 86146
o 86145
o 86108
o 86083
o 86047
o 86022
o 86011
o 85975
o 85974
o 85937
o 85912
o 85876
o 85851
o 85840
o 85839
o 85814
o 85778
o 85753
o 85742
o 85740
o 85726
o 85705
o 85668
o 85643
o 85626
o 85620
o 85619
o 85582
o 85557
o 85536
o 85499
o 85474
o 85472
o 85455
o 85449
o 85365
o 85328
o 85303
o 85240
o 85215
c Learned clauses = 0
c NB_MONO= 68096507, NB_BRANCHE= 66589551, NB_BACK= 37012417 
s OPTIMUM FOUND
c Optimal Solution = 85215
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 0
732.003u 0.008s 12:13.52 99.7%	0+0k 0+0io 0pf+0w