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-50-2_network-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-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: 138 vars 1004 clauses
c 35 variables cloned. 1010 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-50-2_network-6.net.wcnf.clone_ls_out.1031641839.txt
c ===========================
o 51154
c Initial LB: 9013
o 50802
o 50434
o 50024
o 49585
o 49038
c 	| 0.77    0.77   |  14/35  | 47       3  0      nan  0      nan  0      nan |         2102 | (0/334)
c 	| 1.60    0.83   |  12/35  | 47       3  0      nan  9       15  0      nan |         4416 | (9/334)
o 48720
c 	| 3.32    1.72   |  11/35  | 47       3  0      nan  17      15  0      nan |         9276 | (17/334)
o 48498
o 48009
c 	| 6.94    3.62   |  10/35  | 47       3  0      nan  24      15  0      nan |        19480 | (24/334)
o 47691
o 47469
c 	| 14.49   7.55   |   9/35  | 47       3  0      nan  34      14  0      nan |        40908 | (34/334)
c 	| 30.39   15.90  |   8/35  | 47       3  0      nan  41      13  0      nan |        85909 | (41/334)
o 47327
o 47055
o 46737
o 46515
c 	| 63.63   33.24  |   6/35  | 47       3  0      nan  52      12  0      nan |       180409 | (52/334)
c 	| 133.64  70.01  |   5/35  | 47       3  0      nan  60      12  0      nan |       378859 | (60/334)
o 46512
o 46290
c 	| 281.24  147.60 |   4/35  | 47       3  0      nan  74      12  0      nan |       795604 | (74/334)
c 	| 588.85  307.61 |   3/35  | 47       3  0      nan  83      11  0      nan |      1670768 | (83/334)
o 46268
o 46088
o 45377
o 45059
o 44917
o 44423
o 44105
o 43880
c 	| 1241.87 653.02 |   2/35  | 47       3  0      nan  97      11  0      nan |      3508615 | (97/334)
o 43858
1809.419u 14.766s 45:27.02 66.8%	0+0k 0+0io 3pf+0w