Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-partial_crafted-_home_jplanes_evaluation_benchmarks_partial_crafted_MAXONE_3SAT_cnf3.150.400.921274.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.400.921274.cnf.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: 150 vars 550 clauses
c 78 variables cloned. 755 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 :cnf3.150.400.921274.cnf.wcnf.clone_ls_out.579839702.txt
c ===========================
o 35
c Initial LB: 2
c 	| 0.37    0.37   |  19/78  | 400      3  4       32  1       27  12      11 |         2102 | (18/183)
c 	| 0.80    0.43   |  17/78  | 400      3  23      30  8       24  17      14 |         4416 | (50/183)
c 	| 1.68    0.88   |  15/78  | 400      3  57      29  19      24  51      16 |         9276 | (132/183)
c 	| 3.48    1.80   |  14/78  | 400      3  139     30  46      24  130     15 |        19480 | (183/201)
c 	| 7.28    3.80   |  12/78  | 400      3  339     30  110     25  307     15 |        40908 | (89/267)
c 	| 15.41   8.13   |  11/78  | 400      3  653     30  191     24  566     15 |        85909 | (276/322)
c 	| 32.56   17.15  |   9/78  | 400      3  1274    30  365     23  1128    14 |       180409 | (439/469)
c 	| 69.11   36.55  |   6/78  | 400      3  2488    30  617     23  2572    14 |       378859 | (593/909)
c 	| 141.77  72.66  |   8/78  | 400      3  5968    30  1651    24  3865    14 |       795604 | (1506/1940)
c 	| 298.58  156.81 |   5/78  | 400      3  13549   30  3984    23  8017    14 |      1670768 | (2870/4569)
c 	| 658.57  359.99 |   4/78  | 400      3  26814   30  7994    23  14941   14 |      3508615 | (6198/8897)
o 34
c 	| 1724.71 1066.14 |   1/78  | 400      3  44436   29  12121   22  53530   12 |      7368092 | (15795/19066)
s OPTIMUM FOUND
c mw=220150 ... b = 220116
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 144 145 -146 147 148 149 150 0
c Result is 34
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 220150
c Total nodes visited: 7139951 (0.00000 %)
c Total nodes pruned: 641281352711937937987600384 (106091.10043 %)
c Vc = 78 , search space size 604462909807314587353088
c Total prunnings: 3509575
c Total pruned levels: 62047499
c Average pruned levels: 17.679 (out of 78)
c Total conflicts: 53580
c Total leaves visited: 0
c Average nodes pruned: 182723364712803663872 nodes/prunning
c Bound computation: 7139951 bounds computed
c Optimal solution time: 922.0200 s
c Optimal solution node: 4484629 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 1346.1700 s
c 	Average bound computatation time: 1.88541e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 314.9600 s
c Num early pruning: 1117149
c Searching time by Clone is 1725.510 seconds
1707.461u 21.297s 28:48.96 99.9%	0+0k 0+0io 3pf+0w