Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | -26710 | 1800.01 | 1794.07 |
Name | /OPT-BIGINT-LIN/heinz/ normalized-opm2-z11-s8.opb |
MD5SUM | 9014f307b4266a1d3ed4d1915c3fbd07 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -28803 |
Best CPU time to get the best result obtained on this benchmark | 1800.67 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 8019 |
Total number of constraints | 223082 |
Number of constraints which are clauses | 223074 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8018 |
Number of terms in the objective function | 7959 |
Biggest coefficient in the objective function | 526 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 1025025 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 2853664 |
Number of bits of the biggest number in a constraint | 22 |
Biggest sum of numbers in a constraint | 19481292 |
Number of bits of the biggest sum of numbers | 25 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.06/0.30 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.06/0.30 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.30 c See www.sat4j.org for details. 0.06/0.30 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.06/0.31 c version 2.3.2.v20120418 0.06/0.31 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.31 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.31 c java.vm.version 19.1-b02 0.06/0.31 c java.vm.vendor Sun Microsystems Inc. 0.06/0.31 c sun.arch.data.model 64 0.06/0.31 c java.version 1.6.0_24 0.06/0.31 c os.name Linux 0.06/0.31 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.31 c os.arch amd64 0.06/0.31 c Free memory 501472288 0.06/0.31 c Max memory 7480803328 0.06/0.31 c Total memory 504102912 0.06/0.31 c Number of processors 8 0.06/0.36 c read org.sat4j.minisat.orders.VarOrderHeap 0.06/0.36 c configuring ORDERS 0.06/0.37 c --- Begin Solver configuration --- 0.06/0.37 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.06/0.37 c Learn all clauses as in MiniSAT 0.06/0.37 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.37 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.06/0.37 c Expensive reason simplification 0.06/0.37 c Armin Biere (Picosat) restarts strategy 0.06/0.37 c Glucose learned constraints deletion strategy 0.06/0.37 c timeout=2147483s 0.06/0.37 c DB Simplification allowed=true 0.06/0.37 c Heuristics kept accross calls (keep the solver "hot") 0.06/0.37 c --- End Solver configuration --- 0.06/0.37 c solving HOME/instance-3710297-1338207428.opb 0.06/0.37 c reading problem ... 1.99/1.54 c ... done. Wall clock time 1.171s. 1.99/1.54 c declared #vars 8019 1.99/1.54 c #constraints 223082 1.99/1.54 c constraints type 1.99/1.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 223074 1.99/1.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8 1.99/1.54 c 223082 constraints processed. 2.15/1.66 c SATISFIABLE 2.15/1.66 c OPTIMIZING... 2.15/1.66 c Got one! Elapsed wall clock time (in seconds):1.292 2.15/1.66 o 0 2.36/1.77 c Got one! Elapsed wall clock time (in seconds):1.381 2.36/1.77 o -28 2.62/1.80 c Got one! Elapsed wall clock time (in seconds):1.433 2.62/1.80 o -41 2.62/1.84 c Got one! Elapsed wall clock time (in seconds):1.468 2.62/1.84 o -73 2.62/1.87 c Got one! Elapsed wall clock time (in seconds):1.501 2.62/1.87 o -85 2.85/1.90 c Got one! Elapsed wall clock time (in seconds):1.531 2.85/1.90 o -106 2.85/1.93 c Got one! Elapsed wall clock time (in seconds):1.56 2.85/1.93 o -109 2.85/1.96 c Got one! Elapsed wall clock time (in seconds):1.588 2.85/1.96 o -111 2.85/1.98 c Got one! Elapsed wall clock time (in seconds):1.616 2.85/1.98 o -112 2.95/2.01 c Got one! Elapsed wall clock time (in seconds):1.644 2.95/2.01 o -114 2.95/2.04 c Got one! Elapsed wall clock time (in seconds):1.672 2.95/2.04 o -119 2.95/2.07 c Got one! Elapsed wall clock time (in seconds):1.7 2.95/2.07 o -121 2.95/2.10 c Got one! Elapsed wall clock time (in seconds):1.729 2.95/2.10 o -123 3.06/2.13 c Got one! Elapsed wall clock time (in seconds):1.757 3.06/2.13 o -130 3.06/2.15 c Got one! Elapsed wall clock time (in seconds):1.785 3.06/2.15 o -142 3.06/2.18 c Got one! Elapsed wall clock time (in seconds):1.813 3.06/2.18 o -148 3.16/2.21 c Got one! Elapsed wall clock time (in seconds):1.842 3.16/2.21 o -150 3.16/2.24 c Got one! Elapsed wall clock time (in seconds):1.87 3.16/2.24 o -153 3.16/2.27 c Got one! Elapsed wall clock time (in seconds):1.9 3.16/2.27 o -162 3.16/2.30 c Got one! Elapsed wall clock time (in seconds):1.928 3.16/2.30 o -167 3.25/2.32 c Got one! Elapsed wall clock time (in seconds):1.956 3.25/2.32 o -176 3.25/2.35 c Got one! Elapsed wall clock time (in seconds):1.984 3.25/2.35 o -177 3.25/2.38 c Got one! Elapsed wall clock time (in seconds):2.013 3.25/2.38 o -180 3.35/2.41 c Got one! Elapsed wall clock time (in seconds):2.041 3.35/2.41 o -186 3.35/2.44 c Got one! Elapsed wall clock time (in seconds):2.069 3.35/2.44 o -188 3.35/2.47 c Got one! Elapsed wall clock time (in seconds):2.098 3.35/2.47 o -194 3.35/2.49 c Got one! Elapsed wall clock time (in seconds):2.126 3.35/2.49 o -197 3.45/2.52 c Got one! Elapsed wall clock time (in seconds):2.154 3.45/2.52 o -203 3.45/2.55 c Got one! Elapsed wall clock time (in seconds):2.182 3.45/2.55 o -206 3.45/2.58 c Got one! Elapsed wall clock time (in seconds):2.211 3.45/2.58 o -218 3.55/2.61 c Got one! Elapsed wall clock time (in seconds):2.239 3.55/2.61 o -221 3.55/2.64 c Got one! Elapsed wall clock time (in seconds):2.268 3.55/2.64 o -227 3.55/2.66 c Got one! Elapsed wall clock time (in seconds):2.296 3.55/2.66 o -229 3.55/2.69 c Got one! Elapsed wall clock time (in seconds):2.324 3.55/2.69 o -243 3.65/2.72 c Got one! Elapsed wall clock time (in seconds):2.352 3.65/2.72 o -248 3.65/2.75 c Got one! Elapsed wall clock time (in seconds):2.38 3.65/2.75 o -256 3.65/2.78 c Got one! Elapsed wall clock time (in seconds):2.409 3.65/2.78 o -257 3.75/2.81 c Got one! Elapsed wall clock time (in seconds):2.437 3.75/2.81 o -269 3.75/2.83 c Got one! Elapsed wall clock time (in seconds):2.465 3.75/2.83 o -271 3.75/2.86 c Got one! Elapsed wall clock time (in seconds):2.493 3.75/2.86 o -272 3.94/2.92 c Got one! Elapsed wall clock time (in seconds):2.554 3.94/2.92 o -297 3.94/2.94 c Got one! Elapsed wall clock time (in seconds):2.574 3.94/2.94 o -318 3.94/2.96 c Got one! Elapsed wall clock time (in seconds):2.594 3.94/2.96 o -319 3.94/2.98 c Got one! Elapsed wall clock time (in seconds):2.615 3.94/2.98 o -326 4.04/3.00 c Got one! Elapsed wall clock time (in seconds):2.635 4.04/3.00 o -328 4.04/3.02 c Got one! Elapsed wall clock time (in seconds):2.655 4.04/3.02 o -335 4.04/3.04 c Got one! Elapsed wall clock time (in seconds):2.676 4.04/3.04 o -338 4.04/3.06 c Got one! Elapsed wall clock time (in seconds):2.696 4.04/3.06 o -341 4.04/3.08 c Got one! Elapsed wall clock time (in seconds):2.716 4.04/3.08 o -344 4.14/3.11 c Got one! Elapsed wall clock time (in seconds):2.737 4.14/3.11 o -346 4.14/3.13 c Got one! Elapsed wall clock time (in seconds):2.757 4.14/3.13 o -348 4.14/3.15 c Got one! Elapsed wall clock time (in seconds):2.777 4.14/3.15 o -349 4.14/3.17 c Got one! Elapsed wall clock time (in seconds):2.797 4.14/3.17 o -357 4.14/3.19 c Got one! Elapsed wall clock time (in seconds):2.818 4.14/3.19 o -360 4.25/3.21 c Got one! Elapsed wall clock time (in seconds):2.839 4.25/3.21 o -361 4.25/3.23 c Got one! Elapsed wall clock time (in seconds):2.859 4.25/3.23 o -365 4.25/3.25 c Got one! Elapsed wall clock time (in seconds):2.879 4.25/3.25 o -366 4.25/3.27 c Got one! Elapsed wall clock time (in seconds):2.899 4.25/3.27 o -381 4.25/3.29 c Got one! Elapsed wall clock time (in seconds):2.92 4.25/3.29 o -390 4.35/3.31 c Got one! Elapsed wall clock time (in seconds):2.94 4.35/3.31 o -399 4.35/3.33 c Got one! Elapsed wall clock time (in seconds):2.96 4.35/3.33 o -402 4.35/3.35 c Got one! Elapsed wall clock time (in seconds):2.98 4.35/3.35 o -408 4.35/3.37 c Got one! Elapsed wall clock time (in seconds):3.0 4.35/3.37 o -426 4.35/3.39 c Got one! Elapsed wall clock time (in seconds):3.021 4.35/3.39 o -429 4.45/3.41 c Got one! Elapsed wall clock time (in seconds):3.042 4.45/3.41 o -447 4.45/3.43 c Got one! Elapsed wall clock time (in seconds):3.062 4.45/3.43 o -448 4.45/3.45 c Got one! Elapsed wall clock time (in seconds):3.083 4.45/3.45 o -451 4.45/3.47 c Got one! Elapsed wall clock time (in seconds):3.103 4.45/3.47 o -470 4.45/3.49 c Got one! Elapsed wall clock time (in seconds):3.123 4.45/3.49 o -471 4.56/3.51 c Got one! Elapsed wall clock time (in seconds):3.144 4.56/3.51 o -474 4.56/3.53 c Got one! Elapsed wall clock time (in seconds):3.164 4.56/3.53 o -476 4.56/3.55 c Got one! Elapsed wall clock time (in seconds):3.185 4.56/3.55 o -488 4.56/3.57 c Got one! Elapsed wall clock time (in seconds):3.205 4.56/3.57 o -490 4.56/3.59 c Got one! Elapsed wall clock time (in seconds):3.225 4.56/3.59 o -493 4.66/3.61 c Got one! Elapsed wall clock time (in seconds):3.246 4.66/3.61 o -494 4.66/3.63 c Got one! Elapsed wall clock time (in seconds):3.266 4.66/3.63 o -496 4.66/3.66 c Got one! Elapsed wall clock time (in seconds):3.286 4.66/3.66 o -497 4.66/3.68 c Got one! Elapsed wall clock time (in seconds):3.307 4.66/3.68 o -498 4.66/3.70 c Got one! Elapsed wall clock time (in seconds):3.327 4.66/3.70 o -500 4.76/3.72 c Got one! Elapsed wall clock time (in seconds):3.348 4.76/3.72 o -501 4.76/3.74 c Got one! Elapsed wall clock time (in seconds):3.368 4.76/3.74 o -502 4.76/3.76 c Got one! Elapsed wall clock time (in seconds):3.388 4.76/3.76 o -503 4.76/3.78 c Got one! Elapsed wall clock time (in seconds):3.408 4.76/3.78 o -505 4.86/3.80 c Got one! Elapsed wall clock time (in seconds):3.429 4.86/3.80 o -506 4.86/3.82 c Got one! Elapsed wall clock time (in seconds):3.449 4.86/3.82 o -507 4.86/3.84 c Got one! Elapsed wall clock time (in seconds):3.47 4.86/3.84 o -508 4.86/3.86 c Got one! Elapsed wall clock time (in seconds):3.49 4.86/3.86 o -511 4.86/3.88 c Got one! Elapsed wall clock time (in seconds):3.511 4.86/3.88 o -513 4.96/3.90 c Got one! Elapsed wall clock time (in seconds):3.531 4.96/3.90 o -514 4.96/3.92 c Got one! Elapsed wall clock time (in seconds):3.552 4.96/3.92 o -515 4.96/3.94 c Got one! Elapsed wall clock time (in seconds):3.572 4.96/3.94 o -516 4.96/3.96 c Got one! Elapsed wall clock time (in seconds):3.593 4.96/3.96 o -521 4.96/3.98 c Got one! Elapsed wall clock time (in seconds):3.613 4.96/3.98 o -525 5.06/4.00 c Got one! Elapsed wall clock time (in seconds):3.634 5.06/4.00 o -527 5.06/4.02 c Got one! Elapsed wall clock time (in seconds):3.654 5.06/4.02 o -529 5.06/4.04 c Got one! Elapsed wall clock time (in seconds):3.675 5.06/4.04 o -531 5.06/4.06 c Got one! Elapsed wall clock time (in seconds):3.695 5.06/4.06 o -532 5.06/4.08 c Got one! Elapsed wall clock time (in seconds):3.716 5.06/4.08 o -534 5.16/4.10 c Got one! Elapsed wall clock time (in seconds):3.736 5.16/4.10 o -535 5.16/4.13 c Got one! Elapsed wall clock time (in seconds):3.757 5.16/4.13 o -537 5.16/4.15 c Got one! Elapsed wall clock time (in seconds):3.777 5.16/4.15 o -539 5.16/4.17 c Got one! Elapsed wall clock time (in seconds):3.797 5.16/4.17 o -544 5.16/4.19 c Got one! Elapsed wall clock time (in seconds):3.818 5.16/4.19 o -546 5.26/4.21 c Got one! Elapsed wall clock time (in seconds):3.838 5.26/4.21 o -548 5.26/4.23 c Got one! Elapsed wall clock time (in seconds):3.858 5.26/4.23 o -550 5.26/4.25 c Got one! Elapsed wall clock time (in seconds):3.879 5.26/4.25 o -551 5.26/4.27 c Got one! Elapsed wall clock time (in seconds):3.899 5.26/4.27 o -553 5.26/4.29 c Got one! Elapsed wall clock time (in seconds):3.92 5.26/4.29 o -555 5.37/4.31 c Got one! Elapsed wall clock time (in seconds):3.94 5.37/4.31 o -557 5.37/4.33 c Got one! Elapsed wall clock time (in seconds):3.96 5.37/4.33 o -559 5.37/4.35 c Got one! Elapsed wall clock time (in seconds):3.98 5.37/4.35 o -560 5.37/4.37 c Got one! Elapsed wall clock time (in seconds):4.001 5.37/4.37 o -562 5.37/4.39 c Got one! Elapsed wall clock time (in seconds):4.022 5.37/4.39 o -564 5.47/4.41 c Got one! Elapsed wall clock time (in seconds):4.043 5.47/4.41 o -565 5.47/4.43 c Got one! Elapsed wall clock time (in seconds):4.063 5.47/4.43 o -566 5.47/4.45 c Got one! Elapsed wall clock time (in seconds):4.083 5.47/4.45 o -567 5.47/4.47 c Got one! Elapsed wall clock time (in seconds):4.104 5.47/4.47 o -569 5.47/4.49 c Got one! Elapsed wall clock time (in seconds):4.124 5.47/4.49 o -571 5.56/4.51 c Got one! Elapsed wall clock time (in seconds):4.144 5.56/4.51 o -572 5.56/4.53 c Got one! Elapsed wall clock time (in seconds):4.164 5.56/4.53 o -574 5.56/4.55 c Got one! Elapsed wall clock time (in seconds):4.185 5.56/4.55 o -576 5.56/4.57 c Got one! Elapsed wall clock time (in seconds):4.205 5.56/4.57 o -578 5.56/4.59 c Got one! Elapsed wall clock time (in seconds):4.225 5.56/4.59 o -579 5.66/4.61 c Got one! Elapsed wall clock time (in seconds):4.245 5.66/4.61 o -580 5.66/4.63 c Got one! Elapsed wall clock time (in seconds):4.266 5.66/4.63 o -582 5.66/4.65 c Got one! Elapsed wall clock time (in seconds):4.286 5.66/4.65 o -583 5.66/4.67 c Got one! Elapsed wall clock time (in seconds):4.306 5.66/4.67 o -585 5.66/4.70 c Got one! Elapsed wall clock time (in seconds):4.327 5.66/4.70 o -586 5.76/4.72 c Got one! Elapsed wall clock time (in seconds):4.347 5.76/4.72 o -588 5.76/4.74 c Got one! Elapsed wall clock time (in seconds):4.367 5.76/4.74 o -590 5.76/4.76 c Got one! Elapsed wall clock time (in seconds):4.387 5.76/4.76 o -591 5.76/4.78 c Got one! Elapsed wall clock time (in seconds):4.408 5.76/4.78 o -592 5.95/4.83 c Got one! Elapsed wall clock time (in seconds):4.46 5.95/4.83 o -593 5.95/4.85 c Got one! Elapsed wall clock time (in seconds):4.481 5.95/4.85 o -596 5.95/4.87 c Got one! Elapsed wall clock time (in seconds):4.501 5.95/4.87 o -599 5.95/4.89 c Got one! Elapsed wall clock time (in seconds):4.521 5.95/4.89 o -605 6.05/4.91 c Got one! Elapsed wall clock time (in seconds):4.542 6.05/4.91 o -606 6.05/4.93 c Got one! Elapsed wall clock time (in seconds):4.562 6.05/4.93 o -609 6.05/4.95 c Got one! Elapsed wall clock time (in seconds):4.583 6.05/4.95 o -610 6.05/4.97 c Got one! Elapsed wall clock time (in seconds):4.603 6.05/4.97 o -611 6.05/4.99 c Got one! Elapsed wall clock time (in seconds):4.624 6.05/4.99 o -612 6.15/5.01 c Got one! Elapsed wall clock time (in seconds):4.644 6.15/5.01 o -613 6.15/5.03 c Got one! Elapsed wall clock time (in seconds):4.664 6.15/5.03 o -615 6.15/5.05 c Got one! Elapsed wall clock time (in seconds):4.685 6.15/5.05 o -618 6.15/5.07 c Got one! Elapsed wall clock time (in seconds):4.705 6.15/5.07 o -623 6.15/5.09 c Got one! Elapsed wall clock time (in seconds):4.725 6.15/5.09 o -624 6.25/5.11 c Got one! Elapsed wall clock time (in seconds):4.746 6.25/5.11 o -626 6.25/5.13 c Got one! Elapsed wall clock time (in seconds):4.766 6.25/5.13 o -628 6.25/5.15 c Got one! Elapsed wall clock time (in seconds):4.786 6.25/5.15 o -630 6.25/5.18 c Got one! Elapsed wall clock time (in seconds):4.807 6.25/5.18 o -636 6.25/5.20 c Got one! Elapsed wall clock time (in seconds):4.827 6.25/5.20 o -642 6.35/5.22 c Got one! Elapsed wall clock time (in seconds):4.847 6.35/5.22 o -646 6.35/5.24 c Got one! Elapsed wall clock time (in seconds):4.867 6.35/5.24 o -647 6.35/5.26 c Got one! Elapsed wall clock time (in seconds):4.888 6.35/5.26 o -648 6.35/5.28 c Got one! Elapsed wall clock time (in seconds):4.908 6.35/5.28 o -649 6.45/5.30 c Got one! Elapsed wall clock time (in seconds):4.928 6.45/5.30 o -651 6.45/5.32 c Got one! Elapsed wall clock time (in seconds):4.948 6.45/5.32 o -654 6.45/5.34 c Got one! Elapsed wall clock time (in seconds):4.969 6.45/5.34 o -659 6.45/5.36 c Got one! Elapsed wall clock time (in seconds):4.989 6.45/5.36 o -662 6.45/5.38 c Got one! Elapsed wall clock time (in seconds):5.009 6.45/5.38 o -663 6.45/5.40 c Got one! Elapsed wall clock time (in seconds):5.029 6.45/5.40 o -664 6.56/5.42 c Got one! Elapsed wall clock time (in seconds):5.049 6.56/5.42 o -665 6.56/5.44 c Got one! Elapsed wall clock time (in seconds):5.07 6.56/5.44 o -666 6.56/5.46 c Got one! Elapsed wall clock time (in seconds):5.09 6.56/5.46 o -669 6.56/5.48 c Got one! Elapsed wall clock time (in seconds):5.11 6.56/5.48 o -670 6.56/5.50 c Got one! Elapsed wall clock time (in seconds):5.13 6.56/5.50 o -673 6.66/5.52 c Got one! Elapsed wall clock time (in seconds):5.15 6.66/5.52 o -674 6.66/5.54 c Got one! Elapsed wall clock time (in seconds):5.171 6.66/5.54 o -679 6.66/5.56 c Got one! Elapsed wall clock time (in seconds):5.191 6.66/5.56 o -682 6.66/5.58 c Got one! Elapsed wall clock time (in seconds):5.211 6.66/5.58 o -685 6.75/5.60 c Got one! Elapsed wall clock time (in seconds):5.231 6.75/5.60 o -686 6.75/5.62 c Got one! Elapsed wall clock time (in seconds):5.251 6.75/5.62 o -688 6.75/5.64 c Got one! Elapsed wall clock time (in seconds):5.271 6.75/5.64 o -690 6.75/5.66 c Got one! Elapsed wall clock time (in seconds):5.291 6.75/5.66 o -691 6.75/5.68 c Got one! Elapsed wall clock time (in seconds):5.312 6.75/5.68 o -692 6.85/5.70 c Got one! Elapsed wall clock time (in seconds):5.332 6.85/5.70 o -694 6.85/5.72 c Got one! Elapsed wall clock time (in seconds):5.352 6.85/5.72 o -700 6.85/5.74 c Got one! Elapsed wall clock time (in seconds):5.372 6.85/5.74 o -702 6.85/5.76 c Got one! Elapsed wall clock time (in seconds):5.393 6.85/5.76 o -703 6.85/5.78 c Got one! Elapsed wall clock time (in seconds):5.413 6.85/5.78 o -704 6.95/5.80 c Got one! Elapsed wall clock time (in seconds):5.433 6.95/5.80 o -705 6.95/5.82 c Got one! Elapsed wall clock time (in seconds):5.453 6.95/5.82 o -706 6.95/5.84 c Got one! Elapsed wall clock time (in seconds):5.474 6.95/5.84 o -707 6.95/5.86 c Got one! Elapsed wall clock time (in seconds):5.494 6.95/5.86 o -709 6.95/5.88 c Got one! Elapsed wall clock time (in seconds):5.514 6.95/5.88 o -710 7.05/5.90 c Got one! Elapsed wall clock time (in seconds):5.534 7.05/5.90 o -711 7.05/5.92 c Got one! Elapsed wall clock time (in seconds):5.555 7.05/5.92 o -714 7.05/5.94 c Got one! Elapsed wall clock time (in seconds):5.575 7.05/5.94 o -715 7.05/5.96 c Got one! Elapsed wall clock time (in seconds):5.595 7.05/5.96 o -718 7.05/5.98 c Got one! Elapsed wall clock time (in seconds):5.615 7.05/5.98 o -720 7.15/6.00 c Got one! Elapsed wall clock time (in seconds):5.636 7.15/6.00 o -722 7.15/6.02 c Got one! Elapsed wall clock time (in seconds):5.656 7.15/6.02 o -724 7.15/6.05 c Got one! Elapsed wall clock time (in seconds):5.677 7.15/6.05 o -725 7.15/6.07 c Got one! Elapsed wall clock time (in seconds):5.697 7.15/6.07 o -729 7.15/6.09 c Got one! Elapsed wall clock time (in seconds):5.718 7.15/6.09 o -732 7.25/6.11 c Got one! Elapsed wall clock time (in seconds):5.738 7.25/6.11 o -733 7.25/6.13 c Got one! Elapsed wall clock time (in seconds):5.758 7.25/6.13 o -734 7.25/6.15 c Got one! Elapsed wall clock time (in seconds):5.779 7.25/6.15 o -738 7.25/6.17 c Got one! Elapsed wall clock time (in seconds):5.799 7.25/6.17 o -742 7.25/6.19 c Got one! Elapsed wall clock time (in seconds):5.819 7.25/6.19 o -744 7.35/6.21 c Got one! Elapsed wall clock time (in seconds):5.839 7.35/6.21 o -748 7.35/6.23 c Got one! Elapsed wall clock time (in seconds):5.86 7.35/6.23 o -749 7.35/6.25 c Got one! Elapsed wall clock time (in seconds):5.88 7.35/6.25 o -753 7.35/6.27 c Got one! Elapsed wall clock time (in seconds):5.9 7.35/6.27 o -758 7.35/6.29 c Got one! Elapsed wall clock time (in seconds):5.92 7.35/6.29 o -760 7.45/6.31 c Got one! Elapsed wall clock time (in seconds):5.941 7.45/6.31 o -764 7.45/6.33 c Got one! Elapsed wall clock time (in seconds):5.961 7.45/6.33 o -768 7.45/6.35 c Got one! Elapsed wall clock time (in seconds):5.981 7.45/6.35 o -771 7.45/6.37 c Got one! Elapsed wall clock time (in seconds):6.002 7.45/6.37 o -773 7.45/6.39 c Got one! Elapsed wall clock time (in seconds):6.022 7.45/6.39 o -778 7.55/6.41 c Got one! Elapsed wall clock time (in seconds):6.042 7.55/6.41 o -783 7.55/6.43 c Got one! Elapsed wall clock time (in seconds):6.063 7.55/6.43 o -784 7.55/6.45 c Got one! Elapsed wall clock time (in seconds):6.083 7.55/6.45 o -788 7.55/6.47 c Got one! Elapsed wall clock time (in seconds):6.103 7.55/6.47 o -790 7.55/6.49 c Got one! Elapsed wall clock time (in seconds):6.124 7.55/6.49 o -793 7.65/6.51 c Got one! Elapsed wall clock time (in seconds):6.145 7.65/6.51 o -795 7.65/6.53 c Got one! Elapsed wall clock time (in seconds):6.165 7.65/6.53 o -797 7.65/6.55 c Got one! Elapsed wall clock time (in seconds):6.185 7.65/6.55 o -798 7.65/6.57 c Got one! Elapsed wall clock time (in seconds):6.205 7.65/6.57 o -800 7.65/6.59 c Got one! Elapsed wall clock time (in seconds):6.226 7.65/6.59 o -806 7.75/6.61 c Got one! Elapsed wall clock time (in seconds):6.246 7.75/6.61 o -807 7.75/6.63 c Got one! Elapsed wall clock time (in seconds):6.266 7.75/6.63 o -808 7.75/6.65 c Got one! Elapsed wall clock time (in seconds):6.286 7.75/6.65 o -810 7.75/6.67 c Got one! Elapsed wall clock time (in seconds):6.306 7.75/6.67 o -812 7.75/6.70 c Got one! Elapsed wall clock time (in seconds):6.327 7.75/6.70 o -813 7.85/6.72 c Got one! Elapsed wall clock time (in seconds):6.347 7.85/6.72 o -818 7.85/6.74 c Got one! Elapsed wall clock time (in seconds):6.367 7.85/6.74 o -820 7.85/6.76 c Got one! Elapsed wall clock time (in seconds):6.387 7.85/6.76 o -821 7.85/6.78 c Got one! Elapsed wall clock time (in seconds):6.407 7.85/6.78 o -822 7.85/6.80 c Got one! Elapsed wall clock time (in seconds):6.428 7.85/6.80 o -826 7.95/6.82 c Got one! Elapsed wall clock time (in seconds):6.448 7.95/6.82 o -830 7.95/6.84 c Got one! Elapsed wall clock time (in seconds):6.468 7.95/6.84 o -831 7.95/6.86 c Got one! Elapsed wall clock time (in seconds):6.488 7.95/6.86 o -833 7.95/6.88 c Got one! Elapsed wall clock time (in seconds):6.508 7.95/6.88 o -834 8.05/6.90 c Got one! Elapsed wall clock time (in seconds):6.529 8.05/6.90 o -836 8.05/6.92 c Got one! Elapsed wall clock time (in seconds):6.549 8.05/6.92 o -837 8.05/6.94 c Got one! Elapsed wall clock time (in seconds):6.569 8.05/6.94 o -839 8.05/6.96 c Got one! Elapsed wall clock time (in seconds):6.59 8.05/6.96 o -840 8.05/6.98 c Got one! Elapsed wall clock time (in seconds):6.611 8.05/6.98 o -841 8.15/7.00 c Got one! Elapsed wall clock time (in seconds):6.631 8.15/7.00 o -842 8.15/7.02 c Got one! Elapsed wall clock time (in seconds):6.652 8.15/7.02 o -844 8.15/7.04 c Got one! Elapsed wall clock time (in seconds):6.673 8.15/7.04 o -845 8.15/7.06 c Got one! Elapsed wall clock time (in seconds):6.694 8.15/7.06 o -846 8.15/7.08 c Got one! Elapsed wall clock time (in seconds):6.715 8.15/7.08 o -854 8.24/7.10 c Got one! Elapsed wall clock time (in seconds):6.736 8.24/7.10 o -855 8.24/7.12 c Got one! Elapsed wall clock time (in seconds):6.756 8.24/7.12 o -856 8.24/7.15 c Got one! Elapsed wall clock time (in seconds):6.777 8.24/7.15 o -860 8.24/7.17 c Got one! Elapsed wall clock time (in seconds):6.798 8.24/7.17 o -867 8.24/7.19 c Got one! Elapsed wall clock time (in seconds):6.819 8.24/7.19 o -870 8.34/7.21 c Got one! Elapsed wall clock time (in seconds):6.839 8.34/7.21 o -871 8.34/7.23 c Got one! Elapsed wall clock time (in seconds):6.86 8.34/7.23 o -872 8.34/7.25 c Got one! Elapsed wall clock time (in seconds):6.881 8.34/7.25 o -873 8.34/7.27 c Got one! Elapsed wall clock time (in seconds):6.902 8.34/7.27 o -874 8.34/7.29 c Got one! Elapsed wall clock time (in seconds):6.922 8.34/7.29 o -876 8.45/7.31 c Got one! Elapsed wall clock time (in seconds):6.943 8.45/7.31 o -877 8.45/7.33 c Got one! Elapsed wall clock time (in seconds):6.964 8.45/7.33 o -878 8.45/7.35 c Got one! Elapsed wall clock time (in seconds):6.984 8.45/7.35 o -880 8.45/7.37 c Got one! Elapsed wall clock time (in seconds):7.005 8.45/7.37 o -881 8.45/7.39 c Got one! Elapsed wall clock time (in seconds):7.026 8.45/7.39 o -882 8.55/7.42 c Got one! Elapsed wall clock time (in seconds):7.047 8.55/7.42 o -883 8.55/7.44 c Got one! Elapsed wall clock time (in seconds):7.068 8.55/7.44 o -889 8.55/7.46 c Got one! Elapsed wall clock time (in seconds):7.088 8.55/7.46 o -891 8.55/7.48 c Got one! Elapsed wall clock time (in seconds):7.109 8.55/7.48 o -893 8.64/7.50 c Got one! Elapsed wall clock time (in seconds):7.13 8.64/7.50 o -894 8.64/7.52 c Got one! Elapsed wall clock time (in seconds):7.151 8.64/7.52 o -895 8.64/7.54 c Got one! Elapsed wall clock time (in seconds):7.172 8.64/7.54 o -897 8.64/7.56 c Got one! Elapsed wall clock time (in seconds):7.192 8.64/7.56 o -899 8.64/7.58 c Got one! Elapsed wall clock time (in seconds):7.213 8.64/7.58 o -900 8.75/7.60 c Got one! Elapsed wall clock time (in seconds):7.235 8.75/7.60 o -901 8.75/7.62 c Got one! Elapsed wall clock time (in seconds):7.255 8.75/7.62 o -902 8.75/7.65 c Got one! Elapsed wall clock time (in seconds):7.276 8.75/7.65 o -903 8.75/7.67 c Got one! Elapsed wall clock time (in seconds):7.297 8.75/7.67 o -912 8.75/7.69 c Got one! Elapsed wall clock time (in seconds):7.318 8.75/7.69 o -913 8.85/7.71 c Got one! Elapsed wall clock time (in seconds):7.339 8.85/7.71 o -914 8.85/7.73 c Got one! Elapsed wall clock time (in seconds):7.36 8.85/7.73 o -915 8.85/7.75 c Got one! Elapsed wall clock time (in seconds):7.381 8.85/7.75 o -916 8.85/7.77 c Got one! Elapsed wall clock time (in seconds):7.402 8.85/7.77 o -917 8.85/7.79 c Got one! Elapsed wall clock time (in seconds):7.423 8.85/7.79 o -918 8.95/7.81 c Got one! Elapsed wall clock time (in seconds):7.444 8.95/7.81 o -919 8.95/7.83 c Got one! Elapsed wall clock time (in seconds):7.465 8.95/7.83 o -921 8.95/7.85 c Got one! Elapsed wall clock time (in seconds):7.486 8.95/7.85 o -924 8.95/7.88 c Got one! Elapsed wall clock time (in seconds):7.507 8.95/7.88 o -927 8.95/7.90 c Got one! Elapsed wall clock time (in seconds):7.527 8.95/7.90 o -930 9.05/7.92 c Got one! Elapsed wall clock time (in seconds):7.548 9.05/7.92 o -931 9.05/7.94 c Got one! Elapsed wall clock time (in seconds):7.569 9.05/7.94 o -933 9.05/7.96 c Got one! Elapsed wall clock time (in seconds):7.59 9.05/7.96 o -935 9.05/7.98 c Got one! Elapsed wall clock time (in seconds):7.611 9.05/7.98 o -936 9.15/8.00 c Got one! Elapsed wall clock time (in seconds):7.632 9.15/8.00 o -937 9.15/8.02 c Got one! Elapsed wall clock time (in seconds):7.653 9.15/8.02 o -938 9.15/8.04 c Got one! Elapsed wall clock time (in seconds):7.674 9.15/8.04 o -939 9.15/8.06 c Got one! Elapsed wall clock time (in seconds):7.695 9.15/8.06 o -941 9.15/8.08 c Got one! Elapsed wall clock time (in seconds):7.716 9.15/8.08 o -942 9.24/8.11 c Got one! Elapsed wall clock time (in seconds):7.737 9.24/8.11 o -947 9.24/8.13 c Got one! Elapsed wall clock time (in seconds):7.758 9.24/8.13 o -948 9.24/8.15 c Got one! Elapsed wall clock time (in seconds):7.779 9.24/8.15 o -949 9.24/8.17 c Got one! Elapsed wall clock time (in seconds):7.8 9.24/8.17 o -951 9.24/8.19 c Got one! Elapsed wall clock time (in seconds):7.821 9.24/8.19 o -953 9.35/8.21 c Got one! Elapsed wall clock time (in seconds):7.842 9.35/8.21 o -954 9.35/8.23 c Got one! Elapsed wall clock time (in seconds):7.862 9.35/8.23 o -955 9.35/8.25 c Got one! Elapsed wall clock time (in seconds):7.884 9.35/8.25 o -958 9.35/8.27 c Got one! Elapsed wall clock time (in seconds):7.905 9.35/8.27 o -959 9.35/8.29 c Got one! Elapsed wall clock time (in seconds):7.926 9.35/8.29 o -960 9.45/8.31 c Got one! Elapsed wall clock time (in seconds):7.946 9.45/8.31 o -969 9.45/8.34 c Got one! Elapsed wall clock time (in seconds):7.967 9.45/8.34 o -974 9.45/8.36 c Got one! Elapsed wall clock time (in seconds):7.988 9.45/8.36 o -975 9.45/8.38 c Got one! Elapsed wall clock time (in seconds):8.008 9.45/8.38 o -977 9.55/8.40 c Got one! Elapsed wall clock time (in seconds):8.029 9.55/8.40 o -979 9.55/8.42 c Got one! Elapsed wall clock time (in seconds):8.05 9.55/8.42 o -980 9.55/8.44 c Got one! Elapsed wall clock time (in seconds):8.071 9.55/8.44 o -981 9.55/8.46 c Got one! Elapsed wall clock time (in seconds):8.092 9.55/8.46 o -983 9.55/8.48 c Got one! Elapsed wall clock time (in seconds):8.112 9.55/8.48 o -984 9.64/8.50 c Got one! Elapsed wall clock time (in seconds):8.133 9.64/8.50 o -987 9.64/8.52 c Got one! Elapsed wall clock time (in seconds):8.154 9.64/8.52 o -990 9.64/8.54 c Got one! Elapsed wall clock time (in seconds):8.175 9.64/8.54 o -991 9.83/8.60 c Got one! Elapsed wall clock time (in seconds):8.228 9.83/8.60 o -995 9.83/8.62 c Got one! Elapsed wall clock time (in seconds):8.248 9.83/8.62 o -1000 9.83/8.64 c Got one! Elapsed wall clock time (in seconds):8.268 9.83/8.64 o -1001 9.83/8.66 c Got one! Elapsed wall clock time (in seconds):8.289 9.83/8.66 o -1002 9.83/8.68 c Got one! Elapsed wall clock time (in seconds):8.309 9.83/8.68 o -1003 9.83/8.70 c Got one! Elapsed wall clock time (in seconds):8.329 9.83/8.70 o -1006 9.93/8.72 c Got one! Elapsed wall clock time (in seconds):8.35 9.93/8.72 o -1007 9.93/8.74 c Got one! Elapsed wall clock time (in seconds):8.37 9.93/8.74 o -1008 9.93/8.76 c Got one! Elapsed wall clock time (in seconds):8.39 9.93/8.76 o -1009 9.93/8.78 c Got one! Elapsed wall clock time (in seconds):8.41 9.93/8.78 o -1010 9.93/8.80 c Got one! Elapsed wall clock time (in seconds):8.431 9.93/8.80 o -1012 10.04/8.82 c Got one! Elapsed wall clock time (in seconds):8.451 10.04/8.82 o -1013 10.04/8.84 c Got one! Elapsed wall clock time (in seconds):8.471 10.04/8.84 o -1014 10.04/8.86 c Got one! Elapsed wall clock time (in seconds):8.491 10.04/8.86 o -1015 10.04/8.88 c Got one! Elapsed wall clock time (in seconds):8.512 10.04/8.88 o -1022 10.14/8.90 c Got one! Elapsed wall clock time (in seconds):8.532 10.14/8.90 o -1023 10.14/8.92 c Got one! Elapsed wall clock time (in seconds):8.553 10.14/8.92 o -1024 10.14/8.94 c Got one! Elapsed wall clock time (in seconds):8.573 10.14/8.94 o -1025 10.14/8.96 c Got one! Elapsed wall clock time (in seconds):8.594 10.14/8.96 o -1026 10.14/8.98 c Got one! Elapsed wall clock time (in seconds):8.614 10.14/8.98 o -1027 10.24/9.00 c Got one! Elapsed wall clock time (in seconds):8.634 10.24/9.00 o -1030 10.24/9.02 c Got one! Elapsed wall clock time (in seconds):8.655 10.24/9.02 o -1033 10.24/9.04 c Got one! Elapsed wall clock time (in seconds):8.675 10.24/9.04 o -1036 10.24/9.06 c Got one! Elapsed wall clock time (in seconds):8.695 10.24/9.06 o -1037 10.24/9.08 c Got one! Elapsed wall clock time (in seconds):8.716 10.24/9.08 o -1038 10.34/9.11 c Got one! Elapsed wall clock time (in seconds):8.737 10.34/9.11 o -1039 10.34/9.13 c Got one! Elapsed wall clock time (in seconds):8.757 10.34/9.13 o -1040 10.34/9.15 c Got one! Elapsed wall clock time (in seconds):8.777 10.34/9.15 o -1041 10.34/9.17 c Got one! Elapsed wall clock time (in seconds):8.798 10.34/9.17 o -1042 10.34/9.19 c Got one! Elapsed wall clock time (in seconds):8.818 10.34/9.19 o -1043 10.44/9.21 c Got one! Elapsed wall clock time (in seconds):8.838 10.44/9.21 o -1045 10.44/9.23 c Got one! Elapsed wall clock time (in seconds):8.859 10.44/9.23 o -1046 10.44/9.25 c Got one! Elapsed wall clock time (in seconds):8.879 10.44/9.25 o -1048 10.44/9.27 c Got one! Elapsed wall clock time (in seconds):8.899 10.44/9.27 o -1049 10.44/9.29 c Got one! Elapsed wall clock time (in seconds):8.92 10.44/9.29 o -1050 10.54/9.31 c Got one! Elapsed wall clock time (in seconds):8.941 10.54/9.31 o -1056 10.54/9.33 c Got one! Elapsed wall clock time (in seconds):8.961 10.54/9.33 o -1061 10.54/9.35 c Got one! Elapsed wall clock time (in seconds):8.981 10.54/9.35 o -1062 10.54/9.37 c Got one! Elapsed wall clock time (in seconds):9.002 10.54/9.37 o -1063 10.54/9.39 c Got one! Elapsed wall clock time (in seconds):9.022 10.54/9.39 o -1065 10.64/9.41 c Got one! Elapsed wall clock time (in seconds):9.043 10.64/9.41 o -1068 10.64/9.43 c Got one! Elapsed wall clock time (in seconds):9.063 10.64/9.43 o -1069 10.64/9.45 c Got one! Elapsed wall clock time (in seconds):9.084 10.64/9.45 o -1070 10.64/9.47 c Got one! Elapsed wall clock time (in seconds):9.104 10.64/9.47 o -1071 10.64/9.49 c Got one! Elapsed wall clock time (in seconds):9.124 10.64/9.49 o -1072 10.74/9.51 c Got one! Elapsed wall clock time (in seconds):9.145 10.74/9.51 o -1075 10.74/9.53 c Got one! Elapsed wall clock time (in seconds):9.165 10.74/9.53 o -1079 10.74/9.55 c Got one! Elapsed wall clock time (in seconds):9.186 10.74/9.55 o -1083 10.74/9.57 c Got one! Elapsed wall clock time (in seconds):9.206 10.74/9.57 o -1087 10.74/9.59 c Got one! Elapsed wall clock time (in seconds):9.226 10.74/9.59 o -1091 10.84/9.62 c Got one! Elapsed wall clock time (in seconds):9.247 10.84/9.62 o -1095 10.84/9.64 c Got one! Elapsed wall clock time (in seconds):9.267 10.84/9.64 o -1096 10.84/9.66 c Got one! Elapsed wall clock time (in seconds):9.288 10.84/9.66 o -1097 10.84/9.68 c Got one! Elapsed wall clock time (in seconds):9.308 10.84/9.68 o -1100 10.94/9.70 c Got one! Elapsed wall clock time (in seconds):9.33 10.94/9.70 o -1101 10.94/9.72 c Got one! Elapsed wall clock time (in seconds):9.351 10.94/9.72 o -1102 10.94/9.74 c Got one! Elapsed wall clock time (in seconds):9.371 10.94/9.74 o -1106 10.94/9.76 c Got one! Elapsed wall clock time (in seconds):9.392 10.94/9.76 o -1115 10.94/9.78 c Got one! Elapsed wall clock time (in seconds):9.412 10.94/9.78 o -1118 10.94/9.80 c Got one! Elapsed wall clock time (in seconds):9.433 10.94/9.80 o -1122 11.04/9.82 c Got one! Elapsed wall clock time (in seconds):9.454 11.04/9.82 o -1123 11.04/9.84 c Got one! Elapsed wall clock time (in seconds):9.474 11.04/9.84 o -1127 11.04/9.86 c Got one! Elapsed wall clock time (in seconds):9.494 11.04/9.86 o -1128 11.04/9.88 c Got one! Elapsed wall clock time (in seconds):9.515 11.04/9.88 o -1133 11.14/9.90 c Got one! Elapsed wall clock time (in seconds):9.535 11.14/9.90 o -1134 11.14/9.92 c Got one! Elapsed wall clock time (in seconds):9.556 11.14/9.92 o -1135 11.14/9.94 c Got one! Elapsed wall clock time (in seconds):9.576 11.14/9.94 o -1136 11.14/9.96 c Got one! Elapsed wall clock time (in seconds):9.596 11.14/9.96 o -1137 11.14/9.99 c Got one! Elapsed wall clock time (in seconds):9.617 11.14/9.99 o -1139 11.24/10.01 c Got one! Elapsed wall clock time (in seconds):9.637 11.24/10.01 o -1140 11.24/10.03 c Got one! Elapsed wall clock time (in seconds):9.658 11.24/10.03 o -1141 11.24/10.05 c Got one! Elapsed wall clock time (in seconds):9.678 11.24/10.05 o -1151 11.24/10.07 c Got one! Elapsed wall clock time (in seconds):9.699 11.24/10.07 o -1152 11.24/10.09 c Got one! Elapsed wall clock time (in seconds):9.719 11.24/10.09 o -1153 11.34/10.11 c Got one! Elapsed wall clock time (in seconds):9.74 11.34/10.11 o -1155 11.34/10.13 c Got one! Elapsed wall clock time (in seconds):9.761 11.34/10.13 o -1157 11.34/10.15 c Got one! Elapsed wall clock time (in seconds):9.781 11.34/10.15 o -1162 11.34/10.17 c Got one! Elapsed wall clock time (in seconds):9.801 11.34/10.17 o -1163 11.34/10.19 c Got one! Elapsed wall clock time (in seconds):9.822 11.34/10.19 o -1168 11.44/10.21 c Got one! Elapsed wall clock time (in seconds):9.842 11.44/10.21 o -1173 11.44/10.23 c Got one! Elapsed wall clock time (in seconds):9.863 11.44/10.23 o -1176 11.44/10.25 c Got one! Elapsed wall clock time (in seconds):9.883 11.44/10.25 o -1181 11.44/10.27 c Got one! Elapsed wall clock time (in seconds):9.904 11.44/10.27 o -1185 11.44/10.29 c Got one! Elapsed wall clock time (in seconds):9.924 11.44/10.29 o -1186 11.54/10.31 c Got one! Elapsed wall clock time (in seconds):9.945 11.54/10.31 o -1187 11.54/10.33 c Got one! Elapsed wall clock time (in seconds):9.965 11.54/10.33 o -1188 11.54/10.35 c Got one! Elapsed wall clock time (in seconds):9.986 11.54/10.35 o -1189 11.54/10.37 c Got one! Elapsed wall clock time (in seconds):10.006 11.54/10.37 o -1190 11.54/10.40 c Got one! Elapsed wall clock time (in seconds):10.027 11.54/10.40 o -1191 11.64/10.42 c Got one! Elapsed wall clock time (in seconds):10.047 11.64/10.42 o -1192 11.64/10.44 c Got one! Elapsed wall clock time (in seconds):10.068 11.64/10.44 o -1197 11.64/10.46 c Got one! Elapsed wall clock time (in seconds):10.089 11.64/10.46 o -1198 11.64/10.48 c Got one! Elapsed wall clock time (in seconds):10.109 11.64/10.48 o -1199 11.74/10.50 c Got one! Elapsed wall clock time (in seconds):10.13 11.74/10.50 o -1205 11.74/10.52 c Got one! Elapsed wall clock time (in seconds):10.151 11.74/10.52 o -1206 11.74/10.54 c Got one! Elapsed wall clock time (in seconds):10.172 11.74/10.54 o -1207 11.74/10.56 c Got one! Elapsed wall clock time (in seconds):10.193 11.74/10.56 o -1208 11.74/10.58 c Got one! Elapsed wall clock time (in seconds):10.214 11.74/10.58 o -1209 11.84/10.60 c Got one! Elapsed wall clock time (in seconds):10.234 11.84/10.60 o -1210 11.84/10.62 c Got one! Elapsed wall clock time (in seconds):10.256 11.84/10.62 o -1217 11.84/10.64 c Got one! Elapsed wall clock time (in seconds):10.276 11.84/10.64 o -1219 11.84/10.67 c Got one! Elapsed wall clock time (in seconds):10.297 11.84/10.67 o -1220 11.84/10.69 c Got one! Elapsed wall clock time (in seconds):10.317 11.84/10.69 o -1221 11.94/10.71 c Got one! Elapsed wall clock time (in seconds):10.338 11.94/10.71 o -1222 11.94/10.73 c Got one! Elapsed wall clock time (in seconds):10.358 11.94/10.73 o -1223 11.94/10.75 c Got one! Elapsed wall clock time (in seconds):10.379 11.94/10.75 o -1224 11.94/10.77 c Got one! Elapsed wall clock time (in seconds):10.4 11.94/10.77 o -1225 11.94/10.79 c Got one! Elapsed wall clock time (in seconds):10.42 11.94/10.79 o -1226 12.04/10.81 c Got one! Elapsed wall clock time (in seconds):10.441 12.04/10.81 o -1227 12.04/10.83 c Got one! Elapsed wall clock time (in seconds):10.462 12.04/10.83 o -1228 12.04/10.85 c Got one! Elapsed wall clock time (in seconds):10.482 12.04/10.85 o -1229 12.04/10.87 c Got one! Elapsed wall clock time (in seconds):10.503 12.04/10.87 o -1230 12.04/10.89 c Got one! Elapsed wall clock time (in seconds):10.523 12.04/10.89 o -1231 12.14/10.91 c Got one! Elapsed wall clock time (in seconds):10.545 12.14/10.91 o -1233 12.14/10.93 c Got one! Elapsed wall clock time (in seconds):10.565 12.14/10.93 o -1234 12.14/10.95 c Got one! Elapsed wall clock time (in seconds):10.586 12.14/10.95 o -1235 12.14/10.97 c Got one! Elapsed wall clock time (in seconds):10.606 12.14/10.97 o -1236 12.14/11.00 c Got one! Elapsed wall clock time (in seconds):10.627 12.14/11.00 o -1237 12.24/11.02 c Got one! Elapsed wall clock time (in seconds):10.647 12.24/11.02 o -1238 12.24/11.04 c Got one! Elapsed wall clock time (in seconds):10.668 12.24/11.04 o -1239 12.24/11.06 c Got one! Elapsed wall clock time (in seconds):10.688 12.24/11.06 o -1240 12.24/11.08 c Got one! Elapsed wall clock time (in seconds):10.708 12.24/11.08 o -1242 12.34/11.10 c Got one! Elapsed wall clock time (in seconds):10.729 12.34/11.10 o -1244 12.34/11.12 c Got one! Elapsed wall clock time (in seconds):10.749 12.34/11.12 o -1245 12.34/11.14 c Got one! Elapsed wall clock time (in seconds):10.77 12.34/11.14 o -1246 12.34/11.16 c Got one! Elapsed wall clock time (in seconds):10.79 12.34/11.16 o -1247 12.34/11.18 c Got one! Elapsed wall clock time (in seconds):10.811 12.34/11.18 o -1251 12.44/11.20 c Got one! Elapsed wall clock time (in seconds):10.831 12.44/11.20 o -1252 12.44/11.22 c Got one! Elapsed wall clock time (in seconds):10.852 12.44/11.22 o -1253 12.44/11.24 c Got one! Elapsed wall clock time (in seconds):10.872 12.44/11.24 o -1254 12.44/11.26 c Got one! Elapsed wall clock time (in seconds):10.893 12.44/11.26 o -1255 12.44/11.28 c Got one! Elapsed wall clock time (in seconds):10.913 12.44/11.28 o -1256 12.54/11.30 c Got one! Elapsed wall clock time (in seconds):10.934 12.54/11.30 o -1257 12.54/11.32 c Got one! Elapsed wall clock time (in seconds):10.954 12.54/11.32 o -1258 12.54/11.34 c Got one! Elapsed wall clock time (in seconds):10.975 12.54/11.34 o -1259 12.54/11.36 c Got one! Elapsed wall clock time (in seconds):10.995 12.54/11.36 o -1262 12.54/11.38 c Got one! Elapsed wall clock time (in seconds):11.016 12.54/11.38 o -1264 12.64/11.40 c Got one! Elapsed wall clock time (in seconds):11.036 12.64/11.40 o -1265 12.64/11.43 c Got one! Elapsed wall clock time (in seconds):11.057 12.64/11.43 o -1266 12.64/11.45 c Got one! Elapsed wall clock time (in seconds):11.077 12.64/11.45 o -1267 12.64/11.47 c Got one! Elapsed wall clock time (in seconds):11.097 12.64/11.47 o -1268 12.64/11.49 c Got one! Elapsed wall clock time (in seconds):11.118 12.64/11.49 o -1269 12.74/11.51 c Got one! Elapsed wall clock time (in seconds):11.139 12.74/11.51 o -1270 12.74/11.53 c Got one! Elapsed wall clock time (in seconds):11.159 12.74/11.53 o -1272 12.74/11.55 c Got one! Elapsed wall clock time (in seconds):11.179 12.74/11.55 o -1274 12.74/11.57 c Got one! Elapsed wall clock time (in seconds):11.2 12.74/11.57 o -1275 12.74/11.59 c Got one! Elapsed wall clock time (in seconds):11.22 12.74/11.59 o -1276 12.84/11.61 c Got one! Elapsed wall clock time (in seconds):11.241 12.84/11.61 o -1277 12.84/11.63 c Got one! Elapsed wall clock time (in seconds):11.261 12.84/11.63 o -1278 12.84/11.65 c Got one! Elapsed wall clock time (in seconds):11.281 12.84/11.65 o -1280 12.84/11.67 c Got one! Elapsed wall clock time (in seconds):11.302 12.84/11.67 o -1284 12.84/11.69 c Got one! Elapsed wall clock time (in seconds):11.322 12.84/11.69 o -1289 12.94/11.71 c Got one! Elapsed wall clock time (in seconds):11.343 12.94/11.71 o -1290 12.94/11.73 c Got one! Elapsed wall clock time (in seconds):11.363 12.94/11.73 o -1291 12.94/11.75 c Got one! Elapsed wall clock time (in seconds):11.383 12.94/11.75 o -1292 12.94/11.77 c Got one! Elapsed wall clock time (in seconds):11.404 12.94/11.77 o -1293 12.94/11.79 c Got one! Elapsed wall clock time (in seconds):11.424 12.94/11.79 o -1294 13.04/11.81 c Got one! Elapsed wall clock time (in seconds):11.445 13.04/11.81 o -1295 13.04/11.83 c Got one! Elapsed wall clock time (in seconds):11.465 13.04/11.83 o -1297 13.04/11.85 c Got one! Elapsed wall clock time (in seconds):11.485 13.04/11.85 o -1302 13.04/11.87 c Got one! Elapsed wall clock time (in seconds):11.506 13.04/11.87 o -1304 13.04/11.89 c Got one! Elapsed wall clock time (in seconds):11.526 13.04/11.89 o -1306 13.14/11.91 c Got one! Elapsed wall clock time (in seconds):11.546 13.14/11.91 o -1307 13.14/11.94 c Got one! Elapsed wall clock time (in seconds):11.567 13.14/11.94 o -1308 13.14/11.96 c Got one! Elapsed wall clock time (in seconds):11.587 13.14/11.96 o -1309 13.14/11.98 c Got one! Elapsed wall clock time (in seconds):11.607 13.14/11.98 o -1311 13.14/12.00 c Got one! Elapsed wall clock time (in seconds):11.628 13.14/12.00 o -1316 13.24/12.02 c Got one! Elapsed wall clock time (in seconds):11.649 13.24/12.02 o -1317 13.24/12.04 c Got one! Elapsed wall clock time (in seconds):11.669 13.24/12.04 o -1318 13.24/12.06 c Got one! Elapsed wall clock time (in seconds):11.69 13.24/12.06 o -1319 13.24/12.08 c Got one! Elapsed wall clock time (in seconds):11.71 13.24/12.08 o -1323 13.24/12.10 c Got one! Elapsed wall clock time (in seconds):11.731 13.24/12.10 o -1327 13.34/12.12 c Got one! Elapsed wall clock time (in seconds):11.752 13.34/12.12 o -1329 13.34/12.14 c Got one! Elapsed wall clock time (in seconds):11.772 13.34/12.14 o -1330 13.34/12.16 c Got one! Elapsed wall clock time (in seconds):11.793 13.34/12.16 o -1331 13.34/12.18 c Got one! Elapsed wall clock time (in seconds):11.813 13.34/12.18 o -1332 13.43/12.20 c Got one! Elapsed wall clock time (in seconds):11.834 13.43/12.20 o -1334 13.43/12.22 c Got one! Elapsed wall clock time (in seconds):11.855 13.43/12.22 o -1336 13.43/12.24 c Got one! Elapsed wall clock time (in seconds):11.875 13.43/12.24 o -1341 13.43/12.26 c Got one! Elapsed wall clock time (in seconds):11.896 13.43/12.26 o -1342 13.43/12.28 c Got one! Elapsed wall clock time (in seconds):11.916 13.43/12.28 o -1343 13.53/12.31 c Got one! Elapsed wall clock time (in seconds):11.936 13.53/12.31 o -1344 13.53/12.35 c Got one! Elapsed wall clock time (in seconds):11.986 13.53/12.35 o -1345 13.53/12.37 c Got one! Elapsed wall clock time (in seconds):12.006 13.53/12.37 o -1346 13.53/12.40 c Got one! Elapsed wall clock time (in seconds):12.027 13.53/12.40 o -1347 13.71/12.42 c Got one! Elapsed wall clock time (in seconds):12.047 13.71/12.42 o -1351 13.71/12.44 c Got one! Elapsed wall clock time (in seconds):12.068 13.71/12.44 o -1352 13.71/12.46 c Got one! Elapsed wall clock time (in seconds):12.088 13.71/12.46 o -1358 13.71/12.48 c Got one! Elapsed wall clock time (in seconds):12.109 13.71/12.48 o -1359 13.81/12.50 c Got one! Elapsed wall clock time (in seconds):12.129 13.81/12.50 o -1365 13.81/12.52 c Got one! Elapsed wall clock time (in seconds):12.15 13.81/12.52 o -1366 13.81/12.54 c Got one! Elapsed wall clock time (in seconds):12.17 13.81/12.54 o -1367 13.81/12.56 c Got one! Elapsed wall clock time (in seconds):12.191 13.81/12.56 o -1369 13.81/12.58 c Got one! Elapsed wall clock time (in seconds):12.211 13.81/12.58 o -1370 13.91/12.60 c Got one! Elapsed wall clock time (in seconds):12.232 13.91/12.60 o -1372 13.91/12.62 c Got one! Elapsed wall clock time (in seconds):12.252 13.91/12.62 o -1374 13.91/12.64 c Got one! Elapsed wall clock time (in seconds):12.272 13.91/12.64 o -1385 13.91/12.66 c Got one! Elapsed wall clock time (in seconds):12.293 13.91/12.66 o -1389 13.91/12.68 c Got one! Elapsed wall clock time (in seconds):12.313 13.91/12.68 o -1390 14.01/12.70 c Got one! Elapsed wall clock time (in seconds):12.334 14.01/12.70 o -1397 14.01/12.72 c Got one! Elapsed wall clock time (in seconds):12.354 14.01/12.72 o -1408 14.01/12.74 c Got one! Elapsed wall clock time (in seconds):12.375 14.01/12.74 o -1410 14.01/12.76 c Got one! Elapsed wall clock time (in seconds):12.395 14.01/12.76 o -1421 14.01/12.78 c Got one! Elapsed wall clock time (in seconds):12.416 14.01/12.78 o -1422 14.11/12.80 c Got one! Elapsed wall clock time (in seconds):12.436 14.11/12.80 o -1423 14.11/12.83 c Got one! Elapsed wall clock time (in seconds):12.457 14.11/12.83 o -1428 14.11/12.85 c Got one! Elapsed wall clock time (in seconds):12.477 14.11/12.85 o -1429 14.11/12.87 c Got one! Elapsed wall clock time (in seconds):12.498 14.11/12.87 o -1430 14.11/12.89 c Got one! Elapsed wall clock time (in seconds):12.518 14.11/12.89 o -1431 14.21/12.91 c Got one! Elapsed wall clock time (in seconds):12.539 14.21/12.91 o -1432 14.21/12.93 c Got one! Elapsed wall clock time (in seconds):12.559 14.21/12.93 o -1435 14.21/12.95 c Got one! Elapsed wall clock time (in seconds):12.58 14.21/12.95 o -1436 14.21/12.97 c Got one! Elapsed wall clock time (in seconds):12.6 14.21/12.97 o -1441 14.21/12.99 c Got one! Elapsed wall clock time (in seconds):12.62 14.21/12.99 o -1442 14.31/13.01 c Got one! Elapsed wall clock time (in seconds):12.641 14.31/13.01 o -1443 14.31/13.03 c Got one! Elapsed wall clock time (in seconds):12.661 14.31/13.03 o -1444 14.31/13.05 c Got one! Elapsed wall clock time (in seconds):12.681 14.31/13.05 o -1446 14.31/13.07 c Got one! Elapsed wall clock time (in seconds):12.702 14.31/13.07 o -1447 14.31/13.09 c Got one! Elapsed wall clock time (in seconds):12.722 14.31/13.09 o -1448 14.42/13.11 c Got one! Elapsed wall clock time (in seconds):12.743 14.42/13.11 o -1449 14.42/13.13 c Got one! Elapsed wall clock time (in seconds):12.763 14.42/13.13 o -1450 14.42/13.15 c Got one! Elapsed wall clock time (in seconds):12.784 14.42/13.15 o -1451 14.42/13.17 c Got one! Elapsed wall clock time (in seconds):12.804 14.42/13.17 o -1453 14.42/13.19 c Got one! Elapsed wall clock time (in seconds):12.825 14.42/13.19 o -1454 14.52/13.21 c Got one! Elapsed wall clock time (in seconds):12.846 14.52/13.21 o -1455 14.52/13.23 c Got one! Elapsed wall clock time (in seconds):12.866 14.52/13.23 o -1457 14.52/13.26 c Got one! Elapsed wall clock time (in seconds):12.886 14.52/13.26 o -1459 14.52/13.28 c Got one! Elapsed wall clock time (in seconds):12.907 14.52/13.28 o -1460 14.52/13.30 c Got one! Elapsed wall clock time (in seconds):12.927 14.52/13.30 o -1462 14.61/13.32 c Got one! Elapsed wall clock time (in seconds):12.947 14.61/13.32 o -1463 14.61/13.34 c Got one! Elapsed wall clock time (in seconds):12.968 14.61/13.34 o -1464 14.61/13.36 c Got one! Elapsed wall clock time (in seconds):12.988 14.61/13.36 o -1465 14.61/13.38 c Got one! Elapsed wall clock time (in seconds):13.009 14.61/13.38 o -1466 14.71/13.40 c Got one! Elapsed wall clock time (in seconds):13.029 14.71/13.40 o -1468 14.71/13.42 c Got one! Elapsed wall clock time (in seconds):13.05 14.71/13.42 o -1470 14.71/13.44 c Got one! Elapsed wall clock time (in seconds):13.07 14.71/13.44 o -1471 14.71/13.46 c Got one! Elapsed wall clock time (in seconds):13.091 14.71/13.46 o -1473 14.71/13.48 c Got one! Elapsed wall clock time (in seconds):13.111 14.71/13.48 o -1474 14.81/13.50 c Got one! Elapsed wall clock time (in seconds):13.131 14.81/13.50 o -1475 14.81/13.52 c Got one! Elapsed wall clock time (in seconds):13.152 14.81/13.52 o -1480 14.81/13.54 c Got one! Elapsed wall clock time (in seconds):13.172 14.81/13.54 o -1482 14.81/13.56 c Got one! Elapsed wall clock time (in seconds):13.193 14.81/13.56 o -1487 14.81/13.58 c Got one! Elapsed wall clock time (in seconds):13.213 14.81/13.58 o -1488 14.91/13.60 c Got one! Elapsed wall clock time (in seconds):13.234 14.91/13.60 o -1490 14.91/13.62 c Got one! Elapsed wall clock time (in seconds):13.254 14.91/13.62 o -1495 14.91/13.64 c Got one! Elapsed wall clock time (in seconds):13.275 14.91/13.64 o -1496 14.91/13.66 c Got one! Elapsed wall clock time (in seconds):13.295 14.91/13.66 o -1497 14.91/13.68 c Got one! Elapsed wall clock time (in seconds):13.316 14.91/13.68 o -1498 15.01/13.71 c Got one! Elapsed wall clock time (in seconds):13.337 15.01/13.71 o -1499 15.01/13.73 c Got one! Elapsed wall clock time (in seconds):13.357 15.01/13.73 o -1502 15.01/13.75 c Got one! Elapsed wall clock time (in seconds):13.377 15.01/13.75 o -1504 15.01/13.77 c Got one! Elapsed wall clock time (in seconds):13.398 15.01/13.77 o -1505 15.01/13.79 c Got one! Elapsed wall clock time (in seconds):13.418 15.01/13.79 o -1506 15.11/13.81 c Got one! Elapsed wall clock time (in seconds):13.439 15.11/13.81 o -1507 15.11/13.83 c Got one! Elapsed wall clock time (in seconds):13.459 15.11/13.83 o -1509 15.11/13.85 c Got one! Elapsed wall clock time (in seconds):13.48 15.11/13.85 o -1510 15.11/13.87 c Got one! Elapsed wall clock time (in seconds):13.5 15.11/13.87 o -1511 15.11/13.89 c Got one! Elapsed wall clock time (in seconds):13.521 15.11/13.89 o -1512 15.21/13.91 c Got one! Elapsed wall clock time (in seconds):13.541 15.21/13.91 o -1513 15.21/13.93 c Got one! Elapsed wall clock time (in seconds):13.562 15.21/13.93 o -1514 15.21/13.95 c Got one! Elapsed wall clock time (in seconds):13.582 15.21/13.95 o -1515 15.21/13.97 c Got one! Elapsed wall clock time (in seconds):13.603 15.21/13.97 o -1517 15.21/13.99 c Got one! Elapsed wall clock time (in seconds):13.623 15.21/13.99 o -1518 15.31/14.01 c Got one! Elapsed wall clock time (in seconds):13.644 15.31/14.01 o -1520 15.31/14.03 c Got one! Elapsed wall clock time (in seconds):13.664 15.31/14.03 o -1522 15.31/14.05 c Got one! Elapsed wall clock time (in seconds):13.685 15.31/14.05 o -1523 15.31/14.07 c Got one! Elapsed wall clock time (in seconds):13.705 15.31/14.07 o -1524 15.31/14.09 c Got one! Elapsed wall clock time (in seconds):13.726 15.31/14.09 o -1525 15.41/14.11 c Got one! Elapsed wall clock time (in seconds):13.746 15.41/14.11 o -1526 15.41/14.14 c Got one! Elapsed wall clock time (in seconds):13.766 15.41/14.14 o -1527 15.41/14.16 c Got one! Elapsed wall clock time (in seconds):13.787 15.41/14.16 o -1530 15.41/14.18 c Got one! Elapsed wall clock time (in seconds):13.807 15.41/14.18 o -1532 15.41/14.20 c Got one! Elapsed wall clock time (in seconds):13.828 15.41/14.20 o -1533 15.52/14.22 c Got one! Elapsed wall clock time (in seconds):13.848 15.52/14.22 o -1535 15.52/14.24 c Got one! Elapsed wall clock time (in seconds):13.869 15.52/14.24 o -1538 15.52/14.26 c Got one! Elapsed wall clock time (in seconds):13.889 15.52/14.26 o -1539 15.52/14.28 c Got one! Elapsed wall clock time (in seconds):13.91 15.52/14.28 o -1541 15.52/14.30 c Got one! Elapsed wall clock time (in seconds):13.93 15.52/14.30 o -1544 15.62/14.32 c Got one! Elapsed wall clock time (in seconds):13.951 15.62/14.32 o -1545 15.62/14.34 c Got one! Elapsed wall clock time (in seconds):13.971 15.62/14.34 o -1547 15.62/14.36 c Got one! Elapsed wall clock time (in seconds):13.992 15.62/14.36 o -1550 15.62/14.38 c Got one! Elapsed wall clock time (in seconds):14.012 15.62/14.38 o -1556 15.71/14.40 c Got one! Elapsed wall clock time (in seconds):14.033 15.71/14.40 o -1559 15.71/14.42 c Got one! Elapsed wall clock time (in seconds):14.053 15.71/14.42 o -1560 15.71/14.44 c Got one! Elapsed wall clock time (in seconds):14.073 15.71/14.44 o -1561 15.71/14.46 c Got one! Elapsed wall clock time (in seconds):14.094 15.71/14.46 o -1562 15.71/14.48 c Got one! Elapsed wall clock time (in seconds):14.114 15.71/14.48 o -1567 15.81/14.50 c Got one! Elapsed wall clock time (in seconds):14.134 15.81/14.50 o -1570 15.81/14.52 c Got one! Elapsed wall clock time (in seconds):14.155 15.81/14.52 o -1571 15.81/14.54 c Got one! Elapsed wall clock time (in seconds):14.175 15.81/14.54 o -1572 15.81/14.56 c Got one! Elapsed wall clock time (in seconds):14.196 15.81/14.56 o -1573 15.81/14.58 c Got one! Elapsed wall clock time (in seconds):14.216 15.81/14.58 o -1575 15.91/14.61 c Got one! Elapsed wall clock time (in seconds):14.237 15.91/14.61 o -1576 15.91/14.63 c Got one! Elapsed wall clock time (in seconds):14.257 15.91/14.63 o -1581 15.91/14.66 c Got one! Elapsed wall clock time (in seconds):14.29 15.91/14.66 o -1584 16.08/14.72 c Got one! Elapsed wall clock time (in seconds):14.347 16.08/14.72 o -21271 21.43/19.80 c cleaning 2511 clauses out of 5021 with flag 5001/5021 27.07/25.36 c cleaning 4255 clauses out of 8510 with flag 11001/11021 27.69/25.92 c Got one! Elapsed wall clock time (in seconds):25.55 27.69/25.92 o -25475 30.90/29.12 c Got one! Elapsed wall clock time (in seconds):28.754 30.90/29.12 o -25502 32.50/30.80 c cleaning 5233 clauses out of 10552 with flag 2001/17318 38.12/36.32 c cleaning 5652 clauses out of 11319 with flag 8001/23318 44.29/42.41 c cleaning 6324 clauses out of 12667 with flag 15001/30318 49.89/48.09 c Got one! Elapsed wall clock time (in seconds):47.722 49.89/48.09 o -26710 54.19/52.33 c cleaning 8980 clauses out of 18018 with flag 5003/41993 60.02/58.17 c cleaning 7507 clauses out of 15035 with flag 11000/47990 67.15/65.21 c cleaning 7252 clauses out of 14528 with flag 18000/54990 73.57/71.68 c cleaning 7631 clauses out of 15276 with flag 26000/62990 80.98/79.02 c cleaning 8312 clauses out of 16648 with flag 35003/71993 89.31/87.31 c cleaning 9122 clauses out of 18333 with flag 45000/81990 99.74/97.71 c cleaning 10099 clauses out of 20211 with flag 56000/92990 108.26/106.27 c cleaning 11041 clauses out of 22112 with flag 68000/104990 118.17/116.10 c cleaning 12036 clauses out of 24071 with flag 81000/117990 129.79/127.78 c cleaning 13005 clauses out of 26035 with flag 95000/131990 142.76/140.60 c cleaning 13988 clauses out of 28030 with flag 110000/146990 156.77/154.63 c cleaning 15018 clauses out of 30043 with flag 126001/162991 172.99/170.82 c cleaning 16013 clauses out of 32025 with flag 143001/179991 189.46/187.27 c cleaning 17003 clauses out of 34012 with flag 161001/197991 205.19/202.92 c cleaning 17973 clauses out of 36008 with flag 180000/216990 219.72/217.42 c cleaning 19000 clauses out of 38035 with flag 200000/236990 232.65/230.39 c cleaning 20002 clauses out of 40037 with flag 221002/257992 251.98/249.64 c cleaning 21017 clauses out of 42033 with flag 243000/279990 269.45/267.04 c cleaning 22001 clauses out of 44017 with flag 266001/302991 288.38/285.95 c cleaning 23006 clauses out of 46015 with flag 290000/326990 315.03/312.52 c cleaning 23939 clauses out of 48009 with flag 315000/351990 333.77/331.15 c cleaning 25023 clauses out of 50072 with flag 341002/377992 356.10/353.46 c cleaning 26011 clauses out of 52047 with flag 368000/404990 378.14/375.43 c cleaning 26997 clauses out of 54036 with flag 396000/432990 402.76/400.05 c cleaning 28013 clauses out of 56039 with flag 425000/461990 429.71/426.95 c cleaning 28982 clauses out of 58027 with flag 455001/491991 452.60/449.77 c cleaning 30002 clauses out of 60044 with flag 486000/522990 471.76/468.80 c cleaning 31008 clauses out of 62042 with flag 518000/554990 491.68/488.74 c cleaning 32017 clauses out of 64034 with flag 551000/587990 520.64/517.67 c cleaning 33003 clauses out of 66017 with flag 585000/621990 549.22/546.19 c cleaning 33996 clauses out of 68015 with flag 620001/656991 587.20/584.08 c cleaning 34975 clauses out of 70018 with flag 656000/692990 622.60/619.32 c cleaning 36014 clauses out of 72043 with flag 693000/729990 650.26/646.91 c cleaning 36961 clauses out of 74029 with flag 731000/767990 679.71/676.40 c cleaning 38020 clauses out of 76071 with flag 770003/806993 713.58/710.14 c cleaning 39013 clauses out of 78048 with flag 810000/846990 749.47/745.91 c cleaning 40013 clauses out of 80035 with flag 851000/887990 786.49/782.89 c cleaning 40999 clauses out of 82022 with flag 893000/929990 823.38/819.67 c cleaning 42009 clauses out of 84023 with flag 936000/972990 854.28/850.49 c cleaning 42962 clauses out of 86014 with flag 980000/1016990 884.03/880.13 c cleaning 43998 clauses out of 88054 with flag 1025002/1061992 925.46/921.54 c cleaning 45012 clauses out of 90055 with flag 1071001/1107991 978.22/974.21 c cleaning 46011 clauses out of 92042 with flag 1118000/1154990 1032.66/1028.49 c cleaning 47016 clauses out of 94031 with flag 1166000/1202990 1092.37/1088.09 c cleaning 48001 clauses out of 96015 with flag 1215000/1251990 1156.16/1151.56 c cleaning 49000 clauses out of 98016 with flag 1265002/1301992 1207.70/1202.99 c cleaning 50000 clauses out of 100014 with flag 1316000/1352990 1248.51/1243.50 c cleaning 50993 clauses out of 102014 with flag 1368000/1404990 1299.19/1294.16 c cleaning 52011 clauses out of 104021 with flag 1421000/1457990 1344.91/1339.80 c cleaning 52909 clauses out of 106010 with flag 1475000/1511990 1383.88/1378.65 c cleaning 54040 clauses out of 108103 with flag 1530002/1566992 1422.27/1416.95 c cleaning 55031 clauses out of 110061 with flag 1586000/1622990 1484.56/1479.15 c cleaning 56013 clauses out of 112030 with flag 1643000/1679990 1546.68/1541.16 c cleaning 57008 clauses out of 114019 with flag 1701002/1737992 1601.71/1596.09 c cleaning 57991 clauses out of 116009 with flag 1760000/1796990 1649.67/1643.90 c cleaning 58991 clauses out of 118020 with flag 1820002/1856992 1696.72/1690.95 c cleaning 59953 clauses out of 120027 with flag 1881000/1917990 1741.28/1735.49 c cleaning 61014 clauses out of 122074 with flag 1943000/1979990 1791.82/1785.91 c cleaning 62016 clauses out of 124062 with flag 2006002/2042992 1800.01/1794.02 c starts : 838 1800.01/1794.02 c conflicts : 2050946 1800.01/1794.02 c decisions : 9784112 1800.01/1794.02 c propagations : 142419720 1800.01/1794.02 c inspects : 6447015691 1800.01/1794.02 c shortcuts : 0 1800.01/1794.02 c learnt literals : 0 1800.01/1794.02 c learnt binary clauses : 0 1800.01/1794.02 c learnt ternary clauses : 0 1800.01/1794.02 c learnt constraints : 2050946 1800.01/1794.02 c ignored constraints : 0 1800.01/1794.02 c root simplifications : 838 1800.01/1794.02 c removed literals (reason simplification) : 4845328929 1800.01/1794.02 c reason swapping (by a shorter reason) : 0 1800.01/1794.02 c Calls to reduceDB : 64 1800.01/1794.02 c number of reductions to clauses (during analyze) : 0 1800.01/1794.02 c number of learned constraints concerned by reduction : 0 1800.01/1794.02 c number of learning phase by resolution : 0 1800.01/1794.02 c number of learning phase by cutting planes : 0 1800.01/1794.02 c speed (assignments/second) : 79454.95768661932 1800.01/1794.02 c non guided choices 759550 1800.01/1794.04 c learnt constraints type 1800.01/1794.04 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 70019 1800.01/1794.04 c constraints type 1800.01/1794.04 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 223074 1800.01/1794.04 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 9 1800.01/1794.04 c 223083 constraints processed. 1800.01/1794.04 s SATISFIABLE 1800.01/1794.05 v x1 x2 x3 x4 x5 x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 x68 x69 -x70 -x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 -x138 -x139 -x140 x141 x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 -x162 -x163 -x164 x165 x166 x167 x168 x169 -x170 -x171 -x172 x173 -x174 -x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 -x188 -x189 x190 x191 x192 x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 x219 x220 x221 x222 -x223 -x224 -x225 x226 x227 x228 -x229 x230 x231 x232 x233 x234 x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 x244 x245 x246 x247 x248 -x249 -x250 x251 x252 x253 x254 x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 x270 x271 x272 x273 x274 -x275 -x276 -x277 -x278 x279 x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 x298 x299 x300 x301 -x302 -x303 -x304 -x305 x306 x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 x327 x328 x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 x353 x354 x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 x380 x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 x396 x397 x398 x399 -x400 -x401 -x402 -x403 x404 -x405 x406 x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 -x428 x429 x430 -x431 -x432 -x433 -x434 x435 x436 x437 -x438 -x439 -x440 -x441 -x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 -x460 -x461 -x462 x463 -x464 -x465 x466 -x467 -x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 -x536 -x537 -x538 x539 x540 x541 -x542 -x543 x544 -x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 -x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 -x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 -x616 -x617 -x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 -x642 -x643 -x644 x645 -x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 x813 x814 x815 x816 x817 x818 x819 x820 x821 x822 x823 x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 x839 x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 x895 x896 x897 x898 x899 x900 x901 x902 -x903 -x904 -x905 -x906 -x907 x908 x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 x922 x923 x924 x925 x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 x963 x964 x965 x966 -x967 -x968 -x969 -x970 x971 x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 x990 x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 x1138 x1139 x1140 x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 x1162 x1163 x1164 x1165 x1166 x1167 x1168 x1169 -x1170 -x1171 x1172 x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 x1213 x1214 x1215 x1216 x1217 x1218 x1219 x1220 x1221 x1222 x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 x1239 x1240 x1241 x1242 x1243 x1244 x1245 x1246 x1247 x1248 x1249 x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 -x1278 -x1279 -x1280 -x1281 x1282 x1283 x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 x1305 -x1306 -x1307 -x1308 x1309 x1310 x1311 -x1312 x1313 x1314 x1315 -x1316 -x1317 x1318 x1319 x1320 x1321 x1322 x1323 x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 x1339 x1340 x1341 x1342 x1343 x1344 x1345 x1346 x1347 x1348 x1349 x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 x1368 x1369 -x1370 x1371 x1372 x1373 x1374 x1375 x1376 x1377 x1378 x1379 x1380 x1381 x1382 x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 x1396 x1397 x1398 x1399 x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 x1425 x1426 x1427 x1428 x1429 x1430 x1431 x1432 x1433 x1434 x1435 x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 x1453 x1454 x1455 x1456 x1457 x1458 x1459 x1460 x1461 x1462 x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 x1479 x1480 x1481 x1482 x1483 x1484 x1485 x1486 x1487 x1488 x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 x1507 x1508 x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 x1534 x1535 x1536 x1537 x1538 x1539 x1540 x1541 x1542 x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 x1589 x1590 x1591 x1592 x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 x1616 x1617 x1618 x1619 x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 x1887 x1888 x1889 x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 x1910 x1911 x1912 x1913 x1914 x1915 x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 x1936 x1937 x1938 x1939 x1940 x1941 x1942 x1943 x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 x1963 x1964 x1965 x1966 x1967 x1968 x1969 x1970 x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 x1989 x1990 x1991 x1992 x1993 x1994 x1995 x1996 x1997 x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 x2015 x2016 x2017 x2018 x2019 x2020 x2021 x2022 x2023 x2024 x2025 x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040 x2041 x2042 x2043 x2044 x2045 x2046 x2047 x2048 x2049 x2050 x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 x2063 x2064 -x2065 -x2066 x2067 x2068 x2069 x2070 x2071 x2072 x2073 x2074 x2075 x2076 x2077 x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 x2094 x2095 x2096 x2097 x2098 x2099 x2100 x2101 x2102 x2103 x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 x2120 x2121 x2122 x2123 x2124 x2125 x2126 x2127 x2128 x2129 x2130 x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 x2146 x2147 x2148 x2149 x2150 x2151 x2152 x2153 x2154 x2155 x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 x2174 x2175 x2176 x2177 x2178 x2179 x2180 x2181 x2182 x2183 x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 x2201 x2202 x2203 x2204 x2205 x2206 x2207 x2208 x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 x2229 x2230 x2231 x2232 x2233 x2234 x2235 x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 x2256 x2257 x2258 x2259 x2260 x2261 x2262 x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 x2282 x2283 x2284 x2285 x2286 x2287 x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 x2311 x2312 x2313 x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 x2637 x2638 x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 x2660 x2661 x2662 x2663 x2664 x2665 x2666 x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 x2687 x2688 x2689 x2690 x2691 x2692 x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 x2713 x2714 x2715 x2716 x2717 x2718 x2719 x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 x2739 x2740 x2741 x2742 x2743 x2744 x2745 x2746 x2747 x2748 x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 x2766 x2767 x2768 x2769 x2770 x2771 x2772 x2773 x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 x2791 x2792 x2793 x2794 x2795 x2796 x2797 x2798 x2799 x2800 x2801 x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 x2819 x2820 x2821 x2822 x2823 x2824 x2825 x2826 x2827 x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 x2845 x2846 x2847 x2848 x2849 x2850 x2851 x2852 x2853 x2854 x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 x2873 x2874 x2875 x2876 x2877 x2878 x2879 x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 x2901 x2902 x2903 x2904 x2905 x2906 x2907 x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 x2927 x2928 x2929 x2930 x2931 x2932 x2933 x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 x2955 x2956 x2957 x2958 x2959 x2960 x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 x2982 x2983 x2984 x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 x3009 x3010 x3011 x3012 x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 x3390 x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 x3413 x3414 x3415 x3416 x3417 x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 x3437 x3438 x3439 x3440 x3441 x3442 x3443 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 x3464 x3465 x3466 x3467 x3468 x3469 x3470 x3471 x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 x3491 x3492 x3493 x3494 x3495 x3496 x3497 x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 x3517 x3518 x3519 x3520 x3521 x3522 x3523 x3524 x3525 x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 x3544 x3545 x3546 x3547 x3548 x3549 x3550 x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 x3571 x3572 x3573 x3574 x3575 x3576 x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 x3597 x3598 x3599 x3600 x3601 x3602 x3603 x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 x3625 x3626 x3627 x3628 x3629 x3630 x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 x3651 x3652 x3653 x3654 x3655 x3656 x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 x3679 x3680 x3681 x3682 x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 x3707 x3708 x3709 x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 x4139 x4140 x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 x4164 x4165 x4166 x4167 x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 x4189 x4190 x4191 x4192 x4193 x4194 x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 x4216 x4217 x4218 x4219 x4220 x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 x4242 x4243 x4244 x4245 x4246 x4247 x4248 x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x4270 x4271 x4272 x4273 x4274 x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 x4297 x4298 x4299 x4300 x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 x4323 x4324 x4325 x4326 x4327 x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351 x4352 x4353 x4354 x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 x4377 x4378 x4379 x4380 x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 x4405 x4406 x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 x4890 x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 x4916 x4917 x4918 x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 x4942 x4943 x4944 x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 x4968 x4969 x4970 x4971 -x4972 x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 x4996 x4997 x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 x5023 x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 x5049 x5050 x5051 x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 x5077 -x5078 x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 x5103 x5104 x5105 x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 x5643 x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 x5669 x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 x5695 x5696 x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 x7987 x7988 -x7989 -x7990 -x7991 -x7992 -x7993 x7994 -x7995 x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 x8003 x8004 x8005 x8006 -x8007 x8008 x8009 -x8010 -x8011 x8012 -x8013 -x8014 x8015 -x8016 x8017 x8018 x8019 1800.01/1794.06 c objective function=-26710 1800.01/1794.06 c Total wall clock time (in seconds): 1793.691
OK -26710
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710297-1338207428/watcher-3710297-1338207428 -o /tmp/evaluation-result-3710297-1338207428/solver-3710297-1338207428 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710297-1338207428.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.19 3.31 3.74 3/173 23088 /proc/meminfo: memFree=31117780/32873844 swapFree=6080/6080 [pid=23088] ppid=23086 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/23088/stat : 23088 (java) D 23086 23088 20249 0 -1 4202496 80 0 1 0 0 0 0 0 20 0 1 0 286867363 278528 33 33554432000 1073741824 1073778376 140736481965056 140736481962232 248781040935 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0 /proc/23088/statm: 68 33 25 9 0 25 0 [startup+0.017823 s] /proc/loadavg: 2.19 3.31 3.74 3/173 23088 /proc/meminfo: memFree=31117780/32873844 swapFree=6080/6080 [pid=23088] ppid=23086 vsize=5632 CPUtime=0 cores=0,2,4,6 /proc/23088/stat : 23088 (java) R 23086 23088 20249 0 -1 4202496 306 0 2 0 0 0 0 0 20 0 1 0 286867363 5767168 55 33554432000 1073741824 1073778376 140734312351232 140734312348312 248781040935 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/23088/statm: 1408 55 43 9 0 30 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5632 [startup+0.100173 s] /proc/loadavg: 2.19 3.31 3.74 3/173 23088 /proc/meminfo: memFree=31117780/32873844 swapFree=6080/6080 [pid=23088] ppid=23086 vsize=23236 CPUtime=0.01 cores=0,2,4,6 /proc/23088/stat : 23088 (java) D 23086 23088 20249 0 -1 4202496 1067 0 21 0 0 1 0 0 20 0 1 0 286867363 23793664 814 33554432000 1073741824 1073778376 140734312351232 140734312341224 140461184173776 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 7 0 0 /proc/23088/statm: 5809 814 608 9 0 128 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 23236 [startup+0.300278 s] /proc/loadavg: 2.19 3.31 3.74 3/173 23088 /proc/meminfo: memFree=31117780/32873844 swapFree=6080/6080 [pid=23088] ppid=23086 vsize=9558440 CPUtime=0.06 cores=0,2,4,6 /proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 3330 0 29 0 4 2 0 0 20 0 18 0 286867363 9787842560 4565 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/23088/statm: 2389610 4568 1778 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558440 [startup+0.700267 s] /proc/loadavg: 2.19 3.31 3.74 3/173 23088 /proc/meminfo: memFree=31117780/32873844 swapFree=6080/6080 [pid=23088] ppid=23086 vsize=9558440 CPUtime=0.8 cores=0,2,4,6 /proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 5896 0 30 0 76 4 0 0 20 0 18 0 286867363 9787842560 21217 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/23088/statm: 2389610 21217 2238 9 0 2380296 0 Current children cumulated CPU time (s) 0.8 Current children cumulated vsize (KiB) 9558440 [startup+1.50071 s] /proc/loadavg: 2.19 3.31 3.74 3/211 23133 /proc/meminfo: memFree=30773344/32873844 swapFree=6080/6080 [pid=23088] ppid=23086 vsize=9558440 CPUtime=1.99 cores=0,2,4,6 /proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 9179 0 30 0 188 11 0 0 20 0 18 0 286867363 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/23088/statm: 2389610 47435 2261 9 0 2380296 0 [pid=23088/tid=23100] ppid=23086 vsize=9558440 CPUtime=1.16 cores=0,2,4,6 /proc/23088/task/23100/stat : 23100 (java) R 23086 23088 20249 0 -1 4202560 2548 0 6 0 111 5 0 0 20 0 18 0 286867373 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461179854184 248793589005 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 [pid=23088/tid=23102] ppid=23086 vsize=9558440 CPUtime=0.02 cores=0,2,4,6 /proc/23088/task/23102/stat : 23102 (java) S 23086 23088 20249 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461141347368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23103] ppid=23086 vsize=9558440 CPUtime=0.01 cores=0,2,4,6 /proc/23088/task/23103/stat : 23103 (java) S 23086 23088 20249 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461140294568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23105] ppid=23086 vsize=9558440 CPUtime=0.02 cores=0,2,4,6 /proc/23088/task/23105/stat : 23105 (java) S 23086 23088 20249 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461139241768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23106] ppid=23086 vsize=9558440 CPUtime=0.02 cores=0,2,4,6 /proc/23088/task/23106/stat : 23106 (java) S 23086 23088 20249 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461138188968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23107] ppid=23086 vsize=9558440 CPUtime=0.01 cores=0,2,4,6 /proc/23088/task/23107/stat : 23107 (java) S 23086 23088 20249 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461137136168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23109] ppid=23086 vsize=9558440 CPUtime=0.02 cores=0,2,4,6 /proc/23088/task/23109/stat : 23109 (java) S 23086 23088 20249 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461136083368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23110] ppid=23086 vsize=9558440 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23110/stat : 23110 (java) S 23086 23088 20249 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461016607016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23112] ppid=23086 vsize=9558440 CPUtime=0.01 cores=0,2,4,6 /proc/23088/task/23112/stat : 23112 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 286867376 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461015554216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23118] ppid=23086 vsize=9558440 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23118/stat : 23118 (java) S 23086 23088 20249 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 286867379 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461003357160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23120] ppid=23086 vsize=9558440 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23120/stat : 23120 (java) S 23086 23088 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 286867381 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461002303224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23122] ppid=23086 vsize=9558440 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23122/stat : 23122 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 286867381 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140461001250312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23124] ppid=23086 vsize=9558440 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23124/stat : 23124 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 286867389 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140460261632656 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23126] ppid=23086 vsize=9558440 CPUtime=0.27 cores=0,2,4,6 /proc/23088/task/23126/stat : 23126 (java) S 23086 23088 20249 0 -1 4202560 2598 0 0 0 27 0 0 0 20 0 18 0 286867389 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140460260579768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23127] ppid=23086 vsize=9558440 CPUtime=0.28 cores=0,2,4,6 /proc/23088/task/23127/stat : 23127 (java) S 23086 23088 20249 0 -1 4202560 2736 0 1 0 28 0 0 0 20 0 18 0 286867389 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140460259526968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23130] ppid=23086 vsize=9558440 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23130/stat : 23130 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 286867389 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140460258474360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23131] ppid=23086 vsize=9558440 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23131/stat : 23131 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 286867389 9787842560 47435 33554432000 1073741824 1073778376 140734312351232 140460257421768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.99 Current children cumulated vsize (KiB) 9558440 [startup+3.10076 s] /proc/loadavg: 2.19 3.31 3.74 5/213 23135 /proc/meminfo: memFree=30552512/32873844 swapFree=6080/6080 [pid=23088] ppid=23086 vsize=9625004 CPUtime=4.14 cores=0,2,4,6 /proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 10634 0 30 0 398 16 0 0 20 0 19 0 286867363 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/23088/statm: 2406251 82487 2275 9 0 2396937 0 [pid=23088/tid=23100] ppid=23086 vsize=9625004 CPUtime=2.72 cores=0,2,4,6 /proc/23088/task/23100/stat : 23100 (java) R 23086 23088 20249 0 -1 4202560 2618 0 6 0 265 7 0 0 20 0 19 0 286867373 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461179847104 140461017451925 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 [pid=23088/tid=23102] ppid=23086 vsize=9625004 CPUtime=0.04 cores=0,2,4,6 /proc/23088/task/23102/stat : 23102 (java) S 23086 23088 20249 0 -1 4202560 21 0 0 0 2 2 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461141347368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23103] ppid=23086 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/23088/task/23103/stat : 23103 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461140294568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23105] ppid=23086 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/23088/task/23105/stat : 23105 (java) S 23086 23088 20249 0 -1 4202560 14 0 0 0 2 1 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461139241768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23106] ppid=23086 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/23088/task/23106/stat : 23106 (java) S 23086 23088 20249 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461138188968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23107] ppid=23086 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/23088/task/23107/stat : 23107 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461137136168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23109] ppid=23086 vsize=9625004 CPUtime=0.05 cores=0,2,4,6 /proc/23088/task/23109/stat : 23109 (java) S 23086 23088 20249 0 -1 4202560 21 0 0 0 3 2 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461136083368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23110] ppid=23086 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/23088/task/23110/stat : 23110 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461016607016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23112] ppid=23086 vsize=9625004 CPUtime=0.02 cores=0,2,4,6 /proc/23088/task/23112/stat : 23112 (java) S 23086 23088 20249 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 286867376 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461015554216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23118] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23118/stat : 23118 (java) S 23086 23088 20249 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 286867379 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461003357160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23120] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23120/stat : 23120 (java) S 23086 23088 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461002303224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23122] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23122/stat : 23122 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140461001250312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23124] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23124/stat : 23124 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140460261632656 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23126] ppid=23086 vsize=9625004 CPUtime=0.53 cores=0,2,4,6 /proc/23088/task/23126/stat : 23126 (java) S 23086 23088 20249 0 -1 4202560 3610 0 0 0 53 0 0 0 20 0 19 0 286867389 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140460260579768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23127] ppid=23086 vsize=9625004 CPUtime=0.5 cores=0,2,4,6 /proc/23088/task/23127/stat : 23127 (java) S 23086 23088 20249 0 -1 4202560 2935 0 1 0 50 0 0 0 20 0 19 0 286867389 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140460259526968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23130] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23130/stat : 23130 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140460258474360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23131] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23131/stat : 23131 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140460257421768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23134] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23134/stat : 23134 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286867519 9856004096 82487 33554432000 1073741824 1073778376 140734312351232 140460256368296 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.14 Current children cumulated vsize (KiB) 9625004 [startup+6.30076 s] /proc/loadavg: 2.17 3.28 3.73 3/213 23135 /proc/meminfo: memFree=30403576/32873844 swapFree=6080/6080 [pid=23088] ppid=23086 vsize=9625004 CPUtime=7.45 cores=0,2,4,6 /proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 10737 0 30 0 726 19 0 0 20 0 19 0 286867363 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/23088/statm: 2406251 88071 2276 9 0 2396937 0 [pid=23088/tid=23100] ppid=23086 vsize=9625004 CPUtime=5.88 cores=0,2,4,6 /proc/23088/task/23100/stat : 23100 (java) R 23086 23088 20249 0 -1 4202560 2620 0 6 0 581 7 0 0 20 0 19 0 286867373 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461179847104 140461017409526 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 [pid=23088/tid=23102] ppid=23086 vsize=9625004 CPUtime=0.05 cores=0,2,4,6 /proc/23088/task/23102/stat : 23102 (java) S 23086 23088 20249 0 -1 4202560 33 0 0 0 3 2 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461141347368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23103] ppid=23086 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/23088/task/23103/stat : 23103 (java) S 23086 23088 20249 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461140294568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23105] ppid=23086 vsize=9625004 CPUtime=0.04 cores=0,2,4,6 /proc/23088/task/23105/stat : 23105 (java) S 23086 23088 20249 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461139241768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23106] ppid=23086 vsize=9625004 CPUtime=0.04 cores=0,2,4,6 /proc/23088/task/23106/stat : 23106 (java) S 23086 23088 20249 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461138188968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23107] ppid=23086 vsize=9625004 CPUtime=0.05 cores=0,2,4,6 /proc/23088/task/23107/stat : 23107 (java) S 23086 23088 20249 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461137136168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23109] ppid=23086 vsize=9625004 CPUtime=0.06 cores=0,2,4,6 /proc/23088/task/23109/stat : 23109 (java) S 23086 23088 20249 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461136083368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23110] ppid=23086 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/23088/task/23110/stat : 23110 (java) S 23086 23088 20249 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461016607016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23112] ppid=23086 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/23088/task/23112/stat : 23112 (java) S 23086 23088 20249 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 19 0 286867376 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461015554216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23118] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23118/stat : 23118 (java) S 23086 23088 20249 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 286867379 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461003357160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23120] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23120/stat : 23120 (java) S 23086 23088 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461002303224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23122] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23122/stat : 23122 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140461001250312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23124] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23124/stat : 23124 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140460261632656 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23126] ppid=23086 vsize=9625004 CPUtime=0.53 cores=0,2,4,6 /proc/23088/task/23126/stat : 23126 (java) S 23086 23088 20249 0 -1 4202560 3610 0 0 0 53 0 0 0 20 0 19 0 286867389 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140460260579768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23127] ppid=23086 vsize=9625004 CPUtime=0.52 cores=0,2,4,6 /proc/23088/task/23127/stat : 23127 (java) S 23086 23088 20249 0 -1 4202560 2962 0 1 0 52 0 0 0 20 0 19 0 286867389 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140460259526968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23130] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23130/stat : 23130 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140460258474360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23131] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23131/stat : 23131 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140460257421768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23134] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23134/stat : 23134 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286867519 9856004096 88071 33554432000 1073741824 1073778376 140734312351232 140460256368296 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.45 Current children cumulated vsize (KiB) 9625004 [startup+12.7008 s] /proc/loadavg: 2.16 3.26 3.72 3/213 23135 /proc/meminfo: memFree=29919244/32873844 swapFree=6080/6080 ################ # More data... # ################ [pid=23088/tid=23126] ppid=23086 vsize=9625004 CPUtime=0.72 cores=0,2,4,6 /proc/23088/task/23126/stat : 23126 (java) S 23086 23088 20249 0 -1 4202560 3635 0 0 0 72 0 0 0 20 0 19 0 286867389 9856004096 324378 33554432000 1073741824 1073778376 140734312351232 140460260579768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23127] ppid=23086 vsize=9625004 CPUtime=0.78 cores=0,2,4,6 /proc/23088/task/23127/stat : 23127 (java) S 23086 23088 20249 0 -1 4202560 3229 0 1 0 78 0 0 0 20 0 19 0 286867389 9856004096 324378 33554432000 1073741824 1073778376 140734312351232 140460259526968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23130] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23130/stat : 23130 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 324378 33554432000 1073741824 1073778376 140734312351232 140460258474360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23131] ppid=23086 vsize=9625004 CPUtime=0.4 cores=0,2,4,6 /proc/23088/task/23131/stat : 23131 (java) S 23086 23088 20249 0 -1 4202560 95 0 0 0 18 22 0 0 20 0 19 0 286867389 9856004096 324378 33554432000 1073741824 1073778376 140734312351232 140460257421768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23134] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23134/stat : 23134 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286867519 9856004096 324378 33554432000 1073741824 1073778376 140734312351232 140460256368296 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1668.12 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.26 3/213 23151 /proc/meminfo: memFree=28358100/32873844 swapFree=6080/6080 [pid=23088] ppid=23086 vsize=9625004 CPUtime=1728.17 cores=0,2,4,6 /proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 16677 0 30 0 172685 132 0 0 20 0 19 0 286867363 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/23088/statm: 2406251 324382 2291 9 0 2396937 0 [pid=23088/tid=23100] ppid=23086 vsize=9625004 CPUtime=1710.59 cores=0,2,4,6 /proc/23088/task/23100/stat : 23100 (java) R 23086 23088 20249 0 -1 4202560 2824 0 6 0 171020 39 0 0 20 0 19 0 286867373 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461179855168 140461017463772 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 [pid=23088/tid=23102] ppid=23086 vsize=9625004 CPUtime=0.63 cores=0,2,4,6 /proc/23088/task/23102/stat : 23102 (java) S 23086 23088 20249 0 -1 4202560 506 0 0 0 54 9 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461141347368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23103] ppid=23086 vsize=9625004 CPUtime=0.69 cores=0,2,4,6 /proc/23088/task/23103/stat : 23103 (java) S 23086 23088 20249 0 -1 4202560 246 0 0 0 60 9 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461140294568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23105] ppid=23086 vsize=9625004 CPUtime=0.82 cores=0,2,4,6 /proc/23088/task/23105/stat : 23105 (java) S 23086 23088 20249 0 -1 4202560 842 0 0 0 68 14 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461139241768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23106] ppid=23086 vsize=9625004 CPUtime=0.72 cores=0,2,4,6 /proc/23088/task/23106/stat : 23106 (java) S 23086 23088 20249 0 -1 4202560 269 0 0 0 62 10 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461138188968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23107] ppid=23086 vsize=9625004 CPUtime=0.81 cores=0,2,4,6 /proc/23088/task/23107/stat : 23107 (java) S 23086 23088 20249 0 -1 4202560 662 0 0 0 68 13 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461137136168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23109] ppid=23086 vsize=9625004 CPUtime=0.84 cores=0,2,4,6 /proc/23088/task/23109/stat : 23109 (java) S 23086 23088 20249 0 -1 4202560 920 0 0 0 71 13 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461136083368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23110] ppid=23086 vsize=9625004 CPUtime=0.71 cores=0,2,4,6 /proc/23088/task/23110/stat : 23110 (java) S 23086 23088 20249 0 -1 4202560 441 0 0 0 61 10 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461016607016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23112] ppid=23086 vsize=9625004 CPUtime=0.8 cores=0,2,4,6 /proc/23088/task/23112/stat : 23112 (java) S 23086 23088 20249 0 -1 4202560 902 0 0 0 67 13 0 0 20 0 19 0 286867376 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461015554216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23118] ppid=23086 vsize=9625004 CPUtime=5.32 cores=0,2,4,6 /proc/23088/task/23118/stat : 23118 (java) S 23086 23088 20249 0 -1 4202560 943 0 0 0 529 3 0 0 20 0 19 0 286867379 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461003357160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23120] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23120/stat : 23120 (java) S 23086 23088 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461002303224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23122] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23122/stat : 23122 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140461001250312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23124] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23124/stat : 23124 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140460261632656 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23126] ppid=23086 vsize=9625004 CPUtime=0.72 cores=0,2,4,6 /proc/23088/task/23126/stat : 23126 (java) S 23086 23088 20249 0 -1 4202560 3635 0 0 0 72 0 0 0 20 0 19 0 286867389 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140460260579768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23127] ppid=23086 vsize=9625004 CPUtime=0.78 cores=0,2,4,6 /proc/23088/task/23127/stat : 23127 (java) S 23086 23088 20249 0 -1 4202560 3229 0 1 0 78 0 0 0 20 0 19 0 286867389 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140460259526968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23130] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23130/stat : 23130 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140460258474360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23131] ppid=23086 vsize=9625004 CPUtime=0.42 cores=0,2,4,6 /proc/23088/task/23131/stat : 23131 (java) S 23086 23088 20249 0 -1 4202560 99 0 0 0 19 23 0 0 20 0 19 0 286867389 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140460257421768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23134] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23134/stat : 23134 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286867519 9856004096 324382 33554432000 1073741824 1073778376 140734312351232 140460256368296 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1728.17 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.24 3/213 23151 /proc/meminfo: memFree=28357664/32873844 swapFree=6080/6080 [pid=23088] ppid=23086 vsize=9625004 CPUtime=1788.22 cores=0,2,4,6 /proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 16692 0 30 0 178688 134 0 0 20 0 19 0 286867363 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/23088/statm: 2406251 324385 2291 9 0 2396937 0 [pid=23088/tid=23100] ppid=23086 vsize=9625004 CPUtime=1770.31 cores=0,2,4,6 /proc/23088/task/23100/stat : 23100 (java) R 23086 23088 20249 0 -1 4202560 2825 0 6 0 176991 40 0 0 20 0 19 0 286867373 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461179855168 140461017681658 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 [pid=23088/tid=23102] ppid=23086 vsize=9625004 CPUtime=0.65 cores=0,2,4,6 /proc/23088/task/23102/stat : 23102 (java) S 23086 23088 20249 0 -1 4202560 510 0 0 0 56 9 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461141347368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23103] ppid=23086 vsize=9625004 CPUtime=0.7 cores=0,2,4,6 /proc/23088/task/23103/stat : 23103 (java) S 23086 23088 20249 0 -1 4202560 250 0 0 0 61 9 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461140294568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23105] ppid=23086 vsize=9625004 CPUtime=0.83 cores=0,2,4,6 /proc/23088/task/23105/stat : 23105 (java) S 23086 23088 20249 0 -1 4202560 842 0 0 0 69 14 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461139241768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23106] ppid=23086 vsize=9625004 CPUtime=0.72 cores=0,2,4,6 /proc/23088/task/23106/stat : 23106 (java) S 23086 23088 20249 0 -1 4202560 269 0 0 0 62 10 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461138188968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23107] ppid=23086 vsize=9625004 CPUtime=0.81 cores=0,2,4,6 /proc/23088/task/23107/stat : 23107 (java) S 23086 23088 20249 0 -1 4202560 662 0 0 0 68 13 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461137136168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23109] ppid=23086 vsize=9625004 CPUtime=0.85 cores=0,2,4,6 /proc/23088/task/23109/stat : 23109 (java) S 23086 23088 20249 0 -1 4202560 920 0 0 0 71 14 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461136083368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23110] ppid=23086 vsize=9625004 CPUtime=0.71 cores=0,2,4,6 /proc/23088/task/23110/stat : 23110 (java) S 23086 23088 20249 0 -1 4202560 441 0 0 0 61 10 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461016607016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23112] ppid=23086 vsize=9625004 CPUtime=0.82 cores=0,2,4,6 /proc/23088/task/23112/stat : 23112 (java) S 23086 23088 20249 0 -1 4202560 902 0 0 0 69 13 0 0 20 0 19 0 286867376 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461015554216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23118] ppid=23086 vsize=9625004 CPUtime=5.41 cores=0,2,4,6 /proc/23088/task/23118/stat : 23118 (java) S 23086 23088 20249 0 -1 4202560 945 0 0 0 538 3 0 0 20 0 19 0 286867379 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461003357160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23120] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23120/stat : 23120 (java) S 23086 23088 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461002303224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23122] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23122/stat : 23122 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140461001250312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23124] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23124/stat : 23124 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140460261632656 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23126] ppid=23086 vsize=9625004 CPUtime=0.72 cores=0,2,4,6 /proc/23088/task/23126/stat : 23126 (java) S 23086 23088 20249 0 -1 4202560 3635 0 0 0 72 0 0 0 20 0 19 0 286867389 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140460260579768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23127] ppid=23086 vsize=9625004 CPUtime=0.78 cores=0,2,4,6 /proc/23088/task/23127/stat : 23127 (java) S 23086 23088 20249 0 -1 4202560 3229 0 1 0 78 0 0 0 20 0 19 0 286867389 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140460259526968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23130] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23130/stat : 23130 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140460258474360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23131] ppid=23086 vsize=9625004 CPUtime=0.43 cores=0,2,4,6 /proc/23088/task/23131/stat : 23131 (java) S 23086 23088 20249 0 -1 4202560 103 0 0 0 20 23 0 0 20 0 19 0 286867389 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140460257421768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23134] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23134/stat : 23134 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286867519 9856004096 324385 33554432000 1073741824 1073778376 140734312351232 140460256368296 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1788.22 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794 s] /proc/loadavg: 2.00 2.00 2.24 3/213 23151 /proc/meminfo: memFree=28357788/32873844 swapFree=6080/6080 [pid=23088] ppid=23086 vsize=9625004 CPUtime=1800.01 cores=0,2,4,6 /proc/23088/stat : 23088 (java) S 23086 23088 20249 0 -1 4202496 16698 0 30 0 179867 134 0 0 20 0 19 0 286867363 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140734312342368 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 7 0 0 /proc/23088/statm: 2406251 324373 2291 9 0 2396937 0 [pid=23088/tid=23100] ppid=23086 vsize=9625004 CPUtime=1781.82 cores=0,2,4,6 /proc/23088/task/23100/stat : 23100 (java) R 23086 23088 20249 0 -1 4202560 2826 0 6 0 178141 41 0 0 20 0 19 0 286867373 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461179855168 140461017452221 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 [pid=23088/tid=23102] ppid=23086 vsize=9625004 CPUtime=0.66 cores=0,2,4,6 /proc/23088/task/23102/stat : 23102 (java) S 23086 23088 20249 0 -1 4202560 510 0 0 0 57 9 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461141347368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23103] ppid=23086 vsize=9625004 CPUtime=0.71 cores=0,2,4,6 /proc/23088/task/23103/stat : 23103 (java) S 23086 23088 20249 0 -1 4202560 250 0 0 0 62 9 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461140294568 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23105] ppid=23086 vsize=9625004 CPUtime=0.86 cores=0,2,4,6 /proc/23088/task/23105/stat : 23105 (java) S 23086 23088 20249 0 -1 4202560 842 0 0 0 72 14 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461139241768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23106] ppid=23086 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/23088/task/23106/stat : 23106 (java) S 23086 23088 20249 0 -1 4202560 269 0 0 0 64 10 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461138188968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23107] ppid=23086 vsize=9625004 CPUtime=0.82 cores=0,2,4,6 /proc/23088/task/23107/stat : 23107 (java) S 23086 23088 20249 0 -1 4202560 662 0 0 0 69 13 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461137136168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23109] ppid=23086 vsize=9625004 CPUtime=0.86 cores=0,2,4,6 /proc/23088/task/23109/stat : 23109 (java) S 23086 23088 20249 0 -1 4202560 923 0 0 0 72 14 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461136083368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23110] ppid=23086 vsize=9625004 CPUtime=0.73 cores=0,2,4,6 /proc/23088/task/23110/stat : 23110 (java) S 23086 23088 20249 0 -1 4202560 441 0 0 0 63 10 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461016607016 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23112] ppid=23086 vsize=9625004 CPUtime=0.83 cores=0,2,4,6 /proc/23088/task/23112/stat : 23112 (java) S 23086 23088 20249 0 -1 4202560 902 0 0 0 70 13 0 0 20 0 19 0 286867376 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461015554216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23118] ppid=23086 vsize=9625004 CPUtime=5.56 cores=0,2,4,6 /proc/23088/task/23118/stat : 23118 (java) S 23086 23088 20249 0 -1 4202560 947 0 0 0 553 3 0 0 20 0 19 0 286867379 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461003357160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23120] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23120/stat : 23120 (java) S 23086 23088 20249 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461002303224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23122] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23122/stat : 23122 (java) S 23086 23088 20249 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286867381 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140461001250312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23124] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23124/stat : 23124 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140460261632656 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23088/tid=23126] ppid=23086 vsize=9625004 CPUtime=0.72 cores=0,2,4,6 /proc/23088/task/23126/stat : 23126 (java) S 23086 23088 20249 0 -1 4202560 3635 0 0 0 72 0 0 0 20 0 19 0 286867389 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140460260579768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23127] ppid=23086 vsize=9625004 CPUtime=0.78 cores=0,2,4,6 /proc/23088/task/23127/stat : 23127 (java) S 23086 23088 20249 0 -1 4202560 3229 0 1 0 78 0 0 0 20 0 19 0 286867389 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140460259526968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23088/tid=23130] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23130/stat : 23130 (java) S 23086 23088 20249 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286867389 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140460258474360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23088/tid=23131] ppid=23086 vsize=9625004 CPUtime=0.43 cores=0,2,4,6 /proc/23088/task/23131/stat : 23131 (java) S 23086 23088 20249 0 -1 4202560 103 0 0 0 20 23 0 0 20 0 19 0 286867389 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140460257421768 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23088/tid=23134] ppid=23086 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/23088/task/23134/stat : 23134 (java) S 23086 23088 20249 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286867519 9856004096 324373 33554432000 1073741824 1073778376 140734312351232 140460256368296 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23088 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=190241 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=740735 # CPU time returned by wait4() is 1795.93 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1794.07 CPU time (s): 1800.01 CPU user time (s): 1798.67 CPU system time (s): 1.34 CPU usage (%): 100.331 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.19 system time used= 1.74073 maximum resident set size= 1297616 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16732 page faults= 30 swaps= 0 block input operations= 25144 block output operations= 1592 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40291 involuntary context switches= 12004 runsolver used 6.33104 second user time and 14.1229 second system time The end
Begin job on node139 at 2012-05-28 14:17:08 IDJOB=3710297 IDBENCH=89893 IDSOLVER=2289 FILE ID=node139/3710297-1338207428 RUNJOBID= node139-1338207428-23070 PBS_JOBID= 14624580 Free space on /tmp= 71640 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z11-s8.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710297-1338207428/watcher-3710297-1338207428 -o /tmp/evaluation-result-3710297-1338207428/solver-3710297-1338207428 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710297-1338207428.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9014f307b4266a1d3ed4d1915c3fbd07 RANDOM SEED=1155374544 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31118788 kB Buffers: 429608 kB Cached: 458564 kB SwapCached: 828 kB Active: 684108 kB Inactive: 216392 kB Active(anon): 5960 kB Inactive(anon): 7968 kB Active(file): 678148 kB Inactive(file): 208424 kB Unevictable: 6080 kB Mlocked: 6080 kB SwapTotal: 67108856 kB SwapFree: 67104692 kB Dirty: 13960 kB Writeback: 0 kB AnonPages: 14300 kB Mapped: 11096 kB Shmem: 8 kB Slab: 717164 kB SReclaimable: 159540 kB SUnreclaim: 557624 kB KernelStack: 1376 kB PageTables: 3932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 107340 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71636 MiB End job on node139 at 2012-05-28 14:47:04