Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.34 | 1787.84 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-dcmulti.opb |
MD5SUM | 8db02a87a2ff672cda2bdb003f710a98 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 14265 |
Total number of constraints | 290 |
Number of constraints which are clauses | 27 |
Number of constraints which are cardinality constraints (but not clauses) | 5 |
Number of constraints which are nor clauses,nor cardinality constraints | 258 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 14235 |
Biggest coefficient in the objective function | 714038312960 |
Number of bits for the biggest coefficient in the objective function | 40 |
Sum of the numbers in the objective function | 68224730472397 |
Number of bits of the sum of numbers in the objective function | 46 |
Biggest number in a constraint | 714038312960 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 68224730472397 |
Number of bits of the biggest sum of numbers | 46 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.07/0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.07/0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.07/0.15 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.07/0.16 c no version file found!!! 0.07/0.16 c sun.arch.data.model 32 0.07/0.16 c java.version 1.6.0 0.07/0.16 c os.name Linux 0.07/0.16 c os.version 2.6.9-22.EL.rootsmp 0.07/0.16 c os.arch i386 0.07/0.16 c Free memory 1651659224 0.07/0.16 c Max memory 1654456320 0.07/0.16 c Total memory 1654456320 0.07/0.16 c Number of processors 2 0.18/0.22 --- Begin Solver configuration --- 0.18/0.22 c Stops conflict analysis at the first Unique Implication Point 0.18/0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.18/0.22 c Learn all clauses as in MiniSAT 0.18/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.18/0.22 c VSIDS like heuristics from MiniSAT using a heap 0.18/0.22 c No reason simplification 0.18/0.22 c --- End Solver configuration --- 0.18/0.22 c solving /tmp/evaluation/349517-1176704256/instance-349517-1176704256.opb 0.18/0.22 c reading problem ... 2.10/1.35 c ... done. Wall clock time 1.13s. 2.10/1.35 c CPU time (experimental) 0.9s. 2.10/1.35 c #vars 14265 2.10/1.35 c #constraints 368 1719.98/1708.33 c cleaning 487696 clauses out of 975455 for limit 0.007541588414212922 1730.34/1718.68 c cleaning 244869 clauses out of 489762 for limit 0.11143254864998198 1734.87/1723.15 c cleaning 123440 clauses out of 246889 for limit 1.6284743025280024 1736.87/1725.10 c cleaning 61933 clauses out of 123949 for limit 5.349282205918984 1738.72/1726.90 c cleaning 31711 clauses out of 63516 for limit 46.819099712352106 1739.22/1727.47 c cleaning 16106 clauses out of 32307 for limit 152.10184331448542 1740.76/1728.95 c cleaning 8802 clauses out of 17700 for limit 1243.9158219472624 1741.16/1729.38 c cleaning 4659 clauses out of 9397 for limit 3860.08089850707 1742.29/1730.46 c cleaning 3082 clauses out of 6238 for limit 26080.020236832715 1742.59/1730.76 c cleaning 1786 clauses out of 3656 for limit 73384.27270928283 1743.52/1731.67 c cleaning 1643 clauses out of 3371 for limit 357316.11366989004 1743.82/1731.93 c cleaning 1073 clauses out of 2227 for limit 891071.4159853136 1744.02/1732.15 c cleaning 782 clauses out of 1654 for limit 1978577.7061633987 1744.22/1732.37 c cleaning 641 clauses out of 1372 for limit 3933601.783247581 1745.05/1733.18 c cleaning 1079 clauses out of 2231 for limit 1.0849571701394934E7 1745.35/1733.44 c cleaning 784 clauses out of 1652 for limit 2.416339807134571E7 1745.57/1733.68 c cleaning 640 clauses out of 1368 for limit 4.8121354279883355E7 1746.69/1734.71 c cleaning 1323 clauses out of 2730 for limit 1.787120609035324E8 1746.89/1734.95 c cleaning 948 clauses out of 1906 for limit 4.217110579723521E8 1747.19/1735.23 c cleaning 725 clauses out of 1458 for limit 9.091514765954565E8 1748.52/1736.56 c cleaning 1617 clauses out of 3235 for limit 5.008041810431134E9 1748.82/1736.81 c cleaning 1042 clauses out of 2115 for limit 1.2594595126785126E10 1750.46/1738.44 c cleaning 2269 clauses out of 4576 for limit 1.9368826606523035E11 1750.66/1738.66 c cleaning 1404 clauses out of 2808 for limit 5.2105386584162384E11 1750.86/1738.89 c cleaning 927 clauses out of 1900 for limit 1.2648643866543618E12 1751.17/1739.11 c cleaning 735 clauses out of 1474 for limit 2.6914758108409927E12 1752.69/1740.69 c cleaning 1848 clauses out of 3742 for limit 2.139060355538774E13 1752.99/1740.93 c cleaning 1194 clauses out of 2390 for limit 5.501064801517979E13 1753.19/1741.16 c cleaning 847 clauses out of 1698 for limit 1.2794752415022852E14 1753.39/1741.38 c cleaning 672 clauses out of 1349 for limit 2.650601785495769E14 1755.43/1743.40 c cleaning 2332 clauses out of 4679 for limit 4.189088256741882E-5 1755.72/1743.65 c cleaning 1414 clauses out of 2845 for limit 1.133906247662837E-4 1755.92/1743.89 c cleaning 942 clauses out of 1931 for limit 2.7550725020520934E-4 1756.22/1744.11 c cleaning 718 clauses out of 1491 for limit 5.896069213719209E-4 1758.25/1746.13 c cleaning 2366 clauses out of 4771 for limit 0.010060252299573736 1758.45/1746.39 c cleaning 1431 clauses out of 2905 for limit 0.0272475864585848 1758.75/1746.65 c cleaning 963 clauses out of 1975 for limit 0.06616030137405837 1758.96/1746.89 c cleaning 735 clauses out of 1511 for limit 0.1424693640477167 1761.40/1749.20 c cleaning 2613 clauses out of 5276 for limit 3.6811553548741753 1761.60/1749.48 c cleaning 1562 clauses out of 3165 for limit 10.140050766959437 1761.90/1749.72 c cleaning 1030 clauses out of 2101 for limit 25.140543066313864 1762.10/1749.93 c cleaning 765 clauses out of 1572 for limit 55.46749644722693 1762.30/1750.18 c cleaning 631 clauses out of 1306 for limit 109.99407813470019 1762.59/1750.41 c cleaning 564 clauses out of 1175 for limit 201.61855673426297 1764.63/1752.44 c cleaning 2282 clauses out of 4611 for limit 2810.7378500823047 1764.83/1752.68 c cleaning 1394 clauses out of 2831 for limit 7564.8532123690275 1765.13/1752.92 c cleaning 943 clauses out of 1936 for limit 18224.53252327594 1765.33/1753.17 c cleaning 725 clauses out of 1492 for limit 38959.58320901034 1765.53/1753.40 c cleaning 608 clauses out of 1268 for limit 75675.32077040007 1765.83/1753.63 c cleaning 558 clauses out of 1161 for limit 136436.85598962425 1768.66/1756.42 c cleaning 3029 clauses out of 6101 for limit 6357825.902738829 1768.86/1756.66 c cleaning 1787 clauses out of 3574 for limit 1.7934117828224916E7 1769.16/1756.90 c cleaning 1123 clauses out of 2285 for limit 4.61673796779089E7 1769.36/1757.13 c cleaning 808 clauses out of 1663 for limit 1.0471757584236713E8 1769.56/1757.35 c cleaning 651 clauses out of 1354 for limit 2.1189199018142998E8 1769.76/1757.57 c cleaning 577 clauses out of 1204 for limit 3.933662687103281E8 1772.39/1760.13 c cleaning 2813 clauses out of 5626 for limit 1.2512619370763142E10 1772.59/1760.38 c cleaning 1656 clauses out of 3313 for limit 3.504147774470738E10 1772.89/1760.62 c cleaning 1056 clauses out of 2157 for limit 8.875842566866759E10 1773.09/1760.87 c cleaning 783 clauses out of 1601 for limit 1.9720789190012625E11 1773.30/1761.08 c cleaning 640 clauses out of 1320 for limit 3.952451977143926E11 1773.49/1761.29 c cleaning 565 clauses out of 1178 for limit 7.28923758974493E11 1776.93/1764.70 c cleaning 3788 clauses out of 7614 for limit 1.2423142132286355E14 1777.23/1764.95 c cleaning 2161 clauses out of 4325 for limit 3.603127164726746E14 1777.53/1765.20 c cleaning 1330 clauses out of 2664 for limit 9.646890927541066E14 1777.73/1765.41 c cleaning 915 clauses out of 1835 for limit 2.311936592551481E15 1777.93/1765.64 c cleaning 694 clauses out of 1419 for limit 4.925507302257664E15 1778.12/1765.84 c cleaning 607 clauses out of 1225 for limit 9.409209990545048E-5 1778.33/1766.06 c cleaning 556 clauses out of 1119 for limit 1.7003939927060088E-4 1781.17/1768.81 c cleaning 3010 clauses out of 6064 for limit 0.007706722559687317 1781.37/1769.07 c cleaning 1756 clauses out of 3553 for limit 0.02166980908544286 1781.67/1769.31 c cleaning 1120 clauses out of 2296 for limit 0.05524586580081237 1781.87/1769.56 c cleaning 816 clauses out of 1676 for limit 0.12481119477720538 1782.07/1769.80 c cleaning 658 clauses out of 1362 for limit 0.2537904979475161 1782.37/1770.04 c cleaning 582 clauses out of 1203 for limit 0.47337815572490377 1782.57/1770.27 c cleaning 539 clauses out of 1122 for limit 0.8378598555266868 1782.87/1770.51 c cleaning 518 clauses out of 1081 for limit 1.4312826570897572 1783.07/1770.73 c cleaning 502 clauses out of 1063 for limit 2.400345322382998 1787.21/1774.85 c cleaning 4002 clauses out of 8062 for limit 574.9591807085677 1787.53/1775.17 c cleaning 2249 clauses out of 4559 for limit 1675.0647129791346 1787.84/1775.41 c cleaning 1374 clauses out of 2811 for limit 4484.672517555602 1788.03/1775.66 c cleaning 936 clauses out of 1939 for limit 10743.324218060065 1788.23/1775.90 c cleaning 722 clauses out of 1501 for limit 22841.397020405155 1788.53/1776.13 c cleaning 615 clauses out of 1280 for limit 44216.4410898901 1788.73/1776.34 c cleaning 553 clauses out of 1163 for limit 80094.16947085968 1788.93/1776.57 c cleaning 529 clauses out of 1110 for limit 138392.8092853462 1792.86/1780.48 c cleaning 4016 clauses out of 8081 for limit 3.449925386738182E7 1793.16/1780.76 c cleaning 2258 clauses out of 4570 for limit 1.011083574280722E8 1793.46/1781.00 c cleaning 1403 clauses out of 2807 for limit 2.7011218163009876E8 1793.66/1781.24 c cleaning 953 clauses out of 1907 for limit 6.576507391105345E8 1793.86/1781.48 c cleaning 727 clauses out of 1454 for limit 1.4224515605439606E9 1794.06/1781.68 c cleaning 611 clauses out of 1224 for limit 2.7782596178333635E9 1794.26/1781.90 c cleaning 556 clauses out of 1113 for limit 5.038658991163403E9 1794.56/1782.11 c cleaning 497 clauses out of 1057 for limit 8.749657053316923E9 1794.76/1782.33 c cleaning 504 clauses out of 1060 for limit 1.438851719196001E10 1794.96/1782.55 c cleaning 502 clauses out of 1056 for limit 2.38184707325672E10 1798.49/1786.02 c cleaning 3503 clauses out of 7054 for limit 2.37940772974035E12 1798.69/1786.27 c cleaning 2025 clauses out of 4051 for limit 6.832788332316364E12 1798.99/1786.51 c cleaning 1264 clauses out of 2529 for limit 1.8103844198428848E13 1799.19/1786.73 c cleaning 857 clauses out of 1765 for limit 4.277901790288063E13 1799.39/1786.95 c cleaning 703 clauses out of 1407 for limit 8.841028642785405E13 1799.59/1787.17 c cleaning 578 clauses out of 1203 for limit 1.703541205899463E14 1799.79/1787.39 c cleaning 561 clauses out of 1126 for limit 3.0044866492289825E14 1799.99/1787.59 c cleaning 532 clauses out of 1064 for limit 5.2382764708275356E14 1800.09/1787.61 c starts : 22 1800.09/1787.61 c conflicts : 1099544 1800.09/1787.61 c decisions : 1393419 1800.09/1787.61 c propagations : 37889234 1800.09/1787.61 c inspects : 1904349917 1800.09/1787.61 c learnt literals : 46 1800.09/1787.61 c learnt binary clauses : 86 1800.09/1787.61 c learnt ternary clauses : 58 1800.09/1787.61 c learnt clauses : 1099499 1800.09/1787.61 c root simplifications : 0 1800.09/1787.61 c removed literals (reason simplification) : 0 1800.09/1787.61 c reason swapping (by a shorter reason) : 0 1800.09/1787.61 c Calls to reduceDB : 104 1800.09/1787.61 c speed (decisions/second) : 780.2446641062066 1800.09/1787.61 c non guided choices 504 1800.09/1787.61 s UNKNOWN 1800.09/1787.61 c Total wall clock time (ms): 1787.393
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-349517-1176704256 -o ROOT/results/node4/solver-349517-1176704256 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349517-1176704256/sat4jPseudoResolution.jar /tmp/evaluation/349517-1176704256/instance-349517-1176704256.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 1/77 13594 /proc/meminfo: memFree=1763344/2055920 swapFree=4153844/4192956 [pid=13594] ppid=13592 vsize=152 CPUtime=0 /proc/13594/stat : 13594 (java) D 13592 13594 13222 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 146463305 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 10588964 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/13594/statm: 38 26 19 9 0 4 0 [startup+0.0714491 s] /proc/loadavg: 1.00 1.00 1.00 1/77 13594 /proc/meminfo: memFree=1763344/2055920 swapFree=4153844/4192956 [pid=13594] ppid=13592 vsize=1777708 CPUtime=0.04 /proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 3567 0 1 0 2 2 0 0 18 0 7 0 146463305 1820372992 3310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/13594/statm: 444427 3310 1060 9 0 442063 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1777708 [startup+0.101454 s] /proc/loadavg: 1.00 1.00 1.00 1/77 13594 /proc/meminfo: memFree=1763344/2055920 swapFree=4153844/4192956 [pid=13594] ppid=13592 vsize=1777844 CPUtime=0.07 /proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 3818 0 1 0 5 2 0 0 18 0 7 0 146463305 1820512256 3560 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/13594/statm: 444461 3560 1090 9 0 442097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777844 [startup+0.301473 s] /proc/loadavg: 1.00 1.00 1.00 1/77 13594 /proc/meminfo: memFree=1763344/2055920 swapFree=4153844/4192956 [pid=13594] ppid=13592 vsize=1782292 CPUtime=0.31 /proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 5197 0 1 0 28 3 0 0 18 0 12 0 146463305 1825067008 4933 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13594/statm: 445573 4933 1267 9 0 443185 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1782292 [startup+0.701513 s] /proc/loadavg: 1.00 1.00 1.00 1/77 13594 /proc/meminfo: memFree=1763344/2055920 swapFree=4153844/4192956 [pid=13594] ppid=13592 vsize=1783352 CPUtime=0.91 /proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 7838 0 1 0 86 5 0 0 18 0 12 0 146463305 1826152448 7280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13594/statm: 445838 7280 1301 9 0 443450 0 Current children cumulated CPU time (s) 0.91 Current children cumulated vsize (KiB) 1783352 [startup+1.50259 s] /proc/loadavg: 1.08 1.02 1.01 4/89 13606 /proc/meminfo: memFree=1724976/2055920 swapFree=4153844/4192956 [pid=13594] ppid=13592 vsize=1798144 CPUtime=2.49 /proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 22351 0 1 0 237 12 0 0 18 0 12 0 146463305 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13594/statm: 449536 18277 1312 9 0 447148 0 [pid=13594/tid=13596] ppid=13592 vsize=1798144 CPUtime=0.96 /proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 13591 0 1 0 89 7 0 0 20 0 12 0 146463306 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13597] ppid=13592 vsize=1798144 CPUtime=0 /proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 146463308 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13598] ppid=13592 vsize=1798144 CPUtime=0 /proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 146463308 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13599] ppid=13592 vsize=1798144 CPUtime=0 /proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 146463310 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13600] ppid=13592 vsize=1798144 CPUtime=0 /proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 146463310 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13601] ppid=13592 vsize=1798144 CPUtime=0 /proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 146463310 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13602] ppid=13592 vsize=1798144 CPUtime=0 /proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 146463316 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13603] ppid=13592 vsize=1798144 CPUtime=0.97 /proc/13594/task/13603/stat : 13603 (java) R 13592 13594 13222 0 -1 64 5816 0 0 0 95 2 0 0 18 0 12 0 146463316 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103315195 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13604] ppid=13592 vsize=1798144 CPUtime=0.53 /proc/13594/task/13604/stat : 13604 (java) R 13592 13594 13222 0 -1 64 2223 0 0 0 52 1 0 0 16 0 12 0 146463316 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 101901617 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13605] ppid=13592 vsize=1798144 CPUtime=0 /proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 146463316 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13606] ppid=13592 vsize=1798144 CPUtime=0 /proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 146463316 1841299456 18277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.49 Current children cumulated vsize (KiB) 1798144 [startup+3.10274 s] /proc/loadavg: 1.08 1.02 1.01 3/90 13607 /proc/meminfo: memFree=1685864/2055920 swapFree=4153844/4192956 [pid=13594] ppid=13592 vsize=1797204 CPUtime=4.75 /proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 35767 0 1 0 457 18 0 0 18 0 13 0 146463305 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13594/statm: 449301 28821 1318 9 0 446913 0 [pid=13594/tid=13596] ppid=13592 vsize=1797204 CPUtime=2.27 /proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 24013 0 1 0 215 12 0 0 24 0 13 0 146463306 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109832320 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13597] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 146463308 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13598] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 146463308 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13599] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 146463310 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13600] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 146463310 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13601] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 146463310 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13602] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13603] ppid=13592 vsize=1797204 CPUtime=1.4 /proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6531 0 0 0 137 3 0 0 16 0 13 0 146463316 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13604] ppid=13592 vsize=1797204 CPUtime=1.05 /proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4499 0 0 0 103 2 0 0 16 0 13 0 146463316 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13605] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13606] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13607] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1840336896 28821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.75 Current children cumulated vsize (KiB) 1797204 [startup+6.30104 s] /proc/loadavg: 1.08 1.02 1.01 2/90 13607 /proc/meminfo: memFree=1589160/2055920 swapFree=4153844/4192956 [pid=13594] ppid=13592 vsize=1797204 CPUtime=8.06 /proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 51697 0 1 0 781 25 0 0 18 0 13 0 146463305 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13594/statm: 449301 44561 1327 9 0 446913 0 [pid=13594/tid=13596] ppid=13592 vsize=1797204 CPUtime=5.4 /proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 37717 0 1 0 523 17 0 0 25 0 13 0 146463306 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109832903 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13597] ppid=13592 vsize=1797204 CPUtime=0.03 /proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 948 0 0 0 3 0 0 0 16 0 13 0 146463308 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13598] ppid=13592 vsize=1797204 CPUtime=0.03 /proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 1262 0 0 0 3 0 0 0 16 0 13 0 146463308 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13599] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 146463310 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13600] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13601] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146463310 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13602] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13603] ppid=13592 vsize=1797204 CPUtime=1.44 /proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6539 0 0 0 141 3 0 0 17 0 13 0 146463316 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13604] ppid=13592 vsize=1797204 CPUtime=1.1 /proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4502 0 0 0 108 2 0 0 16 0 13 0 146463316 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13605] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13606] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13607] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1840336896 44561 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.06 Current children cumulated vsize (KiB) 1797204 [startup+12.7027 s] /proc/loadavg: 1.07 1.02 1.00 2/90 13607 /proc/meminfo: memFree=1568744/2055920 swapFree=4153844/4192956 [pid=13594] ppid=13592 vsize=1797204 CPUtime=14.54 /proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 56940 0 1 0 1427 27 0 0 18 0 13 0 146463305 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13594/statm: 449301 49694 1327 9 0 446913 0 [pid=13594/tid=13596] ppid=13592 vsize=1797204 CPUtime=11.72 /proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 37721 0 1 0 1155 17 0 0 25 0 13 0 146463306 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109833184 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13597] ppid=13592 vsize=1797204 CPUtime=0.08 /proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 3919 0 0 0 7 1 0 0 17 0 13 0 146463308 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13598] ppid=13592 vsize=1797204 CPUtime=0.08 /proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 3517 0 0 0 7 1 0 0 16 0 13 0 146463308 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13599] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 146463310 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13600] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13601] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146463310 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13602] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13603] ppid=13592 vsize=1797204 CPUtime=1.47 /proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6547 0 0 0 144 3 0 0 16 0 13 0 146463316 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13604] ppid=13592 vsize=1797204 CPUtime=1.13 /proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4505 0 0 0 111 2 0 0 16 0 13 0 146463316 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13605] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13606] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13607] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1840336896 49694 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.54 Current children cumulated vsize (KiB) 1797204 [startup+25.5019 s] /proc/loadavg: 1.06 1.01 1.00 2/90 13607 /proc/meminfo: memFree=1541928/2055920 swapFree=4153844/4192956 [pid=13594] ppid=13592 vsize=1797204 CPUtime=27.4 /proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 64290 0 1 0 2709 31 0 0 18 0 13 0 146463305 1840336896 56384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13594/statm: 449301 56384 1327 9 0 446913 0 [pid=13594/tid=13596] ppid=13592 vsize=1797204 CPUtime=24.44 /proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 37722 0 1 0 2427 17 0 0 25 0 13 0 146463306 1840336896 56384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109874353 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13597] ppid=13592 vsize=1797204 CPUtime=0.15 /proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 9012 0 0 0 12 3 0 0 16 0 13 0 146463308 1840336896 56384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13598] ppid=13592 vsize=1797204 CPUtime=0.16 /proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 5771 0 0 0 13 3 0 0 16 0 13 0 146463308 1840336896 56384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13599] ppid=13592 vsize=1797204 CPUtime=0 /proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1840336896 56384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=13594/tid=13599] ppid=13592 vsize=1795444 CPUtime=0.13 /proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 48 0 0 0 7 6 0 0 15 0 13 0 146463310 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13600] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13601] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13602] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13603] ppid=13592 vsize=1795444 CPUtime=1.48 /proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6547 0 0 0 145 3 0 0 17 0 13 0 146463316 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13604] ppid=13592 vsize=1795444 CPUtime=1.14 /proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4506 0 0 0 112 2 0 0 17 0 13 0 146463316 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13605] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13606] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13606/stat : 13606 (java) R 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13607] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1838534656 331457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1613.24 Current children cumulated vsize (KiB) 1795444 [startup+1662.3 s] /proc/loadavg: 1.00 1.05 1.02 2/90 13609 /proc/meminfo: memFree=405800/2055920 swapFree=4153844/4192956 [pid=13594] ppid=13592 vsize=1795444 CPUtime=1673.79 /proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 470861 0 1 0 167134 245 0 0 18 0 13 0 146463305 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13594/statm: 448861 339371 1327 9 0 446473 0 [pid=13594/tid=13596] ppid=13592 vsize=1795444 CPUtime=1650.4 /proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 40596 0 1 0 165008 32 0 0 25 0 13 0 146463306 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109832443 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13597] ppid=13592 vsize=1795444 CPUtime=10.27 /proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 223335 0 0 0 923 104 0 0 16 0 13 0 146463308 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13598] ppid=13592 vsize=1795444 CPUtime=10.31 /proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 195107 0 0 0 936 95 0 0 16 0 13 0 146463308 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13599] ppid=13592 vsize=1795444 CPUtime=0.13 /proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 48 0 0 0 7 6 0 0 16 0 13 0 146463310 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13600] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13601] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13602] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13603] ppid=13592 vsize=1795444 CPUtime=1.48 /proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6547 0 0 0 145 3 0 0 17 0 13 0 146463316 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13604] ppid=13592 vsize=1795444 CPUtime=1.14 /proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4506 0 0 0 112 2 0 0 17 0 13 0 146463316 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13605] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13606] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13607] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1838534656 339371 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1673.79 Current children cumulated vsize (KiB) 1795444 [startup+1722.3 s] /proc/loadavg: 1.00 1.04 1.01 2/90 13609 /proc/meminfo: memFree=392424/2055920 swapFree=4153844/4192956 [pid=13594] ppid=13592 vsize=1795444 CPUtime=1734.07 /proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 474779 0 1 0 173160 247 0 0 18 0 13 0 146463305 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13594/statm: 448861 342743 1330 9 0 446473 0 [pid=13594/tid=13596] ppid=13592 vsize=1795444 CPUtime=1710.12 /proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 40602 0 1 0 170980 32 0 0 25 0 13 0 146463306 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109343383 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13597] ppid=13592 vsize=1795444 CPUtime=10.47 /proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 225646 0 0 0 943 104 0 0 17 0 13 0 146463308 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13598] ppid=13592 vsize=1795444 CPUtime=10.51 /proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 196693 0 0 0 955 96 0 0 16 0 13 0 146463308 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13599] ppid=13592 vsize=1795444 CPUtime=0.13 /proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 50 0 0 0 7 6 0 0 16 0 13 0 146463310 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13600] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13601] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13602] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13603] ppid=13592 vsize=1795444 CPUtime=1.56 /proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6552 0 0 0 153 3 0 0 17 0 13 0 146463316 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13604] ppid=13592 vsize=1795444 CPUtime=1.21 /proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4514 0 0 0 119 2 0 0 16 0 13 0 146463316 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13605] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13606] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13607] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1838534656 342743 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1734.07 Current children cumulated vsize (KiB) 1795444 [startup+1782.3 s] /proc/loadavg: 1.13 1.06 1.02 2/90 13609 /proc/meminfo: memFree=284392/2055920 swapFree=4153844/4192956 [pid=13594] ppid=13592 vsize=1795444 CPUtime=1794.76 /proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 503895 0 1 0 179213 263 0 0 18 0 13 0 146463305 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13594/statm: 448861 369713 1330 9 0 446473 0 [pid=13594/tid=13596] ppid=13592 vsize=1795444 CPUtime=1769.39 /proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 52014 0 1 0 176900 39 0 0 25 0 13 0 146463306 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109832358 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13597] ppid=13592 vsize=1795444 CPUtime=11.17 /proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 235869 0 0 0 1008 109 0 0 16 0 13 0 146463308 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13598] ppid=13592 vsize=1795444 CPUtime=11.2 /proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 204131 0 0 0 1020 100 0 0 16 0 13 0 146463308 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13599] ppid=13592 vsize=1795444 CPUtime=0.14 /proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 91 0 0 0 7 7 0 0 16 0 13 0 146463310 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13600] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13601] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13602] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13603] ppid=13592 vsize=1795444 CPUtime=1.56 /proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6552 0 0 0 153 3 0 0 17 0 13 0 146463316 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13604] ppid=13592 vsize=1795444 CPUtime=1.24 /proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4516 0 0 0 122 2 0 0 16 0 13 0 146463316 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13605] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13606] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13607] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1838534656 369713 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1794.76 Current children cumulated vsize (KiB) 1795444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787.6 s] /proc/loadavg: 1.12 1.06 1.02 2/90 13609 /proc/meminfo: memFree=281000/2055920 swapFree=4153844/4192956 [pid=13594] ppid=13592 vsize=1795444 CPUtime=1800.09 /proc/13594/stat : 13594 (java) S 13592 13594 13222 0 -1 0 504943 0 1 0 179745 264 0 0 18 0 13 0 146463305 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/13594/statm: 448861 370513 1330 9 0 446473 0 [pid=13594/tid=13596] ppid=13592 vsize=1795444 CPUtime=1774.66 /proc/13594/task/13596/stat : 13596 (java) R 13592 13594 13222 0 -1 64 52015 0 1 0 177427 39 0 0 25 0 13 0 146463306 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109940374 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13597] ppid=13592 vsize=1795444 CPUtime=11.21 /proc/13594/task/13597/stat : 13597 (java) S 13592 13594 13222 0 -1 64 236479 0 0 0 1011 110 0 0 16 0 13 0 146463308 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13598] ppid=13592 vsize=1795444 CPUtime=11.23 /proc/13594/task/13598/stat : 13598 (java) S 13592 13594 13222 0 -1 64 204568 0 0 0 1023 100 0 0 16 0 13 0 146463308 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13599] ppid=13592 vsize=1795444 CPUtime=0.14 /proc/13594/task/13599/stat : 13599 (java) S 13592 13594 13222 0 -1 64 91 0 0 0 7 7 0 0 16 0 13 0 146463310 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13600] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13600/stat : 13600 (java) S 13592 13594 13222 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13601] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13601/stat : 13601 (java) S 13592 13594 13222 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 146463310 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13602] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13602/stat : 13602 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 146463316 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13603] ppid=13592 vsize=1795444 CPUtime=1.56 /proc/13594/task/13603/stat : 13603 (java) S 13592 13594 13222 0 -1 64 6552 0 0 0 153 3 0 0 17 0 13 0 146463316 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=13594/tid=13604] ppid=13592 vsize=1795444 CPUtime=1.24 /proc/13594/task/13604/stat : 13604 (java) S 13592 13594 13222 0 -1 64 4516 0 0 0 122 2 0 0 16 0 13 0 146463316 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13605] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13605/stat : 13605 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 146463316 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13606] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13606/stat : 13606 (java) S 13592 13594 13222 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 146463316 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=13594/tid=13607] ppid=13592 vsize=1795444 CPUtime=0 /proc/13594/task/13607/stat : 13607 (java) S 13592 13594 13222 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 146463493 1838534656 370513 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1795444 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1787.8 s] /proc/loadavg: 1.12 1.06 1.02 2/90 13609 /proc/meminfo: memFree=281000/2055920 swapFree=4153844/4192956 [pid=13594] ppid=13592 vsize=0 CPUtime=1800.29 /proc/13594/stat : 13594 (java) Z 13592 13594 13222 0 -1 1036 504963 0 1 0 179747 282 0 0 16 0 2 0 146463305 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/13594/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1787.84 CPU time (s): 1800.34 CPU user time (s): 1797.48 CPU system time (s): 2.85956 CPU usage (%): 100.699 Max. virtual memory (cumulated for all children) (KiB): 1798144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.48 system time used= 2.85956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 504963 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= 40408 involuntary context switches= 49947 runsolver used 1.78173 second user time and 4.76628 second system time The end
Begin job on node4 on Mon Apr 16 06:17:36 UTC 2007 IDJOB= 349517 IDBENCH= 2472 IDSOLVER= 159 FILE ID= node4/349517-1176704256 PBS_JOBID= 4559426 Free space on /tmp= 66515 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-dcmulti.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349517-1176704256/sat4jPseudoResolution.jar /tmp/evaluation/349517-1176704256/instance-349517-1176704256.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-349517-1176704256 -o ROOT/results/node4/solver-349517-1176704256 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349517-1176704256/sat4jPseudoResolution.jar /tmp/evaluation/349517-1176704256/instance-349517-1176704256.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 8db02a87a2ff672cda2bdb003f710a98 RANDOM SEED= 414694312 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.218 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 : 5931.00 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.218 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: 1763752 kB Buffers: 22496 kB Cached: 194556 kB SwapCached: 2316 kB Active: 70612 kB Inactive: 169672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1763752 kB SwapTotal: 4192956 kB SwapFree: 4153844 kB Dirty: 4236 kB Writeback: 0 kB Mapped: 30680 kB Slab: 37304 kB Committed_AS: 5167804 kB PageTables: 1816 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= 66515 MiB End job on node4 on Mon Apr 16 06:47:25 UTC 2007