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_c1355_F1001gat-1048gat@1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-mtg/c1355_F1001gat-1048gat@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: 783 vars 2564 clauses
c 240 variables cloned. 1951 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 :c1355_F1001gat-1048gat@1.wcnf.clone_ls_out.313219750.txt
c ===========================
o 23
c Initial LB: 0
c 	| 0.73    0.73   |  23/240 | 2445     2  0      nan  1       36  38       3 |         2102 | (531/854)
c 	| 1.26    0.53   |  20/240 | 2445     2  100     23  146     25  68       8 |         4416 | (375/939)
c 	| 2.31    1.05   |  19/240 | 2445     2  287     23  410     25  76       8 |         9276 | (556/1032)
c 	| 5.19    2.88   |  17/240 | 2445     2  528     27  662     25  673     26 |        19480 | (468/1372)
c 	| 12.00   6.81   |  16/240 | 2445     2  1916    29  1516    25  1459    28 |        40908 | (1347/2206)
c 	| 24.23   12.23  |  15/240 | 2445     2  3186    30  2490    25  2233    29 |        85909 | (2541/3549)
c 	| 53.96   29.73  |  13/240 | 2445     2  6154    30  4759    24  4260    29 |       180409 | (6319/6912)
c 	| 116.99  63.03  |  12/240 | 2445     2  12010   32  8438    24  7917    31 |       378859 | (11575/12241)
c 	| 296.43  179.44 |  11/240 | 2445     2  24362   32  16181   24  21822   32 |       795604 | (14057/28860)
o 22
c 	| 766.55  470.12 |  10/240 | 2445     2  37552   32  26892   24  50410   32 |      1670768 | (41352/51125)
o 21
1816.255u 10.316s 30:31.01 99.7%	0+0k 0+0io 3pf+0w