Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_RAMSEY_ram_k4_n16.ra1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k4_n16.ra1.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 120 3640 0
WARNING: Ubcsat not found.
o 1802894
o 8047
o 7913
o 7596
o 7517
o 7452
o 7434
o 7327
o 7248
o 7244
o 7165
o 7109
o 7085
o 7044
o 6508
o 6425
o 6418
o 6385
o 6341
o 6302
o 6286
o 6151
o 6059
o 6058
o 5932
o 5734
o 5637
o 5623
o 5572
o 5559
o 5527
o 5468
o 5428
o 5273
o 5262
o 5251
o 5235
o 5178
o 5177
o 5130
o 5048
o 4877
o 4866
o 4776
o 4739
o 4732
o 4565
o 4518
o 4517
o 4447
o 4441
o 4274
o 4167
o 4073
o 4047
o 3979
o 3918
o 3810
o 3794
o 3792
o 3646
o 3645
o 3230
o 3101
o 3028
o 2878
o 2765
o 2729
o 2725
o 2724
o 2620
o 2591
o 2483
o 2323
o 2176
o 2115
o 2072
o 2015
o 1986
o 1842
o 1802
o 1759
o 1757
o 1755
o 1752
o 1666
o 1611
o 1540
o 1516
o 1497
o 1362
o 1278
o 1184
o 1079
o 1005
o 892
o 891
o 872
o 822
o 783
o 625
o 551
o 546
o 478
o 393
o 385
o 382
o 362
o 232
o 202
o 187
o 124
o 73
o 31
o 8
o 0
c Learned clauses = 0
c NB_MONO= 1271, NB_BRANCHE= 21766, NB_BACK= 11304 
s OPTIMUM FOUND
c Optimal Solution = 0
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
9.059u 0.009s 0:09.07 99.7%	0+0k 0+0io 0pf+0w