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_STRUCTURED_3col140_5_8.shuffled.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/STRUCTURED/3col140_5_8.shuffled.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: 280 vars 1476 clauses
c 105 variables cloned. 1682 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 :3col140_5_8.shuffled.cnf.wcnf.clone_ls_out.950195896.txt
c ===========================
o 3064
c Initial LB: 43
c 	| 0.57    0.57   |  16/105 | 1190     4  0      nan  0      nan  29      24 |         2102 | (29/492)
c 	| 1.21    0.64   |  17/105 | 1190     4  0      nan  11      22  95      24 |         4416 | (106/492)
c 	| 2.49    1.28   |  16/105 | 1190     4  0      nan  17      22  261     23 |         9276 | (278/492)
c 	| 5.20    2.71   |  14/105 | 1190     4  0      nan  31      23  590     22 |        19480 | (145/541)
c 	| 11.03   5.83   |  13/105 | 1190     4  0      nan  39      22  1096    22 |        40908 | (135/595)
c 	| 23.03   12.00  |  11/105 | 1190     4  0      nan  48      22  2370    22 |        85909 | (517/719)
c 	| 48.45   25.42  |  13/105 | 1190     4  0      nan  53      22  5467    21 |       180409 | (866/1270)
c 	| 101.66  53.21  |  10/105 | 1190     4  0      nan  62      22  11043   21 |       378859 | (1572/2246)
c 	| 218.28  116.62 |   9/105 | 1190     4  0      nan  79      21  18253   21 |       795604 | (1961/3614)
c 	| 466.23  247.95 |   9/105 | 1190     4  0      nan  99      21  34675   21 |      1670768 | (4485/6398)
c 	| 995.57  529.34 |   9/105 | 1190     4  0      nan  114     20  68461   21 |      3508615 | (7967/12464)
o 147
o 146
1806.799u 18.149s 30:25.62 99.9%	0+0k 0+0io 3pf+0w