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_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 120 1553 92446
WARNING: Ubcsat not found.
o 92446
o 80460
o 80401
o 80392
o 80344
o 80335
o 80142
o 80083
o 80074
o 80026
o 80017
o 80004
o 79945
o 79936
o 79888
o 79879
o 79686
o 79627
o 79618
o 79570
o 79561
o 79478
o 79419
o 79410
o 79362
o 79353
o 79315
o 79306
o 79280
o 79271
o 79233
o 79224
o 79175
o 79166
o 79118
o 79109
o 79071
o 79062
o 79036
o 79027
o 78989
o 78980
o 78941
o 78932
o 78884
o 78875
o 78837
o 78828
o 78802
o 78793
o 78755
o 78746
o 78733
o 78724
o 78586
o 78527
o 78472
o 78463
o 78415
o 78406
o 78378
o 78319
o 78264
o 78255
o 78207
o 78198
o 78160
o 78151
o 78125
o 78116
o 78078
o 78069
o 78020
o 78011
o 77963
o 77954
o 77916
o 77907
o 77881
o 77872
o 77834
o 77825
o 77786
o 77777
o 77729
o 77720
o 77682
o 77673
o 77647
o 77638
o 77600
o 77591
o 77574
o 77565
o 77538
o 77529
o 77481
o 77472
o 77389
o 77330
o 77321
o 77273
o 77264
o 77226
o 77217
o 77191
o 77182
o 77144
o 77135
o 77086
o 77077
o 77029
o 77020
o 76982
o 76973
o 76947
o 76938
o 76900
o 76891
o 76852
o 76843
o 76795
o 76786
o 76748
o 76739
o 76713
o 76704
o 76666
o 76657
o 76640
o 76631
o 76623
o 76614
o 76597
o 76588
o 76580
o 76572
o 76563
o 76546
o 76537
o 76520
o 76511
o 76503
o 76495
o 76486
o 76469
o 76460
o 76455
o 76446
o 76429
o 76420
o 76412
o 76411
o 76378
o 76369
o 76360
o 76351
o 76348
o 76315
o 76306
o 76291
o 76258
o 76249
o 76244
o 76211
o 76202
o 76176
o 76167
o 76162
o 76129
o 76120
o 76116
o 76107
o 76104
o 76071
o 76062
o 76047
o 76014
o 76005
o 76000
o 75967
o 75958
o 75932
o 75923
o 75918
o 75885
o 75876
o 75873
o 75870
o 75837
o 75828
o 75813
o 75780
o 75771
o 75766
o 75733
o 75724
o 75698
o 75689
o 75684
o 75651
o 75642
o 75625
o 75616
o 75600
o 75591
o 75574
o 75565
o 75548
o 75539
o 75523
o 75514
o 75497
o 75488
o 75483
o 75474
o 75457
o 75448
o 75444
o 75439
o 75406
o 75397
o 75394
o 75361
o 75352
o 75343
o 75310
o 75301
o 75296
o 75263
o 75254
o 75228
o 75219
o 75214
o 75181
o 75172
o 75155
o 75146
o 75142
o 75137
o 75104
o 75095
o 75078
o 75069
o 75064
o 75055
o 75034
o 75025
o 75020
o 74987
o 74978
o 74962
o 74953
o 74936
o 74927
o 74923
o 74918
o 74885
o 74876
o 74859
o 74850
o 74845
o 74836
o 74815
o 74806
o 74801
o 74768
o 74759
o 74751
o 74718
o 74709
o 74694
o 74661
o 74652
o 74643
o 74610
o 74601
o 74596
o 74563
o 74554
o 74532
o 74499
o 74490
o 74475
o 74442
o 74433
o 74424
o 74391
o 74382
o 74377
o 74344
o 74335
c Learned clauses = 0
c NB_MONO= 11767423, NB_BRANCHE= 12240490, NB_BACK= 6538713 
s OPTIMUM FOUND
c Optimal Solution = 74335
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
112.533u 0.009s 1:52.55 99.9%	0+0k 0+0io 0pf+0w