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_pbo-routing_normalized-s4-4-3-8pb.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/pbo-routing/normalized-s4-4-3-8pb.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: 1920 vars 5575 clauses
c 521 variables cloned. 6360 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 :normalized-s4-4-3-8pb.wcnf.clone_ls_out.338143156.txt
c ===========================
o 1338
c Initial LB: 1
c 	| 63.38   63.38  |  32/521 | 5048     3  0      nan  0      nan  15424   55 |         2102 | (2248/4373)
o 54
o 52
o 50
c 	| 72.94   9.56   |  39/521 | 5048     3  113     34  19      59  16966   56 |         4416 | (3975/4373)
c 	| 91.03   18.09  |  42/521 | 5048     3  901     36  39      58  20253   55 |         9276 | (3582/5291)
c 	| 123.79  32.76  |  35/521 | 5048     3  1450    36  77      57  25592   55 |        19480 | (4043/6402)
c 	| 191.69  67.90  |  34/521 | 5048     3  2518    37  155     56  35596   57 |        40908 | (4752/8520)
c 	| 307.05  115.36 |  32/521 | 5048     3  3829    36  197     55  48145   56 |        85909 | (9940/10309)
o 48
c 	| 529.67  222.62 |  34/521 | 5048     3  8072    35  677     56  68982   54 |       180409 | (11985/15090)
o 46
o 44
1830.176u 3.290s 30:33.63 99.9%	0+0k 0+0io 3pf+0w