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.450.284127.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.450.284127.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 600 clauses
c 83 variables cloned. 888 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.450.284127.cnf.wcnf.clone_ls_out.1032866520.txt
c ===========================
o 34
c Initial LB: 1
c 	| 0.25    0.25   |  17/83  | 450      3  27      28  4       26  44      16 |         2102 | (78/200)
c 	| 0.52    0.27   |  15/83  | 450      3  83      28  11      22  72      16 |         4416 | (174/200)
c 	| 1.16    0.64   |  14/83  | 450      3  119     28  18      20  233     15 |         9276 | (211/220)
c 	| 2.38    1.22   |  13/83  | 450      3  239     28  40      22  472     15 |        19480 | (203/266)
c 	| 4.84    2.46   |  11/83  | 450      3  565     27  91      23  916     14 |        40908 | (287/353)
c 	| 10.15   5.31   |   8/83  | 450      3  1290    28  193     23  1818    14 |        85909 | (163/565)
c 	| 21.49   11.34  |   7/83  | 450      3  2457    28  401     23  3712    14 |       180409 | (821/1097)
c 	| 46.92   25.43  |   5/83  | 450      3  5287    28  851     22  10508   14 |       378859 | (2328/2836)
c 	| 108.83  61.91  |   4/83  | 450      3  10287   27  1646    21  26543   13 |       795604 | (5071/6682)
s OPTIMUM FOUND
c mw=270150 ... b = 270116
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 34
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 270150
c Total nodes visited: 1572531 (0.00000 %)
c Total nodes pruned: 6552024081928591216253861888 (33873.17058 %)
c Vc = 83 , search space size 19342813113834066795298816
c Total prunnings: 742335
c Total pruned levels: 12166706
c Average pruned levels: 16.390 (out of 83)
c Total conflicts: 54359
c Total leaves visited: 0
c Average nodes pruned: 8826236243648206340096 nodes/prunning
c Bound computation: 1572531 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: 171.8800 s
c 	Average bound computatation time: 1.09302e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 53.2500 s
c Num early pruning: 431162
c Searching time by Clone is 243.150 seconds
242.049u 4.606s 4:06.74 99.9%	0+0k 0+0io 3pf+0w