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.250.832711.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.250.832711.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 400 clauses
c 56 variables cloned. 390 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.250.832711.cnf.wcnf.clone_ls_out.2097312426.txt
c ===========================
o 20
c Initial LB: 2
c 	| 0.25    0.25   |  12/56  | 250      3  2       16  2       18  0      nan |         2102 | (4/133)
c 	| 0.53    0.28   |  12/56  | 250      3  2       16  7       17  0      nan |         4416 | (9/133)
c 	| 1.13    0.60   |   9/56  | 250      3  10      17  19      18  0      nan |         9276 | (29/133)
c 	| 2.39    1.26   |  10/56  | 250      3  10      17  24      18  3       19 |        19480 | (37/133)
c 	| 5.06    2.67   |   6/56  | 250      3  21      17  42      18  38      16 |        40908 | (101/133)
c 	| 10.74   5.68   |   5/56  | 250      3  59      16  78      18  45      15 |        85909 | (107/146)
c 	| 22.22   11.48  |   4/56  | 250      3  160     17  195     19  72      15 |       180409 | (111/193)
c 	| 46.60   24.38  |   3/56  | 250      3  462     17  548     19  196     14 |       378859 | (203/309)
c 	| 95.24   48.64  |   2/56  | 250      3  1696    17  1689    21  323     15 |       795604 | (496/720)
c 	| 195.89  100.65 |   2/56  | 250      3  4991    17  4465    20  723     15 |      1670768 | (1398/1694)
s OPTIMUM FOUND
c mw=100150 ... b = 100130
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: 100150
c Total nodes visited: 2207920 (0.00000 %)
c Total nodes pruned: 66496710914114306048 (46141.36220 %)
c Vc = 56 , search space size 144115188075855872
c Total prunnings: 1098664
c Total pruned levels: 19069399
c Average pruned levels: 17.357 (out of 56)
c Total conflicts: 798
c Total leaves visited: 0
c Average nodes pruned: 60525065820045 nodes/prunning
c Bound computation: 2207920 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: 257.1700 s
c 	Average bound computatation time: 1.16476e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 6.0100 s
c Num early pruning: 57364
c Searching time by Clone is 272.610 seconds
269.950u 5.224s 4:35.27 99.9%	0+0k 0+0io 3pf+0w