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_110_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 113 1114 75901
WARNING: Ubcsat not found.
o 75901
o 66369
o 66121
o 65982
o 65831
o 65692
o 65648
o 65576
o 65437
o 65286
o 65147
o 65103
o 64980
o 64936
o 64864
o 64725
o 64574
o 64435
o 64391
o 64371
o 64248
o 64204
o 64132
o 63993
o 63842
o 63703
o 63659
o 63567
o 63416
o 63277
o 63233
o 63155
o 63116
o 63072
o 62994
o 62980
o 62936
o 62858
o 62819
o 62775
o 62697
o 62696
o 62618
o 62579
o 62535
o 62457
o 62419
o 62397
o 62319
o 62281
o 62228
o 62190
o 62161
o 62123
o 62111
o 62110
o 62066
o 61988
o 61950
o 61921
o 61883
o 61845
o 61812
o 61783
o 61745
o 61707
o 61678
o 61634
o 61556
o 61517
o 61473
o 61395
o 61394
o 61316
o 61277
o 61233
o 61155
o 61139
o 61095
o 61017
o 60979
o 60898
o 60854
o 60776
o 60737
o 60693
o 60615
o 60599
o 60555
o 60477
c Learned clauses = 0
c NB_MONO= 4161353, NB_BRANCHE= 3968073, NB_BACK= 2290075 
s OPTIMUM FOUND
c Optimal Solution = 60477
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 0
43.915u 0.015s 0:44.02 99.7%	0+0k 0+0io 0pf+0w