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) | 17 | 1800.02 | 1791.13 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
| MD5SUM | cdfa46b59876181d5d89fd18757b8cfb |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 1790.16 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| 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 | 12 |
| Minimum length of a constraint | 66 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| 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 | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1273 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4329 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.00/0.08 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.00/0.08 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.08/0.11 --- Begin Solver configuration --- 0.08/0.11 c Stops conflict analysis at the first Unique Implication Point 0.08/0.11 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap 0.08/0.11 c No reason simplification 0.08/0.11 c --- End Solver configuration --- 0.08/0.11 c solving HOME/instance-3734772-1338702680.opb 0.08/0.11 c reading problem ... 0.08/0.15 c ... done. Wall clock time 0.042s. 0.08/0.15 c CPU time (experimental) 0.11s. 0.08/0.15 c #vars 146 0.08/0.15 c #constraints 12 0.27/0.22 c SATISFIABLE 0.27/0.22 c OPTIMIZING... 0.27/0.22 c Got one! Elapsed wall clock time (in seconds):0.109 0.27/0.22 o 2478 0.27/0.24 c Got one! Elapsed wall clock time (in seconds):0.128 0.27/0.24 o 2477 0.27/0.25 c Got one! Elapsed wall clock time (in seconds):0.142 0.27/0.25 o 2315 0.27/0.26 c Got one! Elapsed wall clock time (in seconds):0.157 0.27/0.26 o 2313 0.27/0.28 c Got one! Elapsed wall clock time (in seconds):0.171 0.27/0.28 o 2260 0.27/0.29 c Got one! Elapsed wall clock time (in seconds):0.182 0.27/0.29 o 2228 0.49/0.30 c Got one! Elapsed wall clock time (in seconds):0.192 0.49/0.30 o 2222 0.49/0.31 c Got one! Elapsed wall clock time (in seconds):0.201 0.49/0.31 o 2218 0.49/0.32 c Got one! Elapsed wall clock time (in seconds):0.213 0.49/0.32 o 2077 0.49/0.33 c Got one! Elapsed wall clock time (in seconds):0.222 0.49/0.33 o 2076 0.49/0.34 c Got one! Elapsed wall clock time (in seconds):0.231 0.49/0.34 o 2072 0.49/0.35 c Got one! Elapsed wall clock time (in seconds):0.239 0.49/0.35 o 2042 0.49/0.35 c Got one! Elapsed wall clock time (in seconds):0.248 0.49/0.35 o 2039 0.49/0.36 c Got one! Elapsed wall clock time (in seconds):0.258 0.49/0.36 o 2036 0.49/0.37 c Got one! Elapsed wall clock time (in seconds):0.267 0.49/0.37 o 1965 0.49/0.38 c Got one! Elapsed wall clock time (in seconds):0.277 0.49/0.38 o 1964 0.49/0.39 c Got one! Elapsed wall clock time (in seconds):0.287 0.49/0.39 o 1943 0.61/0.40 c Got one! Elapsed wall clock time (in seconds):0.297 0.61/0.40 o 1939 0.61/0.41 c Got one! Elapsed wall clock time (in seconds):0.306 0.61/0.41 o 1937 0.61/0.42 c Got one! Elapsed wall clock time (in seconds):0.318 0.61/0.42 o 1737 0.61/0.44 c Got one! Elapsed wall clock time (in seconds):0.334 0.61/0.44 o 1735 0.61/0.45 c Got one! Elapsed wall clock time (in seconds):0.345 0.61/0.45 o 1689 0.61/0.46 c Got one! Elapsed wall clock time (in seconds):0.354 0.61/0.46 o 1685 0.61/0.47 c Got one! Elapsed wall clock time (in seconds):0.365 0.61/0.47 o 1675 0.61/0.48 c Got one! Elapsed wall clock time (in seconds):0.375 0.61/0.48 o 1667 0.75/0.50 c Got one! Elapsed wall clock time (in seconds):0.39 0.75/0.50 o 1665 0.75/0.51 c Got one! Elapsed wall clock time (in seconds):0.401 0.75/0.51 o 1659 0.75/0.52 c Got one! Elapsed wall clock time (in seconds):0.413 0.75/0.52 o 1655 0.75/0.53 c Got one! Elapsed wall clock time (in seconds):0.424 0.75/0.53 o 1654 0.75/0.54 c Got one! Elapsed wall clock time (in seconds):0.438 0.75/0.54 o 1600 0.75/0.56 c Got one! Elapsed wall clock time (in seconds):0.449 0.75/0.56 o 1598 0.75/0.57 c Got one! Elapsed wall clock time (in seconds):0.461 0.75/0.57 o 1597 0.75/0.58 c Got one! Elapsed wall clock time (in seconds):0.471 0.75/0.58 o 1595 0.75/0.59 c Got one! Elapsed wall clock time (in seconds):0.483 0.75/0.59 o 1581 0.97/0.60 c Got one! Elapsed wall clock time (in seconds):0.495 0.97/0.60 o 1577 0.97/0.61 c Got one! Elapsed wall clock time (in seconds):0.506 0.97/0.61 o 1576 0.97/0.64 c Got one! Elapsed wall clock time (in seconds):0.535 0.97/0.64 o 1146 0.97/0.66 c Got one! Elapsed wall clock time (in seconds):0.55 0.97/0.66 o 1144 0.97/0.67 c Got one! Elapsed wall clock time (in seconds):0.564 0.97/0.67 o 1125 0.97/0.68 c Got one! Elapsed wall clock time (in seconds):0.576 0.97/0.68 o 1124 1.15/0.70 c Got one! Elapsed wall clock time (in seconds):0.592 1.15/0.70 o 1123 1.15/0.72 c Got one! Elapsed wall clock time (in seconds):0.608 1.15/0.72 o 1120 1.15/0.73 c Got one! Elapsed wall clock time (in seconds):0.626 1.15/0.73 o 1118 1.15/0.75 c Got one! Elapsed wall clock time (in seconds):0.647 1.15/0.75 o 1112 1.15/0.78 c Got one! Elapsed wall clock time (in seconds):0.675 1.15/0.78 o 852 1.28/0.81 c Got one! Elapsed wall clock time (in seconds):0.7 1.28/0.81 o 850 1.28/0.83 c Got one! Elapsed wall clock time (in seconds):0.724 1.28/0.83 o 848 1.28/0.85 c Got one! Elapsed wall clock time (in seconds):0.739 1.28/0.85 o 846 1.28/0.86 c Got one! Elapsed wall clock time (in seconds):0.757 1.28/0.86 o 844 1.28/0.88 c Got one! Elapsed wall clock time (in seconds):0.771 1.28/0.88 o 838 1.40/0.91 c Got one! Elapsed wall clock time (in seconds):0.801 1.40/0.91 o 619 1.40/0.94 c Got one! Elapsed wall clock time (in seconds):0.83 1.40/0.94 o 617 1.40/0.97 c Got one! Elapsed wall clock time (in seconds):0.865 1.40/0.97 o 616 1.40/0.99 c Got one! Elapsed wall clock time (in seconds):0.884 1.40/0.99 o 614 1.57/1.02 c Got one! Elapsed wall clock time (in seconds):0.918 1.57/1.02 o 610 1.57/1.05 c Got one! Elapsed wall clock time (in seconds):0.943 1.57/1.05 o 608 1.57/1.08 c Got one! Elapsed wall clock time (in seconds):0.969 1.57/1.08 o 606 1.67/1.11 c Got one! Elapsed wall clock time (in seconds):1.008 1.67/1.11 o 604 1.67/1.15 c Got one! Elapsed wall clock time (in seconds):1.041 1.67/1.15 o 598 1.67/1.18 c Got one! Elapsed wall clock time (in seconds):1.07 1.67/1.18 o 597 1.77/1.21 c Got one! Elapsed wall clock time (in seconds):1.1 1.77/1.21 o 595 1.77/1.24 c Got one! Elapsed wall clock time (in seconds):1.132 1.77/1.24 o 594 1.77/1.27 c Got one! Elapsed wall clock time (in seconds):1.164 1.77/1.27 o 593 1.91/1.30 c Got one! Elapsed wall clock time (in seconds):1.196 1.91/1.30 o 591 1.91/1.34 c Got one! Elapsed wall clock time (in seconds):1.232 1.91/1.34 o 583 1.91/1.37 c Got one! Elapsed wall clock time (in seconds):1.263 1.91/1.37 o 582 2.01/1.40 c Got one! Elapsed wall clock time (in seconds):1.297 2.01/1.40 o 580 2.01/1.43 c Got one! Elapsed wall clock time (in seconds):1.323 2.01/1.43 o 579 2.01/1.46 c Got one! Elapsed wall clock time (in seconds):1.352 2.01/1.46 o 578 2.12/1.50 c Got one! Elapsed wall clock time (in seconds):1.393 2.12/1.50 o 576 2.12/1.54 c Got one! Elapsed wall clock time (in seconds):1.435 2.12/1.54 o 574 2.12/1.58 c Got one! Elapsed wall clock time (in seconds):1.471 2.12/1.58 o 572 2.25/1.61 c Got one! Elapsed wall clock time (in seconds):1.507 2.25/1.61 o 571 2.25/1.65 c Got one! Elapsed wall clock time (in seconds):1.543 2.25/1.65 o 569 2.35/1.71 c Got one! Elapsed wall clock time (in seconds):1.608 2.35/1.71 o 567 2.35/1.75 c Got one! Elapsed wall clock time (in seconds):1.64 2.35/1.75 o 566 2.35/1.78 c Got one! Elapsed wall clock time (in seconds):1.671 2.35/1.78 o 564 2.45/1.81 c Got one! Elapsed wall clock time (in seconds):1.704 2.45/1.81 o 563 2.45/1.84 c Got one! Elapsed wall clock time (in seconds):1.736 2.45/1.84 o 562 2.55/1.90 c Got one! Elapsed wall clock time (in seconds):1.793 2.55/1.90 o 560 2.55/1.94 c Got one! Elapsed wall clock time (in seconds):1.836 2.55/1.94 o 559 2.55/1.97 c Got one! Elapsed wall clock time (in seconds):1.865 2.55/1.97 o 558 2.65/2.01 c Got one! Elapsed wall clock time (in seconds):1.905 2.65/2.01 o 557 2.65/2.06 c Got one! Elapsed wall clock time (in seconds):1.95 2.65/2.06 o 556 2.78/2.11 c Got one! Elapsed wall clock time (in seconds):2.004 2.78/2.11 o 555 2.78/2.14 c Got one! Elapsed wall clock time (in seconds):2.038 2.78/2.14 o 554 2.78/2.18 c Got one! Elapsed wall clock time (in seconds):2.075 2.78/2.18 o 553 2.88/2.23 c Got one! Elapsed wall clock time (in seconds):2.122 2.88/2.23 o 552 2.88/2.27 c Got one! Elapsed wall clock time (in seconds):2.168 2.88/2.27 o 539 2.97/2.31 c Got one! Elapsed wall clock time (in seconds):2.206 2.97/2.31 o 538 2.97/2.36 c Got one! Elapsed wall clock time (in seconds):2.252 2.97/2.36 o 536 3.07/2.40 c Got one! Elapsed wall clock time (in seconds):2.295 3.07/2.40 o 535 3.07/2.45 c Got one! Elapsed wall clock time (in seconds):2.339 3.07/2.45 o 532 3.07/2.49 c Got one! Elapsed wall clock time (in seconds):2.382 3.07/2.49 o 530 3.17/2.53 c Got one! Elapsed wall clock time (in seconds):2.42 3.17/2.53 o 528 3.17/2.55 c Got one! Elapsed wall clock time (in seconds):2.445 3.17/2.55 o 526 3.17/2.59 c Got one! Elapsed wall clock time (in seconds):2.481 3.17/2.59 o 523 3.33/2.65 c Got one! Elapsed wall clock time (in seconds):2.548 3.33/2.65 o 522 3.33/2.69 c Got one! Elapsed wall clock time (in seconds):2.585 3.33/2.69 o 518 3.42/2.73 c Got one! Elapsed wall clock time (in seconds):2.619 3.42/2.73 o 517 3.42/2.75 c Got one! Elapsed wall clock time (in seconds):2.645 3.42/2.75 o 516 3.52/2.81 c Got one! Elapsed wall clock time (in seconds):2.705 3.52/2.81 o 515 3.52/2.86 c Got one! Elapsed wall clock time (in seconds):2.757 3.52/2.86 o 513 3.63/2.90 c Got one! Elapsed wall clock time (in seconds):2.798 3.63/2.90 o 509 3.63/2.95 c Got one! Elapsed wall clock time (in seconds):2.846 3.63/2.95 o 508 3.63/2.99 c Got one! Elapsed wall clock time (in seconds):2.883 3.63/2.99 o 507 3.74/3.05 c Got one! Elapsed wall clock time (in seconds):2.94 3.74/3.05 o 506 3.84/3.13 c Got one! Elapsed wall clock time (in seconds):3.027 3.84/3.13 o 504 3.84/3.18 c Got one! Elapsed wall clock time (in seconds):3.074 3.84/3.18 o 503 4.14/3.40 c Got one! Elapsed wall clock time (in seconds):3.291 4.14/3.40 o 501 4.14/3.42 c Got one! Elapsed wall clock time (in seconds):3.316 4.14/3.42 o 493 4.24/3.50 c Got one! Elapsed wall clock time (in seconds):3.398 4.24/3.50 o 492 4.24/3.54 c Got one! Elapsed wall clock time (in seconds):3.435 4.24/3.54 o 491 4.34/3.60 c Got one! Elapsed wall clock time (in seconds):3.49 4.34/3.60 o 490 4.34/3.63 c Got one! Elapsed wall clock time (in seconds):3.518 4.34/3.63 o 485 4.48/3.71 c Got one! Elapsed wall clock time (in seconds):3.602 4.48/3.71 o 483 4.48/3.77 c Got one! Elapsed wall clock time (in seconds):3.661 4.48/3.77 o 481 4.58/3.83 c Got one! Elapsed wall clock time (in seconds):3.723 4.58/3.83 o 477 4.58/3.87 c Got one! Elapsed wall clock time (in seconds):3.765 4.58/3.87 o 476 4.68/3.95 c Got one! Elapsed wall clock time (in seconds):3.841 4.68/3.95 o 475 4.78/4.02 c Got one! Elapsed wall clock time (in seconds):3.908 4.78/4.02 o 473 4.78/4.07 c Got one! Elapsed wall clock time (in seconds):3.959 4.78/4.07 o 472 4.88/4.13 c Got one! Elapsed wall clock time (in seconds):4.027 4.88/4.13 o 471 4.88/4.19 c Got one! Elapsed wall clock time (in seconds):4.086 4.88/4.19 o 469 4.98/4.24 c Got one! Elapsed wall clock time (in seconds):4.132 4.98/4.24 o 467 5.09/4.31 c Got one! Elapsed wall clock time (in seconds):4.208 5.09/4.31 o 466 5.19/4.41 c Got one! Elapsed wall clock time (in seconds):4.306 5.19/4.41 o 465 5.19/4.47 c Got one! Elapsed wall clock time (in seconds):4.363 5.19/4.47 o 463 5.28/4.51 c Got one! Elapsed wall clock time (in seconds):4.406 5.28/4.51 o 462 5.28/4.58 c Got one! Elapsed wall clock time (in seconds):4.468 5.28/4.58 o 461 5.38/4.65 c Got one! Elapsed wall clock time (in seconds):4.546 5.38/4.65 o 460 5.48/4.71 c Got one! Elapsed wall clock time (in seconds):4.6 5.48/4.71 o 458 5.48/4.77 c Got one! Elapsed wall clock time (in seconds):4.667 5.48/4.77 o 457 5.58/4.87 c Got one! Elapsed wall clock time (in seconds):4.765 5.58/4.87 o 455 5.68/4.99 c Got one! Elapsed wall clock time (in seconds):4.878 5.68/4.99 o 453 5.78/5.06 c Got one! Elapsed wall clock time (in seconds):4.955 5.78/5.06 o 452 5.88/5.12 c Got one! Elapsed wall clock time (in seconds):5.015 5.88/5.12 o 450 5.88/5.16 c Got one! Elapsed wall clock time (in seconds):5.053 5.88/5.16 o 449 5.97/5.25 c Got one! Elapsed wall clock time (in seconds):5.148 5.97/5.25 o 443 6.10/5.34 c Got one! Elapsed wall clock time (in seconds):5.228 6.10/5.34 o 435 6.30/5.55 c Got one! Elapsed wall clock time (in seconds):5.443 6.30/5.55 o 434 6.30/5.60 c Got one! Elapsed wall clock time (in seconds):5.489 6.30/5.60 o 433 6.59/5.89 c Got one! Elapsed wall clock time (in seconds):5.786 6.59/5.89 o 431 6.79/6.01 c Got one! Elapsed wall clock time (in seconds):5.899 6.79/6.01 o 429 6.79/6.07 c Got one! Elapsed wall clock time (in seconds):5.962 6.79/6.07 o 428 6.89/6.12 c Got one! Elapsed wall clock time (in seconds):6.014 6.89/6.12 o 426 7.09/6.35 c Got one! Elapsed wall clock time (in seconds):6.242 7.09/6.35 o 424 7.19/6.44 c Got one! Elapsed wall clock time (in seconds):6.333 7.19/6.44 o 423 7.19/6.50 c Got one! Elapsed wall clock time (in seconds):6.394 7.19/6.50 o 421 7.29/6.58 c Got one! Elapsed wall clock time (in seconds):6.47 7.29/6.58 o 419 7.62/6.80 c Got one! Elapsed wall clock time (in seconds):6.694 7.62/6.80 o 418 7.62/6.84 c Got one! Elapsed wall clock time (in seconds):6.73 7.62/6.84 o 417 7.72/6.91 c Got one! Elapsed wall clock time (in seconds):6.802 7.72/6.91 o 415 7.72/6.97 c Got one! Elapsed wall clock time (in seconds):6.867 7.72/6.97 o 414 7.82/7.03 c Got one! Elapsed wall clock time (in seconds):6.92 7.82/7.03 o 412 7.82/7.09 c Got one! Elapsed wall clock time (in seconds):6.984 7.82/7.09 o 410 7.91/7.16 c Got one! Elapsed wall clock time (in seconds):7.051 7.91/7.16 o 409 8.01/7.26 c Got one! Elapsed wall clock time (in seconds):7.156 8.01/7.26 o 408 8.11/7.30 c Got one! Elapsed wall clock time (in seconds):7.194 8.11/7.30 o 406 8.21/7.42 c Got one! Elapsed wall clock time (in seconds):7.311 8.21/7.42 o 404 8.32/7.57 c Got one! Elapsed wall clock time (in seconds):7.459 8.32/7.57 o 403 8.43/7.65 c Got one! Elapsed wall clock time (in seconds):7.547 8.43/7.65 o 401 8.53/7.72 c Got one! Elapsed wall clock time (in seconds):7.617 8.53/7.72 o 400 8.62/7.88 c Got one! Elapsed wall clock time (in seconds):7.777 8.62/7.88 o 398 8.72/7.96 c Got one! Elapsed wall clock time (in seconds):7.848 8.72/7.96 o 396 8.82/8.02 c Got one! Elapsed wall clock time (in seconds):7.911 8.82/8.02 o 395 8.92/8.12 c Got one! Elapsed wall clock time (in seconds):8.015 8.92/8.12 o 393 8.92/8.17 c Got one! Elapsed wall clock time (in seconds):8.063 8.92/8.17 o 391 9.02/8.25 c Got one! Elapsed wall clock time (in seconds):8.14 9.02/8.25 o 389 9.02/8.28 c Got one! Elapsed wall clock time (in seconds):8.178 9.02/8.28 o 388 9.12/8.33 c Got one! Elapsed wall clock time (in seconds):8.223 9.12/8.33 o 387 9.22/8.41 c Got one! Elapsed wall clock time (in seconds):8.302 9.22/8.41 o 386 9.22/8.49 c Got one! Elapsed wall clock time (in seconds):8.385 9.22/8.49 o 383 9.36/8.53 c Got one! Elapsed wall clock time (in seconds):8.424 9.36/8.53 o 381 9.46/8.62 c Got one! Elapsed wall clock time (in seconds):8.509 9.46/8.62 o 379 9.46/8.64 c Got one! Elapsed wall clock time (in seconds):8.538 9.46/8.64 o 378 9.46/8.69 c Got one! Elapsed wall clock time (in seconds):8.584 9.46/8.69 o 376 9.56/8.76 c Got one! Elapsed wall clock time (in seconds):8.654 9.56/8.76 o 374 9.56/8.79 c Got one! Elapsed wall clock time (in seconds):8.681 9.56/8.79 o 373 9.66/8.87 c Got one! Elapsed wall clock time (in seconds):8.766 9.66/8.87 o 371 9.75/8.94 c Got one! Elapsed wall clock time (in seconds):8.832 9.75/8.94 o 370 9.85/9.03 c Got one! Elapsed wall clock time (in seconds):8.921 9.85/9.03 o 369 9.95/9.14 c Got one! Elapsed wall clock time (in seconds):9.032 9.95/9.14 o 360 10.05/9.23 c Got one! Elapsed wall clock time (in seconds):9.123 10.05/9.23 o 358 10.46/9.63 c Got one! Elapsed wall clock time (in seconds):9.526 10.46/9.63 o 356 10.56/9.73 c Got one! Elapsed wall clock time (in seconds):9.625 10.56/9.73 o 354 10.66/9.80 c Got one! Elapsed wall clock time (in seconds):9.697 10.66/9.80 o 353 11.20/10.31 c Got one! Elapsed wall clock time (in seconds):10.203 11.20/10.31 o 349 11.20/10.39 c Got one! Elapsed wall clock time (in seconds):10.281 11.20/10.39 o 348 11.30/10.43 c Got one! Elapsed wall clock time (in seconds):10.328 11.30/10.43 o 347 11.40/10.54 c Got one! Elapsed wall clock time (in seconds):10.432 11.40/10.54 o 345 11.50/10.65 c Got one! Elapsed wall clock time (in seconds):10.542 11.50/10.65 o 343 11.70/10.81 c Got one! Elapsed wall clock time (in seconds):10.701 11.70/10.81 o 342 11.81/10.92 c Got one! Elapsed wall clock time (in seconds):10.81 11.81/10.92 o 340 11.91/11.00 c Got one! Elapsed wall clock time (in seconds):10.897 11.91/11.00 o 338 11.91/11.08 c Got one! Elapsed wall clock time (in seconds):10.972 11.91/11.08 o 329 12.00/11.13 c Got one! Elapsed wall clock time (in seconds):11.023 12.00/11.13 o 328 12.10/11.28 c Got one! Elapsed wall clock time (in seconds):11.169 12.10/11.28 o 326 12.20/11.35 c Got one! Elapsed wall clock time (in seconds):11.244 12.20/11.35 o 324 12.40/11.50 c Got one! Elapsed wall clock time (in seconds):11.397 12.40/11.50 o 323 12.50/11.67 c Got one! Elapsed wall clock time (in seconds):11.566 12.50/11.67 o 321 12.59/11.73 c Got one! Elapsed wall clock time (in seconds):11.626 12.59/11.73 o 320 12.69/11.86 c Got one! Elapsed wall clock time (in seconds):11.751 12.69/11.86 o 318 12.86/11.94 c Got one! Elapsed wall clock time (in seconds):11.834 12.86/11.94 o 314 12.96/12.04 c Got one! Elapsed wall clock time (in seconds):11.93 12.96/12.04 o 313 13.06/12.11 c Got one! Elapsed wall clock time (in seconds):12.006 13.06/12.11 o 312 13.15/12.21 c Got one! Elapsed wall clock time (in seconds):12.099 13.15/12.21 o 310 13.15/12.28 c Got one! Elapsed wall clock time (in seconds):12.168 13.15/12.28 o 309 13.35/12.47 c Got one! Elapsed wall clock time (in seconds):12.36 13.35/12.47 o 308 13.66/12.70 c Got one! Elapsed wall clock time (in seconds):12.59 13.66/12.70 o 306 13.78/12.84 c Got one! Elapsed wall clock time (in seconds):12.735 13.78/12.84 o 305 14.06/13.10 c Got one! Elapsed wall clock time (in seconds):12.998 14.06/13.10 o 304 14.26/13.32 c Got one! Elapsed wall clock time (in seconds):13.215 14.26/13.32 o 303 14.36/13.41 c Got one! Elapsed wall clock time (in seconds):13.307 14.36/13.41 o 257 14.46/13.51 c Got one! Elapsed wall clock time (in seconds):13.407 14.46/13.51 o 256 14.56/13.60 c Got one! Elapsed wall clock time (in seconds):13.49 14.56/13.60 o 255 14.56/13.68 c Got one! Elapsed wall clock time (in seconds):13.569 14.56/13.68 o 254 14.87/13.90 c Got one! Elapsed wall clock time (in seconds):13.791 14.87/13.90 o 253 14.97/14.08 c Got one! Elapsed wall clock time (in seconds):13.97 14.97/14.08 o 251 15.07/14.20 c Got one! Elapsed wall clock time (in seconds):14.094 15.07/14.20 o 249 15.28/14.31 c Got one! Elapsed wall clock time (in seconds):14.2 15.28/14.31 o 248 15.37/14.43 c Got one! Elapsed wall clock time (in seconds):14.326 15.37/14.43 o 247 15.77/14.80 c Got one! Elapsed wall clock time (in seconds):14.694 15.77/14.80 o 246 15.77/14.88 c Got one! Elapsed wall clock time (in seconds):14.771 15.77/14.88 o 245 15.87/14.98 c Got one! Elapsed wall clock time (in seconds):14.876 15.87/14.98 o 243 15.97/15.09 c Got one! Elapsed wall clock time (in seconds):14.984 15.97/15.09 o 242 16.17/15.30 c Got one! Elapsed wall clock time (in seconds):15.188 16.17/15.30 o 240 16.47/15.58 c Got one! Elapsed wall clock time (in seconds):15.476 16.47/15.58 o 238 16.57/15.68 c Got one! Elapsed wall clock time (in seconds):15.571 16.57/15.68 o 236 16.79/15.80 c Got one! Elapsed wall clock time (in seconds):15.691 16.79/15.80 o 235 16.79/15.87 c Got one! Elapsed wall clock time (in seconds):15.767 16.79/15.87 o 234 16.89/15.99 c Got one! Elapsed wall clock time (in seconds):15.883 16.89/15.99 o 233 17.09/16.12 c Got one! Elapsed wall clock time (in seconds):16.009 17.09/16.12 o 231 17.19/16.20 c Got one! Elapsed wall clock time (in seconds):16.093 17.19/16.20 o 230 17.29/16.30 c Got one! Elapsed wall clock time (in seconds):16.19 17.29/16.30 o 219 17.29/16.39 c Got one! Elapsed wall clock time (in seconds):16.283 17.29/16.39 o 218 17.39/16.48 c Got one! Elapsed wall clock time (in seconds):16.373 17.39/16.48 o 217 17.69/16.78 c Got one! Elapsed wall clock time (in seconds):16.677 17.69/16.78 o 216 18.09/17.18 c Got one! Elapsed wall clock time (in seconds):17.071 18.09/17.18 o 214 18.29/17.31 c Got one! Elapsed wall clock time (in seconds):17.207 18.29/17.31 o 213 18.39/17.40 c Got one! Elapsed wall clock time (in seconds):17.296 18.39/17.40 o 212 18.59/17.61 c Got one! Elapsed wall clock time (in seconds):17.506 18.59/17.61 o 210 18.59/17.69 c Got one! Elapsed wall clock time (in seconds):17.578 18.59/17.69 o 209 18.69/17.75 c Got one! Elapsed wall clock time (in seconds):17.639 18.69/17.75 o 207 19.21/18.27 c Got one! Elapsed wall clock time (in seconds):18.162 19.21/18.27 o 204 19.42/18.40 c Got one! Elapsed wall clock time (in seconds):18.292 19.42/18.40 o 202 19.63/18.64 c Got one! Elapsed wall clock time (in seconds):18.536 19.63/18.64 o 201 19.73/18.75 c Got one! Elapsed wall clock time (in seconds):18.639 19.73/18.75 o 200 20.22/19.28 c Got one! Elapsed wall clock time (in seconds):19.169 20.22/19.28 o 198 20.52/19.53 c Got one! Elapsed wall clock time (in seconds):19.424 20.52/19.53 o 197 20.62/19.64 c Got one! Elapsed wall clock time (in seconds):19.532 20.62/19.64 o 196 20.92/19.94 c Got one! Elapsed wall clock time (in seconds):19.831 20.92/19.94 o 194 21.34/20.30 c Got one! Elapsed wall clock time (in seconds):20.195 21.34/20.30 o 192 21.44/20.40 c Got one! Elapsed wall clock time (in seconds):20.293 21.44/20.40 o 190 21.44/20.48 c Got one! Elapsed wall clock time (in seconds):20.368 21.44/20.48 o 188 21.74/20.73 c Got one! Elapsed wall clock time (in seconds):20.626 21.74/20.73 o 187 21.85/20.88 c Got one! Elapsed wall clock time (in seconds):20.777 21.85/20.88 o 186 22.14/21.10 c Got one! Elapsed wall clock time (in seconds):20.996 22.14/21.10 o 185 23.85/22.80 c Got one! Elapsed wall clock time (in seconds):22.698 23.85/22.80 o 184 24.25/23.23 c Got one! Elapsed wall clock time (in seconds):23.119 24.25/23.23 o 182 24.75/23.72 c Got one! Elapsed wall clock time (in seconds):23.61 24.75/23.72 o 181 24.85/23.87 c Got one! Elapsed wall clock time (in seconds):23.761 24.85/23.87 o 180 25.06/24.10 c Got one! Elapsed wall clock time (in seconds):23.992 25.06/24.10 o 178 25.27/24.24 c Got one! Elapsed wall clock time (in seconds):24.137 25.27/24.24 o 176 27.07/26.01 c Got one! Elapsed wall clock time (in seconds):25.901 27.07/26.01 o 175 27.07/26.09 c Got one! Elapsed wall clock time (in seconds):25.982 27.07/26.09 o 174 27.26/26.30 c Got one! Elapsed wall clock time (in seconds):26.189 27.26/26.30 o 172 27.76/26.74 c Got one! Elapsed wall clock time (in seconds):26.637 27.76/26.74 o 170 28.16/27.10 c Got one! Elapsed wall clock time (in seconds):26.994 28.16/27.10 o 169 28.47/27.50 c Got one! Elapsed wall clock time (in seconds):27.395 28.47/27.50 o 168 28.66/27.62 c Got one! Elapsed wall clock time (in seconds):27.518 28.66/27.62 o 167 28.76/27.73 c Got one! Elapsed wall clock time (in seconds):27.621 28.76/27.73 o 166 29.06/28.09 c Got one! Elapsed wall clock time (in seconds):27.985 29.06/28.09 o 164 29.48/28.50 c Got one! Elapsed wall clock time (in seconds):28.39 29.48/28.50 o 162 29.68/28.65 c Got one! Elapsed wall clock time (in seconds):28.547 29.68/28.65 o 160 30.38/29.32 c Got one! Elapsed wall clock time (in seconds):29.211 30.38/29.32 o 159 30.48/29.48 c Got one! Elapsed wall clock time (in seconds):29.376 30.48/29.48 o 158 30.68/29.68 c Got one! Elapsed wall clock time (in seconds):29.571 30.68/29.68 o 156 30.98/29.97 c Got one! Elapsed wall clock time (in seconds):29.867 30.98/29.97 o 154 31.08/30.08 c Got one! Elapsed wall clock time (in seconds):29.974 31.08/30.08 o 152 31.28/30.25 c Got one! Elapsed wall clock time (in seconds):30.147 31.28/30.25 o 150 31.69/30.69 c Got one! Elapsed wall clock time (in seconds):30.58 31.69/30.69 o 149 31.99/30.99 c Got one! Elapsed wall clock time (in seconds):30.886 31.99/30.99 o 147 32.19/31.20 c Got one! Elapsed wall clock time (in seconds):31.089 32.19/31.20 o 146 36.02/34.98 c Got one! Elapsed wall clock time (in seconds):34.872 36.02/34.98 o 144 36.82/35.78 c Got one! Elapsed wall clock time (in seconds):35.678 36.82/35.78 o 142 42.06/40.91 c Got one! Elapsed wall clock time (in seconds):40.803 42.06/40.91 o 141 44.27/43.17 c Got one! Elapsed wall clock time (in seconds):43.065 44.27/43.17 o 139 44.77/43.65 c Got one! Elapsed wall clock time (in seconds):43.547 44.77/43.65 o 137 45.79/44.64 c Got one! Elapsed wall clock time (in seconds):44.538 45.79/44.64 o 135 46.19/45.10 c Got one! Elapsed wall clock time (in seconds):44.994 46.19/45.10 o 133 46.79/45.64 c Got one! Elapsed wall clock time (in seconds):45.536 46.79/45.64 o 132 47.29/46.19 c Got one! Elapsed wall clock time (in seconds):46.085 47.29/46.19 o 130 50.50/49.36 c Got one! Elapsed wall clock time (in seconds):49.25 50.50/49.36 o 128 54.84/53.65 c Got one! Elapsed wall clock time (in seconds):53.54 54.84/53.65 o 127 55.24/54.01 c Got one! Elapsed wall clock time (in seconds):53.903 55.24/54.01 o 125 56.57/55.36 c Got one! Elapsed wall clock time (in seconds):55.25 56.57/55.36 o 124 57.17/55.92 c Got one! Elapsed wall clock time (in seconds):55.811 57.17/55.92 o 123 57.27/56.09 c Got one! Elapsed wall clock time (in seconds):55.987 57.27/56.09 o 121 57.67/56.40 c Got one! Elapsed wall clock time (in seconds):56.297 57.67/56.40 o 120 59.47/58.22 c Got one! Elapsed wall clock time (in seconds):58.113 59.47/58.22 o 119 59.97/58.72 c Got one! Elapsed wall clock time (in seconds):58.617 59.97/58.72 o 117 62.47/61.24 c Got one! Elapsed wall clock time (in seconds):61.134 62.47/61.24 o 115 66.42/65.11 c Got one! Elapsed wall clock time (in seconds):65.007 66.42/65.11 o 114 67.92/66.65 c Got one! Elapsed wall clock time (in seconds):66.544 67.92/66.65 o 113 69.83/68.55 c Got one! Elapsed wall clock time (in seconds):68.442 69.83/68.55 o 110 72.44/71.10 c Got one! Elapsed wall clock time (in seconds):70.992 72.44/71.10 o 109 75.24/73.96 c Got one! Elapsed wall clock time (in seconds):73.853 75.24/73.96 o 108 77.27/75.97 c Got one! Elapsed wall clock time (in seconds):75.863 77.27/75.97 o 106 78.77/77.41 c Got one! Elapsed wall clock time (in seconds):77.307 78.77/77.41 o 104 80.90/79.57 c Got one! Elapsed wall clock time (in seconds):79.466 80.90/79.57 o 102 87.52/86.16 c Got one! Elapsed wall clock time (in seconds):86.058 87.52/86.16 o 100 89.22/87.85 c Got one! Elapsed wall clock time (in seconds):87.739 89.22/87.85 o 99 98.57/97.13 c Got one! Elapsed wall clock time (in seconds):97.025 98.57/97.13 o 92 99.49/98.02 c Got one! Elapsed wall clock time (in seconds):97.913 99.49/98.02 o 91 107.52/106.05 c Got one! Elapsed wall clock time (in seconds):105.944 107.52/106.05 o 90 108.35/106.85 c Got one! Elapsed wall clock time (in seconds):106.747 108.35/106.85 o 88 109.65/108.17 c Got one! Elapsed wall clock time (in seconds):108.066 109.65/108.17 o 87 110.15/108.67 c Got one! Elapsed wall clock time (in seconds):108.561 110.15/108.67 o 86 111.35/109.88 c Got one! Elapsed wall clock time (in seconds):109.773 111.35/109.88 o 84 113.48/111.93 c Got one! Elapsed wall clock time (in seconds):111.823 113.48/111.93 o 82 115.78/114.22 c Got one! Elapsed wall clock time (in seconds):114.108 115.78/114.22 o 80 120.70/119.18 c Got one! Elapsed wall clock time (in seconds):119.078 120.70/119.18 o 79 126.04/124.49 c Got one! Elapsed wall clock time (in seconds):124.384 126.04/124.49 o 77 129.96/128.35 c Got one! Elapsed wall clock time (in seconds):128.245 129.96/128.35 o 76 134.76/133.17 c Got one! Elapsed wall clock time (in seconds):133.067 134.76/133.17 o 75 138.38/136.80 c Got one! Elapsed wall clock time (in seconds):136.689 138.38/136.80 o 73 141.79/140.19 c Got one! Elapsed wall clock time (in seconds):140.078 141.79/140.19 o 71 146.53/144.83 c Got one! Elapsed wall clock time (in seconds):144.722 146.53/144.83 o 70 147.03/145.32 c Got one! Elapsed wall clock time (in seconds):145.21 147.03/145.32 o 68 156.88/155.15 c Got one! Elapsed wall clock time (in seconds):155.04 156.88/155.15 o 66 161.43/159.64 c Got one! Elapsed wall clock time (in seconds):159.537 161.43/159.64 o 64 162.93/161.13 c Got one! Elapsed wall clock time (in seconds):161.021 162.93/161.13 o 62 164.54/162.79 c Got one! Elapsed wall clock time (in seconds):162.682 164.54/162.79 o 61 168.13/166.33 c Got one! Elapsed wall clock time (in seconds):166.225 168.13/166.33 o 60 179.48/177.62 c Got one! Elapsed wall clock time (in seconds):177.514 179.48/177.62 o 59 181.98/180.16 c Got one! Elapsed wall clock time (in seconds):180.048 181.98/180.16 o 57 184.08/182.21 c Got one! Elapsed wall clock time (in seconds):182.102 184.08/182.21 o 56 189.31/187.46 c Got one! Elapsed wall clock time (in seconds):187.351 189.31/187.46 o 55 192.56/190.66 c Got one! Elapsed wall clock time (in seconds):190.558 192.56/190.66 o 53 206.51/204.57 c Got one! Elapsed wall clock time (in seconds):204.465 206.51/204.57 o 51 213.53/211.59 c Got one! Elapsed wall clock time (in seconds):211.484 213.53/211.59 o 49 223.97/221.96 c Got one! Elapsed wall clock time (in seconds):221.855 223.97/221.96 o 40 252.17/249.95 c Got one! Elapsed wall clock time (in seconds):249.842 252.17/249.95 o 38 271.43/269.14 c Got one! Elapsed wall clock time (in seconds):269.03 271.43/269.14 o 36 312.75/310.32 c Got one! Elapsed wall clock time (in seconds):310.214 312.75/310.32 o 35 375.93/373.32 c Got one! Elapsed wall clock time (in seconds):373.212 375.93/373.32 o 33 434.50/431.75 c Got one! Elapsed wall clock time (in seconds):431.64 434.50/431.75 o 32 445.28/442.44 c Got one! Elapsed wall clock time (in seconds):442.33 445.28/442.44 o 30 489.20/486.28 c Got one! Elapsed wall clock time (in seconds):486.171 489.20/486.28 o 29 502.89/499.99 c Got one! Elapsed wall clock time (in seconds):499.882 502.89/499.99 o 28 584.12/580.82 c Got one! Elapsed wall clock time (in seconds):580.716 584.12/580.82 o 27 609.30/605.94 c Got one! Elapsed wall clock time (in seconds):605.829 609.30/605.94 o 26 652.94/649.47 c Got one! Elapsed wall clock time (in seconds):649.362 652.94/649.47 o 25 714.46/710.59 c Got one! Elapsed wall clock time (in seconds):710.48 714.46/710.59 o 24 745.53/741.45 c Got one! Elapsed wall clock time (in seconds):741.342 745.53/741.45 o 23 780.29/776.01 c Got one! Elapsed wall clock time (in seconds):775.901 780.29/776.01 o 21 815.48/811.06 c Got one! Elapsed wall clock time (in seconds):810.953 815.48/811.06 o 19 1559.60/1551.44 c Got one! Elapsed wall clock time (in seconds):1551.33 1559.60/1551.44 o 17 1800.02/1791.11 c starts : 1510 1800.02/1791.11 c conflicts : 1543095 1800.02/1791.11 c decisions : 1731907 1800.02/1791.11 c propagations : 16446672 1800.02/1791.11 c inspects : 13934538342 1800.02/1791.11 c learnt literals : 0 1800.02/1791.11 c learnt binary clauses : 0 1800.02/1791.11 c learnt ternary clauses : 0 1800.02/1791.11 c learnt clauses : 1543095 1800.02/1791.11 c root simplifications : 0 1800.02/1791.11 c removed literals (reason simplification) : 0 1800.02/1791.11 c reason swapping (by a shorter reason) : 0 1800.02/1791.11 c Calls to reduceDB : 0 1800.02/1791.11 c speed (decisions/second) : 7226.124761654421 1800.02/1791.11 c non guided choices 8234 1800.02/1791.11 s SATISFIABLE 1800.02/1791.11 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 1800.02/1791.11 c objective function=17 1800.02/1791.11 c Total wall clock time (ms): 1791.005
OK 17
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-3734772-1338702680/watcher-3734772-1338702680 -o /tmp/evaluation-result-3734772-1338702680/solver-3734772-1338702680 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734772-1338702680.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/194 20038 /proc/meminfo: memFree=27387308/32873844 swapFree=7108/7108 [pid=20038] ppid=20036 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/20038/stat : 20038 (java) D 20036 20038 15746 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 336392524 9515008 183 33554432000 1073741824 1073778376 140736151668096 140736151659128 248790204085 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/20038/statm: 2323 183 140 9 0 71 0 [startup+0.031957 s] /proc/loadavg: 2.00 2.00 2.00 3/194 20038 /proc/meminfo: memFree=27387308/32873844 swapFree=7108/7108 [pid=20038] ppid=20036 vsize=2414972 CPUtime=0 cores=0,2,4,6 /proc/20038/stat : 20038 (java) S 20036 20038 15746 0 -1 4202496 3168 0 1 0 0 0 0 0 20 0 10 0 336392524 2472931328 4378 33554432000 1073741824 1073778376 140734912857056 140734912848192 248793563197 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20038/statm: 603743 4378 1536 9 0 594444 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2414972 [startup+0.100248 s] /proc/loadavg: 2.00 2.00 2.00 3/194 20038 /proc/meminfo: memFree=27387308/32873844 swapFree=7108/7108 [pid=20038] ppid=20036 vsize=2957856 CPUtime=0.08 cores=0,2,4,6 /proc/20038/stat : 20038 (java) S 20036 20038 15746 0 -1 4202496 4218 0 1 0 7 1 0 0 20 0 18 0 336392524 3028844544 6445 33554432000 1073741824 1073778376 140734912857056 140734912848192 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20038/statm: 739464 6473 2055 9 0 729885 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2957856 [startup+0.30021 s] /proc/loadavg: 2.00 2.00 2.00 3/194 20038 /proc/meminfo: memFree=27387308/32873844 swapFree=7108/7108 [pid=20038] ppid=20036 vsize=3024420 CPUtime=0.49 cores=0,2,4,6 /proc/20038/stat : 20038 (java) S 20036 20038 15746 0 -1 4202496 7012 0 1 0 47 2 0 0 20 0 19 0 336392524 3097006080 10673 33554432000 1073741824 1073778376 140734912857056 140734912848192 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20038/statm: 756105 10673 2256 9 0 746526 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 3024420 [startup+0.70021 s] /proc/loadavg: 2.00 2.00 2.00 3/194 20038 /proc/meminfo: memFree=27387308/32873844 swapFree=7108/7108 [pid=20038] ppid=20036 vsize=3024420 CPUtime=1.15 cores=0,2,4,6 /proc/20038/stat : 20038 (java) S 20036 20038 15746 0 -1 4202496 11490 0 1 0 111 4 0 0 20 0 19 0 336392524 3097006080 29973 33554432000 1073741824 1073778376 140734912857056 140734912848192 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20038/statm: 756105 29973 2266 9 0 746526 0 Current children cumulated CPU time (s) 1.15 Current children cumulated vsize (KiB) 3024420 [startup+1.50066 s] /proc/loadavg: 2.00 2.00 2.00 3/213 20111 /proc/meminfo: memFree=27205720/32873844 swapFree=7108/7108 [pid=20038] ppid=20036 vsize=3024420 CPUtime=2.12 cores=0,2,4,6 /proc/20038/stat : 20038 (java) S 20036 20038 15746 0 -1 4202496 12228 0 1 0 205 7 0 0 20 0 19 0 336392524 3097006080 78112 33554432000 1073741824 1073778376 140734912857056 140734912848192 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20038/statm: 756105 78112 2270 9 0 746526 0 [pid=20038/tid=20040] ppid=20036 vsize=3024420 CPUtime=1.45 cores=0,2,4,6 /proc/20038/task/20040/stat : 20040 (java) R 20036 20038 15746 0 -1 4202560 2650 0 1 0 140 5 0 0 20 0 19 0 336392525 3097006080 78112 33554432000 1073741824 1073778376 140734912857056 140088400294504 140088227292205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20041] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20041/stat : 20041 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 78112 33554432000 1073741824 1073778376 140734912857056 140088383719720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20042] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20042/stat : 20042 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 78112 33554432000 1073741824 1073778376 140734912857056 140088382666920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20043] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20043/stat : 20043 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 78624 33554432000 1073741824 1073778376 140734912857056 140088381614632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20044] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20044/stat : 20044 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 78624 33554432000 1073741824 1073778376 140734912857056 140088380561832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20045] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20045/stat : 20045 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 78624 33554432000 1073741824 1073778376 140734912857056 140088379509544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20046] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20046/stat : 20046 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 78624 33554432000 1073741824 1073778376 140734912857056 140088378456744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20047] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20047/stat : 20047 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 78624 33554432000 1073741824 1073778376 140734912857056 140088377404456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20048] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20048/stat : 20048 (java) S 20036 20038 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 78624 33554432000 1073741824 1073778376 140734912857056 140088376351656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20049] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20049/stat : 20049 (java) S 20036 20038 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336392528 3097006080 78624 33554432000 1073741824 1073778376 140734912857056 140088363940072 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20050] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20050/stat : 20050 (java) S 20036 20038 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336392529 3097006080 78624 33554432000 1073741824 1073778376 140734912857056 140088362886136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20051] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20051/stat : 20051 (java) S 20036 20038 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336392529 3097006080 78624 33554432000 1073741824 1073778376 140734912857056 140088361833736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20052] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20052/stat : 20052 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 78624 33554432000 1073741824 1073778376 140734912857056 140088360782224 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20053] ppid=20036 vsize=3024420 CPUtime=0.29 cores=0,2,4,6 /proc/20038/task/20053/stat : 20053 (java) S 20036 20038 15746 0 -1 4202560 2419 0 0 0 29 0 0 0 20 0 19 0 336392531 3097006080 78624 33554432000 1073741824 1073778376 140734912857056 140088359729848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20054] ppid=20036 vsize=3024420 CPUtime=0.33 cores=0,2,4,6 /proc/20038/task/20054/stat : 20054 (java) S 20036 20038 15746 0 -1 4202560 5825 0 0 0 32 1 0 0 20 0 19 0 336392531 3097006080 78624 33554432000 1073741824 1073778376 140734912857056 140088358677048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20055] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20055/stat : 20055 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 78624 33554432000 1073741824 1073778376 140734912857056 140088357624952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20056] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20056/stat : 20056 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 78624 33554432000 1073741824 1073778376 140734912857056 140088356572360 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.12 Current children cumulated vsize (KiB) 3024420 [startup+3.10065 s] /proc/loadavg: 2.00 2.00 2.00 4/213 20141 /proc/meminfo: memFree=26932268/32873844 swapFree=7108/7108 [pid=20038] ppid=20036 vsize=3024420 CPUtime=3.84 cores=0,2,4,6 /proc/20038/stat : 20038 (java) S 20036 20038 15746 0 -1 4202496 12438 0 1 0 374 10 0 0 20 0 19 0 336392524 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140734912848192 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20038/statm: 756105 115513 2287 9 0 746526 0 [pid=20038/tid=20040] ppid=20036 vsize=3024420 CPUtime=3.04 cores=0,2,4,6 /proc/20038/task/20040/stat : 20040 (java) R 20036 20038 15746 0 -1 4202560 2723 0 1 0 296 8 0 0 20 0 19 0 336392525 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088400294760 140088227291778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20041] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20041/stat : 20041 (java) S 20036 20038 15746 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088383719720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20042] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20042/stat : 20042 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088382666920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20043] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20043/stat : 20043 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088381614632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20044] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20044/stat : 20044 (java) S 20036 20038 15746 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088380561832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20045] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20045/stat : 20045 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088379509544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20046] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20046/stat : 20046 (java) S 20036 20038 15746 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088378456744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20047] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20047/stat : 20047 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088377404456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20048] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20048/stat : 20048 (java) S 20036 20038 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088376351656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20049] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20049/stat : 20049 (java) S 20036 20038 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336392528 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088363940072 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20050] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20050/stat : 20050 (java) S 20036 20038 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336392529 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088362886136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20051] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20051/stat : 20051 (java) S 20036 20038 15746 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336392529 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088361833736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20052] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20052/stat : 20052 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088360782224 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20053] ppid=20036 vsize=3024420 CPUtime=0.35 cores=0,2,4,6 /proc/20038/task/20053/stat : 20053 (java) S 20036 20038 15746 0 -1 4202560 2451 0 0 0 35 0 0 0 20 0 19 0 336392531 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088359729848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20054] ppid=20036 vsize=3024420 CPUtime=0.37 cores=0,2,4,6 /proc/20038/task/20054/stat : 20054 (java) S 20036 20038 15746 0 -1 4202560 5825 0 0 0 36 1 0 0 20 0 19 0 336392531 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088358677048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20055] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20055/stat : 20055 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088357624952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20056] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20056/stat : 20056 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 115513 33554432000 1073741824 1073778376 140734912857056 140088356572360 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.84 Current children cumulated vsize (KiB) 3024420 [startup+6.30068 s] /proc/loadavg: 1.92 1.98 1.99 3/213 20197 /proc/meminfo: memFree=26892992/32873844 swapFree=7108/7108 [pid=20038] ppid=20036 vsize=3024420 CPUtime=7.09 cores=0,2,4,6 /proc/20038/stat : 20038 (java) S 20036 20038 15746 0 -1 4202496 12614 0 1 0 697 12 0 0 20 0 19 0 336392524 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140734912848192 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20038/statm: 756105 120595 2288 9 0 746526 0 [pid=20038/tid=20040] ppid=20036 vsize=3024420 CPUtime=6.19 cores=0,2,4,6 /proc/20038/task/20040/stat : 20040 (java) R 20036 20038 15746 0 -1 4202560 2741 0 1 0 611 8 0 0 20 0 19 0 336392525 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088400292320 140088227305120 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20041] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20041/stat : 20041 (java) S 20036 20038 15746 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088383719720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20042] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20042/stat : 20042 (java) S 20036 20038 15746 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088382666920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20043] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20043/stat : 20043 (java) S 20036 20038 15746 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088381614632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20044] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20044/stat : 20044 (java) S 20036 20038 15746 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088380561832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20045] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20045/stat : 20045 (java) S 20036 20038 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088379509544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20046] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20046/stat : 20046 (java) S 20036 20038 15746 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088378456744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20047] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20047/stat : 20047 (java) S 20036 20038 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088377404456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20048] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20048/stat : 20048 (java) S 20036 20038 15746 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336392527 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088376351656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20049] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20049/stat : 20049 (java) S 20036 20038 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336392528 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088363940072 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20050] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20050/stat : 20050 (java) S 20036 20038 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336392529 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088362886136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20051] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20051/stat : 20051 (java) S 20036 20038 15746 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 336392529 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088361833736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20052] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20052/stat : 20052 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088360782224 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20053] ppid=20036 vsize=3024420 CPUtime=0.36 cores=0,2,4,6 /proc/20038/task/20053/stat : 20053 (java) S 20036 20038 15746 0 -1 4202560 2451 0 0 0 36 0 0 0 20 0 19 0 336392531 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088359729848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20054] ppid=20036 vsize=3024420 CPUtime=0.37 cores=0,2,4,6 /proc/20038/task/20054/stat : 20054 (java) S 20036 20038 15746 0 -1 4202560 5825 0 0 0 36 1 0 0 20 0 19 0 336392531 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088358677048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20055] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20055/stat : 20055 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088357624952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20056] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20056/stat : 20056 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 120595 33554432000 1073741824 1073778376 140734912857056 140088356572360 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.09 Current children cumulated vsize (KiB) 3024420 [startup+12.7006 s] /proc/loadavg: 1.93 1.98 1.99 3/213 20261 /proc/meminfo: memFree=26787660/32873844 swapFree=7108/7108 [pid=20038] ppid=20036 vsize=3024420 CPUtime=13.66 cores=0,2,4,6 /proc/20038/stat : 20038 (java) S 20036 20038 15746 0 -1 4202496 12928 0 1 0 1346 20 0 0 20 0 19 0 336392524 3097006080 146683 33554432000 1073741824 1073778376 140734912857056 140734912848192 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20038/statm: 756105 146683 2288 9 0 746526 0 [pid=20038/tid=20040] ppid=20036 vsize=3024420 CPUtime=12.47 cores=0,2,4,6 ################ # More data... # ################ [pid=20038/tid=20053] ppid=20036 vsize=3024420 CPUtime=0.36 cores=0,2,4,6 /proc/20038/task/20053/stat : 20053 (java) S 20036 20038 15746 0 -1 4202560 2451 0 0 0 36 0 0 0 20 0 19 0 336392531 3097006080 273669 33554432000 1073741824 1073778376 140734912857056 140088359729848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20054] ppid=20036 vsize=3024420 CPUtime=0.39 cores=0,2,4,6 /proc/20038/task/20054/stat : 20054 (java) S 20036 20038 15746 0 -1 4202560 5826 0 0 0 37 2 0 0 20 0 19 0 336392531 3097006080 273669 33554432000 1073741824 1073778376 140734912857056 140088358677048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20055] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20055/stat : 20055 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 273669 33554432000 1073741824 1073778376 140734912857056 140088357624952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20056] ppid=20036 vsize=3024420 CPUtime=0.65 cores=0,2,4,6 /proc/20038/task/20056/stat : 20056 (java) S 20036 20038 15746 0 -1 4202560 99 0 0 0 23 42 0 0 20 0 19 0 336392531 3097006080 273669 33554432000 1073741824 1073778376 140734912857056 140088356572360 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20697] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20697/stat : 20697 (java) S 20036 20038 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336547669 3097006080 273669 33554432000 1073741824 1073778376 140734912857056 140088354371112 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1730.99 Current children cumulated vsize (KiB) 3024420 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/213 20705 /proc/meminfo: memFree=26239764/32873844 swapFree=7108/7108 [pid=20038] ppid=20036 vsize=3024420 CPUtime=1791.22 cores=0,2,4,6 /proc/20038/stat : 20038 (java) S 20036 20038 15746 0 -1 4202496 15179 0 1 0 179052 70 0 0 20 0 19 0 336392524 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140734912848192 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20038/statm: 756105 275228 2288 9 0 746526 0 [pid=20038/tid=20040] ppid=20036 vsize=3024420 CPUtime=1774.17 cores=0,2,4,6 /proc/20038/task/20040/stat : 20040 (java) R 20036 20038 15746 0 -1 4202560 2931 0 1 0 177381 36 0 0 20 0 19 0 336392525 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088400293072 140088227378532 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20041] ppid=20036 vsize=3024420 CPUtime=1.45 cores=0,2,4,6 /proc/20038/task/20041/stat : 20041 (java) S 20036 20038 15746 0 -1 4202560 242 0 0 0 141 4 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088383719720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20042] ppid=20036 vsize=3024420 CPUtime=1.43 cores=0,2,4,6 /proc/20038/task/20042/stat : 20042 (java) S 20036 20038 15746 0 -1 4202560 286 0 0 0 137 6 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088382666920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20043] ppid=20036 vsize=3024420 CPUtime=1.42 cores=0,2,4,6 /proc/20038/task/20043/stat : 20043 (java) S 20036 20038 15746 0 -1 4202560 191 0 0 0 137 5 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088381614632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20044] ppid=20036 vsize=3024420 CPUtime=1.48 cores=0,2,4,6 /proc/20038/task/20044/stat : 20044 (java) S 20036 20038 15746 0 -1 4202560 219 0 0 0 143 5 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088380561832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20045] ppid=20036 vsize=3024420 CPUtime=1.51 cores=0,2,4,6 /proc/20038/task/20045/stat : 20045 (java) S 20036 20038 15746 0 -1 4202560 199 0 0 0 146 5 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088379509544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20046] ppid=20036 vsize=3024420 CPUtime=1.46 cores=0,2,4,6 /proc/20038/task/20046/stat : 20046 (java) S 20036 20038 15746 0 -1 4202560 216 0 0 0 141 5 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088378456744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20047] ppid=20036 vsize=3024420 CPUtime=1.27 cores=0,2,4,6 /proc/20038/task/20047/stat : 20047 (java) S 20036 20038 15746 0 -1 4202560 213 0 0 0 124 3 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088377404456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20048] ppid=20036 vsize=3024420 CPUtime=1.44 cores=0,2,4,6 /proc/20038/task/20048/stat : 20048 (java) S 20036 20038 15746 0 -1 4202560 212 0 0 0 139 5 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088376351656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20049] ppid=20036 vsize=3024420 CPUtime=0.05 cores=0,2,4,6 /proc/20038/task/20049/stat : 20049 (java) S 20036 20038 15746 0 -1 4202560 99 0 0 0 2 3 0 0 20 0 19 0 336392528 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088363940072 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20050] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20050/stat : 20050 (java) S 20036 20038 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336392529 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088362886136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20051] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20051/stat : 20051 (java) S 20036 20038 15746 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 336392529 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088361833736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20052] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20052/stat : 20052 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088360782224 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20053] ppid=20036 vsize=3024420 CPUtime=0.36 cores=0,2,4,6 /proc/20038/task/20053/stat : 20053 (java) S 20036 20038 15746 0 -1 4202560 2451 0 0 0 36 0 0 0 20 0 19 0 336392531 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088359729848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20054] ppid=20036 vsize=3024420 CPUtime=0.39 cores=0,2,4,6 /proc/20038/task/20054/stat : 20054 (java) S 20036 20038 15746 0 -1 4202560 5826 0 0 0 37 2 0 0 20 0 19 0 336392531 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088358677048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20055] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20055/stat : 20055 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088357624952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20056] ppid=20036 vsize=3024420 CPUtime=0.67 cores=0,2,4,6 /proc/20038/task/20056/stat : 20056 (java) S 20036 20038 15746 0 -1 4202560 103 0 0 0 24 43 0 0 20 0 19 0 336392531 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088356572360 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20697] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20697/stat : 20697 (java) S 20036 20038 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336547669 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088354371112 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1791.22 Current children cumulated vsize (KiB) 3024420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.1 s] /proc/loadavg: 2.00 2.02 2.00 3/213 20705 /proc/meminfo: memFree=26237724/32873844 swapFree=7108/7108 [pid=20038] ppid=20036 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6 /proc/20038/stat : 20038 (java) S 20036 20038 15746 0 -1 4202496 15179 0 1 0 179932 70 0 0 20 0 19 0 336392524 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140734912848192 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20038/statm: 756105 275228 2288 9 0 746526 0 [pid=20038/tid=20040] ppid=20036 vsize=3024420 CPUtime=1782.95 cores=0,2,4,6 /proc/20038/task/20040/stat : 20040 (java) R 20036 20038 15746 0 -1 4202560 2931 0 1 0 178258 37 0 0 20 0 19 0 336392525 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088400293072 140088227378700 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20041] ppid=20036 vsize=3024420 CPUtime=1.45 cores=0,2,4,6 /proc/20038/task/20041/stat : 20041 (java) S 20036 20038 15746 0 -1 4202560 242 0 0 0 141 4 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088383719720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20042] ppid=20036 vsize=3024420 CPUtime=1.43 cores=0,2,4,6 /proc/20038/task/20042/stat : 20042 (java) S 20036 20038 15746 0 -1 4202560 286 0 0 0 137 6 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088382666920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20043] ppid=20036 vsize=3024420 CPUtime=1.42 cores=0,2,4,6 /proc/20038/task/20043/stat : 20043 (java) S 20036 20038 15746 0 -1 4202560 191 0 0 0 137 5 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088381614632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20044] ppid=20036 vsize=3024420 CPUtime=1.48 cores=0,2,4,6 /proc/20038/task/20044/stat : 20044 (java) S 20036 20038 15746 0 -1 4202560 219 0 0 0 143 5 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088380561832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20045] ppid=20036 vsize=3024420 CPUtime=1.51 cores=0,2,4,6 /proc/20038/task/20045/stat : 20045 (java) S 20036 20038 15746 0 -1 4202560 199 0 0 0 146 5 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088379509544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20046] ppid=20036 vsize=3024420 CPUtime=1.46 cores=0,2,4,6 /proc/20038/task/20046/stat : 20046 (java) S 20036 20038 15746 0 -1 4202560 216 0 0 0 141 5 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088378456744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20047] ppid=20036 vsize=3024420 CPUtime=1.27 cores=0,2,4,6 /proc/20038/task/20047/stat : 20047 (java) S 20036 20038 15746 0 -1 4202560 213 0 0 0 124 3 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088377404456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20048] ppid=20036 vsize=3024420 CPUtime=1.44 cores=0,2,4,6 /proc/20038/task/20048/stat : 20048 (java) S 20036 20038 15746 0 -1 4202560 212 0 0 0 139 5 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088376351656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20049] ppid=20036 vsize=3024420 CPUtime=0.05 cores=0,2,4,6 /proc/20038/task/20049/stat : 20049 (java) S 20036 20038 15746 0 -1 4202560 99 0 0 0 2 3 0 0 20 0 19 0 336392528 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088363940072 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20050] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20050/stat : 20050 (java) S 20036 20038 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336392529 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088362886136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20051] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20051/stat : 20051 (java) S 20036 20038 15746 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 336392529 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088361833736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20052] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20052/stat : 20052 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088360782224 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20053] ppid=20036 vsize=3024420 CPUtime=0.36 cores=0,2,4,6 /proc/20038/task/20053/stat : 20053 (java) S 20036 20038 15746 0 -1 4202560 2451 0 0 0 36 0 0 0 20 0 19 0 336392531 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088359729848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20054] ppid=20036 vsize=3024420 CPUtime=0.39 cores=0,2,4,6 /proc/20038/task/20054/stat : 20054 (java) S 20036 20038 15746 0 -1 4202560 5826 0 0 0 37 2 0 0 20 0 19 0 336392531 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088358677048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20055] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20055/stat : 20055 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088357624952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20056] ppid=20036 vsize=3024420 CPUtime=0.68 cores=0,2,4,6 /proc/20038/task/20056/stat : 20056 (java) S 20036 20038 15746 0 -1 4202560 103 0 0 0 24 44 0 0 20 0 19 0 336392531 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088356572360 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20697] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20697/stat : 20697 (java) S 20036 20038 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336547669 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088354371112 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 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+1791.1 s] /proc/loadavg: 2.00 2.02 2.00 3/213 20705 /proc/meminfo: memFree=26237724/32873844 swapFree=7108/7108 [pid=20038] ppid=20036 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6 /proc/20038/stat : 20038 (java) S 20036 20038 15746 0 -1 4202496 15179 0 1 0 179932 70 0 0 20 0 19 0 336392524 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140734912848192 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20038/statm: 756105 275228 2288 9 0 746526 0 [pid=20038/tid=20040] ppid=20036 vsize=3024420 CPUtime=1782.95 cores=0,2,4,6 /proc/20038/task/20040/stat : 20040 (java) R 20036 20038 15746 0 -1 4202560 2931 0 1 0 178258 37 0 0 20 0 19 0 336392525 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088400293072 140088227378700 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20041] ppid=20036 vsize=3024420 CPUtime=1.45 cores=0,2,4,6 /proc/20038/task/20041/stat : 20041 (java) S 20036 20038 15746 0 -1 4202560 242 0 0 0 141 4 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088383719720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20042] ppid=20036 vsize=3024420 CPUtime=1.43 cores=0,2,4,6 /proc/20038/task/20042/stat : 20042 (java) S 20036 20038 15746 0 -1 4202560 286 0 0 0 137 6 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088382666920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20043] ppid=20036 vsize=3024420 CPUtime=1.42 cores=0,2,4,6 /proc/20038/task/20043/stat : 20043 (java) S 20036 20038 15746 0 -1 4202560 191 0 0 0 137 5 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088381614632 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20044] ppid=20036 vsize=3024420 CPUtime=1.48 cores=0,2,4,6 /proc/20038/task/20044/stat : 20044 (java) S 20036 20038 15746 0 -1 4202560 219 0 0 0 143 5 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088380561832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20045] ppid=20036 vsize=3024420 CPUtime=1.51 cores=0,2,4,6 /proc/20038/task/20045/stat : 20045 (java) S 20036 20038 15746 0 -1 4202560 199 0 0 0 146 5 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088379509544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20046] ppid=20036 vsize=3024420 CPUtime=1.46 cores=0,2,4,6 /proc/20038/task/20046/stat : 20046 (java) S 20036 20038 15746 0 -1 4202560 216 0 0 0 141 5 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088378456744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20047] ppid=20036 vsize=3024420 CPUtime=1.27 cores=0,2,4,6 /proc/20038/task/20047/stat : 20047 (java) S 20036 20038 15746 0 -1 4202560 213 0 0 0 124 3 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088377404456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20048] ppid=20036 vsize=3024420 CPUtime=1.44 cores=0,2,4,6 /proc/20038/task/20048/stat : 20048 (java) S 20036 20038 15746 0 -1 4202560 212 0 0 0 139 5 0 0 20 0 19 0 336392527 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088376351656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20049] ppid=20036 vsize=3024420 CPUtime=0.05 cores=0,2,4,6 /proc/20038/task/20049/stat : 20049 (java) S 20036 20038 15746 0 -1 4202560 99 0 0 0 2 3 0 0 20 0 19 0 336392528 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088363940072 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20050] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20050/stat : 20050 (java) S 20036 20038 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336392529 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088362886136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20038/tid=20051] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20051/stat : 20051 (java) S 20036 20038 15746 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 336392529 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088361833736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20038/tid=20052] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20052/stat : 20052 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088360782224 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20053] ppid=20036 vsize=3024420 CPUtime=0.36 cores=0,2,4,6 /proc/20038/task/20053/stat : 20053 (java) S 20036 20038 15746 0 -1 4202560 2451 0 0 0 36 0 0 0 20 0 19 0 336392531 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088359729848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20054] ppid=20036 vsize=3024420 CPUtime=0.39 cores=0,2,4,6 /proc/20038/task/20054/stat : 20054 (java) S 20036 20038 15746 0 -1 4202560 5826 0 0 0 37 2 0 0 20 0 19 0 336392531 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088358677048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20055] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20055/stat : 20055 (java) S 20036 20038 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336392531 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088357624952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20038/tid=20056] ppid=20036 vsize=3024420 CPUtime=0.68 cores=0,2,4,6 /proc/20038/task/20056/stat : 20056 (java) S 20036 20038 15746 0 -1 4202560 103 0 0 0 24 44 0 0 20 0 19 0 336392531 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088356572360 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20038/tid=20697] ppid=20036 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20038/task/20697/stat : 20697 (java) S 20036 20038 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336547669 3097006080 275228 33554432000 1073741824 1073778376 140734912857056 140088354371112 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 3024420 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20038 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=787150 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=382789 # CPU time returned by wait4() is 1796.17 # while last known CPU time is 1800.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1791.13 CPU time (s): 1800.02 CPU user time (s): 1799.32 CPU system time (s): 0.7 CPU usage (%): 100.496 Max. virtual memory (cumulated for all children) (KiB): 3024748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.79 system time used= 1.38279 maximum resident set size= 1101028 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15211 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1672 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 43858 involuntary context switches= 37378 runsolver used 5.87011 second user time and 14.7428 second system time The end
Begin job on node139 at 2012-06-03 07:51:20 IDJOB=3734772 IDBENCH=2902 IDSOLVER=2319 FILE ID=node139/3734772-1338702680 RUNJOBID= node139-1338678624-15765 PBS_JOBID= 14636674 Free space on /tmp= 71096 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_6_50_1.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734772-1338702680/watcher-3734772-1338702680 -o /tmp/evaluation-result-3734772-1338702680/solver-3734772-1338702680 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734772-1338702680.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb RANDOM SEED=699217947 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27387936 kB Buffers: 499020 kB Cached: 3287968 kB SwapCached: 828 kB Active: 2500164 kB Inactive: 2102444 kB Active(anon): 809548 kB Inactive(anon): 7952 kB Active(file): 1690616 kB Inactive(file): 2094492 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67104688 kB Dirty: 3544 kB Writeback: 0 kB AnonPages: 884692 kB Mapped: 19500 kB Shmem: 8 kB Slab: 732972 kB SReclaimable: 175004 kB SUnreclaim: 557968 kB KernelStack: 1768 kB PageTables: 5456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1826812 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 849920 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= 71092 MiB End job on node139 at 2012-06-03 08:21:13