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_MAXCLIQUE_RANDOM_max_clq_150-23-10728-3.clq.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXCLIQUE/RANDOM/max_clq_150-23-10728-3.clq.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 597 clauses
c 44 variables cloned. 353 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 :max_clq_150-23-10728-3.clq.wcnf.clone_ls_out.677733010.txt
c ===========================
o 104
c Initial LB: 50
o 94
o 93
c 	| 0.23    0.23   |  30/44  | 447      2  0      nan  0      nan  0      nan |         2102 | (0/199)
c 	| 0.46    0.23   |  28/44  | 447      2  0      nan  5       32  0      nan |         4416 | (5/199)
c 	| 0.96    0.50   |  25/44  | 447      2  0      nan  11      31  0      nan |         9276 | (11/199)
o 92
c 	| 2.04    1.08   |  24/44  | 447      2  0      nan  15      32  0      nan |        19480 | (15/199)
c 	| 4.27    2.23   |  21/44  | 447      2  0      nan  21      30  0      nan |        40908 | (21/199)
c 	| 8.89    4.62   |  20/44  | 447      2  0      nan  26      30  0      nan |        85909 | (26/199)
c 	| 18.94   10.05  |  17/44  | 447      2  0      nan  31      29  0      nan |       180409 | (31/199)
c 	| 39.97   21.03  |  14/44  | 447      2  0      nan  39      27  0      nan |       378859 | (39/199)
o 91
c 	| 83.53   43.56  |  11/44  | 447      2  0      nan  47      25  0      nan |       795604 | (47/199)
c 	| 175.21  91.68  |   7/44  | 447      2  0      nan  53      25  0      nan |      1670768 | (53/199)
c 	| 367.13  191.92 |   4/44  | 447      2  0      nan  62      23  0      nan |      3508615 | (62/199)
s OPTIMUM FOUND
c mw=67200 ... b = 67109
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 91
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 67200
c Total nodes visited: 5292383 (0.00002 %)
c Total nodes pruned: 12581004505531706 (35757.36544 %)
c Vc = 44 , search space size 35184372088831
c Total prunnings: 2646043
c Total pruned levels: 52347663
c Average pruned levels: 19.783 (out of 44)
c Total conflicts: 0
c Total leaves visited: 0
c Average nodes pruned: 4754648547 nodes/prunning
c Bound computation: 5292383 bounds computed
c Optimal solution time: 43.6600 s
c Optimal solution node: 394474 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 546.6600 s
c 	Average bound computatation time: 1.03292e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 11.3200 s
c Num early pruning: 0
c Searching time by Clone is 578.610 seconds
568.923u 12.292s 9:42.55 99.7%	0+0k 0+0io 3pf+0w