Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-weighted_random-_home_jplanes_evaluation_benchmarks_weighted_random_wmax3sat_lo_file_rwms_wcnf_L3_V70_C400_8.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax3sat/lo/file_rwms_wcnf_L3_V70_C400_8.wcnf
Job solver: /home/jplanes/evaluation/solvers/KnotPipatsrisawat/clone.sh
c ===========================
c  Clone
c  MAX-SAT solver 
c  Automated Reasoning Group
c  UCLA          
c ===========================
c Instance stats: 70 vars 400 clauses
c 47 variables cloned. 834 clones generated.
c 	+=======================================================Clone===========================+
c 	| Time (s)      | Pruning  | Hard        Prune       Summary     Conflict   | Next Restart |
c 	| Total  Incmtl | Best lvl | Cls    LPC  Cls    LPC  Cls    LPC  Cls    LPC | Pruning      |
c 	+=======================================================Clone===========================+
c ===========================
c Calling maxwalksat
c ls_out is :file_rwms_wcnf_L3_V70_C400_8.wcnf.clone_ls_out.915989579.txt
c ===========================
o 17
c Initial LB: 0
c 	| 0.26    0.26   |  12/47  | 0      nan  9       13  56      22  5       16 |         2102 | (126/133)
c 	| 0.57    0.31   |  10/47  | 0      nan  12      13  124     20  9       15 |         4416 | (120/160)
c 	| 1.20    0.63   |   8/47  | 0      nan  23      12  262     20  14      15 |         9276 | (142/212)
c 	| 2.48    1.28   |   8/47  | 0      nan  27      12  397     19  16      15 |        19480 | (187/256)
c 	| 5.24    2.76   |   6/47  | 0      nan  105     11  940     19  61      14 |        40908 | (340/449)
c 	| 11.41   6.17   |   5/47  | 0      nan  202     10  1656    19  108     13 |        85909 | (392/720)
c 	| 24.33   12.92  |   4/47  | 0      nan  585     10  3448    18  319     13 |       180409 | (832/1273)
c 	| 50.56   26.23  |   2/47  | 0      nan  1061    10  6650    17  769     12 |       378859 | (1784/2049)
s OPTIMUM FOUND
c mw=2186 ... b = 2169
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 0
c Result is 17
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 2186
c Total nodes visited: 766842 (0.00000 %)
c Total nodes pruned: 71008351425356904 (25227.23414 %)
c Vc = 47 , search space size 281474976710655
c Total prunnings: 366412
c Total pruned levels: 5864030
c Average pruned levels: 16.004 (out of 47)
c Total conflicts: 1994
c Total leaves visited: 0
c Average nodes pruned: 193793738811 nodes/prunning
c Bound computation: 766842 bounds computed
c Optimal solution time: 0.0000 s
c Optimal solution node: 0 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 98.9900 s
c 	Average bound computatation time: 1.29088e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 2.9200 s
c Num early pruning: 71194
c Searching time by Clone is 106.140 seconds
106.456u 2.231s 1:48.98 99.7%	0+0k 0+0io 3pf+0w