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.832714.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.250.832714.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 54 variables cloned. 386 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.832714.cnf.wcnf.clone_ls_out.148874159.txt
c ===========================
o 23
c Initial LB: 4
c 	| 0.28    0.28   |  13/54  | 250      3  0      nan  0      nan  0      nan |         2102 | (0/133)
c 	| 0.61    0.33   |  11/54  | 250      3  1       18  5       16  0      nan |         4416 | (6/133)
c 	| 1.30    0.69   |  12/54  | 250      3  7       19  14      20  0      nan |         9276 | (21/133)
c 	| 2.67    1.37   |  10/54  | 250      3  7       19  18      20  2       12 |        19480 | (27/133)
c 	| 5.44    2.77   |   9/54  | 250      3  47      20  41      21  5       17 |        40908 | (93/133)
c 	| 11.19   5.75   |   8/54  | 250      3  101     19  81      20  7       17 |        85909 | (122/146)
c 	| 23.38   12.19  |   7/54  | 250      3  187     19  162     20  12      17 |       180409 | (140/176)
c 	| 48.72   25.34  |   6/54  | 250      3  368     20  323     20  18      17 |       378859 | (198/233)
c 	| 100.40  51.68  |   4/54  | 250      3  439     20  409     20  54      15 |       795604 | (44/281)
c 	| 208.78  108.38 |   4/54  | 250      3  823     20  712     19  197     14 |      1670768 | (308/372)
c 	| 440.94  232.16 |   3/54  | 250      3  2030    20  1550    19  492     14 |      3508615 | (399/720)
c 	| 945.41  504.47 |   1/54  | 250      3  6148    20  4577    19  929     14 |      7368092 | (1556/1694)
s OPTIMUM FOUND
c mw=100150 ... b = 100127
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 23
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 100150
c Total nodes visited: 9095499 (0.00000 %)
c Total nodes pruned: 44949185267038617600 (124759.05105 %)
c Vc = 54 , search space size 36028797018963968
c Total prunnings: 4541235
c Total pruned levels: 77058408
c Average pruned levels: 16.969 (out of 54)
c Total conflicts: 1115
c Total leaves visited: 0
c Average nodes pruned: 9898009080578 nodes/prunning
c Bound computation: 9095499 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: 1160.7000 s
c 	Average bound computatation time: 1.27613e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 25.9500 s
c Num early pruning: 122070
c Searching time by Clone is 1227.580 seconds
1204.981u 25.285s 20:32.66 99.8%	0+0k 0+0io 3pf+0w