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-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-1.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: 223 vars 1512 clauses
c 53 variables cloned. 1454 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-1.net.wcnf.clone_ls_out.1194450962.txt
c ===========================
o 84491
c Initial LB: 17525
o 79009
o 78457
o 78453
o 78001
o 77561
o 77557
o 77105
c 	| 0.71    0.71   |  22/53  | 77       3  0      nan  0      nan  0      nan |         2102 | (0/504)
o 76808
o 76804
o 76352
c 	| 1.42    0.71   |  21/53  | 77       3  0      nan  7       26  0      nan |         4416 | (7/504)
o 76003
c 	| 2.82    1.40   |  21/53  | 77       3  0      nan  13      26  0      nan |         9276 | (13/504)
o 75955
o 75403
o 75399
o 74947
o 74507
o 74503
o 74051
c 	| 6.35    3.53   |  19/53  | 77       3  0      nan  21      24  0      nan |        19480 | (21/504)
o 74018
c 	| 13.37   7.02   |  19/53  | 77       3  0      nan  28      24  0      nan |        40908 | (28/504)
c 	| 29.47   16.10  |  17/53  | 77       3  0      nan  40      23  0      nan |        85909 | (40/504)
c 	| 65.08   35.61  |  16/53  | 77       3  0      nan  53      22  0      nan |       180409 | (53/504)
o 74015
o 74011
o 73559
o 73526
c 	| 139.31  74.23  |  15/53  | 77       3  0      nan  66      21  0      nan |       378859 | (66/504)
c 	| 301.49  162.18 |  13/53  | 77       3  0      nan  80      20  0      nan |       795604 | (80/504)
o 73404
o 73371
c 	| 641.57  340.08 |  12/53  | 77       3  0      nan  88      20  0      nan |      1670768 | (88/504)
c 	| 1377.97 736.40 |  11/53  | 77       3  0      nan  101     19  0      nan |      3508615 | (101/504)
o 72945
o 72505
o 72501
o 72049
o 72016
1811.612u 13.638s 30:25.33 99.9%	0+0k 0+0io 3pf+0w