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.195570.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.300.195570.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. 509 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.195570.cnf.wcnf.clone_ls_out.1659295701.txt
c ===========================
o 20
c Initial LB: 2
c 	| 0.24    0.24   |  10/63  | 300      3  1       16  2       21  1        9 |         2102 | (4/150)
c 	| 0.49    0.25   |  10/63  | 300      3  2       16  9       20  1        9 |         4416 | (12/150)
c 	| 1.07    0.58   |   7/63  | 300      3  7       18  19      19  7       10 |         9276 | (33/150)
c 	| 2.25    1.18   |   6/63  | 300      3  13      18  29      17  11       8 |        19480 | (55/150)
c 	| 4.77    2.52   |   5/63  | 300      3  32      18  49      17  18       8 |        40908 | (102/150)
c 	| 9.98    5.21   |   5/63  | 300      3  156     17  123     17  41      10 |        85909 | (165/181)
c 	| 20.85   10.87  |   2/63  | 300      3  376     17  269     17  100     10 |       180409 | (94/262)
c 	| 42.91   22.06  |   1/63  | 300      3  826     17  552     18  171     10 |       378859 | (235/381)
s OPTIMUM FOUND
c mw=135150 ... b = 135130
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 20
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 135150
c Total nodes visited: 734921 (0.00000 %)
c Total nodes pruned: 4716025243796343095296 (25565.62407 %)
c Vc = 63 , search space size 18446744073709551616
c Total prunnings: 365348
c Total pruned levels: 5633145
c Average pruned levels: 15.419 (out of 63)
c Total conflicts: 325
c Total leaves visited: 0
c Average nodes pruned: 12908310005245254 nodes/prunning
c Bound computation: 734921 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: 80.9000 s
c 	Average bound computatation time: 1.10080e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 2.1300 s
c Num early pruning: 31193
c Searching time by Clone is 86.200 seconds
87.547u 1.802s 1:29.42 99.9%	0+0k 0+0io 3pf+0w