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.284130.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.450.284130.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 78 variables cloned. 885 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.284130.cnf.wcnf.clone_ls_out.1217836295.txt
c ===========================
o 37
c Initial LB: 1
c 	| 0.37    0.37   |  12/78  | 450      3  11      26  0      nan  205     13 |         2102 | (46/220)
c 	| 0.76    0.39   |   9/78  | 450      3  28      27  3       16  430     13 |         4416 | (104/242)
c 	| 1.66    0.90   |   7/78  | 450      3  80      28  11      19  1010    13 |         9276 | (45/321)
c 	| 3.35    1.69   |   6/78  | 450      3  165     28  33      18  1614    12 |        19480 | (157/388)
c 	| 7.08    3.73   |   5/78  | 450      3  323     28  64      18  2798    12 |        40908 | (525/565)
c 	| 14.45   7.37   |   5/78  | 450      3  659     28  118     17  4979    12 |        85909 | (943/998)
c 	| 30.81   16.36  |   3/78  | 450      3  1360    28  229     18  10194   12 |       180409 | (1320/2132)
c 	| 66.53   35.72  |   2/78  | 450      3  2572    26  464     17  20730   11 |       378859 | (3226/4150)
o 36
c 	| 143.09  76.56  |   1/78  | 450      3  5512    26  1186    18  40009   11 |       795604 | (6560/8085)
s OPTIMUM FOUND
c mw=270150 ... b = 270114
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 36
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 270150
c Total nodes visited: 907048 (0.00000 %)
c Total nodes pruned: 276751025474309297310531584 (45784.61656 %)
c Vc = 78 , search space size 604462909807314587353088
c Total prunnings: 423123
c Total pruned levels: 5973575
c Average pruned levels: 14.118 (out of 78)
c Total conflicts: 43789
c Total leaves visited: 0
c Average nodes pruned: 654067553582077313024 nodes/prunning
c Bound computation: 907048 bounds computed
c Optimal solution time: 79.6200 s
c Optimal solution node: 461407 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 130.0500 s
c 	Average bound computatation time: 1.43377e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 20.6100 s
c Num early pruning: 197043
c Searching time by Clone is 160.820 seconds
162.410u 2.237s 2:45.09 99.7%	0+0k 0+0io 3pf+0w