Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax3sat_lo_file_rwpms_wcnf_L3_V100_C500_H100_2.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C500_H100_2.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 68 variables cloned. 1048 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_rwpms_wcnf_L3_V100_C500_H100_2.wcnf.clone_ls_out.1341795111.txt
c ===========================
o 10
c Initial LB: 0
c 	| 0.30    0.30   |  12/68  | 145      3  65      11  65      22  21      14 |         2102 | (134/182)
c 	| 0.68    0.38   |  10/68  | 145      3  113     11  134     20  47      13 |         4416 | (151/220)
c 	| 1.47    0.79   |   9/68  | 145      3  218     11  291     20  122     14 |         9276 | (181/292)
c 	| 3.10    1.63   |   8/68  | 145      3  410     10  550     19  226     14 |        19480 | (386/388)
c 	| 6.61    3.51   |   6/68  | 145      3  1005    11  1227    18  678     13 |        40908 | (391/683)
c 	| 14.52   7.91   |   5/68  | 145      3  2479    11  2704    19  2176    13 |        85909 | (1108/1326)
c 	| 31.47   16.95  |   4/68  | 145      3  5792    12  5272    18  7517    14 |       180409 | (1829/3773)
o 9
c 	| 75.22   43.75  |   3/68  | 145      3  13477   12  10365   18  30214   14 |       378859 | (5874/10760)
s OPTIMUM FOUND
c mw=272442 ... b = 272433
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 9
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 272442
c Total nodes visited: 1007735 (0.00000 %)
c Total nodes pruned: 144119609583076074586112 (24414.81153 %)
c Vc = 68 , search space size 590295810358705651712
c Total prunnings: 370596
c Total pruned levels: 5682999
c Average pruned levels: 15.335 (out of 68)
c Total conflicts: 146225
c Total leaves visited: 0
c Average nodes pruned: 388886036500869056 nodes/prunning
c Bound computation: 1007735 bounds computed
c Optimal solution time: 46.4100 s
c Optimal solution node: 289620 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 151.6200 s
c 	Average bound computatation time: 1.50456e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 93.7600 s
c Num early pruning: 180329
c Searching time by Clone is 259.150 seconds
259.471u 2.571s 4:22.71 99.7%	0+0k 0+0io 3pf+0w