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_120_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 120 1053 98388
WARNING: Ubcsat not found.
o 98388
o 86653
o 86641
o 86535
o 86523
o 86258
o 86246
o 86140
o 86128
o 86096
o 86084
o 85978
o 85966
o 85951
o 85939
o 85907
o 85895
o 85789
o 85777
o 85661
o 85649
o 85543
o 85531
o 85499
o 85487
o 85381
o 85369
o 85354
o 85342
o 85310
o 85298
o 85192
o 85180
o 85170
o 85158
o 85126
o 85114
o 85008
o 84996
o 84981
o 84969
o 84937
o 84925
o 84819
o 84807
o 84783
o 84771
o 84665
o 84653
o 84638
o 84626
o 84594
o 84582
o 84476
o 84464
o 84444
o 84432
o 84408
o 84396
o 84290
o 84278
o 84263
o 84251
o 84219
o 84207
o 84101
o 84089
o 84035
o 84023
o 84008
o 83996
o 83964
o 83952
o 83846
o 83834
o 83824
o 83812
o 83788
o 83776
o 83670
o 83658
o 83643
o 83631
o 83599
o 83587
o 83481
o 83469
o 83449
o 83437
o 83413
o 83401
o 83295
o 83283
o 83268
o 83256
o 83224
o 83212
o 83106
o 83094
o 83040
o 83028
o 83013
o 83001
o 82969
o 82957
o 82851
o 82839
o 82801
o 82789
o 82757
o 82745
o 82639
o 82627
o 82546
o 82534
o 82502
o 82490
o 82384
o 82372
o 82316
o 82304
o 82179
o 82167
o 82061
o 82049
o 82021
o 82009
o 81903
o 81891
o 81853
o 81841
o 81809
o 81797
o 81691
o 81679
o 81598
o 81586
o 81554
o 81542
o 81436
o 81424
o 81368
o 81356
o 81231
o 81219
o 81113
o 81101
o 81098
o 80992
o 80980
o 80899
o 80887
o 80884
o 80778
o 80766
o 80755
o 80649
o 80637
o 80633
o 80621
o 80515
o 80503
o 80444
o 80432
o 80326
o 80314
o 80301
o 80289
o 80230
o 80218
o 80112
o 80100
o 79986
o 79974
o 79953
o 79941
o 79852
o 79840
o 79798
o 79765
o 79664
o 79643
o 79639
o 79581
o 79480
o 79463
o 79336
o 79324
o 79148
o 79115
o 79014
c Learned clauses = 0
c NB_MONO= 16923979, NB_BRANCHE= 16933143, NB_BACK= 9775880 
s OPTIMUM FOUND
c Optimal Solution = 79014
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 0
208.059u 0.030s 3:28.52 99.7%	0+0k 0+0io 0pf+0w