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-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-3.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: 228 vars 1638 clauses
c 57 variables cloned. 1551 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-3.net.wcnf.clone_ls_out.623188639.txt
c ===========================
o 89448
c Initial LB: 15208
o 88935
o 88540
o 88507
o 87997
o 87956
o 87727
o 87686
o 87185
o 86790
o 86757
o 86247
o 86206
o 85977
o 85936
c 	| 1.07    1.07   |  25/57  | 75       3  0      nan  0      nan  0      nan |         2102 | (0/546)
o 85757
o 85539
o 85186
c 	| 2.40    1.33   |  24/57  | 75       3  0      nan  9       28  0      nan |         4416 | (9/546)
c 	| 5.25    2.85   |  22/57  | 75       3  0      nan  18      27  0      nan |         9276 | (18/546)
o 84855
o 84822
o 84312
o 84271
o 83923
o 83882
o 83822
o 83485
o 83251
o 83156
c 	| 10.96   5.71   |  22/57  | 75       3  0      nan  24      27  0      nan |        19480 | (24/546)
o 83024
o 82983
o 82969
o 82459
o 82418
o 82189
o 82148
o 81969
o 81751
o 81398
c 	| 23.01   12.05  |  21/57  | 75       3  0      nan  31      27  0      nan |        40908 | (31/546)
c 	| 52.54   29.53  |  20/57  | 75       3  0      nan  42      26  0      nan |        85909 | (42/546)
o 81279
o 81238
c 	| 112.30  59.76  |  19/57  | 75       3  0      nan  58      24  0      nan |       180409 | (58/546)
o 81016
o 80975
o 80803
o 80624
c 	| 253.62  141.32 |  18/57  | 75       3  0      nan  69      24  0      nan |       378859 | (69/546)
o 80361
c 	| 553.31  299.69 |  17/57  | 75       3  0      nan  83      24  0      nan |       795604 | (83/546)
o 80307
o 80044
c 	| 1178.42 625.11 |  16/57  | 75       3  0      nan  95      23  0      nan |      1670768 | (95/546)
o 80019
o 79847
o 79668
o 79405
1819.307u 6.388s 30:28.01 99.8%	0+0k 0+0io 3pf+0w