Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-partial_industrial-_home_jplanes_evaluation_benchmarks_partial_industrial_bcp-hipp-yRa1_simp_simp-nonunif-100_50.08.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-hipp-yRa1/simp/simp-nonunif-100_50.08.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: 2340 vars 6910 clauses
c 888 variables cloned. 13860 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 :simp-nonunif-100_50.08.wcnf.clone_ls_out.2090384275.txt
c ===========================
o 31
c Initial LB: 25
c 	| 3.71    3.71   |  37/888 | 6788     3  267     56  41      54  299     69 |         2102 | (832/2303)
c 	| 6.33    2.62   |  40/888 | 6788     3  392     59  61      54  498     68 |         4416 | (1285/2303)
c 	| 12.06   5.73   |  41/888 | 6788     3  711     62  109     54  1291    68 |         9276 | (324/2533)
c 	| 37.89   25.83  |  25/888 | 6788     3  1617    69  195     53  8258   103 |        19480 | (2763/3707)
c 	| 86.31   48.42  |  34/888 | 6788     3  4022    83  448     54  20316  103 |        40908 | (3516/6563)
c 	| 293.50  207.19 |  23/888 | 6788     3  9181    92  918     49  82195  122 |        85909 | (11322/18716)
c 	| 513.33  219.83 |  21/888 | 6788     3  17202   78  1859    51  132510  116 |       180409 | (16769/30138)
c 	| 937.29  423.96 |  20/888 | 6788     3  26134   76  2945    50  220673  111 |       378859 | (25264/48535)
o 30
1832.873u 6.256s 30:42.96 99.7%	0+0k 0+0io 3pf+0w