Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo Resolution 2.1.1 | SAT (TO) | 50 | 1800.47 | 1797.33 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 13 |
Best CPU time to get the best result obtained on this benchmark | 1802.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
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 | 75 |
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 | 1531 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5104 |
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.08/0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre 0.08/0.15 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.15 c See www.sat4j.org for details. 0.08/0.16 c version 2.1.1.v20090612 0.08/0.16 c sun.arch.data.model 32 0.08/0.16 c java.version 1.6.0_12 0.08/0.16 c os.name Linux 0.08/0.16 c os.version 2.6.9-22.EL.rootsmp 0.08/0.16 c os.arch i386 0.08/0.16 c Free memory 1342000320 0.08/0.16 c Max memory 1344274432 0.08/0.16 c Total memory 1344274432 0.08/0.16 c Number of processors 2 0.21/0.22 c Pseudo Boolean Optimization 0.21/0.22 c --- Begin Solver configuration --- 0.21/0.22 c Stops conflict analysis at the first Unique Implication Point 0.21/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90 0.21/0.22 c Learn all clauses as in MiniSAT 0.21/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.21/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.21/0.22 c Expensive reason simplification 0.21/0.22 c MiniSAT restarts strategy 0.21/0.22 c Memory based learned constraints deletion strategy 0.21/0.22 c timeout=2147483s 0.21/0.22 c DB Simplification allowed=false 0.21/0.22 c --- End Solver configuration --- 0.21/0.22 c solving HOME/instance-1856719-1244922570.opb 0.21/0.22 c reading problem ... 0.32/0.34 c ... done. Wall clock time 0.117s. 0.32/0.34 c #vars 172 0.32/0.34 c #constraints 14 0.32/0.34 c constraints type 0.32/0.34 c org.sat4j.pb.constraints.pb.MaxWatchPb => 14 0.87/0.64 c SATISFIABLE 0.87/0.64 c OPTIMIZING... 0.87/0.64 c Got one! Elapsed wall clock time (in seconds):0.418 0.87/0.64 o 2811 1.03/0.70 c Got one! Elapsed wall clock time (in seconds):0.475 1.03/0.70 o 2809 1.03/0.73 c Got one! Elapsed wall clock time (in seconds):0.51 1.03/0.73 o 2807 1.03/0.77 c Got one! Elapsed wall clock time (in seconds):0.545 1.03/0.77 o 2806 1.17/0.80 c Got one! Elapsed wall clock time (in seconds):0.581 1.17/0.80 o 2805 1.17/0.85 c Got one! Elapsed wall clock time (in seconds):0.627 1.17/0.85 o 2478 1.17/0.89 c Got one! Elapsed wall clock time (in seconds):0.664 1.17/0.89 o 2388 1.33/0.92 c Got one! Elapsed wall clock time (in seconds):0.696 1.33/0.92 o 2370 1.33/0.95 c Got one! Elapsed wall clock time (in seconds):0.727 1.33/0.95 o 2360 1.33/0.98 c Got one! Elapsed wall clock time (in seconds):0.757 1.33/0.98 o 2358 1.44/1.01 c Got one! Elapsed wall clock time (in seconds):0.787 1.44/1.01 o 2356 1.44/1.04 c Got one! Elapsed wall clock time (in seconds):0.816 1.44/1.04 o 2341 1.44/1.07 c Got one! Elapsed wall clock time (in seconds):0.851 1.44/1.08 o 2340 1.55/1.10 c Got one! Elapsed wall clock time (in seconds):0.88 1.55/1.10 o 2339 1.55/1.14 c Got one! Elapsed wall clock time (in seconds):0.921 1.55/1.14 o 2335 1.55/1.18 c Got one! Elapsed wall clock time (in seconds):0.954 1.55/1.18 o 2312 1.73/1.21 c Got one! Elapsed wall clock time (in seconds):0.985 1.73/1.21 o 2290 1.73/1.29 c Got one! Elapsed wall clock time (in seconds):1.068 1.73/1.29 o 2288 1.93/1.33 c Got one! Elapsed wall clock time (in seconds):1.105 1.93/1.33 o 2286 1.93/1.36 c Got one! Elapsed wall clock time (in seconds):1.138 1.93/1.36 o 2210 2.13/1.41 c Got one! Elapsed wall clock time (in seconds):1.187 2.13/1.41 o 2208 2.13/1.49 c Got one! Elapsed wall clock time (in seconds):1.264 2.13/1.49 o 2207 2.53/1.64 c Got one! Elapsed wall clock time (in seconds):1.415 2.53/1.64 o 2199 2.53/1.67 c Got one! Elapsed wall clock time (in seconds):1.443 2.53/1.67 o 2086 2.53/1.69 c Got one! Elapsed wall clock time (in seconds):1.466 2.53/1.69 o 2085 2.68/1.72 c Got one! Elapsed wall clock time (in seconds):1.493 2.68/1.72 o 2084 2.68/1.74 c Got one! Elapsed wall clock time (in seconds):1.516 2.68/1.74 o 2083 2.87/1.80 c Got one! Elapsed wall clock time (in seconds):1.575 2.87/1.80 o 2082 2.87/1.83 c Got one! Elapsed wall clock time (in seconds):1.603 2.87/1.83 o 2072 2.87/1.86 c Got one! Elapsed wall clock time (in seconds):1.638 2.87/1.86 o 2067 2.87/1.89 c Got one! Elapsed wall clock time (in seconds):1.666 2.87/1.89 o 2066 2.99/1.92 c Got one! Elapsed wall clock time (in seconds):1.698 2.99/1.92 o 2064 2.99/1.95 c Got one! Elapsed wall clock time (in seconds):1.725 2.99/1.95 o 2062 2.99/1.97 c Got one! Elapsed wall clock time (in seconds):1.75 2.99/1.97 o 2055 3.09/2.01 c Got one! Elapsed wall clock time (in seconds):1.784 3.09/2.01 o 2017 3.09/2.04 c Got one! Elapsed wall clock time (in seconds):1.812 3.09/2.04 o 2015 3.09/2.07 c Got one! Elapsed wall clock time (in seconds):1.842 3.09/2.07 o 2013 3.09/2.09 c Got one! Elapsed wall clock time (in seconds):1.871 3.09/2.09 o 2012 3.21/2.13 c Got one! Elapsed wall clock time (in seconds):1.907 3.21/2.13 o 1825 3.21/2.17 c Got one! Elapsed wall clock time (in seconds):1.946 3.21/2.17 o 1824 3.21/2.20 c Got one! Elapsed wall clock time (in seconds):1.976 3.21/2.20 o 1822 3.30/2.23 c Got one! Elapsed wall clock time (in seconds):2.005 3.30/2.23 o 1821 3.30/2.26 c Got one! Elapsed wall clock time (in seconds):2.037 3.30/2.26 o 1819 3.40/2.30 c Got one! Elapsed wall clock time (in seconds):2.073 3.40/2.30 o 1817 3.40/2.38 c Got one! Elapsed wall clock time (in seconds):2.155 3.40/2.38 o 1816 3.58/2.41 c Got one! Elapsed wall clock time (in seconds):2.186 3.58/2.41 o 1813 3.58/2.44 c Got one! Elapsed wall clock time (in seconds):2.213 3.58/2.44 o 1803 3.58/2.48 c Got one! Elapsed wall clock time (in seconds):2.255 3.58/2.48 o 1802 3.67/2.51 c Got one! Elapsed wall clock time (in seconds):2.285 3.67/2.51 o 1800 3.67/2.55 c Got one! Elapsed wall clock time (in seconds):2.324 3.67/2.55 o 1798 3.67/2.59 c Got one! Elapsed wall clock time (in seconds):2.367 3.67/2.59 o 1790 3.78/2.62 c Got one! Elapsed wall clock time (in seconds):2.397 3.78/2.62 o 1787 3.78/2.66 c Got one! Elapsed wall clock time (in seconds):2.432 3.78/2.66 o 1784 3.78/2.69 c Got one! Elapsed wall clock time (in seconds):2.462 3.78/2.69 o 1782 3.87/2.72 c Got one! Elapsed wall clock time (in seconds):2.496 3.87/2.72 o 1739 3.87/2.75 c Got one! Elapsed wall clock time (in seconds):2.526 3.87/2.75 o 1738 3.87/2.79 c Got one! Elapsed wall clock time (in seconds):2.566 3.87/2.79 o 1737 3.97/2.83 c Got one! Elapsed wall clock time (in seconds):2.602 3.97/2.83 o 1735 3.97/2.87 c Got one! Elapsed wall clock time (in seconds):2.649 3.97/2.87 o 1733 4.10/2.92 c Got one! Elapsed wall clock time (in seconds):2.699 4.10/2.92 o 1731 4.10/2.96 c Got one! Elapsed wall clock time (in seconds):2.739 4.10/2.96 o 1729 4.19/3.00 c Got one! Elapsed wall clock time (in seconds):2.774 4.19/3.00 o 1727 4.19/3.03 c Got one! Elapsed wall clock time (in seconds):2.809 4.19/3.03 o 1725 4.19/3.09 c Got one! Elapsed wall clock time (in seconds):2.867 4.19/3.09 o 1723 4.30/3.13 c Got one! Elapsed wall clock time (in seconds):2.903 4.30/3.13 o 1717 4.30/3.17 c Got one! Elapsed wall clock time (in seconds):2.942 4.30/3.17 o 1716 4.40/3.21 c Got one! Elapsed wall clock time (in seconds):2.99 4.40/3.21 o 1715 4.40/3.29 c Got one! Elapsed wall clock time (in seconds):3.063 4.40/3.29 o 1014 4.50/3.36 c Got one! Elapsed wall clock time (in seconds):3.14 4.50/3.36 o 1012 4.59/3.43 c Got one! Elapsed wall clock time (in seconds):3.21 4.59/3.43 o 1010 4.70/3.51 c Got one! Elapsed wall clock time (in seconds):3.289 4.70/3.51 o 846 4.70/3.57 c Got one! Elapsed wall clock time (in seconds):3.348 4.70/3.57 o 800 4.84/3.63 c Got one! Elapsed wall clock time (in seconds):3.403 4.84/3.63 o 798 4.84/3.67 c Got one! Elapsed wall clock time (in seconds):3.449 4.84/3.68 o 796 4.98/3.72 c Got one! Elapsed wall clock time (in seconds):3.499 4.98/3.72 o 795 4.98/3.78 c Got one! Elapsed wall clock time (in seconds):3.557 4.98/3.78 o 793 5.08/3.82 c Got one! Elapsed wall clock time (in seconds):3.597 5.08/3.82 o 792 5.08/3.87 c Got one! Elapsed wall clock time (in seconds):3.651 5.08/3.87 o 788 5.18/3.92 c Got one! Elapsed wall clock time (in seconds):3.701 5.18/3.92 o 787 5.18/3.98 c Got one! Elapsed wall clock time (in seconds):3.756 5.18/3.98 o 785 5.30/4.04 c Got one! Elapsed wall clock time (in seconds):3.819 5.30/4.04 o 770 5.30/4.10 c Got one! Elapsed wall clock time (in seconds):3.872 5.30/4.10 o 769 5.40/4.15 c Got one! Elapsed wall clock time (in seconds):3.929 5.40/4.15 o 767 5.50/4.23 c Got one! Elapsed wall clock time (in seconds):4.009 5.50/4.23 o 761 5.60/4.31 c Got one! Elapsed wall clock time (in seconds):4.082 5.60/4.31 o 759 5.60/4.36 c Got one! Elapsed wall clock time (in seconds):4.137 5.60/4.36 o 758 5.71/4.42 c Got one! Elapsed wall clock time (in seconds):4.194 5.71/4.42 o 653 5.71/4.49 c Got one! Elapsed wall clock time (in seconds):4.265 5.71/4.49 o 636 5.80/4.55 c Got one! Elapsed wall clock time (in seconds):4.329 5.80/4.55 o 635 5.90/4.61 c Got one! Elapsed wall clock time (in seconds):4.39 5.90/4.61 o 633 5.90/4.67 c Got one! Elapsed wall clock time (in seconds):4.445 5.90/4.67 o 632 6.02/4.75 c Got one! Elapsed wall clock time (in seconds):4.524 6.02/4.75 o 628 6.12/4.82 c Got one! Elapsed wall clock time (in seconds):4.599 6.12/4.82 o 627 6.12/4.89 c Got one! Elapsed wall clock time (in seconds):4.667 6.12/4.89 o 625 6.22/4.96 c Got one! Elapsed wall clock time (in seconds):4.737 6.22/4.96 o 624 6.32/5.05 c Got one! Elapsed wall clock time (in seconds):4.822 6.32/5.05 o 622 6.42/5.11 c Got one! Elapsed wall clock time (in seconds):4.888 6.42/5.11 o 621 6.42/5.17 c Got one! Elapsed wall clock time (in seconds):4.949 6.42/5.17 o 620 6.52/5.23 c Got one! Elapsed wall clock time (in seconds):5.004 6.52/5.23 o 619 6.62/5.31 c Got one! Elapsed wall clock time (in seconds):5.091 6.62/5.31 o 618 6.62/5.39 c Got one! Elapsed wall clock time (in seconds):5.163 6.62/5.39 o 616 6.73/5.48 c Got one! Elapsed wall clock time (in seconds):5.255 6.73/5.48 o 615 6.83/5.56 c Got one! Elapsed wall clock time (in seconds):5.339 6.83/5.56 o 614 6.92/5.66 c Got one! Elapsed wall clock time (in seconds):5.441 6.92/5.66 o 612 7.02/5.75 c Got one! Elapsed wall clock time (in seconds):5.53 7.02/5.75 o 610 7.12/5.83 c Got one! Elapsed wall clock time (in seconds):5.605 7.12/5.83 o 608 7.22/5.91 c Got one! Elapsed wall clock time (in seconds):5.687 7.22/5.91 o 604 7.32/6.01 c Got one! Elapsed wall clock time (in seconds):5.786 7.32/6.01 o 602 7.32/6.10 c Got one! Elapsed wall clock time (in seconds):5.874 7.32/6.10 o 601 7.42/6.19 c Got one! Elapsed wall clock time (in seconds):5.962 7.42/6.19 o 595 7.52/6.30 c Got one! Elapsed wall clock time (in seconds):6.072 7.52/6.30 o 594 7.64/6.37 c Got one! Elapsed wall clock time (in seconds):6.144 7.64/6.37 o 592 7.74/6.45 c Got one! Elapsed wall clock time (in seconds):6.23 7.74/6.45 o 582 7.84/6.54 c Got one! Elapsed wall clock time (in seconds):6.311 7.84/6.54 o 581 7.94/6.61 c Got one! Elapsed wall clock time (in seconds):6.386 7.94/6.61 o 579 7.94/6.70 c Got one! Elapsed wall clock time (in seconds):6.473 7.94/6.70 o 577 8.04/6.78 c Got one! Elapsed wall clock time (in seconds):6.557 8.04/6.78 o 575 8.14/6.86 c Got one! Elapsed wall clock time (in seconds):6.636 8.14/6.86 o 574 8.24/6.99 c Got one! Elapsed wall clock time (in seconds):6.766 8.24/6.99 o 573 8.34/7.08 c Got one! Elapsed wall clock time (in seconds):6.858 8.34/7.08 o 571 8.44/7.16 c Got one! Elapsed wall clock time (in seconds):6.932 8.44/7.16 o 570 8.64/7.32 c Got one! Elapsed wall clock time (in seconds):7.092 8.64/7.32 o 568 8.74/7.41 c Got one! Elapsed wall clock time (in seconds):7.191 8.74/7.42 o 567 8.84/7.50 c Got one! Elapsed wall clock time (in seconds):7.278 8.84/7.50 o 564 8.84/7.59 c Got one! Elapsed wall clock time (in seconds):7.367 8.84/7.59 o 562 8.94/7.70 c Got one! Elapsed wall clock time (in seconds):7.474 8.94/7.70 o 560 9.04/7.78 c Got one! Elapsed wall clock time (in seconds):7.559 9.04/7.78 o 559 9.14/7.83 c Got one! Elapsed wall clock time (in seconds):7.609 9.14/7.83 o 556 9.24/7.94 c Got one! Elapsed wall clock time (in seconds):7.712 9.24/7.94 o 555 9.43/8.11 c Got one! Elapsed wall clock time (in seconds):7.887 9.43/8.11 o 554 9.53/8.23 c Got one! Elapsed wall clock time (in seconds):8.006 9.53/8.23 o 553 9.63/8.33 c Got one! Elapsed wall clock time (in seconds):8.106 9.63/8.33 o 551 9.73/8.41 c Got one! Elapsed wall clock time (in seconds):8.19 9.73/8.41 o 549 9.83/8.52 c Got one! Elapsed wall clock time (in seconds):8.301 9.83/8.52 o 548 9.94/8.62 c Got one! Elapsed wall clock time (in seconds):8.4 9.94/8.62 o 547 10.04/8.72 c Got one! Elapsed wall clock time (in seconds):8.5 10.04/8.72 o 546 10.14/8.83 c Got one! Elapsed wall clock time (in seconds):8.606 10.14/8.83 o 545 10.23/8.95 c Got one! Elapsed wall clock time (in seconds):8.724 10.23/8.95 o 543 10.33/9.06 c Got one! Elapsed wall clock time (in seconds):8.835 10.33/9.06 o 539 10.43/9.15 c Got one! Elapsed wall clock time (in seconds):8.928 10.43/9.15 o 538 10.53/9.30 c Got one! Elapsed wall clock time (in seconds):9.073 10.53/9.30 o 536 10.73/9.42 c Got one! Elapsed wall clock time (in seconds):9.2 10.73/9.42 o 531 10.83/9.52 c Got one! Elapsed wall clock time (in seconds):9.295 10.83/9.52 o 530 10.93/9.63 c Got one! Elapsed wall clock time (in seconds):9.411 10.93/9.63 o 529 11.03/9.73 c Got one! Elapsed wall clock time (in seconds):9.51 11.03/9.73 o 527 11.14/9.85 c Got one! Elapsed wall clock time (in seconds):9.624 11.14/9.85 o 526 11.24/9.96 c Got one! Elapsed wall clock time (in seconds):9.74 11.24/9.96 o 501 11.46/10.10 c Got one! Elapsed wall clock time (in seconds):9.881 11.46/10.10 o 500 11.56/10.20 c Got one! Elapsed wall clock time (in seconds):9.981 11.56/10.20 o 497 11.66/10.33 c Got one! Elapsed wall clock time (in seconds):10.107 11.66/10.33 o 496 11.76/10.46 c Got one! Elapsed wall clock time (in seconds):10.234 11.76/10.46 o 494 11.86/10.55 c Got one! Elapsed wall clock time (in seconds):10.331 11.86/10.55 o 490 11.96/10.67 c Got one! Elapsed wall clock time (in seconds):10.442 11.96/10.67 o 488 12.06/10.77 c Got one! Elapsed wall clock time (in seconds):10.551 12.06/10.77 o 487 12.27/10.91 c Got one! Elapsed wall clock time (in seconds):10.69 12.27/10.91 o 486 12.46/11.14 c Got one! Elapsed wall clock time (in seconds):10.912 12.46/11.14 o 485 12.56/11.29 c Got one! Elapsed wall clock time (in seconds):11.071 12.56/11.30 o 484 12.76/11.44 c Got one! Elapsed wall clock time (in seconds):11.213 12.76/11.44 o 482 12.86/11.59 c Got one! Elapsed wall clock time (in seconds):11.364 12.86/11.59 o 481 13.06/11.73 c Got one! Elapsed wall clock time (in seconds):11.509 13.06/11.73 o 469 13.16/11.89 c Got one! Elapsed wall clock time (in seconds):11.662 13.16/11.89 o 467 13.37/12.01 c Got one! Elapsed wall clock time (in seconds):11.79 13.37/12.01 o 458 13.46/12.14 c Got one! Elapsed wall clock time (in seconds):11.916 13.46/12.14 o 457 13.56/12.26 c Got one! Elapsed wall clock time (in seconds):12.035 13.56/12.26 o 341 13.86/12.55 c Got one! Elapsed wall clock time (in seconds):12.325 13.86/12.55 o 340 14.16/12.80 c Got one! Elapsed wall clock time (in seconds):12.579 14.16/12.80 o 338 14.36/13.06 c Got one! Elapsed wall clock time (in seconds):12.833 14.36/13.06 o 333 14.76/13.40 c Got one! Elapsed wall clock time (in seconds):13.178 14.76/13.40 o 332 14.96/13.66 c Got one! Elapsed wall clock time (in seconds):13.434 14.96/13.66 o 330 15.46/14.19 c Got one! Elapsed wall clock time (in seconds):13.97 15.46/14.19 o 328 15.66/14.36 c Got one! Elapsed wall clock time (in seconds):14.14 15.66/14.36 o 314 15.86/14.60 c Got one! Elapsed wall clock time (in seconds):14.373 15.86/14.60 o 312 16.50/15.12 c Got one! Elapsed wall clock time (in seconds):14.894 16.50/15.12 o 311 16.90/15.52 c Got one! Elapsed wall clock time (in seconds):15.298 16.90/15.52 o 309 17.10/15.73 c Got one! Elapsed wall clock time (in seconds):15.508 17.10/15.73 o 307 17.20/15.89 c Got one! Elapsed wall clock time (in seconds):15.662 17.20/15.89 o 306 17.40/16.02 c Got one! Elapsed wall clock time (in seconds):15.795 17.40/16.02 o 305 17.70/16.36 c Got one! Elapsed wall clock time (in seconds):16.137 17.70/16.36 o 304 18.20/16.84 c Got one! Elapsed wall clock time (in seconds):16.618 18.20/16.84 o 302 18.50/17.16 c Got one! Elapsed wall clock time (in seconds):16.94 18.50/17.16 o 300 19.30/17.93 c Got one! Elapsed wall clock time (in seconds):17.708 19.30/17.93 o 299 19.60/18.20 c Got one! Elapsed wall clock time (in seconds):17.98 19.60/18.20 o 298 19.80/18.43 c Got one! Elapsed wall clock time (in seconds):18.207 19.80/18.43 o 296 20.00/18.67 c Got one! Elapsed wall clock time (in seconds):18.449 20.00/18.67 o 295 20.49/19.19 c Got one! Elapsed wall clock time (in seconds):18.965 20.49/19.19 o 294 20.73/19.39 c Got one! Elapsed wall clock time (in seconds):19.164 20.73/19.39 o 293 21.24/19.86 c Got one! Elapsed wall clock time (in seconds):19.633 21.24/19.86 o 291 21.43/20.07 c Got one! Elapsed wall clock time (in seconds):19.841 21.43/20.07 o 289 21.93/20.52 c Got one! Elapsed wall clock time (in seconds):20.298 21.93/20.52 o 287 22.03/20.67 c Got one! Elapsed wall clock time (in seconds):20.451 22.03/20.67 o 286 22.23/20.88 c Got one! Elapsed wall clock time (in seconds):20.661 22.23/20.88 o 284 22.43/21.08 c Got one! Elapsed wall clock time (in seconds):20.852 22.43/21.08 o 282 23.63/22.21 c Got one! Elapsed wall clock time (in seconds):21.983 23.63/22.21 o 280 24.44/23.08 c Got one! Elapsed wall clock time (in seconds):22.857 24.44/23.08 o 279 25.58/24.16 c Got one! Elapsed wall clock time (in seconds):23.941 25.58/24.16 o 278 25.88/24.41 c Got one! Elapsed wall clock time (in seconds):24.191 25.88/24.41 o 276 26.08/24.64 c Got one! Elapsed wall clock time (in seconds):24.418 26.08/24.64 o 275 26.38/24.96 c Got one! Elapsed wall clock time (in seconds):24.741 26.38/24.96 o 273 26.88/25.49 c Got one! Elapsed wall clock time (in seconds):25.262 26.88/25.49 o 272 27.28/25.86 c Got one! Elapsed wall clock time (in seconds):25.631 27.28/25.86 o 270 28.08/26.69 c Got one! Elapsed wall clock time (in seconds):26.461 28.08/26.69 o 269 28.48/27.00 c Got one! Elapsed wall clock time (in seconds):26.778 28.48/27.00 o 267 28.68/27.23 c Got one! Elapsed wall clock time (in seconds):27.003 28.68/27.23 o 263 29.57/28.11 c Got one! Elapsed wall clock time (in seconds):27.891 29.57/28.11 o 262 29.92/28.43 c Got one! Elapsed wall clock time (in seconds):28.205 29.92/28.43 o 260 30.13/28.68 c Got one! Elapsed wall clock time (in seconds):28.461 30.13/28.68 o 258 31.42/29.93 c Got one! Elapsed wall clock time (in seconds):29.701 31.42/29.93 o 257 31.92/30.48 c Got one! Elapsed wall clock time (in seconds):30.252 31.92/30.48 o 255 32.23/30.76 c Got one! Elapsed wall clock time (in seconds):30.533 32.23/30.76 o 253 33.72/32.21 c Got one! Elapsed wall clock time (in seconds):31.988 33.72/32.21 o 252 34.97/33.45 c Got one! Elapsed wall clock time (in seconds):33.228 34.97/33.45 o 250 35.67/34.11 c Got one! Elapsed wall clock time (in seconds):33.886 35.67/34.11 o 249 35.87/34.36 c Got one! Elapsed wall clock time (in seconds):34.132 35.87/34.36 o 247 36.77/35.29 c Got one! Elapsed wall clock time (in seconds):35.071 36.77/35.29 o 228 37.67/36.13 c Got one! Elapsed wall clock time (in seconds):35.909 37.67/36.13 o 227 39.18/37.67 c Got one! Elapsed wall clock time (in seconds):37.445 39.18/37.67 o 226 39.90/38.37 c Got one! Elapsed wall clock time (in seconds):38.143 39.90/38.37 o 225 40.61/39.05 c Got one! Elapsed wall clock time (in seconds):38.827 40.61/39.05 o 223 41.22/39.66 c Got one! Elapsed wall clock time (in seconds):39.438 41.22/39.66 o 222 41.81/40.22 c Got one! Elapsed wall clock time (in seconds):39.996 41.81/40.22 o 220 42.11/40.58 c Got one! Elapsed wall clock time (in seconds):40.352 42.11/40.58 o 216 43.61/42.00 c Got one! Elapsed wall clock time (in seconds):41.775 43.61/42.00 o 214 43.91/42.36 c Got one! Elapsed wall clock time (in seconds):42.137 43.91/42.36 o 212 44.21/42.67 c Got one! Elapsed wall clock time (in seconds):42.442 44.21/42.67 o 210 44.81/43.29 c Got one! Elapsed wall clock time (in seconds):43.07 44.81/43.29 o 209 46.01/44.46 c Got one! Elapsed wall clock time (in seconds):44.236 46.01/44.46 o 203 46.31/44.77 c Got one! Elapsed wall clock time (in seconds):44.545 46.31/44.77 o 200 47.24/45.69 c Got one! Elapsed wall clock time (in seconds):45.469 47.24/45.69 o 199 48.24/46.66 c Got one! Elapsed wall clock time (in seconds):46.436 48.24/46.66 o 197 49.04/47.48 c Got one! Elapsed wall clock time (in seconds):47.261 49.04/47.48 o 196 49.64/48.07 c Got one! Elapsed wall clock time (in seconds):47.847 49.64/48.07 o 192 50.84/49.22 c Got one! Elapsed wall clock time (in seconds):49.001 50.84/49.22 o 191 53.16/51.53 c Got one! Elapsed wall clock time (in seconds):51.305 53.16/51.53 o 189 53.56/51.98 c Got one! Elapsed wall clock time (in seconds):51.752 53.56/51.98 o 187 54.06/52.45 c Got one! Elapsed wall clock time (in seconds):52.23 54.06/52.45 o 186 55.47/53.84 c Got one! Elapsed wall clock time (in seconds):53.619 55.47/53.84 o 184 56.16/54.58 c Got one! Elapsed wall clock time (in seconds):54.358 56.16/54.58 o 183 57.36/55.76 c Got one! Elapsed wall clock time (in seconds):55.537 57.36/55.76 o 182 57.76/56.10 c Got one! Elapsed wall clock time (in seconds):55.879 57.76/56.10 o 181 58.16/56.50 c Got one! Elapsed wall clock time (in seconds):56.278 58.16/56.50 o 179 59.76/58.17 c Got one! Elapsed wall clock time (in seconds):57.947 59.76/58.17 o 178 60.16/58.58 c Got one! Elapsed wall clock time (in seconds):58.354 60.16/58.58 o 177 60.66/59.01 c Got one! Elapsed wall clock time (in seconds):58.781 60.66/59.01 o 176 61.57/59.93 c Got one! Elapsed wall clock time (in seconds):59.705 61.57/59.93 o 174 62.17/60.54 c Got one! Elapsed wall clock time (in seconds):60.318 62.17/60.54 o 173 62.67/61.03 c Got one! Elapsed wall clock time (in seconds):60.804 62.67/61.03 o 172 65.77/64.18 c Got one! Elapsed wall clock time (in seconds):63.954 65.77/64.18 o 171 66.57/64.96 c Got one! Elapsed wall clock time (in seconds):64.738 66.57/64.96 o 170 69.19/67.59 c Got one! Elapsed wall clock time (in seconds):67.368 69.19/67.59 o 168 69.69/68.09 c Got one! Elapsed wall clock time (in seconds):67.871 69.69/68.09 o 167 71.99/70.33 c Got one! Elapsed wall clock time (in seconds):70.104 71.99/70.33 o 165 72.48/70.82 c Got one! Elapsed wall clock time (in seconds):70.599 72.48/70.82 o 164 74.38/72.80 c Got one! Elapsed wall clock time (in seconds):72.571 74.38/72.80 o 162 79.39/77.80 c Got one! Elapsed wall clock time (in seconds):77.573 79.39/77.80 o 160 80.19/78.57 c Got one! Elapsed wall clock time (in seconds):78.345 80.19/78.57 o 158 81.39/79.73 c Got one! Elapsed wall clock time (in seconds):79.503 81.39/79.73 o 156 82.29/80.67 c Got one! Elapsed wall clock time (in seconds):80.449 82.29/80.67 o 154 84.81/83.12 c Got one! Elapsed wall clock time (in seconds):82.891 84.81/83.12 o 153 87.81/86.15 c Got one! Elapsed wall clock time (in seconds):85.93 87.81/86.15 o 152 88.61/86.93 c Got one! Elapsed wall clock time (in seconds):86.704 88.61/86.93 o 151 90.01/88.30 c Got one! Elapsed wall clock time (in seconds):88.074 90.01/88.30 o 149 91.31/89.66 c Got one! Elapsed wall clock time (in seconds):89.437 91.31/89.66 o 147 96.63/94.90 c Got one! Elapsed wall clock time (in seconds):94.68 96.63/94.90 o 145 98.32/96.62 c Got one! Elapsed wall clock time (in seconds):96.392 98.32/96.62 o 143 109.86/108.17 c Got one! Elapsed wall clock time (in seconds):107.949 109.86/108.17 o 142 110.76/109.02 c Got one! Elapsed wall clock time (in seconds):108.796 110.76/109.02 o 140 113.46/111.72 c Got one! Elapsed wall clock time (in seconds):111.491 113.46/111.72 o 139 120.18/118.47 c Got one! Elapsed wall clock time (in seconds):118.249 120.18/118.47 o 138 123.88/122.14 c Got one! Elapsed wall clock time (in seconds):121.921 123.88/122.14 o 137 124.68/122.91 c Got one! Elapsed wall clock time (in seconds):122.69 124.68/122.91 o 135 126.17/124.44 c Got one! Elapsed wall clock time (in seconds):124.217 126.17/124.44 o 133 129.09/127.39 c Got one! Elapsed wall clock time (in seconds):127.165 129.09/127.39 o 132 131.99/130.21 c Got one! Elapsed wall clock time (in seconds):129.987 131.99/130.21 o 130 134.99/133.29 c Got one! Elapsed wall clock time (in seconds):133.065 134.99/133.29 o 128 136.69/134.97 c Got one! Elapsed wall clock time (in seconds):134.744 136.69/134.97 o 127 140.39/138.64 c Got one! Elapsed wall clock time (in seconds):138.418 140.39/138.64 o 125 144.01/142.24 c Got one! Elapsed wall clock time (in seconds):142.019 144.01/142.24 o 124 147.91/146.15 c Got one! Elapsed wall clock time (in seconds):145.929 147.91/146.15 o 123 149.41/147.62 c Got one! Elapsed wall clock time (in seconds):147.393 149.41/147.62 o 121 150.11/148.37 c Got one! Elapsed wall clock time (in seconds):148.15 150.11/148.37 o 120 156.02/154.29 c Got one! Elapsed wall clock time (in seconds):154.062 156.02/154.29 o 119 159.22/157.47 c Got one! Elapsed wall clock time (in seconds):157.243 159.22/157.47 o 118 163.12/161.35 c Got one! Elapsed wall clock time (in seconds):161.124 163.12/161.35 o 116 167.62/165.88 c Got one! Elapsed wall clock time (in seconds):165.653 167.62/165.88 o 114 172.25/170.41 c Got one! Elapsed wall clock time (in seconds):170.184 172.25/170.41 o 113 186.97/185.16 c Got one! Elapsed wall clock time (in seconds):184.935 186.97/185.16 o 112 192.86/191.06 c Got one! Elapsed wall clock time (in seconds):190.832 192.86/191.06 o 110 195.26/193.48 c Got one! Elapsed wall clock time (in seconds):193.253 195.26/193.48 o 109 200.18/198.40 c Got one! Elapsed wall clock time (in seconds):198.174 200.28/198.40 o 107 209.38/207.53 c Got one! Elapsed wall clock time (in seconds):207.305 209.38/207.53 o 106 218.51/216.62 c Got one! Elapsed wall clock time (in seconds):216.393 218.51/216.62 o 105 221.10/219.21 c Got one! Elapsed wall clock time (in seconds):218.991 221.10/219.22 o 104 228.31/226.48 c Got one! Elapsed wall clock time (in seconds):226.258 228.31/226.48 o 103 233.83/232.00 c Got one! Elapsed wall clock time (in seconds):231.772 233.83/232.00 o 102 236.73/234.88 c Got one! Elapsed wall clock time (in seconds):234.654 236.73/234.88 o 100 238.13/236.28 c Got one! Elapsed wall clock time (in seconds):236.058 238.13/236.28 o 99 266.67/264.73 c Got one! Elapsed wall clock time (in seconds):264.503 266.67/264.73 o 98 277.26/275.36 c Got one! Elapsed wall clock time (in seconds):275.14 277.26/275.36 o 97 283.26/281.34 c Got one! Elapsed wall clock time (in seconds):281.115 283.26/281.34 o 95 301.69/299.73 c Got one! Elapsed wall clock time (in seconds):299.506 301.69/299.73 o 93 318.91/316.92 c Got one! Elapsed wall clock time (in seconds):316.7 318.91/316.92 o 92 326.61/324.69 c Got one! Elapsed wall clock time (in seconds):324.47 326.61/324.69 o 90 327.81/325.81 c Got one! Elapsed wall clock time (in seconds):325.591 327.81/325.81 o 88 362.86/360.80 c Got one! Elapsed wall clock time (in seconds):360.58 362.86/360.80 o 87 380.68/378.64 c Got one! Elapsed wall clock time (in seconds):378.421 380.68/378.64 o 85 420.73/418.62 c Got one! Elapsed wall clock time (in seconds):418.395 420.73/418.62 o 84 424.53/422.49 c Got one! Elapsed wall clock time (in seconds):422.27 424.53/422.49 o 83 435.32/433.23 c Got one! Elapsed wall clock time (in seconds):433.004 435.32/433.23 o 82 441.12/439.04 c Got one! Elapsed wall clock time (in seconds):438.816 441.12/439.04 o 80 455.86/453.79 c Got one! Elapsed wall clock time (in seconds):453.562 455.86/453.79 o 78 472.58/470.44 c Got one! Elapsed wall clock time (in seconds):470.22 472.58/470.44 o 76 513.90/511.72 c Got one! Elapsed wall clock time (in seconds):511.498 513.90/511.72 o 74 587.98/585.77 c Got one! Elapsed wall clock time (in seconds):585.547 587.98/585.77 o 72 635.00/632.77 c Got one! Elapsed wall clock time (in seconds):632.55 635.00/632.77 o 71 655.33/653.06 c Got one! Elapsed wall clock time (in seconds):652.834 655.33/653.06 o 70 671.34/669.01 c Got one! Elapsed wall clock time (in seconds):668.789 671.34/669.01 o 68 688.07/685.73 c Got one! Elapsed wall clock time (in seconds):685.501 688.07/685.73 o 66 712.05/709.77 c Got one! Elapsed wall clock time (in seconds):709.548 712.05/709.77 o 65 979.76/977.26 c Got one! Elapsed wall clock time (in seconds):977.034 979.76/977.26 o 64 999.45/996.90 c Got one! Elapsed wall clock time (in seconds):996.681 999.45/996.90 o 63 1040.28/1037.71 c Got one! Elapsed wall clock time (in seconds):1037.49 1040.28/1037.71 o 61 1109.81/1107.27 c Got one! Elapsed wall clock time (in seconds):1107.046 1109.81/1107.27 o 60 1193.17/1190.57 c Got one! Elapsed wall clock time (in seconds):1190.35 1193.17/1190.57 o 58 1217.86/1215.30 c Got one! Elapsed wall clock time (in seconds):1215.073 1217.86/1215.30 o 56 1358.15/1355.41 c Got one! Elapsed wall clock time (in seconds):1355.183 1358.15/1355.41 o 54 1394.29/1391.56 c Got one! Elapsed wall clock time (in seconds):1391.333 1394.29/1391.56 o 53 1509.55/1506.79 c Got one! Elapsed wall clock time (in seconds):1506.568 1509.55/1506.79 o 51 1714.26/1711.32 c Got one! Elapsed wall clock time (in seconds):1711.099 1714.26/1711.32 o 50 1800.10/1797.11 c starts : 1442 1800.10/1797.11 c conflicts : 765271 1800.10/1797.11 c decisions : 1039681 1800.10/1797.11 c propagations : 12495808 1800.10/1797.11 c inspects : 4416342144 1800.10/1797.11 c learnt literals : 0 1800.10/1797.11 c learnt binary clauses : 0 1800.10/1797.11 c learnt ternary clauses : 0 1800.10/1797.11 c learnt clauses : 765271 1800.10/1797.11 c ignored clauses : 0 1800.10/1797.11 c root simplifications : 0 1800.10/1797.11 c removed literals (reason simplification) : 9120126 1800.10/1797.11 c reason swapping (by a shorter reason) : 0 1800.10/1797.11 c Calls to reduceDB : 0 1800.10/1797.11 c speed (assignments/second) : 145654.06627734844 1800.10/1797.11 c non guided choices 8872 1800.30/1797.25 c learnt constraints type 1800.30/1797.25 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 765288 1800.30/1797.25 c constraints type 1800.30/1797.25 c org.sat4j.pb.constraints.pb.MaxWatchPb => 15 1800.30/1797.25 s SATISFIABLE 1800.30/1797.25 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.30/1797.25 c objective function=50 1800.30/1797.25 c Total wall clock time (in seconds): 1797.028
OK 50
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1856719-1244922570/watcher-1856719-1244922570 -o /tmp/evaluation-result-1856719-1244922570/solver-1856719-1244922570 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856719-1244922570.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 1.02 1.00 3/64 13002 /proc/meminfo: memFree=1441440/2055920 swapFree=4182548/4192956 [pid=13002] ppid=13000 vsize=18576 CPUtime=0 /proc/13002/stat : 13002 (runsolver) R 13000 13002 12965 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 159857285 19021824 284 1992294400 4194304 4302564 548682068432 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/13002/statm: 4644 284 249 26 0 2626 0 [startup+0.0642291 s] /proc/loadavg: 1.01 1.02 1.00 3/64 13002 /proc/meminfo: memFree=1441440/2055920 swapFree=4182548/4192956 [pid=13002] ppid=13000 vsize=1470088 CPUtime=0.03 /proc/13002/stat : 13002 (java) S 13000 13002 12965 0 -1 0 3234 0 1 0 2 1 0 0 20 0 7 0 159857285 1505370112 2979 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 /proc/13002/statm: 367522 2979 1010 9 0 364873 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1470088 [startup+0.102231 s] /proc/loadavg: 1.01 1.02 1.00 3/64 13002 /proc/meminfo: memFree=1441440/2055920 swapFree=4182548/4192956 [pid=13002] ppid=13000 vsize=1472416 CPUtime=0.08 /proc/13002/stat : 13002 (java) S 13000 13002 12965 0 -1 0 3548 0 1 0 6 2 0 0 20 0 12 0 159857285 1507753984 3291 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13002/statm: 368104 3291 1056 9 0 365455 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1472416 [startup+0.301253 s] /proc/loadavg: 1.01 1.02 1.00 3/64 13002 /proc/meminfo: memFree=1441440/2055920 swapFree=4182548/4192956 [pid=13002] ppid=13000 vsize=1475024 CPUtime=0.32 /proc/13002/stat : 13002 (java) S 13000 13002 12965 0 -1 0 4972 0 1 0 29 3 0 0 20 0 12 0 159857285 1510424576 4710 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13002/statm: 368756 4710 1352 9 0 366099 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1475024 [startup+0.702295 s] /proc/loadavg: 1.01 1.02 1.00 3/64 13002 /proc/meminfo: memFree=1441440/2055920 swapFree=4182548/4192956 [pid=13002] ppid=13000 vsize=1477556 CPUtime=1.03 /proc/13002/stat : 13002 (java) S 13000 13002 12965 0 -1 0 7471 0 1 0 99 4 0 0 20 0 13 0 159857285 1513017344 6505 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13002/statm: 369389 6505 1414 9 0 366732 0 Current children cumulated CPU time (s) 1.03 Current children cumulated vsize (KiB) 1477556 [startup+1.50238 s] /proc/loadavg: 1.01 1.02 1.00 2/77 13015 /proc/meminfo: memFree=1408952/2055920 swapFree=4182548/4192956 [pid=13002] ppid=13000 vsize=1488752 CPUtime=2.33 /proc/13002/stat : 13002 (java) S 13000 13002 12965 0 -1 0 18779 0 1 0 225 8 0 0 20 0 13 0 159857285 1524482048 16034 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13002/statm: 372188 16034 1421 9 0 369531 0 [pid=13002/tid=13004] ppid=13000 vsize=1488752 CPUtime=1.11 /proc/13002/task/13004/stat : 13004 (java) R 13000 13002 12965 0 -1 64 11700 0 1 0 106 5 0 0 18 0 13 0 159857287 1524482048 16034 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13005] ppid=13000 vsize=1488752 CPUtime=0 /proc/13002/task/13005/stat : 13005 (java) S 13000 13002 12965 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 159857289 1524482048 16034 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13006] ppid=13000 vsize=1488752 CPUtime=0 /proc/13002/task/13006/stat : 13006 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 159857289 1524482048 16034 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13007] ppid=13000 vsize=1488752 CPUtime=0 /proc/13002/task/13007/stat : 13007 (java) S 13000 13002 12965 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 159857291 1524482048 16034 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13008] ppid=13000 vsize=1488752 CPUtime=0 /proc/13002/task/13008/stat : 13008 (java) S 13000 13002 12965 0 -1 64 9 0 0 0 0 0 0 0 25 0 13 0 159857291 1524482048 16034 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13009] ppid=13000 vsize=1488752 CPUtime=0 /proc/13002/task/13009/stat : 13009 (java) S 13000 13002 12965 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159857291 1524482048 16034 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13010] ppid=13000 vsize=1488752 CPUtime=0 /proc/13002/task/13010/stat : 13010 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159857295 1524482048 16034 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13011] ppid=13000 vsize=1488752 CPUtime=0.54 /proc/13002/task/13011/stat : 13011 (java) R 13000 13002 12965 0 -1 64 2464 0 0 0 54 0 0 0 17 0 13 0 159857295 1524482048 16034 1992294400 134512640 134550932 4294956016 18446744073709551615 104161268 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13012] ppid=13000 vsize=1488752 CPUtime=0.65 /proc/13002/task/13012/stat : 13012 (java) R 13000 13002 12965 0 -1 64 3871 0 0 0 64 1 0 0 19 0 13 0 159857295 1524482048 16034 1992294400 134512640 134550932 4294956016 18446744073709551615 106261886 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13013] ppid=13000 vsize=1488752 CPUtime=0 /proc/13002/task/13013/stat : 13013 (java) S 13000 13002 12965 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159857295 1524482048 16034 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13014] ppid=13000 vsize=1488752 CPUtime=0 /proc/13002/task/13014/stat : 13014 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159857295 1524482048 16034 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13015] ppid=13000 vsize=1488752 CPUtime=0 /proc/13002/task/13015/stat : 13015 (java) S 13000 13002 12965 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 159857321 1524482048 16034 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.33 Current children cumulated vsize (KiB) 1488752 [startup+3.10153 s] /proc/loadavg: 1.08 1.04 1.01 2/77 13015 /proc/meminfo: memFree=1359800/2055920 swapFree=4182548/4192956 [pid=13002] ppid=13000 vsize=1487620 CPUtime=4.3 /proc/13002/stat : 13002 (java) S 13000 13002 12965 0 -1 0 36156 0 1 0 412 18 0 0 20 0 13 0 159857285 1523322880 31529 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13002/statm: 371905 31529 1423 9 0 369248 0 [pid=13002/tid=13004] ppid=13000 vsize=1487620 CPUtime=2.51 /proc/13002/task/13004/stat : 13004 (java) R 13000 13002 12965 0 -1 64 27041 0 1 0 238 13 0 0 25 0 13 0 159857287 1523322880 31529 1992294400 134512640 134550932 4294956016 18446744073709551615 4109456987 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13005] ppid=13000 vsize=1487620 CPUtime=0 /proc/13002/task/13005/stat : 13005 (java) S 13000 13002 12965 0 -1 64 2 0 0 0 0 0 0 0 22 0 13 0 159857289 1523322880 31530 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13006] ppid=13000 vsize=1487620 CPUtime=0 /proc/13002/task/13006/stat : 13006 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 159857289 1523322880 31530 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13007] ppid=13000 vsize=1487620 CPUtime=0 /proc/13002/task/13007/stat : 13007 (java) S 13000 13002 12965 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 159857291 1523322880 31530 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13008] ppid=13000 vsize=1487620 CPUtime=0 /proc/13002/task/13008/stat : 13008 (java) S 13000 13002 12965 0 -1 64 9 0 0 0 0 0 0 0 25 0 13 0 159857291 1523322880 31530 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13009] ppid=13000 vsize=1487620 CPUtime=0 /proc/13002/task/13009/stat : 13009 (java) S 13000 13002 12965 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159857291 1523322880 31530 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13010] ppid=13000 vsize=1487620 CPUtime=0 /proc/13002/task/13010/stat : 13010 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159857295 1523322880 31531 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13011] ppid=13000 vsize=1487620 CPUtime=0.79 /proc/13002/task/13011/stat : 13011 (java) S 13000 13002 12965 0 -1 64 3492 0 0 0 78 1 0 0 17 0 13 0 159857295 1523322880 31531 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13012] ppid=13000 vsize=1487620 CPUtime=0.97 /proc/13002/task/13012/stat : 13012 (java) S 13000 13002 12965 0 -1 64 4879 0 0 0 95 2 0 0 16 0 13 0 159857295 1523322880 31531 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13013] ppid=13000 vsize=1487620 CPUtime=0 /proc/13002/task/13013/stat : 13013 (java) S 13000 13002 12965 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159857295 1523322880 31532 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13014] ppid=13000 vsize=1487620 CPUtime=0 /proc/13002/task/13014/stat : 13014 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159857295 1523322880 31532 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13015] ppid=13000 vsize=1487620 CPUtime=0 /proc/13002/task/13015/stat : 13015 (java) S 13000 13002 12965 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 159857321 1523322880 31532 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.3 Current children cumulated vsize (KiB) 1487620 [startup+6.30286 s] /proc/loadavg: 1.08 1.04 1.01 2/77 13015 /proc/meminfo: memFree=1299896/2055920 swapFree=4182548/4192956 [pid=13002] ppid=13000 vsize=1487424 CPUtime=7.64 /proc/13002/stat : 13002 (java) S 13000 13002 12965 0 -1 0 43692 0 1 0 742 22 0 0 20 0 13 0 159857285 1523122176 38865 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13002/statm: 371856 38865 1432 9 0 369199 0 [pid=13002/tid=13004] ppid=13000 vsize=1487424 CPUtime=5.64 /proc/13002/task/13004/stat : 13004 (java) R 13000 13002 12965 0 -1 64 30957 0 1 0 549 15 0 0 25 0 13 0 159857287 1523122176 38865 1992294400 134512640 134550932 4294956016 18446744073709551615 4109565247 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13005] ppid=13000 vsize=1487424 CPUtime=0.02 /proc/13002/task/13005/stat : 13005 (java) S 13000 13002 12965 0 -1 64 1853 0 0 0 1 1 0 0 16 0 13 0 159857289 1523122176 38865 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13006] ppid=13000 vsize=1487424 CPUtime=0.02 /proc/13002/task/13006/stat : 13006 (java) S 13000 13002 12965 0 -1 64 1725 0 0 0 2 0 0 0 16 0 13 0 159857289 1523122176 38865 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13007] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13007/stat : 13007 (java) S 13000 13002 12965 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 159857291 1523122176 38865 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13008] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13008/stat : 13008 (java) S 13000 13002 12965 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 38865 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13009] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13009/stat : 13009 (java) S 13000 13002 12965 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 38865 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13010] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13010/stat : 13010 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159857295 1523122176 38865 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13011] ppid=13000 vsize=1487424 CPUtime=0.86 /proc/13002/task/13011/stat : 13011 (java) S 13000 13002 12965 0 -1 64 3519 0 0 0 85 1 0 0 16 0 13 0 159857295 1523122176 38865 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13012] ppid=13000 vsize=1487424 CPUtime=1.05 /proc/13002/task/13012/stat : 13012 (java) S 13000 13002 12965 0 -1 64 4883 0 0 0 103 2 0 0 15 0 13 0 159857295 1523122176 38865 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13013] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13013/stat : 13013 (java) S 13000 13002 12965 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159857295 1523122176 38865 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13014] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13014/stat : 13014 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159857295 1523122176 38865 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13015] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13015/stat : 13015 (java) S 13000 13002 12965 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 159857321 1523122176 38865 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.64 Current children cumulated vsize (KiB) 1487424 [startup+12.7015 s] /proc/loadavg: 1.07 1.04 1.00 2/77 13015 /proc/meminfo: memFree=1282056/2055920 swapFree=4182548/4192956 [pid=13002] ppid=13000 vsize=1487424 CPUtime=14.06 /proc/13002/stat : 13002 (java) S 13000 13002 12965 0 -1 0 45869 0 1 0 1383 23 0 0 20 0 13 0 159857285 1523122176 41005 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13002/statm: 371856 41005 1432 9 0 369199 0 [pid=13002/tid=13004] ppid=13000 vsize=1487424 CPUtime=12 /proc/13002/task/13004/stat : 13004 (java) R 13000 13002 12965 0 -1 64 30958 0 1 0 1185 15 0 0 25 0 13 0 159857287 1523122176 41005 1992294400 134512640 134550932 4294956016 18446744073709551615 4109466483 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13005] ppid=13000 vsize=1487424 CPUtime=0.05 /proc/13002/task/13005/stat : 13005 (java) S 13000 13002 12965 0 -1 64 2953 0 0 0 4 1 0 0 17 0 13 0 159857289 1523122176 41005 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13006] ppid=13000 vsize=1487424 CPUtime=0.04 /proc/13002/task/13006/stat : 13006 (java) S 13000 13002 12965 0 -1 64 2798 0 0 0 4 0 0 0 16 0 13 0 159857289 1523122176 41005 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13007] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13007/stat : 13007 (java) S 13000 13002 12965 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 41005 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13008] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13008/stat : 13008 (java) S 13000 13002 12965 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 41005 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13009] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13009/stat : 13009 (java) S 13000 13002 12965 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 41005 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13010] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13010/stat : 13010 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159857295 1523122176 41005 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13011] ppid=13000 vsize=1487424 CPUtime=0.86 /proc/13002/task/13011/stat : 13011 (java) S 13000 13002 12965 0 -1 64 3519 0 0 0 85 1 0 0 16 0 13 0 159857295 1523122176 41005 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13012] ppid=13000 vsize=1487424 CPUtime=1.05 /proc/13002/task/13012/stat : 13012 (java) S 13000 13002 12965 0 -1 64 4883 0 0 0 103 2 0 0 16 0 13 0 159857295 1523122176 41005 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13013] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13013/stat : 13013 (java) S 13000 13002 12965 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159857295 1523122176 41005 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13014] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13014/stat : 13014 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159857295 1523122176 41005 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13015] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13015/stat : 13015 (java) S 13000 13002 12965 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 159857321 1523122176 41005 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.06 Current children cumulated vsize (KiB) 1487424 [startup+25.5028 s] /proc/loadavg: 1.06 1.03 1.00 2/77 13015 /proc/meminfo: memFree=1261776/2055920 swapFree=4182548/4192956 [pid=13002] ppid=13000 vsize=1487424 CPUtime=26.98 /proc/13002/stat : 13002 (java) S 13000 13002 12965 0 -1 0 51236 0 1 0 2672 26 0 0 20 0 13 0 159857285 1523122176 46082 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13002/statm: 371856 46082 1432 9 0 369199 0 [pid=13002/tid=13004] ppid=13000 vsize=1487424 CPUtime=24.67 /proc/13002/task/13004/stat : 13004 (java) R 13000 13002 12965 0 -1 64 30961 0 1 0 2451 16 0 0 25 0 13 0 159857287 1523122176 46082 1992294400 134512640 134550932 4294956016 18446744073709551615 4109492998 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13005] ppid=13000 vsize=1487424 CPUtime=0.17 /proc/13002/task/13005/stat : 13005 (java) S 13000 13002 12965 0 -1 64 5713 0 0 0 15 2 0 0 16 0 13 0 159857289 1523122176 46082 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13006] ppid=13000 vsize=1487424 CPUtime=0.16 /proc/13002/task/13006/stat : 13006 (java) S 13000 13002 12965 0 -1 64 5393 0 0 0 14 2 0 0 17 0 13 0 159857289 1523122176 46082 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13007] ppid=13000 vsize=1487424 CPUtime=0 ################ # More data... # ################ [pid=13002/tid=13007] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13007/stat : 13007 (java) S 13000 13002 12965 0 -1 64 23 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 99221 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13008] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13008/stat : 13008 (java) S 13000 13002 12965 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 99221 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13009] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13009/stat : 13009 (java) S 13000 13002 12965 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 99221 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13010] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13010/stat : 13010 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159857295 1523122176 99221 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13011] ppid=13000 vsize=1487424 CPUtime=0.86 /proc/13002/task/13011/stat : 13011 (java) S 13000 13002 12965 0 -1 64 3519 0 0 0 85 1 0 0 16 0 13 0 159857295 1523122176 99221 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13012] ppid=13000 vsize=1487424 CPUtime=1.07 /proc/13002/task/13012/stat : 13012 (java) S 13000 13002 12965 0 -1 64 4884 0 0 0 105 2 0 0 16 0 13 0 159857295 1523122176 99221 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13013] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13013/stat : 13013 (java) S 13000 13002 12965 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159857295 1523122176 99221 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13014] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13014/stat : 13014 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159857295 1523122176 99221 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13015] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13015/stat : 13015 (java) S 13000 13002 12965 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 159857321 1523122176 99221 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1665.24 Current children cumulated vsize (KiB) 1487424 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13023 /proc/meminfo: memFree=1045712/2055920 swapFree=4182548/4192956 [pid=13002] ppid=13000 vsize=1487424 CPUtime=1725.26 /proc/13002/stat : 13002 (java) S 13000 13002 12965 0 -1 0 108218 0 1 0 172465 61 0 0 20 0 13 0 159857285 1523122176 99818 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13002/statm: 371856 99818 1432 9 0 369199 0 [pid=13002/tid=13004] ppid=13000 vsize=1487424 CPUtime=1718.86 /proc/13002/task/13004/stat : 13004 (java) R 13000 13002 12965 0 -1 64 31021 0 1 0 171863 23 0 0 25 0 13 0 159857287 1523122176 99818 1992294400 134512640 134550932 4294956016 18446744073709551615 4109565247 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13005] ppid=13000 vsize=1487424 CPUtime=2.23 /proc/13002/task/13005/stat : 13005 (java) S 13000 13002 12965 0 -1 64 31275 0 0 0 208 15 0 0 17 0 13 0 159857289 1523122176 99818 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13006] ppid=13000 vsize=1487424 CPUtime=2.19 /proc/13002/task/13006/stat : 13006 (java) S 13000 13002 12965 0 -1 64 36752 0 0 0 201 18 0 0 16 0 13 0 159857289 1523122176 99818 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13007] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13007/stat : 13007 (java) S 13000 13002 12965 0 -1 64 23 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 99818 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13008] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13008/stat : 13008 (java) S 13000 13002 12965 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 99818 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13009] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13009/stat : 13009 (java) S 13000 13002 12965 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 99818 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13010] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13010/stat : 13010 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159857295 1523122176 99818 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13011] ppid=13000 vsize=1487424 CPUtime=0.86 /proc/13002/task/13011/stat : 13011 (java) S 13000 13002 12965 0 -1 64 3519 0 0 0 85 1 0 0 16 0 13 0 159857295 1523122176 99818 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13012] ppid=13000 vsize=1487424 CPUtime=1.07 /proc/13002/task/13012/stat : 13012 (java) S 13000 13002 12965 0 -1 64 4884 0 0 0 105 2 0 0 16 0 13 0 159857295 1523122176 99818 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13013] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13013/stat : 13013 (java) S 13000 13002 12965 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159857295 1523122176 99818 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13014] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13014/stat : 13014 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159857295 1523122176 99818 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13015] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13015/stat : 13015 (java) S 13000 13002 12965 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 159857321 1523122176 99818 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1725.26 Current children cumulated vsize (KiB) 1487424 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13023 /proc/meminfo: memFree=1042704/2055920 swapFree=4182548/4192956 [pid=13002] ppid=13000 vsize=1487424 CPUtime=1785.3 /proc/13002/stat : 13002 (java) S 13000 13002 12965 0 -1 0 108982 0 1 0 178468 62 0 0 20 0 13 0 159857285 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13002/statm: 371856 100568 1432 9 0 369199 0 [pid=13002/tid=13004] ppid=13000 vsize=1487424 CPUtime=1778.79 /proc/13002/task/13004/stat : 13004 (java) R 13000 13002 12965 0 -1 64 31022 0 1 0 177856 23 0 0 25 0 13 0 159857287 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4109565247 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13005] ppid=13000 vsize=1487424 CPUtime=2.28 /proc/13002/task/13005/stat : 13005 (java) S 13000 13002 12965 0 -1 64 31615 0 0 0 213 15 0 0 17 0 13 0 159857289 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13006] ppid=13000 vsize=1487424 CPUtime=2.23 /proc/13002/task/13006/stat : 13006 (java) S 13000 13002 12965 0 -1 64 37175 0 0 0 205 18 0 0 16 0 13 0 159857289 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13007] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13007/stat : 13007 (java) S 13000 13002 12965 0 -1 64 23 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13008] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13008/stat : 13008 (java) S 13000 13002 12965 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13009] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13009/stat : 13009 (java) S 13000 13002 12965 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13010] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13010/stat : 13010 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159857295 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13011] ppid=13000 vsize=1487424 CPUtime=0.86 /proc/13002/task/13011/stat : 13011 (java) S 13000 13002 12965 0 -1 64 3519 0 0 0 85 1 0 0 16 0 13 0 159857295 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13012] ppid=13000 vsize=1487424 CPUtime=1.07 /proc/13002/task/13012/stat : 13012 (java) S 13000 13002 12965 0 -1 64 4884 0 0 0 105 2 0 0 16 0 13 0 159857295 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13013] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13013/stat : 13013 (java) S 13000 13002 12965 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159857295 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13014] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13014/stat : 13014 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159857295 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13015] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13015/stat : 13015 (java) S 13000 13002 12965 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 159857321 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1785.3 Current children cumulated vsize (KiB) 1487424 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.1 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13023 /proc/meminfo: memFree=1042640/2055920 swapFree=4182548/4192956 [pid=13002] ppid=13000 vsize=1487424 CPUtime=1800.1 /proc/13002/stat : 13002 (java) S 13000 13002 12965 0 -1 0 108982 0 1 0 179948 62 0 0 20 0 13 0 159857285 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13002/statm: 371856 100568 1432 9 0 369199 0 [pid=13002/tid=13004] ppid=13000 vsize=1487424 CPUtime=1793.6 /proc/13002/task/13004/stat : 13004 (java) R 13000 13002 12965 0 -1 64 31022 0 1 0 179337 23 0 0 25 0 13 0 159857287 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4109479890 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13005] ppid=13000 vsize=1487424 CPUtime=2.28 /proc/13002/task/13005/stat : 13005 (java) S 13000 13002 12965 0 -1 64 31615 0 0 0 213 15 0 0 17 0 13 0 159857289 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13006] ppid=13000 vsize=1487424 CPUtime=2.23 /proc/13002/task/13006/stat : 13006 (java) S 13000 13002 12965 0 -1 64 37175 0 0 0 205 18 0 0 16 0 13 0 159857289 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13007] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13007/stat : 13007 (java) S 13000 13002 12965 0 -1 64 23 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13008] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13008/stat : 13008 (java) S 13000 13002 12965 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13009] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13009/stat : 13009 (java) S 13000 13002 12965 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159857291 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13010] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13010/stat : 13010 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159857295 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13011] ppid=13000 vsize=1487424 CPUtime=0.86 /proc/13002/task/13011/stat : 13011 (java) S 13000 13002 12965 0 -1 64 3519 0 0 0 85 1 0 0 16 0 13 0 159857295 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13012] ppid=13000 vsize=1487424 CPUtime=1.07 /proc/13002/task/13012/stat : 13012 (java) S 13000 13002 12965 0 -1 64 4884 0 0 0 105 2 0 0 16 0 13 0 159857295 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13013] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13013/stat : 13013 (java) S 13000 13002 12965 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159857295 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13014] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13014/stat : 13014 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159857295 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13015] ppid=13000 vsize=1487424 CPUtime=0 /proc/13002/task/13015/stat : 13015 (java) S 13000 13002 12965 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 159857321 1523122176 100568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1487424 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.21 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13023 /proc/meminfo: memFree=1042640/2055920 swapFree=4182548/4192956 [pid=13002] ppid=13000 vsize=1488072 CPUtime=1800.3 /proc/13002/stat : 13002 (java) S 13000 13002 12965 0 -1 0 109006 0 1 0 179968 62 0 0 16 0 15 0 159857285 1523785728 100592 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13002/statm: 372018 100592 1434 9 0 369361 0 [pid=13002/tid=13004] ppid=13000 vsize=1488072 CPUtime=1793.7 /proc/13002/task/13004/stat : 13004 (java) R 13000 13002 12965 0 -1 64 31022 0 1 0 179347 23 0 0 25 0 15 0 159857287 1523785728 100592 1992294400 134512640 134550932 4294956016 18446744073709551615 4109480186 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13005] ppid=13000 vsize=1488072 CPUtime=2.28 /proc/13002/task/13005/stat : 13005 (java) S 13000 13002 12965 0 -1 64 31615 0 0 0 213 15 0 0 17 0 15 0 159857289 1523785728 100592 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13006] ppid=13000 vsize=1488072 CPUtime=2.23 /proc/13002/task/13006/stat : 13006 (java) S 13000 13002 12965 0 -1 64 37175 0 0 0 205 18 0 0 16 0 15 0 159857289 1523785728 100592 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13007] ppid=13000 vsize=1488072 CPUtime=0 /proc/13002/task/13007/stat : 13007 (java) S 13000 13002 12965 0 -1 64 23 0 0 0 0 0 0 0 16 0 15 0 159857291 1523785728 100592 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13008] ppid=13000 vsize=1488072 CPUtime=0 /proc/13002/task/13008/stat : 13008 (java) S 13000 13002 12965 0 -1 64 11 0 0 0 0 0 0 0 16 0 15 0 159857291 1523785728 100592 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13009] ppid=13000 vsize=1488072 CPUtime=0 /proc/13002/task/13009/stat : 13009 (java) S 13000 13002 12965 0 -1 64 7 0 0 0 0 0 0 0 16 0 15 0 159857291 1523785728 100592 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13010] ppid=13000 vsize=1488072 CPUtime=0 /proc/13002/task/13010/stat : 13010 (java) S 13000 13002 12965 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 159857295 1523785728 100592 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13011] ppid=13000 vsize=1488072 CPUtime=0.86 /proc/13002/task/13011/stat : 13011 (java) S 13000 13002 12965 0 -1 64 3519 0 0 0 85 1 0 0 16 0 15 0 159857295 1523785728 100592 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13012] ppid=13000 vsize=1488072 CPUtime=1.1 /proc/13002/task/13012/stat : 13012 (java) S 13000 13002 12965 0 -1 64 4889 0 0 0 108 2 0 0 17 0 15 0 159857295 1523785728 100592 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13013] ppid=13000 vsize=1488072 CPUtime=0 /proc/13002/task/13013/stat : 13013 (java) S 13000 13002 12965 0 -1 64 0 0 0 0 0 0 0 0 25 0 15 0 159857295 1523785728 100592 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13002/tid=13014] ppid=13000 vsize=1488072 CPUtime=0 /proc/13002/task/13014/stat : 13014 (java) S 13000 13002 12965 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 159857295 1523785728 100592 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13002/tid=13015] ppid=13000 vsize=1488072 CPUtime=0 /proc/13002/task/13015/stat : 13015 (java) S 13000 13002 12965 0 -1 64 3 0 0 0 0 0 0 0 20 0 15 0 159857321 1523785728 100592 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.3 Current children cumulated vsize (KiB) 1488072 [startup+1797.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 13026 /proc/meminfo: memFree=1297800/2055920 swapFree=4182548/4192956 [pid=13002] ppid=13000 vsize=0 CPUtime=1800.44 /proc/13002/stat : 13002 (java) Z 13000 13002 12965 0 -1 1036 109010 0 1 0 179977 67 0 0 16 0 2 0 159857285 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13002/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1797.33 CPU time (s): 1800.47 CPU user time (s): 1799.78 CPU system time (s): 0.690894 CPU usage (%): 100.175 Max. virtual memory (cumulated for all children) (KiB): 1490580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 0.690894 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 109010 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37663 involuntary context switches= 38473 runsolver used 2.41963 second user time and 4.16937 second system time The end
Begin job on node17 at 2009-06-13 21:49:30 IDJOB=1856719 IDBENCH=2921 IDSOLVER=682 FILE ID=node17/1856719-1244922570 PBS_JOBID= 9354662 Free space on /tmp= 66468 MiB SOLVER NAME= SAT4J Pseudo Resolution 2.1.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1856719-1244922570/watcher-1856719-1244922570 -o /tmp/evaluation-result-1856719-1244922570/solver-1856719-1244922570 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856719-1244922570.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED=1148345033 node17.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1441856 kB Buffers: 70024 kB Cached: 464296 kB SwapCached: 4988 kB Active: 35404 kB Inactive: 507564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1441856 kB SwapTotal: 4192956 kB SwapFree: 4182548 kB Dirty: 364 kB Writeback: 0 kB Mapped: 13560 kB Slab: 56936 kB Committed_AS: 136748 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66468 MiB End job on node17 at 2009-06-13 22:19:29