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-syn_normalized-max1024.pi.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-syn/normalized-max1024.pi.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: 1317 vars 1952 clauses
c 496 variables cloned. 3861 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-max1024.pi.wcnf.clone_ls_out.472200351.txt
c ===========================
o 336
c Initial LB: 100
o 302
c 	| 0.42    0.42   | 199/496 | 936      6  0      nan  0      nan  0      nan |         2102 | (0/650)
c 	| 0.85    0.43   | 198/496 | 936      6  0      nan  12     200  0      nan |         4416 | (12/650)
c 	| 1.72    0.87   | 198/496 | 936      6  0      nan  20     200  0      nan |         9276 | (20/650)
c 	| 3.49    1.77   | 197/496 | 936      6  0      nan  31     200  0      nan |        19480 | (31/650)
c 	| 7.18    3.69   | 197/496 | 936      6  0      nan  45     200  0      nan |        40908 | (45/650)
c 	| 14.91   7.73   | 196/496 | 936      6  0      nan  62     200  0      nan |        85909 | (62/650)
c 	| 31.02   16.11  | 196/496 | 936      6  0      nan  76     200  0      nan |       180409 | (76/650)
c 	| 65.15   34.13  | 195/496 | 936      6  0      nan  85     199  0      nan |       378859 | (85/650)
c 	| 136.65  71.50  | 194/496 | 936      6  0      nan  98     199  0      nan |       795604 | (98/650)
c 	| 286.75  150.10 | 194/496 | 936      6  0      nan  120    199  0      nan |      1670768 | (120/650)
o 301
1808.841u 23.066s 30:36.14 99.7%	0+0k 0+0io 3pf+0w