Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-60-2_network-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-10.net.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: 161 vars 1068 clauses
c 37 variables cloned. 926 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 :random-net-60-2_network-10.net.wcnf.clone_ls_out.496347827.txt
c ===========================
o 61062
c Initial LB: 14897
o 59437
o 58346
o 58079
o 57978
o 57411
o 57144
o 56783
o 56516
o 56088
o 55727
o 55460
o 55099
c 	| 0.70    0.70   |  14/37  | 55       3  0      nan  0      nan  0      nan |         2102 | (0/356)
c 	| 1.43    0.73   |  13/37  | 55       3  0      nan  6       16  0      nan |         4416 | (6/356)
c 	| 2.94    1.51   |  12/37  | 55       3  0      nan  13      16  0      nan |         9276 | (13/356)
o 55098
o 54531
o 54170
c 	| 6.15    3.21   |  11/37  | 55       3  0      nan  18      15  0      nan |        19480 | (18/356)
c 	| 12.90   6.75   |  10/37  | 55       3  0      nan  29      15  0      nan |        40908 | (29/356)
c 	| 27.17   14.27  |   9/37  | 55       3  0      nan  41      14  0      nan |        85909 | (41/356)
o 54107
o 53746
o 53479
o 53118
o 53117
o 52550
o 52189
c 	| 57.35   30.18  |   7/37  | 55       3  0      nan  55      13  0      nan |       180409 | (55/356)
c 	| 120.41  63.06  |   6/37  | 55       3  0      nan  64      13  0      nan |       378859 | (64/356)
o 51920
o 51857
o 51496
o 51229
o 50868
o 50867
o 50300
o 49939
c 	| 253.05  132.64 |   5/37  | 55       3  0      nan  72      12  0      nan |       795604 | (72/356)
o 49839
o 49425
o 49064
c 	| 527.85  274.80 |   3/37  | 55       3  0      nan  88      12  0      nan |      1670768 | (88/356)
c 	| 1074.78 546.93 |   1/37  | 55       3  0      nan  103     11  0      nan |      3508615 | (103/356)
o 48865
o 48504
s OPTIMUM FOUND
c mw=113891906 ... b = 113843402
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 -161 0
c Result is 48504
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 113891906
c Total nodes visited: 5137712 (0.00187 %)
c Total nodes pruned: 1644976587991024 (598438.99653 %)
c Vc = 37 , search space size 274877906943
c Total prunnings: 2568748
c Total pruned levels: 27332598
c Average pruned levels: 10.640 (out of 37)
c Total conflicts: 0
c Total leaves visited: 0
c Average nodes pruned: 640380679 nodes/prunning
c Bound computation: 5137712 bounds computed
c Optimal solution time: 1194.1400 s
c Optimal solution node: 3686756 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 1626.1200 s
c 	Average bound computatation time: 3.16507e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 12.3300 s
c Num early pruning: 0
c Searching time by Clone is 1666.210 seconds
1658.014u 11.914s 27:50.53 99.9%	0+0k 0+0io 3pf+0w