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-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-4.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: 165 vars 1053 clauses
c 33 variables cloned. 787 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-4.net.wcnf.clone_ls_out.2076987850.txt
c ===========================
o 63242
c Initial LB: 14844
o 63038
o 62729
o 62165
o 61856
o 61506
o 61197
o 60633
o 60324
o 60015
o 59706
o 59573
o 59557
c 	| 0.66    0.66   |  12/33  | 56       3  0      nan  0      nan  0      nan |         2102 | (0/351)
o 59417
o 59108
c 	| 1.33    0.67   |  10/33  | 56       3  0      nan  7       13  0      nan |         4416 | (7/351)
o 59023
c 	| 2.77    1.44   |   9/33  | 56       3  0      nan  14      13  0      nan |         9276 | (14/351)
o 58980
c 	| 5.80    3.03   |   8/33  | 56       3  0      nan  19      12  0      nan |        19480 | (19/351)
o 58924
o 58615
o 58572
c 	| 12.20   6.40   |   7/33  | 56       3  0      nan  27      12  0      nan |        40908 | (27/351)
o 58471
o 58162
o 58077
o 58034
o 57978
o 57669
c 	| 25.51   13.31  |   6/33  | 56       3  0      nan  35      12  0      nan |        85909 | (35/351)
o 57626
o 57600
o 57557
c 	| 54.68   29.17  |   5/33  | 56       3  0      nan  43      11  0      nan |       180409 | (43/351)
o 57415
o 57330
o 57287
o 57231
o 56922
o 56879
o 56853
o 56810
c 	| 116.18  61.50  |   3/33  | 56       3  0      nan  53      10  0      nan |       378859 | (53/351)
o 56782
o 56620
o 56577
c 	| 249.03  132.85 |   2/33  | 56       3  0      nan  67      10  0      nan |       795604 | (67/351)
o 56573
o 56488
o 56445
o 56389
o 56080
o 56037
o 55873
o 55830
o 55802
c 	| 531.15  282.12 |   1/33  | 56       3  0      nan  76      10  0      nan |      1670768 | (76/351)
o 55726
o 55710
o 55489
o 55265
o 55186
o 55058
o 54979
o 54951
s OPTIMUM FOUND
c mw=106780280 ... b = 106725329
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 -162 163 -164 -165 0
c Result is 54951
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 106780280
c Total nodes visited: 2302702 (0.01340 %)
c Total nodes pruned: 79502780202186 (462767.08720 %)
c Vc = 33 , search space size 17179869183
c Total prunnings: 1151237
c Total pruned levels: 10919163
c Average pruned levels: 9.485 (out of 33)
c Total conflicts: 0
c Total leaves visited: 0
c Average nodes pruned: 69058569 nodes/prunning
c Bound computation: 2302702 bounds computed
c Optimal solution time: 761.4100 s
c Optimal solution node: 2291514 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 748.0800 s
c 	Average bound computatation time: 3.24871e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 5.0900 s
c Num early pruning: 0
c Searching time by Clone is 765.020 seconds
763.690u 5.794s 12:49.31 100.0%	0+0k 0+0io 3pf+0w