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-60-2_network-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-5.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: 176 vars 1265 clauses
c 50 variables cloned. 1363 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-60-2_network-5.net.wcnf.clone_ls_out.695868306.txt
c ===========================
o 63840
c Initial LB: 15026
c 	| 0.54    0.54   |  18/50  | 57       3  0      nan  0      nan  0      nan |         2102 | (0/421)
c 	| 1.14    0.60   |  17/50  | 57       3  0      nan  6       19  0      nan |         4416 | (6/421)
c 	| 2.37    1.23   |  16/50  | 57       3  0      nan  13      19  0      nan |         9276 | (13/421)
c 	| 5.27    2.90   |  16/50  | 57       3  0      nan  20      19  0      nan |        19480 | (20/421)
c 	| 11.06   5.79   |  15/50  | 57       3  0      nan  28      19  0      nan |        40908 | (28/421)
c 	| 23.28   12.22  |  14/50  | 57       3  0      nan  37      19  0      nan |        85909 | (37/421)
c 	| 48.79   25.51  |  14/50  | 57       3  0      nan  48      19  0      nan |       180409 | (48/421)
o 63835
c 	| 101.92  53.13  |  13/50  | 57       3  0      nan  59      18  0      nan |       378859 | (59/421)
c 	| 214.52  112.60 |  12/50  | 57       3  0      nan  73      18  0      nan |       795604 | (73/421)
o 63437
o 63224
o 62512
o 62296
o 62103
c 	| 449.90  235.38 |  11/50  | 57       3  0      nan  86      17  0      nan |      1670768 | (86/421)
c 	| 944.33  494.43 |   9/50  | 57       3  0      nan  100     16  0      nan |      3508615 | (100/421)
o 61804
o 61591
o 61581
o 61487
o 61388
o 61294
o 60879
o 60663
o 60470
1808.778u 15.810s 30:29.52 99.7%	0+0k 0+0io 3pf+0w