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-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-7.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: 239 vars 1773 clauses
c 59 variables cloned. 1607 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-7.net.wcnf.clone_ls_out.623188639.txt
c ===========================
o 95001
c Initial LB: 21977
c 	| 1.00    1.00   |  25/59  | 77       3  0      nan  0      nan  0      nan |         2102 | (0/591)
c 	| 2.07    1.07   |  24/59  | 77       3  0      nan  7       27  0      nan |         4416 | (7/591)
c 	| 4.28    2.21   |  23/59  | 77       3  0      nan  14      27  0      nan |         9276 | (14/591)
c 	| 8.91    4.63   |  23/59  | 77       3  0      nan  22      27  0      nan |        19480 | (22/591)
o 94784
o 94739
c 	| 18.54   9.63   |  22/59  | 77       3  0      nan  31      26  0      nan |        40908 | (31/591)
o 94518
o 94304
o 94259
o 94252
o 93822
o 93777
o 93734
o 93297
o 93252
c 	| 38.78   20.24  |  21/59  | 77       3  0      nan  36      26  0      nan |        85909 | (36/591)
c 	| 80.69   41.91  |  20/59  | 77       3  0      nan  51      25  0      nan |       180409 | (51/591)
o 92927
o 92882
c 	| 168.73  88.04  |  19/59  | 77       3  0      nan  60      25  0      nan |       378859 | (60/591)
o 92661
o 92447
o 92402
o 92395
o 91965
o 91920
o 91877
o 91440
o 91395
c 	| 352.89  184.16 |  18/59  | 77       3  0      nan  71      25  0      nan |       795604 | (71/591)
o 91354
c 	| 739.19  386.30 |  17/59  | 77       3  0      nan  81      24  0      nan |      1670768 | (81/591)
o 91095
o 91050
o 91007
o 90570
o 90525
c 	| 1541.92 802.73 |  17/59  | 77       3  0      nan  90      24  0      nan |      3508615 | (90/591)
o 90484
1815.695u 9.452s 30:28.57 99.8%	0+0k 0+0io 3pf+0w