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-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-4.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: 224 vars 1757 clauses
c 56 variables cloned. 1790 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-4.net.wcnf.clone_ls_out.623188639.txt
c ===========================
o 96130
c Initial LB: 28557
o 95768
o 94428
o 93980
o 93392
o 92720
o 92127
o 92088
o 91500
o 90828
o 90235
o 90098
c 	| 0.55    0.55   |  25/56  | 72       3  0      nan  0      nan  0      nan |         2102 | (0/585)
o 89505
o 89189
c 	| 1.11    0.56   |  24/56  | 72       3  0      nan  10      28  0      nan |         4416 | (10/585)
o 89130
o 88814
c 	| 2.31    1.20   |  23/56  | 72       3  0      nan  16      27  0      nan |         9276 | (16/585)
o 88764
c 	| 4.80    2.49   |  21/56  | 72       3  0      nan  28      26  0      nan |        19480 | (28/585)
o 88734
o 88418
o 88359
o 88043
o 87993
c 	| 10.04   5.24   |  20/56  | 72       3  0      nan  32      26  0      nan |        40908 | (32/585)
c 	| 21.03   10.99  |  19/56  | 72       3  0      nan  40      25  0      nan |        85909 | (40/585)
o 87849
o 87790
o 87474
o 87424
o 87340
c 	| 44.13   23.10  |  19/56  | 72       3  0      nan  45      25  0      nan |       180409 | (45/585)
o 87290
c 	| 92.85   48.72  |  17/56  | 72       3  0      nan  57      24  0      nan |       378859 | (57/585)
o 87000
o 86941
o 86625
o 86575
o 86431
o 86372
o 86056
o 86006
o 85922
o 85872
c 	| 196.39  103.54 |  16/56  | 72       3  0      nan  68      24  0      nan |       795604 | (68/585)
c 	| 416.03  219.64 |  15/56  | 72       3  0      nan  78      23  0      nan |      1670768 | (78/585)
o 85725
o 85675
o 85472
o 85156
o 85106
o 85022
o 84972
o 84898
o 84848
c 	| 875.31  459.28 |  15/56  | 72       3  0      nan  92      23  0      nan |      3508615 | (92/585)
o 84766
o 84716
o 84632
o 84582
1808.927u 16.587s 30:29.12 99.8%	0+0k 0+0io 3pf+0w