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-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-6.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: 178 vars 1258 clauses
c 38 variables cloned. 1119 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-6.net.wcnf.clone_ls_out.2076987850.txt
c ===========================
o 63915
c Initial LB: 18962
o 63911
o 63252
o 63037
o 62833
o 62174
c 	| 0.89    0.89   |  13/38  | 57       3  0      nan  0      nan  0      nan |         2102 | (0/419)
o 62025
c 	| 1.86    0.97   |  12/38  | 57       3  0      nan  5       14  0      nan |         4416 | (5/419)
o 61906
o 61811
o 61802
c 	| 3.88    2.02   |  11/38  | 57       3  0      nan  12      14  0      nan |         9276 | (12/419)
o 61662
o 61543
o 61534
o 61507
c 	| 8.17    4.29   |  10/38  | 57       3  0      nan  24      13  0      nan |        19480 | (24/419)
o 61399
c 	| 17.59   9.42   |   8/38  | 57       3  0      nan  37      12  0      nan |        40908 | (37/419)
o 61313
o 61164
o 61045
o 61000
o 60754
o 60605
o 60486
c 	| 36.76   19.17  |   7/38  | 57       3  0      nan  46      13  0      nan |        85909 | (46/419)
o 60407
o 59994
o 59845
o 59726
c 	| 78.71   41.95  |   6/38  | 57       3  0      nan  57      12  0      nan |       180409 | (57/419)
o 59450
o 59348
o 59269
o 58979
o 58707
o 58588
c 	| 165.93  87.22  |   5/38  | 57       3  0      nan  63      12  0      nan |       378859 | (63/419)
o 58312
c 	| 357.62  191.69 |   4/38  | 57       3  0      nan  74      11  0      nan |       795604 | (74/419)
o 58241
o 58122
o 57984
o 57846
c 	| 796.88  439.26 |   2/38  | 57       3  0      nan  86      11  0      nan |      1670768 | (86/419)
o 57842
o 57723
o 57632
o 57447
o 57429
o 57374
o 57103
o 57102
o 56831
o 56712
o 56707
o 56436
1814.992u 8.996s 30:23.76 100.0%	0+0k 0+0io 3pf+0w