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.550.009841.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.550.009841.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 700 clauses
c 92 variables cloned. 1168 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.550.009841.cnf.wcnf.clone_ls_out.13701044.txt
c ===========================
o 57
c Initial LB: 0
c 	| 1.29    1.29   |  10/92  | 550      3  30      28  2       26  2586    16 |         2102 | (398/542)
c 	| 2.20    0.91   |  12/92  | 550      3  83      37  5       20  4098    15 |         4416 | (730/792)
c 	| 3.91    1.71   |  10/92  | 550      3  173     39  7       20  6623    16 |         9276 | (960/1273)
c 	| 6.31    2.40   |  13/92  | 550      3  250     40  10      21  9031    16 |        19480 | (1361/1694)
c 	| 14.69   8.38   |   9/92  | 550      3  549     39  17      22  21153   17 |        40908 | (2352/3987)
c 	| 42.34   27.65  |   6/92  | 550      3  1078    38  36      23  59703   17 |        85909 | (9749/10333)
c 	| 141.64  99.30  |   5/92  | 550      3  2502    40  128     22  152860   16 |       180409 | (22212/26794)
s OPTIMUM FOUND
c mw=385150 ... b = 385093
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 57
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 385150
c Total nodes visited: 510435 (0.00000 %)
c Total nodes pruned: 153687480934930841528193515520 (1551.84698 %)
c Vc = 92 , search space size 9903520314283042199192993792
c Total prunnings: 108997
c Total pruned levels: 1965875
c Average pruned levels: 18.036 (out of 92)
c Total conflicts: 237003
c Total leaves visited: 0
c Average nodes pruned: 1410015697082771593756672 nodes/prunning
c Bound computation: 510435 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: 100.6500 s
c 	Average bound computatation time: 1.97185e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 141.8600 s
c Num early pruning: 92597
c Searching time by Clone is 258.630 seconds
260.857u 1.726s 4:22.63 99.9%	0+0k 0+0io 3pf+0w