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-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-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: 224 vars 1525 clauses
c 50 variables cloned. 1299 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-6.net.wcnf.clone_ls_out.623188639.txt
c ===========================
o 84556
c Initial LB: 24954
o 84293
o 83431
o 82023
o 81074
o 81069
o 80302
o 80297
o 79629
o 79624
o 79364
o 79359
o 79248
o 79243
o 78983
o 78978
o 78635
o 78630
o 78370
o 78365
c 	| 0.92    0.92   |  22/50  | 74       3  0      nan  0      nan  0      nan |         2102 | (0/508)
o 77943
o 77938
o 77562
o 77557
c 	| 1.74    0.82   |  21/50  | 74       3  0      nan  11      23  0      nan |         4416 | (11/508)
o 76949
o 76944
c 	| 3.37    1.63   |  19/50  | 74       3  0      nan  18      23  0      nan |         9276 | (18/508)
c 	| 6.76    3.39   |  19/50  | 74       3  0      nan  29      23  0      nan |        19480 | (29/508)
c 	| 13.80   7.04   |  18/50  | 74       3  0      nan  38      22  0      nan |        40908 | (38/508)
c 	| 28.67   14.87  |  17/50  | 74       3  0      nan  48      22  0      nan |        85909 | (48/508)
o 76858
o 76853
o 76477
o 76472
o 75864
o 75859
c 	| 63.75   35.08  |  16/50  | 74       3  0      nan  57      22  0      nan |       180409 | (57/508)
o 75606
o 75601
c 	| 177.43  113.68 |  16/50  | 74       3  0      nan  61      22  0      nan |       378859 | (61/508)
c 	| 402.14  224.71 |  15/50  | 74       3  0      nan  73      21  0      nan |       795604 | (73/508)
c 	| 868.76  466.62 |  13/50  | 74       3  0      nan  90      21  0      nan |      1670768 | (90/508)
o 75454
o 75449
o 75365
o 75360
o 75257
o 75252
o 74590
o 74585
o 74280
o 74275
o 74022
o 74017
1817.324u 8.053s 30:27.27 99.8%	0+0k 0+0io 3pf+0w