Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_130_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_130_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 131 1519 96171
WARNING: Ubcsat not found.
o 96171
o 83519
o 83245
o 83165
o 82959
o 82879
o 82821
o 82820
o 82741
o 82740
o 82722
o 82642
o 82436
o 82356
o 82298
o 82297
o 82218
o 82217
o 82193
o 82192
o 82119
o 82039
o 81981
o 81980
o 81901
o 81900
o 81876
o 81875
o 81855
o 81854
o 81778
o 81698
o 81640
o 81639
o 81560
o 81559
o 81535
o 81534
o 81461
o 81381
o 81323
o 81322
o 81243
o 81242
o 81218
o 81217
o 81197
o 81196
o 81167
o 81166
o 81142
o 81141
o 81068
o 80988
o 80930
o 80929
o 80850
o 80849
o 80825
o 80824
o 80804
o 80803
o 80727
o 80647
o 80589
o 80588
o 80509
o 80508
o 80484
o 80483
o 80410
o 80330
o 80272
o 80271
o 80192
o 80191
o 80167
o 80166
o 80146
o 80145
o 80130
o 80129
o 80105
o 80104
o 80084
o 80083
o 80005
o 79947
o 79946
o 79867
o 79866
o 79842
o 79841
o 79821
o 79820
o 79805
o 79804
o 79780
o 79779
o 79759
o 79758
o 79686
o 79661
o 79640
o 79624
o 79599
o 79578
o 79500
o 79499
o 79441
o 79361
o 79336
o 79315
o 79299
o 79274
o 79253
o 79232
o 79211
o 79170
o 79149
o 79145
o 79104
o 79083
o 79015
o 79014
o 78956
o 78876
o 78814
o 78810
o 78748
o 78703
o 78623
o 78561
o 78527
o 78526
o 78468
o 78388
o 78322
o 78215
o 78135
o 78025
o 78024
o 77945
o 77944
o 77895
o 77894
o 77854
o 77774
o 77747
o 77746
o 77667
o 77666
o 77605
o 77604
o 77574
o 77524
o 77474
o 77394
c Learned clauses = 0
c NB_MONO= 45915300, NB_BRANCHE= 41355223, NB_BACK= 22482522 
s OPTIMUM FOUND
c Optimal Solution = 77394
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 0
550.328u 0.014s 9:10.34 99.9%	0+0k 0+0io 0pf+0w