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-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-5.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: 225 vars 1522 clauses
c 59 variables cloned. 1488 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-5.net.wcnf.clone_ls_out.924330947.txt
c ===========================
o 89921
c Initial LB: 18669
c 	| 0.54    0.54   |  28/59  | 76       3  0      nan  0      nan  0      nan |         2102 | (0/507)
c 	| 1.12    0.58   |  27/59  | 76       3  0      nan  9       29  0      nan |         4416 | (9/507)
o 89875
c 	| 2.34    1.22   |  26/59  | 76       3  0      nan  16      29  0      nan |         9276 | (16/507)
o 89796
o 89292
o 89209
o 89159
o 89076
o 88771
o 88638
o 88564
c 	| 4.92    2.58   |  25/59  | 76       3  0      nan  24      29  0      nan |        19480 | (24/507)
o 88418
o 88285
o 88128
o 88009
o 87995
o 87876
c 	| 10.16   5.24   |  24/59  | 76       3  0      nan  35      28  0      nan |        40908 | (35/507)
o 87802
o 87775
o 87656
o 87642
o 87523
o 87473
o 87399
o 87120
o 86830
o 86711
c 	| 20.96   10.80  |  23/59  | 76       3  0      nan  44      28  0      nan |        85909 | (44/507)
o 86637
o 86477
o 86358
c 	| 42.81   21.85  |  22/59  | 76       3  0      nan  58      28  0      nan |       180409 | (58/507)
c 	| 87.50   44.69  |  21/59  | 76       3  0      nan  71      27  0      nan |       378859 | (71/507)
o 86350
o 86231
o 86157
o 86130
o 86011
o 85997
o 85878
o 85828
o 85754
o 85475
o 85185
o 85066
o 84992
o 84832
o 84713
c 	| 183.47  95.97  |  20/59  | 76       3  0      nan  81      27  0      nan |       795604 | (81/507)
o 84619
c 	| 381.13  197.66 |  19/59  | 76       3  0      nan  92      26  0      nan |      1670768 | (92/507)
o 84404
o 84114
o 83995
o 83921
o 83761
o 83642
c 	| 797.87  416.74 |  18/59  | 76       3  0      nan  100     26  0      nan |      3508615 | (100/507)
o 83620
o 83501
o 83427
o 83148
o 82858
o 82739
o 82665
o 82505
o 82386
1807.094u 17.539s 30:28.62 99.7%	0+0k 0+0io 3pf+0w