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-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-3.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: 170 vars 1228 clauses
c 46 variables cloned. 1157 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-3.net.wcnf.clone_ls_out.1259473070.txt
c ===========================
o 70356
c Initial LB: 10992
c 	| 0.55    0.55   |  20/46  | 55       3  0      nan  0      nan  0      nan |         2102 | (0/409)
c 	| 1.17    0.62   |  19/46  | 55       3  0      nan  6       20  0      nan |         4416 | (6/409)
c 	| 2.44    1.27   |  18/46  | 55       3  0      nan  11      20  0      nan |         9276 | (11/409)
o 70054
o 69998
c 	| 5.08    2.64   |  17/46  | 55       3  0      nan  20      20  0      nan |        19480 | (20/409)
o 69643
o 69587
o 69255
o 69199
o 69057
o 68590
o 68534
c 	| 10.44   5.36   |  16/46  | 55       3  0      nan  29      20  0      nan |        40908 | (29/409)
o 68530
o 68474
o 68142
o 68086
o 67944
o 67477
o 67421
o 66867
o 66400
o 66344
c 	| 21.18   10.74  |  15/46  | 55       3  0      nan  36      20  0      nan |        85909 | (36/409)
o 66202
o 65735
o 65679
o 65324
o 65268
o 64936
o 64880
o 64738
o 64271
o 64215
c 	| 46.05   24.87  |  14/46  | 55       3  0      nan  45      19  0      nan |       180409 | (45/409)
o 64202
o 64146
o 64004
o 63537
o 63481
c 	| 97.05   51.00  |  13/46  | 55       3  0      nan  58      19  0      nan |       378859 | (58/409)
o 63426
o 62959
o 62903
o 62692
o 62225
o 62169
c 	| 208.74  111.69 |  12/46  | 55       3  0      nan  67      19  0      nan |       795604 | (67/409)
o 61998
o 61942
o 61731
o 61684
o 61264
o 61208
c 	| 437.47  228.73 |  11/46  | 55       3  0      nan  78      18  0      nan |      1670768 | (78/409)
c 	| 927.10  489.63 |  10/46  | 55       3  0      nan  84      18  0      nan |      3508615 | (84/409)
o 60995
o 60681
o 60261
1809.390u 14.800s 30:28.82 99.7%	0+0k 0+0io 3pf+0w