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_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 144 2126 115468
WARNING: Ubcsat not found.
o 115468
o 104927
o 104917
o 104862
o 104852
o 104851
o 104645
o 104635
o 104580
o 104570
o 104569
o 104516
o 104506
o 104505
o 104392
o 104382
o 104327
o 104317
o 104316
o 104110
o 104100
o 104045
o 104035
o 104034
o 103981
o 103971
o 103970
o 103959
o 103949
o 103948
o 103742
o 103732
o 103677
o 103667
o 103666
o 103613
o 103603
o 103602
o 103489
o 103479
o 103424
o 103414
o 103413
o 103207
o 103197
o 103142
o 103132
o 103131
o 103078
o 103068
o 103067
o 103063
o 103062
o 103009
o 102999
o 102998
o 102987
o 102977
o 102976
o 102705
o 102695
o 102694
o 102641
o 102631
o 102630
o 102452
o 102442
o 102441
o 102170
o 102160
o 102159
o 102106
o 102096
o 102095
o 101926
o 101916
o 101913
o 101912
o 101862
o 101852
o 101849
o 101848
o 101806
o 101796
o 101793
o 101792
o 101632
o 101622
o 101568
o 101558
o 101388
o 101378
o 101375
o 101324
o 101314
o 101311
o 101268
o 101258
o 101255
o 101093
o 101083
o 101082
o 101029
o 101019
o 101018
o 100849
o 100839
o 100836
o 100835
o 100785
o 100775
o 100772
o 100771
o 100729
o 100719
o 100716
o 100715
o 100555
o 100545
o 100491
o 100481
o 100311
o 100301
o 100298
o 100247
o 100237
o 100234
o 100191
o 100181
o 100178
o 100024
o 100014
o 100011
o 99960
o 99950
o 99947
o 99777
o 99767
o 99713
o 99703
o 99657
o 99647
o 99612
o 99609
o 99548
o 99545
o 99492
o 99489
o 99325
o 99322
o 99261
o 99258
o 99078
o 99014
o 98958
o 98952
o 98888
o 98832
o 98788
o 98785
o 98605
o 98541
o 98485
o 98479
o 98415
o 98359
o 98084
o 98081
o 98020
o 98017
o 97837
o 97773
o 97717
o 97711
o 97647
o 97591
o 97536
o 97502
o 97438
o 97311
o 97247
o 97185
o 97121
o 97097
o 96971
o 96922
o 96861
o 96711
c Learned clauses = 0
c NB_MONO= 14912005, NB_BRANCHE= 16009452, NB_BACK= 9411434 
s OPTIMUM FOUND
c Optimal Solution = 96711
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 -143 144 0
254.716u 0.033s 4:15.28 99.7%	0+0k 0+0io 0pf+0w