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.300.195562.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.300.195562.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 450 clauses
c 63 variables cloned. 514 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.300.195562.cnf.wcnf.clone_ls_out.86451719.txt
c ===========================
o 22
c Initial LB: 2
c 	| 0.23    0.23   |  11/63  | 300      3  1       21  1       23  1        4 |         2102 | (3/150)
c 	| 0.48    0.25   |  10/63  | 300      3  1       21  6       18  1        4 |         4416 | (8/150)
c 	| 1.02    0.54   |   9/63  | 300      3  2       20  12      16  2        4 |         9276 | (16/150)
c 	| 2.14    1.12   |   7/63  | 300      3  15      19  33      15  3        7 |        19480 | (51/150)
c 	| 4.48    2.34   |   6/63  | 300      3  29      20  57      15  10      14 |        40908 | (96/150)
c 	| 9.27    4.79   |   5/63  | 300      3  59      20  89      16  21      13 |        85909 | (94/165)
c 	| 18.87   9.60   |   5/63  | 300      3  98      20  144     18  34      12 |       180409 | (118/181)
c 	| 39.57   20.70  |   4/63  | 300      3  382     20  404     19  83      12 |       378859 | (134/288)
c 	| 83.33   43.76  |   2/63  | 300      3  996     20  830     19  188     11 |       795604 | (362/460)
s OPTIMUM FOUND
c mw=135150 ... b = 135128
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 22
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 135150
c Total nodes visited: 1594091 (0.00000 %)
c Total nodes pruned: 8871408788638630150144 (48092.00341 %)
c Vc = 63 , search space size 18446744073709551616
c Total prunnings: 794249
c Total pruned levels: 13220121
c Average pruned levels: 16.645 (out of 63)
c Total conflicts: 573
c Total leaves visited: 0
c Average nodes pruned: 11169556132445404 nodes/prunning
c Bound computation: 1594091 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: 162.1400 s
c 	Average bound computatation time: 1.01713e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 4.8000 s
c Num early pruning: 42291
c Searching time by Clone is 175.070 seconds
173.117u 4.488s 2:57.71 99.9%	0+0k 0+0io 3pf+0w