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) | 97 | 1800.49 | 1783.43 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
| MD5SUM | a70b0edfadf87ffd0bc1b32400cae43b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 1798.7 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 18 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| 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 | 14 |
| Minimum length of a constraint | 74 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| 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 | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1648 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5454 |
| 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.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.00/0.07 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.00/0.07 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.00/0.08 c no version file found!!! 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 1599470296 0.00/0.08 c Max memory 1607860224 0.00/0.08 c Total memory 1607860224 0.00/0.08 c Number of processors 8 0.10/0.10 --- Begin Solver configuration --- 0.10/0.10 c Stops conflict analysis at the first Unique Implication Point 0.10/0.10 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.10/0.10 c Learn all clauses as in MiniSAT 0.10/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.10 c VSIDS like heuristics from MiniSAT using a heap 0.10/0.10 c No reason simplification 0.10/0.10 c --- End Solver configuration --- 0.10/0.10 c solving HOME/instance-3734948-1338704333.opb 0.10/0.10 c reading problem ... 0.10/0.15 c ... done. Wall clock time 0.05s. 0.10/0.15 c CPU time (experimental) 0.12s. 0.10/0.15 c #vars 172 0.10/0.15 c #constraints 14 0.29/0.22 c SATISFIABLE 0.29/0.22 c OPTIMIZING... 0.29/0.22 c Got one! Elapsed wall clock time (in seconds):0.122 0.29/0.22 o 3056 0.29/0.24 c Got one! Elapsed wall clock time (in seconds):0.139 0.29/0.24 o 3055 0.29/0.25 c Got one! Elapsed wall clock time (in seconds):0.153 0.29/0.25 o 3032 0.29/0.26 c Got one! Elapsed wall clock time (in seconds):0.165 0.29/0.26 o 2799 0.29/0.28 c Got one! Elapsed wall clock time (in seconds):0.179 0.29/0.28 o 2797 0.29/0.29 c Got one! Elapsed wall clock time (in seconds):0.191 0.29/0.29 o 2795 0.49/0.30 c Got one! Elapsed wall clock time (in seconds):0.202 0.49/0.30 o 2735 0.49/0.31 c Got one! Elapsed wall clock time (in seconds):0.214 0.49/0.31 o 2706 0.49/0.33 c Got one! Elapsed wall clock time (in seconds):0.229 0.49/0.33 o 2686 0.49/0.34 c Got one! Elapsed wall clock time (in seconds):0.24 0.49/0.34 o 2684 0.49/0.35 c Got one! Elapsed wall clock time (in seconds):0.25 0.49/0.35 o 2679 0.49/0.36 c Got one! Elapsed wall clock time (in seconds):0.261 0.49/0.36 o 2678 0.49/0.37 c Got one! Elapsed wall clock time (in seconds):0.271 0.49/0.37 o 2662 0.49/0.38 c Got one! Elapsed wall clock time (in seconds):0.282 0.49/0.38 o 2659 0.49/0.39 c Got one! Elapsed wall clock time (in seconds):0.292 0.49/0.39 o 2648 0.65/0.40 c Got one! Elapsed wall clock time (in seconds):0.303 0.65/0.40 o 2623 0.65/0.41 c Got one! Elapsed wall clock time (in seconds):0.314 0.65/0.41 o 2612 0.65/0.42 c Got one! Elapsed wall clock time (in seconds):0.324 0.65/0.42 o 2606 0.65/0.43 c Got one! Elapsed wall clock time (in seconds):0.335 0.65/0.43 o 2603 0.65/0.45 c Got one! Elapsed wall clock time (in seconds):0.349 0.65/0.45 o 2384 0.65/0.46 c Got one! Elapsed wall clock time (in seconds):0.361 0.65/0.46 o 2375 0.65/0.47 c Got one! Elapsed wall clock time (in seconds):0.373 0.65/0.47 o 2370 0.65/0.48 c Got one! Elapsed wall clock time (in seconds):0.385 0.65/0.48 o 2367 0.65/0.49 c Got one! Elapsed wall clock time (in seconds):0.395 0.65/0.49 o 2261 0.87/0.50 c Got one! Elapsed wall clock time (in seconds):0.406 0.87/0.50 o 2236 0.87/0.52 c Got one! Elapsed wall clock time (in seconds):0.418 0.87/0.52 o 2222 0.87/0.53 c Got one! Elapsed wall clock time (in seconds):0.43 0.87/0.53 o 2175 0.87/0.55 c Got one! Elapsed wall clock time (in seconds):0.449 0.87/0.55 o 690 0.87/0.57 c Got one! Elapsed wall clock time (in seconds):0.47 0.87/0.57 o 689 1.07/0.60 c Got one! Elapsed wall clock time (in seconds):0.501 1.07/0.60 o 688 1.07/0.64 c Got one! Elapsed wall clock time (in seconds):0.544 1.07/0.64 o 686 1.07/0.67 c Got one! Elapsed wall clock time (in seconds):0.573 1.07/0.67 o 684 1.18/0.70 c Got one! Elapsed wall clock time (in seconds):0.606 1.18/0.70 o 682 1.18/0.73 c Got one! Elapsed wall clock time (in seconds):0.635 1.18/0.73 o 678 1.18/0.77 c Got one! Elapsed wall clock time (in seconds):0.675 1.18/0.77 o 676 1.18/0.79 c Got one! Elapsed wall clock time (in seconds):0.695 1.18/0.79 o 674 1.31/0.83 c Got one! Elapsed wall clock time (in seconds):0.732 1.31/0.83 o 672 1.31/0.86 c Got one! Elapsed wall clock time (in seconds):0.764 1.31/0.86 o 668 1.31/0.89 c Got one! Elapsed wall clock time (in seconds):0.789 1.31/0.89 o 666 1.42/0.93 c Got one! Elapsed wall clock time (in seconds):0.834 1.42/0.93 o 664 1.42/0.97 c Got one! Elapsed wall clock time (in seconds):0.871 1.42/0.97 o 663 1.42/0.99 c Got one! Elapsed wall clock time (in seconds):0.896 1.42/0.99 o 662 1.54/1.03 c Got one! Elapsed wall clock time (in seconds):0.931 1.54/1.03 o 661 1.54/1.07 c Got one! Elapsed wall clock time (in seconds):0.97 1.54/1.07 o 649 1.54/1.10 c Got one! Elapsed wall clock time (in seconds):1.004 1.54/1.10 o 626 1.68/1.13 c Got one! Elapsed wall clock time (in seconds):1.032 1.68/1.13 o 625 1.68/1.16 c Got one! Elapsed wall clock time (in seconds):1.063 1.68/1.16 o 624 1.79/1.20 c Got one! Elapsed wall clock time (in seconds):1.105 1.79/1.20 o 622 1.79/1.23 c Got one! Elapsed wall clock time (in seconds):1.137 1.79/1.23 o 620 1.79/1.27 c Got one! Elapsed wall clock time (in seconds):1.171 1.79/1.27 o 618 1.91/1.31 c Got one! Elapsed wall clock time (in seconds):1.209 1.91/1.31 o 616 1.91/1.35 c Got one! Elapsed wall clock time (in seconds):1.249 1.91/1.35 o 613 1.91/1.38 c Got one! Elapsed wall clock time (in seconds):1.281 1.91/1.38 o 612 2.03/1.43 c Got one! Elapsed wall clock time (in seconds):1.328 2.03/1.43 o 611 2.03/1.46 c Got one! Elapsed wall clock time (in seconds):1.359 2.03/1.46 o 610 2.13/1.50 c Got one! Elapsed wall clock time (in seconds):1.404 2.13/1.50 o 608 2.13/1.54 c Got one! Elapsed wall clock time (in seconds):1.442 2.13/1.54 o 607 2.13/1.58 c Got one! Elapsed wall clock time (in seconds):1.482 2.13/1.58 o 604 2.24/1.63 c Got one! Elapsed wall clock time (in seconds):1.53 2.24/1.63 o 525 2.24/1.66 c Got one! Elapsed wall clock time (in seconds):1.564 2.24/1.66 o 523 2.35/1.70 c Got one! Elapsed wall clock time (in seconds):1.601 2.35/1.70 o 521 2.35/1.75 c Got one! Elapsed wall clock time (in seconds):1.652 2.35/1.75 o 519 2.35/1.79 c Got one! Elapsed wall clock time (in seconds):1.69 2.35/1.79 o 518 2.56/1.93 c Got one! Elapsed wall clock time (in seconds):1.83 2.56/1.93 o 516 2.56/1.97 c Got one! Elapsed wall clock time (in seconds):1.873 2.56/1.97 o 514 2.66/2.01 c Got one! Elapsed wall clock time (in seconds):1.913 2.66/2.01 o 512 2.66/2.06 c Got one! Elapsed wall clock time (in seconds):1.965 2.66/2.06 o 511 2.66/2.10 c Got one! Elapsed wall clock time (in seconds):2.004 2.66/2.10 o 509 2.78/2.17 c Got one! Elapsed wall clock time (in seconds):2.068 2.78/2.17 o 508 2.78/2.19 c Got one! Elapsed wall clock time (in seconds):2.093 2.78/2.19 o 504 2.88/2.27 c Got one! Elapsed wall clock time (in seconds):2.168 2.88/2.27 o 502 2.97/2.30 c Got one! Elapsed wall clock time (in seconds):2.2 2.97/2.30 o 500 2.97/2.33 c Got one! Elapsed wall clock time (in seconds):2.235 2.97/2.33 o 499 2.97/2.40 c Got one! Elapsed wall clock time (in seconds):2.299 2.97/2.40 o 497 3.08/2.45 c Got one! Elapsed wall clock time (in seconds):2.349 3.08/2.45 o 495 3.08/2.49 c Got one! Elapsed wall clock time (in seconds):2.389 3.08/2.49 o 493 3.18/2.53 c Got one! Elapsed wall clock time (in seconds):2.437 3.18/2.53 o 492 3.28/2.67 c Got one! Elapsed wall clock time (in seconds):2.569 3.28/2.67 o 490 3.48/2.86 c Got one! Elapsed wall clock time (in seconds):2.764 3.48/2.86 o 489 3.58/2.91 c Got one! Elapsed wall clock time (in seconds):2.809 3.58/2.91 o 488 3.58/2.95 c Got one! Elapsed wall clock time (in seconds):2.852 3.58/2.95 o 486 3.74/3.01 c Got one! Elapsed wall clock time (in seconds):2.91 3.74/3.01 o 484 3.74/3.07 c Got one! Elapsed wall clock time (in seconds):2.971 3.74/3.07 o 482 3.83/3.12 c Got one! Elapsed wall clock time (in seconds):3.027 3.83/3.12 o 481 3.83/3.16 c Got one! Elapsed wall clock time (in seconds):3.063 3.83/3.16 o 470 4.23/3.51 c Got one! Elapsed wall clock time (in seconds):3.409 4.23/3.51 o 468 4.23/3.57 c Got one! Elapsed wall clock time (in seconds):3.469 4.23/3.57 o 467 4.68/3.95 c Got one! Elapsed wall clock time (in seconds):3.85 4.68/3.95 o 466 4.79/4.01 c Got one! Elapsed wall clock time (in seconds):3.909 4.79/4.01 o 464 5.20/4.49 c Got one! Elapsed wall clock time (in seconds):4.392 5.20/4.49 o 462 5.59/4.82 c Got one! Elapsed wall clock time (in seconds):4.718 5.59/4.82 o 461 5.69/4.91 c Got one! Elapsed wall clock time (in seconds):4.783 5.69/4.91 o 460 5.69/4.94 c Got one! Elapsed wall clock time (in seconds):4.84 5.69/4.94 o 459 5.79/5.02 c Got one! Elapsed wall clock time (in seconds):4.923 5.79/5.02 o 458 5.79/5.09 c Got one! Elapsed wall clock time (in seconds):4.993 5.79/5.09 o 457 5.90/5.15 c Got one! Elapsed wall clock time (in seconds):5.056 5.90/5.15 o 456 6.11/5.30 c Got one! Elapsed wall clock time (in seconds):5.207 6.11/5.30 o 454 6.11/5.38 c Got one! Elapsed wall clock time (in seconds):5.278 6.11/5.38 o 434 6.22/5.46 c Got one! Elapsed wall clock time (in seconds):5.359 6.22/5.46 o 433 6.32/5.50 c Got one! Elapsed wall clock time (in seconds):5.406 6.32/5.50 o 432 6.51/5.71 c Got one! Elapsed wall clock time (in seconds):5.608 6.51/5.71 o 431 6.51/5.76 c Got one! Elapsed wall clock time (in seconds):5.663 6.51/5.76 o 430 6.71/5.98 c Got one! Elapsed wall clock time (in seconds):5.886 6.71/5.98 o 428 6.81/6.03 c Got one! Elapsed wall clock time (in seconds):5.931 6.81/6.03 o 426 7.01/6.22 c Got one! Elapsed wall clock time (in seconds):6.124 7.01/6.22 o 425 7.11/6.36 c Got one! Elapsed wall clock time (in seconds):6.265 7.11/6.36 o 424 7.21/6.42 c Got one! Elapsed wall clock time (in seconds):6.321 7.21/6.42 o 422 7.21/6.49 c Got one! Elapsed wall clock time (in seconds):6.392 7.21/6.49 o 421 7.51/6.77 c Got one! Elapsed wall clock time (in seconds):6.668 7.51/6.77 o 419 7.62/6.84 c Got one! Elapsed wall clock time (in seconds):6.747 7.62/6.84 o 417 7.72/6.90 c Got one! Elapsed wall clock time (in seconds):6.804 7.72/6.90 o 415 7.72/6.99 c Got one! Elapsed wall clock time (in seconds):6.897 7.72/6.99 o 414 7.85/7.07 c Got one! Elapsed wall clock time (in seconds):6.972 7.85/7.07 o 413 7.95/7.17 c Got one! Elapsed wall clock time (in seconds):7.069 7.95/7.17 o 412 8.05/7.24 c Got one! Elapsed wall clock time (in seconds):7.144 8.05/7.24 o 411 8.15/7.34 c Got one! Elapsed wall clock time (in seconds):7.244 8.15/7.34 o 408 8.25/7.42 c Got one! Elapsed wall clock time (in seconds):7.318 8.25/7.42 o 407 8.35/7.60 c Got one! Elapsed wall clock time (in seconds):7.504 8.35/7.60 o 405 8.56/7.72 c Got one! Elapsed wall clock time (in seconds):7.627 8.56/7.72 o 404 8.65/7.87 c Got one! Elapsed wall clock time (in seconds):7.77 8.65/7.87 o 402 8.76/7.94 c Got one! Elapsed wall clock time (in seconds):7.844 8.76/7.94 o 400 8.95/8.12 c Got one! Elapsed wall clock time (in seconds):8.026 8.95/8.12 o 398 9.06/8.20 c Got one! Elapsed wall clock time (in seconds):8.103 9.06/8.20 o 396 9.26/8.40 c Got one! Elapsed wall clock time (in seconds):8.306 9.26/8.40 o 395 9.46/8.63 c Got one! Elapsed wall clock time (in seconds):8.532 9.46/8.63 o 376 9.69/8.86 c Got one! Elapsed wall clock time (in seconds):8.764 9.69/8.86 o 374 9.98/9.12 c Got one! Elapsed wall clock time (in seconds):9.018 9.98/9.12 o 372 10.08/9.28 c Got one! Elapsed wall clock time (in seconds):9.181 10.08/9.28 o 370 10.18/9.39 c Got one! Elapsed wall clock time (in seconds):9.293 10.18/9.39 o 369 10.38/9.52 c Got one! Elapsed wall clock time (in seconds):9.427 10.38/9.52 o 368 10.79/9.97 c Got one! Elapsed wall clock time (in seconds):9.874 10.79/9.97 o 367 11.08/10.21 c Got one! Elapsed wall clock time (in seconds):10.108 11.08/10.21 o 366 11.24/10.36 c Got one! Elapsed wall clock time (in seconds):10.258 11.24/10.36 o 365 11.44/10.52 c Got one! Elapsed wall clock time (in seconds):10.421 11.44/10.52 o 363 11.64/10.73 c Got one! Elapsed wall clock time (in seconds):10.631 11.64/10.73 o 362 12.04/11.15 c Got one! Elapsed wall clock time (in seconds):11.056 12.04/11.15 o 360 12.24/11.32 c Got one! Elapsed wall clock time (in seconds):11.223 12.24/11.32 o 353 12.34/11.41 c Got one! Elapsed wall clock time (in seconds):11.315 12.34/11.41 o 349 12.44/11.52 c Got one! Elapsed wall clock time (in seconds):11.425 12.44/11.52 o 347 12.54/11.62 c Got one! Elapsed wall clock time (in seconds):11.519 12.54/11.62 o 345 14.30/13.37 c Got one! Elapsed wall clock time (in seconds):13.271 14.30/13.37 o 344 14.60/13.66 c Got one! Elapsed wall clock time (in seconds):13.564 14.60/13.66 o 340 15.43/14.48 c Got one! Elapsed wall clock time (in seconds):14.382 15.43/14.48 o 338 15.63/14.61 c Got one! Elapsed wall clock time (in seconds):14.513 15.63/14.61 o 336 15.93/14.90 c Got one! Elapsed wall clock time (in seconds):14.799 15.93/14.90 o 334 16.13/15.13 c Got one! Elapsed wall clock time (in seconds):15.033 16.13/15.13 o 332 16.44/15.44 c Got one! Elapsed wall clock time (in seconds):15.34 16.44/15.44 o 331 16.73/15.70 c Got one! Elapsed wall clock time (in seconds):15.602 16.73/15.70 o 329 16.93/15.99 c Got one! Elapsed wall clock time (in seconds):15.892 16.93/15.99 o 327 17.16/16.15 c Got one! Elapsed wall clock time (in seconds):16.054 17.16/16.15 o 320 17.37/16.31 c Got one! Elapsed wall clock time (in seconds):16.213 17.37/16.31 o 319 17.47/16.49 c Got one! Elapsed wall clock time (in seconds):16.389 17.47/16.49 o 317 17.57/16.55 c Got one! Elapsed wall clock time (in seconds):16.45 17.57/16.55 o 316 17.77/16.75 c Got one! Elapsed wall clock time (in seconds):16.65 17.77/16.75 o 314 17.87/16.84 c Got one! Elapsed wall clock time (in seconds):16.739 17.87/16.84 o 313 17.97/16.94 c Got one! Elapsed wall clock time (in seconds):16.842 17.97/16.94 o 312 18.07/17.04 c Got one! Elapsed wall clock time (in seconds):16.938 18.07/17.04 o 310 18.27/17.24 c Got one! Elapsed wall clock time (in seconds):17.141 18.27/17.24 o 309 18.47/17.49 c Got one! Elapsed wall clock time (in seconds):17.389 18.47/17.49 o 307 18.57/17.59 c Got one! Elapsed wall clock time (in seconds):17.496 18.57/17.59 o 305 19.27/18.20 c Got one! Elapsed wall clock time (in seconds):18.102 19.27/18.20 o 304 19.37/18.31 c Got one! Elapsed wall clock time (in seconds):18.215 19.37/18.31 o 303 19.99/18.98 c Got one! Elapsed wall clock time (in seconds):18.882 19.99/18.98 o 301 20.39/19.38 c Got one! Elapsed wall clock time (in seconds):19.278 20.39/19.38 o 299 20.69/19.67 c Got one! Elapsed wall clock time (in seconds):19.574 20.69/19.67 o 298 21.09/20.08 c Got one! Elapsed wall clock time (in seconds):19.98 21.09/20.08 o 296 21.29/20.25 c Got one! Elapsed wall clock time (in seconds):20.15 21.29/20.25 o 295 21.69/20.63 c Got one! Elapsed wall clock time (in seconds):20.534 21.69/20.63 o 293 22.31/21.23 c Got one! Elapsed wall clock time (in seconds):21.136 22.31/21.23 o 292 22.61/21.50 c Got one! Elapsed wall clock time (in seconds):21.404 22.61/21.50 o 290 23.31/22.28 c Got one! Elapsed wall clock time (in seconds):22.186 23.31/22.28 o 288 23.81/22.70 c Got one! Elapsed wall clock time (in seconds):22.603 23.81/22.70 o 286 24.12/23.01 c Got one! Elapsed wall clock time (in seconds):22.912 24.12/23.01 o 284 24.32/23.30 c Got one! Elapsed wall clock time (in seconds):23.198 24.32/23.30 o 283 24.92/23.85 c Got one! Elapsed wall clock time (in seconds):23.75 24.92/23.85 o 281 25.52/24.46 c Got one! Elapsed wall clock time (in seconds):24.361 25.52/24.46 o 273 26.12/25.08 c Got one! Elapsed wall clock time (in seconds):24.981 26.12/25.08 o 269 26.63/25.57 c Got one! Elapsed wall clock time (in seconds):25.471 26.63/25.57 o 268 26.93/25.83 c Got one! Elapsed wall clock time (in seconds):25.732 26.93/25.83 o 266 27.13/26.00 c Got one! Elapsed wall clock time (in seconds):25.899 27.13/26.00 o 264 28.65/27.53 c Got one! Elapsed wall clock time (in seconds):27.428 28.65/27.53 o 263 28.74/27.68 c Got one! Elapsed wall clock time (in seconds):27.583 28.74/27.68 o 261 28.94/27.87 c Got one! Elapsed wall clock time (in seconds):27.774 28.94/27.87 o 259 33.67/32.54 c Got one! Elapsed wall clock time (in seconds):32.443 33.67/32.54 o 258 33.97/32.83 c Got one! Elapsed wall clock time (in seconds):32.728 33.97/32.83 o 257 34.50/33.35 c Got one! Elapsed wall clock time (in seconds):33.25 34.50/33.35 o 254 34.70/33.55 c Got one! Elapsed wall clock time (in seconds):33.45 34.70/33.55 o 252 35.10/33.94 c Got one! Elapsed wall clock time (in seconds):33.847 35.10/33.94 o 251 35.50/34.40 c Got one! Elapsed wall clock time (in seconds):34.298 35.50/34.40 o 249 36.00/34.88 c Got one! Elapsed wall clock time (in seconds):34.778 36.00/34.88 o 247 36.50/35.33 c Got one! Elapsed wall clock time (in seconds):35.232 36.50/35.33 o 245 36.91/35.70 c Got one! Elapsed wall clock time (in seconds):35.602 36.91/35.70 o 243 38.61/37.43 c Got one! Elapsed wall clock time (in seconds):37.328 38.61/37.43 o 241 38.70/37.58 c Got one! Elapsed wall clock time (in seconds):37.485 38.70/37.58 o 239 39.10/37.96 c Got one! Elapsed wall clock time (in seconds):37.863 39.10/37.96 o 237 39.30/38.10 c Got one! Elapsed wall clock time (in seconds):38.003 39.30/38.10 o 235 39.73/38.51 c Got one! Elapsed wall clock time (in seconds):38.408 39.73/38.51 o 233 41.93/40.76 c Got one! Elapsed wall clock time (in seconds):40.66 41.93/40.76 o 232 42.15/40.94 c Got one! Elapsed wall clock time (in seconds):40.845 42.15/40.94 o 231 42.35/41.11 c Got one! Elapsed wall clock time (in seconds):41.01 42.35/41.11 o 230 42.45/41.24 c Got one! Elapsed wall clock time (in seconds):41.144 42.45/41.24 o 228 42.64/41.41 c Got one! Elapsed wall clock time (in seconds):41.311 42.64/41.41 o 224 42.95/41.76 c Got one! Elapsed wall clock time (in seconds):41.659 42.95/41.76 o 222 43.74/42.57 c Got one! Elapsed wall clock time (in seconds):42.474 43.74/42.57 o 221 43.94/42.77 c Got one! Elapsed wall clock time (in seconds):42.673 43.94/42.77 o 220 44.15/42.94 c Got one! Elapsed wall clock time (in seconds):42.838 44.15/42.94 o 219 44.64/43.49 c Got one! Elapsed wall clock time (in seconds):43.392 44.64/43.49 o 217 44.84/43.69 c Got one! Elapsed wall clock time (in seconds):43.592 44.84/43.69 o 216 45.58/44.30 c Got one! Elapsed wall clock time (in seconds):44.204 45.58/44.30 o 215 45.78/44.58 c Got one! Elapsed wall clock time (in seconds):44.487 45.78/44.58 o 214 46.58/45.32 c Got one! Elapsed wall clock time (in seconds):45.22 46.58/45.32 o 213 46.98/45.74 c Got one! Elapsed wall clock time (in seconds):45.641 46.98/45.74 o 212 47.49/46.25 c Got one! Elapsed wall clock time (in seconds):46.153 47.49/46.25 o 210 48.28/47.02 c Got one! Elapsed wall clock time (in seconds):46.924 48.28/47.02 o 209 48.69/47.42 c Got one! Elapsed wall clock time (in seconds):47.322 48.69/47.42 o 206 50.09/48.87 c Got one! Elapsed wall clock time (in seconds):48.777 50.09/48.87 o 205 50.70/49.46 c Got one! Elapsed wall clock time (in seconds):49.359 50.70/49.46 o 203 51.09/49.83 c Got one! Elapsed wall clock time (in seconds):49.728 51.09/49.83 o 201 52.13/50.87 c Got one! Elapsed wall clock time (in seconds):50.768 52.13/50.87 o 199 52.33/51.05 c Got one! Elapsed wall clock time (in seconds):50.957 52.33/51.05 o 197 53.94/52.66 c Got one! Elapsed wall clock time (in seconds):52.563 53.94/52.66 o 195 55.14/53.83 c Got one! Elapsed wall clock time (in seconds):53.734 55.14/53.83 o 194 56.56/55.21 c Got one! Elapsed wall clock time (in seconds):55.114 56.56/55.21 o 193 58.26/56.94 c Got one! Elapsed wall clock time (in seconds):56.842 58.26/56.94 o 192 60.68/59.33 c Got one! Elapsed wall clock time (in seconds):59.23 60.68/59.33 o 191 60.97/59.69 c Got one! Elapsed wall clock time (in seconds):59.591 60.97/59.69 o 189 61.17/59.85 c Got one! Elapsed wall clock time (in seconds):59.748 61.17/59.85 o 188 61.69/60.37 c Got one! Elapsed wall clock time (in seconds):60.273 61.69/60.37 o 186 62.09/60.78 c Got one! Elapsed wall clock time (in seconds):60.684 62.09/60.78 o 185 63.09/61.73 c Got one! Elapsed wall clock time (in seconds):61.629 63.09/61.73 o 183 63.79/62.48 c Got one! Elapsed wall clock time (in seconds):62.382 63.79/62.48 o 181 65.60/64.23 c Got one! Elapsed wall clock time (in seconds):64.136 65.60/64.23 o 180 66.31/64.92 c Got one! Elapsed wall clock time (in seconds):64.819 66.31/64.92 o 179 66.50/65.16 c Got one! Elapsed wall clock time (in seconds):65.066 66.50/65.16 o 178 67.20/65.84 c Got one! Elapsed wall clock time (in seconds):65.74 67.20/65.84 o 177 72.28/70.82 c Got one! Elapsed wall clock time (in seconds):70.727 72.28/70.82 o 175 72.89/71.50 c Got one! Elapsed wall clock time (in seconds):71.398 72.89/71.50 o 173 75.70/74.29 c Got one! Elapsed wall clock time (in seconds):74.19 75.70/74.29 o 172 76.10/74.60 c Got one! Elapsed wall clock time (in seconds):74.504 76.10/74.60 o 170 79.03/77.56 c Got one! Elapsed wall clock time (in seconds):77.462 79.03/77.56 o 168 81.53/80.00 c Got one! Elapsed wall clock time (in seconds):79.905 81.53/80.00 o 166 83.29/81.79 c Got one! Elapsed wall clock time (in seconds):81.688 83.29/81.79 o 165 89.34/87.79 c Got one! Elapsed wall clock time (in seconds):87.688 89.34/87.79 o 164 91.44/89.81 c Got one! Elapsed wall clock time (in seconds):89.709 91.44/89.81 o 162 94.78/93.13 c Got one! Elapsed wall clock time (in seconds):93.031 94.78/93.13 o 161 97.51/95.87 c Got one! Elapsed wall clock time (in seconds):95.77 97.51/95.87 o 159 99.43/97.79 c Got one! Elapsed wall clock time (in seconds):97.692 99.43/97.79 o 158 105.38/103.61 c Got one! Elapsed wall clock time (in seconds):103.513 105.38/103.61 o 157 106.51/104.71 c Got one! Elapsed wall clock time (in seconds):104.615 106.51/104.71 o 155 108.21/106.50 c Got one! Elapsed wall clock time (in seconds):106.398 108.21/106.50 o 153 112.32/110.53 c Got one! Elapsed wall clock time (in seconds):110.43 112.32/110.53 o 151 1080.88/1069.59 c Got one! Elapsed wall clock time (in seconds):1069.495 1080.88/1069.59 o 149 1091.27/1079.88 c Got one! Elapsed wall clock time (in seconds):1079.783 1091.27/1079.88 o 148 1115.29/1103.74 c Got one! Elapsed wall clock time (in seconds):1103.644 1115.29/1103.74 o 146 1121.69/1110.15 c Got one! Elapsed wall clock time (in seconds):1110.056 1121.69/1110.15 o 144 1131.77/1120.15 c Got one! Elapsed wall clock time (in seconds):1120.051 1131.77/1120.15 o 142 1139.90/1128.17 c Got one! Elapsed wall clock time (in seconds):1128.073 1139.90/1128.17 o 140 1150.61/1138.85 c Got one! Elapsed wall clock time (in seconds):1138.752 1150.61/1138.85 o 139 1153.62/1141.81 c Got one! Elapsed wall clock time (in seconds):1141.716 1153.62/1141.81 o 138 1161.73/1149.83 c Got one! Elapsed wall clock time (in seconds):1149.73 1161.73/1149.83 o 137 1170.83/1158.92 c Got one! Elapsed wall clock time (in seconds):1158.826 1170.83/1158.92 o 136 1179.84/1167.80 c Got one! Elapsed wall clock time (in seconds):1167.704 1179.84/1167.80 o 135 1185.65/1173.65 c Got one! Elapsed wall clock time (in seconds):1173.552 1185.65/1173.65 o 134 1190.56/1178.47 c Got one! Elapsed wall clock time (in seconds):1178.371 1190.56/1178.47 o 133 1194.76/1182.68 c Got one! Elapsed wall clock time (in seconds):1182.585 1194.76/1182.68 o 129 1214.86/1202.68 c Got one! Elapsed wall clock time (in seconds):1202.581 1214.86/1202.68 o 127 1221.67/1209.35 c Got one! Elapsed wall clock time (in seconds):1209.257 1221.67/1209.35 o 125 1230.17/1217.88 c Got one! Elapsed wall clock time (in seconds):1217.781 1230.17/1217.88 o 124 1232.96/1220.67 c Got one! Elapsed wall clock time (in seconds):1220.57 1232.96/1220.67 o 122 1249.66/1237.18 c Got one! Elapsed wall clock time (in seconds):1237.078 1249.66/1237.18 o 121 1251.06/1238.56 c Got one! Elapsed wall clock time (in seconds):1238.459 1251.06/1238.56 o 120 1261.78/1249.17 c Got one! Elapsed wall clock time (in seconds):1249.072 1261.78/1249.17 o 119 1275.49/1262.70 c Got one! Elapsed wall clock time (in seconds):1262.607 1275.49/1262.70 o 117 1279.68/1266.93 c Got one! Elapsed wall clock time (in seconds):1266.831 1279.68/1266.93 o 115 1300.42/1287.59 c Got one! Elapsed wall clock time (in seconds):1287.49 1300.42/1287.59 o 114 1317.44/1304.48 c Got one! Elapsed wall clock time (in seconds):1304.382 1317.44/1304.48 o 112 1380.48/1366.92 c Got one! Elapsed wall clock time (in seconds):1366.82 1380.48/1366.92 o 110 1393.27/1379.79 c Got one! Elapsed wall clock time (in seconds):1379.691 1393.27/1379.79 o 109 1406.45/1392.83 c Got one! Elapsed wall clock time (in seconds):1392.733 1406.45/1392.83 o 108 1421.51/1407.75 c Got one! Elapsed wall clock time (in seconds):1407.652 1421.51/1407.75 o 107 1425.71/1411.98 c Got one! Elapsed wall clock time (in seconds):1411.881 1425.71/1411.98 o 105 1467.00/1452.73 c Got one! Elapsed wall clock time (in seconds):1452.637 1467.00/1452.73 o 103 1512.51/1498.04 c Got one! Elapsed wall clock time (in seconds):1497.946 1512.51/1498.04 o 102 1528.80/1514.25 c Got one! Elapsed wall clock time (in seconds):1514.149 1528.80/1514.25 o 100 1771.33/1754.83 c Got one! Elapsed wall clock time (in seconds):1754.736 1771.33/1754.83 o 99 1778.43/1761.95 c Got one! Elapsed wall clock time (in seconds):1761.857 1778.43/1761.95 o 98 1785.83/1769.36 c Got one! Elapsed wall clock time (in seconds):1769.267 1785.83/1769.36 o 97 1800.09/1783.41 c starts : 1346 1800.09/1783.41 c conflicts : 1740974 1800.09/1783.41 c decisions : 2078815 1800.09/1783.41 c propagations : 27035547 1800.09/1783.41 c inspects : 14488450501 1800.09/1783.41 c learnt literals : 0 1800.09/1783.41 c learnt binary clauses : 0 1800.09/1783.41 c learnt ternary clauses : 0 1800.09/1783.41 c learnt clauses : 1740974 1800.09/1783.41 c root simplifications : 0 1800.09/1783.41 c removed literals (reason simplification) : 0 1800.09/1783.41 c reason swapping (by a shorter reason) : 0 1800.09/1783.41 c Calls to reduceDB : 0 1800.09/1783.41 c speed (decisions/second) : 147979.4276765376 1800.09/1783.41 c non guided choices 8060 1800.09/1783.41 s SATISFIABLE 1800.09/1783.41 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 1800.09/1783.41 c objective function=97 1800.09/1783.41 c Total wall clock time (ms): 1783.315
OK 97
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-3734948-1338704333/watcher-3734948-1338704333 -o /tmp/evaluation-result-3734948-1338704333/solver-3734948-1338704333 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734948-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.99 2.00 1.99 3/194 3136 /proc/meminfo: memFree=26611596/32873648 swapFree=7112/7112 [pid=3136] ppid=3134 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/3136/stat : 3136 (java) D 3134 3136 29837 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 336559224 9515008 182 33554432000 1073741824 1073778376 140735622125840 140735622116872 242167398069 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0 /proc/3136/statm: 2323 182 140 9 0 71 0 [startup+0.0112579 s] /proc/loadavg: 1.99 2.00 1.99 3/194 3136 /proc/meminfo: memFree=26611596/32873648 swapFree=7112/7112 [pid=3136] ppid=3134 vsize=92900 CPUtime=0 cores=1,3,5,7 /proc/3136/stat : 3136 (java) S 3134 3136 29837 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 2 0 336559224 95129600 927 33554432000 1073741824 1073778376 140736901374880 140736901366016 242170757181 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3136/statm: 23225 927 703 9 0 16769 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 92900 [startup+0.100177 s] /proc/loadavg: 1.99 2.00 1.99 3/194 3136 /proc/meminfo: memFree=26611596/32873648 swapFree=7112/7112 [pid=3136] ppid=3134 vsize=2957856 CPUtime=0.1 cores=1,3,5,7 /proc/3136/stat : 3136 (java) S 3134 3136 29837 0 -1 4202496 4405 0 1 0 8 2 0 0 20 0 18 0 336559224 3028844544 6624 33554432000 1073741824 1073778376 140736901374880 140736901366016 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3136/statm: 739464 6624 2127 9 0 729885 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2957856 [startup+0.300165 s] /proc/loadavg: 1.99 2.00 1.99 3/194 3136 /proc/meminfo: memFree=26611596/32873648 swapFree=7112/7112 [pid=3136] ppid=3134 vsize=3024420 CPUtime=0.49 cores=1,3,5,7 /proc/3136/stat : 3136 (java) S 3134 3136 29837 0 -1 4202496 6963 0 1 0 47 2 0 0 20 0 19 0 336559224 3097006080 11262 33554432000 1073741824 1073778376 140736901374880 140736901366016 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3136/statm: 756105 11262 2255 9 0 746526 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 3024420 [startup+0.700181 s] /proc/loadavg: 1.99 2.00 1.99 3/194 3136 /proc/meminfo: memFree=26611596/32873648 swapFree=7112/7112 [pid=3136] ppid=3134 vsize=3024420 CPUtime=1.18 cores=1,3,5,7 /proc/3136/stat : 3136 (java) S 3134 3136 29837 0 -1 4202496 11121 0 1 0 114 4 0 0 20 0 19 0 336559224 3097006080 32786 33554432000 1073741824 1073778376 140736901374880 140736901366016 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3136/statm: 756105 32786 2266 9 0 746526 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 3024420 [startup+1.50063 s] /proc/loadavg: 2.07 2.02 2.00 3/213 3197 /proc/meminfo: memFree=26421360/32873648 swapFree=7112/7112 [pid=3136] ppid=3134 vsize=3024420 CPUtime=2.13 cores=1,3,5,7 /proc/3136/stat : 3136 (java) S 3134 3136 29837 0 -1 4202496 11981 0 1 0 206 7 0 0 20 0 19 0 336559224 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140736901366016 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3136/statm: 756105 76851 2270 9 0 746526 0 [pid=3136/tid=3138] ppid=3134 vsize=3024420 CPUtime=1.46 cores=1,3,5,7 /proc/3136/task/3138/stat : 3138 (java) R 3134 3136 29837 0 -1 4202560 2654 0 1 0 140 6 0 0 20 0 19 0 336559225 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375487746664 140375319036768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=3136/tid=3139] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3139/stat : 3139 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375471172648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3140] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3140/stat : 3140 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375470119848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3141] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3141/stat : 3141 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375469067048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3136/tid=3142] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3142/stat : 3142 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375468014248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3143] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3143/stat : 3143 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375466961448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3144] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3144/stat : 3144 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375465908648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3145] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3145/stat : 3145 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375464855848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3146] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3146/stat : 3146 (java) S 3134 3136 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375463803048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3147] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3147/stat : 3147 (java) S 3134 3136 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336559227 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375451393000 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3148] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3148/stat : 3148 (java) S 3134 3136 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336559228 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375450339064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3149] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3149/stat : 3149 (java) S 3134 3136 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336559228 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375449286152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3150] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3150/stat : 3150 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375448234640 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3151] ppid=3134 vsize=3024420 CPUtime=0.35 cores=1,3,5,7 /proc/3136/task/3151/stat : 3151 (java) S 3134 3136 29837 0 -1 4202560 4921 0 0 0 35 0 0 0 20 0 19 0 336559230 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375447181752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3152] ppid=3134 vsize=3024420 CPUtime=0.29 cores=1,3,5,7 /proc/3136/task/3152/stat : 3152 (java) S 3134 3136 29837 0 -1 4202560 3100 0 0 0 29 0 0 0 20 0 19 0 336559230 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375446128952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3153] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3153/stat : 3153 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375445076344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3154] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3154/stat : 3154 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 76851 33554432000 1073741824 1073778376 140736901374880 140375444023752 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.13 Current children cumulated vsize (KiB) 3024420 [startup+3.10065 s] /proc/loadavg: 2.07 2.02 2.00 3/213 3222 /proc/meminfo: memFree=26167908/32873648 swapFree=7112/7112 [pid=3136] ppid=3134 vsize=3024420 CPUtime=3.83 cores=1,3,5,7 /proc/3136/stat : 3136 (java) S 3134 3136 29837 0 -1 4202496 12257 0 1 0 373 10 0 0 20 0 19 0 336559224 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140736901366016 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3136/statm: 756105 115276 2287 9 0 746526 0 [pid=3136/tid=3138] ppid=3134 vsize=3024420 CPUtime=3.05 cores=1,3,5,7 /proc/3136/task/3138/stat : 3138 (java) R 3134 3136 29837 0 -1 4202560 2729 0 1 0 297 8 0 0 20 0 19 0 336559225 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375487746664 140375319028541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=3136/tid=3139] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3139/stat : 3139 (java) S 3134 3136 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375471172648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3140] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3140/stat : 3140 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375470119848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3141] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3141/stat : 3141 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375469067048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3136/tid=3142] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3142/stat : 3142 (java) S 3134 3136 29837 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375468014248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3136/tid=3143] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3143/stat : 3143 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375466961448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3144] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3144/stat : 3144 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375465908648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3145] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3145/stat : 3145 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375464855848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3146] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3146/stat : 3146 (java) S 3134 3136 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375463803048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3147] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3147/stat : 3147 (java) S 3134 3136 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336559227 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375451393000 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3148] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3148/stat : 3148 (java) S 3134 3136 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336559228 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375450339064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3149] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3149/stat : 3149 (java) S 3134 3136 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336559228 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375449286152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3150] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3150/stat : 3150 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375448234640 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3151] ppid=3134 vsize=3024420 CPUtime=0.38 cores=1,3,5,7 /proc/3136/task/3151/stat : 3151 (java) S 3134 3136 29837 0 -1 4202560 4922 0 0 0 38 0 0 0 20 0 19 0 336559230 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375447181752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3152] ppid=3134 vsize=3024420 CPUtime=0.35 cores=1,3,5,7 /proc/3136/task/3152/stat : 3152 (java) S 3134 3136 29837 0 -1 4202560 3218 0 0 0 35 0 0 0 20 0 19 0 336559230 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375446128952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3153] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3153/stat : 3153 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375445076344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3154] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3154/stat : 3154 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 115276 33554432000 1073741824 1073778376 140736901374880 140375444023752 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.83 Current children cumulated vsize (KiB) 3024420 [startup+6.30063 s] /proc/loadavg: 2.07 2.02 2.00 3/213 3253 /proc/meminfo: memFree=26138928/32873648 swapFree=7112/7112 [pid=3136] ppid=3134 vsize=3024420 CPUtime=7.11 cores=1,3,5,7 /proc/3136/stat : 3136 (java) S 3134 3136 29837 0 -1 4202496 12386 0 1 0 698 13 0 0 20 0 19 0 336559224 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140736901366016 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3136/statm: 756105 119942 2288 9 0 746526 0 [pid=3136/tid=3138] ppid=3134 vsize=3024420 CPUtime=6.22 cores=1,3,5,7 /proc/3136/task/3138/stat : 3138 (java) R 3134 3136 29837 0 -1 4202560 2750 0 1 0 613 9 0 0 20 0 19 0 336559225 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375487744480 140375319013772 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3139] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3139/stat : 3139 (java) S 3134 3136 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375471172648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3140] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3140/stat : 3140 (java) S 3134 3136 29837 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375470119848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3141] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3141/stat : 3141 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375469067048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3136/tid=3142] ppid=3134 vsize=3024420 CPUtime=0.01 cores=1,3,5,7 /proc/3136/task/3142/stat : 3142 (java) S 3134 3136 29837 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 336559226 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375468014248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3136/tid=3143] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3143/stat : 3143 (java) S 3134 3136 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375466961448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3144] ppid=3134 vsize=3024420 CPUtime=0.01 cores=1,3,5,7 /proc/3136/task/3144/stat : 3144 (java) S 3134 3136 29837 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 336559226 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375465908648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3145] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3145/stat : 3145 (java) S 3134 3136 29837 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375464855848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3146] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3146/stat : 3146 (java) S 3134 3136 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336559226 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375463803048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3147] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3147/stat : 3147 (java) S 3134 3136 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336559227 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375451393000 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3148] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3148/stat : 3148 (java) S 3134 3136 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336559228 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375450339064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3149] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3149/stat : 3149 (java) S 3134 3136 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336559228 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375449286152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3150] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3150/stat : 3150 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375448234640 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3151] ppid=3134 vsize=3024420 CPUtime=0.38 cores=1,3,5,7 /proc/3136/task/3151/stat : 3151 (java) S 3134 3136 29837 0 -1 4202560 4922 0 0 0 38 0 0 0 20 0 19 0 336559230 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375447181752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3152] ppid=3134 vsize=3024420 CPUtime=0.36 cores=1,3,5,7 /proc/3136/task/3152/stat : 3152 (java) S 3134 3136 29837 0 -1 4202560 3218 0 0 0 36 0 0 0 20 0 19 0 336559230 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375446128952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3153] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3153/stat : 3153 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375445076344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3154] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3154/stat : 3154 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 119942 33554432000 1073741824 1073778376 140736901374880 140375444023752 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.11 Current children cumulated vsize (KiB) 3024420 [startup+12.7007 s] /proc/loadavg: 2.06 2.02 2.00 3/213 3295 /proc/meminfo: memFree=26097444/32873648 swapFree=7112/7112 [pid=3136] ppid=3134 vsize=3024420 CPUtime=13.7 cores=1,3,5,7 /proc/3136/stat : 3136 (java) S 3134 3136 29837 0 -1 4202496 12679 0 1 0 1349 21 0 0 20 0 19 0 336559224 3097006080 146057 33554432000 1073741824 1073778376 140736901374880 140736901366016 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3136/statm: 756105 146057 2288 9 0 746526 0 [pid=3136/tid=3138] ppid=3134 vsize=3024420 CPUtime=12.53 cores=1,3,5,7 ################ # More data... # ################ [pid=3136/tid=3144] ppid=3134 vsize=3024420 CPUtime=2.75 cores=1,3,5,7 /proc/3136/task/3144/stat : 3144 (java) S 3134 3136 29837 0 -1 4202560 253 0 0 0 269 6 0 0 20 0 19 0 336559226 3097006080 311945 33554432000 1073741824 1073778376 140736901374880 140375465908648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3145] ppid=3134 vsize=3024420 CPUtime=2.41 cores=1,3,5,7 /proc/3136/task/3145/stat : 3145 (java) S 3134 3136 29837 0 -1 4202560 186 0 0 0 235 6 0 0 20 0 19 0 336559226 3097006080 311945 33554432000 1073741824 1073778376 140736901374880 140375464855848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3146] ppid=3134 vsize=3024420 CPUtime=2.46 cores=1,3,5,7 /proc/3136/task/3146/stat : 3146 (java) S 3134 3136 29837 0 -1 4202560 266 0 0 0 238 8 0 0 20 0 19 0 336559226 3097006080 311945 33554432000 1073741824 1073778376 140736901374880 140375463803048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3147] ppid=3134 vsize=3024420 CPUtime=0.07 cores=1,3,5,7 /proc/3136/task/3147/stat : 3147 (java) S 3134 3136 29837 0 -1 4202560 95 0 0 0 4 3 0 0 20 0 19 0 336559227 3097006080 311945 33554432000 1073741824 1073778376 140736901374880 140375451393000 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3148] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3148/stat : 3148 (java) S 3134 3136 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336559228 3097006080 311945 33554432000 1073741824 1073778376 140736901374880 140375450339064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3149] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3149/stat : 3149 (java) S 3134 3136 29837 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 336559228 3097006080 311945 33554432000 1073741824 1073778376 140736901374880 140375449286152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3150] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3150/stat : 3150 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 311945 33554432000 1073741824 1073778376 140736901374880 140375448234640 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3151] ppid=3134 vsize=3024420 CPUtime=0.38 cores=1,3,5,7 /proc/3136/task/3151/stat : 3151 (java) S 3134 3136 29837 0 -1 4202560 4922 0 0 0 38 0 0 0 20 0 19 0 336559230 3097006080 311945 33554432000 1073741824 1073778376 140736901374880 140375447181752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3152] ppid=3134 vsize=3024420 CPUtime=0.37 cores=1,3,5,7 /proc/3136/task/3152/stat : 3152 (java) S 3134 3136 29837 0 -1 4202560 3219 0 0 0 37 0 0 0 20 0 19 0 336559230 3097006080 311945 33554432000 1073741824 1073778376 140736901374880 140375446128952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3153] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3153/stat : 3153 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 311945 33554432000 1073741824 1073778376 140736901374880 140375445076344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3154] ppid=3134 vsize=3024420 CPUtime=0.68 cores=1,3,5,7 /proc/3136/task/3154/stat : 3154 (java) S 3134 3136 29837 0 -1 4202560 95 0 0 0 27 41 0 0 20 0 19 0 336559230 3097006080 311945 33554432000 1073741824 1073778376 140736901374880 140375444023752 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3592] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3592/stat : 3592 (java) S 3134 3136 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336710649 3097006080 311945 33554432000 1073741824 1073778376 140736901374880 140375441822888 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1677.97 Current children cumulated vsize (KiB) 3024420 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/213 3593 /proc/meminfo: memFree=25804464/32873648 swapFree=7112/7112 [pid=3136] ppid=3134 vsize=3024420 CPUtime=1738.46 cores=1,3,5,7 /proc/3136/stat : 3136 (java) S 3134 3136 29837 0 -1 4202496 15068 0 1 0 173731 115 0 0 20 0 19 0 336559224 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140736901366016 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3136/statm: 756105 314030 2288 9 0 746526 0 [pid=3136/tid=3138] ppid=3134 vsize=3024420 CPUtime=1716.19 cores=1,3,5,7 /proc/3136/task/3138/stat : 3138 (java) R 3134 3136 29837 0 -1 4202560 3022 0 1 0 171579 40 0 0 20 0 19 0 336559225 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375487745312 140375318995719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=3136/tid=3139] ppid=3134 vsize=3024420 CPUtime=2.73 cores=1,3,5,7 /proc/3136/task/3139/stat : 3139 (java) S 3134 3136 29837 0 -1 4202560 285 0 0 0 267 6 0 0 20 0 19 0 336559226 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375471172648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3140] ppid=3134 vsize=3024420 CPUtime=2.58 cores=1,3,5,7 /proc/3136/task/3140/stat : 3140 (java) S 3134 3136 29837 0 -1 4202560 227 0 0 0 252 6 0 0 20 0 19 0 336559226 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375470119848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3141] ppid=3134 vsize=3024420 CPUtime=2.66 cores=1,3,5,7 /proc/3136/task/3141/stat : 3141 (java) S 3134 3136 29837 0 -1 4202560 183 0 0 0 261 5 0 0 20 0 19 0 336559226 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375469067048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3142] ppid=3134 vsize=3024420 CPUtime=2.44 cores=1,3,5,7 /proc/3136/task/3142/stat : 3142 (java) S 3134 3136 29837 0 -1 4202560 220 0 0 0 238 6 0 0 20 0 19 0 336559226 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375468014248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3143] ppid=3134 vsize=3024420 CPUtime=2.56 cores=1,3,5,7 /proc/3136/task/3143/stat : 3143 (java) S 3134 3136 29837 0 -1 4202560 235 0 0 0 251 5 0 0 20 0 19 0 336559226 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375466961448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3144] ppid=3134 vsize=3024420 CPUtime=2.85 cores=1,3,5,7 /proc/3136/task/3144/stat : 3144 (java) S 3134 3136 29837 0 -1 4202560 259 0 0 0 279 6 0 0 20 0 19 0 336559226 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375465908648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3145] ppid=3134 vsize=3024420 CPUtime=2.49 cores=1,3,5,7 /proc/3136/task/3145/stat : 3145 (java) S 3134 3136 29837 0 -1 4202560 192 0 0 0 243 6 0 0 20 0 19 0 336559226 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375464855848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3146] ppid=3134 vsize=3024420 CPUtime=2.53 cores=1,3,5,7 /proc/3136/task/3146/stat : 3146 (java) S 3134 3136 29837 0 -1 4202560 266 0 0 0 245 8 0 0 20 0 19 0 336559226 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375463803048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3147] ppid=3134 vsize=3024420 CPUtime=0.07 cores=1,3,5,7 /proc/3136/task/3147/stat : 3147 (java) S 3134 3136 29837 0 -1 4202560 99 0 0 0 4 3 0 0 20 0 19 0 336559227 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375451393000 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3136/tid=3148] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3148/stat : 3148 (java) S 3134 3136 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336559228 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375450339064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3149] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3149/stat : 3149 (java) S 3134 3136 29837 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 336559228 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375449286152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3150] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3150/stat : 3150 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375448234640 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3151] ppid=3134 vsize=3024420 CPUtime=0.38 cores=1,3,5,7 /proc/3136/task/3151/stat : 3151 (java) S 3134 3136 29837 0 -1 4202560 4922 0 0 0 38 0 0 0 20 0 19 0 336559230 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375447181752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3152] ppid=3134 vsize=3024420 CPUtime=0.37 cores=1,3,5,7 /proc/3136/task/3152/stat : 3152 (java) S 3134 3136 29837 0 -1 4202560 3219 0 0 0 37 0 0 0 20 0 19 0 336559230 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375446128952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3153] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3153/stat : 3153 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375445076344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3154] ppid=3134 vsize=3024420 CPUtime=0.7 cores=1,3,5,7 /proc/3136/task/3154/stat : 3154 (java) S 3134 3136 29837 0 -1 4202560 99 0 0 0 28 42 0 0 20 0 19 0 336559230 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375444023752 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3592] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3592/stat : 3592 (java) S 3134 3136 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336710649 3097006080 314030 33554432000 1073741824 1073778376 140736901374880 140375441822888 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1738.46 Current children cumulated vsize (KiB) 3024420 [startup+1782.3 s] /proc/loadavg: 1.94 2.00 1.99 3/213 3596 /proc/meminfo: memFree=25789636/32873648 swapFree=7112/7112 [pid=3136] ppid=3134 vsize=3024420 CPUtime=1798.97 cores=1,3,5,7 /proc/3136/stat : 3136 (java) S 3134 3136 29837 0 -1 4202496 15125 0 1 0 179781 116 0 0 20 0 19 0 336559224 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140736901366016 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3136/statm: 756105 316619 2288 9 0 746526 0 [pid=3136/tid=3138] ppid=3134 vsize=3024420 CPUtime=1776.01 cores=1,3,5,7 /proc/3136/task/3138/stat : 3138 (java) R 3134 3136 29837 0 -1 4202560 3026 0 1 0 177561 40 0 0 20 0 19 0 336559225 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375487745320 140375319136678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=3136/tid=3139] ppid=3134 vsize=3024420 CPUtime=2.83 cores=1,3,5,7 /proc/3136/task/3139/stat : 3139 (java) S 3134 3136 29837 0 -1 4202560 302 0 0 0 277 6 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375471172648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3140] ppid=3134 vsize=3024420 CPUtime=2.64 cores=1,3,5,7 /proc/3136/task/3140/stat : 3140 (java) S 3134 3136 29837 0 -1 4202560 228 0 0 0 258 6 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375470119848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3141] ppid=3134 vsize=3024420 CPUtime=2.76 cores=1,3,5,7 /proc/3136/task/3141/stat : 3141 (java) S 3134 3136 29837 0 -1 4202560 185 0 0 0 271 5 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375469067048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3142] ppid=3134 vsize=3024420 CPUtime=2.51 cores=1,3,5,7 /proc/3136/task/3142/stat : 3142 (java) S 3134 3136 29837 0 -1 4202560 223 0 0 0 245 6 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375468014248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3143] ppid=3134 vsize=3024420 CPUtime=2.66 cores=1,3,5,7 /proc/3136/task/3143/stat : 3143 (java) S 3134 3136 29837 0 -1 4202560 246 0 0 0 261 5 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375466961448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3144] ppid=3134 vsize=3024420 CPUtime=2.96 cores=1,3,5,7 /proc/3136/task/3144/stat : 3144 (java) S 3134 3136 29837 0 -1 4202560 261 0 0 0 290 6 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375465908648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3145] ppid=3134 vsize=3024420 CPUtime=2.57 cores=1,3,5,7 /proc/3136/task/3145/stat : 3145 (java) S 3134 3136 29837 0 -1 4202560 193 0 0 0 251 6 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375464855848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3146] ppid=3134 vsize=3024420 CPUtime=2.61 cores=1,3,5,7 /proc/3136/task/3146/stat : 3146 (java) S 3134 3136 29837 0 -1 4202560 268 0 0 0 253 8 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375463803048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3147] ppid=3134 vsize=3024420 CPUtime=0.07 cores=1,3,5,7 /proc/3136/task/3147/stat : 3147 (java) S 3134 3136 29837 0 -1 4202560 103 0 0 0 4 3 0 0 20 0 19 0 336559227 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375451393000 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3136/tid=3148] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3148/stat : 3148 (java) S 3134 3136 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336559228 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375450339064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3149] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3149/stat : 3149 (java) S 3134 3136 29837 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 336559228 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375449286152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3150] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3150/stat : 3150 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375448234640 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3151] ppid=3134 vsize=3024420 CPUtime=0.38 cores=1,3,5,7 /proc/3136/task/3151/stat : 3151 (java) S 3134 3136 29837 0 -1 4202560 4922 0 0 0 38 0 0 0 20 0 19 0 336559230 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375447181752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3152] ppid=3134 vsize=3024420 CPUtime=0.37 cores=1,3,5,7 /proc/3136/task/3152/stat : 3152 (java) S 3134 3136 29837 0 -1 4202560 3219 0 0 0 37 0 0 0 20 0 19 0 336559230 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375446128952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3153] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3153/stat : 3153 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375445076344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3154] ppid=3134 vsize=3024420 CPUtime=0.73 cores=1,3,5,7 /proc/3136/task/3154/stat : 3154 (java) S 3134 3136 29837 0 -1 4202560 103 0 0 0 29 44 0 0 20 0 19 0 336559230 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375444023752 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3596] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3596/stat : 3596 (java) S 3134 3136 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336736161 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375441822504 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1798.97 Current children cumulated vsize (KiB) 3024420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.4 s] /proc/loadavg: 1.94 2.00 1.99 3/213 3596 /proc/meminfo: memFree=25789636/32873648 swapFree=7112/7112 [pid=3136] ppid=3134 vsize=3024420 CPUtime=1800.09 cores=1,3,5,7 /proc/3136/stat : 3136 (java) S 3134 3136 29837 0 -1 4202496 15125 0 1 0 179892 117 0 0 20 0 19 0 336559224 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140736901366016 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3136/statm: 756105 316619 2288 9 0 746526 0 [pid=3136/tid=3138] ppid=3134 vsize=3024420 CPUtime=1777.12 cores=1,3,5,7 /proc/3136/task/3138/stat : 3138 (java) R 3134 3136 29837 0 -1 4202560 3026 0 1 0 177671 41 0 0 20 0 19 0 336559225 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375487745320 140375319136678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=3136/tid=3139] ppid=3134 vsize=3024420 CPUtime=2.83 cores=1,3,5,7 /proc/3136/task/3139/stat : 3139 (java) S 3134 3136 29837 0 -1 4202560 302 0 0 0 277 6 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375471172648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3140] ppid=3134 vsize=3024420 CPUtime=2.64 cores=1,3,5,7 /proc/3136/task/3140/stat : 3140 (java) S 3134 3136 29837 0 -1 4202560 228 0 0 0 258 6 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375470119848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3141] ppid=3134 vsize=3024420 CPUtime=2.76 cores=1,3,5,7 /proc/3136/task/3141/stat : 3141 (java) S 3134 3136 29837 0 -1 4202560 185 0 0 0 271 5 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375469067048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3142] ppid=3134 vsize=3024420 CPUtime=2.51 cores=1,3,5,7 /proc/3136/task/3142/stat : 3142 (java) S 3134 3136 29837 0 -1 4202560 223 0 0 0 245 6 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375468014248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3143] ppid=3134 vsize=3024420 CPUtime=2.66 cores=1,3,5,7 /proc/3136/task/3143/stat : 3143 (java) S 3134 3136 29837 0 -1 4202560 246 0 0 0 261 5 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375466961448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3144] ppid=3134 vsize=3024420 CPUtime=2.96 cores=1,3,5,7 /proc/3136/task/3144/stat : 3144 (java) S 3134 3136 29837 0 -1 4202560 261 0 0 0 290 6 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375465908648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3145] ppid=3134 vsize=3024420 CPUtime=2.57 cores=1,3,5,7 /proc/3136/task/3145/stat : 3145 (java) S 3134 3136 29837 0 -1 4202560 193 0 0 0 251 6 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375464855848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3146] ppid=3134 vsize=3024420 CPUtime=2.61 cores=1,3,5,7 /proc/3136/task/3146/stat : 3146 (java) S 3134 3136 29837 0 -1 4202560 268 0 0 0 253 8 0 0 20 0 19 0 336559226 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375463803048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3147] ppid=3134 vsize=3024420 CPUtime=0.07 cores=1,3,5,7 /proc/3136/task/3147/stat : 3147 (java) S 3134 3136 29837 0 -1 4202560 103 0 0 0 4 3 0 0 20 0 19 0 336559227 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375451393000 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3136/tid=3148] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3148/stat : 3148 (java) S 3134 3136 29837 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336559228 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375450339064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3149] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3149/stat : 3149 (java) S 3134 3136 29837 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 336559228 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375449286152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3136/tid=3150] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3150/stat : 3150 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375448234640 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3151] ppid=3134 vsize=3024420 CPUtime=0.38 cores=1,3,5,7 /proc/3136/task/3151/stat : 3151 (java) S 3134 3136 29837 0 -1 4202560 4922 0 0 0 38 0 0 0 20 0 19 0 336559230 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375447181752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3152] ppid=3134 vsize=3024420 CPUtime=0.37 cores=1,3,5,7 /proc/3136/task/3152/stat : 3152 (java) S 3134 3136 29837 0 -1 4202560 3219 0 0 0 37 0 0 0 20 0 19 0 336559230 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375446128952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3153] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3153/stat : 3153 (java) S 3134 3136 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336559230 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375445076344 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3136/tid=3154] ppid=3134 vsize=3024420 CPUtime=0.73 cores=1,3,5,7 /proc/3136/task/3154/stat : 3154 (java) S 3134 3136 29837 0 -1 4202560 103 0 0 0 29 44 0 0 20 0 19 0 336559230 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375444023752 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3136/tid=3596] ppid=3134 vsize=3024420 CPUtime=0 cores=1,3,5,7 /proc/3136/task/3596/stat : 3596 (java) S 3134 3136 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336736161 3097006080 316619 33554432000 1073741824 1073778376 140736901374880 140375441822504 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 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 Child status: 143 Real time (s): 1783.43 CPU time (s): 1800.49 CPU user time (s): 1798.99 CPU system time (s): 1.50277 CPU usage (%): 100.957 Max. virtual memory (cumulated for all children) (KiB): 3024420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.99 system time used= 1.50277 maximum resident set size= 1266588 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15154 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 46604 involuntary context switches= 64027 runsolver used 6.71898 second user time and 14.6648 second system time The end
Begin job on node126 at 2012-06-03 08:18:53 IDJOB=3734948 IDBENCH=2924 IDSOLVER=2319 FILE ID=node126/3734948-1338704333 RUNJOBID= node126-1338678624-29857 PBS_JOBID= 14636687 Free space on /tmp= 70788 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_7_60_2.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734948-1338704333/watcher-3734948-1338704333 -o /tmp/evaluation-result-3734948-1338704333/solver-3734948-1338704333 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734948-1338704333.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b RANDOM SEED=1188343398 node126.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.456 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 : 5332.91 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.456 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.456 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.92 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.456 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.90 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.456 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: 32873648 kB MemFree: 26612612 kB Buffers: 411536 kB Cached: 3778564 kB SwapCached: 9476 kB Active: 2669800 kB Inactive: 2721600 kB Active(anon): 1191108 kB Inactive(anon): 12168 kB Active(file): 1478692 kB Inactive(file): 2709432 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67094928 kB Dirty: 3596 kB Writeback: 0 kB AnonPages: 1207340 kB Mapped: 17800 kB Shmem: 0 kB Slab: 722708 kB SReclaimable: 166904 kB SUnreclaim: 555804 kB KernelStack: 1600 kB PageTables: 6560 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1825280 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 1171456 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= 70780 MiB End job on node126 at 2012-06-03 08:48:39