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-50-2_network-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-5.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: 143 vars 1113 clauses
c 32 variables cloned. 938 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-50-2_network-5.net.wcnf.clone_ls_out.717314517.txt
c ===========================
o 55065
c Initial LB: 6603
c 	| 0.76    0.76   |  10/32  | 45       3  0      nan  0      nan  0      nan |         2102 | (0/371)
c 	| 1.61    0.85   |   9/32  | 45       3  0      nan  6       12  0      nan |         4416 | (6/371)
c 	| 3.33    1.72   |   9/32  | 45       3  0      nan  12      12  0      nan |         9276 | (12/371)
c 	| 6.95    3.62   |   8/32  | 45       3  0      nan  20      11  0      nan |        19480 | (20/371)
o 54874
o 54747
o 54588
o 54461
c 	| 15.37   8.42   |   7/32  | 45       3  0      nan  27      10  0      nan |        40908 | (27/371)
o 54398
o 54271
o 54112
o 53985
c 	| 32.25   16.88  |   6/32  | 45       3  0      nan  40      10  0      nan |        85909 | (40/371)
o 53849
o 53722
o 53563
o 53436
c 	| 66.93   34.68  |   4/32  | 45       3  0      nan  54       9  0      nan |       180409 | (54/371)
o 53302
o 53037
o 52910
o 52618
o 52491
o 52434
o 52142
o 52015
o 52012
o 51885
o 51593
o 51466
c 	| 142.62  75.69  |   3/32  | 45       3  0      nan  63       9  0      nan |       378859 | (63/371)
o 51461
o 51404
o 51112
o 50985
o 50982
o 50855
o 50563
o 50436
c 	| 307.73  165.11 |   1/32  | 45       3  0      nan  77       9  0      nan |       795604 | (77/371)
o 50309
s OPTIMUM FOUND
c mw=100459784 ... b = 100409475
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 0
c Result is 50309
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 100459784
c Total nodes visited: 1265939 (0.01474 %)
c Total nodes pruned: 29072129658762 (338444.13308 %)
c Vc = 32 , search space size 8589934591
c Total prunnings: 632891
c Total pruned levels: 5646206
c Average pruned levels: 8.921 (out of 32)
c Total conflicts: 0
c Total leaves visited: 0
c Average nodes pruned: 45935445 nodes/prunning
c Bound computation: 1265939 bounds computed
c Optimal solution time: 419.1400 s
c Optimal solution node: 1028972 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 513.3500 s
c 	Average bound computatation time: 4.05509e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 3.2300 s
c Num early pruning: 0
c Searching time by Clone is 523.970 seconds
524.812u 3.690s 15:36.61 56.4%	0+0k 0+0io 3pf+0w