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.300.195564.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.300.195564.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 450 clauses
c 63 variables cloned. 522 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.300.195564.cnf.wcnf.clone_ls_out.86451719.txt
c ===========================
o 28
c Initial LB: 2
c 	| 0.25    0.25   |  14/63  | 300      3  0      nan  0      nan  0      nan |         2102 | (0/150)
c 	| 0.56    0.31   |  13/63  | 300      3  0      nan  5       17  3        5 |         4416 | (8/150)
c 	| 1.20    0.64   |  13/63  | 300      3  4       24  11      18  5       12 |         9276 | (20/150)
c 	| 2.55    1.35   |  11/63  | 300      3  4       24  17      17  8       12 |        19480 | (29/150)
c 	| 5.13    2.58   |  10/63  | 300      3  4       24  23      16  10      11 |        40908 | (37/150)
c 	| 10.68   5.55   |   9/63  | 300      3  7       24  32      16  20      11 |        85909 | (59/150)
c 	| 21.95   11.27  |   8/63  | 300      3  11      24  46      16  31      11 |       180409 | (88/150)
c 	| 45.29   23.34  |   6/63  | 300      3  54      23  79      17  51      12 |       378859 | (76/165)
c 	| 94.26   48.97  |   8/63  | 300      3  125     24  135     18  96      13 |       795604 | (156/181)
c 	| 200.34  106.08 |   4/63  | 300      3  415     24  279     18  244     12 |      1670768 | (255/262)
c 	| 423.67  223.33 |   2/63  | 300      3  1276    24  657     18  540     11 |      3508615 | (415/460)
o 27
o 26
c 	| 886.81  463.14 |   1/63  | 300      3  5072    22  2619    18  1421    11 |      7368092 | (939/1306)
s OPTIMUM FOUND
c mw=135150 ... b = 135124
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 26
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 135150
c Total nodes visited: 7594291 (0.00000 %)
c Total nodes pruned: 27764353151012790337536 (150510.86002 %)
c Vc = 63 , search space size 18446744073709551616
c Total prunnings: 3792319
c Total pruned levels: 61729110
c Average pruned levels: 16.277 (out of 63)
c Total conflicts: 1632
c Total leaves visited: 0
c Average nodes pruned: 7321207195653317 nodes/prunning
c Bound computation: 7594291 bounds computed
c Optimal solution time: 676.1800 s
c Optimal solution node: 5321016 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 896.4700 s
c 	Average bound computatation time: 1.18045e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 25.1600 s
c Num early pruning: 147577
c Searching time by Clone is 960.750 seconds
941.715u 21.494s 16:04.56 99.8%	0+0k 0+0io 3pf+0w