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_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 150 2092 123759
WARNING: Ubcsat not found.
o 123759
o 106516
o 106515
o 106347
o 106346
o 106324
o 106045
o 106044
o 105876
o 105875
o 105853
o 105851
o 105850
o 105828
o 105817
o 105686
o 105685
o 105663
o 105384
o 105383
o 105215
o 105214
o 105192
o 105190
o 105189
o 105167
o 105156
o 105121
o 105110
o 105096
o 105085
o 105073
o 105062
o 105060
o 105059
o 105037
o 105026
o 104991
o 104980
o 104966
o 104955
o 104943
o 104932
o 104930
o 104929
o 104907
o 104905
o 104904
o 104882
o 104871
o 104836
o 104825
o 104811
o 104800
o 104788
o 104777
o 104775
o 104774
o 104752
o 104741
o 104706
o 104695
o 104681
o 104670
o 104658
o 104647
o 104595
o 104594
o 104572
o 104570
o 104569
o 104547
o 104536
o 104524
o 104513
o 104465
o 104464
o 104442
o 104440
o 104439
o 104417
o 104406
o 104394
o 104383
o 104367
o 104366
o 104344
o 104333
o 104321
o 104310
o 104300
o 104288
o 104277
o 104263
o 104252
o 104240
o 104229
o 104227
o 104226
o 104204
o 104202
o 104201
o 104179
o 104168
o 104133
o 104122
o 104108
o 104097
o 104085
o 104074
o 104072
o 104071
o 104049
o 104038
o 104003
o 103992
o 103978
o 103967
o 103955
o 103944
o 103905
o 103894
o 103882
o 103871
o 103842
o 103819
o 103809
o 103786
o 103752
o 103727
o 103704
o 103689
o 103664
o 103641
o 103640
o 103618
o 103616
o 103615
o 103593
o 103592
o 103570
o 103511
o 103510
o 103488
o 103486
o 103485
o 103463
o 103462
o 103440
o 103413
o 103412
o 103390
o 103389
o 103367
o 103357
o 103356
o 103334
o 103309
o 103286
o 103273
o 103272
o 103250
o 103248
o 103247
o 103225
o 103179
o 103154
o 103131
o 103120
o 103118
o 103117
o 103095
o 103049
o 103024
o 103001
o 102986
o 102961
o 102938
o 102928
o 102888
o 102865
o 102855
o 102832
o 102826
o 102825
o 102803
o 102793
o 102792
o 102770
o 102768
o 102767
o 102745
o 102674
o 102651
o 102611
o 102588
o 102578
o 102555
o 102538
o 102498
o 102475
o 102465
o 102442
o 102432
o 102416
o 102415
o 102393
o 102371
o 102358
o 102357
o 102335
o 102264
o 102241
o 102201
o 102178
o 102151
o 102128
o 102088
o 102065
o 102055
o 102042
o 102032
o 101994
o 101971
o 101958
o 101957
o 101935
o 101864
o 101841
o 101801
o 101778
o 101768
o 101751
o 101728
o 101688
o 101665
o 101655
o 101634
o 101611
o 101601
o 101580
o 101557
o 101547
c Learned clauses = 0
c NB_MONO= 36889952, NB_BRANCHE= 35063531, NB_BACK= 19831981 
s OPTIMUM FOUND
c Optimal Solution = 101547
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 0
517.934u 0.076s 8:39.00 99.8%	0+0k 0+0io 0pf+0w