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_wmax3sat_lo_file_rwms_wcnf_L3_V70_C400_6.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax3sat/lo/file_rwms_wcnf_L3_V70_C400_6.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: 70 vars 400 clauses
c 47 variables cloned. 833 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_L3_V70_C400_6.wcnf.clone_ls_out.915989579.txt
c ===========================
o 17
c Initial LB: 0
c 	| 0.32    0.32   |  16/47  | 0      nan  2       12  20      23  1       22 |         2102 | (55/133)
c 	| 0.67    0.35   |  14/47  | 0      nan  3       14  37      22  1       22 |         4416 | (86/133)
c 	| 1.38    0.71   |  11/47  | 0      nan  13      12  164     21  5       14 |         9276 | (131/176)
c 	| 2.80    1.42   |  10/47  | 0      nan  29      12  292     21  6       13 |        19480 | (211/212)
c 	| 5.81    3.01   |   9/47  | 0      nan  66      12  618     20  16      13 |        40908 | (262/339)
c 	| 12.42   6.61   |   7/47  | 0      nan  171     11  1360    19  80      12 |        85909 | (551/596)
c 	| 26.73   14.31  |   5/47  | 0      nan  410     11  2535    19  243     13 |       180409 | (486/1053)
c 	| 57.72   30.99  |   3/47  | 0      nan  1027    11  5471    19  791     13 |       378859 | (1097/1863)
c 	| 122.37  64.65  |   3/47  | 0      nan  2222    11  11520   18  1942    13 |       795604 | (2504/3296)
s OPTIMUM FOUND
c mw=2167 ... b = 2150
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 0
c Result is 17
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 2167
c Total nodes visited: 1623774 (0.00000 %)
c Total nodes pruned: 94471002148292800 (33562.84216 %)
c Vc = 47 , search space size 281474976710655
c Total prunnings: 785236
c Total pruned levels: 13192055
c Average pruned levels: 16.800 (out of 47)
c Total conflicts: 3907
c Total leaves visited: 0
c Average nodes pruned: 120309056320 nodes/prunning
c Bound computation: 1623774 bounds computed
c Optimal solution time: 0.0000 s
c Optimal solution node: 0 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 242.7800 s
c 	Average bound computatation time: 1.49516e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 10.7600 s
c Num early pruning: 136189
c Searching time by Clone is 262.410 seconds
261.343u 3.914s 4:25.37 99.9%	0+0k 0+0io 3pf+0w