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_150_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 154 2669 103707
WARNING: Ubcsat not found.
o 103707
o 92399
o 92398
o 92261
o 92260
o 92126
o 92125
o 92064
o 92063
o 91929
o 91928
o 91862
o 91861
o 91800
o 91799
o 91665
o 91664
o 91663
o 91662
o 91653
o 91652
o 91515
o 91514
o 91456
o 91455
o 91318
o 91317
o 91251
o 91250
o 91192
o 91191
o 91054
o 91053
o 91052
o 91051
o 91036
o 91035
o 91034
o 91033
o 91024
o 91023
o 90886
o 90885
o 90827
o 90826
o 90689
o 90688
o 90622
o 90621
o 90563
o 90562
o 90425
o 90424
o 90423
o 90422
o 90393
o 90392
o 90334
o 90333
o 90196
o 90195
o 90194
o 90193
o 90074
o 90073
o 90072
o 90071
o 89983
o 89982
o 89981
o 89980
o 89945
o 89944
o 89943
o 89942
o 89927
o 89926
o 89925
o 89924
o 89889
o 89888
o 89887
o 89886
o 89854
o 89853
o 89852
o 89851
o 89816
o 89815
o 89814
o 89813
o 89798
o 89797
o 89796
o 89795
o 89760
o 89759
o 89758
o 89757
o 89713
o 89712
o 89666
o 89665
o 89575
o 89574
o 89508
o 89507
o 89449
o 89448
o 89402
o 89401
o 89311
o 89310
o 89309
o 89308
o 89279
o 89278
o 89220
o 89219
o 89173
o 89172
o 89082
o 89081
o 89080
o 89079
o 89051
o 89050
o 88960
o 88959
o 88958
o 88957
o 88922
o 88921
o 88920
o 88919
o 88904
o 88903
o 88902
o 88901
o 88866
o 88865
o 88864
o 88863
o 88831
o 88830
o 88829
o 88828
o 88793
o 88792
o 88791
o 88790
o 88775
o 88774
o 88773
o 88772
o 88737
o 88736
o 88735
o 88734
o 88709
o 88708
o 88662
o 88661
o 88571
o 88570
o 88569
o 88568
o 88539
o 88538
o 88480
o 88479
o 88433
o 88432
o 88342
o 88341
o 88340
o 88339
o 88304
o 88303
o 88302
o 88301
o 88286
o 88285
o 88284
o 88283
o 88248
o 88247
o 88246
o 88245
o 88213
o 88212
o 88211
o 88210
o 88175
o 88174
o 88173
o 88172
o 88157
o 88156
o 88155
o 88154
o 88119
o 88118
o 88117
o 88116
o 88085
o 88084
o 87994
o 87993
o 87992
o 87991
o 87956
o 87955
o 87954
o 87953
o 87938
o 87937
o 87936
o 87935
o 87900
o 87899
o 87898
o 87897
o 87883
o 87882
o 87881
o 87880
o 87853
o 87852
o 87851
o 87850
o 87815
o 87814
o 87813
o 87812
o 87797
o 87796
o 87795
o 87794
o 87759
o 87758
o 87757
o 87756
o 87742
o 87741
o 87740
o 87739
o 87704
o 87703
o 87702
o 87701
o 87699
o 87698
o 87697
o 87696
o 87637
o 87636
o 87635
o 87634
o 87620
o 87619
o 87618
o 87617
o 87582
o 87581
o 87580
o 87579
o 87577
o 87576
o 87575
o 87574
o 87541
o 87540
o 87539
o 87538
o 87498
o 87497
o 87410
o 87409
o 87408
o 87407
o 87406
o 87405
o 87404
o 87338
o 87337
o 87336
o 87335
o 87334
o 87333
o 87332
o 87318
o 87317
o 87316
o 87315
o 87269
o 87268
o 87267
o 87266
o 87265
o 87264
o 87263
o 87197
o 87196
o 87195
o 87194
o 87193
o 87192
o 87191
o 87177
o 87176
o 87175
o 87174
o 87139
o 87138
o 87137
o 87136
o 87134
o 87133
o 87132
o 87131
o 87102
o 87101
o 87100
o 87099
o 87083
o 87082
o 87081
o 87080
o 87011
o 87010
o 87009
o 87008
o 86961
o 86960
o 86959
o 86958
o 86952
o 86951
o 86950
o 86949
o 86920
o 86918
o 86901
o 86900
o 86899
o 86898
o 86851
o 86850
o 86849
o 86848
c Learned clauses = 0
c NB_MONO= 82494846, NB_BRANCHE= 75951519, NB_BACK= 42332756 
s OPTIMUM FOUND
c Optimal Solution = 86848
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 -145 -146 147 -148 -149 150 -151 -152 -153 -154 0
944.942u 0.049s 15:45.62 99.9%	0+0k 0+0io 0pf+0w