Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.32 | 1783.36 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb |
MD5SUM | bb02029eb777c2a6ae8e192b29bcb9de |
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 | 107808 |
Total number of constraints | 3904 |
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 | 3904 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 38688 |
Biggest coefficient in the objective function | 348966092800 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 299074813804544 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 348966092800 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 299074813804544 |
Number of bits of the biggest sum of numbers | 49 |
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-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/349297-1176694288/instance-349297-1176694288.opb 0.20/0.20 c reading problem ... 4.87/3.83 c ... done. Wall clock time 3.629s. 4.87/3.83 c CPU time (experimental) 2.96s. 4.87/3.83 c #vars 107808 4.87/3.83 c #constraints 5184 1637.22/1621.75 c cleaning 555098 clauses out of 1110301 for limit 3.01914739426417E-4 1657.49/1641.90 c cleaning 279335 clauses out of 558703 for limit 0.019903765779016418 1663.44/1647.82 c cleaning 141386 clauses out of 282868 for limit 1.3041382865354754 1665.14/1649.54 c cleaning 70945 clauses out of 141982 for limit 4.284795136101116 1668.90/1653.24 c cleaning 37002 clauses out of 74037 for limit 165.29124892621115 1672.04/1656.37 c cleaning 19438 clauses out of 39036 for limit 2321.0870276734327 1673.04/1657.31 c cleaning 9970 clauses out of 20097 for limit 7427.572103134229 1675.69/1659.99 c cleaning 5974 clauses out of 12127 for limit 91043.36045835828 1676.49/1660.79 c cleaning 3238 clauses out of 6653 for limit 273678.0838698451 1680.44/1664.61 c cleaning 2957 clauses out of 5917 for limit 3761009.5247949776 1683.77/1667.92 c cleaning 2636 clauses out of 5458 for limit 4.963441215931086E7 1684.48/1668.61 c cleaning 1565 clauses out of 3323 for limit 1.3457874423729676E8 1688.01/1672.18 c cleaning 2279 clauses out of 4758 for limit 1.890678550375327E9 1688.61/1672.76 c cleaning 1484 clauses out of 2978 for limit 4.976669688477668E9 1692.44/1676.57 c cleaning 2494 clauses out of 4995 for limit 9.852665494178044E10 1693.14/1677.20 c cleaning 1412 clauses out of 3000 for limit 2.7026471645566513E11 1696.48/1680.51 c cleaning 2287 clauses out of 4589 for limit 3.557643136695722E12 1697.08/1681.13 c cleaning 1309 clauses out of 2803 for limit 9.614965738731611E12 1697.68/1681.78 c cleaning 989 clauses out of 1994 for limit 2.2289563917289043E13 1701.22/1685.21 c cleaning 1991 clauses out of 4004 for limit 2.2306604502850393E-6 1701.82/1685.81 c cleaning 1257 clauses out of 2519 for limit 5.8825052879407955E-6 1705.56/1689.50 c cleaning 2371 clauses out of 4755 for limit 1.0265724361549066E-4 1706.05/1690.03 c cleaning 1432 clauses out of 2885 for limit 2.7930885320701153E-4 1706.55/1690.56 c cleaning 887 clauses out of 1952 for limit 6.800989135653525E-4 1709.79/1693.72 c cleaning 1941 clauses out of 4065 for limit 0.00656941452727049 1710.39/1694.32 c cleaning 1220 clauses out of 2624 for limit 0.01678337401098591 1713.72/1697.66 c cleaning 2112 clauses out of 4410 for limit 0.20209096919203814 1714.22/1698.14 c cleaning 1308 clauses out of 2792 for limit 0.5232616406551415 1714.72/1698.66 c cleaning 905 clauses out of 1986 for limit 1.2155700158996825 1717.76/1701.68 c cleaning 1947 clauses out of 4080 for limit 11.890493238186297 1718.26/1702.13 c cleaning 1226 clauses out of 2633 for limit 30.38540723452499 1718.66/1702.54 c cleaning 864 clauses out of 1907 for limit 69.18646068715385 1719.16/1703.05 c cleaning 679 clauses out of 1543 for limit 141.01384946348537 1721.49/1705.39 c cleaning 1337 clauses out of 2863 for limit 561.5589878984218 1722.09/1705.99 c cleaning 923 clauses out of 2026 for limit 1308.679130089909 1722.69/1706.54 c cleaning 711 clauses out of 1605 for limit 2729.7475915131454 1725.92/1709.79 c cleaning 1853 clauses out of 3892 for limit 22599.092259057477 1726.52/1710.40 c cleaning 1179 clauses out of 2540 for limit 57163.72336934291 1728.95/1712.71 c cleaning 1588 clauses out of 3362 for limit 319752.9620011388 1729.45/1713.21 c cleaning 1043 clauses out of 2272 for limit 778737.0215052002 1730.05/1713.82 c cleaning 784 clauses out of 1731 for limit 1688989.662464711 1732.58/1716.38 c cleaning 1470 clauses out of 2947 for limit 7337827.05251955 1733.18/1716.95 c cleaning 967 clauses out of 1976 for limit 1.8029431894093107E7 1733.78/1717.58 c cleaning 666 clauses out of 1509 for limit 3.8934592161796965E7 1736.21/1719.98 c cleaning 1335 clauses out of 2844 for limit 1.5295135802993232E8 1736.91/1720.65 c cleaning 917 clauses out of 2010 for limit 3.5725414042901236E8 1739.75/1723.44 c cleaning 1541 clauses out of 3093 for limit 1.717184486287732E9 1740.45/1724.12 c cleaning 1023 clauses out of 2050 for limit 4.2641245227024074E9 1742.88/1726.53 c cleaning 1483 clauses out of 3029 for limit 2.1388337966236374E10 1743.48/1727.13 c cleaning 931 clauses out of 2043 for limit 5.213871174770339E10 1744.08/1727.72 c cleaning 803 clauses out of 1612 for limit 1.0897315191477637E11 1745.91/1729.53 c cleaning 1146 clauses out of 2309 for limit 3.4121512834179395E11 1746.41/1730.05 c cleaning 727 clauses out of 1664 for limit 7.81608525456658E11 1747.01/1730.65 c cleaning 718 clauses out of 1438 for limit 1.493049211663642E12 1749.34/1732.95 c cleaning 1356 clauses out of 2719 for limit 5.83462350500275E12 1750.05/1733.61 c cleaning 880 clauses out of 1864 for limit 1.4049683328161908E13 1752.37/1735.97 c cleaning 1398 clauses out of 2982 for limit 6.482750823156389E13 1752.97/1736.53 c cleaning 945 clauses out of 2084 for limit 1.5297664799638234E14 1753.57/1737.16 c cleaning 719 clauses out of 1639 for limit 3.2077446443746075E14 1755.62/1739.15 c cleaning 1208 clauses out of 2420 for limit 9.743860040169058E-6 1756.21/1739.77 c cleaning 851 clauses out of 1713 for limit 2.2723720506241447E-5 1756.81/1740.31 c cleaning 662 clauses out of 1362 for limit 4.713196878345524E-5 1759.54/1743.08 c cleaning 1583 clauses out of 3200 for limit 2.4469333812370876E-4 1760.14/1743.62 c cleaning 971 clauses out of 2116 for limit 6.096461504817717E-4 1760.74/1744.22 c cleaning 734 clauses out of 1649 for limit 0.0012952892991645395 1762.97/1746.49 c cleaning 1362 clauses out of 2911 for limit 0.005405435989186122 1763.57/1747.02 c cleaning 931 clauses out of 2049 for limit 0.012664465430904454 1764.17/1747.63 c cleaning 715 clauses out of 1618 for limit 0.026448813302241206 1767.00/1750.41 c cleaning 1611 clauses out of 3407 for limit 0.15382610973175684 1767.60/1751.01 c cleaning 1053 clauses out of 2293 for limit 0.37579455862964073 1767.90/1751.39 c cleaning 778 clauses out of 1739 for limit 0.816349883941739 1768.40/1751.83 c cleaning 639 clauses out of 1462 for limit 1.6029461897405302 1770.83/1754.21 c cleaning 1315 clauses out of 2822 for limit 6.136183562771006 1771.33/1754.75 c cleaning 918 clauses out of 2007 for limit 14.228655579385048 1771.93/1755.36 c cleaning 704 clauses out of 1589 for limit 29.63761343453168 1773.97/1757.38 c cleaning 1105 clauses out of 2386 for limit 88.61328973493164 1774.57/1757.99 c cleaning 801 clauses out of 1780 for limit 195.69091871283518 1775.17/1758.52 c cleaning 652 clauses out of 1479 for limit 388.3992543312856 1777.50/1760.88 c cleaning 1320 clauses out of 2829 for limit 1504.894952602369 1778.12/1761.40 c cleaning 909 clauses out of 2008 for limit 3492.985636649206 1778.72/1762.01 c cleaning 706 clauses out of 1601 for limit 7239.25853638433 1780.96/1764.24 c cleaning 1353 clauses out of 2892 for limit 29553.378972205668 1781.56/1764.83 c cleaning 922 clauses out of 2040 for limit 69161.70050532398 1782.17/1765.43 c cleaning 714 clauses out of 1618 for limit 143804.7396148873 1784.80/1768.01 c cleaning 1357 clauses out of 2903 for limit 592234.519913825 1785.40/1768.62 c cleaning 930 clauses out of 2046 for limit 1385769.5405236105 1787.93/1771.16 c cleaning 1550 clauses out of 3117 for limit 6734694.471274149 1788.53/1771.73 c cleaning 936 clauses out of 2066 for limit 1.6739626300301377E7 1789.13/1772.30 c cleaning 815 clauses out of 1630 for limit 3.499003349754407E7 1790.66/1773.88 c cleaning 1150 clauses out of 2317 for limit 1.1062228206655587E8 1791.26/1774.45 c cleaning 825 clauses out of 1666 for limit 2.5346326525655818E8 1791.86/1775.04 c cleaning 584 clauses out of 1342 for limit 5.194310482666113E8 1792.35/1775.55 c cleaning 535 clauses out of 1257 for limit 9.136219368213289E8 1794.59/1777.75 c cleaning 1254 clauses out of 2721 for limit 3.1186187880942016E9 1795.19/1778.34 c cleaning 887 clauses out of 1967 for limit 7.114466845520259E9 1797.53/1780.63 c cleaning 1433 clauses out of 3080 for limit 3.3606211113481472E10 1798.02/1781.17 c cleaning 978 clauses out of 2148 for limit 7.954747330413939E10 1798.62/1781.73 c cleaning 727 clauses out of 1670 for limit 1.6873302109000238E11 1799.12/1782.28 c cleaning 721 clauses out of 1442 for limit 3.219383163141026E11 1800.06/1783.12 c starts : 22 1800.06/1783.12 c conflicts : 1231210 1800.06/1783.12 c decisions : 1966001 1800.06/1783.12 c propagations : 140818713 1800.06/1783.12 c inspects : 843246888 1800.06/1783.12 c learnt literals : 199 1800.06/1783.12 c learnt binary clauses : 165 1800.06/1783.12 c learnt ternary clauses : 66 1800.06/1783.12 c learnt clauses : 1231011 1800.06/1783.12 c root simplifications : 0 1800.06/1783.12 c removed literals (reason simplification) : 0 1800.06/1783.12 c reason swapping (by a shorter reason) : 0 1800.06/1783.12 c Calls to reduceDB : 99 1800.06/1783.12 c speed (decisions/second) : 1105.1586598918113 1800.06/1783.12 c non guided choices 13303 1800.06/1783.12 s UNKNOWN 1800.06/1783.12 c Total wall clock time (ms): 1782.914
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-349297-1176694288 -o ROOT/results/node61/solver-349297-1176694288 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349297-1176694288/sat4jPseudoResolution.jar /tmp/evaluation/349297-1176694288/instance-349297-1176694288.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 0.99 0.98 2/64 31538 /proc/meminfo: memFree=1845184/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=152 CPUtime=0 /proc/31538/stat : 31538 (java) R 31536 31538 31376 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 81392453 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 10384164 0 0 4096 0 0 0 0 17 1 0 0 /proc/31538/statm: 38 26 19 9 0 4 0 [startup+0.0339919 s] /proc/loadavg: 1.00 0.99 0.98 2/64 31538 /proc/meminfo: memFree=1845184/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=1775952 CPUtime=0.01 /proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 2895 0 1 0 0 1 0 0 18 0 4 0 81392453 1818574848 2642 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/31538/statm: 443988 2642 667 9 0 441624 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1775952 [startup+0.101999 s] /proc/loadavg: 1.00 0.99 0.98 2/64 31538 /proc/meminfo: memFree=1845184/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=1780108 CPUtime=0.08 /proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 3974 0 1 0 6 2 0 0 18 0 12 0 81392453 1822830592 3715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31538/statm: 445027 3715 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.30202 s] /proc/loadavg: 1.00 0.99 0.98 2/64 31538 /proc/meminfo: memFree=1845184/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=1781508 CPUtime=0.33 /proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 5997 0 1 0 30 3 0 0 18 0 12 0 81392453 1824264192 5735 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31538/statm: 445377 5735 1267 9 0 442989 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1781508 [startup+0.701061 s] /proc/loadavg: 1.00 0.99 0.98 2/64 31538 /proc/meminfo: memFree=1845184/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=1782352 CPUtime=0.89 /proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 9954 0 1 0 84 5 0 0 18 0 12 0 81392453 1825128448 9467 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31538/statm: 445588 9467 1297 9 0 443200 0 Current children cumulated CPU time (s) 0.89 Current children cumulated vsize (KiB) 1782352 [startup+1.50113 s] /proc/loadavg: 1.00 0.99 0.98 2/76 31550 /proc/meminfo: memFree=1801056/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=1782584 CPUtime=2 /proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 23973 0 1 0 189 11 0 0 18 0 12 0 81392453 1825366016 23111 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31538/statm: 445646 23111 1304 9 0 443258 0 [pid=31538/tid=31540] ppid=31536 vsize=1782584 CPUtime=1.18 /proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 21850 0 1 0 109 9 0 0 24 0 12 0 81392454 1825366016 23112 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109589318 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31541] ppid=31536 vsize=1782584 CPUtime=0 /proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 81392456 1825366016 23115 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31542] ppid=31536 vsize=1782584 CPUtime=0 /proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 81392456 1825366016 23117 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31543] ppid=31536 vsize=1782584 CPUtime=0 /proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 81392458 1825366016 23119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31544] ppid=31536 vsize=1782584 CPUtime=0 /proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 81392459 1825366016 23119 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31545] ppid=31536 vsize=1782584 CPUtime=0 /proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 81392459 1825366016 23120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31546] ppid=31536 vsize=1782584 CPUtime=0 /proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 81392463 1825366016 23121 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31547] ppid=31536 vsize=1782584 CPUtime=0.39 /proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 736 0 0 0 39 0 0 0 16 0 12 0 81392463 1825366016 23122 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31548] ppid=31536 vsize=1782584 CPUtime=0.4 /proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 668 0 0 0 40 0 0 0 16 0 12 0 81392463 1825366016 23123 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31549] ppid=31536 vsize=1782584 CPUtime=0 /proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 81392463 1825366016 23124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31550] ppid=31536 vsize=1782584 CPUtime=0 /proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 81392463 1825366016 23124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2 Current children cumulated vsize (KiB) 1782584 [startup+3.10128 s] /proc/loadavg: 1.00 0.99 0.98 3/76 31550 /proc/meminfo: memFree=1681440/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=1784416 CPUtime=3.82 /proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 47158 0 1 0 360 22 0 0 18 0 12 0 81392453 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31538/statm: 446104 46100 1325 9 0 443716 0 [pid=31538/tid=31540] ppid=31536 vsize=1784416 CPUtime=2.56 /proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 37673 0 1 0 241 15 0 0 25 0 12 0 81392454 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109220357 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31541] ppid=31536 vsize=1784416 CPUtime=0.17 /proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 3641 0 0 0 15 2 0 0 16 0 12 0 81392456 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31542] ppid=31536 vsize=1784416 CPUtime=0.17 /proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 3703 0 0 0 16 1 0 0 16 0 12 0 81392456 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31543] ppid=31536 vsize=1784416 CPUtime=0 /proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 7 0 0 0 0 0 0 0 15 0 12 0 81392458 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31544] ppid=31536 vsize=1784416 CPUtime=0 /proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 81392459 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31545] ppid=31536 vsize=1784416 CPUtime=0 /proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 81392459 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31546] ppid=31536 vsize=1784416 CPUtime=0 /proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 81392463 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31547] ppid=31536 vsize=1784416 CPUtime=0.43 /proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 747 0 0 0 43 0 0 0 16 0 12 0 81392463 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31548] ppid=31536 vsize=1784416 CPUtime=0.42 /proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 668 0 0 0 42 0 0 0 16 0 12 0 81392463 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31549] ppid=31536 vsize=1784416 CPUtime=0 /proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 81392463 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31550] ppid=31536 vsize=1784416 CPUtime=0 /proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 81392463 1827241984 46100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.82 Current children cumulated vsize (KiB) 1784416 [startup+6.30259 s] /proc/loadavg: 1.00 0.99 0.98 2/77 31551 /proc/meminfo: memFree=1617496/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=1787116 CPUtime=8.04 /proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 63119 0 1 0 775 29 0 0 18 0 13 0 81392453 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31538/statm: 446779 57940 1335 9 0 444391 0 [pid=31538/tid=31540] ppid=31536 vsize=1787116 CPUtime=5.2 /proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 37713 0 1 0 504 16 0 0 25 0 13 0 81392454 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109717113 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31541] ppid=31536 vsize=1787116 CPUtime=0.51 /proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 10255 0 0 0 47 4 0 0 16 0 13 0 81392456 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31542] ppid=31536 vsize=1787116 CPUtime=0.52 /proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 9503 0 0 0 47 5 0 0 16 0 13 0 81392456 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31543] ppid=31536 vsize=1787116 CPUtime=0 /proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 81392458 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31544] ppid=31536 vsize=1787116 CPUtime=0 /proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 81392459 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31545] ppid=31536 vsize=1787116 CPUtime=0 /proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81392459 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31546] ppid=31536 vsize=1787116 CPUtime=0 /proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 81392463 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31547] ppid=31536 vsize=1787116 CPUtime=1.03 /proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 3916 0 0 0 102 1 0 0 16 0 13 0 81392463 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31548] ppid=31536 vsize=1787116 CPUtime=0.74 /proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 1002 0 0 0 74 0 0 0 16 0 13 0 81392463 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31549] ppid=31536 vsize=1787116 CPUtime=0 /proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81392463 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31550] ppid=31536 vsize=1787116 CPUtime=0 /proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 81392463 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31551] ppid=31536 vsize=1787116 CPUtime=0 /proc/31538/task/31551/stat : 31551 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 81392883 1830006784 57940 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.04 Current children cumulated vsize (KiB) 1787116 [startup+12.7022 s] /proc/loadavg: 1.00 0.99 0.98 2/77 31551 /proc/meminfo: memFree=1612448/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=1787756 CPUtime=14.84 /proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 64680 0 1 0 1454 30 0 0 18 0 13 0 81392453 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31538/statm: 446939 59237 1335 9 0 444551 0 [pid=31538/tid=31540] ppid=31536 vsize=1787756 CPUtime=11.2 /proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 37717 0 1 0 1104 16 0 0 25 0 13 0 81392454 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109822444 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31541] ppid=31536 vsize=1787756 CPUtime=0.9 /proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 11529 0 0 0 85 5 0 0 16 0 13 0 81392456 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31542] ppid=31536 vsize=1787756 CPUtime=0.9 /proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 9786 0 0 0 85 5 0 0 16 0 13 0 81392456 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31543] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 81392458 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31544] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31545] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31546] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 81392463 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31547] ppid=31536 vsize=1787756 CPUtime=1.04 /proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 3916 0 0 0 103 1 0 0 16 0 13 0 81392463 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31548] ppid=31536 vsize=1787756 CPUtime=0.74 /proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 1002 0 0 0 74 0 0 0 17 0 13 0 81392463 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31549] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81392463 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31550] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 81392463 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31551] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31551/stat : 31551 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 81392883 1830662144 59237 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.84 Current children cumulated vsize (KiB) 1787756 [startup+25.5014 s] /proc/loadavg: 1.00 0.99 0.98 2/77 31551 /proc/meminfo: memFree=1583584/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=1787756 CPUtime=28.27 /proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 73944 0 1 0 2793 34 0 0 18 0 13 0 81392453 1830662144 66491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31538/statm: 446939 66491 1335 9 0 444551 0 [pid=31538/tid=31540] ppid=31536 vsize=1787756 CPUtime=23.36 /proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 37722 0 1 0 2320 16 0 0 25 0 13 0 81392454 1830662144 66491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109893642 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31541] ppid=31536 vsize=1787756 CPUtime=1.51 /proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 15929 0 0 0 145 6 0 0 17 0 13 0 81392456 1830662144 66491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31542] ppid=31536 vsize=1787756 CPUtime=1.51 /proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 14641 0 0 0 144 7 0 0 16 0 13 0 81392456 1830662144 66491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31543] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 81392458 1830662144 66491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31544] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 66491 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 3920 0 0 0 112 1 0 0 16 0 13 0 81392463 1830662144 367396 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31548] ppid=31536 vsize=1787756 CPUtime=0.81 /proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 1007 0 0 0 81 0 0 0 16 0 13 0 81392463 1830662144 367396 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31549] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81392463 1830662144 367396 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31550] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 81392463 1830662144 367396 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31551] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31551/stat : 31551 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 81392883 1830662144 367396 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1617.81 Current children cumulated vsize (KiB) 1787756 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 31551 /proc/meminfo: memFree=339360/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=1787756 CPUtime=1678.14 /proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 566859 0 1 0 167537 277 0 0 18 0 13 0 81392453 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31538/statm: 446939 376717 1335 9 0 444551 0 [pid=31538/tid=31540] ppid=31536 vsize=1787756 CPUtime=1645.11 /proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 91026 0 1 0 164471 40 0 0 25 0 13 0 81392454 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109822875 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31541] ppid=31536 vsize=1787756 CPUtime=15.33 /proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 220430 0 0 0 1433 100 0 0 16 0 13 0 81392456 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31542] ppid=31536 vsize=1787756 CPUtime=15.36 /proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 249464 0 0 0 1420 116 0 0 16 0 13 0 81392456 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31543] ppid=31536 vsize=1787756 CPUtime=0.28 /proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 285 0 0 0 12 16 0 0 16 0 13 0 81392458 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31544] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31545] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31546] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 81392463 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31547] ppid=31536 vsize=1787756 CPUtime=1.16 /proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 3922 0 0 0 115 1 0 0 17 0 13 0 81392463 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31548] ppid=31536 vsize=1787756 CPUtime=0.83 /proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 1009 0 0 0 83 0 0 0 16 0 13 0 81392463 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31549] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81392463 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31550] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 81392463 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31551] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31551/stat : 31551 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 81392883 1830662144 376717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1678.14 Current children cumulated vsize (KiB) 1787756 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 31551 /proc/meminfo: memFree=346080/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=1787756 CPUtime=1738.65 /proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 572630 0 1 0 173584 281 0 0 18 0 13 0 81392453 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31538/statm: 446939 374978 1335 9 0 444551 0 [pid=31538/tid=31540] ppid=31536 vsize=1787756 CPUtime=1704.55 /proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 92113 0 1 0 170414 41 0 0 25 0 13 0 81392454 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109822634 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31541] ppid=31536 vsize=1787756 CPUtime=15.86 /proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 222685 0 0 0 1485 101 0 0 16 0 13 0 81392456 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31542] ppid=31536 vsize=1787756 CPUtime=15.89 /proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 251881 0 0 0 1472 117 0 0 16 0 13 0 81392456 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31543] ppid=31536 vsize=1787756 CPUtime=0.29 /proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 297 0 0 0 12 17 0 0 16 0 13 0 81392458 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31544] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31545] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31546] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 81392463 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31547] ppid=31536 vsize=1787756 CPUtime=1.16 /proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 3922 0 0 0 115 1 0 0 17 0 13 0 81392463 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31548] ppid=31536 vsize=1787756 CPUtime=0.83 /proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 1009 0 0 0 83 0 0 0 16 0 13 0 81392463 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31549] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81392463 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31550] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 81392463 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31551] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31551/stat : 31551 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 81392883 1830662144 374978 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1738.65 Current children cumulated vsize (KiB) 1787756 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/83 31623 /proc/meminfo: memFree=346544/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=1787756 CPUtime=1799.23 /proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 578022 0 1 0 179637 286 0 0 18 0 13 0 81392453 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31538/statm: 446939 374547 1335 9 0 444551 0 [pid=31538/tid=31540] ppid=31536 vsize=1787756 CPUtime=1763.94 /proc/31538/task/31540/stat : 31540 (java) S 31536 31538 31376 0 -1 64 94243 0 1 0 176350 44 0 0 25 0 13 0 81392454 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31541] ppid=31536 vsize=1787756 CPUtime=16.43 /proc/31538/task/31541/stat : 31541 (java) R 31536 31538 31376 0 -1 64 224926 0 0 0 1541 102 0 0 16 0 13 0 81392456 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105070793 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31542] ppid=31536 vsize=1787756 CPUtime=16.47 /proc/31538/task/31542/stat : 31542 (java) R 31536 31538 31376 0 -1 64 252881 0 0 0 1529 118 0 0 16 0 13 0 81392456 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102355646 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31543] ppid=31536 vsize=1787756 CPUtime=0.3 /proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 316 0 0 0 13 17 0 0 15 0 13 0 81392458 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31544] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31545] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31546] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 81392463 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31547] ppid=31536 vsize=1787756 CPUtime=1.16 /proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 3922 0 0 0 115 1 0 0 17 0 13 0 81392463 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31548] ppid=31536 vsize=1787756 CPUtime=0.86 /proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 1011 0 0 0 86 0 0 0 17 0 13 0 81392463 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31549] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81392463 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31550] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 81392463 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31551] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31551/stat : 31551 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 81392883 1830662144 374547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.23 Current children cumulated vsize (KiB) 1787756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/83 31625 /proc/meminfo: memFree=345520/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=1787756 CPUtime=1800.06 /proc/31538/stat : 31538 (java) S 31536 31538 31376 0 -1 0 578297 0 1 0 179720 286 0 0 18 0 13 0 81392453 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31538/statm: 446939 374821 1335 9 0 444551 0 [pid=31538/tid=31540] ppid=31536 vsize=1787756 CPUtime=1764.73 /proc/31538/task/31540/stat : 31540 (java) R 31536 31538 31376 0 -1 64 94243 0 1 0 176429 44 0 0 25 0 13 0 81392454 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109822939 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31541] ppid=31536 vsize=1787756 CPUtime=16.46 /proc/31538/task/31541/stat : 31541 (java) S 31536 31538 31376 0 -1 64 225055 0 0 0 1544 102 0 0 16 0 13 0 81392456 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31542] ppid=31536 vsize=1787756 CPUtime=16.49 /proc/31538/task/31542/stat : 31542 (java) S 31536 31538 31376 0 -1 64 253027 0 0 0 1531 118 0 0 16 0 13 0 81392456 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31543] ppid=31536 vsize=1787756 CPUtime=0.3 /proc/31538/task/31543/stat : 31543 (java) S 31536 31538 31376 0 -1 64 316 0 0 0 13 17 0 0 15 0 13 0 81392458 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31544] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31544/stat : 31544 (java) S 31536 31538 31376 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31545] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31545/stat : 31545 (java) S 31536 31538 31376 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 81392459 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31546] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31546/stat : 31546 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 81392463 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31547] ppid=31536 vsize=1787756 CPUtime=1.16 /proc/31538/task/31547/stat : 31547 (java) S 31536 31538 31376 0 -1 64 3922 0 0 0 115 1 0 0 17 0 13 0 81392463 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31548] ppid=31536 vsize=1787756 CPUtime=0.86 /proc/31538/task/31548/stat : 31548 (java) S 31536 31538 31376 0 -1 64 1011 0 0 0 86 0 0 0 17 0 13 0 81392463 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31549] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31549/stat : 31549 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 81392463 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31538/tid=31550] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31550/stat : 31550 (java) S 31536 31538 31376 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 81392463 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31538/tid=31551] ppid=31536 vsize=1787756 CPUtime=0 /proc/31538/task/31551/stat : 31551 (java) S 31536 31538 31376 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 81392883 1830662144 374821 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1787756 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1783.21 s] /proc/loadavg: 1.00 1.00 1.00 2/83 31625 /proc/meminfo: memFree=345520/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=0 CPUtime=1800.16 /proc/31538/stat : 31538 (java) Z 31536 31538 31376 0 -1 1036 578317 0 1 0 179721 295 0 0 16 0 2 0 81392453 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/31538/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 [startup+1783.3 s] /proc/loadavg: 1.00 1.00 1.00 2/83 31625 /proc/meminfo: memFree=345520/2055920 swapFree=4184540/4192956 [pid=31538] ppid=31536 vsize=0 CPUtime=1800.25 /proc/31538/stat : 31538 (java) Z 31536 31538 31376 0 -1 1036 578317 0 1 0 179721 304 0 0 16 0 2 0 81392453 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/31538/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1783.36 CPU time (s): 1800.32 CPU user time (s): 1797.22 CPU system time (s): 3.10053 CPU usage (%): 100.951 Max. virtual memory (cumulated for all children) (KiB): 1787756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.22 system time used= 3.10053 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 578317 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= 44025 involuntary context switches= 31192 runsolver used 1.91771 second user time and 5.08323 second system time The end
Begin job on node61 on Mon Apr 16 03:31:28 UTC 2007 IDJOB= 349297 IDBENCH= 2342 IDSOLVER= 159 FILE ID= node61/349297-1176694288 PBS_JOBID= 4560033 Free space on /tmp= 66550 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349297-1176694288/sat4jPseudoResolution.jar /tmp/evaluation/349297-1176694288/instance-349297-1176694288.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-349297-1176694288 -o ROOT/results/node61/solver-349297-1176694288 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349297-1176694288/sat4jPseudoResolution.jar /tmp/evaluation/349297-1176694288/instance-349297-1176694288.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= bb02029eb777c2a6ae8e192b29bcb9de RANDOM SEED= 435800627 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.240 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: 1845592 kB Buffers: 7388 kB Cached: 137864 kB SwapCached: 2648 kB Active: 52468 kB Inactive: 103092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845592 kB SwapTotal: 4192956 kB SwapFree: 4184540 kB Dirty: 8240 kB Writeback: 0 kB Mapped: 16356 kB Slab: 40852 kB Committed_AS: 727588 kB PageTables: 1388 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= 66550 MiB End job on node61 on Mon Apr 16 04:01:14 UTC 2007