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-mtg_c432_F102gat@1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-mtg/c432_F102gat@1.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: 964 vars 5126 clauses
c 356 variables cloned. 7044 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 :c432_F102gat@1.wcnf.clone_ls_out.1079498055.txt
c ===========================
o 90
c Initial LB: 1
o 36
o 35
o 34
o 33
o 32
o 31
o 30
o 29
o 28
o 27
o 26
o 25
o 24
o 23
o 22
o 21
o 20
o 19
o 18
c 	| 2.75    2.75   |  28/356 | 4988     3  9       25  24      52  118     33 |         2102 | (264/1708)
c 	| 4.98    2.23   |  21/356 | 4988     3  17      30  51      40  187     30 |         4416 | (595/1708)
c 	| 9.43    4.45   |  19/356 | 4988     3  17      30  56      39  257     29 |         9276 | (992/1708)
c 	| 18.93   9.50   |  17/356 | 4988     3  17      30  63      37  399     28 |        19480 | (250/1878)
c 	| 41.51   22.58  |  16/356 | 4988     3  17      30  72      35  981     32 |        40908 | (642/2065)
o 17
c 	| 87.60   46.09  |  14/356 | 4988     3  28      26  81      33  1151    31 |        85909 | (575/2271)
o 16
c 	| 187.59  99.99  |  11/356 | 4988     3  116     21  100     31  2134    32 |       180409 | (1628/2747)
o 15
o 14
c 	| 401.43  213.84 |   9/356 | 4988     3  1583    17  238     23  2895    34 |       378859 | (3714/4020)
o 13
o 12
c 	| 950.71  549.28 |   3/356 | 4988     3  5219    17  1053    16  3030    33 |       795604 | (3944/6473)
o 11
1830.163u 3.915s 30:36.43 99.8%	0+0k 0+0io 3pf+0w