Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-partial_crafted-_home_jplanes_evaluation_benchmarks_partial_crafted_MAXONE_3SAT_cnf3.150.400.921280.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.400.921280.cnf.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: 150 vars 550 clauses
c 82 variables cloned. 782 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 :cnf3.150.400.921280.cnf.wcnf.clone_ls_out.1032866520.txt
c ===========================
o 30
c Initial LB: 2
c 	| 0.29    0.29   |  15/82  | 400      3  21      26  5       23  30      17 |         2102 | (56/183)
c 	| 0.56    0.27   |  14/82  | 400      3  40      27  11      21  51      16 |         4416 | (103/183)
c 	| 1.11    0.55   |  13/82  | 400      3  137     27  33      21  108     16 |         9276 | (142/201)
c 	| 2.30    1.19   |  12/82  | 400      3  321     27  65      20  227     15 |        19480 | (233/243)
c 	| 4.80    2.50   |  11/82  | 400      3  544     27  89      21  495     15 |        40908 | (105/322)
c 	| 9.72    4.92   |   9/82  | 400      3  1223    27  204     22  1117    15 |        85909 | (262/469)
c 	| 20.16   10.44  |   6/82  | 400      3  2773    27  415     22  2539    14 |       180409 | (832/909)
c 	| 44.84   24.68  |   4/82  | 400      3  5187    26  853     20  5111    13 |       378859 | (1248/1940)
c 	| 96.82   51.98  |   3/82  | 400      3  13313   27  2933    21  9228    13 |       795604 | (3798/4569)
c 	| 223.93  127.11 |   1/82  | 400      3  23362   26  5347    21  17622   13 |      1670768 | (7711/8089)
s OPTIMUM FOUND
c mw=220150 ... b = 220120
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
c Result is 30
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 220150
c Total nodes visited: 2488445 (0.00000 %)
c Total nodes pruned: 4906731892026071699756679168 (50734.41865 %)
c Vc = 82 , search space size 9671406556917033397649408
c Total prunnings: 1203379
c Total pruned levels: 20169842
c Average pruned levels: 16.761 (out of 82)
c Total conflicts: 25794
c Total leaves visited: 0
c Average nodes pruned: 4077461790529892646912 nodes/prunning
c Bound computation: 2488445 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: 275.4000 s
c 	Average bound computatation time: 1.10672e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 61.4600 s
c Num early pruning: 601080
c Searching time by Clone is 359.270 seconds
355.987u 6.769s 6:02.87 99.9%	0+0k 0+0io 3pf+0w