Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-80-2_network-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-9.net.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: 230 vars 1539 clauses
c 61 variables cloned. 1515 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 :random-net-80-2_network-9.net.wcnf.clone_ls_out.623188639.txt
c ===========================
o 87674
c Initial LB: 20237
o 87669
o 87618
c 	| 0.61    0.61   |  23/61  | 77       3  0      nan  0      nan  0      nan |         2102 | (0/513)
o 87141
o 87026
o 86975
c 	| 1.27    0.66   |  23/61  | 77       3  0      nan  7       26  0      nan |         4416 | (7/513)
o 86498
o 85901
o 85424
o 85373
o 84896
o 84781
o 84730
c 	| 2.65    1.38   |  22/61  | 77       3  0      nan  15      25  0      nan |         9276 | (15/513)
o 84253
o 83917
c 	| 5.44    2.79   |  21/61  | 77       3  0      nan  23      25  0      nan |        19480 | (23/513)
o 83802
o 83751
o 83274
c 	| 11.13   5.69   |  20/61  | 77       3  0      nan  32      25  0      nan |        40908 | (32/513)
o 83233
o 83182
o 82705
o 82643
o 82477
o 82000
c 	| 23.18   12.05  |  19/61  | 77       3  0      nan  38      24  0      nan |        85909 | (38/513)
o 81908
o 81431
o 81349
o 80872
o 80780
o 80303
c 	| 48.56   25.38  |  18/61  | 77       3  0      nan  51      24  0      nan |       180409 | (51/513)
c 	| 102.01  53.45  |  18/61  | 77       3  0      nan  59      24  0      nan |       378859 | (59/513)
o 80201
o 80136
o 79632
o 79597
c 	| 211.34  109.33 |  17/61  | 77       3  0      nan  69      23  0      nan |       795604 | (69/513)
c 	| 445.31  233.97 |  15/61  | 77       3  0      nan  84      22  0      nan |      1670768 | (84/513)
o 79540
o 79036
o 79001
c 	| 932.72  487.41 |  14/61  | 77       3  0      nan  98      22  0      nan |      3508615 | (98/513)
o 78877
o 78842
1809.667u 15.101s 30:27.06 99.8%	0+0k 0+0io 3pf+0w