Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-partial_random-_home_jplanes_evaluation_benchmarks_partial_random_pmax3sat_lo_file_rpms_wcnf_L3_V100_C500_H100_8.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_random/pmax3sat/lo/file_rpms_wcnf_L3_V100_C500_H100_8.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 67 variables cloned. 1019 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_rpms_wcnf_L3_V100_C500_H100_8.wcnf.clone_ls_out.1871980539.txt
c ===========================
o 2
c Initial LB: 0
c 	| 0.30    0.30   |  18/67  | 100      3  18       7  38      34  1       10 |         2102 | (87/166)
c 	| 0.68    0.38   |  19/67  | 100      3  43       7  97      31  4       12 |         4416 | (123/182)
c 	| 1.43    0.75   |  14/67  | 100      3  131      8  265     27  53      15 |         9276 | (221/242)
c 	| 3.10    1.67   |  13/67  | 100      3  375      9  629     26  203     16 |        19480 | (119/426)
c 	| 6.44    3.34   |  11/67  | 100      3  705      9  1134    25  461     15 |        40908 | (558/565)
c 	| 14.07   7.63   |   7/67  | 100      3  1721     9  2531    23  1508    14 |        85909 | (563/1097)
c 	| 30.72   16.65  |   4/67  | 100      3  4324     9  5578    21  5396    13 |       180409 | (2628/2836)
c 	| 70.53   39.81  |   3/67  | 100      3  9724    10  10347   20  20000   13 |       378859 | (6999/7350)
c 	| 201.95  131.42 |   1/67  | 100      3  22788   10  19194   19  84433   13 |       795604 | (18564/23060)
s OPTIMUM FOUND
c mw=50400 ... b = 50398
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 2
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 50400
c Total nodes visited: 971394 (0.00000 %)
c Total nodes pruned: 81975069982046856151040 (27774.23405 %)
c Vc = 67 , search space size 295147905179352825856
c Total prunnings: 388871
c Total pruned levels: 6446613
c Average pruned levels: 16.578 (out of 67)
c Total conflicts: 90082
c Total leaves visited: 0
c Average nodes pruned: 210802734022456960 nodes/prunning
c Bound computation: 971394 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: 149.0400 s
c 	Average bound computatation time: 1.53429e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 52.4200 s
c Num early pruning: 121491
c Searching time by Clone is 211.810 seconds
212.677u 2.596s 3:35.95 99.6%	0+0k 0+0io 3pf+0w