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-21-9834-4.clq.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXCLIQUE/RANDOM/max_clq_150-21-9834-4.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 1491 clauses
c 92 variables cloned. 1784 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-21-9834-4.clq.wcnf.clone_ls_out.752852278.txt
c ===========================
o 129
c Initial LB: 30
o 122
c 	| 0.29    0.29   |  78/92  | 1341     2  0      nan  0      nan  0      nan |         2102 | (0/497)
c 	| 0.61    0.32   |  76/92  | 1341     2  0      nan  4       82  0      nan |         4416 | (4/497)
o 121
c 	| 1.25    0.64   |  74/92  | 1341     2  0      nan  8       81  0      nan |         9276 | (8/497)
c 	| 2.60    1.35   |  71/92  | 1341     2  0      nan  12      80  0      nan |        19480 | (12/497)
c 	| 5.38    2.78   |  69/92  | 1341     2  0      nan  16      79  0      nan |        40908 | (16/497)
o 120
c 	| 11.26   5.88   |  64/92  | 1341     2  0      nan  22      77  0      nan |        85909 | (22/497)
c 	| 23.71   12.45  |  60/92  | 1341     2  0      nan  26      75  0      nan |       180409 | (26/497)
c 	| 49.31   25.60  |  56/92  | 1341     2  0      nan  32      73  0      nan |       378859 | (32/497)
c 	| 101.86  52.55  |  53/92  | 1341     2  0      nan  39      71  0      nan |       795604 | (39/497)
c 	| 212.32  110.46 |  49/92  | 1341     2  0      nan  43      69  0      nan |      1670768 | (43/497)
c 	| 441.63  229.31 |  45/92  | 1341     2  0      nan  51      67  0      nan |      3508615 | (51/497)
o 119
1792.386u 31.927s 30:24.36 99.9%	0+0k 0+0io 3pf+0w