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.350.558425.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.350.558425.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 500 clauses
c 75 variables cloned. 647 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.350.558425.cnf.wcnf.clone_ls_out.1692220426.txt
c ===========================
o 27
c Initial LB: 2
c 	| 0.20    0.20   |  19/75  | 350      3  7       26  3       32  0      nan |         2102 | (12/166)
c 	| 0.42    0.22   |  18/75  | 350      3  21      26  16      26  3       18 |         4416 | (46/166)
c 	| 0.89    0.47   |  19/75  | 350      3  50      26  36      26  4       15 |         9276 | (98/166)
c 	| 1.88    0.99   |  16/75  | 350      3  97      26  61      26  18      16 |        19480 | (100/182)
c 	| 3.94    2.06   |  14/75  | 350      3  254     25  141     25  31      19 |        40908 | (159/220)
c 	| 8.23    4.29   |  13/75  | 350      3  558     25  294     25  58      19 |        85909 | (151/321)
c 	| 17.50   9.27   |  12/75  | 350      3  1074    25  557     25  122     17 |       180409 | (254/468)
c 	| 37.45   19.95  |   9/75  | 350      3  2037    24  945     24  356     15 |       378859 | (227/683)
c 	| 79.84   42.39  |   6/75  | 350      3  4090    24  1758    23  787     15 |       795604 | (1000/998)
c 	| 170.51  90.67  |   4/75  | 350      3  9484    23  3752    22  1887    14 |      1670768 | (1372/1939)
c 	| 359.05  188.54 |   2/75  | 350      3  21518   23  8370    21  4503    14 |      3508615 | (3202/5523)
c 	| 814.24  455.19 |   1/75  | 350      3  44987   22  16056   20  9829    13 |      7368092 | (8547/11836)
s OPTIMUM FOUND
c mw=175150 ... b = 175123
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 27
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 175150
c Total nodes visited: 7977314 (0.00000 %)
c Total nodes pruned: 88864150545279174699909120 (117610.72397 %)
c Vc = 75 , search space size 75557863725914323419136
c Total prunnings: 3948551
c Total pruned levels: 66590336
c Average pruned levels: 16.864 (out of 75)
c Total conflicts: 11594
c Total leaves visited: 0
c Average nodes pruned: 22505509121011523584 nodes/prunning
c Bound computation: 7977314 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: 759.6600 s
c 	Average bound computatation time: 9.52275e-05 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 128.7600 s
c Num early pruning: 872929
c Searching time by Clone is 939.510 seconds
923.937u 18.660s 15:42.80 99.9%	0+0k 0+0io 3pf+0w