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_100_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 100 1005 79027
WARNING: Ubcsat not found.
o 79027
o 67885
o 67866
o 67524
o 67505
o 67348
o 67329
o 66987
o 66968
o 66961
o 66942
o 66783
o 66764
o 66607
o 66588
o 66246
o 66227
o 66220
o 66201
o 66025
o 66006
o 65999
o 65980
o 65880
o 65861
o 65854
o 65835
o 65782
o 65763
o 65756
o 65737
o 65720
o 65713
o 65694
o 65561
o 65542
o 65535
o 65516
o 65416
o 65397
o 65390
o 65371
o 65355
o 65348
o 65329
o 65292
o 65273
o 65266
o 65247
o 65114
o 65095
o 65088
o 65069
o 64969
o 64950
o 64943
o 64924
o 64910
o 64669
o 64650
o 64643
o 64624
o 64491
o 64472
o 64465
o 64446
o 64346
o 64327
o 64320
o 64301
o 64290
o 64264
o 64259
o 64171
o 64152
o 64145
o 64126
o 64110
o 63980
o 63961
o 63951
o 63948
o 63792
o 63773
o 63766
o 63747
o 63716
o 63697
c Learned clauses = 0
c NB_MONO= 1317590, NB_BRANCHE= 1036514, NB_BACK= 607931 
s OPTIMUM FOUND
c Optimal Solution = 63697
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 0
9.898u 0.008s 0:09.91 99.7%	0+0k 0+0io 0pf+0w