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.300.195568.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.300.195568.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 450 clauses
c 63 variables cloned. 507 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.300.195568.cnf.wcnf.clone_ls_out.861088047.txt
c ===========================
o 26
c Initial LB: 2
c 	| 0.23    0.23   |  19/63  | 300      3  7       21  10      28  0      nan |         2102 | (17/150)
c 	| 0.47    0.24   |  18/63  | 300      3  28      22  38      27  0      nan |         4416 | (66/150)
c 	| 0.99    0.52   |  16/63  | 300      3  30      22  47      25  3        9 |         9276 | (80/150)
c 	| 2.05    1.06   |  15/63  | 300      3  56      22  73      25  5       12 |        19480 | (134/150)
c 	| 4.45    2.40   |  13/63  | 300      3  129     23  144     26  8       12 |        40908 | (124/181)
c 	| 9.30    4.85   |  12/63  | 300      3  350     24  380     27  21      16 |        85909 | (178/262)
c 	| 19.39   10.09  |  13/63  | 300      3  811     24  787     27  43      18 |       180409 | (272/419)
c 	| 39.77   20.38  |  11/63  | 300      3  1752    24  1469    26  68      19 |       378859 | (645/672)
c 	| 82.80   43.03  |  10/63  | 300      3  5669    24  4053    26  226     21 |       795604 | (1714/1736)
c 	| 173.55  90.75  |   9/63  | 300      3  11116   23  7671    25  439     21 |      1670768 | (2685/3070)
o 25
1783.491u 39.198s 30:23.46 99.9%	0+0k 0+0io 3pf+0w