Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | -16183 | 1800.66 | 1794.66 |
Name | /OPT-BIGINT-LIN/heinz/ normalized-opm2-z9-s14.opb |
MD5SUM | 0eca8803cfc037d0cffd374298c6d6d9 |
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 | -16917 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
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 | 4356 |
Total number of constraints | 100680 |
Number of constraints which are clauses | 100672 |
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 | 4355 |
Number of terms in the objective function | 4313 |
Biggest coefficient in the objective function | 428 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 469022 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 1562976 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 10650988 |
Number of bits of the biggest sum of numbers | 24 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.01/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.08 c See www.sat4j.org for details. 0.01/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.01/0.08 c version 2.3.2.v20120418 0.01/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.08 c java.vm.version 19.1-b02 0.01/0.08 c java.vm.vendor Sun Microsystems Inc. 0.01/0.08 c sun.arch.data.model 64 0.01/0.08 c java.version 1.6.0_24 0.01/0.08 c os.name Linux 0.01/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.08 c os.arch amd64 0.01/0.08 c Free memory 501472288 0.01/0.08 c Max memory 7480803328 0.01/0.08 c Total memory 504102912 0.01/0.08 c Number of processors 8 0.09/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.12 c configuring ORDERS 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=true 0.09/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3710301-1338208874.opb 0.09/0.12 c reading problem ... 1.23/0.79 c ... done. Wall clock time 0.667s. 1.23/0.79 c declared #vars 4356 1.23/0.79 c #constraints 100680 1.23/0.79 c constraints type 1.23/0.79 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100672 1.23/0.79 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8 1.23/0.79 c 100680 constraints processed. 1.33/0.87 c SATISFIABLE 1.33/0.87 c OPTIMIZING... 1.33/0.87 c Got one! Elapsed wall clock time (in seconds):0.747 1.33/0.87 o 0 1.58/0.93 c Got one! Elapsed wall clock time (in seconds):0.81 1.58/0.93 o -37 1.58/0.96 c Got one! Elapsed wall clock time (in seconds):0.844 1.58/0.96 o -45 1.58/0.98 c Got one! Elapsed wall clock time (in seconds):0.862 1.58/0.98 o -55 1.86/1.01 c Got one! Elapsed wall clock time (in seconds):0.886 1.86/1.01 o -71 1.86/1.02 c Got one! Elapsed wall clock time (in seconds):0.901 1.86/1.02 o -81 1.86/1.03 c Got one! Elapsed wall clock time (in seconds):0.914 1.86/1.03 o -86 1.86/1.05 c Got one! Elapsed wall clock time (in seconds):0.927 1.86/1.05 o -102 1.86/1.06 c Got one! Elapsed wall clock time (in seconds):0.939 1.86/1.06 o -111 1.86/1.07 c Got one! Elapsed wall clock time (in seconds):0.95 1.86/1.07 o -122 1.86/1.08 c Got one! Elapsed wall clock time (in seconds):0.961 1.86/1.08 o -132 1.86/1.09 c Got one! Elapsed wall clock time (in seconds):0.971 1.86/1.09 o -138 1.86/1.10 c Got one! Elapsed wall clock time (in seconds):0.982 1.86/1.10 o -150 2.02/1.11 c Got one! Elapsed wall clock time (in seconds):0.993 2.02/1.11 o -156 2.02/1.12 c Got one! Elapsed wall clock time (in seconds):1.004 2.02/1.12 o -159 2.02/1.13 c Got one! Elapsed wall clock time (in seconds):1.014 2.02/1.13 o -163 2.02/1.14 c Got one! Elapsed wall clock time (in seconds):1.025 2.02/1.14 o -173 2.02/1.15 c Got one! Elapsed wall clock time (in seconds):1.036 2.02/1.15 o -179 2.02/1.17 c Got one! Elapsed wall clock time (in seconds):1.046 2.02/1.17 o -184 2.02/1.18 c Got one! Elapsed wall clock time (in seconds):1.057 2.02/1.18 o -187 2.02/1.19 c Got one! Elapsed wall clock time (in seconds):1.068 2.02/1.19 o -188 2.12/1.20 c Got one! Elapsed wall clock time (in seconds):1.078 2.12/1.20 o -193 2.12/1.21 c Got one! Elapsed wall clock time (in seconds):1.089 2.12/1.21 o -194 2.12/1.22 c Got one! Elapsed wall clock time (in seconds):1.099 2.12/1.22 o -201 2.12/1.23 c Got one! Elapsed wall clock time (in seconds):1.11 2.12/1.23 o -202 2.12/1.24 c Got one! Elapsed wall clock time (in seconds):1.121 2.12/1.24 o -203 2.12/1.25 c Got one! Elapsed wall clock time (in seconds):1.131 2.12/1.25 o -204 2.12/1.26 c Got one! Elapsed wall clock time (in seconds):1.142 2.12/1.26 o -209 2.12/1.27 c Got one! Elapsed wall clock time (in seconds):1.152 2.12/1.27 o -211 2.12/1.28 c Got one! Elapsed wall clock time (in seconds):1.163 2.12/1.28 o -212 2.12/1.29 c Got one! Elapsed wall clock time (in seconds):1.173 2.12/1.29 o -216 2.22/1.30 c Got one! Elapsed wall clock time (in seconds):1.184 2.22/1.30 o -217 2.22/1.31 c Got one! Elapsed wall clock time (in seconds):1.195 2.22/1.31 o -220 2.22/1.32 c Got one! Elapsed wall clock time (in seconds):1.205 2.22/1.32 o -230 2.22/1.34 c Got one! Elapsed wall clock time (in seconds):1.216 2.22/1.34 o -249 2.22/1.35 c Got one! Elapsed wall clock time (in seconds):1.227 2.22/1.35 o -253 2.22/1.36 c Got one! Elapsed wall clock time (in seconds):1.237 2.22/1.36 o -255 2.22/1.37 c Got one! Elapsed wall clock time (in seconds):1.248 2.22/1.37 o -259 2.22/1.38 c Got one! Elapsed wall clock time (in seconds):1.258 2.22/1.38 o -268 2.22/1.39 c Got one! Elapsed wall clock time (in seconds):1.269 2.22/1.39 o -269 2.32/1.40 c Got one! Elapsed wall clock time (in seconds):1.28 2.32/1.40 o -271 2.32/1.41 c Got one! Elapsed wall clock time (in seconds):1.29 2.32/1.41 o -273 2.32/1.42 c Got one! Elapsed wall clock time (in seconds):1.301 2.32/1.42 o -275 2.32/1.43 c Got one! Elapsed wall clock time (in seconds):1.311 2.32/1.43 o -277 2.32/1.44 c Got one! Elapsed wall clock time (in seconds):1.322 2.32/1.44 o -278 2.32/1.45 c Got one! Elapsed wall clock time (in seconds):1.333 2.32/1.45 o -281 2.32/1.46 c Got one! Elapsed wall clock time (in seconds):1.343 2.32/1.46 o -282 2.32/1.47 c Got one! Elapsed wall clock time (in seconds):1.354 2.32/1.47 o -286 2.32/1.48 c Got one! Elapsed wall clock time (in seconds):1.364 2.32/1.48 o -288 2.47/1.51 c Got one! Elapsed wall clock time (in seconds):1.395 2.47/1.51 o -289 2.47/1.52 c Got one! Elapsed wall clock time (in seconds):1.403 2.47/1.52 o -291 2.47/1.53 c Got one! Elapsed wall clock time (in seconds):1.412 2.47/1.53 o -294 2.47/1.54 c Got one! Elapsed wall clock time (in seconds):1.42 2.47/1.54 o -298 2.47/1.55 c Got one! Elapsed wall clock time (in seconds):1.428 2.47/1.55 o -300 2.47/1.56 c Got one! Elapsed wall clock time (in seconds):1.436 2.47/1.56 o -301 2.47/1.56 c Got one! Elapsed wall clock time (in seconds):1.444 2.47/1.56 o -305 2.47/1.57 c Got one! Elapsed wall clock time (in seconds):1.452 2.47/1.57 o -306 2.47/1.58 c Got one! Elapsed wall clock time (in seconds):1.46 2.47/1.58 o -307 2.47/1.59 c Got one! Elapsed wall clock time (in seconds):1.468 2.47/1.59 o -308 2.47/1.60 c Got one! Elapsed wall clock time (in seconds):1.477 2.47/1.60 o -309 2.56/1.60 c Got one! Elapsed wall clock time (in seconds):1.485 2.56/1.60 o -310 2.56/1.61 c Got one! Elapsed wall clock time (in seconds):1.493 2.56/1.61 o -311 2.56/1.62 c Got one! Elapsed wall clock time (in seconds):1.501 2.56/1.62 o -312 2.56/1.63 c Got one! Elapsed wall clock time (in seconds):1.509 2.56/1.63 o -317 2.56/1.64 c Got one! Elapsed wall clock time (in seconds):1.518 2.56/1.64 o -318 2.56/1.65 c Got one! Elapsed wall clock time (in seconds):1.527 2.56/1.65 o -319 2.56/1.65 c Got one! Elapsed wall clock time (in seconds):1.535 2.56/1.65 o -320 2.56/1.66 c Got one! Elapsed wall clock time (in seconds):1.544 2.56/1.66 o -321 2.56/1.67 c Got one! Elapsed wall clock time (in seconds):1.552 2.56/1.67 o -326 2.56/1.68 c Got one! Elapsed wall clock time (in seconds):1.56 2.56/1.68 o -327 2.56/1.69 c Got one! Elapsed wall clock time (in seconds):1.568 2.56/1.69 o -332 2.56/1.70 c Got one! Elapsed wall clock time (in seconds):1.576 2.56/1.70 o -342 2.68/1.70 c Got one! Elapsed wall clock time (in seconds):1.584 2.68/1.70 o -344 2.68/1.71 c Got one! Elapsed wall clock time (in seconds):1.593 2.68/1.71 o -345 2.68/1.72 c Got one! Elapsed wall clock time (in seconds):1.601 2.68/1.72 o -346 2.68/1.73 c Got one! Elapsed wall clock time (in seconds):1.609 2.68/1.73 o -351 2.68/1.74 c Got one! Elapsed wall clock time (in seconds):1.617 2.68/1.74 o -352 2.68/1.74 c Got one! Elapsed wall clock time (in seconds):1.625 2.68/1.74 o -354 2.68/1.75 c Got one! Elapsed wall clock time (in seconds):1.633 2.68/1.75 o -355 2.68/1.76 c Got one! Elapsed wall clock time (in seconds):1.642 2.68/1.76 o -357 2.68/1.77 c Got one! Elapsed wall clock time (in seconds):1.65 2.68/1.77 o -362 2.68/1.78 c Got one! Elapsed wall clock time (in seconds):1.658 2.68/1.78 o -364 2.68/1.79 c Got one! Elapsed wall clock time (in seconds):1.666 2.68/1.79 o -366 2.68/1.79 c Got one! Elapsed wall clock time (in seconds):1.674 2.68/1.79 o -369 2.78/1.80 c Got one! Elapsed wall clock time (in seconds):1.682 2.78/1.80 o -370 2.78/1.81 c Got one! Elapsed wall clock time (in seconds):1.691 2.78/1.81 o -372 2.78/1.82 c Got one! Elapsed wall clock time (in seconds):1.699 2.78/1.82 o -375 2.78/1.83 c Got one! Elapsed wall clock time (in seconds):1.707 2.78/1.83 o -377 2.78/1.83 c Got one! Elapsed wall clock time (in seconds):1.715 2.78/1.83 o -378 2.78/1.84 c Got one! Elapsed wall clock time (in seconds):1.723 2.78/1.84 o -380 2.78/1.85 c Got one! Elapsed wall clock time (in seconds):1.731 2.78/1.85 o -382 2.78/1.86 c Got one! Elapsed wall clock time (in seconds):1.74 2.78/1.86 o -384 2.78/1.87 c Got one! Elapsed wall clock time (in seconds):1.748 2.78/1.87 o -386 2.78/1.88 c Got one! Elapsed wall clock time (in seconds):1.756 2.78/1.88 o -394 2.78/1.88 c Got one! Elapsed wall clock time (in seconds):1.764 2.78/1.88 o -395 2.78/1.89 c Got one! Elapsed wall clock time (in seconds):1.772 2.78/1.89 o -396 2.88/1.90 c Got one! Elapsed wall clock time (in seconds):1.78 2.88/1.90 o -399 2.88/1.91 c Got one! Elapsed wall clock time (in seconds):1.788 2.88/1.91 o -404 2.88/1.92 c Got one! Elapsed wall clock time (in seconds):1.797 2.88/1.92 o -414 2.88/1.92 c Got one! Elapsed wall clock time (in seconds):1.805 2.88/1.92 o -421 2.88/1.93 c Got one! Elapsed wall clock time (in seconds):1.813 2.88/1.93 o -422 2.88/1.94 c Got one! Elapsed wall clock time (in seconds):1.821 2.88/1.94 o -424 2.88/1.95 c Got one! Elapsed wall clock time (in seconds):1.829 2.88/1.95 o -429 2.88/1.96 c Got one! Elapsed wall clock time (in seconds):1.838 2.88/1.96 o -430 2.88/1.96 c Got one! Elapsed wall clock time (in seconds):1.846 2.88/1.96 o -432 2.88/1.97 c Got one! Elapsed wall clock time (in seconds):1.854 2.88/1.97 o -434 2.88/1.98 c Got one! Elapsed wall clock time (in seconds):1.862 2.88/1.98 o -435 2.88/1.99 c Got one! Elapsed wall clock time (in seconds):1.87 2.88/1.99 o -436 2.98/2.00 c Got one! Elapsed wall clock time (in seconds):1.879 2.98/2.00 o -438 2.98/2.01 c Got one! Elapsed wall clock time (in seconds):1.887 2.98/2.01 o -440 2.98/2.01 c Got one! Elapsed wall clock time (in seconds):1.895 2.98/2.01 o -442 2.98/2.02 c Got one! Elapsed wall clock time (in seconds):1.903 2.98/2.02 o -448 2.98/2.03 c Got one! Elapsed wall clock time (in seconds):1.912 2.98/2.03 o -451 2.98/2.04 c Got one! Elapsed wall clock time (in seconds):1.92 2.98/2.04 o -452 2.98/2.05 c Got one! Elapsed wall clock time (in seconds):1.928 2.98/2.05 o -453 2.98/2.06 c Got one! Elapsed wall clock time (in seconds):1.936 2.98/2.06 o -457 2.98/2.06 c Got one! Elapsed wall clock time (in seconds):1.944 2.98/2.06 o -458 2.98/2.07 c Got one! Elapsed wall clock time (in seconds):1.952 2.98/2.07 o -459 2.98/2.08 c Got one! Elapsed wall clock time (in seconds):1.96 2.98/2.08 o -460 2.98/2.09 c Got one! Elapsed wall clock time (in seconds):1.968 2.98/2.09 o -467 2.98/2.10 c Got one! Elapsed wall clock time (in seconds):1.977 2.98/2.10 o -468 3.08/2.10 c Got one! Elapsed wall clock time (in seconds):1.985 3.08/2.10 o -469 3.08/2.11 c Got one! Elapsed wall clock time (in seconds):1.993 3.08/2.11 o -471 3.08/2.12 c Got one! Elapsed wall clock time (in seconds):2.001 3.08/2.12 o -472 3.08/2.13 c Got one! Elapsed wall clock time (in seconds):2.01 3.08/2.13 o -475 3.08/2.14 c Got one! Elapsed wall clock time (in seconds):2.018 3.08/2.14 o -476 3.08/2.15 c Got one! Elapsed wall clock time (in seconds):2.026 3.08/2.15 o -479 3.08/2.15 c Got one! Elapsed wall clock time (in seconds):2.034 3.08/2.15 o -482 3.08/2.16 c Got one! Elapsed wall clock time (in seconds):2.042 3.08/2.16 o -484 3.08/2.17 c Got one! Elapsed wall clock time (in seconds):2.05 3.08/2.17 o -487 3.08/2.18 c Got one! Elapsed wall clock time (in seconds):2.059 3.08/2.18 o -491 3.08/2.19 c Got one! Elapsed wall clock time (in seconds):2.067 3.08/2.19 o -492 3.08/2.19 c Got one! Elapsed wall clock time (in seconds):2.075 3.08/2.19 o -494 3.08/2.20 c Got one! Elapsed wall clock time (in seconds):2.083 3.08/2.20 o -495 3.18/2.21 c Got one! Elapsed wall clock time (in seconds):2.091 3.18/2.21 o -498 3.18/2.22 c Got one! Elapsed wall clock time (in seconds):2.099 3.18/2.22 o -501 3.18/2.23 c Got one! Elapsed wall clock time (in seconds):2.107 3.18/2.23 o -502 3.18/2.23 c Got one! Elapsed wall clock time (in seconds):2.116 3.18/2.23 o -503 3.18/2.24 c Got one! Elapsed wall clock time (in seconds):2.124 3.18/2.24 o -506 3.18/2.25 c Got one! Elapsed wall clock time (in seconds):2.132 3.18/2.25 o -508 3.18/2.26 c Got one! Elapsed wall clock time (in seconds):2.14 3.18/2.26 o -510 3.18/2.27 c Got one! Elapsed wall clock time (in seconds):2.148 3.18/2.27 o -511 3.18/2.28 c Got one! Elapsed wall clock time (in seconds):2.156 3.18/2.28 o -514 3.18/2.28 c Got one! Elapsed wall clock time (in seconds):2.164 3.18/2.28 o -518 3.18/2.29 c Got one! Elapsed wall clock time (in seconds):2.173 3.18/2.29 o -520 3.28/2.30 c Got one! Elapsed wall clock time (in seconds):2.182 3.28/2.30 o -521 3.28/2.31 c Got one! Elapsed wall clock time (in seconds):2.19 3.28/2.31 o -524 3.28/2.32 c Got one! Elapsed wall clock time (in seconds):2.199 3.28/2.32 o -528 3.28/2.33 c Got one! Elapsed wall clock time (in seconds):2.208 3.28/2.33 o -531 3.28/2.34 c Got one! Elapsed wall clock time (in seconds):2.216 3.28/2.34 o -540 3.28/2.34 c Got one! Elapsed wall clock time (in seconds):2.225 3.28/2.34 o -544 3.28/2.35 c Got one! Elapsed wall clock time (in seconds):2.233 3.28/2.35 o -545 3.28/2.36 c Got one! Elapsed wall clock time (in seconds):2.242 3.28/2.36 o -549 3.28/2.37 c Got one! Elapsed wall clock time (in seconds):2.25 3.28/2.37 o -550 3.28/2.38 c Got one! Elapsed wall clock time (in seconds):2.259 3.28/2.38 o -552 3.28/2.39 c Got one! Elapsed wall clock time (in seconds):2.268 3.28/2.39 o -553 3.28/2.40 c Got one! Elapsed wall clock time (in seconds):2.276 3.28/2.40 o -554 3.38/2.40 c Got one! Elapsed wall clock time (in seconds):2.285 3.38/2.40 o -555 3.38/2.41 c Got one! Elapsed wall clock time (in seconds):2.294 3.38/2.41 o -558 3.38/2.42 c Got one! Elapsed wall clock time (in seconds):2.302 3.38/2.42 o -565 3.38/2.43 c Got one! Elapsed wall clock time (in seconds):2.311 3.38/2.43 o -577 3.38/2.44 c Got one! Elapsed wall clock time (in seconds):2.319 3.38/2.44 o -578 3.38/2.45 c Got one! Elapsed wall clock time (in seconds):2.328 3.38/2.45 o -587 3.38/2.46 c Got one! Elapsed wall clock time (in seconds):2.336 3.38/2.46 o -590 3.38/2.46 c Got one! Elapsed wall clock time (in seconds):2.345 3.38/2.46 o -592 3.38/2.47 c Got one! Elapsed wall clock time (in seconds):2.354 3.38/2.47 o -595 3.38/2.48 c Got one! Elapsed wall clock time (in seconds):2.362 3.38/2.48 o -596 3.38/2.49 c Got one! Elapsed wall clock time (in seconds):2.371 3.38/2.49 o -608 3.48/2.50 c Got one! Elapsed wall clock time (in seconds):2.38 3.48/2.50 o -611 3.48/2.51 c Got one! Elapsed wall clock time (in seconds):2.388 3.48/2.51 o -612 3.48/2.52 c Got one! Elapsed wall clock time (in seconds):2.397 3.48/2.52 o -617 3.48/2.52 c Got one! Elapsed wall clock time (in seconds):2.405 3.48/2.52 o -620 3.48/2.53 c Got one! Elapsed wall clock time (in seconds):2.414 3.48/2.53 o -621 3.48/2.54 c Got one! Elapsed wall clock time (in seconds):2.422 3.48/2.54 o -622 3.48/2.55 c Got one! Elapsed wall clock time (in seconds):2.431 3.48/2.55 o -623 3.48/2.56 c Got one! Elapsed wall clock time (in seconds):2.44 3.48/2.56 o -624 3.48/2.57 c Got one! Elapsed wall clock time (in seconds):2.448 3.48/2.57 o -625 3.48/2.58 c Got one! Elapsed wall clock time (in seconds):2.457 3.48/2.58 o -629 3.48/2.58 c Got one! Elapsed wall clock time (in seconds):2.466 3.48/2.58 o -630 3.48/2.59 c Got one! Elapsed wall clock time (in seconds):2.474 3.48/2.59 o -631 3.58/2.60 c Got one! Elapsed wall clock time (in seconds):2.483 3.58/2.60 o -632 3.58/2.61 c Got one! Elapsed wall clock time (in seconds):2.491 3.58/2.61 o -634 3.58/2.62 c Got one! Elapsed wall clock time (in seconds):2.5 3.58/2.62 o -637 3.58/2.63 c Got one! Elapsed wall clock time (in seconds):2.509 3.58/2.63 o -642 3.58/2.64 c Got one! Elapsed wall clock time (in seconds):2.517 3.58/2.64 o -643 3.58/2.65 c Got one! Elapsed wall clock time (in seconds):2.526 3.58/2.65 o -644 3.68/2.71 c Got one! Elapsed wall clock time (in seconds):2.534 3.68/2.71 o -651 3.68/2.71 c Got one! Elapsed wall clock time (in seconds):2.543 3.68/2.71 o -654 3.68/2.71 c Got one! Elapsed wall clock time (in seconds):2.552 3.68/2.71 o -657 3.68/2.71 c Got one! Elapsed wall clock time (in seconds):2.56 3.68/2.71 o -660 3.68/2.71 c Got one! Elapsed wall clock time (in seconds):2.569 3.68/2.71 o -661 3.68/2.71 c Got one! Elapsed wall clock time (in seconds):2.577 3.68/2.71 o -663 3.68/2.71 c Got one! Elapsed wall clock time (in seconds):2.586 3.68/2.71 o -664 3.68/2.71 c Got one! Elapsed wall clock time (in seconds):2.595 3.68/2.71 o -666 3.68/2.72 c Got one! Elapsed wall clock time (in seconds):2.604 3.68/2.72 o -668 3.68/2.73 c Got one! Elapsed wall clock time (in seconds):2.612 3.68/2.73 o -670 3.68/2.74 c Got one! Elapsed wall clock time (in seconds):2.621 3.68/2.74 o -674 3.68/2.75 c Got one! Elapsed wall clock time (in seconds):2.629 3.68/2.75 o -676 3.68/2.76 c Got one! Elapsed wall clock time (in seconds):2.638 3.68/2.76 o -678 3.68/2.77 c Got one! Elapsed wall clock time (in seconds):2.647 3.68/2.77 o -679 3.68/2.77 c Got one! Elapsed wall clock time (in seconds):2.655 3.68/2.77 o -681 3.68/2.78 c Got one! Elapsed wall clock time (in seconds):2.664 3.68/2.78 o -682 3.68/2.79 c Got one! Elapsed wall clock time (in seconds):2.673 3.68/2.79 o -683 3.78/2.80 c Got one! Elapsed wall clock time (in seconds):2.681 3.78/2.80 o -684 3.78/2.81 c Got one! Elapsed wall clock time (in seconds):2.69 3.78/2.81 o -689 3.78/2.82 c Got one! Elapsed wall clock time (in seconds):2.699 3.78/2.82 o -691 3.78/2.83 c Got one! Elapsed wall clock time (in seconds):2.707 3.78/2.83 o -696 3.78/2.83 c Got one! Elapsed wall clock time (in seconds):2.716 3.78/2.83 o -697 3.78/2.84 c Got one! Elapsed wall clock time (in seconds):2.724 3.78/2.84 o -704 3.78/2.85 c Got one! Elapsed wall clock time (in seconds):2.733 3.78/2.85 o -705 3.78/2.86 c Got one! Elapsed wall clock time (in seconds):2.742 3.78/2.86 o -706 3.78/2.87 c Got one! Elapsed wall clock time (in seconds):2.75 3.78/2.87 o -709 3.78/2.88 c Got one! Elapsed wall clock time (in seconds):2.759 3.78/2.88 o -717 3.78/2.89 c Got one! Elapsed wall clock time (in seconds):2.767 3.78/2.89 o -719 3.78/2.90 c Got one! Elapsed wall clock time (in seconds):2.776 3.78/2.90 o -724 3.88/2.90 c Got one! Elapsed wall clock time (in seconds):2.785 3.88/2.90 o -728 3.88/2.91 c Got one! Elapsed wall clock time (in seconds):2.794 3.88/2.91 o -736 3.88/2.92 c Got one! Elapsed wall clock time (in seconds):2.802 3.88/2.92 o -738 3.88/2.93 c Got one! Elapsed wall clock time (in seconds):2.811 3.88/2.93 o -740 3.88/2.94 c Got one! Elapsed wall clock time (in seconds):2.82 3.88/2.94 o -742 3.88/2.95 c Got one! Elapsed wall clock time (in seconds):2.828 3.88/2.95 o -744 3.88/2.96 c Got one! Elapsed wall clock time (in seconds):2.837 3.88/2.96 o -745 3.88/2.97 c Got one! Elapsed wall clock time (in seconds):2.846 3.88/2.97 o -749 3.88/2.97 c Got one! Elapsed wall clock time (in seconds):2.854 3.88/2.97 o -751 3.88/2.98 c Got one! Elapsed wall clock time (in seconds):2.863 3.88/2.98 o -753 3.88/2.99 c Got one! Elapsed wall clock time (in seconds):2.872 3.88/2.99 o -755 3.98/3.00 c Got one! Elapsed wall clock time (in seconds):2.88 3.98/3.00 o -756 3.98/3.01 c Got one! Elapsed wall clock time (in seconds):2.889 3.98/3.01 o -757 3.98/3.03 c Got one! Elapsed wall clock time (in seconds):2.912 3.98/3.03 o -765 3.98/3.04 c Got one! Elapsed wall clock time (in seconds):2.92 3.98/3.04 o -767 3.98/3.05 c Got one! Elapsed wall clock time (in seconds):2.928 3.98/3.05 o -768 3.98/3.06 c Got one! Elapsed wall clock time (in seconds):2.937 3.98/3.06 o -770 3.98/3.06 c Got one! Elapsed wall clock time (in seconds):2.945 3.98/3.06 o -772 3.98/3.07 c Got one! Elapsed wall clock time (in seconds):2.953 3.98/3.07 o -773 3.98/3.08 c Got one! Elapsed wall clock time (in seconds):2.961 3.98/3.08 o -775 3.98/3.09 c Got one! Elapsed wall clock time (in seconds):2.97 3.98/3.09 o -776 4.12/3.10 c Got one! Elapsed wall clock time (in seconds):2.978 4.12/3.10 o -778 4.12/3.11 c Got one! Elapsed wall clock time (in seconds):2.986 4.12/3.11 o -786 4.12/3.11 c Got one! Elapsed wall clock time (in seconds):2.995 4.12/3.11 o -788 4.12/3.12 c Got one! Elapsed wall clock time (in seconds):3.003 4.12/3.12 o -789 4.12/3.13 c Got one! Elapsed wall clock time (in seconds):3.011 4.12/3.13 o -800 4.12/3.14 c Got one! Elapsed wall clock time (in seconds):3.019 4.12/3.14 o -801 4.12/3.15 c Got one! Elapsed wall clock time (in seconds):3.027 4.12/3.15 o -810 4.12/3.15 c Got one! Elapsed wall clock time (in seconds):3.036 4.12/3.15 o -811 4.12/3.16 c Got one! Elapsed wall clock time (in seconds):3.044 4.12/3.16 o -812 4.12/3.17 c Got one! Elapsed wall clock time (in seconds):3.052 4.12/3.17 o -813 4.12/3.18 c Got one! Elapsed wall clock time (in seconds):3.06 4.12/3.18 o -814 4.12/3.19 c Got one! Elapsed wall clock time (in seconds):3.068 4.12/3.19 o -815 4.12/3.20 c Got one! Elapsed wall clock time (in seconds):3.077 4.12/3.20 o -825 4.23/3.20 c Got one! Elapsed wall clock time (in seconds):3.085 4.23/3.20 o -826 4.23/3.21 c Got one! Elapsed wall clock time (in seconds):3.094 4.23/3.21 o -827 4.23/3.22 c Got one! Elapsed wall clock time (in seconds):3.102 4.23/3.22 o -835 4.23/3.23 c Got one! Elapsed wall clock time (in seconds):3.11 4.23/3.23 o -839 4.23/3.24 c Got one! Elapsed wall clock time (in seconds):3.119 4.23/3.24 o -840 4.23/3.25 c Got one! Elapsed wall clock time (in seconds):3.127 4.23/3.25 o -844 4.23/3.25 c Got one! Elapsed wall clock time (in seconds):3.135 4.23/3.25 o -845 4.23/3.26 c Got one! Elapsed wall clock time (in seconds):3.143 4.23/3.26 o -846 4.23/3.27 c Got one! Elapsed wall clock time (in seconds):3.152 4.23/3.27 o -849 4.23/3.28 c Got one! Elapsed wall clock time (in seconds):3.16 4.23/3.28 o -850 4.23/3.29 c Got one! Elapsed wall clock time (in seconds):3.168 4.23/3.29 o -852 4.23/3.30 c Got one! Elapsed wall clock time (in seconds):3.176 4.23/3.30 o -854 4.33/3.30 c Got one! Elapsed wall clock time (in seconds):3.185 4.33/3.30 o -857 4.33/3.31 c Got one! Elapsed wall clock time (in seconds):3.193 4.33/3.31 o -858 4.33/3.32 c Got one! Elapsed wall clock time (in seconds):3.201 4.33/3.32 o -859 4.33/3.33 c Got one! Elapsed wall clock time (in seconds):3.21 4.33/3.33 o -860 4.33/3.34 c Got one! Elapsed wall clock time (in seconds):3.218 4.33/3.34 o -861 4.33/3.35 c Got one! Elapsed wall clock time (in seconds):3.226 4.33/3.35 o -868 4.33/3.35 c Got one! Elapsed wall clock time (in seconds):3.235 4.33/3.35 o -869 4.33/3.36 c Got one! Elapsed wall clock time (in seconds):3.243 4.33/3.36 o -878 4.33/3.37 c Got one! Elapsed wall clock time (in seconds):3.251 4.33/3.37 o -880 4.33/3.38 c Got one! Elapsed wall clock time (in seconds):3.259 4.33/3.38 o -881 4.33/3.39 c Got one! Elapsed wall clock time (in seconds):3.268 4.33/3.39 o -883 4.33/3.40 c Got one! Elapsed wall clock time (in seconds):3.276 4.33/3.40 o -884 4.42/3.40 c Got one! Elapsed wall clock time (in seconds):3.284 4.42/3.40 o -885 4.42/3.41 c Got one! Elapsed wall clock time (in seconds):3.292 4.42/3.41 o -886 4.42/3.42 c Got one! Elapsed wall clock time (in seconds):3.301 4.42/3.42 o -887 4.42/3.43 c Got one! Elapsed wall clock time (in seconds):3.309 4.42/3.43 o -893 4.42/3.44 c Got one! Elapsed wall clock time (in seconds):3.317 4.42/3.44 o -894 4.42/3.44 c Got one! Elapsed wall clock time (in seconds):3.325 4.42/3.44 o -895 4.42/3.45 c Got one! Elapsed wall clock time (in seconds):3.333 4.42/3.45 o -896 4.42/3.46 c Got one! Elapsed wall clock time (in seconds):3.342 4.42/3.46 o -897 4.42/3.47 c Got one! Elapsed wall clock time (in seconds):3.35 4.42/3.47 o -898 4.42/3.48 c Got one! Elapsed wall clock time (in seconds):3.358 4.42/3.48 o -899 4.42/3.49 c Got one! Elapsed wall clock time (in seconds):3.366 4.42/3.49 o -900 4.42/3.49 c Got one! Elapsed wall clock time (in seconds):3.375 4.42/3.49 o -901 4.52/3.50 c Got one! Elapsed wall clock time (in seconds):3.383 4.52/3.50 o -911 4.52/3.51 c Got one! Elapsed wall clock time (in seconds):3.391 4.52/3.51 o -912 4.52/3.52 c Got one! Elapsed wall clock time (in seconds):3.4 4.52/3.52 o -913 4.52/3.53 c Got one! Elapsed wall clock time (in seconds):3.408 4.52/3.53 o -923 4.52/3.54 c Got one! Elapsed wall clock time (in seconds):3.416 4.52/3.54 o -924 4.52/3.54 c Got one! Elapsed wall clock time (in seconds):3.425 4.52/3.54 o -929 4.52/3.55 c Got one! Elapsed wall clock time (in seconds):3.433 4.52/3.55 o -931 4.52/3.56 c Got one! Elapsed wall clock time (in seconds):3.441 4.52/3.56 o -932 4.52/3.57 c Got one! Elapsed wall clock time (in seconds):3.449 4.52/3.57 o -937 4.52/3.58 c Got one! Elapsed wall clock time (in seconds):3.458 4.52/3.58 o -939 4.52/3.59 c Got one! Elapsed wall clock time (in seconds):3.466 4.52/3.59 o -942 4.52/3.59 c Got one! Elapsed wall clock time (in seconds):3.474 4.52/3.59 o -944 4.62/3.60 c Got one! Elapsed wall clock time (in seconds):3.482 4.62/3.60 o -947 4.62/3.61 c Got one! Elapsed wall clock time (in seconds):3.491 4.62/3.61 o -948 4.62/3.62 c Got one! Elapsed wall clock time (in seconds):3.499 4.62/3.62 o -952 4.62/3.63 c Got one! Elapsed wall clock time (in seconds):3.507 4.62/3.63 o -955 4.62/3.63 c Got one! Elapsed wall clock time (in seconds):3.516 4.62/3.63 o -957 4.62/3.64 c Got one! Elapsed wall clock time (in seconds):3.524 4.62/3.64 o -958 4.62/3.65 c Got one! Elapsed wall clock time (in seconds):3.532 4.62/3.65 o -959 4.62/3.66 c Got one! Elapsed wall clock time (in seconds):3.541 4.62/3.66 o -960 4.62/3.67 c Got one! Elapsed wall clock time (in seconds):3.549 4.62/3.67 o -961 4.62/3.68 c Got one! Elapsed wall clock time (in seconds):3.557 4.62/3.68 o -962 4.62/3.68 c Got one! Elapsed wall clock time (in seconds):3.566 4.62/3.68 o -966 4.62/3.69 c Got one! Elapsed wall clock time (in seconds):3.574 4.62/3.69 o -968 4.72/3.70 c Got one! Elapsed wall clock time (in seconds):3.582 4.72/3.70 o -970 4.72/3.71 c Got one! Elapsed wall clock time (in seconds):3.591 4.72/3.71 o -971 4.72/3.72 c Got one! Elapsed wall clock time (in seconds):3.599 4.72/3.72 o -973 4.72/3.73 c Got one! Elapsed wall clock time (in seconds):3.607 4.72/3.73 o -975 4.72/3.73 c Got one! Elapsed wall clock time (in seconds):3.616 4.72/3.73 o -976 4.72/3.74 c Got one! Elapsed wall clock time (in seconds):3.624 4.72/3.74 o -978 4.72/3.75 c Got one! Elapsed wall clock time (in seconds):3.632 4.72/3.75 o -982 4.72/3.76 c Got one! Elapsed wall clock time (in seconds):3.64 4.72/3.76 o -983 4.72/3.77 c Got one! Elapsed wall clock time (in seconds):3.649 4.72/3.77 o -985 4.72/3.78 c Got one! Elapsed wall clock time (in seconds):3.657 4.72/3.78 o -989 4.72/3.78 c Got one! Elapsed wall clock time (in seconds):3.665 4.72/3.78 o -990 4.72/3.79 c Got one! Elapsed wall clock time (in seconds):3.674 4.72/3.79 o -992 4.82/3.80 c Got one! Elapsed wall clock time (in seconds):3.682 4.82/3.80 o -996 4.82/3.81 c Got one! Elapsed wall clock time (in seconds):3.69 4.82/3.81 o -1000 4.82/3.82 c Got one! Elapsed wall clock time (in seconds):3.699 4.82/3.82 o -1004 4.82/3.83 c Got one! Elapsed wall clock time (in seconds):3.707 4.82/3.83 o -1008 4.82/3.84 c Got one! Elapsed wall clock time (in seconds):3.716 4.82/3.84 o -1010 4.82/3.84 c Got one! Elapsed wall clock time (in seconds):3.724 4.82/3.84 o -1011 4.82/3.85 c Got one! Elapsed wall clock time (in seconds):3.733 4.82/3.85 o -1013 4.82/3.86 c Got one! Elapsed wall clock time (in seconds):3.741 4.82/3.86 o -1014 4.82/3.87 c Got one! Elapsed wall clock time (in seconds):3.749 4.82/3.87 o -1016 4.82/3.88 c Got one! Elapsed wall clock time (in seconds):3.758 4.82/3.88 o -1017 4.82/3.89 c Got one! Elapsed wall clock time (in seconds):3.766 4.82/3.89 o -1019 4.82/3.89 c Got one! Elapsed wall clock time (in seconds):3.774 4.82/3.89 o -1021 4.92/3.90 c Got one! Elapsed wall clock time (in seconds):3.782 4.92/3.90 o -1023 4.92/3.91 c Got one! Elapsed wall clock time (in seconds):3.791 4.92/3.91 o -1025 4.92/3.92 c Got one! Elapsed wall clock time (in seconds):3.799 4.92/3.92 o -1026 4.92/3.93 c Got one! Elapsed wall clock time (in seconds):3.807 4.92/3.93 o -1027 4.92/3.94 c Got one! Elapsed wall clock time (in seconds):3.816 4.92/3.94 o -1032 4.92/3.94 c Got one! Elapsed wall clock time (in seconds):3.824 4.92/3.94 o -1035 4.92/3.95 c Got one! Elapsed wall clock time (in seconds):3.832 4.92/3.95 o -1036 4.92/3.96 c Got one! Elapsed wall clock time (in seconds):3.841 4.92/3.96 o -1037 4.92/3.97 c Got one! Elapsed wall clock time (in seconds):3.849 4.92/3.97 o -1038 4.92/3.98 c Got one! Elapsed wall clock time (in seconds):3.857 4.92/3.98 o -1039 4.92/3.98 c Got one! Elapsed wall clock time (in seconds):3.866 4.92/3.98 o -1040 4.92/3.99 c Got one! Elapsed wall clock time (in seconds):3.874 4.92/3.99 o -1041 5.02/4.00 c Got one! Elapsed wall clock time (in seconds):3.882 5.02/4.00 o -1042 5.02/4.01 c Got one! Elapsed wall clock time (in seconds):3.891 5.02/4.01 o -1043 5.02/4.02 c Got one! Elapsed wall clock time (in seconds):3.899 5.02/4.02 o -1044 5.02/4.03 c Got one! Elapsed wall clock time (in seconds):3.907 5.02/4.03 o -1045 5.02/4.03 c Got one! Elapsed wall clock time (in seconds):3.916 5.02/4.03 o -1047 5.02/4.04 c Got one! Elapsed wall clock time (in seconds):3.924 5.02/4.04 o -1049 5.02/4.05 c Got one! Elapsed wall clock time (in seconds):3.932 5.02/4.05 o -1050 5.02/4.06 c Got one! Elapsed wall clock time (in seconds):3.941 5.02/4.06 o -1051 5.02/4.07 c Got one! Elapsed wall clock time (in seconds):3.949 5.02/4.07 o -1053 5.02/4.08 c Got one! Elapsed wall clock time (in seconds):3.957 5.02/4.08 o -1054 5.02/4.08 c Got one! Elapsed wall clock time (in seconds):3.966 5.02/4.08 o -1055 5.02/4.09 c Got one! Elapsed wall clock time (in seconds):3.974 5.02/4.09 o -1056 5.12/4.10 c Got one! Elapsed wall clock time (in seconds):3.983 5.12/4.10 o -1057 5.12/4.11 c Got one! Elapsed wall clock time (in seconds):3.991 5.12/4.11 o -1059 5.12/4.12 c Got one! Elapsed wall clock time (in seconds):3.999 5.12/4.12 o -1060 5.12/4.13 c Got one! Elapsed wall clock time (in seconds):4.007 5.12/4.13 o -1061 5.12/4.14 c Got one! Elapsed wall clock time (in seconds):4.016 5.12/4.14 o -1063 5.12/4.14 c Got one! Elapsed wall clock time (in seconds):4.024 5.12/4.14 o -1064 5.12/4.15 c Got one! Elapsed wall clock time (in seconds):4.032 5.12/4.15 o -1065 5.12/4.16 c Got one! Elapsed wall clock time (in seconds):4.041 5.12/4.16 o -1066 5.12/4.17 c Got one! Elapsed wall clock time (in seconds):4.049 5.12/4.17 o -1067 5.12/4.18 c Got one! Elapsed wall clock time (in seconds):4.058 5.12/4.18 o -1069 5.12/4.19 c Got one! Elapsed wall clock time (in seconds):4.066 5.12/4.19 o -1071 5.12/4.19 c Got one! Elapsed wall clock time (in seconds):4.074 5.12/4.19 o -1073 5.22/4.20 c Got one! Elapsed wall clock time (in seconds):4.083 5.22/4.20 o -1074 5.22/4.21 c Got one! Elapsed wall clock time (in seconds):4.091 5.22/4.21 o -1076 5.22/4.22 c Got one! Elapsed wall clock time (in seconds):4.1 5.22/4.22 o -1078 5.22/4.23 c Got one! Elapsed wall clock time (in seconds):4.108 5.22/4.23 o -1080 5.22/4.24 c Got one! Elapsed wall clock time (in seconds):4.116 5.22/4.24 o -1081 5.22/4.24 c Got one! Elapsed wall clock time (in seconds):4.124 5.22/4.24 o -1082 5.22/4.25 c Got one! Elapsed wall clock time (in seconds):4.133 5.22/4.25 o -1083 5.22/4.26 c Got one! Elapsed wall clock time (in seconds):4.141 5.22/4.26 o -1084 5.22/4.27 c Got one! Elapsed wall clock time (in seconds):4.149 5.22/4.27 o -1085 5.22/4.28 c Got one! Elapsed wall clock time (in seconds):4.158 5.22/4.28 o -1086 5.22/4.29 c Got one! Elapsed wall clock time (in seconds):4.166 5.22/4.29 o -1087 5.22/4.29 c Got one! Elapsed wall clock time (in seconds):4.174 5.22/4.29 o -1088 5.22/4.30 c Got one! Elapsed wall clock time (in seconds):4.183 5.22/4.30 o -1089 5.33/4.32 c Got one! Elapsed wall clock time (in seconds):4.199 5.33/4.32 o -1090 5.33/4.35 c Got one! Elapsed wall clock time (in seconds):4.226 5.33/4.35 o -11853 5.69/4.54 c Got one! Elapsed wall clock time (in seconds):4.418 5.69/4.54 o -11983 5.90/4.79 c Got one! Elapsed wall clock time (in seconds):4.669 5.90/4.79 o -13303 6.31/5.16 c Got one! Elapsed wall clock time (in seconds):5.044 6.31/5.16 o -13313 6.41/5.23 c Got one! Elapsed wall clock time (in seconds):5.116 6.41/5.23 o -13319 6.72/5.55 c Got one! Elapsed wall clock time (in seconds):5.435 6.72/5.55 o -13386 6.81/5.64 c Got one! Elapsed wall clock time (in seconds):5.521 6.81/5.64 o -13395 7.61/6.40 c Got one! Elapsed wall clock time (in seconds):6.282 7.61/6.40 o -13404 7.78/6.58 c Got one! Elapsed wall clock time (in seconds):6.458 7.78/6.58 o -13451 7.98/6.75 c Got one! Elapsed wall clock time (in seconds):6.627 7.98/6.75 o -13455 8.18/6.95 c Got one! Elapsed wall clock time (in seconds):6.833 8.18/6.95 o -13485 8.18/6.97 c Got one! Elapsed wall clock time (in seconds):6.85 8.18/6.97 o -13609 10.18/8.99 c cleaning 4149 clauses out of 8298 with flag 4001/8298 12.09/10.76 c Got one! Elapsed wall clock time (in seconds):10.645 12.09/10.76 o -14276 12.09/10.78 c Got one! Elapsed wall clock time (in seconds):10.662 12.09/10.78 o -14549 13.09/11.72 c cleaning 4678 clauses out of 9355 with flag 2000/13504 16.40/15.00 c cleaning 5318 clauses out of 10678 with flag 8001/19505 20.22/18.80 c cleaning 6180 clauses out of 12359 with flag 15000/26504 24.51/23.06 c cleaning 7083 clauses out of 14179 with flag 23000/34504 24.90/23.44 c Got one! Elapsed wall clock time (in seconds):23.317 24.90/23.44 o -14554 27.50/26.00 c cleaning 6366 clauses out of 12740 with flag 5005/40148 30.91/29.43 c cleaning 6180 clauses out of 12369 with flag 11000/46143 34.53/33.09 c cleaning 6523 clauses out of 13189 with flag 18000/53143 39.52/38.09 c cleaning 7325 clauses out of 14668 with flag 26002/61145 45.13/43.69 c cleaning 8158 clauses out of 16345 with flag 35004/70147 50.06/48.54 c cleaning 9085 clauses out of 18185 with flag 45002/80145 55.37/53.85 c cleaning 10033 clauses out of 20099 with flag 56001/91144 62.27/60.76 c cleaning 11025 clauses out of 22065 with flag 68000/103143 70.37/68.83 c cleaning 12021 clauses out of 24041 with flag 81001/116144 78.31/76.78 c cleaning 12978 clauses out of 26019 with flag 95000/130143 85.03/83.49 c cleaning 14003 clauses out of 28041 with flag 110000/145143 94.34/92.74 c cleaning 14994 clauses out of 30042 with flag 126004/161147 103.97/102.31 c cleaning 16011 clauses out of 32046 with flag 143002/178145 112.59/110.98 c cleaning 17008 clauses out of 34035 with flag 161002/196145 123.73/122.06 c cleaning 17996 clauses out of 36025 with flag 180000/215143 136.15/134.49 c cleaning 19015 clauses out of 38029 with flag 200000/235143 147.08/145.34 c cleaning 19999 clauses out of 40014 with flag 221000/256143 154.33/152.57 c Got one! Elapsed wall clock time (in seconds):152.454 154.33/152.57 o -14653 157.23/155.44 c cleaning 19731 clauses out of 39491 with flag 5003/275619 160.25/158.48 c cleaning 12833 clauses out of 25757 with flag 11000/281616 163.15/161.38 c cleaning 9934 clauses out of 19924 with flag 18000/288616 166.55/164.75 c cleaning 8982 clauses out of 17991 with flag 26001/296617 171.47/169.67 c cleaning 8993 clauses out of 18008 with flag 35000/305616 177.69/175.83 c cleaning 9505 clauses out of 19016 with flag 45001/315617 185.61/183.80 c cleaning 10251 clauses out of 20513 with flag 56003/326619 195.22/193.35 c cleaning 11111 clauses out of 22259 with flag 68000/338616 203.94/202.06 c cleaning 12055 clauses out of 24150 with flag 81002/351618 210.47/208.56 c cleaning 13022 clauses out of 26093 with flag 95000/365616 217.37/215.50 c cleaning 13980 clauses out of 28071 with flag 110000/380616 225.47/223.53 c cleaning 15040 clauses out of 30092 with flag 126001/396617 232.51/230.54 c cleaning 16002 clauses out of 32051 with flag 143000/413616 242.22/240.21 c cleaning 17018 clauses out of 34049 with flag 161000/431616 253.15/251.10 c cleaning 17999 clauses out of 36031 with flag 180000/450616 262.78/260.78 c cleaning 18966 clauses out of 38035 with flag 200003/470619 271.79/269.77 c cleaning 19983 clauses out of 40066 with flag 221000/491616 280.22/278.17 c cleaning 21018 clauses out of 42084 with flag 243001/513617 291.52/289.49 c cleaning 22018 clauses out of 44066 with flag 266001/536617 306.44/304.31 c cleaning 23011 clauses out of 46047 with flag 290000/560616 322.10/319.94 c cleaning 24005 clauses out of 48038 with flag 315002/585618 335.36/333.17 c cleaning 25008 clauses out of 50032 with flag 341001/611617 349.21/346.96 c cleaning 25972 clauses out of 52023 with flag 368000/638616 361.96/359.65 c cleaning 27008 clauses out of 54051 with flag 396000/666616 379.18/376.81 c cleaning 28015 clauses out of 56044 with flag 425001/695617 397.93/395.52 c cleaning 28996 clauses out of 58031 with flag 455003/725619 416.95/414.57 c cleaning 29986 clauses out of 60032 with flag 486000/756616 437.47/435.06 c cleaning 30962 clauses out of 62047 with flag 518001/788617 453.49/451.05 c cleaning 32016 clauses out of 64085 with flag 551001/821617 472.30/469.85 c cleaning 33029 clauses out of 66070 with flag 585002/855618 487.41/484.98 c Got one! Elapsed wall clock time (in seconds):484.863 487.41/484.98 o -14660 489.91/487.41 c cleaning 34205 clauses out of 68421 with flag 5001/890998 493.14/490.61 c cleaning 20103 clauses out of 40216 with flag 11001/896998 497.07/494.60 c cleaning 13497 clauses out of 27112 with flag 18000/903997 501.59/499.02 c cleaning 10743 clauses out of 21615 with flag 26000/911997 505.91/503.39 c cleaning 9877 clauses out of 19874 with flag 35002/920999 510.11/507.56 c cleaning 9990 clauses out of 19998 with flag 45003/931000 514.83/512.21 c cleaning 10502 clauses out of 21009 with flag 56004/942001 521.64/519.07 c cleaning 11249 clauses out of 22503 with flag 68000/953997 529.66/527.05 c cleaning 12127 clauses out of 24256 with flag 81002/966999 538.49/535.86 c cleaning 13056 clauses out of 26127 with flag 95000/980997 548.61/545.94 c cleaning 14024 clauses out of 28075 with flag 110004/996001 558.02/555.37 c cleaning 14990 clauses out of 30047 with flag 126000/1011997 565.95/563.28 c cleaning 15995 clauses out of 32057 with flag 143000/1028997 574.15/571.49 c cleaning 16954 clauses out of 34062 with flag 161000/1046997 582.56/579.89 c cleaning 18013 clauses out of 36108 with flag 180000/1065997 592.07/589.38 c cleaning 19043 clauses out of 38095 with flag 200000/1085997 602.89/600.13 c cleaning 20017 clauses out of 40052 with flag 221000/1106997 614.43/611.66 c cleaning 21006 clauses out of 42035 with flag 243000/1128997 626.35/623.59 c cleaning 21999 clauses out of 44029 with flag 266000/1151997 639.16/636.36 c cleaning 23001 clauses out of 46030 with flag 290000/1175997 656.69/653.90 c cleaning 24015 clauses out of 48029 with flag 315000/1200997 676.54/673.60 c cleaning 25006 clauses out of 50014 with flag 341000/1226997 698.12/695.11 c cleaning 26003 clauses out of 52009 with flag 368001/1253998 721.48/718.47 c cleaning 26990 clauses out of 54006 with flag 396001/1281998 745.41/742.36 c cleaning 28006 clauses out of 56015 with flag 425000/1310997 764.87/761.71 c cleaning 28990 clauses out of 58010 with flag 455001/1340998 782.40/779.27 c cleaning 30000 clauses out of 60020 with flag 486001/1371998 800.22/797.07 c cleaning 31004 clauses out of 62024 with flag 518005/1404002 816.24/813.01 c cleaning 31995 clauses out of 64015 with flag 551000/1436997 830.08/826.83 c cleaning 32980 clauses out of 66021 with flag 585001/1470998 844.82/841.54 c cleaning 34000 clauses out of 68040 with flag 620000/1505997 862.72/859.44 c cleaning 35014 clauses out of 70040 with flag 656000/1541997 887.77/884.48 c cleaning 36009 clauses out of 72028 with flag 693002/1578999 912.65/909.21 c cleaning 36997 clauses out of 74018 with flag 731001/1616998 941.26/937.70 c cleaning 37999 clauses out of 76021 with flag 770001/1655998 973.32/969.73 c cleaning 38998 clauses out of 78022 with flag 810001/1695998 1007.74/1004.05 c cleaning 39989 clauses out of 80023 with flag 851000/1736997 1039.03/1035.24 c cleaning 41014 clauses out of 82035 with flag 893001/1778998 1072.90/1069.07 c cleaning 42001 clauses out of 84020 with flag 936000/1821997 1106.12/1102.16 c cleaning 42993 clauses out of 86020 with flag 980001/1865998 1143.19/1139.10 c cleaning 44005 clauses out of 88026 with flag 1025000/1910997 1176.27/1172.12 c cleaning 44997 clauses out of 90021 with flag 1071000/1956997 1210.21/1206.08 c cleaning 46012 clauses out of 92024 with flag 1118000/2003997 1212.70/1208.45 c Got one! Elapsed wall clock time (in seconds):1208.33 1212.70/1208.45 o -16183 1213.80/1209.56 c cleaning 25860 clauses out of 51903 with flag 2000/2009888 1216.34/1212.09 c cleaning 15955 clauses out of 32048 with flag 8005/2015893 1219.25/1214.97 c cleaning 11532 clauses out of 23091 with flag 15003/2022891 1222.78/1218.44 c cleaning 9775 clauses out of 19557 with flag 23001/2030889 1227.59/1223.28 c cleaning 9386 clauses out of 18782 with flag 32001/2039889 1233.09/1228.76 c cleaning 9683 clauses out of 19396 with flag 42001/2049889 1238.32/1233.90 c cleaning 10349 clauses out of 20713 with flag 53001/2060889 1243.22/1238.84 c cleaning 11162 clauses out of 22364 with flag 65001/2072889 1248.63/1244.23 c cleaning 12070 clauses out of 24203 with flag 78002/2085890 1253.96/1249.59 c cleaning 13029 clauses out of 26131 with flag 92000/2099888 1259.68/1255.28 c cleaning 14036 clauses out of 28103 with flag 107001/2114889 1266.59/1262.13 c cleaning 15017 clauses out of 30066 with flag 123000/2130888 1274.42/1269.92 c cleaning 16014 clauses out of 32049 with flag 140000/2147888 1283.24/1278.79 c cleaning 17006 clauses out of 34036 with flag 158001/2165889 1292.68/1288.16 c cleaning 17998 clauses out of 36032 with flag 177003/2184891 1303.81/1299.26 c cleaning 19017 clauses out of 38033 with flag 197002/2204890 1316.25/1311.61 c cleaning 20007 clauses out of 40014 with flag 218000/2225888 1330.21/1325.58 c cleaning 21004 clauses out of 42007 with flag 240000/2247888 1344.93/1340.27 c cleaning 22002 clauses out of 44003 with flag 263000/2270888 1358.66/1353.90 c cleaning 23001 clauses out of 46001 with flag 287000/2294888 1370.99/1366.29 c cleaning 23972 clauses out of 48002 with flag 312002/2319890 1383.19/1378.48 c cleaning 25003 clauses out of 50028 with flag 338000/2345888 1396.12/1391.38 c cleaning 25973 clauses out of 52026 with flag 365001/2372889 1410.04/1405.23 c cleaning 26984 clauses out of 54054 with flag 393002/2400890 1423.96/1419.13 c cleaning 28009 clauses out of 56068 with flag 422000/2429888 1437.39/1432.56 c cleaning 29021 clauses out of 58059 with flag 452000/2459888 1453.54/1448.68 c cleaning 30009 clauses out of 60038 with flag 483000/2490888 1469.46/1464.59 c cleaning 30977 clauses out of 62031 with flag 515002/2522890 1485.27/1480.39 c cleaning 31997 clauses out of 64052 with flag 548000/2555888 1500.89/1495.99 c cleaning 32998 clauses out of 66055 with flag 582000/2589888 1517.60/1512.67 c cleaning 33992 clauses out of 68058 with flag 617001/2624889 1536.32/1531.32 c cleaning 34972 clauses out of 70065 with flag 653000/2660888 1552.35/1547.34 c cleaning 36037 clauses out of 72096 with flag 690003/2697891 1569.87/1564.87 c cleaning 36961 clauses out of 74056 with flag 728000/2735888 1586.99/1581.90 c cleaning 37984 clauses out of 76095 with flag 767000/2774888 1604.72/1599.61 c cleaning 39046 clauses out of 78112 with flag 807001/2814889 1622.64/1617.59 c cleaning 39999 clauses out of 80066 with flag 848001/2855889 1640.87/1635.76 c cleaning 40987 clauses out of 82066 with flag 890000/2897888 1660.68/1655.53 c cleaning 42029 clauses out of 84080 with flag 933001/2940889 1681.50/1676.33 c cleaning 42969 clauses out of 86050 with flag 977000/2984888 1701.93/1696.73 c cleaning 44018 clauses out of 88085 with flag 1022004/3029892 1723.58/1718.30 c cleaning 45028 clauses out of 90063 with flag 1068000/3075888 1754.55/1749.24 c cleaning 46009 clauses out of 92035 with flag 1115000/3122888 1774.50/1769.12 c cleaning 47008 clauses out of 94026 with flag 1163000/3170888 1795.53/1790.11 c cleaning 47982 clauses out of 96019 with flag 1212001/3219889 1800.06/1794.61 c starts : 650 1800.06/1794.61 c conflicts : 3231358 1800.06/1794.61 c decisions : 12068638 1800.06/1794.61 c propagations : 196734995 1800.06/1794.61 c inspects : 8162475402 1800.06/1794.61 c shortcuts : 0 1800.06/1794.61 c learnt literals : 0 1800.06/1794.61 c learnt binary clauses : 0 1800.06/1794.61 c learnt ternary clauses : 3 1800.06/1794.61 c learnt constraints : 3231358 1800.06/1794.61 c ignored constraints : 0 1800.06/1794.61 c root simplifications : 650 1800.06/1794.61 c removed literals (reason simplification) : 4243959571 1800.06/1794.61 c reason swapping (by a shorter reason) : 0 1800.06/1794.61 c Calls to reduceDB : 140 1800.06/1794.61 c number of reductions to clauses (during analyze) : 0 1800.06/1794.61 c number of learned constraints concerned by reduction : 0 1800.06/1794.61 c number of learning phase by resolution : 0 1800.06/1794.61 c number of learning phase by cutting planes : 0 1800.06/1794.61 c speed (assignments/second) : 109674.09459726895 1800.06/1794.61 c non guided choices 301339 1800.06/1794.63 c learnt constraints type 1800.06/1794.63 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 59561 1800.06/1794.63 c constraints type 1800.06/1794.63 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100672 1800.06/1794.63 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 9 1800.06/1794.63 c 100681 constraints processed. 1800.06/1794.63 s SATISFIABLE 1800.06/1794.64 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 1800.06/1794.64 c objective function=-16183 1800.06/1794.64 c Total wall clock time (in seconds): 1794.525
OK -16183
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-3710301-1338208874/watcher-3710301-1338208874 -o /tmp/evaluation-result-3710301-1338208874/solver-3710301-1338208874 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710301-1338208874.opb running on 4 cores: 1,3,5,7 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.24 2.12 2.14 3/194 24827 /proc/meminfo: memFree=25602748/32873648 swapFree=7372/7372 [pid=24827] ppid=24825 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/24827/stat : 24827 (java) D 24825 24827 24478 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 287013349 9515008 182 33554432000 1073741824 1073778376 140737246892560 140737246883592 217410518709 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0 /proc/24827/statm: 2323 182 140 9 0 71 0 [startup+0.038517 s] /proc/loadavg: 2.24 2.12 2.14 3/194 24827 /proc/meminfo: memFree=25602748/32873648 swapFree=7372/7372 [pid=24827] ppid=24825 vsize=9225560 CPUtime=0.01 cores=1,3,5,7 /proc/24827/stat : 24827 (java) S 24825 24827 24478 0 -1 4202496 3023 0 1 0 1 0 0 0 20 0 13 0 287013349 9446973440 3208 33554432000 1073741824 1073778376 140736011541648 140736011532784 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24827/statm: 2306390 3208 1668 9 0 2297091 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9225560 [startup+0.100187 s] /proc/loadavg: 2.24 2.12 2.14 3/194 24827 /proc/meminfo: memFree=25602748/32873648 swapFree=7372/7372 [pid=24827] ppid=24825 vsize=9558440 CPUtime=0.09 cores=1,3,5,7 /proc/24827/stat : 24827 (java) S 24825 24827 24478 0 -1 4202496 4342 0 1 0 8 1 0 0 20 0 18 0 287013349 9787842560 5034 33554432000 1073741824 1073778376 140736011541648 140736011532784 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24827/statm: 2389610 5034 2115 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.300172 s] /proc/loadavg: 2.24 2.12 2.14 3/194 24827 /proc/meminfo: memFree=25602748/32873648 swapFree=7372/7372 [pid=24827] ppid=24825 vsize=9558440 CPUtime=0.49 cores=1,3,5,7 /proc/24827/stat : 24827 (java) S 24825 24827 24478 0 -1 4202496 5917 0 1 0 48 1 0 0 20 0 18 0 287013349 9787842560 9041 33554432000 1073741824 1073778376 140736011541648 140736011532784 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24827/statm: 2389610 9041 2226 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558440 [startup+0.700182 s] /proc/loadavg: 2.24 2.12 2.14 3/194 24827 /proc/meminfo: memFree=25602748/32873648 swapFree=7372/7372 [pid=24827] ppid=24825 vsize=9558440 CPUtime=1.23 cores=1,3,5,7 /proc/24827/stat : 24827 (java) S 24825 24827 24478 0 -1 4202496 9509 0 1 0 119 4 0 0 20 0 18 0 287013349 9787842560 41997 33554432000 1073741824 1073778376 140736011541648 140736011532784 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24827/statm: 2389610 41997 2262 9 0 2380296 0 Current children cumulated CPU time (s) 1.23 Current children cumulated vsize (KiB) 9558440 [startup+1.51081 s] /proc/loadavg: 2.22 2.12 2.14 5/213 24846 /proc/meminfo: memFree=25441412/32873648 swapFree=7372/7372 [pid=24827] ppid=24825 vsize=9625004 CPUtime=2.47 cores=1,3,5,7 /proc/24827/stat : 24827 (java) S 24825 24827 24478 0 -1 4202496 10651 0 1 0 241 6 0 0 20 0 19 0 287013349 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 140736011532784 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24827/statm: 2406251 45710 2273 9 0 2396937 0 [pid=24827/tid=24829] ppid=24825 vsize=9625004 CPUtime=1.45 cores=1,3,5,7 /proc/24827/task/24829/stat : 24829 (java) S 24825 24827 24478 0 -1 4202560 2630 0 1 0 141 4 0 0 20 0 19 0 287013350 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723803389032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24830] ppid=24825 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/24827/task/24830/stat : 24830 (java) S 24825 24827 24478 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 287013351 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723647171096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24831] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24831/stat : 24831 (java) S 24825 24827 24478 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723646118696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24827/tid=24832] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24832/stat : 24832 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723645066152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24833] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24833/stat : 24833 (java) S 24825 24827 24478 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723644013464 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24834] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24834/stat : 24834 (java) S 24825 24827 24478 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723642960040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24835] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24835/stat : 24835 (java) S 24825 24827 24478 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723641907352 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24827/tid=24836] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24836/stat : 24836 (java) S 24825 24827 24478 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723640854952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24837] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24837/stat : 24837 (java) S 24825 24827 24478 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723639802376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24838] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24838/stat : 24838 (java) S 24825 24827 24478 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 287013352 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723627603464 217413891132 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24839] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24839/stat : 24839 (java) S 24825 24827 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287013353 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723626550904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24840] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24840/stat : 24840 (java) S 24825 24827 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287013353 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723625498248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24841] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24841/stat : 24841 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723624446992 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24842] ppid=24825 vsize=9625004 CPUtime=0.48 cores=1,3,5,7 /proc/24827/task/24842/stat : 24842 (java) S 24825 24827 24478 0 -1 4202560 3767 0 0 0 48 0 0 0 20 0 19 0 287013355 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723623393336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24843] ppid=24825 vsize=9625004 CPUtime=0.41 cores=1,3,5,7 /proc/24827/task/24843/stat : 24843 (java) S 24825 24827 24478 0 -1 4202560 2946 0 0 0 41 0 0 0 20 0 19 0 287013355 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723622340792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24844] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24844/stat : 24844 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723621288440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24845] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24845/stat : 24845 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723620236104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24846] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24846/stat : 24846 (java) S 24825 24827 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287013429 9856004096 45710 33554432000 1073741824 1073778376 140736011541648 139723619181864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.47 Current children cumulated vsize (KiB) 9625004 [startup+3.1007 s] /proc/loadavg: 2.22 2.12 2.14 4/213 24846 /proc/meminfo: memFree=25428124/32873648 swapFree=7372/7372 [pid=24827] ppid=24825 vsize=9625004 CPUtime=4.12 cores=1,3,5,7 /proc/24827/stat : 24827 (java) S 24825 24827 24478 0 -1 4202496 10953 0 1 0 403 9 0 0 20 0 19 0 287013349 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 140736011532784 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24827/statm: 2406251 78607 2274 9 0 2396937 0 [pid=24827/tid=24829] ppid=24825 vsize=9625004 CPUtime=3.01 cores=1,3,5,7 /proc/24827/task/24829/stat : 24829 (java) R 24825 24827 24478 0 -1 4202560 2691 0 1 0 296 5 0 0 20 0 19 0 287013350 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723803389520 139723743789053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24830] ppid=24825 vsize=9625004 CPUtime=0.02 cores=1,3,5,7 /proc/24827/task/24830/stat : 24830 (java) S 24825 24827 24478 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 287013351 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723647171240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24831] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24831/stat : 24831 (java) S 24825 24827 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723646118696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24827/tid=24832] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24832/stat : 24832 (java) S 24825 24827 24478 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723645066152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24833] ppid=24825 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/24827/task/24833/stat : 24833 (java) S 24825 24827 24478 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 287013351 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723644013608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24834] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24834/stat : 24834 (java) S 24825 24827 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723642960040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24835] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24835/stat : 24835 (java) S 24825 24827 24478 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723641907496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24827/tid=24836] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24836/stat : 24836 (java) S 24825 24827 24478 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723640854952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24837] ppid=24825 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/24827/task/24837/stat : 24837 (java) S 24825 24827 24478 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 287013351 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723639802408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24838] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24838/stat : 24838 (java) S 24825 24827 24478 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 287013352 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723627604584 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24839] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24839/stat : 24839 (java) S 24825 24827 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287013353 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723626550904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24840] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24840/stat : 24840 (java) S 24825 24827 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287013353 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723625498248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24841] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24841/stat : 24841 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723624446992 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24842] ppid=24825 vsize=9625004 CPUtime=0.48 cores=1,3,5,7 /proc/24827/task/24842/stat : 24842 (java) S 24825 24827 24478 0 -1 4202560 3767 0 0 0 48 0 0 0 20 0 19 0 287013355 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723623393336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24843] ppid=24825 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/24827/task/24843/stat : 24843 (java) S 24825 24827 24478 0 -1 4202560 3039 0 0 0 43 0 0 0 20 0 19 0 287013355 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723622340792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24844] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24844/stat : 24844 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723621288440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24845] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24845/stat : 24845 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723620236104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24846] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24846/stat : 24846 (java) S 24825 24827 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287013429 9856004096 78607 33554432000 1073741824 1073778376 140736011541648 139723619181864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.12 Current children cumulated vsize (KiB) 9625004 [startup+6.30072 s] /proc/loadavg: 2.22 2.12 2.14 3/213 24846 /proc/meminfo: memFree=25296060/32873648 swapFree=7372/7372 [pid=24827] ppid=24825 vsize=9625004 CPUtime=7.51 cores=1,3,5,7 /proc/24827/stat : 24827 (java) S 24825 24827 24478 0 -1 4202496 11448 0 1 0 742 9 0 0 20 0 19 0 287013349 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 140736011532784 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24827/statm: 2406251 78571 2275 9 0 2396937 0 [pid=24827/tid=24829] ppid=24825 vsize=9625004 CPUtime=6.21 cores=1,3,5,7 /proc/24827/task/24829/stat : 24829 (java) R 24825 24827 24478 0 -1 4202560 2693 0 1 0 616 5 0 0 20 0 19 0 287013350 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723803390024 139723744057192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24830] ppid=24825 vsize=9625004 CPUtime=0.02 cores=1,3,5,7 /proc/24827/task/24830/stat : 24830 (java) S 24825 24827 24478 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 287013351 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723647171240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24831] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24831/stat : 24831 (java) S 24825 24827 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723646118696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24827/tid=24832] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24832/stat : 24832 (java) S 24825 24827 24478 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723645066152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24833] ppid=24825 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/24827/task/24833/stat : 24833 (java) S 24825 24827 24478 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 287013351 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723644013608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24834] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24834/stat : 24834 (java) S 24825 24827 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723642960040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24835] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24835/stat : 24835 (java) S 24825 24827 24478 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723641907496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24827/tid=24836] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24836/stat : 24836 (java) S 24825 24827 24478 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 287013351 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723640854952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24837] ppid=24825 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/24827/task/24837/stat : 24837 (java) S 24825 24827 24478 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 287013351 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723639802408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24838] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24838/stat : 24838 (java) S 24825 24827 24478 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 287013352 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723627604584 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24839] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24839/stat : 24839 (java) S 24825 24827 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287013353 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723626550904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24840] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24840/stat : 24840 (java) S 24825 24827 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287013353 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723625498248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24841] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24841/stat : 24841 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723624446992 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24842] ppid=24825 vsize=9625004 CPUtime=0.59 cores=1,3,5,7 /proc/24827/task/24842/stat : 24842 (java) S 24825 24827 24478 0 -1 4202560 4253 0 0 0 59 0 0 0 20 0 19 0 287013355 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723623393336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24843] ppid=24825 vsize=9625004 CPUtime=0.51 cores=1,3,5,7 /proc/24827/task/24843/stat : 24843 (java) S 24825 24827 24478 0 -1 4202560 3046 0 0 0 51 0 0 0 20 0 19 0 287013355 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723622340792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24844] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24844/stat : 24844 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723621288440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24845] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24845/stat : 24845 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723620236104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24846] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24846/stat : 24846 (java) S 24825 24827 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287013429 9856004096 78571 33554432000 1073741824 1073778376 140736011541648 139723619181864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.51 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=24827/tid=24835] ppid=24825 vsize=9625004 CPUtime=0.83 cores=1,3,5,7 /proc/24827/task/24835/stat : 24835 (java) S 24825 24827 24478 0 -1 4202560 158 0 0 0 78 5 0 0 20 0 19 0 287013351 9856004096 191815 33554432000 1073741824 1073778376 140736011541648 139723641907496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24827/tid=24836] ppid=24825 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/24827/task/24836/stat : 24836 (java) S 24825 24827 24478 0 -1 4202560 118 0 0 0 64 4 0 0 20 0 19 0 287013351 9856004096 191815 33554432000 1073741824 1073778376 140736011541648 139723640854952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24837] ppid=24825 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/24827/task/24837/stat : 24837 (java) S 24825 24827 24478 0 -1 4202560 146 0 0 0 62 6 0 0 20 0 19 0 287013351 9856004096 191815 33554432000 1073741824 1073778376 140736011541648 139723639802408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24838] ppid=24825 vsize=9625004 CPUtime=6.82 cores=1,3,5,7 /proc/24827/task/24838/stat : 24838 (java) S 24825 24827 24478 0 -1 4202560 344 0 0 0 680 2 0 0 20 0 19 0 287013352 9856004096 191815 33554432000 1073741824 1073778376 140736011541648 139723627604584 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24839] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24839/stat : 24839 (java) S 24825 24827 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287013353 9856004096 191815 33554432000 1073741824 1073778376 140736011541648 139723626550904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24840] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24840/stat : 24840 (java) S 24825 24827 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287013353 9856004096 191815 33554432000 1073741824 1073778376 140736011541648 139723625498248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24841] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24841/stat : 24841 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 191815 33554432000 1073741824 1073778376 140736011541648 139723624446992 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24842] ppid=24825 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/24827/task/24842/stat : 24842 (java) S 24825 24827 24478 0 -1 4202560 4648 0 0 0 68 0 0 0 20 0 19 0 287013355 9856004096 191815 33554432000 1073741824 1073778376 140736011541648 139723623393336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24843] ppid=24825 vsize=9625004 CPUtime=0.55 cores=1,3,5,7 /proc/24827/task/24843/stat : 24843 (java) S 24825 24827 24478 0 -1 4202560 3059 0 0 0 54 1 0 0 20 0 19 0 287013355 9856004096 191815 33554432000 1073741824 1073778376 140736011541648 139723622340792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24844] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24844/stat : 24844 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 191815 33554432000 1073741824 1073778376 140736011541648 139723621288440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24845] ppid=24825 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/24827/task/24845/stat : 24845 (java) S 24825 24827 24478 0 -1 4202560 97 0 0 0 15 18 0 0 20 0 19 0 287013355 9856004096 191815 33554432000 1073741824 1073778376 140736011541648 139723620236104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24846] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24846/stat : 24846 (java) S 24825 24827 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287013429 9856004096 191815 33554432000 1073741824 1073778376 140736011541648 139723619181864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1667.49 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/213 24940 /proc/meminfo: memFree=25887276/32873648 swapFree=7372/7372 [pid=24827] ppid=24825 vsize=9625004 CPUtime=1727.64 cores=1,3,5,7 /proc/24827/stat : 24827 (java) S 24825 24827 24478 0 -1 4202496 13279 0 1 0 172699 65 0 0 20 0 19 0 287013349 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 140736011532784 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24827/statm: 2406251 191825 2292 9 0 2396937 0 [pid=24827/tid=24829] ppid=24825 vsize=9625004 CPUtime=1713.24 cores=1,3,5,7 /proc/24827/task/24829/stat : 24829 (java) R 24825 24827 24478 0 -1 4202560 2932 0 1 0 171287 37 0 0 20 0 19 0 287013350 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723803390256 139723743997986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24830] ppid=24825 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/24827/task/24830/stat : 24830 (java) S 24825 24827 24478 0 -1 4202560 137 0 0 0 61 5 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723647171240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24831] ppid=24825 vsize=9625004 CPUtime=0.83 cores=1,3,5,7 /proc/24827/task/24831/stat : 24831 (java) S 24825 24827 24478 0 -1 4202560 155 0 0 0 78 5 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723646118696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24832] ppid=24825 vsize=9625004 CPUtime=0.81 cores=1,3,5,7 /proc/24827/task/24832/stat : 24832 (java) S 24825 24827 24478 0 -1 4202560 78 0 0 0 78 3 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723645066152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24833] ppid=24825 vsize=9625004 CPUtime=0.79 cores=1,3,5,7 /proc/24827/task/24833/stat : 24833 (java) S 24825 24827 24478 0 -1 4202560 98 0 0 0 74 5 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723644013608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24827/tid=24834] ppid=24825 vsize=9625004 CPUtime=0.69 cores=1,3,5,7 /proc/24827/task/24834/stat : 24834 (java) S 24825 24827 24478 0 -1 4202560 121 0 0 0 65 4 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723642960040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24835] ppid=24825 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/24827/task/24835/stat : 24835 (java) S 24825 24827 24478 0 -1 4202560 158 0 0 0 79 5 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723641907496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24827/tid=24836] ppid=24825 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/24827/task/24836/stat : 24836 (java) S 24825 24827 24478 0 -1 4202560 118 0 0 0 67 4 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723640854952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24837] ppid=24825 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/24827/task/24837/stat : 24837 (java) S 24825 24827 24478 0 -1 4202560 147 0 0 0 65 6 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723639802408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24838] ppid=24825 vsize=9625004 CPUtime=7.02 cores=1,3,5,7 /proc/24827/task/24838/stat : 24838 (java) S 24825 24827 24478 0 -1 4202560 346 0 0 0 700 2 0 0 20 0 19 0 287013352 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723627604584 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24839] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24839/stat : 24839 (java) S 24825 24827 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287013353 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723626550904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24840] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24840/stat : 24840 (java) S 24825 24827 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287013353 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723625498248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24841] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24841/stat : 24841 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723624446992 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24842] ppid=24825 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/24827/task/24842/stat : 24842 (java) S 24825 24827 24478 0 -1 4202560 4648 0 0 0 68 0 0 0 20 0 19 0 287013355 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723623393336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24843] ppid=24825 vsize=9625004 CPUtime=0.55 cores=1,3,5,7 /proc/24827/task/24843/stat : 24843 (java) S 24825 24827 24478 0 -1 4202560 3059 0 0 0 54 1 0 0 20 0 19 0 287013355 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723622340792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24844] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24844/stat : 24844 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723621288440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24845] ppid=24825 vsize=9625004 CPUtime=0.35 cores=1,3,5,7 /proc/24827/task/24845/stat : 24845 (java) S 24825 24827 24478 0 -1 4202560 99 0 0 0 16 19 0 0 20 0 19 0 287013355 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723620236104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24846] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24846/stat : 24846 (java) S 24825 24827 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287013429 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723619181864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1727.64 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/214 24943 /proc/meminfo: memFree=25908492/32873648 swapFree=7372/7372 [pid=24827] ppid=24825 vsize=9625004 CPUtime=1787.73 cores=1,3,5,7 /proc/24827/stat : 24827 (java) S 24825 24827 24478 0 -1 4202496 13289 0 1 0 178707 66 0 0 20 0 19 0 287013349 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 140736011532784 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24827/statm: 2406251 191825 2292 9 0 2396937 0 [pid=24827/tid=24829] ppid=24825 vsize=9625004 CPUtime=1773.08 cores=1,3,5,7 /proc/24827/task/24829/stat : 24829 (java) R 24825 24827 24478 0 -1 4202560 2934 0 1 0 177271 37 0 0 20 0 19 0 287013350 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723803390256 139723743861348 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24830] ppid=24825 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/24827/task/24830/stat : 24830 (java) S 24825 24827 24478 0 -1 4202560 137 0 0 0 61 5 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723647171240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24831] ppid=24825 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/24827/task/24831/stat : 24831 (java) S 24825 24827 24478 0 -1 4202560 155 0 0 0 79 5 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723646118696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24832] ppid=24825 vsize=9625004 CPUtime=0.82 cores=1,3,5,7 /proc/24827/task/24832/stat : 24832 (java) S 24825 24827 24478 0 -1 4202560 78 0 0 0 79 3 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723645066152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24833] ppid=24825 vsize=9625004 CPUtime=0.81 cores=1,3,5,7 /proc/24827/task/24833/stat : 24833 (java) S 24825 24827 24478 0 -1 4202560 98 0 0 0 76 5 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723644013608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24827/tid=24834] ppid=24825 vsize=9625004 CPUtime=0.72 cores=1,3,5,7 /proc/24827/task/24834/stat : 24834 (java) S 24825 24827 24478 0 -1 4202560 121 0 0 0 68 4 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723642960040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24835] ppid=24825 vsize=9625004 CPUtime=0.85 cores=1,3,5,7 /proc/24827/task/24835/stat : 24835 (java) S 24825 24827 24478 0 -1 4202560 158 0 0 0 80 5 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723641907496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24836] ppid=24825 vsize=9625004 CPUtime=0.72 cores=1,3,5,7 /proc/24827/task/24836/stat : 24836 (java) S 24825 24827 24478 0 -1 4202560 118 0 0 0 68 4 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723640854952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24837] ppid=24825 vsize=9625004 CPUtime=0.73 cores=1,3,5,7 /proc/24827/task/24837/stat : 24837 (java) S 24825 24827 24478 0 -1 4202560 147 0 0 0 67 6 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723639802408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24838] ppid=24825 vsize=9625004 CPUtime=7.14 cores=1,3,5,7 /proc/24827/task/24838/stat : 24838 (java) S 24825 24827 24478 0 -1 4202560 350 0 0 0 712 2 0 0 20 0 19 0 287013352 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723627604584 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24839] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24839/stat : 24839 (java) S 24825 24827 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287013353 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723626550904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24840] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24840/stat : 24840 (java) S 24825 24827 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287013353 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723625498248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24841] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24841/stat : 24841 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723624446992 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24842] ppid=24825 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/24827/task/24842/stat : 24842 (java) S 24825 24827 24478 0 -1 4202560 4648 0 0 0 68 0 0 0 20 0 19 0 287013355 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723623393336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24843] ppid=24825 vsize=9625004 CPUtime=0.55 cores=1,3,5,7 /proc/24827/task/24843/stat : 24843 (java) S 24825 24827 24478 0 -1 4202560 3059 0 0 0 54 1 0 0 20 0 19 0 287013355 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723622340792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24844] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24844/stat : 24844 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723621288440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24845] ppid=24825 vsize=9625004 CPUtime=0.36 cores=1,3,5,7 /proc/24827/task/24845/stat : 24845 (java) S 24825 24827 24478 0 -1 4202560 103 0 0 0 17 19 0 0 20 0 19 0 287013355 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723620236104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24846] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24846/stat : 24846 (java) S 24825 24827 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287013429 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723619181864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1787.73 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.6 s] /proc/loadavg: 2.00 2.00 2.00 3/213 24943 /proc/meminfo: memFree=25926360/32873648 swapFree=7372/7372 [pid=24827] ppid=24825 vsize=9625004 CPUtime=1800.06 cores=1,3,5,7 /proc/24827/stat : 24827 (java) S 24825 24827 24478 0 -1 4202496 13290 0 1 0 179940 66 0 0 20 0 19 0 287013349 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 140736011532784 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/24827/statm: 2406251 191825 2292 9 0 2396937 0 [pid=24827/tid=24829] ppid=24825 vsize=9625004 CPUtime=1785.3 cores=1,3,5,7 /proc/24827/task/24829/stat : 24829 (java) R 24825 24827 24478 0 -1 4202560 2935 0 1 0 178492 38 0 0 20 0 19 0 287013350 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723803390256 139723744041398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24830] ppid=24825 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/24827/task/24830/stat : 24830 (java) S 24825 24827 24478 0 -1 4202560 137 0 0 0 61 5 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723647171240 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24831] ppid=24825 vsize=9625004 CPUtime=0.84 cores=1,3,5,7 /proc/24827/task/24831/stat : 24831 (java) S 24825 24827 24478 0 -1 4202560 155 0 0 0 79 5 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723646118696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24832] ppid=24825 vsize=9625004 CPUtime=0.82 cores=1,3,5,7 /proc/24827/task/24832/stat : 24832 (java) S 24825 24827 24478 0 -1 4202560 78 0 0 0 79 3 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723645066152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24833] ppid=24825 vsize=9625004 CPUtime=0.82 cores=1,3,5,7 /proc/24827/task/24833/stat : 24833 (java) S 24825 24827 24478 0 -1 4202560 98 0 0 0 77 5 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723644013608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24827/tid=24834] ppid=24825 vsize=9625004 CPUtime=0.72 cores=1,3,5,7 /proc/24827/task/24834/stat : 24834 (java) S 24825 24827 24478 0 -1 4202560 121 0 0 0 68 4 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723642960040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24835] ppid=24825 vsize=9625004 CPUtime=0.85 cores=1,3,5,7 /proc/24827/task/24835/stat : 24835 (java) S 24825 24827 24478 0 -1 4202560 158 0 0 0 80 5 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723641907496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24836] ppid=24825 vsize=9625004 CPUtime=0.73 cores=1,3,5,7 /proc/24827/task/24836/stat : 24836 (java) S 24825 24827 24478 0 -1 4202560 118 0 0 0 69 4 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723640854952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24837] ppid=24825 vsize=9625004 CPUtime=0.73 cores=1,3,5,7 /proc/24827/task/24837/stat : 24837 (java) S 24825 24827 24478 0 -1 4202560 147 0 0 0 67 6 0 0 20 0 19 0 287013351 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723639802408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24838] ppid=24825 vsize=9625004 CPUtime=7.22 cores=1,3,5,7 /proc/24827/task/24838/stat : 24838 (java) S 24825 24827 24478 0 -1 4202560 350 0 0 0 720 2 0 0 20 0 19 0 287013352 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723627604584 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24839] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24839/stat : 24839 (java) S 24825 24827 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287013353 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723626550904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24840] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24840/stat : 24840 (java) S 24825 24827 24478 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287013353 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723625498248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24841] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24841/stat : 24841 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723624446992 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24842] ppid=24825 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/24827/task/24842/stat : 24842 (java) S 24825 24827 24478 0 -1 4202560 4648 0 0 0 68 0 0 0 20 0 19 0 287013355 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723623393336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24827/tid=24843] ppid=24825 vsize=9625004 CPUtime=0.55 cores=1,3,5,7 /proc/24827/task/24843/stat : 24843 (java) S 24825 24827 24478 0 -1 4202560 3059 0 0 0 54 1 0 0 20 0 19 0 287013355 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723622340792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24844] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24844/stat : 24844 (java) S 24825 24827 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287013355 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723621288440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24827/tid=24845] ppid=24825 vsize=9625004 CPUtime=0.36 cores=1,3,5,7 /proc/24827/task/24845/stat : 24845 (java) S 24825 24827 24478 0 -1 4202560 103 0 0 0 17 19 0 0 20 0 19 0 287013355 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723620236104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24827/tid=24846] ppid=24825 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/24827/task/24846/stat : 24846 (java) S 24825 24827 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287013429 9856004096 191825 33554432000 1073741824 1073778376 140736011541648 139723619181864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 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 Real time (s): 1794.66 CPU time (s): 1800.66 CPU user time (s): 1799.55 CPU system time (s): 1.11083 CPU usage (%): 100.334 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 1.11083 maximum resident set size= 767424 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13324 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41978 involuntary context switches= 31381 runsolver used 5.74113 second user time and 14.4928 second system time The end
Begin job on node122 at 2012-05-28 14:41:14 IDJOB=3710301 IDBENCH=89901 IDSOLVER=2289 FILE ID=node122/3710301-1338208874 RUNJOBID= node122-1338205330-24495 PBS_JOBID= 14624612 Free space on /tmp= 71676 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z9-s14.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-3710301-1338208874/watcher-3710301-1338208874 -o /tmp/evaluation-result-3710301-1338208874/solver-3710301-1338208874 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710301-1338208874.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0eca8803cfc037d0cffd374298c6d6d9 RANDOM SEED=892522668 node122.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.533 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.06 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.533 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.533 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 : 5332.04 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.533 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.533 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.91 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.533 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 : 5438.54 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.533 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.533 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: 32873648 kB MemFree: 25603392 kB Buffers: 325836 kB Cached: 3124188 kB SwapCached: 0 kB Active: 4242040 kB Inactive: 2220064 kB Active(anon): 3003288 kB Inactive(anon): 11052 kB Active(file): 1238752 kB Inactive(file): 2209012 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 3576 kB Writeback: 0 kB AnonPages: 3019212 kB Mapped: 22012 kB Shmem: 200 kB Slab: 663088 kB SReclaimable: 107140 kB SUnreclaim: 555948 kB KernelStack: 1608 kB PageTables: 10052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 3270600 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 2965504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71676 MiB End job on node122 at 2012-05-28 15:11:10