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-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-2.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: 175 vars 1400 clauses
c 39 variables cloned. 1238 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-2.net.wcnf.clone_ls_out.1259473070.txt
c ===========================
o 68764
c Initial LB: 16399
o 67587
o 67269
c 	| 1.28    1.28   |  14/39  | 57       3  0      nan  0      nan  0      nan |         2102 | (0/466)
o 66554
o 66236
c 	| 2.64    1.36   |  13/39  | 57       3  0      nan  8       16  0      nan |         4416 | (8/466)
c 	| 5.51    2.87   |  12/39  | 57       3  0      nan  15      17  0      nan |         9276 | (15/466)
o 64585
o 64267
o 63552
o 63234
c 	| 11.51   6.00   |  12/39  | 57       3  0      nan  25      16  0      nan |        19480 | (25/466)
o 62990
o 62275
o 61957
c 	| 23.44   11.93  |  11/39  | 57       3  0      nan  39      15  0      nan |        40908 | (39/466)
c 	| 49.55   26.11  |  10/39  | 57       3  0      nan  48      15  0      nan |        85909 | (48/466)
o 61783
o 61721
c 	| 103.24  53.69  |   9/39  | 57       3  0      nan  56      14  0      nan |       180409 | (56/466)
o 61547
c 	| 215.14  111.90 |   7/39  | 57       3  0      nan  72      14  0      nan |       378859 | (72/466)
o 61505
o 61187
o 60943
o 60228
o 59910
o 59736
c 	| 452.91  237.77 |   6/39  | 57       3  0      nan  83      13  0      nan |       795604 | (83/466)
o 59674
o 59500
c 	| 940.40  487.49 |   5/39  | 57       3  0      nan  99      13  0      nan |      1670768 | (99/466)
o 59472
o 59154
o 59147
o 58829
o 58775
o 58635
o 58457
o 58317
o 58221
o 58081
1816.709u 7.920s 30:28.21 99.8%	0+0k 0+0io 3pf+0w