Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | OPT | 471047168 | 191.372 | 216.684 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-egout.opb |
MD5SUM | 8eddbca1ad45a201e8c2c397b62f33c3 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 471047168 |
Best CPU time to get the best result obtained on this benchmark | 84.4482 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 471047168 |
Optimality of the best value was proved | YES |
Number of variables | 1705 |
Total number of constraints | 98 |
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 | 98 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 1615 |
Biggest coefficient in the objective function | 545997717504 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 15186728411329 |
Number of bits of the sum of numbers in the objective function | 44 |
Biggest number in a constraint | 545997717504 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 15186728411329 |
Number of bits of the biggest sum of numbers | 44 |
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.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100531 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c ManyCore solver with 2 solvers running in parallel 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.22/0.22 c Expensive reason simplification 0.22/0.22 c Armin Biere (Picosat) restarts strategy 0.22/0.22 c Glucose learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c No reason simplification 0.22/0.22 c Armin Biere (Picosat) restarts strategy 0.22/0.22 c Glucose learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 0.22/0.22 c solving HOME/instance-2662555-1276559066.opb 0.22/0.22 c reading problem ... 1.17/0.79 c ... done. Wall clock time 0.572s. 1.17/0.79 c #vars 1705 1.17/0.79 c #constraints 1123 1.17/0.79 c constraints type 1.17/0.79 c org.sat4j.pb.constraints.pb.MaxWatchPb => 134 1.17/0.79 c constraints type 1.17/0.79 c org.sat4j.pb.constraints.pb.MaxWatchPb => 134 3.16/1.75 c And the winner is Resolution 3.91/2.81 c SATISFIABLE 3.91/2.81 c OPTIMIZING... 3.91/2.81 c Got one! Elapsed wall clock time (in seconds):2.591 3.91/2.81 o 536716400 6.08/3.91 c And the winner is Resolution 6.19/4.89 c Got one! Elapsed wall clock time (in seconds):4.67 6.19/4.89 o 534763618 8.38/6.08 c And the winner is CuttingPlanes 8.55/6.92 c Got one! Elapsed wall clock time (in seconds):6.703 8.55/6.92 o 534569429 10.49/7.90 c And the winner is CuttingPlanes 10.49/7.97 c Got one! Elapsed wall clock time (in seconds):7.748 10.49/7.97 o 533627904 10.49/7.99 c And the winner is Resolution 10.55/8.98 c Got one! Elapsed wall clock time (in seconds):8.761 10.55/8.98 o 530375632 10.58/9.00 c And the winner is Resolution 10.59/10.01 c Got one! Elapsed wall clock time (in seconds):9.788 10.59/10.01 o 530375568 10.59/10.06 c And the winner is Resolution 14.24/14.07 c Got one! Elapsed wall clock time (in seconds):13.849 14.24/14.07 o 530375440 14.24/14.09 c And the winner is Resolution 14.28/15.09 c Got one! Elapsed wall clock time (in seconds):14.86 14.28/15.09 o 530375424 14.28/15.09 c And the winner is Resolution 14.31/16.10 c Got one! Elapsed wall clock time (in seconds):15.876 14.31/16.10 o 530375376 14.31/16.11 c And the winner is Resolution 14.34/17.11 c Got one! Elapsed wall clock time (in seconds):16.887 14.34/17.11 o 530375312 14.34/17.12 c And the winner is Resolution 14.37/18.11 c Got one! Elapsed wall clock time (in seconds):17.895 14.37/18.11 o 530375184 14.37/18.14 c And the winner is Resolution 14.41/19.13 c Got one! Elapsed wall clock time (in seconds):18.906 14.41/19.13 o 530375168 14.41/19.14 c And the winner is Resolution 14.44/20.14 c Got one! Elapsed wall clock time (in seconds):19.916 14.44/20.14 o 530375120 14.44/20.15 c And the winner is Resolution 14.47/21.15 c Got one! Elapsed wall clock time (in seconds):20.928 14.47/21.15 o 530375056 14.47/21.17 c And the winner is Resolution 14.50/22.16 c Got one! Elapsed wall clock time (in seconds):21.94 14.50/22.16 o 530374928 14.50/22.18 c And the winner is Resolution 14.54/23.17 c Got one! Elapsed wall clock time (in seconds):22.952 14.54/23.17 o 530374912 14.54/23.19 c And the winner is Resolution 14.56/24.18 c Got one! Elapsed wall clock time (in seconds):23.962 14.56/24.18 o 530374864 14.56/24.20 c And the winner is Resolution 14.59/25.19 c Got one! Elapsed wall clock time (in seconds):24.974 14.59/25.19 o 530374800 14.60/25.22 c And the winner is Resolution 14.63/26.21 c Got one! Elapsed wall clock time (in seconds):25.987 14.63/26.21 o 530374672 14.63/26.23 c And the winner is Resolution 14.68/27.22 c Got one! Elapsed wall clock time (in seconds):26.998 14.68/27.22 o 530374656 14.68/27.23 c And the winner is Resolution 14.70/28.23 c Got one! Elapsed wall clock time (in seconds):28.008 14.70/28.23 o 530374608 14.70/28.25 c And the winner is Resolution 14.75/29.24 c Got one! Elapsed wall clock time (in seconds):29.02 14.75/29.24 o 530374544 14.75/29.26 c And the winner is Resolution 14.77/30.25 c Got one! Elapsed wall clock time (in seconds):30.031 14.77/30.25 o 530374416 14.77/30.27 c And the winner is Resolution 14.82/31.26 c Got one! Elapsed wall clock time (in seconds):31.041 14.82/31.26 o 530374400 14.82/31.28 c And the winner is Resolution 14.84/32.27 c Got one! Elapsed wall clock time (in seconds):32.051 14.84/32.27 o 530374352 14.84/32.29 c And the winner is Resolution 14.87/33.28 c Got one! Elapsed wall clock time (in seconds):33.063 14.87/33.28 o 530374288 14.89/33.30 c And the winner is Resolution 14.90/34.29 c Got one! Elapsed wall clock time (in seconds):34.074 14.90/34.29 o 530374160 14.91/34.32 c And the winner is Resolution 14.94/35.31 c Got one! Elapsed wall clock time (in seconds):35.086 14.94/35.31 o 530374144 14.94/35.32 c And the winner is Resolution 14.98/36.32 c Got one! Elapsed wall clock time (in seconds):36.095 14.98/36.32 o 530374096 14.98/36.33 c And the winner is Resolution 15.00/37.33 c Got one! Elapsed wall clock time (in seconds):37.107 15.00/37.33 o 530374032 15.00/37.35 c And the winner is Resolution 15.04/38.34 c Got one! Elapsed wall clock time (in seconds):38.118 15.04/38.34 o 530373904 15.04/38.36 c And the winner is Resolution 15.07/39.35 c Got one! Elapsed wall clock time (in seconds):39.131 15.07/39.35 o 530373888 15.07/39.37 c And the winner is Resolution 15.09/40.36 c Got one! Elapsed wall clock time (in seconds):40.142 15.09/40.36 o 530373840 15.09/40.38 c And the winner is Resolution 15.12/41.37 c Got one! Elapsed wall clock time (in seconds):41.152 15.12/41.37 o 530373776 15.12/41.39 c And the winner is Resolution 15.15/42.39 c Got one! Elapsed wall clock time (in seconds):42.165 15.15/42.39 o 530373648 15.17/42.41 c And the winner is Resolution 15.20/43.40 c Got one! Elapsed wall clock time (in seconds):43.176 15.20/43.40 o 530373200 15.20/43.43 c And the winner is Resolution 15.26/44.41 c Got one! Elapsed wall clock time (in seconds):44.187 15.26/44.41 o 530373136 15.26/44.43 c And the winner is Resolution 15.29/45.42 c Got one! Elapsed wall clock time (in seconds):45.198 15.29/45.42 o 530372992 15.29/45.44 c And the winner is Resolution 15.36/46.43 c Got one! Elapsed wall clock time (in seconds):46.209 15.36/46.43 o 530372944 15.36/46.45 c And the winner is Resolution 15.39/47.44 c Got one! Elapsed wall clock time (in seconds):47.219 15.39/47.44 o 530372880 15.39/47.46 c And the winner is Resolution 15.43/48.45 c Got one! Elapsed wall clock time (in seconds):48.23 15.43/48.45 o 530372624 15.43/48.48 c And the winner is Resolution 15.48/49.46 c Got one! Elapsed wall clock time (in seconds):49.24 15.48/49.46 o 530372608 15.48/49.48 c And the winner is Resolution 15.51/50.47 c Got one! Elapsed wall clock time (in seconds):50.249 15.51/50.47 o 530372560 15.51/50.49 c And the winner is Resolution 15.54/51.48 c Got one! Elapsed wall clock time (in seconds):51.261 15.54/51.48 o 530372496 15.56/51.50 c And the winner is Resolution 15.57/52.49 c Got one! Elapsed wall clock time (in seconds):52.271 15.57/52.49 o 530372368 15.58/52.52 c And the winner is Resolution 17.05/54.50 c Got one! Elapsed wall clock time (in seconds):54.282 17.05/54.50 o 530372352 17.05/54.52 c And the winner is Resolution 17.08/55.51 c Got one! Elapsed wall clock time (in seconds):55.292 17.08/55.51 o 530372304 17.08/55.53 c And the winner is Resolution 17.11/56.53 c Got one! Elapsed wall clock time (in seconds):56.305 17.11/56.53 o 530372240 17.11/56.54 c And the winner is Resolution 17.14/57.53 c Got one! Elapsed wall clock time (in seconds):57.314 17.14/57.53 o 530372112 17.14/57.55 c And the winner is Resolution 17.17/58.55 c Got one! Elapsed wall clock time (in seconds):58.325 17.17/58.55 o 530372096 17.17/58.56 c And the winner is Resolution 17.20/59.56 c Got one! Elapsed wall clock time (in seconds):59.336 17.20/59.56 o 530372048 17.20/59.57 c And the winner is Resolution 17.23/60.57 c Got one! Elapsed wall clock time (in seconds):60.349 17.23/60.57 o 530371984 17.23/60.59 c And the winner is Resolution 17.26/61.58 c Got one! Elapsed wall clock time (in seconds):61.359 17.26/61.58 o 530371856 17.26/61.60 c And the winner is Resolution 17.30/62.59 c Got one! Elapsed wall clock time (in seconds):62.371 17.30/62.59 o 530371840 17.31/62.61 c And the winner is Resolution 17.33/63.60 c Got one! Elapsed wall clock time (in seconds):63.381 17.33/63.60 o 530371792 17.33/63.62 c And the winner is Resolution 17.36/64.61 c Got one! Elapsed wall clock time (in seconds):64.394 17.36/64.61 o 530371728 17.36/64.64 c And the winner is Resolution 17.40/65.63 c Got one! Elapsed wall clock time (in seconds):65.409 17.40/65.63 o 530371600 17.40/65.65 c And the winner is Resolution 17.45/66.64 c Got one! Elapsed wall clock time (in seconds):66.421 17.45/66.64 o 530371408 17.45/66.66 c And the winner is Resolution 17.49/67.65 c Got one! Elapsed wall clock time (in seconds):67.43 17.49/67.65 o 530371392 17.49/67.67 c And the winner is Resolution 17.52/68.66 c Got one! Elapsed wall clock time (in seconds):68.441 17.52/68.66 o 530371344 17.52/68.68 c And the winner is Resolution 17.55/69.67 c Got one! Elapsed wall clock time (in seconds):69.451 17.55/69.67 o 530371200 17.55/69.69 c And the winner is Resolution 17.58/70.68 c Got one! Elapsed wall clock time (in seconds):70.46 17.58/70.68 o 530371152 17.61/70.70 c And the winner is Resolution 17.61/71.69 c Got one! Elapsed wall clock time (in seconds):71.471 17.61/71.69 o 530371088 17.62/71.71 c And the winner is Resolution 17.65/72.70 c Got one! Elapsed wall clock time (in seconds):72.483 17.65/72.70 o 530370864 17.65/72.73 c And the winner is Resolution 17.70/73.71 c Got one! Elapsed wall clock time (in seconds):73.492 17.70/73.71 o 530370832 17.70/73.73 c And the winner is Resolution 17.73/74.72 c Got one! Elapsed wall clock time (in seconds):74.503 17.73/74.72 o 530370816 17.73/74.74 c And the winner is Resolution 17.75/75.73 c Got one! Elapsed wall clock time (in seconds):75.514 17.75/75.73 o 530370768 17.75/75.75 c And the winner is Resolution 17.78/76.75 c Got one! Elapsed wall clock time (in seconds):76.526 17.78/76.75 o 530370704 17.78/76.76 c And the winner is Resolution 17.81/77.76 c Got one! Elapsed wall clock time (in seconds):77.537 17.81/77.76 o 530370576 17.81/77.78 c And the winner is Resolution 17.85/78.77 c Got one! Elapsed wall clock time (in seconds):78.546 17.85/78.77 o 530370560 17.85/78.78 c And the winner is Resolution 17.88/79.78 c Got one! Elapsed wall clock time (in seconds):79.555 17.88/79.78 o 530370512 17.88/79.79 c And the winner is Resolution 17.91/80.79 c Got one! Elapsed wall clock time (in seconds):80.567 17.91/80.79 o 530370448 17.92/80.81 c And the winner is Resolution 17.95/81.80 c Got one! Elapsed wall clock time (in seconds):81.576 17.95/81.80 o 530370320 17.95/81.82 c And the winner is Resolution 17.98/82.81 c Got one! Elapsed wall clock time (in seconds):82.59 17.98/82.81 o 530370304 17.98/82.83 c And the winner is Resolution 18.00/83.82 c Got one! Elapsed wall clock time (in seconds):83.602 18.00/83.82 o 530370256 18.00/83.84 c And the winner is Resolution 18.03/84.83 c Got one! Elapsed wall clock time (in seconds):84.613 18.03/84.83 o 530370192 18.03/84.85 c And the winner is Resolution 18.06/85.85 c Got one! Elapsed wall clock time (in seconds):85.626 18.06/85.85 o 530370064 18.06/85.87 c And the winner is Resolution 18.11/86.85 c Got one! Elapsed wall clock time (in seconds):86.634 18.11/86.85 o 530370048 18.11/86.87 c And the winner is Resolution 18.13/87.87 c Got one! Elapsed wall clock time (in seconds):87.644 18.13/87.87 o 530370000 18.13/87.88 c And the winner is Resolution 18.16/88.88 c Got one! Elapsed wall clock time (in seconds):88.655 18.16/88.88 o 530369936 18.16/88.89 c And the winner is Resolution 18.19/89.88 c Got one! Elapsed wall clock time (in seconds):89.664 18.19/89.88 o 530369808 18.21/89.90 c And the winner is Resolution 18.23/90.90 c Got one! Elapsed wall clock time (in seconds):90.677 18.23/90.90 o 530369792 18.23/90.91 c And the winner is Resolution 18.25/91.91 c Got one! Elapsed wall clock time (in seconds):91.687 18.25/91.91 o 530369744 18.25/91.93 c And the winner is Resolution 18.29/92.92 c Got one! Elapsed wall clock time (in seconds):92.696 18.29/92.92 o 530369680 18.29/92.93 c And the winner is Resolution 18.32/93.93 c Got one! Elapsed wall clock time (in seconds):93.707 18.32/93.93 o 530369552 18.32/93.95 c And the winner is Resolution 18.36/94.94 c Got one! Elapsed wall clock time (in seconds):94.718 18.36/94.94 o 530369104 18.36/94.97 c And the winner is Resolution 18.42/95.95 c Got one! Elapsed wall clock time (in seconds):95.73 18.42/95.95 o 530369040 18.42/95.97 c And the winner is Resolution 18.45/96.96 c Got one! Elapsed wall clock time (in seconds):96.74 18.45/96.96 o 530368896 18.45/96.98 c And the winner is Resolution 18.48/97.97 c Got one! Elapsed wall clock time (in seconds):97.752 18.48/97.97 o 530368848 18.48/97.99 c And the winner is Resolution 18.51/98.98 c Got one! Elapsed wall clock time (in seconds):98.764 18.51/98.98 o 530368784 18.51/99.00 c And the winner is Resolution 18.54/99.99 c Got one! Elapsed wall clock time (in seconds):99.773 18.54/99.99 o 530368528 18.55/100.02 c And the winner is Resolution 18.59/101.01 c Got one! Elapsed wall clock time (in seconds):100.789 18.59/101.01 o 530368512 18.59/101.02 c And the winner is Resolution 18.61/102.02 c Got one! Elapsed wall clock time (in seconds):101.802 18.61/102.02 o 530368464 18.61/102.04 c And the winner is Resolution 18.64/103.03 c Got one! Elapsed wall clock time (in seconds):102.814 18.64/103.03 o 530368400 18.64/103.05 c And the winner is Resolution 18.67/104.04 c Got one! Elapsed wall clock time (in seconds):103.824 18.67/104.04 o 530368272 18.67/104.07 c And the winner is Resolution 18.71/105.05 c Got one! Elapsed wall clock time (in seconds):104.832 18.71/105.05 o 530368256 18.71/105.07 c And the winner is Resolution 18.74/106.06 c Got one! Elapsed wall clock time (in seconds):105.843 18.74/106.06 o 530368208 18.74/106.08 c And the winner is Resolution 18.76/107.08 c Got one! Elapsed wall clock time (in seconds):106.854 18.76/107.08 o 530368144 18.76/107.10 c And the winner is Resolution 18.81/108.08 c Got one! Elapsed wall clock time (in seconds):107.864 18.81/108.08 o 530368016 18.83/108.11 c And the winner is Resolution 18.85/109.09 c Got one! Elapsed wall clock time (in seconds):108.874 18.85/109.09 o 530368000 18.85/109.11 c And the winner is Resolution 18.87/110.11 c Got one! Elapsed wall clock time (in seconds):109.886 18.87/110.11 o 530367952 18.87/110.12 c And the winner is Resolution 18.90/111.12 c Got one! Elapsed wall clock time (in seconds):110.898 18.90/111.12 o 530367888 18.90/111.14 c And the winner is Resolution 18.94/112.13 c Got one! Elapsed wall clock time (in seconds):111.907 18.94/112.13 o 530367760 18.94/112.15 c And the winner is Resolution 18.98/113.14 c Got one! Elapsed wall clock time (in seconds):112.916 18.98/113.14 o 530367744 18.98/113.15 c And the winner is Resolution 19.00/114.15 c Got one! Elapsed wall clock time (in seconds):113.929 19.00/114.15 o 530367696 19.00/114.17 c And the winner is Resolution 19.03/115.16 c Got one! Elapsed wall clock time (in seconds):114.94 19.03/115.16 o 530367632 19.03/115.18 c And the winner is Resolution 19.06/116.17 c Got one! Elapsed wall clock time (in seconds):115.952 19.06/116.17 o 530367504 19.30/116.35 c And the winner is Resolution 19.46/117.18 c Got one! Elapsed wall clock time (in seconds):116.964 19.46/117.18 o 510169152 20.49/117.78 c cleaning 2497 clauses out of 4993 with flag 5002/5002 21.06/118.04 c And the winner is Resolution 21.40/119.20 c Got one! Elapsed wall clock time (in seconds):118.975 21.40/119.20 o 510064384 23.97/120.55 c And the winner is Resolution 24.27/121.21 c Got one! Elapsed wall clock time (in seconds):120.988 24.27/121.21 o 498500000 25.03/121.66 c And the winner is Resolution 25.38/122.22 c Got one! Elapsed wall clock time (in seconds):121.999 25.38/122.22 o 494431232 27.52/123.37 c And the winner is Resolution 28.63/125.23 c Got one! Elapsed wall clock time (in seconds):125.014 28.63/125.23 o 493737984 29.73/125.87 c cleaning 4244 clauses out of 8491 with flag 11000/11000 30.48/126.24 c And the winner is Resolution 30.85/127.25 c Got one! Elapsed wall clock time (in seconds):127.027 30.85/127.25 o 489819136 35.31/129.56 c And the winner is Resolution 35.91/130.26 c Got one! Elapsed wall clock time (in seconds):130.043 35.91/130.26 o 486040576 37.76/131.22 c cleaning 5620 clauses out of 11248 with flag 18001/18001 46.82/135.89 c cleaning 6813 clauses out of 13628 with flag 26001/26001 54.07/139.56 c And the winner is Resolution 54.52/140.30 c Got one! Elapsed wall clock time (in seconds):140.079 54.52/140.30 o 484659200 56.49/141.34 c cleaning 7899 clauses out of 15814 with flag 35000/35000 68.57/147.44 c cleaning 8954 clauses out of 17915 with flag 45000/45000 78.18/152.38 c cleaning 9478 clauses out of 18960 with flag 55000/55000 89.62/158.14 c cleaning 9735 clauses out of 19483 with flag 65001/65001 95.69/161.30 c And the winner is Resolution 98.08/164.36 c Got one! Elapsed wall clock time (in seconds):164.138 98.08/164.36 o 481138688 102.71/166.79 c cleaning 9864 clauses out of 19747 with flag 75000/75000 114.15/172.56 c cleaning 9942 clauses out of 19883 with flag 85000/85000 121.03/176.05 c And the winner is Resolution 121.56/177.40 c Got one! Elapsed wall clock time (in seconds):177.174 121.56/177.40 o 479461376 125.74/179.53 c cleaning 9967 clauses out of 19942 with flag 95001/95001 137.16/185.30 c cleaning 9972 clauses out of 19974 with flag 105000/105000 145.19/189.41 c And the winner is Resolution 145.70/190.43 c Got one! Elapsed wall clock time (in seconds):190.209 145.70/190.43 o 479236096 149.22/192.28 c cleaning 9992 clauses out of 20002 with flag 115000/115000 161.63/198.51 c cleaning 9995 clauses out of 20010 with flag 125000/125000 171.47/203.56 c And the winner is Resolution 171.81/204.47 c Got one! Elapsed wall clock time (in seconds):204.248 171.81/204.47 o 478626816 172.86/205.05 c cleaning 10000 clauses out of 20015 with flag 135000/135000 176.51/206.97 c And the winner is Resolution 176.68/207.48 c Got one! Elapsed wall clock time (in seconds):207.263 176.68/207.48 o 473097216 178.10/208.23 c And the winner is Resolution 178.50/209.50 c Got one! Elapsed wall clock time (in seconds):209.276 178.50/209.50 o 471047168 184.84/212.80 c cleaning 10007 clauses out of 20014 with flag 145000/145000 190.27/215.60 c And the winner is Resolution 191.29/216.63 c starts : 222 191.29/216.63 c conflicts : 153100 191.29/216.63 c decisions : 185162 191.29/216.63 c propagations : 6483882 191.29/216.63 c inspects : 75755085 191.29/216.63 c learnt literals : 30 191.29/216.63 c learnt binary clauses : 204 191.29/216.63 c learnt ternary clauses : 437 191.29/216.63 c learnt clauses : 153069 191.29/216.63 c ignored clauses : 0 191.29/216.63 c root simplifications : 0 191.29/216.63 c removed literals (reason simplification) : 4160270 191.29/216.63 c reason swapping (by a shorter reason) : 0 191.29/216.63 c Calls to reduceDB : 16 191.29/216.63 c number of reductions to clauses (during analyze) : 0 191.29/216.63 c number of learned constraints concerned by reduction : 0 191.29/216.63 c number of learning phase by resolution : 0 191.29/216.63 c number of learning phase by cutting planes : 0 191.29/216.63 c speed (assignments/second) : 909890.8223407241 191.29/216.63 c non guided choices 10 191.29/216.63 c learnt constraints type 191.29/216.63 c constraints type 191.29/216.63 c org.sat4j.pb.constraints.pb.MaxWatchPb => 134 191.29/216.63 c constraints type 191.29/216.63 c org.sat4j.pb.constraints.pb.MaxWatchPb => 134 191.29/216.63 s OPTIMUM FOUND 191.29/216.64 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 x612 -x613 x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 x1032 x1033 x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 x1092 x1093 x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 -x1453 x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 x1543 x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 x1602 -x1603 -x1604 x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 x1634 x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 x1658 x1659 x1660 x1661 -x1662 -x1663 x1664 x1665 -x1666 x1667 x1668 -x1669 x1670 x1671 -x1672 -x1673 -x1674 x1675 -x1676 x1677 x1678 -x1679 -x1680 -x1681 x1682 -x1683 x1684 x1685 -x1686 x1687 -x1688 -x1689 x1690 -x1691 x1692 x1693 x1694 -x1695 -x1696 -x1697 x1698 x1699 x1700 -x1701 x1702 -x1703 x1704 x1705 191.29/216.64 c objective function=471047168 191.29/216.64 c Total wall clock time (in seconds): 216.422
OK 471047168
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662555-1276559066/watcher-2662555-1276559066 -o /tmp/evaluation-result-2662555-1276559066/solver-2662555-1276559066 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662555-1276559066.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: 0.92 0.98 0.99 3/106 31491 /proc/meminfo: memFree=1838628/2059040 swapFree=4136648/4192956 [pid=31491] ppid=31489 vsize=392 CPUtime=0 /proc/31491/stat : 31491 (java6) S 31489 31491 31387 0 -1 4194304 121 0 0 0 0 0 0 0 16 0 1 0 29561995 401408 40 1992294400 134512640 134550932 4294068896 18446744073709551615 6971988 0 2147483391 4096 0 18446744071699379390 0 0 17 1 0 0 0 /proc/31491/statm: 98 40 32 10 0 25 0 [startup+0.056464 s] /proc/loadavg: 0.92 0.98 0.99 3/106 31491 /proc/meminfo: memFree=1838628/2059040 swapFree=4136648/4192956 [pid=31491] ppid=31489 vsize=1521664 CPUtime=0.04 /proc/31491/stat : 31491 (java) S 31489 31491 31387 0 -1 4202496 3551 0 1 0 2 2 0 0 15 0 7 0 29561995 1558183936 2992 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/31491/statm: 380416 2992 1011 10 0 377726 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1521664 [startup+0.101467 s] /proc/loadavg: 0.92 0.98 0.99 3/106 31491 /proc/meminfo: memFree=1838628/2059040 swapFree=4136648/4192956 [pid=31491] ppid=31489 vsize=1524180 CPUtime=0.08 /proc/31491/stat : 31491 (java) S 31489 31491 31387 0 -1 4202496 3946 0 1 0 6 2 0 0 15 0 12 0 29561995 1560760320 3385 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31491/statm: 381045 3385 1074 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524180 [startup+0.301487 s] /proc/loadavg: 0.92 0.98 0.99 3/106 31491 /proc/meminfo: memFree=1838628/2059040 swapFree=4136648/4192956 [pid=31491] ppid=31489 vsize=1526400 CPUtime=0.38 /proc/31491/stat : 31491 (java) S 31489 31491 31387 0 -1 4202496 5371 0 1 0 34 4 0 0 15 0 12 0 29561995 1563033600 4808 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31491/statm: 381600 4808 1359 10 0 378903 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 1526400 [startup+0.701519 s] /proc/loadavg: 0.92 0.98 0.99 3/106 31491 /proc/meminfo: memFree=1838628/2059040 swapFree=4136648/4192956 [pid=31491] ppid=31489 vsize=1538764 CPUtime=1.17 /proc/31491/stat : 31491 (java) S 31489 31491 31387 0 -1 4202496 9697 0 1 0 112 5 0 0 15 0 12 0 29561995 1575694336 8802 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31491/statm: 384691 8802 1382 10 0 381994 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 1538764 [startup+1.50158 s] /proc/loadavg: 0.92 0.98 0.99 6/120 31505 /proc/meminfo: memFree=1802556/2059040 swapFree=4136648/4192956 [pid=31491] ppid=31489 vsize=1541488 CPUtime=2.76 /proc/31491/stat : 31491 (java) S 31489 31491 31387 0 -1 4202496 13504 0 1 0 269 7 0 0 15 0 15 0 29561995 1578483712 11024 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31491/statm: 385372 11024 1427 10 0 382675 0 [pid=31491/tid=31493] ppid=31489 vsize=1541488 CPUtime=0.77 /proc/31491/task/31493/stat : 31493 (java) S 31489 31491 31387 0 -1 4202560 5210 0 1 0 73 4 0 0 25 0 15 0 29561997 1578483712 11024 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31494] ppid=31489 vsize=1541488 CPUtime=0 /proc/31491/task/31494/stat : 31494 (java) S 31489 31491 31387 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 15 0 29561998 1578483712 11024 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31495] ppid=31489 vsize=1541488 CPUtime=0 /proc/31491/task/31495/stat : 31495 (java) S 31489 31491 31387 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 15 0 29561998 1578483712 11024 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31496] ppid=31489 vsize=1541488 CPUtime=0 /proc/31491/task/31496/stat : 31496 (java) S 31489 31491 31387 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 15 0 29562000 1578483712 11024 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31497] ppid=31489 vsize=1541488 CPUtime=0 /proc/31491/task/31497/stat : 31497 (java) S 31489 31491 31387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 15 0 29562001 1578483712 11024 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31498] ppid=31489 vsize=1541488 CPUtime=0 /proc/31491/task/31498/stat : 31498 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 15 0 29562001 1578483712 11024 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31499] ppid=31489 vsize=1541488 CPUtime=0 /proc/31491/task/31499/stat : 31499 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 15 0 29562005 1578483712 11024 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31500] ppid=31489 vsize=1541488 CPUtime=0.3 /proc/31491/task/31500/stat : 31500 (java) R 31489 31491 31387 0 -1 4202560 111 0 0 0 30 0 0 0 20 0 15 0 29562005 1578483712 11024 1992294400 134512640 134550932 4288517664 18446744073709551615 104144540 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31491/tid=31501] ppid=31489 vsize=1541488 CPUtime=1.28 /proc/31491/task/31501/stat : 31501 (java) R 31489 31491 31387 0 -1 4202560 5997 0 0 0 126 2 0 0 18 0 15 0 29562005 1578483712 11024 1992294400 134512640 134550932 4288517664 18446744073709551615 103980769 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31491/tid=31502] ppid=31489 vsize=1541488 CPUtime=0 /proc/31491/task/31502/stat : 31502 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 15 0 29562005 1578483712 11024 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31503] ppid=31489 vsize=1541488 CPUtime=0 /proc/31491/task/31503/stat : 31503 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 15 0 29562005 1578483712 11024 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31504] ppid=31489 vsize=1541488 CPUtime=0.08 /proc/31491/task/31504/stat : 31504 (java) R 31489 31491 31387 0 -1 4202560 280 0 0 0 8 0 0 0 25 0 15 0 29562075 1578483712 11024 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31491/tid=31505] ppid=31489 vsize=1541488 CPUtime=0.3 /proc/31491/task/31505/stat : 31505 (java) R 31489 31491 31387 0 -1 4202560 838 0 0 0 30 0 0 0 25 0 15 0 29562075 1578483712 11024 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 1541488 [startup+3.10171 s] /proc/loadavg: 0.92 0.98 0.99 3/120 31507 /proc/meminfo: memFree=1723568/2059040 swapFree=4136648/4192956 [pid=31491] ppid=31489 vsize=1541340 CPUtime=4.49 /proc/31491/stat : 31491 (java) S 31489 31491 31387 0 -1 4202496 34472 0 1 0 432 17 0 0 15 0 16 0 29561995 1578332160 31162 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31491/statm: 385335 31162 1431 10 0 382638 0 [pid=31491/tid=31493] ppid=31489 vsize=1541340 CPUtime=0.78 /proc/31491/task/31493/stat : 31493 (java) S 31489 31491 31387 0 -1 4202560 5418 0 1 0 74 4 0 0 19 0 16 0 29561997 1578332160 31162 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31494] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31494/stat : 31494 (java) S 31489 31491 31387 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 16 0 29561998 1578332160 31162 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31495] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31495/stat : 31495 (java) S 31489 31491 31387 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 16 0 29561998 1578332160 31162 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31496] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31496/stat : 31496 (java) R 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 29562000 1578332160 31162 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=31491/tid=31497] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31497/stat : 31497 (java) S 31489 31491 31387 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 16 0 29562001 1578332160 31162 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31498] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31498/stat : 31498 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 29562001 1578332160 31162 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31499] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31499/stat : 31499 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 29562005 1578332160 31162 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31500] ppid=31489 vsize=1541340 CPUtime=0.65 /proc/31491/task/31500/stat : 31500 (java) S 31489 31491 31387 0 -1 4202560 475 0 0 0 65 0 0 0 15 0 16 0 29562005 1578332160 31162 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31501] ppid=31489 vsize=1541340 CPUtime=1.99 /proc/31491/task/31501/stat : 31501 (java) R 31489 31491 31387 0 -1 4202560 6460 0 0 0 197 2 0 0 15 0 16 0 29562005 1578332160 31162 1992294400 134512640 134550932 4288517664 18446744073709551615 103152278 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31491/tid=31502] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31502/stat : 31502 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 29562005 1578332160 31162 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31503] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31503/stat : 31503 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 29562005 1578332160 31162 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31506] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31506/stat : 31506 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29562111 1578332160 31162 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31507] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31507/stat : 31507 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29562153 1578332160 31162 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.49 Current children cumulated vsize (KiB) 1541340 [startup+6.30196 s] /proc/loadavg: 1.01 1.00 1.00 4/122 31511 /proc/meminfo: memFree=1689576/2059040 swapFree=4136648/4192956 [pid=31491] ppid=31489 vsize=1541340 CPUtime=8.55 /proc/31491/stat : 31491 (java) S 31489 31491 31387 0 -1 4202496 42611 0 1 0 834 21 0 0 15 0 14 0 29561995 1578332160 38730 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31491/statm: 385335 38730 1442 10 0 382638 0 [pid=31491/tid=31493] ppid=31489 vsize=1541340 CPUtime=0.79 /proc/31491/task/31493/stat : 31493 (java) S 31489 31491 31387 0 -1 4202560 5419 0 1 0 75 4 0 0 18 0 14 0 29561997 1578332160 38730 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31494] ppid=31489 vsize=1541340 CPUtime=0.03 /proc/31491/task/31494/stat : 31494 (java) S 31489 31491 31387 0 -1 4202560 985 0 0 0 3 0 0 0 16 0 14 0 29561998 1578332160 38730 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31495] ppid=31489 vsize=1541340 CPUtime=0.02 /proc/31491/task/31495/stat : 31495 (java) S 31489 31491 31387 0 -1 4202560 910 0 0 0 2 0 0 0 16 0 14 0 29561998 1578332160 38730 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31496] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31496/stat : 31496 (java) S 31489 31491 31387 0 -1 4202560 15 0 0 0 0 0 0 0 16 0 14 0 29562000 1578332160 38730 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31497] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31497/stat : 31497 (java) S 31489 31491 31387 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 14 0 29562001 1578332160 38730 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31498] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31498/stat : 31498 (java) S 31489 31491 31387 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 14 0 29562001 1578332160 38730 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31499] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31499/stat : 31499 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 14 0 29562005 1578332160 38730 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31500] ppid=31489 vsize=1541340 CPUtime=0.92 /proc/31491/task/31500/stat : 31500 (java) S 31489 31491 31387 0 -1 4202560 1023 0 0 0 92 0 0 0 15 0 14 0 29562005 1578332160 38730 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31501] ppid=31489 vsize=1541340 CPUtime=2.64 /proc/31491/task/31501/stat : 31501 (java) S 31489 31491 31387 0 -1 4202560 6503 0 0 0 262 2 0 0 15 0 14 0 29562005 1578332160 38730 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31502] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31502/stat : 31502 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 14 0 29562005 1578332160 38730 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31503] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31503/stat : 31503 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 29562005 1578332160 38730 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31506] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31506/stat : 31506 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 14 0 29562111 1578332160 38730 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31507] ppid=31489 vsize=1541340 CPUtime=0 /proc/31491/task/31507/stat : 31507 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 14 0 29562153 1578332160 38730 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.55 Current children cumulated vsize (KiB) 1541340 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/121 31519 /proc/meminfo: memFree=1651888/2059040 swapFree=4136648/4192956 [pid=31491] ppid=31489 vsize=1546460 CPUtime=13.58 /proc/31491/stat : 31491 (java) S 31489 31491 31387 0 -1 4202496 54246 0 1 0 1331 27 0 0 15 0 15 0 29561995 1583575040 48459 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31491/statm: 386615 48459 1446 10 0 383918 0 [pid=31491/tid=31493] ppid=31489 vsize=1546460 CPUtime=0.83 /proc/31491/task/31493/stat : 31493 (java) S 31489 31491 31387 0 -1 4202560 5419 0 1 0 79 4 0 0 18 0 15 0 29561997 1583575040 48459 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31494] ppid=31489 vsize=1546460 CPUtime=0.1 /proc/31491/task/31494/stat : 31494 (java) S 31489 31491 31387 0 -1 4202560 3303 0 0 0 9 1 0 0 15 0 15 0 29561998 1583575040 48459 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31495] ppid=31489 vsize=1546460 CPUtime=0.11 /proc/31491/task/31495/stat : 31495 (java) S 31489 31491 31387 0 -1 4202560 3626 0 0 0 10 1 0 0 16 0 15 0 29561998 1583575040 48459 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31496] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31496/stat : 31496 (java) S 31489 31491 31387 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 15 0 29562000 1583575040 48459 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31497] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31497/stat : 31497 (java) S 31489 31491 31387 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 15 0 29562001 1583575040 48459 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31498] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31498/stat : 31498 (java) S 31489 31491 31387 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 15 0 29562001 1583575040 48459 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31499] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31499/stat : 31499 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 15 0 29562005 1583575040 48459 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31500] ppid=31489 vsize=1546460 CPUtime=1.49 /proc/31491/task/31500/stat : 31500 (java) S 31489 31491 31387 0 -1 4202560 3922 0 0 0 147 2 0 0 15 0 15 0 29562005 1583575040 48459 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31501] ppid=31489 vsize=1546460 CPUtime=2.69 /proc/31491/task/31501/stat : 31501 (java) S 31489 31491 31387 0 -1 4202560 6523 0 0 0 267 2 0 0 15 0 15 0 29562005 1583575040 48459 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31502] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31502/stat : 31502 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 15 0 29562005 1583575040 48459 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31503] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31503/stat : 31503 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 15 0 29562005 1583575040 48459 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31506] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31506/stat : 31506 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 15 0 29562111 1583575040 48459 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31507] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31507/stat : 31507 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 15 0 29562153 1583575040 48459 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31519] ppid=31489 vsize=1546460 CPUtime=2.55 /proc/31491/task/31519/stat : 31519 (java) R 31489 31491 31387 0 -1 4202560 3661 0 0 0 254 1 0 0 25 0 15 0 29562999 1583575040 48459 1992294400 134512640 134550932 4288517664 18446744073709551615 4110101712 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 13.58 Current children cumulated vsize (KiB) 1546460 [startup+25.5025 s] /proc/loadavg: 0.72 0.93 0.98 2/120 31541 /proc/meminfo: memFree=1648548/2059040 swapFree=4136648/4192956 ################ # More data... # ################ [pid=31491/tid=31496] ppid=31489 vsize=1546460 CPUtime=1.36 /proc/31491/task/31496/stat : 31496 (java) S 31489 31491 31387 0 -1 4202560 292 0 0 0 134 2 0 0 15 0 16 0 29562000 1583575040 57216 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31497] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31497/stat : 31497 (java) S 31489 31491 31387 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 29562001 1583575040 57216 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31498] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31498/stat : 31498 (java) S 31489 31491 31387 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29562001 1583575040 57216 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31499] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31499/stat : 31499 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 29562005 1583575040 57216 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31500] ppid=31489 vsize=1546460 CPUtime=1.58 /proc/31491/task/31500/stat : 31500 (java) S 31489 31491 31387 0 -1 4202560 3924 0 0 0 156 2 0 0 15 0 16 0 29562005 1583575040 57216 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31501] ppid=31489 vsize=1546460 CPUtime=3.35 /proc/31491/task/31501/stat : 31501 (java) S 31489 31491 31387 0 -1 4202560 6602 0 0 0 333 2 0 0 15 0 16 0 29562005 1583575040 57216 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31502] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31502/stat : 31502 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 29562005 1583575040 57216 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31503] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31503/stat : 31503 (java) S 31489 31491 31387 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 16 0 29562005 1583575040 57216 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31506] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31506/stat : 31506 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29562111 1583575040 57216 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31507] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31507/stat : 31507 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29562153 1583575040 57216 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31754] ppid=31489 vsize=1546460 CPUtime=4.55 /proc/31491/task/31754/stat : 31754 (java) R 31489 31491 31387 0 -1 4202560 2 0 0 0 455 0 0 0 25 0 16 0 29582946 1583575040 57216 1992294400 134512640 134550932 4288517664 18446744073709551615 4110175468 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31491/tid=31755] ppid=31489 vsize=1546460 CPUtime=4.58 /proc/31491/task/31755/stat : 31755 (java) R 31489 31491 31387 0 -1 4202560 7 0 0 0 458 0 0 0 25 0 16 0 29582946 1583575040 57216 1992294400 134512640 134550932 4288517664 18446744073709551615 4109863474 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 187.88 Current children cumulated vsize (KiB) 1546460 [startup+215.902 s] /proc/loadavg: 1.42 1.02 0.98 4/122 31755 /proc/meminfo: memFree=1612944/2059040 swapFree=4136648/4192956 [pid=31491] ppid=31489 vsize=1546460 CPUtime=190.76 /proc/31491/stat : 31491 (java) S 31489 31491 31387 0 -1 4202496 63931 0 1 0 19035 41 0 0 15 0 15 0 29561995 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31491/statm: 386615 57217 1451 10 0 383918 0 [pid=31491/tid=31493] ppid=31489 vsize=1546460 CPUtime=1.53 /proc/31491/task/31493/stat : 31493 (java) S 31489 31491 31387 0 -1 4202560 5425 0 1 0 149 4 0 0 15 0 15 0 29561997 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31494] ppid=31489 vsize=1546460 CPUtime=0.88 /proc/31491/task/31494/stat : 31494 (java) S 31489 31491 31387 0 -1 4202560 7581 0 0 0 83 5 0 0 16 0 15 0 29561998 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31495] ppid=31489 vsize=1546460 CPUtime=0.89 /proc/31491/task/31495/stat : 31495 (java) S 31489 31491 31387 0 -1 4202560 8156 0 0 0 85 4 0 0 16 0 15 0 29561998 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31496] ppid=31489 vsize=1546460 CPUtime=1.36 /proc/31491/task/31496/stat : 31496 (java) S 31489 31491 31387 0 -1 4202560 294 0 0 0 134 2 0 0 15 0 15 0 29562000 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31497] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31497/stat : 31497 (java) S 31489 31491 31387 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 15 0 29562001 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31498] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31498/stat : 31498 (java) S 31489 31491 31387 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 15 0 29562001 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31499] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31499/stat : 31499 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 15 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31500] ppid=31489 vsize=1546460 CPUtime=1.58 /proc/31491/task/31500/stat : 31500 (java) S 31489 31491 31387 0 -1 4202560 3924 0 0 0 156 2 0 0 15 0 15 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31501] ppid=31489 vsize=1546460 CPUtime=3.35 /proc/31491/task/31501/stat : 31501 (java) S 31489 31491 31387 0 -1 4202560 6602 0 0 0 333 2 0 0 15 0 15 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31502] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31502/stat : 31502 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 15 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31503] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31503/stat : 31503 (java) S 31489 31491 31387 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 15 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31506] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31506/stat : 31506 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 15 0 29562111 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31507] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31507/stat : 31507 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 15 0 29562153 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31755] ppid=31489 vsize=1546460 CPUtime=6.13 /proc/31491/task/31755/stat : 31755 (java) R 31489 31491 31387 0 -1 4202560 9 0 0 0 613 0 0 0 25 0 15 0 29582946 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4110456420 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 190.76 Current children cumulated vsize (KiB) 1546460 [startup+216.302 s] /proc/loadavg: 1.42 1.02 0.98 4/122 31755 /proc/meminfo: memFree=1612944/2059040 swapFree=4136648/4192956 [pid=31491] ppid=31489 vsize=1546460 CPUtime=191.16 /proc/31491/stat : 31491 (java) S 31489 31491 31387 0 -1 4202496 63932 0 1 0 19075 41 0 0 15 0 15 0 29561995 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31491/statm: 386615 57217 1451 10 0 383918 0 [pid=31491/tid=31493] ppid=31489 vsize=1546460 CPUtime=1.53 /proc/31491/task/31493/stat : 31493 (java) S 31489 31491 31387 0 -1 4202560 5425 0 1 0 149 4 0 0 15 0 15 0 29561997 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31494] ppid=31489 vsize=1546460 CPUtime=0.88 /proc/31491/task/31494/stat : 31494 (java) S 31489 31491 31387 0 -1 4202560 7581 0 0 0 83 5 0 0 16 0 15 0 29561998 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31495] ppid=31489 vsize=1546460 CPUtime=0.89 /proc/31491/task/31495/stat : 31495 (java) S 31489 31491 31387 0 -1 4202560 8156 0 0 0 85 4 0 0 16 0 15 0 29561998 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31496] ppid=31489 vsize=1546460 CPUtime=1.36 /proc/31491/task/31496/stat : 31496 (java) S 31489 31491 31387 0 -1 4202560 294 0 0 0 134 2 0 0 15 0 15 0 29562000 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31497] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31497/stat : 31497 (java) S 31489 31491 31387 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 15 0 29562001 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31498] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31498/stat : 31498 (java) S 31489 31491 31387 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 15 0 29562001 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31499] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31499/stat : 31499 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 15 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31500] ppid=31489 vsize=1546460 CPUtime=1.58 /proc/31491/task/31500/stat : 31500 (java) S 31489 31491 31387 0 -1 4202560 3924 0 0 0 156 2 0 0 15 0 15 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31501] ppid=31489 vsize=1546460 CPUtime=3.35 /proc/31491/task/31501/stat : 31501 (java) S 31489 31491 31387 0 -1 4202560 6602 0 0 0 333 2 0 0 15 0 15 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31502] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31502/stat : 31502 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 15 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31503] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31503/stat : 31503 (java) S 31489 31491 31387 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 15 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31506] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31506/stat : 31506 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 15 0 29562111 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31507] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31507/stat : 31507 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 15 0 29562153 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31755] ppid=31489 vsize=1546460 CPUtime=6.53 /proc/31491/task/31755/stat : 31755 (java) R 31489 31491 31387 0 -1 4202560 10 0 0 0 653 0 0 0 25 0 15 0 29582946 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4110101342 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 191.16 Current children cumulated vsize (KiB) 1546460 [startup+216.502 s] /proc/loadavg: 1.42 1.02 0.98 4/122 31755 /proc/meminfo: memFree=1612944/2059040 swapFree=4136648/4192956 [pid=31491] ppid=31489 vsize=1546460 CPUtime=191.21 /proc/31491/stat : 31491 (java) S 31489 31491 31387 0 -1 4202496 63932 0 1 0 19080 41 0 0 15 0 14 0 29561995 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31491/statm: 386615 57217 1451 10 0 383918 0 [pid=31491/tid=31493] ppid=31489 vsize=1546460 CPUtime=1.53 /proc/31491/task/31493/stat : 31493 (java) S 31489 31491 31387 0 -1 4202560 5425 0 1 0 149 4 0 0 15 0 14 0 29561997 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31494] ppid=31489 vsize=1546460 CPUtime=0.88 /proc/31491/task/31494/stat : 31494 (java) S 31489 31491 31387 0 -1 4202560 7581 0 0 0 83 5 0 0 16 0 14 0 29561998 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31495] ppid=31489 vsize=1546460 CPUtime=0.89 /proc/31491/task/31495/stat : 31495 (java) S 31489 31491 31387 0 -1 4202560 8156 0 0 0 85 4 0 0 16 0 14 0 29561998 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31496] ppid=31489 vsize=1546460 CPUtime=1.36 /proc/31491/task/31496/stat : 31496 (java) S 31489 31491 31387 0 -1 4202560 294 0 0 0 134 2 0 0 15 0 14 0 29562000 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31497] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31497/stat : 31497 (java) S 31489 31491 31387 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 14 0 29562001 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31498] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31498/stat : 31498 (java) S 31489 31491 31387 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 14 0 29562001 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31499] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31499/stat : 31499 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 14 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31500] ppid=31489 vsize=1546460 CPUtime=1.58 /proc/31491/task/31500/stat : 31500 (java) S 31489 31491 31387 0 -1 4202560 3924 0 0 0 156 2 0 0 15 0 14 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31501] ppid=31489 vsize=1546460 CPUtime=3.35 /proc/31491/task/31501/stat : 31501 (java) S 31489 31491 31387 0 -1 4202560 6602 0 0 0 333 2 0 0 15 0 14 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31502] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31502/stat : 31502 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 14 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31503] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31503/stat : 31503 (java) S 31489 31491 31387 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 14 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31506] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31506/stat : 31506 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 14 0 29562111 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31507] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31507/stat : 31507 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 14 0 29562153 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 191.21 Current children cumulated vsize (KiB) 1546460 [startup+216.602 s] /proc/loadavg: 1.42 1.02 0.98 3/120 31755 /proc/meminfo: memFree=1612960/2059040 swapFree=4136648/4192956 [pid=31491] ppid=31489 vsize=1546460 CPUtime=191.29 /proc/31491/stat : 31491 (java) S 31489 31491 31387 0 -1 4202496 63932 0 1 0 19088 41 0 0 15 0 14 0 29561995 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31491/statm: 386615 57217 1451 10 0 383918 0 [pid=31491/tid=31493] ppid=31489 vsize=1546460 CPUtime=1.6 /proc/31491/task/31493/stat : 31493 (java) R 31489 31491 31387 0 -1 4202560 5425 0 1 0 156 4 0 0 16 0 14 0 29561997 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4109670118 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31491/tid=31494] ppid=31489 vsize=1546460 CPUtime=0.88 /proc/31491/task/31494/stat : 31494 (java) S 31489 31491 31387 0 -1 4202560 7581 0 0 0 83 5 0 0 16 0 14 0 29561998 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31495] ppid=31489 vsize=1546460 CPUtime=0.89 /proc/31491/task/31495/stat : 31495 (java) S 31489 31491 31387 0 -1 4202560 8156 0 0 0 85 4 0 0 16 0 14 0 29561998 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31496] ppid=31489 vsize=1546460 CPUtime=1.36 /proc/31491/task/31496/stat : 31496 (java) S 31489 31491 31387 0 -1 4202560 294 0 0 0 134 2 0 0 15 0 14 0 29562000 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 0 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31497] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31497/stat : 31497 (java) S 31489 31491 31387 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 14 0 29562001 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31498] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31498/stat : 31498 (java) S 31489 31491 31387 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 14 0 29562001 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31499] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31499/stat : 31499 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 14 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31500] ppid=31489 vsize=1546460 CPUtime=1.59 /proc/31491/task/31500/stat : 31500 (java) S 31489 31491 31387 0 -1 4202560 3924 0 0 0 157 2 0 0 15 0 14 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31501] ppid=31489 vsize=1546460 CPUtime=3.35 /proc/31491/task/31501/stat : 31501 (java) S 31489 31491 31387 0 -1 4202560 6602 0 0 0 333 2 0 0 15 0 14 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31502] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31502/stat : 31502 (java) S 31489 31491 31387 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 14 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31503] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31503/stat : 31503 (java) S 31489 31491 31387 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 14 0 29562005 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 [pid=31491/tid=31506] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31506/stat : 31506 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 14 0 29562111 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 0 0 0 0 [pid=31491/tid=31507] ppid=31489 vsize=1546460 CPUtime=0 /proc/31491/task/31507/stat : 31507 (java) S 31489 31491 31387 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 14 0 29562153 1583575040 57217 1992294400 134512640 134550932 4288517664 18446744073709551615 4294960144 0 4 0 16800975 18446604437822094016 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 191.29 Current children cumulated vsize (KiB) 1546460 Child status: 30 Real time (s): 216.684 CPU time (s): 191.372 CPU user time (s): 190.934 CPU system time (s): 0.437933 CPU usage (%): 88.3185 Max. virtual memory (cumulated for all children) (KiB): 1548508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 190.934 system time used= 0.437933 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63940 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= 7982 involuntary context switches= 7103 runsolver used 0.672897 second user time and 1.58076 second system time The end
Begin job on node026 at 2010-06-15 01:44:26 IDJOB=2662555 IDBENCH=2468 IDSOLVER=1166 FILE ID=node026/2662555-1276559066 PBS_JOBID= 11173500 Free space on /tmp= 62516 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-egout.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662555-1276559066/watcher-2662555-1276559066 -o /tmp/evaluation-result-2662555-1276559066/solver-2662555-1276559066 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662555-1276559066.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8eddbca1ad45a201e8c2c397b62f33c3 RANDOM SEED=2078588761 node026.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 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.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1839024 kB Buffers: 37208 kB Cached: 104712 kB SwapCached: 9428 kB Active: 77668 kB Inactive: 76548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1839024 kB SwapTotal: 4192956 kB SwapFree: 4136648 kB Dirty: 384 kB Writeback: 0 kB AnonPages: 10904 kB Mapped: 9368 kB Slab: 43784 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181264 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62516 MiB End job on node026 at 2010-06-15 01:48:03