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.600.372697.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.600.372697.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 750 clauses
c 94 variables cloned. 1287 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.600.372697.cnf.wcnf.clone_ls_out.1906568312.txt
c ===========================
o 46
c Initial LB: 0
c 	| 0.65    0.65   |  10/94  | 600      3  66      33  4       27  668     14 |         2102 | (292/302)
c 	| 1.74    1.09   |  10/94  | 600      3  150     34  17      23  2089    15 |         4416 | (324/485)
c 	| 8.38    6.64   |   8/94  | 600      3  325     32  29      23  14226   14 |         9276 | (1757/2676)
c 	| 21.21   12.83  |   5/94  | 600      3  637     33  52      23  36043   14 |        19480 | (5807/6304)
s OPTIMUM FOUND
c mw=450150 ... b = 450104
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 46
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 450150
c Total nodes visited: 221100 (0.00000 %)
c Total nodes pruned: 233646005454715440621351337984 (589.80544 %)
c Vc = 94 , search space size 39614081257132168796771975168
c Total prunnings: 19213
c Total pruned levels: 328309
c Average pruned levels: 17.088 (out of 94)
c Total conflicts: 130739
c Total leaves visited: 0
c Average nodes pruned: 12160828889539137366917120 nodes/prunning
c Bound computation: 221100 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: 46.6400 s
c 	Average bound computatation time: 2.10945e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 26.4200 s
c Num early pruning: 16514
c Searching time by Clone is 79.770 seconds
82.925u 0.853s 1:24.00 99.7%	0+0k 0+0io 3pf+0w