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.921277.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.400.921277.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 77 variables cloned. 768 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.921277.cnf.wcnf.clone_ls_out.1588576827.txt
c ===========================
o 33
c Initial LB: 2
c 	| 0.45    0.45   |  15/77  | 400      3  3       28  3       25  2        3 |         2102 | (8/183)
c 	| 0.94    0.49   |  14/77  | 400      3  5       28  10      23  2        3 |         4416 | (17/183)
c 	| 1.94    1.00   |  14/77  | 400      3  10      28  21      23  5        8 |         9276 | (36/183)
c 	| 3.98    2.04   |  11/77  | 400      3  45      25  50      22  19      10 |        19480 | (114/183)
c 	| 8.30    4.32   |  11/77  | 400      3  73      25  73      22  25      11 |        40908 | (171/183)
c 	| 17.35   9.05   |   9/77  | 400      3  157     25  139     22  59      13 |        85909 | (148/221)
c 	| 36.22   18.87  |   8/77  | 400      3  384     25  262     23  198     13 |       180409 | (96/293)
c 	| 74.96   38.74  |   5/77  | 400      3  1388    26  660     21  721     13 |       378859 | (212/515)
c 	| 157.27  82.31  |   3/77  | 400      3  4696    25  2087    21  2378    12 |       795604 | (1045/1327)
c 	| 331.29  174.02 |   2/77  | 400      3  13206   25  5582    21  6256    13 |      1670768 | (2926/4154)
c 	| 737.65  406.36 |   1/77  | 400      3  29576   25  11102   21  13527   12 |      3508615 | (8855/8897)
s OPTIMUM FOUND
c mw=220150 ... b = 220117
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 33
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 220150
c Total nodes visited: 4689133 (0.00000 %)
c Total nodes pruned: 243621150756548314652475392 (80607.47709 %)
c Vc = 77 , search space size 302231454903657293676544
c Total prunnings: 2304769
c Total pruned levels: 39192796
c Average pruned levels: 17.005 (out of 77)
c Total conflicts: 19201
c Total leaves visited: 0
c Average nodes pruned: 105703066448979623936 nodes/prunning
c Bound computation: 4689133 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: 896.2600 s
c 	Average bound computatation time: 1.91136e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 125.8700 s
c Num early pruning: 725491
c Searching time by Clone is 1058.710 seconds
1050.737u 11.183s 17:41.91 100.0%	0+0k 0+0io 3pf+0w