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_c2670_F19@1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-mtg/c2670_F19@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: 1288 vars 3557 clauses
c 323 variables cloned. 2429 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 :c2670_F19@1.wcnf.clone_ls_out.1411253229.txt
c ===========================
o 550
c Initial LB: 6
o 42
c 	| 0.77    0.77   |  33/323 | 2669     2  475     35  0      nan  7        6 |         2102 | (479/1185)
o 41
o 40
c 	| 1.64    0.87   |  30/323 | 2669     2  1299    36  5       36  8        9 |         4416 | (721/1303)
c 	| 2.66    1.02   |  27/323 | 2669     2  1490    36  10      34  14      19 |         9276 | (1010/1303)
c 	| 4.59    1.93   |  25/323 | 2669     2  1618    36  17      33  33      25 |        19480 | (1222/1303)
c 	| 8.63    4.04   |  23/323 | 2669     2  1977    36  23      32  76      27 |        40908 | (681/1433)
c 	| 16.77   8.14   |  21/323 | 2669     2  2336    36  29      31  180     28 |        85909 | (1272/1433)
c 	| 33.56   16.79  |  20/323 | 2669     2  2539    36  37      30  427     27 |       180409 | (422/1576)
c 	| 68.81   35.25  |  18/323 | 2669     2  2945    36  44      29  998     27 |       378859 | (1534/1576)
c 	| 142.93  74.12  |  17/323 | 2669     2  4821    36  52      28  2252    26 |       795604 | (1630/1906)
c 	| 299.96  157.03 |  15/323 | 2669     2  9325    36  61      27  4920    26 |      1670768 | (2078/3372)
c 	| 635.67  335.71 |  15/323 | 2669     2  17295   36  70      27  10842   25 |      3508615 | (4287/5969)
c 	| 1339.70 704.03 |  13/323 | 2669     2  26811   36  77      26  23336   25 |      7368092 | (8899/9610)
o 39
1807.031u 24.075s 30:36.94 99.6%	0+0k 0+0io 3pf+0w