Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2.5-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_RAMSEY_ram_k3_n12.ra1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k3_n12.ra1.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 66 715 0
WARNING: Ubcsat not found.
o 361622
o 9037
o 8891
o 8882
o 8736
o 8715
o 8554
o 8351
o 8286
o 8131
o 8009
o 7993
o 7896
o 7874
o 7839
o 7388
o 7337
o 7319
o 7226
o 7004
o 6903
o 6895
o 6726
o 6696
o 6384
o 6345
o 6243
o 6237
o 6189
o 6077
o 5960
o 5890
o 5773
o 5472
o 5355
o 5224
o 5173
o 4909
o 4836
o 4789
o 4726
o 4596
o 4591
o 4480
o 4464
o 4405
o 4261
o 4226
o 4199
o 4176
o 4152
o 3942
o 3791
o 3649
o 3640
o 3618
o 3584
o 3557
o 3396
o 3329
o 3328
o 3229
o 3136
o 2900
o 2825
o 2812
o 2688
o 2687
o 2566
o 2542
o 2459
o 2419
o 2376
o 2319
o 2281
o 2277
o 2187
o 2099
o 1993
o 1905
o 1795
o 1711
o 1678
o 1655
o 1472
o 1358
o 1355
o 1327
o 1213
o 1143
o 1115
o 1100
o 974
o 940
o 928
o 803
o 791
o 524
c Learned clauses = 0
c NB_MONO= 923, NB_BRANCHE= 3077300, NB_BACK= 1545862 
s OPTIMUM FOUND
c Optimal Solution = 524
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 0
597.888u 0.032s 9:57.98 99.9%	0+0k 0+0io 0pf+0w