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.921278.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.400.921278.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 76 variables cloned. 763 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.921278.cnf.wcnf.clone_ls_out.1032866520.txt
c ===========================
o 31
c Initial LB: 2
c 	| 0.28    0.28   |  12/76  | 400      3  7       24  7       20  11      14 |         2102 | (25/183)
c 	| 0.61    0.33   |  10/76  | 400      3  9       25  16      17  23      11 |         4416 | (48/183)
c 	| 1.30    0.69   |  10/76  | 400      3  13      25  23      17  65      13 |         9276 | (101/183)
c 	| 2.66    1.36   |   9/76  | 400      3  74      25  37      17  123     12 |        19480 | (115/201)
c 	| 5.35    2.69   |   8/76  | 400      3  193     26  72      19  252     13 |        40908 | (82/243)
c 	| 11.18   5.83   |   9/76  | 400      3  399     26  135     21  477     13 |        85909 | (158/293)
c 	| 24.36   13.18  |   5/76  | 400      3  926     25  259     19  1617    12 |       180409 | (367/469)
c 	| 50.81   26.45  |   3/76  | 400      3  2210    26  566     19  3373    11 |       378859 | (905/999)
c 	| 105.31  54.50  |   2/76  | 400      3  4255    26  1177    21  5314    11 |       795604 | (1685/1764)
c 	| 227.12  121.81 |   1/76  | 400      3  8959    26  2477    20  11958   11 |      1670768 | (2489/4154)
s OPTIMUM FOUND
c mw=220150 ... b = 220119
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: 220150
c Total nodes visited: 2855567 (0.00000 %)
c Total nodes pruned: 108176357978710134610722816 (71585.10885 %)
c Vc = 76 , search space size 151115727451828646838272
c Total prunnings: 1404874
c Total pruned levels: 22775492
c Average pruned levels: 16.212 (out of 76)
c Total conflicts: 21287
c Total leaves visited: 0
c Average nodes pruned: 77000754500909072384 nodes/prunning
c Bound computation: 2855567 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: 347.7300 s
c 	Average bound computatation time: 1.21773e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 38.2600 s
c Num early pruning: 437651
c Searching time by Clone is 408.460 seconds
404.727u 6.613s 6:51.32 100.0%	0+0k 0+0io 3pf+0w