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_6.shuffled.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/STRUCTURED/3col140_5_6.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 114 variables cloned. 1826 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_6.shuffled.cnf.wcnf.clone_ls_out.436629171.txt
c ===========================
o 1591
c Initial LB: 35
c 	| 0.51    0.51   |   9/114 | 1190     4  0      nan  0      nan  4       26 |         2102 | (4/492)
c 	| 1.09    0.58   |  24/114 | 1190     4  0      nan  12      27  37      32 |         4416 | (49/492)
c 	| 2.25    1.16   |  20/114 | 1190     4  0      nan  20      28  57      32 |         9276 | (77/492)
c 	| 4.73    2.48   |  21/114 | 1190     4  0      nan  33      27  112     31 |        19480 | (145/492)
c 	| 9.91    5.18   |  18/114 | 1190     4  0      nan  45      27  163     30 |        40908 | (208/492)
c 	| 21.00   11.09  |  18/114 | 1190     4  0      nan  56      26  1206    32 |        85909 | (267/595)
c 	| 43.96   22.96  |  18/114 | 1190     4  0      nan  69      26  2731    31 |       180409 | (550/790)
c 	| 92.25   48.29  |  15/114 | 1190     4  0      nan  91      25  5478    30 |       378859 | (920/1270)
c 	| 194.09  101.84 |  14/114 | 1190     4  0      nan  114     24  11583   28 |       795604 | (2165/2246)
c 	| 418.40  224.31 |  13/114 | 1190     4  0      nan  126     24  28163   28 |      1670768 | (3544/5289)
o 134
o 133
o 132
o 130
1810.217u 15.609s 30:25.91 99.9%	0+0k 0+0io 3pf+0w