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.284131.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.450.284131.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 85 variables cloned. 902 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.284131.cnf.wcnf.clone_ls_out.1217836295.txt
c ===========================
o 33
c Initial LB: 0
c 	| 0.39    0.39   |  29/85  | 450      3  31      30  11      38  3       34 |         2102 | (45/200)
c 	| 0.72    0.33   |  29/85  | 450      3  134     31  38      37  16      32 |         4416 | (195/200)
c 	| 1.49    0.77   |  26/85  | 450      3  258     31  101     37  25      31 |         9276 | (181/242)
c 	| 3.15    1.66   |  22/85  | 450      3  448     30  188     36  52      26 |        19480 | (241/292)
c 	| 6.83    3.68   |  17/85  | 450      3  734     30  322     35  161     22 |        40908 | (132/388)
c 	| 13.96   7.13   |  14/85  | 450      3  1821    29  719     33  396     20 |        85909 | (358/621)
c 	| 30.84   16.88  |  11/85  | 450      3  3160    29  1288    31  1002    18 |       180409 | (614/908)
c 	| 65.67   34.83  |   9/85  | 450      3  5860    29  2204    30  2222    17 |       378859 | (1340/1458)
c 	| 147.51  81.84  |   5/85  | 450      3  10749   28  3567    27  8220    14 |       795604 | (2395/3773)
o 32
o 31
c 	| 327.52  180.01 |   1/85  | 450      3  23238   27  7426    26  18554   13 |      1670768 | (4390/8893)
c 	| 716.40  388.88 |   1/85  | 450      3  50390   26  14478   23  35232   13 |      3508615 | (15866/17327)
s OPTIMUM FOUND
c mw=270150 ... b = 270119
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 31
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 270150
c Total nodes visited: 3494328 (0.00000 %)
c Total nodes pruned: 48206582979319769298896945152 (62305.54818 %)
c Vc = 85 , search space size 77371252455336267181195264
c Total prunnings: 1688849
c Total pruned levels: 31506248
c Average pruned levels: 18.655 (out of 85)
c Total conflicts: 35717
c Total leaves visited: 0
c Average nodes pruned: 28544045666202109870080 nodes/prunning
c Bound computation: 3494328 bounds computed
c Optimal solution time: 173.3900 s
c Optimal solution node: 919169 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 566.6300 s
c 	Average bound computatation time: 1.62157e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 126.8800 s
c Num early pruning: 795013
c Searching time by Clone is 726.690 seconds
722.753u 7.874s 12:11.17 99.9%	0+0k 0+0io 3pf+0w