Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-weighted_random-_home_jplanes_evaluation_benchmarks_weighted_random_wmax2sat_lo_file_rwms_wcnf_L2_V100_C500_5.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/lo/file_rwms_wcnf_L2_V100_C500_5.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: 100 vars 500 clauses
c 40 variables cloned. 457 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 :file_rwms_wcnf_L2_V100_C500_5.wcnf.clone_ls_out.1007148433.txt
c ===========================
o 184
c Initial LB: 6
c 	| 0.37    0.37   |  17/40  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/166)
c 	| 0.78    0.41   |  15/40  | 0      nan  0      nan  5       22  0      nan |         4416 | (5/166)
c 	| 1.62    0.84   |  14/40  | 0      nan  0      nan  11      21  0      nan |         9276 | (11/166)
c 	| 3.36    1.74   |  11/40  | 0      nan  0      nan  16      19  0      nan |        19480 | (16/166)
c 	| 7.02    3.66   |  10/40  | 0      nan  0      nan  21      18  0      nan |        40908 | (21/166)
c 	| 14.55   7.53   |  10/40  | 0      nan  0      nan  30      18  0      nan |        85909 | (30/166)
c 	| 31.00   16.45  |   8/40  | 0      nan  0      nan  35      18  0      nan |       180409 | (35/166)
c 	| 66.77   35.77  |   6/40  | 0      nan  0      nan  43      16  0      nan |       378859 | (43/166)
c 	| 139.10  72.33  |   5/40  | 0      nan  0      nan  52      15  0      nan |       795604 | (52/166)
c 	| 296.35  157.25 |   4/40  | 0      nan  0      nan  61      15  0      nan |      1670768 | (61/166)
c 	| 624.02  327.67 |   2/40  | 0      nan  0      nan  74      13  0      nan |      3508615 | (74/166)
o 183
o 182
o 178
o 177
o 174
o 173
o 172
o 171
c 	| 1319.44 695.42 |   1/40  | 0      nan  0      nan  85      13  0      nan |      7368092 | (85/166)
s OPTIMUM FOUND
c mw=2775 ... b = 2604
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 0
c Result is 171
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 2775
c Total nodes visited: 7358492 (0.00033 %)
c Total nodes pruned: 2575423765344548 (117116.71347 %)
c Vc = 40 , search space size 2199023255551
c Total prunnings: 3679134
c Total pruned levels: 59809672
c Average pruned levels: 16.256 (out of 40)
c Total conflicts: 0
c Total leaves visited: 0
c Average nodes pruned: 700008145 nodes/prunning
c Bound computation: 7358492 bounds computed
c Optimal solution time: 1206.9900 s
c Optimal solution node: 6427283 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 1347.6700 s
c 	Average bound computatation time: 1.83145e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 9.6700 s
c Num early pruning: 0
c Searching time by Clone is 1384.490 seconds
1369.262u 17.767s 23:10.03 99.7%	0+0k 0+0io 3pf+0w