Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 5 | 1800.09 | 1792.52 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_2.opb |
| MD5SUM | c0264878059fff5e6fa5f51839a60b24 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 1789.77 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| Optimality of the best value was proved | NO |
| Number of variables | 120 |
| Total number of constraints | 10 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 54 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1196 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4099 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.02/0.09 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.02/0.09 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.02/0.09 c no version file found!!! 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 1599470296 0.02/0.09 c Max memory 1607860224 0.02/0.09 c Total memory 1607860224 0.02/0.09 c Number of processors 8 0.06/0.11 --- Begin Solver configuration --- 0.06/0.11 c Stops conflict analysis at the first Unique Implication Point 0.06/0.11 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.06/0.11 c Learn all clauses as in MiniSAT 0.06/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.11 c VSIDS like heuristics from MiniSAT using a heap 0.06/0.11 c No reason simplification 0.06/0.11 c --- End Solver configuration --- 0.06/0.11 c solving HOME/instance-3734959-1338704333.opb 0.06/0.11 c reading problem ... 0.06/0.14 c ... done. Wall clock time 0.032s. 0.06/0.14 c CPU time (experimental) 0.11s. 0.06/0.14 c #vars 120 0.06/0.14 c #constraints 10 0.28/0.21 c SATISFIABLE 0.28/0.21 c OPTIMIZING... 0.28/0.21 c Got one! Elapsed wall clock time (in seconds):0.093 0.28/0.21 o 2274 0.28/0.23 c Got one! Elapsed wall clock time (in seconds):0.115 0.28/0.23 o 2269 0.28/0.24 c Got one! Elapsed wall clock time (in seconds):0.127 0.28/0.24 o 2267 0.28/0.25 c Got one! Elapsed wall clock time (in seconds):0.139 0.28/0.25 o 2266 0.28/0.26 c Got one! Elapsed wall clock time (in seconds):0.149 0.28/0.26 o 1638 0.28/0.27 c Got one! Elapsed wall clock time (in seconds):0.16 0.28/0.27 o 1636 0.28/0.28 c Got one! Elapsed wall clock time (in seconds):0.169 0.28/0.28 o 1610 0.28/0.29 c Got one! Elapsed wall clock time (in seconds):0.178 0.28/0.29 o 1609 0.50/0.30 c Got one! Elapsed wall clock time (in seconds):0.186 0.50/0.30 o 1608 0.50/0.31 c Got one! Elapsed wall clock time (in seconds):0.195 0.50/0.31 o 1598 0.50/0.32 c Got one! Elapsed wall clock time (in seconds):0.204 0.50/0.32 o 1569 0.50/0.32 c Got one! Elapsed wall clock time (in seconds):0.212 0.50/0.32 o 1325 0.50/0.33 c Got one! Elapsed wall clock time (in seconds):0.221 0.50/0.33 o 1263 0.50/0.34 c Got one! Elapsed wall clock time (in seconds):0.229 0.50/0.34 o 1245 0.50/0.35 c Got one! Elapsed wall clock time (in seconds):0.237 0.50/0.35 o 1230 0.50/0.36 c Got one! Elapsed wall clock time (in seconds):0.246 0.50/0.36 o 1228 0.50/0.37 c Got one! Elapsed wall clock time (in seconds):0.254 0.50/0.37 o 1214 0.50/0.38 c Got one! Elapsed wall clock time (in seconds):0.263 0.50/0.38 o 1166 0.50/0.39 c Got one! Elapsed wall clock time (in seconds):0.272 0.50/0.39 o 1164 0.50/0.39 c Got one! Elapsed wall clock time (in seconds):0.28 0.50/0.39 o 1118 0.63/0.41 c Got one! Elapsed wall clock time (in seconds):0.294 0.63/0.41 o 1102 0.63/0.42 c Got one! Elapsed wall clock time (in seconds):0.303 0.63/0.42 o 1101 0.63/0.42 c Got one! Elapsed wall clock time (in seconds):0.311 0.63/0.42 o 1028 0.63/0.44 c Got one! Elapsed wall clock time (in seconds):0.323 0.63/0.44 o 1025 0.63/0.45 c Got one! Elapsed wall clock time (in seconds):0.334 0.63/0.45 o 985 0.63/0.46 c Got one! Elapsed wall clock time (in seconds):0.349 0.63/0.46 o 983 0.63/0.47 c Got one! Elapsed wall clock time (in seconds):0.362 0.63/0.47 o 982 0.63/0.48 c Got one! Elapsed wall clock time (in seconds):0.371 0.63/0.48 o 980 0.63/0.49 c Got one! Elapsed wall clock time (in seconds):0.381 0.63/0.49 o 979 0.75/0.50 c Got one! Elapsed wall clock time (in seconds):0.389 0.75/0.50 o 977 0.75/0.51 c Got one! Elapsed wall clock time (in seconds):0.397 0.75/0.51 o 973 0.75/0.52 c Got one! Elapsed wall clock time (in seconds):0.406 0.75/0.52 o 972 0.75/0.53 c Got one! Elapsed wall clock time (in seconds):0.417 0.75/0.53 o 971 0.75/0.55 c Got one! Elapsed wall clock time (in seconds):0.434 0.75/0.55 o 968 0.75/0.56 c Got one! Elapsed wall clock time (in seconds):0.445 0.75/0.56 o 967 0.75/0.57 c Got one! Elapsed wall clock time (in seconds):0.455 0.75/0.57 o 965 0.75/0.58 c Got one! Elapsed wall clock time (in seconds):0.467 0.75/0.58 o 964 0.75/0.59 c Got one! Elapsed wall clock time (in seconds):0.482 0.75/0.59 o 962 0.93/0.61 c Got one! Elapsed wall clock time (in seconds):0.496 0.93/0.61 o 960 0.93/0.62 c Got one! Elapsed wall clock time (in seconds):0.506 0.93/0.62 o 956 0.93/0.63 c Got one! Elapsed wall clock time (in seconds):0.518 0.93/0.63 o 951 0.93/0.65 c Got one! Elapsed wall clock time (in seconds):0.532 0.93/0.65 o 948 0.93/0.66 c Got one! Elapsed wall clock time (in seconds):0.542 0.93/0.66 o 927 0.93/0.67 c Got one! Elapsed wall clock time (in seconds):0.552 0.93/0.67 o 925 0.93/0.67 c Got one! Elapsed wall clock time (in seconds):0.562 0.93/0.67 o 924 0.93/0.69 c Got one! Elapsed wall clock time (in seconds):0.573 0.93/0.69 o 923 1.13/0.70 c Got one! Elapsed wall clock time (in seconds):0.588 1.13/0.70 o 921 1.13/0.71 c Got one! Elapsed wall clock time (in seconds):0.602 1.13/0.71 o 919 1.13/0.73 c Got one! Elapsed wall clock time (in seconds):0.613 1.13/0.73 o 914 1.13/0.75 c Got one! Elapsed wall clock time (in seconds):0.633 1.13/0.75 o 889 1.13/0.76 c Got one! Elapsed wall clock time (in seconds):0.643 1.13/0.76 o 888 1.13/0.77 c Got one! Elapsed wall clock time (in seconds):0.653 1.13/0.77 o 887 1.13/0.78 c Got one! Elapsed wall clock time (in seconds):0.669 1.13/0.78 o 862 1.13/0.79 c Got one! Elapsed wall clock time (in seconds):0.679 1.13/0.79 o 859 1.31/0.80 c Got one! Elapsed wall clock time (in seconds):0.689 1.31/0.80 o 857 1.31/0.82 c Got one! Elapsed wall clock time (in seconds):0.71 1.31/0.82 o 774 1.31/0.86 c Got one! Elapsed wall clock time (in seconds):0.746 1.31/0.86 o 765 1.31/0.88 c Got one! Elapsed wall clock time (in seconds):0.765 1.31/0.88 o 761 1.31/0.89 c Got one! Elapsed wall clock time (in seconds):0.779 1.31/0.89 o 760 1.42/0.91 c Got one! Elapsed wall clock time (in seconds):0.798 1.42/0.91 o 758 1.42/0.93 c Got one! Elapsed wall clock time (in seconds):0.816 1.42/0.93 o 756 1.42/0.94 c Got one! Elapsed wall clock time (in seconds):0.83 1.42/0.94 o 740 1.42/0.96 c Got one! Elapsed wall clock time (in seconds):0.843 1.42/0.96 o 734 1.42/0.97 c Got one! Elapsed wall clock time (in seconds):0.856 1.42/0.97 o 733 1.42/0.99 c Got one! Elapsed wall clock time (in seconds):0.876 1.42/0.99 o 731 1.61/1.00 c Got one! Elapsed wall clock time (in seconds):0.891 1.61/1.00 o 730 1.61/1.02 c Got one! Elapsed wall clock time (in seconds):0.91 1.61/1.02 o 728 1.61/1.03 c Got one! Elapsed wall clock time (in seconds):0.922 1.61/1.03 o 721 1.61/1.05 c Got one! Elapsed wall clock time (in seconds):0.938 1.61/1.05 o 719 1.61/1.07 c Got one! Elapsed wall clock time (in seconds):0.953 1.61/1.07 o 718 1.61/1.08 c Got one! Elapsed wall clock time (in seconds):0.972 1.61/1.08 o 716 1.61/1.10 c Got one! Elapsed wall clock time (in seconds):0.985 1.61/1.10 o 714 1.73/1.13 c Got one! Elapsed wall clock time (in seconds):1.017 1.73/1.13 o 712 1.73/1.15 c Got one! Elapsed wall clock time (in seconds):1.034 1.73/1.15 o 710 1.73/1.16 c Got one! Elapsed wall clock time (in seconds):1.047 1.73/1.16 o 709 1.73/1.17 c Got one! Elapsed wall clock time (in seconds):1.062 1.73/1.17 o 708 1.73/1.20 c Got one! Elapsed wall clock time (in seconds):1.084 1.73/1.20 o 707 1.87/1.21 c Got one! Elapsed wall clock time (in seconds):1.101 1.87/1.21 o 704 1.87/1.23 c Got one! Elapsed wall clock time (in seconds):1.116 1.87/1.23 o 702 1.87/1.25 c Got one! Elapsed wall clock time (in seconds):1.133 1.87/1.25 o 701 1.87/1.26 c Got one! Elapsed wall clock time (in seconds):1.149 1.87/1.26 o 699 1.87/1.29 c Got one! Elapsed wall clock time (in seconds):1.182 1.87/1.29 o 698 1.97/1.31 c Got one! Elapsed wall clock time (in seconds):1.2 1.97/1.31 o 696 1.97/1.33 c Got one! Elapsed wall clock time (in seconds):1.217 1.97/1.33 o 691 1.97/1.35 c Got one! Elapsed wall clock time (in seconds):1.236 1.97/1.35 o 690 1.97/1.37 c Got one! Elapsed wall clock time (in seconds):1.257 1.97/1.37 o 688 2.09/1.41 c Got one! Elapsed wall clock time (in seconds):1.293 2.09/1.41 o 686 2.09/1.42 c Got one! Elapsed wall clock time (in seconds):1.306 2.09/1.42 o 683 2.09/1.44 c Got one! Elapsed wall clock time (in seconds):1.326 2.09/1.44 o 682 2.09/1.48 c Got one! Elapsed wall clock time (in seconds):1.363 2.09/1.48 o 680 2.09/1.49 c Got one! Elapsed wall clock time (in seconds):1.377 2.09/1.49 o 679 2.20/1.51 c Got one! Elapsed wall clock time (in seconds):1.394 2.20/1.51 o 677 2.20/1.53 c Got one! Elapsed wall clock time (in seconds):1.414 2.20/1.53 o 676 2.20/1.56 c Got one! Elapsed wall clock time (in seconds):1.451 2.20/1.56 o 675 2.29/1.60 c Got one! Elapsed wall clock time (in seconds):1.491 2.29/1.60 o 674 2.29/1.62 c Got one! Elapsed wall clock time (in seconds):1.504 2.29/1.62 o 673 2.29/1.65 c Got one! Elapsed wall clock time (in seconds):1.537 2.29/1.65 o 672 2.29/1.67 c Got one! Elapsed wall clock time (in seconds):1.553 2.29/1.67 o 671 2.40/1.70 c Got one! Elapsed wall clock time (in seconds):1.587 2.40/1.70 o 645 2.40/1.72 c Got one! Elapsed wall clock time (in seconds):1.603 2.40/1.72 o 643 2.40/1.76 c Got one! Elapsed wall clock time (in seconds):1.643 2.40/1.76 o 641 2.40/1.79 c Got one! Elapsed wall clock time (in seconds):1.679 2.40/1.79 o 640 2.49/1.81 c Got one! Elapsed wall clock time (in seconds):1.696 2.49/1.81 o 639 2.49/1.84 c Got one! Elapsed wall clock time (in seconds):1.729 2.49/1.84 o 637 2.49/1.86 c Got one! Elapsed wall clock time (in seconds):1.751 2.49/1.86 o 635 2.49/1.88 c Got one! Elapsed wall clock time (in seconds):1.769 2.49/1.88 o 633 2.60/1.93 c Got one! Elapsed wall clock time (in seconds):1.813 2.60/1.93 o 632 2.60/1.97 c Got one! Elapsed wall clock time (in seconds):1.858 2.60/1.97 o 630 2.70/2.00 c Got one! Elapsed wall clock time (in seconds):1.887 2.70/2.00 o 629 2.70/2.02 c Got one! Elapsed wall clock time (in seconds):1.908 2.70/2.02 o 603 2.70/2.05 c Got one! Elapsed wall clock time (in seconds):1.939 2.70/2.05 o 602 2.70/2.07 c Got one! Elapsed wall clock time (in seconds):1.959 2.70/2.07 o 601 2.82/2.11 c Got one! Elapsed wall clock time (in seconds):1.995 2.82/2.11 o 600 2.82/2.14 c Got one! Elapsed wall clock time (in seconds):2.024 2.82/2.14 o 599 2.82/2.15 c Got one! Elapsed wall clock time (in seconds):2.039 2.82/2.15 o 597 2.82/2.17 c Got one! Elapsed wall clock time (in seconds):2.061 2.82/2.17 o 585 2.82/2.19 c Got one! Elapsed wall clock time (in seconds):2.076 2.82/2.19 o 584 2.92/2.22 c Got one! Elapsed wall clock time (in seconds):2.104 2.92/2.22 o 582 2.92/2.26 c Got one! Elapsed wall clock time (in seconds):2.144 2.92/2.26 o 579 2.92/2.28 c Got one! Elapsed wall clock time (in seconds):2.172 2.92/2.28 o 578 3.06/2.31 c Got one! Elapsed wall clock time (in seconds):2.202 3.06/2.31 o 567 3.06/2.35 c Got one! Elapsed wall clock time (in seconds):2.236 3.06/2.35 o 566 3.06/2.39 c Got one! Elapsed wall clock time (in seconds):2.282 3.06/2.39 o 504 3.16/2.44 c Got one! Elapsed wall clock time (in seconds):2.325 3.16/2.44 o 503 3.16/2.46 c Got one! Elapsed wall clock time (in seconds):2.344 3.16/2.46 o 502 3.16/2.49 c Got one! Elapsed wall clock time (in seconds):2.377 3.16/2.49 o 500 3.27/2.53 c Got one! Elapsed wall clock time (in seconds):2.416 3.27/2.53 o 499 3.27/2.57 c Got one! Elapsed wall clock time (in seconds):2.454 3.27/2.57 o 498 3.37/2.61 c Got one! Elapsed wall clock time (in seconds):2.493 3.37/2.61 o 496 3.37/2.65 c Got one! Elapsed wall clock time (in seconds):2.535 3.37/2.65 o 393 3.37/2.68 c Got one! Elapsed wall clock time (in seconds):2.565 3.37/2.68 o 392 3.47/2.71 c Got one! Elapsed wall clock time (in seconds):2.594 3.47/2.71 o 390 3.47/2.75 c Got one! Elapsed wall clock time (in seconds):2.635 3.47/2.75 o 389 3.47/2.78 c Got one! Elapsed wall clock time (in seconds):2.669 3.47/2.78 o 387 3.57/2.82 c Got one! Elapsed wall clock time (in seconds):2.704 3.57/2.82 o 386 3.57/2.90 c Got one! Elapsed wall clock time (in seconds):2.723 3.57/2.90 o 385 3.67/2.96 c Got one! Elapsed wall clock time (in seconds):2.844 3.67/2.96 o 383 3.77/3.03 c Got one! Elapsed wall clock time (in seconds):2.918 3.77/3.03 o 382 3.77/3.07 c Got one! Elapsed wall clock time (in seconds):2.96 3.77/3.07 o 381 3.87/3.12 c Got one! Elapsed wall clock time (in seconds):3.012 3.87/3.12 o 380 3.87/3.20 c Got one! Elapsed wall clock time (in seconds):3.085 3.87/3.20 o 379 3.98/3.24 c Got one! Elapsed wall clock time (in seconds):3.125 3.98/3.24 o 378 3.98/3.28 c Got one! Elapsed wall clock time (in seconds):3.171 3.98/3.28 o 376 4.08/3.33 c Got one! Elapsed wall clock time (in seconds):3.217 4.08/3.33 o 375 4.23/3.41 c Got one! Elapsed wall clock time (in seconds):3.301 4.23/3.41 o 374 4.23/3.43 c Got one! Elapsed wall clock time (in seconds):3.322 4.23/3.43 o 373 4.23/3.47 c Got one! Elapsed wall clock time (in seconds):3.356 4.23/3.47 o 357 4.32/3.51 c Got one! Elapsed wall clock time (in seconds):3.397 4.32/3.51 o 355 4.32/3.55 c Got one! Elapsed wall clock time (in seconds):3.441 4.32/3.55 o 353 4.32/3.58 c Got one! Elapsed wall clock time (in seconds):3.464 4.32/3.58 o 351 4.42/3.64 c Got one! Elapsed wall clock time (in seconds):3.531 4.42/3.64 o 344 4.42/3.68 c Got one! Elapsed wall clock time (in seconds):3.569 4.42/3.68 o 342 4.52/3.76 c Got one! Elapsed wall clock time (in seconds):3.643 4.52/3.76 o 340 4.62/3.81 c Got one! Elapsed wall clock time (in seconds):3.693 4.62/3.81 o 338 4.62/3.85 c Got one! Elapsed wall clock time (in seconds):3.733 4.62/3.85 o 336 4.62/3.86 c Got one! Elapsed wall clock time (in seconds):3.749 4.62/3.86 o 334 4.62/3.89 c Got one! Elapsed wall clock time (in seconds):3.779 4.62/3.89 o 332 4.72/3.96 c Got one! Elapsed wall clock time (in seconds):3.847 4.72/3.96 o 331 4.72/3.98 c Got one! Elapsed wall clock time (in seconds):3.869 4.72/3.98 o 324 4.92/4.10 c Got one! Elapsed wall clock time (in seconds):3.987 4.92/4.10 o 316 5.13/4.35 c Got one! Elapsed wall clock time (in seconds):4.239 5.13/4.35 o 314 5.13/4.40 c Got one! Elapsed wall clock time (in seconds):4.29 5.13/4.40 o 313 5.23/4.45 c Got one! Elapsed wall clock time (in seconds):4.342 5.23/4.45 o 311 5.32/4.52 c Got one! Elapsed wall clock time (in seconds):4.408 5.32/4.52 o 308 5.32/4.58 c Got one! Elapsed wall clock time (in seconds):4.467 5.32/4.58 o 307 5.42/4.62 c Got one! Elapsed wall clock time (in seconds):4.508 5.42/4.62 o 305 5.42/4.68 c Got one! Elapsed wall clock time (in seconds):4.567 5.42/4.68 o 303 5.53/4.74 c Got one! Elapsed wall clock time (in seconds):4.627 5.53/4.74 o 301 5.53/4.79 c Got one! Elapsed wall clock time (in seconds):4.679 5.53/4.79 o 300 5.64/4.85 c Got one! Elapsed wall clock time (in seconds):4.737 5.64/4.85 o 297 5.64/4.88 c Got one! Elapsed wall clock time (in seconds):4.765 5.64/4.88 o 296 5.95/5.10 c Got one! Elapsed wall clock time (in seconds):4.991 5.95/5.10 o 295 5.95/5.17 c Got one! Elapsed wall clock time (in seconds):5.055 5.95/5.17 o 294 6.05/5.26 c Got one! Elapsed wall clock time (in seconds):5.151 6.05/5.26 o 293 6.15/5.31 c Got one! Elapsed wall clock time (in seconds):5.196 6.15/5.31 o 291 6.15/5.38 c Got one! Elapsed wall clock time (in seconds):5.268 6.15/5.38 o 289 6.26/5.44 c Got one! Elapsed wall clock time (in seconds):5.323 6.26/5.44 o 287 6.26/5.49 c Got one! Elapsed wall clock time (in seconds):5.382 6.26/5.49 o 286 6.36/5.55 c Got one! Elapsed wall clock time (in seconds):5.44 6.36/5.55 o 268 6.45/5.66 c Got one! Elapsed wall clock time (in seconds):5.549 6.45/5.66 o 266 6.55/5.77 c Got one! Elapsed wall clock time (in seconds):5.66 6.55/5.77 o 264 6.65/5.84 c Got one! Elapsed wall clock time (in seconds):5.728 6.65/5.84 o 262 6.75/5.93 c Got one! Elapsed wall clock time (in seconds):5.82 6.75/5.93 o 261 6.85/6.00 c Got one! Elapsed wall clock time (in seconds):5.889 6.85/6.00 o 259 6.85/6.08 c Got one! Elapsed wall clock time (in seconds):5.969 6.85/6.08 o 257 6.94/6.17 c Got one! Elapsed wall clock time (in seconds):6.056 6.94/6.17 o 255 7.04/6.24 c Got one! Elapsed wall clock time (in seconds):6.128 7.04/6.24 o 254 7.14/6.31 c Got one! Elapsed wall clock time (in seconds):6.193 7.14/6.31 o 253 7.14/6.39 c Got one! Elapsed wall clock time (in seconds):6.278 7.14/6.39 o 252 7.27/6.46 c Got one! Elapsed wall clock time (in seconds):6.345 7.27/6.46 o 250 7.37/6.52 c Got one! Elapsed wall clock time (in seconds):6.407 7.37/6.52 o 248 7.37/6.58 c Got one! Elapsed wall clock time (in seconds):6.472 7.37/6.58 o 247 7.47/6.62 c Got one! Elapsed wall clock time (in seconds):6.508 7.47/6.62 o 245 7.47/6.69 c Got one! Elapsed wall clock time (in seconds):6.576 7.47/6.69 o 243 7.57/6.78 c Got one! Elapsed wall clock time (in seconds):6.664 7.57/6.78 o 242 7.67/6.84 c Got one! Elapsed wall clock time (in seconds):6.727 7.67/6.84 o 240 7.77/6.91 c Got one! Elapsed wall clock time (in seconds):6.794 7.77/6.91 o 232 7.77/6.96 c Got one! Elapsed wall clock time (in seconds):6.844 7.77/6.96 o 216 7.77/6.99 c Got one! Elapsed wall clock time (in seconds):6.874 7.77/6.99 o 214 7.97/7.13 c Got one! Elapsed wall clock time (in seconds):7.019 7.97/7.13 o 213 8.27/7.40 c Got one! Elapsed wall clock time (in seconds):7.287 8.27/7.40 o 212 8.27/7.48 c Got one! Elapsed wall clock time (in seconds):7.365 8.27/7.48 o 211 8.37/7.51 c Got one! Elapsed wall clock time (in seconds):7.394 8.37/7.51 o 210 8.37/7.56 c Got one! Elapsed wall clock time (in seconds):7.45 8.37/7.56 o 209 8.48/7.66 c Got one! Elapsed wall clock time (in seconds):7.544 8.48/7.66 o 208 8.48/7.69 c Got one! Elapsed wall clock time (in seconds):7.581 8.48/7.69 o 206 8.67/7.81 c Got one! Elapsed wall clock time (in seconds):7.702 8.67/7.81 o 204 8.77/7.90 c Got one! Elapsed wall clock time (in seconds):7.786 8.77/7.90 o 202 8.77/7.97 c Got one! Elapsed wall clock time (in seconds):7.854 8.77/7.97 o 201 8.97/8.19 c Got one! Elapsed wall clock time (in seconds):8.079 8.97/8.19 o 197 9.10/8.25 c Got one! Elapsed wall clock time (in seconds):8.133 9.10/8.25 o 195 9.20/8.33 c Got one! Elapsed wall clock time (in seconds):8.219 9.20/8.33 o 189 9.20/8.38 c Got one! Elapsed wall clock time (in seconds):8.269 9.20/8.38 o 188 9.30/8.43 c Got one! Elapsed wall clock time (in seconds):8.315 9.30/8.43 o 187 9.40/8.52 c Got one! Elapsed wall clock time (in seconds):8.407 9.40/8.52 o 186 9.50/8.61 c Got one! Elapsed wall clock time (in seconds):8.498 9.50/8.61 o 185 9.50/8.68 c Got one! Elapsed wall clock time (in seconds):8.567 9.50/8.68 o 183 9.80/8.93 c Got one! Elapsed wall clock time (in seconds):8.816 9.80/8.93 o 182 9.80/8.97 c Got one! Elapsed wall clock time (in seconds):8.854 9.80/8.97 o 180 9.90/9.03 c Got one! Elapsed wall clock time (in seconds):8.913 9.90/9.03 o 178 10.10/9.27 c Got one! Elapsed wall clock time (in seconds):9.16 10.10/9.27 o 177 10.40/9.52 c Got one! Elapsed wall clock time (in seconds):9.41 10.40/9.52 o 175 10.51/9.63 c Got one! Elapsed wall clock time (in seconds):9.516 10.51/9.63 o 174 10.68/9.70 c Got one! Elapsed wall clock time (in seconds):9.592 10.68/9.70 o 173 10.68/9.75 c Got one! Elapsed wall clock time (in seconds):9.639 10.68/9.75 o 171 10.79/9.80 c Got one! Elapsed wall clock time (in seconds):9.691 10.79/9.80 o 170 10.79/9.90 c Got one! Elapsed wall clock time (in seconds):9.789 10.79/9.90 o 169 10.89/9.98 c Got one! Elapsed wall clock time (in seconds):9.867 10.89/9.98 o 165 10.98/10.09 c Got one! Elapsed wall clock time (in seconds):9.977 10.98/10.09 o 164 11.18/10.26 c Got one! Elapsed wall clock time (in seconds):10.151 11.18/10.26 o 142 11.28/10.37 c Got one! Elapsed wall clock time (in seconds):10.258 11.28/10.37 o 141 11.38/10.43 c Got one! Elapsed wall clock time (in seconds):10.319 11.38/10.43 o 137 11.48/10.52 c Got one! Elapsed wall clock time (in seconds):10.41 11.48/10.52 o 136 11.58/10.60 c Got one! Elapsed wall clock time (in seconds):10.487 11.58/10.60 o 135 11.58/10.64 c Got one! Elapsed wall clock time (in seconds):10.524 11.58/10.64 o 133 11.68/10.74 c Got one! Elapsed wall clock time (in seconds):10.629 11.68/10.74 o 132 11.68/10.79 c Got one! Elapsed wall clock time (in seconds):10.675 11.68/10.79 o 131 11.89/10.93 c Got one! Elapsed wall clock time (in seconds):10.821 11.89/10.93 o 130 12.18/11.29 c Got one! Elapsed wall clock time (in seconds):11.178 12.18/11.29 o 129 12.38/11.42 c Got one! Elapsed wall clock time (in seconds):11.306 12.38/11.42 o 117 12.38/11.46 c Got one! Elapsed wall clock time (in seconds):11.347 12.38/11.46 o 113 12.48/11.53 c Got one! Elapsed wall clock time (in seconds):11.42 12.48/11.53 o 112 12.58/11.60 c Got one! Elapsed wall clock time (in seconds):11.491 12.58/11.60 o 111 12.58/11.64 c Got one! Elapsed wall clock time (in seconds):11.532 12.58/11.64 o 108 12.69/11.77 c Got one! Elapsed wall clock time (in seconds):11.656 12.69/11.77 o 106 13.05/12.06 c Got one! Elapsed wall clock time (in seconds):11.95 13.05/12.06 o 104 13.25/12.22 c Got one! Elapsed wall clock time (in seconds):12.103 13.25/12.22 o 103 13.35/12.35 c Got one! Elapsed wall clock time (in seconds):12.234 13.35/12.35 o 102 13.45/12.43 c Got one! Elapsed wall clock time (in seconds):12.319 13.45/12.43 o 101 13.75/12.71 c Got one! Elapsed wall clock time (in seconds):12.594 13.75/12.71 o 99 13.94/12.95 c Got one! Elapsed wall clock time (in seconds):12.84 13.94/12.95 o 98 14.04/13.05 c Got one! Elapsed wall clock time (in seconds):12.941 14.04/13.05 o 97 14.34/13.35 c Got one! Elapsed wall clock time (in seconds):13.241 14.34/13.35 o 96 14.44/13.46 c Got one! Elapsed wall clock time (in seconds):13.343 14.44/13.46 o 95 14.54/13.53 c Got one! Elapsed wall clock time (in seconds):13.412 14.54/13.53 o 94 14.64/13.61 c Got one! Elapsed wall clock time (in seconds):13.501 14.64/13.61 o 92 14.74/13.71 c Got one! Elapsed wall clock time (in seconds):13.595 14.74/13.71 o 91 14.84/13.82 c Got one! Elapsed wall clock time (in seconds):13.703 14.84/13.82 o 90 15.67/14.63 c Got one! Elapsed wall clock time (in seconds):14.518 15.67/14.63 o 89 15.77/14.79 c Got one! Elapsed wall clock time (in seconds):14.674 15.77/14.79 o 87 15.97/14.98 c Got one! Elapsed wall clock time (in seconds):14.864 15.97/14.98 o 86 16.07/15.05 c Got one! Elapsed wall clock time (in seconds):14.938 16.07/15.05 o 85 16.17/15.12 c Got one! Elapsed wall clock time (in seconds):15.008 16.17/15.12 o 83 16.49/15.46 c Got one! Elapsed wall clock time (in seconds):15.344 16.49/15.46 o 81 16.58/15.54 c Got one! Elapsed wall clock time (in seconds):15.426 16.58/15.54 o 80 17.30/16.25 c Got one! Elapsed wall clock time (in seconds):16.134 17.30/16.25 o 78 17.50/16.40 c Got one! Elapsed wall clock time (in seconds):16.291 17.50/16.40 o 76 18.00/16.99 c Got one! Elapsed wall clock time (in seconds):16.877 18.00/16.99 o 75 18.10/17.09 c Got one! Elapsed wall clock time (in seconds):16.978 18.10/17.09 o 74 18.20/17.14 c Got one! Elapsed wall clock time (in seconds):17.032 18.20/17.14 o 72 18.30/17.20 c Got one! Elapsed wall clock time (in seconds):17.086 18.30/17.20 o 71 19.51/18.49 c Got one! Elapsed wall clock time (in seconds):18.378 19.51/18.49 o 69 20.03/18.93 c Got one! Elapsed wall clock time (in seconds):18.816 20.03/18.93 o 68 20.23/19.17 c Got one! Elapsed wall clock time (in seconds):19.06 20.23/19.17 o 62 20.63/19.57 c Got one! Elapsed wall clock time (in seconds):19.459 20.63/19.57 o 61 20.93/19.82 c Got one! Elapsed wall clock time (in seconds):19.703 20.93/19.82 o 59 20.93/19.89 c Got one! Elapsed wall clock time (in seconds):19.781 20.93/19.89 o 57 21.03/19.95 c Got one! Elapsed wall clock time (in seconds):19.838 21.03/19.95 o 56 21.13/20.06 c Got one! Elapsed wall clock time (in seconds):19.951 21.13/20.06 o 55 23.35/22.22 c Got one! Elapsed wall clock time (in seconds):22.112 23.35/22.22 o 54 23.45/22.37 c Got one! Elapsed wall clock time (in seconds):22.258 23.45/22.37 o 52 24.16/23.01 c Got one! Elapsed wall clock time (in seconds):22.899 24.16/23.01 o 50 24.35/23.24 c Got one! Elapsed wall clock time (in seconds):23.132 24.35/23.25 o 49 24.55/23.42 c Got one! Elapsed wall clock time (in seconds):23.309 24.55/23.42 o 47 24.75/23.61 c Got one! Elapsed wall clock time (in seconds):23.499 24.75/23.61 o 46 24.85/23.77 c Got one! Elapsed wall clock time (in seconds):23.656 24.85/23.77 o 45 25.05/23.93 c Got one! Elapsed wall clock time (in seconds):23.816 25.05/23.93 o 44 25.25/24.15 c Got one! Elapsed wall clock time (in seconds):24.036 25.25/24.15 o 43 25.35/24.29 c Got one! Elapsed wall clock time (in seconds):24.175 25.35/24.29 o 40 25.55/24.40 c Got one! Elapsed wall clock time (in seconds):24.29 25.55/24.40 o 39 25.55/24.46 c Got one! Elapsed wall clock time (in seconds):24.352 25.55/24.46 o 37 29.29/28.19 c Got one! Elapsed wall clock time (in seconds):28.077 29.29/28.19 o 36 30.39/29.23 c Got one! Elapsed wall clock time (in seconds):29.118 30.39/29.23 o 34 31.90/30.74 c Got one! Elapsed wall clock time (in seconds):30.625 31.90/30.74 o 32 33.00/31.83 c Got one! Elapsed wall clock time (in seconds):31.722 33.00/31.83 o 31 33.49/32.32 c Got one! Elapsed wall clock time (in seconds):32.209 33.49/32.32 o 29 33.73/32.51 c Got one! Elapsed wall clock time (in seconds):32.4 33.73/32.51 o 28 34.24/33.02 c Got one! Elapsed wall clock time (in seconds):32.909 34.24/33.02 o 27 36.13/34.94 c Got one! Elapsed wall clock time (in seconds):34.826 36.13/34.94 o 26 39.37/38.16 c Got one! Elapsed wall clock time (in seconds):38.046 39.37/38.16 o 25 42.67/41.43 c Got one! Elapsed wall clock time (in seconds):41.317 42.67/41.43 o 23 46.10/44.85 c Got one! Elapsed wall clock time (in seconds):44.736 46.10/44.85 o 19 47.30/46.09 c Got one! Elapsed wall clock time (in seconds):45.975 47.30/46.09 o 18 60.10/58.79 c Got one! Elapsed wall clock time (in seconds):58.677 60.10/58.79 o 16 64.32/62.91 c Got one! Elapsed wall clock time (in seconds):62.8 64.32/62.91 o 15 66.02/64.63 c Got one! Elapsed wall clock time (in seconds):64.52 66.02/64.63 o 14 78.31/76.89 c Got one! Elapsed wall clock time (in seconds):76.773 78.31/76.89 o 13 85.38/83.87 c Got one! Elapsed wall clock time (in seconds):83.757 85.38/83.87 o 9 128.64/126.87 c Got one! Elapsed wall clock time (in seconds):126.76 128.64/126.87 o 7 381.96/379.07 c Got one! Elapsed wall clock time (in seconds):378.959 381.96/379.07 o 5 1800.09/1792.51 c starts : 996 1800.09/1792.51 c conflicts : 2314979 1800.09/1792.51 c decisions : 2388922 1800.09/1792.51 c propagations : 17934719 1800.09/1792.51 c inspects : 13651970674 1800.09/1792.51 c learnt literals : 0 1800.09/1792.51 c learnt binary clauses : 0 1800.09/1792.51 c learnt ternary clauses : 0 1800.09/1792.51 c learnt clauses : 2314979 1800.09/1792.51 c root simplifications : 0 1800.09/1792.51 c removed literals (reason simplification) : 0 1800.09/1792.51 c reason swapping (by a shorter reason) : 0 1800.09/1792.51 c Calls to reduceDB : 0 1800.09/1792.51 c speed (decisions/second) : 1690.1498332434815 1800.09/1792.51 c non guided choices 5295 1800.09/1792.51 s SATISFIABLE 1800.09/1792.51 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 1800.09/1792.51 c objective function=5 1800.09/1792.51 c Total wall clock time (ms): 1792.399
OK 5
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-3734959-1338704333/watcher-3734959-1338704333 -o /tmp/evaluation-result-3734959-1338704333/solver-3734959-1338704333 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734959-1338704333.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: 1.94 1.99 1.99 3/194 31260 /proc/meminfo: memFree=29008416/32873844 swapFree=7372/7372 [pid=31260] ppid=31258 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/31260/stat : 31260 (java) R 31258 31260 28047 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 336561929 9515008 176 33554432000 1073741824 1073778376 140733433537648 140733433520376 245294252944 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/31260/statm: 2323 182 139 9 0 71 0 [startup+0.055396 s] /proc/loadavg: 1.94 1.99 1.99 3/194 31260 /proc/meminfo: memFree=29008416/32873844 swapFree=7372/7372 [pid=31260] ppid=31258 vsize=2623916 CPUtime=0.02 cores=1,3,5,7 /proc/31260/stat : 31260 (java) S 31258 31260 28047 0 -1 4202496 3477 0 1 0 2 0 0 0 20 0 13 0 336561929 2686889984 4684 33554432000 1073741824 1073778376 140734609502112 140734609493248 245297610813 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/31260/statm: 655979 4684 1702 9 0 646680 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2623916 [startup+0.100339 s] /proc/loadavg: 1.94 1.99 1.99 3/194 31260 /proc/meminfo: memFree=29008416/32873844 swapFree=7372/7372 [pid=31260] ppid=31258 vsize=2957856 CPUtime=0.06 cores=1,3,5,7 /proc/31260/stat : 31260 (java) S 31258 31260 28047 0 -1 4202496 3701 0 1 0 6 0 0 0 20 0 18 0 336561929 3028844544 5418 33554432000 1073741824 1073778376 140734609502112 140734609493248 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/31260/statm: 739464 5430 1802 9 0 729885 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2957856 [startup+0.300295 s] /proc/loadavg: 1.94 1.99 1.99 3/194 31260 /proc/meminfo: memFree=29008416/32873844 swapFree=7372/7372 [pid=31260] ppid=31258 vsize=3024420 CPUtime=0.5 cores=1,3,5,7 /proc/31260/stat : 31260 (java) S 31258 31260 28047 0 -1 4202496 7427 0 1 0 48 2 0 0 20 0 19 0 336561929 3097006080 10515 33554432000 1073741824 1073778376 140734609502112 140734609493248 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/31260/statm: 756105 10516 2255 9 0 746526 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 3024420 [startup+0.700287 s] /proc/loadavg: 1.94 1.99 1.99 3/194 31260 /proc/meminfo: memFree=29008416/32873844 swapFree=7372/7372 [pid=31260] ppid=31258 vsize=3024420 CPUtime=1.13 cores=1,3,5,7 /proc/31260/stat : 31260 (java) S 31258 31260 28047 0 -1 4202496 11399 0 1 0 109 4 0 0 20 0 19 0 336561929 3097006080 29785 33554432000 1073741824 1073778376 140734609502112 140734609493248 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/31260/statm: 756105 29785 2264 9 0 746526 0 Current children cumulated CPU time (s) 1.13 Current children cumulated vsize (KiB) 3024420 [startup+1.50083 s] /proc/loadavg: 1.94 1.99 1.99 3/213 31344 /proc/meminfo: memFree=28827336/32873844 swapFree=7372/7372 [pid=31260] ppid=31258 vsize=3024420 CPUtime=2.2 cores=1,3,5,7 /proc/31260/stat : 31260 (java) S 31258 31260 28047 0 -1 4202496 13020 0 1 0 211 9 0 0 20 0 19 0 336561929 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 140734609493248 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/31260/statm: 756105 77166 2273 9 0 746526 0 [pid=31260/tid=31262] ppid=31258 vsize=3024420 CPUtime=1.45 cores=1,3,5,7 /proc/31260/task/31262/stat : 31262 (java) R 31258 31260 28047 0 -1 4202560 2708 0 1 0 139 6 0 0 20 0 19 0 336561930 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807961621096 139807901726720 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31263] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31263/stat : 31263 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807827069480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31264] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31264/stat : 31264 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807826016680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31265] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31265/stat : 31265 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807824963880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31266] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31266/stat : 31266 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807823911080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31267] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31267/stat : 31267 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807822859304 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31268] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31268/stat : 31268 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807821806504 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31269] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31269/stat : 31269 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807820753704 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31270] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31270/stat : 31270 (java) S 31258 31260 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807819700904 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31271] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31271/stat : 31271 (java) S 31258 31260 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336561932 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807807502824 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31272] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31272/stat : 31272 (java) S 31258 31260 28047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336561933 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807806448888 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31273] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31273/stat : 31273 (java) S 31258 31260 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336561933 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807805395976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31274] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31274/stat : 31274 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807804344464 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31275] ppid=31258 vsize=3024420 CPUtime=0.28 cores=1,3,5,7 /proc/31260/task/31275/stat : 31275 (java) S 31258 31260 28047 0 -1 4202560 2578 0 0 0 28 0 0 0 20 0 19 0 336561936 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807803292600 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31276] ppid=31258 vsize=3024420 CPUtime=0.42 cores=1,3,5,7 /proc/31260/task/31276/stat : 31276 (java) S 31258 31260 28047 0 -1 4202560 6349 0 0 0 40 2 0 0 20 0 19 0 336561936 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807802239800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31277] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31277/stat : 31277 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807801187192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31278] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31278/stat : 31278 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 77166 33554432000 1073741824 1073778376 140734609502112 139807800134600 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.2 Current children cumulated vsize (KiB) 3024420 [startup+3.10081 s] /proc/loadavg: 1.94 1.99 1.99 3/213 31391 /proc/meminfo: memFree=28551764/32873844 swapFree=7372/7372 [pid=31260] ppid=31258 vsize=3024420 CPUtime=3.87 cores=1,3,5,7 /proc/31260/stat : 31260 (java) S 31258 31260 28047 0 -1 4202496 13233 0 1 0 374 13 0 0 20 0 19 0 336561929 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 140734609493248 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/31260/statm: 756105 116108 2286 9 0 746526 0 [pid=31260/tid=31262] ppid=31258 vsize=3024420 CPUtime=3.04 cores=1,3,5,7 /proc/31260/task/31262/stat : 31262 (java) R 31258 31260 28047 0 -1 4202560 2784 0 1 0 294 10 0 0 20 0 19 0 336561930 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807961619016 139807901740564 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31263] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31263/stat : 31263 (java) S 31258 31260 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807827069480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31264] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31264/stat : 31264 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807826016680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31265] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31265/stat : 31265 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807824963880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31266] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31266/stat : 31266 (java) S 31258 31260 28047 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807823911080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31267] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31267/stat : 31267 (java) S 31258 31260 28047 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807822859304 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31268] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31268/stat : 31268 (java) S 31258 31260 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807821806504 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31269] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31269/stat : 31269 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807820753704 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31270] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31270/stat : 31270 (java) S 31258 31260 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807819700904 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31271] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31271/stat : 31271 (java) S 31258 31260 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336561932 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807807502824 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31272] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31272/stat : 31272 (java) S 31258 31260 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336561933 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807806448888 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31273] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31273/stat : 31273 (java) S 31258 31260 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336561933 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807805395976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31274] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31274/stat : 31274 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807804344464 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31275] ppid=31258 vsize=3024420 CPUtime=0.33 cores=1,3,5,7 /proc/31260/task/31275/stat : 31275 (java) S 31258 31260 28047 0 -1 4202560 2586 0 0 0 33 0 0 0 20 0 19 0 336561936 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807803292600 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31276] ppid=31258 vsize=3024420 CPUtime=0.43 cores=1,3,5,7 /proc/31260/task/31276/stat : 31276 (java) S 31258 31260 28047 0 -1 4202560 6351 0 0 0 41 2 0 0 20 0 19 0 336561936 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807802239800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31277] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31277/stat : 31277 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807801187192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31278] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31278/stat : 31278 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 116108 33554432000 1073741824 1073778376 140734609502112 139807800134600 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.87 Current children cumulated vsize (KiB) 3024420 [startup+6.30069 s] /proc/loadavg: 1.94 1.99 1.99 3/213 31455 /proc/meminfo: memFree=28535428/32873844 swapFree=7372/7372 [pid=31260] ppid=31258 vsize=3024420 CPUtime=7.14 cores=1,3,5,7 /proc/31260/stat : 31260 (java) S 31258 31260 28047 0 -1 4202496 13434 0 1 0 697 17 0 0 20 0 19 0 336561929 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 140734609493248 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/31260/statm: 756105 120029 2287 9 0 746526 0 [pid=31260/tid=31262] ppid=31258 vsize=3024420 CPUtime=6.19 cores=1,3,5,7 /proc/31260/task/31262/stat : 31262 (java) R 31258 31260 28047 0 -1 4202560 2798 0 1 0 609 10 0 0 20 0 19 0 336561930 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807961618896 139807901790310 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31263] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31263/stat : 31263 (java) S 31258 31260 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807827069480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31264] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31264/stat : 31264 (java) S 31258 31260 28047 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807826016680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31265] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31265/stat : 31265 (java) S 31258 31260 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807824963880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31266] ppid=31258 vsize=3024420 CPUtime=0.02 cores=1,3,5,7 /proc/31260/task/31266/stat : 31266 (java) S 31258 31260 28047 0 -1 4202560 19 0 0 0 1 1 0 0 20 0 19 0 336561931 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807823911080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31267] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31267/stat : 31267 (java) S 31258 31260 28047 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807822859304 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31268] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31268/stat : 31268 (java) S 31258 31260 28047 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807821806504 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31269] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31269/stat : 31269 (java) S 31258 31260 28047 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807820753704 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31270] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31270/stat : 31270 (java) S 31258 31260 28047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336561931 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807819700904 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31271] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31271/stat : 31271 (java) S 31258 31260 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336561932 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807807502824 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31272] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31272/stat : 31272 (java) S 31258 31260 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336561933 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807806448888 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31273] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31273/stat : 31273 (java) S 31258 31260 28047 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 336561933 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807805395976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31274] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31274/stat : 31274 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807804344464 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31275] ppid=31258 vsize=3024420 CPUtime=0.33 cores=1,3,5,7 /proc/31260/task/31275/stat : 31275 (java) S 31258 31260 28047 0 -1 4202560 2587 0 0 0 33 0 0 0 20 0 19 0 336561936 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807803292600 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31276] ppid=31258 vsize=3024420 CPUtime=0.43 cores=1,3,5,7 /proc/31260/task/31276/stat : 31276 (java) S 31258 31260 28047 0 -1 4202560 6351 0 0 0 41 2 0 0 20 0 19 0 336561936 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807802239800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31277] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31277/stat : 31277 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807801187192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31278] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31278/stat : 31278 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 120029 33554432000 1073741824 1073778376 140734609502112 139807800134600 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.14 Current children cumulated vsize (KiB) 3024420 [startup+12.7008 s] /proc/loadavg: 1.95 1.99 1.99 3/213 31524 /proc/meminfo: memFree=28426688/32873844 swapFree=7372/7372 [pid=31260] ppid=31258 vsize=3024420 CPUtime=13.75 cores=1,3,5,7 /proc/31260/stat : 31260 (java) S 31258 31260 28047 0 -1 4202496 13748 0 1 0 1348 27 0 0 20 0 19 0 336561929 3097006080 146997 33554432000 1073741824 1073778376 140734609502112 140734609493248 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/31260/statm: 756105 146997 2288 9 0 746526 0 [pid=31260/tid=31262] ppid=31258 vsize=3024420 CPUtime=12.49 cores=1,3,5,7 ################ # More data... # ################ [pid=31260/tid=31275] ppid=31258 vsize=3024420 CPUtime=0.34 cores=1,3,5,7 /proc/31260/task/31275/stat : 31275 (java) S 31258 31260 28047 0 -1 4202560 2591 0 0 0 34 0 0 0 20 0 19 0 336561936 3097006080 292287 33554432000 1073741824 1073778376 140734609502112 139807803292600 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31276] ppid=31258 vsize=3024420 CPUtime=0.43 cores=1,3,5,7 /proc/31260/task/31276/stat : 31276 (java) S 31258 31260 28047 0 -1 4202560 6351 0 0 0 41 2 0 0 20 0 19 0 336561936 3097006080 292287 33554432000 1073741824 1073778376 140734609502112 139807802239800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31277] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31277/stat : 31277 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 292287 33554432000 1073741824 1073778376 140734609502112 139807801187192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31278] ppid=31258 vsize=3024420 CPUtime=0.96 cores=1,3,5,7 /proc/31260/task/31278/stat : 31278 (java) S 31258 31260 28047 0 -1 4202560 99 0 0 0 51 45 0 0 20 0 19 0 336561936 3097006080 292287 33554432000 1073741824 1073778376 140734609502112 139807800134600 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31593] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31593/stat : 31593 (java) S 31258 31260 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336599836 3097006080 292287 33554432000 1073741824 1073778376 140734609502112 139807798003112 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1729.67 Current children cumulated vsize (KiB) 3024420 [startup+1782.3 s] /proc/loadavg: 1.99 1.99 1.99 3/213 31734 /proc/meminfo: memFree=28128944/32873844 swapFree=7372/7372 [pid=31260] ppid=31258 vsize=3024420 CPUtime=1789.89 cores=1,3,5,7 /proc/31260/stat : 31260 (java) S 31258 31260 28047 0 -1 4202496 16741 0 1 0 178859 130 0 0 20 0 19 0 336561929 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 140734609493248 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/31260/statm: 756105 295359 2288 9 0 746526 0 [pid=31260/tid=31262] ppid=31258 vsize=3024420 CPUtime=1775.05 cores=1,3,5,7 /proc/31260/task/31262/stat : 31262 (java) R 31258 31260 28047 0 -1 4202560 2903 0 1 0 177465 40 0 0 20 0 19 0 336561930 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807961619744 139807901790310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31263] ppid=31258 vsize=3024420 CPUtime=1.14 cores=1,3,5,7 /proc/31260/task/31263/stat : 31263 (java) S 31258 31260 28047 0 -1 4202560 376 0 0 0 106 8 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807827069480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31264] ppid=31258 vsize=3024420 CPUtime=1.03 cores=1,3,5,7 /proc/31260/task/31264/stat : 31264 (java) S 31258 31260 28047 0 -1 4202560 358 0 0 0 96 7 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807826016680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31265] ppid=31258 vsize=3024420 CPUtime=1.09 cores=1,3,5,7 /proc/31260/task/31265/stat : 31265 (java) S 31258 31260 28047 0 -1 4202560 359 0 0 0 102 7 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807824963880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31266] ppid=31258 vsize=3024420 CPUtime=1.08 cores=1,3,5,7 /proc/31260/task/31266/stat : 31266 (java) S 31258 31260 28047 0 -1 4202560 385 0 0 0 99 9 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807823911080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31267] ppid=31258 vsize=3024420 CPUtime=1.09 cores=1,3,5,7 /proc/31260/task/31267/stat : 31267 (java) S 31258 31260 28047 0 -1 4202560 261 0 0 0 102 7 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807822859304 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31268] ppid=31258 vsize=3024420 CPUtime=0.99 cores=1,3,5,7 /proc/31260/task/31268/stat : 31268 (java) S 31258 31260 28047 0 -1 4202560 360 0 0 0 92 7 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807821806504 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31269] ppid=31258 vsize=3024420 CPUtime=0.96 cores=1,3,5,7 /proc/31260/task/31269/stat : 31269 (java) S 31258 31260 28047 0 -1 4202560 368 0 0 0 88 8 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807820753704 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31270] ppid=31258 vsize=3024420 CPUtime=1.01 cores=1,3,5,7 /proc/31260/task/31270/stat : 31270 (java) S 31258 31260 28047 0 -1 4202560 355 0 0 0 95 6 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807819700904 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31271] ppid=31258 vsize=3024420 CPUtime=0.05 cores=1,3,5,7 /proc/31260/task/31271/stat : 31271 (java) S 31258 31260 28047 0 -1 4202560 70 0 0 0 3 2 0 0 20 0 19 0 336561932 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807807502824 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31272] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31272/stat : 31272 (java) S 31258 31260 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336561933 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807806448888 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31273] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31273/stat : 31273 (java) S 31258 31260 28047 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 19 0 336561933 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807805395976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31274] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31274/stat : 31274 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807804344464 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31275] ppid=31258 vsize=3024420 CPUtime=0.34 cores=1,3,5,7 /proc/31260/task/31275/stat : 31275 (java) S 31258 31260 28047 0 -1 4202560 2591 0 0 0 34 0 0 0 20 0 19 0 336561936 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807803292600 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31276] ppid=31258 vsize=3024420 CPUtime=0.43 cores=1,3,5,7 /proc/31260/task/31276/stat : 31276 (java) S 31258 31260 28047 0 -1 4202560 6351 0 0 0 41 2 0 0 20 0 19 0 336561936 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807802239800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31277] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31277/stat : 31277 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807801187192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31278] ppid=31258 vsize=3024420 CPUtime=1 cores=1,3,5,7 /proc/31260/task/31278/stat : 31278 (java) S 31258 31260 28047 0 -1 4202560 103 0 0 0 52 48 0 0 20 0 19 0 336561936 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807800134600 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31593] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31593/stat : 31593 (java) S 31258 31260 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336599836 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807798003112 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1789.89 Current children cumulated vsize (KiB) 3024420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1792.5 s] /proc/loadavg: 1.99 1.99 1.99 3/213 31734 /proc/meminfo: memFree=28126896/32873844 swapFree=7372/7372 [pid=31260] ppid=31258 vsize=3024420 CPUtime=1800.09 cores=1,3,5,7 /proc/31260/stat : 31260 (java) S 31258 31260 28047 0 -1 4202496 16741 0 1 0 179879 130 0 0 20 0 19 0 336561929 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 140734609493248 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/31260/statm: 756105 295359 2288 9 0 746526 0 [pid=31260/tid=31262] ppid=31258 vsize=3024420 CPUtime=1785.23 cores=1,3,5,7 /proc/31260/task/31262/stat : 31262 (java) R 31258 31260 28047 0 -1 4202560 2903 0 1 0 178482 41 0 0 20 0 19 0 336561930 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807961619744 139807901790310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31263] ppid=31258 vsize=3024420 CPUtime=1.14 cores=1,3,5,7 /proc/31260/task/31263/stat : 31263 (java) S 31258 31260 28047 0 -1 4202560 376 0 0 0 106 8 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807827069480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31264] ppid=31258 vsize=3024420 CPUtime=1.03 cores=1,3,5,7 /proc/31260/task/31264/stat : 31264 (java) S 31258 31260 28047 0 -1 4202560 358 0 0 0 96 7 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807826016680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31265] ppid=31258 vsize=3024420 CPUtime=1.09 cores=1,3,5,7 /proc/31260/task/31265/stat : 31265 (java) S 31258 31260 28047 0 -1 4202560 359 0 0 0 102 7 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807824963880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31266] ppid=31258 vsize=3024420 CPUtime=1.08 cores=1,3,5,7 /proc/31260/task/31266/stat : 31266 (java) S 31258 31260 28047 0 -1 4202560 385 0 0 0 99 9 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807823911080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31267] ppid=31258 vsize=3024420 CPUtime=1.09 cores=1,3,5,7 /proc/31260/task/31267/stat : 31267 (java) S 31258 31260 28047 0 -1 4202560 261 0 0 0 102 7 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807822859304 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31268] ppid=31258 vsize=3024420 CPUtime=0.99 cores=1,3,5,7 /proc/31260/task/31268/stat : 31268 (java) S 31258 31260 28047 0 -1 4202560 360 0 0 0 92 7 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807821806504 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31269] ppid=31258 vsize=3024420 CPUtime=0.96 cores=1,3,5,7 /proc/31260/task/31269/stat : 31269 (java) S 31258 31260 28047 0 -1 4202560 368 0 0 0 88 8 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807820753704 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31270] ppid=31258 vsize=3024420 CPUtime=1.01 cores=1,3,5,7 /proc/31260/task/31270/stat : 31270 (java) S 31258 31260 28047 0 -1 4202560 355 0 0 0 95 6 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807819700904 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31271] ppid=31258 vsize=3024420 CPUtime=0.05 cores=1,3,5,7 /proc/31260/task/31271/stat : 31271 (java) S 31258 31260 28047 0 -1 4202560 70 0 0 0 3 2 0 0 20 0 19 0 336561932 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807807502824 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31272] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31272/stat : 31272 (java) S 31258 31260 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336561933 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807806448888 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31273] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31273/stat : 31273 (java) S 31258 31260 28047 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 19 0 336561933 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807805395976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31274] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31274/stat : 31274 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807804344464 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31275] ppid=31258 vsize=3024420 CPUtime=0.34 cores=1,3,5,7 /proc/31260/task/31275/stat : 31275 (java) S 31258 31260 28047 0 -1 4202560 2591 0 0 0 34 0 0 0 20 0 19 0 336561936 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807803292600 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31276] ppid=31258 vsize=3024420 CPUtime=0.43 cores=1,3,5,7 /proc/31260/task/31276/stat : 31276 (java) S 31258 31260 28047 0 -1 4202560 6351 0 0 0 41 2 0 0 20 0 19 0 336561936 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807802239800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31277] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31277/stat : 31277 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807801187192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31278] ppid=31258 vsize=3024420 CPUtime=1.01 cores=1,3,5,7 /proc/31260/task/31278/stat : 31278 (java) S 31258 31260 28047 0 -1 4202560 103 0 0 0 53 48 0 0 20 0 19 0 336561936 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807800134600 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31593] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31593/stat : 31593 (java) S 31258 31260 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336599836 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807798003112 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 3024420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1792.5 s] /proc/loadavg: 1.99 1.99 1.99 3/213 31734 /proc/meminfo: memFree=28126896/32873844 swapFree=7372/7372 [pid=31260] ppid=31258 vsize=3024420 CPUtime=1800.09 cores=1,3,5,7 /proc/31260/stat : 31260 (java) S 31258 31260 28047 0 -1 4202496 16741 0 1 0 179879 130 0 0 20 0 19 0 336561929 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 140734609493248 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/31260/statm: 756105 295359 2288 9 0 746526 0 [pid=31260/tid=31262] ppid=31258 vsize=3024420 CPUtime=1785.23 cores=1,3,5,7 /proc/31260/task/31262/stat : 31262 (java) R 31258 31260 28047 0 -1 4202560 2903 0 1 0 178482 41 0 0 20 0 19 0 336561930 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807961619744 139807901790310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31263] ppid=31258 vsize=3024420 CPUtime=1.14 cores=1,3,5,7 /proc/31260/task/31263/stat : 31263 (java) S 31258 31260 28047 0 -1 4202560 376 0 0 0 106 8 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807827069480 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31264] ppid=31258 vsize=3024420 CPUtime=1.03 cores=1,3,5,7 /proc/31260/task/31264/stat : 31264 (java) S 31258 31260 28047 0 -1 4202560 358 0 0 0 96 7 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807826016680 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31265] ppid=31258 vsize=3024420 CPUtime=1.09 cores=1,3,5,7 /proc/31260/task/31265/stat : 31265 (java) S 31258 31260 28047 0 -1 4202560 359 0 0 0 102 7 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807824963880 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31266] ppid=31258 vsize=3024420 CPUtime=1.08 cores=1,3,5,7 /proc/31260/task/31266/stat : 31266 (java) S 31258 31260 28047 0 -1 4202560 385 0 0 0 99 9 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807823911080 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31267] ppid=31258 vsize=3024420 CPUtime=1.09 cores=1,3,5,7 /proc/31260/task/31267/stat : 31267 (java) S 31258 31260 28047 0 -1 4202560 261 0 0 0 102 7 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807822859304 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31268] ppid=31258 vsize=3024420 CPUtime=0.99 cores=1,3,5,7 /proc/31260/task/31268/stat : 31268 (java) S 31258 31260 28047 0 -1 4202560 360 0 0 0 92 7 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807821806504 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31269] ppid=31258 vsize=3024420 CPUtime=0.96 cores=1,3,5,7 /proc/31260/task/31269/stat : 31269 (java) S 31258 31260 28047 0 -1 4202560 368 0 0 0 88 8 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807820753704 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31270] ppid=31258 vsize=3024420 CPUtime=1.01 cores=1,3,5,7 /proc/31260/task/31270/stat : 31270 (java) S 31258 31260 28047 0 -1 4202560 355 0 0 0 95 6 0 0 20 0 19 0 336561931 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807819700904 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31271] ppid=31258 vsize=3024420 CPUtime=0.05 cores=1,3,5,7 /proc/31260/task/31271/stat : 31271 (java) S 31258 31260 28047 0 -1 4202560 70 0 0 0 3 2 0 0 20 0 19 0 336561932 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807807502824 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31272] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31272/stat : 31272 (java) S 31258 31260 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336561933 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807806448888 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31273] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31273/stat : 31273 (java) S 31258 31260 28047 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 19 0 336561933 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807805395976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=31260/tid=31274] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31274/stat : 31274 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807804344464 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31275] ppid=31258 vsize=3024420 CPUtime=0.34 cores=1,3,5,7 /proc/31260/task/31275/stat : 31275 (java) S 31258 31260 28047 0 -1 4202560 2591 0 0 0 34 0 0 0 20 0 19 0 336561936 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807803292600 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=31260/tid=31276] ppid=31258 vsize=3024420 CPUtime=0.43 cores=1,3,5,7 /proc/31260/task/31276/stat : 31276 (java) S 31258 31260 28047 0 -1 4202560 6351 0 0 0 41 2 0 0 20 0 19 0 336561936 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807802239800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31277] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31277/stat : 31277 (java) S 31258 31260 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336561936 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807801187192 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=31260/tid=31278] ppid=31258 vsize=3024420 CPUtime=1.01 cores=1,3,5,7 /proc/31260/task/31278/stat : 31278 (java) S 31258 31260 28047 0 -1 4202560 103 0 0 0 53 48 0 0 20 0 19 0 336561936 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807800134600 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=31260/tid=31593] ppid=31258 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/31260/task/31593/stat : 31593 (java) S 31258 31260 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336599836 3097006080 295359 33554432000 1073741824 1073778376 140734609502112 139807798003112 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 3024420 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 31260 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=69260 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=660747 # CPU time returned by wait4() is 1795.73 # while last known CPU time is 1800.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1792.52 CPU time (s): 1800.09 CPU user time (s): 1798.79 CPU system time (s): 1.3 CPU usage (%): 100.422 Max. virtual memory (cumulated for all children) (KiB): 3024420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.07 system time used= 1.66075 maximum resident set size= 1181548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16771 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1424 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41172 involuntary context switches= 24265 runsolver used 5.64014 second user time and 17.2654 second system time The end
Begin job on node109 at 2012-06-03 08:18:54 IDJOB=3734959 IDBENCH=2926 IDSOLVER=2319 FILE ID=node109/3734959-1338704333 RUNJOBID= node109-1338678620-28067 PBS_JOBID= 14636704 Free space on /tmp= 70712 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_2.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734959-1338704333/watcher-3734959-1338704333 -o /tmp/evaluation-result-3734959-1338704333/solver-3734959-1338704333 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734959-1338704333.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c0264878059fff5e6fa5f51839a60b24 RANDOM SEED=101732221 node109.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 : 2667.264 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 : 5334.52 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 : 2667.264 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 : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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 : 2667.264 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 : 2667.264 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 : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 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 : 2667.264 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29008672 kB Buffers: 346696 kB Cached: 1566440 kB SwapCached: 964 kB Active: 1964880 kB Inactive: 1012712 kB Active(anon): 1058832 kB Inactive(anon): 7844 kB Active(file): 906048 kB Inactive(file): 1004868 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67105532 kB Dirty: 3584 kB Writeback: 0 kB AnonPages: 1081136 kB Mapped: 18168 kB Shmem: 4 kB Slab: 736420 kB SReclaimable: 178804 kB SUnreclaim: 557616 kB KernelStack: 1600 kB PageTables: 6216 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1824792 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1042432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70704 MiB End job on node109 at 2012-06-03 08:48:48