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-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-2.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: 219 vars 1596 clauses
c 52 variables cloned. 1467 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-2.net.wcnf.clone_ls_out.1194450962.txt
c ===========================
o 92389
c Initial LB: 20113
o 91373
o 90553
o 89773
o 89491
o 89430
o 88610
o 87830
o 87548
o 87359
c 	| 1.04    1.04   |  20/52  | 73       3  0      nan  0      nan  0      nan |         2102 | (0/532)
o 86748
o 85968
o 85416
c 	| 2.15    1.11   |  19/52  | 73       3  0      nan  7       22  0      nan |         4416 | (7/532)
o 85020
o 84468
c 	| 4.43    2.28   |  18/52  | 73       3  0      nan  15      22  0      nan |         9276 | (15/532)
o 84114
o 83334
o 83052
o 82863
o 82252
o 81472
o 80920
c 	| 9.25    4.82   |  17/52  | 73       3  0      nan  25      21  0      nan |        19480 | (25/532)
c 	| 18.93   9.68   |  16/52  | 73       3  0      nan  36      21  0      nan |        40908 | (36/532)
o 80829
o 80277
c 	| 39.42   20.49  |  15/52  | 73       3  0      nan  42      21  0      nan |        85909 | (42/532)
c 	| 82.16   42.74  |  14/52  | 73       3  0      nan  52      20  0      nan |       180409 | (52/532)
o 80252
o 80052
o 79500
c 	| 171.64  89.48  |  13/52  | 73       3  0      nan  68      19  0      nan |       378859 | (68/532)
c 	| 355.03  183.39 |  12/52  | 73       3  0      nan  81      19  0      nan |       795604 | (81/532)
o 79465
o 78913
c 	| 744.07  389.04 |  11/52  | 73       3  0      nan  89      19  0      nan |      1670768 | (89/532)
o 78877
o 78844
o 78732
o 78444
o 78290
o 78257
o 78124
c 	| 1560.64 816.57 |  10/52  | 73       3  0      nan  100     18  0      nan |      3508615 | (100/532)
o 78089
o 77537
1815.093u 9.923s 30:28.96 99.7%	0+0k 0+0io 3pf+0w