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_3col100_5_1.shuffled.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/STRUCTURED/3col100_5_1.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: 200 vars 1056 clauses
c 76 variables cloned. 1218 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 :3col100_5_1.shuffled.cnf.wcnf.clone_ls_out.2110326215.txt
c ===========================
o 1146
c Initial LB: 31
c 	| 0.51    0.51   |  18/76  | 850      4  0      nan  0      nan  47      25 |         2102 | (47/352)
c 	| 1.07    0.56   |  17/76  | 850      4  0      nan  8       21  94      24 |         4416 | (102/352)
c 	| 2.22    1.15   |  14/76  | 850      4  0      nan  22      21  169     23 |         9276 | (191/352)
c 	| 4.66    2.44   |  12/76  | 850      4  0      nan  36      22  321     22 |        19480 | (20/387)
c 	| 9.79    5.13   |  11/76  | 850      4  0      nan  43      21  669     20 |        40908 | (375/387)
c 	| 20.66   10.87  |  11/76  | 850      4  0      nan  54      20  1501    21 |        85909 | (451/467)
c 	| 43.39   22.73  |   8/76  | 850      4  0      nan  60      20  3222    21 |       180409 | (548/750)
c 	| 92.82   49.43  |  10/76  | 850      4  0      nan  68      20  6768    21 |       378859 | (1227/1325)
c 	| 198.11  105.29 |   6/76  | 850      4  0      nan  82      19  14964   20 |       795604 | (1894/2835)
c 	| 421.65  223.54 |   4/76  | 850      4  0      nan  99      18  31017   19 |      1670768 | (4540/5519)
c 	| 907.58  485.93 |   3/76  | 850      4  0      nan  109     18  71569   19 |      3508615 | (7671/13007)
o 100
1805.130u 19.586s 58:04.41 52.3%	0+0k 0+0io 3pf+0w