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-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-3.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: 290 vars 2056 clauses
c 79 variables cloned. 2131 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-3.net.wcnf.clone_ls_out.798448167.txt
c ===========================
o 114642
c Initial LB: 21462
o 113174
o 112164
o 110261
o 109251
o 109003
o 107993
o 107398
o 107173
o 106464
o 106256
o 106171
o 106114
o 105405
o 105197
o 105112
o 104710
o 104502
c 	| 0.95    0.95   |  36/79  | 97       3  0      nan  0      nan  0      nan |         2102 | (0/685)
o 104417
o 103946
o 103738
o 103653
c 	| 2.08    1.13   |  35/79  | 97       3  0      nan  7       42  0      nan |         4416 | (7/685)
o 103554
o 103346
o 103261
o 103104
o 102896
o 102811
c 	| 4.45    2.37   |  34/79  | 97       3  0      nan  14      39  0      nan |         9276 | (14/685)
c 	| 9.46    5.01   |  33/79  | 97       3  0      nan  22      38  0      nan |        19480 | (22/685)
c 	| 19.99   10.53  |  32/79  | 97       3  0      nan  32      37  0      nan |        40908 | (32/685)
o 102749
o 102664
o 102641
o 102175
o 101967
o 101882
c 	| 42.00   22.01  |  31/79  | 97       3  0      nan  41      37  0      nan |        85909 | (41/685)
o 101820
o 101735
c 	| 88.06   46.06  |  30/79  | 97       3  0      nan  54      36  0      nan |       180409 | (54/685)
o 101708
c 	| 184.83  96.77  |  29/79  | 97       3  0      nan  65      36  0      nan |       378859 | (65/685)
o 101701
o 101616
o 101575
o 101314
o 101106
o 101021
o 100980
o 100772
o 100687
c 	| 397.61  212.78 |  28/79  | 97       3  0      nan  73      36  0      nan |       795604 | (73/685)
o 100605
o 100520
o 100479
o 100271
o 100186
c 	| 846.81  449.20 |  28/79  | 97       3  0      nan  83      35  0      nan |      1670768 | (83/685)
o 100132
1817.788u 8.503s 30:28.61 99.8%	0+0k 0+0io 3pf+0w