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-100-2_network-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-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: 278 vars 2043 clauses
c 58 variables cloned. 1707 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-100-2_network-5.net.wcnf.clone_ls_out.798448167.txt
c ===========================
o 115016
c Initial LB: 36338
o 109158
o 107541
o 107178
o 107140
o 106777
o 106465
o 106102
o 106064
o 105701
o 105657
o 105656
o 105604
o 105566
o 105203
o 104891
o 104528
o 104490
o 104127
o 104083
o 103873
c 	| 1.14    1.14   |  23/58  | 94       3  0      nan  0      nan  0      nan |         2102 | (0/681)
o 103472
o 103471
o 103397
o 103233
o 102299
o 101898
o 101828
o 101664
c 	| 2.11    0.97   |  22/58  | 94       3  0      nan  6       25  0      nan |         4416 | (6/681)
o 100730
o 100329
o 100208
o 99464
o 99200
o 99079
c 	| 4.02    1.91   |  21/58  | 94       3  0      nan  15      24  0      nan |         9276 | (15/681)
c 	| 8.04    4.02   |  19/58  | 94       3  0      nan  21      24  0      nan |        19480 | (21/681)
o 98672
o 98271
o 98150
o 97406
o 97142
o 97021
c 	| 16.98   8.94   |  19/58  | 94       3  0      nan  34      24  0      nan |        40908 | (34/681)
o 96756
o 96635
o 96629
o 96508
c 	| 36.31   19.33  |  18/58  | 94       3  0      nan  45      23  0      nan |        85909 | (45/681)
c 	| 78.51   42.20  |  17/58  | 94       3  0      nan  56      22  0      nan |       180409 | (56/681)
c 	| 161.68  83.17  |  16/58  | 94       3  0      nan  68      22  0      nan |       378859 | (68/681)
o 96276
o 96155
o 95890
o 95769
o 95763
o 95642
c 	| 341.07  179.39 |  15/58  | 94       3  0      nan  84      21  0      nan |       795604 | (84/681)
o 95563
o 95442
o 95177
o 95056
o 95050
o 94929
o 94853
o 94732
o 94467
o 94346
o 94340
o 94219
c 	| 709.37  368.30 |  15/58  | 94       3  0      nan  96      21  0      nan |      1670768 | (96/681)
o 94141
o 94135
o 94014
o 93938
o 93817
o 93552
o 93431
o 93425
o 93304
1815.899u 9.925s 30:26.65 99.9%	0+0k 0+0io 3pf+0w