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_STRUCTURED_3col80_5_6.shuffled.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/STRUCTURED/3col80_5_6.shuffled.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: 160 vars 846 clauses
c 58 variables cloned. 928 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 :3col80_5_6.shuffled.cnf.wcnf.clone_ls_out.1182228363.txt
c ===========================
o 77
c Initial LB: 31
c 	| 0.59    0.59   |  12/58  | 680      4  0      nan  0      nan  25      14 |         2102 | (24/282)
c 	| 1.22    0.63   |  10/58  | 680      4  0      nan  8       17  59      14 |         4416 | (66/282)
c 	| 2.57    1.35   |   8/58  | 680      4  0      nan  11      16  163     14 |         9276 | (173/282)
c 	| 5.36    2.79   |   6/58  | 680      4  0      nan  15      15  509     13 |        19480 | (263/310)
c 	| 11.33   5.97   |   3/58  | 680      4  0      nan  17      15  1110    12 |        40908 | (266/375)
o 76
c 	| 24.00   12.67  |   2/58  | 680      4  0      nan  31      13  3319    12 |        85909 | (435/727)
s OPTIMUM FOUND
c mw=580516 ... b = 580440
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 151 152 -153 154 -155 -156 157 158 -159 160 0
c Result is 76
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 580516
c Total nodes visited: 91923 (0.00000 %)
c Total nodes pruned: 6657857765941177344 (1154.95422 %)
c Vc = 58 , search space size 576460752303423488
c Total prunnings: 44045
c Total pruned levels: 680556
c Average pruned levels: 15.451 (out of 58)
c Total conflicts: 3671
c Total leaves visited: 0
c Average nodes pruned: 151160353409948 nodes/prunning
c Bound computation: 91923 bounds computed
c Optimal solution time: 12.2500 s
c Optimal solution node: 43487 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 25.0500 s
c 	Average bound computatation time: 2.72511e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 0.3000 s
c Num early pruning: 3
c Searching time by Clone is 25.880 seconds
29.595u 0.413s 0:29.63 101.2%	0+0k 0+0io 3pf+0w