Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | SAT (TO) | 95 | 1800.27 | 1769.35 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 75 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1531 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5104 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.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.19/0.21 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 0.19/0.21 --- Begin Solver configuration --- 0.19/0.21 c Stops conflict analysis at the first Unique Implication Point 0.19/0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.19/0.21 c Learn all clauses as in MiniSAT 0.19/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.19/0.21 c VSIDS like heuristics from MiniSAT using a heap 0.19/0.21 c No reason simplification 0.19/0.21 c --- End Solver configuration --- 0.19/0.21 c Simplify asserted PB constraints to clauses 0.19/0.21 c solving /tmp/evaluation/354922-1176732688/instance-354922-1176732688.opb 0.19/0.21 c reading problem ... 0.29/0.34 c ... done. Wall clock time 0.121s. 0.29/0.34 c CPU time (experimental) 0.27s. 0.29/0.34 c #vars 172 0.29/0.34 c #constraints 14 3.11/1.85 c SATISFIABLE 3.11/1.85 c OPTIMIZING... 3.11/1.85 c Got one! Elapsed wall clock time (in seconds):1.64 3.11/1.86 o 2534 3.70/2.30 c Got one! Elapsed wall clock time (in seconds):2.088 3.70/2.30 o 2304 4.04/2.66 c Got one! Elapsed wall clock time (in seconds):2.447 4.04/2.66 o 2184 4.46/3.01 c Got one! Elapsed wall clock time (in seconds):2.791 4.46/3.01 o 2056 4.80/3.35 c Got one! Elapsed wall clock time (in seconds):3.136 4.80/3.35 o 1984 5.20/3.71 c Got one! Elapsed wall clock time (in seconds):3.492 5.20/3.71 o 1728 5.52/4.07 c Got one! Elapsed wall clock time (in seconds):3.855 5.52/4.07 o 1714 5.92/4.44 c Got one! Elapsed wall clock time (in seconds):4.222 5.92/4.44 o 1666 6.35/4.86 c Got one! Elapsed wall clock time (in seconds):4.644 6.35/4.86 o 1634 6.91/5.30 c Got one! Elapsed wall clock time (in seconds):5.085 6.91/5.30 o 1622 7.32/5.75 c Got one! Elapsed wall clock time (in seconds):5.539 7.32/5.75 o 1522 7.86/6.23 c Got one! Elapsed wall clock time (in seconds):6.015 7.86/6.23 o 1494 8.35/6.70 c Got one! Elapsed wall clock time (in seconds):6.482 8.35/6.70 o 1490 8.89/7.24 c Got one! Elapsed wall clock time (in seconds):7.023 8.89/7.24 o 1462 9.53/7.80 c Got one! Elapsed wall clock time (in seconds):7.587 9.53/7.80 o 1446 10.03/8.35 c Got one! Elapsed wall clock time (in seconds):8.137 10.03/8.35 o 1434 10.66/8.98 c Got one! Elapsed wall clock time (in seconds):8.767 10.66/8.98 o 1332 11.36/9.62 c Got one! Elapsed wall clock time (in seconds):9.405 11.36/9.62 o 1316 11.98/10.27 c Got one! Elapsed wall clock time (in seconds):10.055 11.98/10.27 o 1240 12.71/10.94 c Got one! Elapsed wall clock time (in seconds):10.728 12.71/10.94 o 1228 13.40/11.65 c Got one! Elapsed wall clock time (in seconds):11.435 13.40/11.65 o 1100 14.12/12.36 c Got one! Elapsed wall clock time (in seconds):12.149 14.12/12.36 o 1040 14.87/13.09 c Got one! Elapsed wall clock time (in seconds):12.873 14.87/13.09 o 990 16.01/14.12 c Got one! Elapsed wall clock time (in seconds):13.9 16.01/14.12 o 978 16.81/14.94 c Got one! Elapsed wall clock time (in seconds):14.726 16.81/14.94 o 974 17.82/15.93 c Got one! Elapsed wall clock time (in seconds):15.717 17.82/15.93 o 846 18.73/16.83 c Got one! Elapsed wall clock time (in seconds):16.616 18.73/16.83 o 792 19.63/17.77 c Got one! Elapsed wall clock time (in seconds):17.558 19.63/17.77 o 780 21.35/19.47 c Got one! Elapsed wall clock time (in seconds):19.258 21.35/19.47 o 538 22.46/20.56 c Got one! Elapsed wall clock time (in seconds):20.345 22.46/20.56 o 474 23.58/21.67 c Got one! Elapsed wall clock time (in seconds):21.455 23.58/21.67 o 472 24.80/22.81 c Got one! Elapsed wall clock time (in seconds):22.596 24.80/22.81 o 442 26.11/24.14 c Got one! Elapsed wall clock time (in seconds):23.928 26.11/24.14 o 439 27.31/25.39 c Got one! Elapsed wall clock time (in seconds):25.176 27.31/25.39 o 377 28.98/26.93 c Got one! Elapsed wall clock time (in seconds):26.717 28.98/26.93 o 349 30.28/28.28 c Got one! Elapsed wall clock time (in seconds):28.066 30.28/28.28 o 329 31.69/29.67 c Got one! Elapsed wall clock time (in seconds):29.452 31.69/29.67 o 247 33.09/31.04 c Got one! Elapsed wall clock time (in seconds):30.82 33.09/31.04 o 241 34.50/32.46 c Got one! Elapsed wall clock time (in seconds):32.242 34.50/32.46 o 239 35.90/33.89 c Got one! Elapsed wall clock time (in seconds):33.672 35.90/33.89 o 233 37.61/35.50 c Got one! Elapsed wall clock time (in seconds):35.289 37.61/35.50 o 232 39.84/37.73 c Got one! Elapsed wall clock time (in seconds):37.519 39.84/37.73 o 192 41.66/39.59 c Got one! Elapsed wall clock time (in seconds):39.371 41.66/39.59 o 188 44.69/42.53 c Got one! Elapsed wall clock time (in seconds):42.317 44.69/42.53 o 180 51.45/48.65 c Got one! Elapsed wall clock time (in seconds):48.436 51.45/48.65 o 174 64.90/62.00 c Got one! Elapsed wall clock time (in seconds):61.781 64.90/62.00 o 172 70.78/67.74 c Got one! Elapsed wall clock time (in seconds):67.523 70.78/67.74 o 164 78.35/75.27 c Got one! Elapsed wall clock time (in seconds):75.053 78.35/75.27 o 158 86.43/83.22 c Got one! Elapsed wall clock time (in seconds):83.005 86.43/83.22 o 156 97.03/93.79 c Got one! Elapsed wall clock time (in seconds):93.576 97.03/93.79 o 154 110.35/106.91 c Got one! Elapsed wall clock time (in seconds):106.696 110.35/106.91 o 152 172.50/168.40 c Got one! Elapsed wall clock time (in seconds):168.188 172.50/168.40 o 146 196.04/191.70 c Got one! Elapsed wall clock time (in seconds):191.483 196.04/191.70 o 143 270.21/265.12 c Got one! Elapsed wall clock time (in seconds):264.902 270.21/265.12 o 140 354.97/348.96 c Got one! Elapsed wall clock time (in seconds):348.746 354.97/348.96 o 139 528.30/520.10 c Got one! Elapsed wall clock time (in seconds):519.887 528.30/520.10 o 138 678.59/668.47 c Got one! Elapsed wall clock time (in seconds):668.251 678.59/668.47 o 129 793.93/781.96 c Got one! Elapsed wall clock time (in seconds):781.745 793.93/781.96 o 123 866.17/853.03 c Got one! Elapsed wall clock time (in seconds):852.811 866.17/853.03 o 113 931.19/916.93 c Got one! Elapsed wall clock time (in seconds):916.713 931.19/916.93 o 103 977.67/962.68 c Got one! Elapsed wall clock time (in seconds):962.461 977.67/962.68 o 101 1260.24/1240.16 c Got one! Elapsed wall clock time (in seconds):1239.944 1260.24/1240.16 o 99 1657.06/1629.13 c Got one! Elapsed wall clock time (in seconds):1628.916 1657.06/1629.13 o 95 1800.10/1769.21 c starts : 128 1800.10/1769.21 c conflicts : 43900 1800.10/1769.21 c decisions : 85159 1800.10/1769.21 c propagations : 572329 1800.10/1769.21 c inspects : 625017641 1800.10/1769.21 c learnt literals : 0 1800.10/1769.21 c learnt binary clauses : 0 1800.10/1769.21 c learnt ternary clauses : 0 1800.10/1769.21 c learnt clauses : 43899 1800.10/1769.21 c root simplifications : 0 1800.10/1769.21 c removed literals (reason simplification) : 0 1800.10/1769.21 c reason swapping (by a shorter reason) : 0 1800.10/1769.21 c Calls to reduceDB : 0 1800.10/1769.21 c speed (decisions/second) : 607.9442021174069 1800.10/1769.21 c non guided choices 1664 1800.10/1769.21 s SATISFIABLE 1800.10/1769.21 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 x28 x29 1800.10/1769.21 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1800.10/1769.21 v -x56 -x57 x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 x76 x77 -x78 -x79 -x80 -x81 -x82 1800.10/1769.21 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1800.10/1769.21 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 x117 -x118 x119 -x120 x121 x122 x123 -x124 -x125 x126 -x127 x128 1800.10/1769.21 v x129 x130 -x131 x132 x133 x134 -x135 -x136 x137 x138 -x139 -x140 x141 -x142 x143 -x144 x145 x146 x147 x148 -x149 -x150 x151 1800.10/1769.21 v -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 x162 x163 x164 x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 1800.10/1769.24 c objective function=95 1800.10/1769.24 c Total wall clock time (ms): 1769.021
OK 95
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-354922-1176732688 -o ROOT/results/node59/solver-354922-1176732688 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354922-1176732688/sat4jPseudoCPClause.jar /tmp/evaluation/354922-1176732688/instance-354922-1176732688.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: 0.98 1.02 1.00 2/64 20970 /proc/meminfo: memFree=1869952/2055920 swapFree=4184740/4192956 [pid=20970] ppid=20968 vsize=18568 CPUtime=0 /proc/20970/stat : 20970 (runsolver) R 20968 20970 19700 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 121178467 19013632 292 18446744073709551615 4194304 4296420 548682068864 18446744073709551615 217051622695 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/20970/statm: 4642 292 257 24 0 2626 0 [startup+0.0136079 s] /proc/loadavg: 0.98 1.02 1.00 2/64 20970 /proc/meminfo: memFree=1869952/2055920 swapFree=4184740/4192956 [pid=20970] ppid=20968 vsize=11868 CPUtime=0 /proc/20970/stat : 20970 (java) R 20968 20970 19700 0 -1 0 349 0 0 0 0 0 0 0 18 0 1 0 121178467 12152832 158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 9288333 0 0 4096 0 0 0 0 17 1 0 0 /proc/20970/statm: 2979 165 127 9 0 1148 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11868 [startup+0.10163 s] /proc/loadavg: 0.98 1.02 1.00 2/64 20970 /proc/meminfo: memFree=1869952/2055920 swapFree=4184740/4192956 [pid=20970] ppid=20968 vsize=1777844 CPUtime=0.07 /proc/20970/stat : 20970 (java) S 20968 20970 19700 0 -1 0 3854 0 1 0 5 2 0 0 18 0 7 0 121178467 1820512256 3597 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/20970/statm: 444461 3597 1091 9 0 442097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777844 [startup+0.301667 s] /proc/loadavg: 0.98 1.02 1.00 2/64 20970 /proc/meminfo: memFree=1869952/2055920 swapFree=4184740/4192956 [pid=20970] ppid=20968 vsize=1782436 CPUtime=0.29 /proc/20970/stat : 20970 (java) S 20968 20970 19700 0 -1 0 5084 0 1 0 26 3 0 0 18 0 12 0 121178467 1825214464 4823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20970/statm: 445609 4823 1264 9 0 443220 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1782436 [startup+0.701745 s] /proc/loadavg: 0.98 1.02 1.00 2/64 20970 /proc/meminfo: memFree=1869952/2055920 swapFree=4184740/4192956 [pid=20970] ppid=20968 vsize=1793152 CPUtime=0.99 /proc/20970/stat : 20970 (java) S 20968 20970 19700 0 -1 0 9992 0 1 0 94 5 0 0 18 0 13 0 121178467 1836187648 8019 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20970/statm: 448288 8019 1301 9 0 445899 0 Current children cumulated CPU time (s) 0.99 Current children cumulated vsize (KiB) 1793152 [startup+1.5029 s] /proc/loadavg: 0.98 1.02 1.00 3/77 20983 /proc/meminfo: memFree=1835032/2055920 swapFree=4184740/4192956 [pid=20970] ppid=20968 vsize=1800940 CPUtime=2.58 /proc/20970/stat : 20970 (java) S 20968 20970 19700 0 -1 0 23594 0 1 0 247 11 0 0 18 0 13 0 121178467 1844162560 15659 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20970/statm: 450235 15660 1311 9 0 447846 0 [pid=20970/tid=20972] ppid=20968 vsize=1800940 CPUtime=0.65 /proc/20970/task/20972/stat : 20972 (java) R 20968 20970 19700 0 -1 64 10313 0 1 0 60 5 0 0 25 0 13 0 121178469 1844162560 15661 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109550844 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20973] ppid=20968 vsize=1800940 CPUtime=0 /proc/20970/task/20973/stat : 20973 (java) S 20968 20970 19700 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 121178471 1844162560 15663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20974] ppid=20968 vsize=1800940 CPUtime=0 /proc/20970/task/20974/stat : 20974 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 121178472 1844162560 15664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20975] ppid=20968 vsize=1800940 CPUtime=0 /proc/20970/task/20975/stat : 20975 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 121178474 1844162560 15666 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20976] ppid=20968 vsize=1800940 CPUtime=0 /proc/20970/task/20976/stat : 20976 (java) S 20968 20970 19700 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 121178474 1844162560 15667 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20977] ppid=20968 vsize=1800940 CPUtime=0 /proc/20970/task/20977/stat : 20977 (java) S 20968 20970 19700 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 121178474 1844162560 15669 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20978] ppid=20968 vsize=1800940 CPUtime=0 /proc/20970/task/20978/stat : 20978 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121178478 1844162560 15670 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20979] ppid=20968 vsize=1800940 CPUtime=0.92 /proc/20970/task/20979/stat : 20979 (java) R 20968 20970 19700 0 -1 64 5669 0 0 0 90 2 0 0 18 0 13 0 121178478 1844162560 15671 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102395176 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20980] ppid=20968 vsize=1800940 CPUtime=0.98 /proc/20970/task/20980/stat : 20980 (java) R 20968 20970 19700 0 -1 64 6892 0 0 0 96 2 0 0 17 0 13 0 121178478 1844162560 15671 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20981] ppid=20968 vsize=1800940 CPUtime=0 /proc/20970/task/20981/stat : 20981 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 121178478 1844162560 15671 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20982] ppid=20968 vsize=1800940 CPUtime=0 /proc/20970/task/20982/stat : 20982 (java) S 20968 20970 19700 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121178478 1844162560 15671 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20983] ppid=20968 vsize=1800940 CPUtime=0 /proc/20970/task/20983/stat : 20983 (java) S 20968 20970 19700 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 121178502 1844162560 15671 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.58 Current children cumulated vsize (KiB) 1800940 [startup+3.1022 s] /proc/loadavg: 0.98 1.02 1.00 2/77 20984 /proc/meminfo: memFree=1746640/2055920 swapFree=4184740/4192956 [pid=20970] ppid=20968 vsize=1799092 CPUtime=4.6 /proc/20970/stat : 20970 (java) S 20968 20970 19700 0 -1 0 53084 0 1 0 437 23 0 0 18 0 13 0 121178467 1842270208 44042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20970/statm: 449773 44042 1325 9 0 447384 0 [pid=20970/tid=20972] ppid=20968 vsize=1799092 CPUtime=2.03 /proc/20970/task/20972/stat : 20972 (java) R 20968 20970 19700 0 -1 64 37747 0 1 0 187 16 0 0 23 0 13 0 121178469 1842270208 44042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109513881 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20973] ppid=20968 vsize=1799092 CPUtime=0.01 /proc/20970/task/20973/stat : 20973 (java) S 20968 20970 19700 0 -1 64 672 0 0 0 1 0 0 0 16 0 13 0 121178471 1842270208 44042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20974] ppid=20968 vsize=1799092 CPUtime=0.01 /proc/20970/task/20974/stat : 20974 (java) S 20968 20970 19700 0 -1 64 583 0 0 0 1 0 0 0 16 0 13 0 121178472 1842270208 44042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20975] ppid=20968 vsize=1799092 CPUtime=0 /proc/20970/task/20975/stat : 20975 (java) S 20968 20970 19700 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 121178474 1842270208 44042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20976] ppid=20968 vsize=1799092 CPUtime=0 /proc/20970/task/20976/stat : 20976 (java) S 20968 20970 19700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121178474 1842270208 44042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20977] ppid=20968 vsize=1799092 CPUtime=0 /proc/20970/task/20977/stat : 20977 (java) S 20968 20970 19700 0 -1 64 6 0 0 0 0 0 0 0 15 0 13 0 121178474 1842270208 44042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20978] ppid=20968 vsize=1799092 CPUtime=0 /proc/20970/task/20978/stat : 20978 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121178478 1842270208 44042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20979] ppid=20968 vsize=1799092 CPUtime=1.28 /proc/20970/task/20979/stat : 20979 (java) S 20968 20970 19700 0 -1 64 6446 0 0 0 125 3 0 0 15 0 13 0 121178478 1842270208 44042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20980] ppid=20968 vsize=1799092 CPUtime=1.22 /proc/20970/task/20980/stat : 20980 (java) S 20968 20970 19700 0 -1 64 6902 0 0 0 120 2 0 0 16 0 13 0 121178478 1842270208 44042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20981] ppid=20968 vsize=1799092 CPUtime=0 /proc/20970/task/20981/stat : 20981 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 121178478 1842270208 44042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20982] ppid=20968 vsize=1799092 CPUtime=0 /proc/20970/task/20982/stat : 20982 (java) S 20968 20970 19700 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121178478 1842270208 44042 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.6 Current children cumulated vsize (KiB) 1799092 [startup+6.30281 s] /proc/loadavg: 0.99 1.02 1.00 2/77 20993 /proc/meminfo: memFree=1698936/2055920 swapFree=4184740/4192956 [pid=20970] ppid=20968 vsize=1796008 CPUtime=7.96 /proc/20970/stat : 20970 (java) S 20968 20970 19700 0 -1 0 57020 0 1 0 770 26 0 0 18 0 13 0 121178467 1839112192 45750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20970/statm: 449002 45750 1327 9 0 446613 0 [pid=20970/tid=20972] ppid=20968 vsize=1796008 CPUtime=5.07 /proc/20970/task/20972/stat : 20972 (java) R 20968 20970 19700 0 -1 64 37759 0 1 0 491 16 0 0 17 0 13 0 121178469 1839112192 45750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109539020 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20973] ppid=20968 vsize=1796008 CPUtime=0.11 /proc/20970/task/20973/stat : 20973 (java) S 20968 20970 19700 0 -1 64 2697 0 0 0 10 1 0 0 16 0 13 0 121178471 1839112192 45750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20974] ppid=20968 vsize=1796008 CPUtime=0.11 /proc/20970/task/20974/stat : 20974 (java) S 20968 20970 19700 0 -1 64 2446 0 0 0 10 1 0 0 17 0 13 0 121178472 1839112192 45750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20975] ppid=20968 vsize=1796008 CPUtime=0 /proc/20970/task/20975/stat : 20975 (java) S 20968 20970 19700 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 121178474 1839112192 45750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20976] ppid=20968 vsize=1796008 CPUtime=0 /proc/20970/task/20976/stat : 20976 (java) S 20968 20970 19700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121178474 1839112192 45750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20977] ppid=20968 vsize=1796008 CPUtime=0 /proc/20970/task/20977/stat : 20977 (java) S 20968 20970 19700 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 121178474 1839112192 45750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20978] ppid=20968 vsize=1796008 CPUtime=0 /proc/20970/task/20978/stat : 20978 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121178478 1839112192 45750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20979] ppid=20968 vsize=1796008 CPUtime=1.31 /proc/20970/task/20979/stat : 20979 (java) S 20968 20970 19700 0 -1 64 6449 0 0 0 128 3 0 0 16 0 13 0 121178478 1839112192 45750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20980] ppid=20968 vsize=1796008 CPUtime=1.29 /proc/20970/task/20980/stat : 20980 (java) S 20968 20970 19700 0 -1 64 6908 0 0 0 127 2 0 0 16 0 13 0 121178478 1839112192 45750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20981] ppid=20968 vsize=1796008 CPUtime=0 /proc/20970/task/20981/stat : 20981 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 121178478 1839112192 45750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20982] ppid=20968 vsize=1796008 CPUtime=0 /proc/20970/task/20982/stat : 20982 (java) S 20968 20970 19700 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121178478 1839112192 45750 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.96 Current children cumulated vsize (KiB) 1796008 [startup+12.702 s] /proc/loadavg: 0.99 1.02 1.00 2/77 21004 /proc/meminfo: memFree=1657416/2055920 swapFree=4184740/4192956 [pid=20970] ppid=20968 vsize=1795972 CPUtime=14.57 /proc/20970/stat : 20970 (java) S 20968 20970 19700 0 -1 0 66059 0 1 0 1427 30 0 0 18 0 13 0 121178467 1839075328 54165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20970/statm: 448993 54165 1335 9 0 446604 0 [pid=20970/tid=20972] ppid=20968 vsize=1795972 CPUtime=11.31 /proc/20970/task/20972/stat : 20972 (java) R 20968 20970 19700 0 -1 64 39615 0 1 0 1114 17 0 0 24 0 13 0 121178469 1839075328 54165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109513885 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20973] ppid=20968 vsize=1795972 CPUtime=0.26 /proc/20970/task/20973/stat : 20973 (java) S 20968 20970 19700 0 -1 64 6668 0 0 0 23 3 0 0 16 0 13 0 121178471 1839075328 54165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20974] ppid=20968 vsize=1795972 CPUtime=0.26 /proc/20970/task/20974/stat : 20974 (java) S 20968 20970 19700 0 -1 64 5623 0 0 0 23 3 0 0 16 0 13 0 121178472 1839075328 54165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20975] ppid=20968 vsize=1795972 CPUtime=0 /proc/20970/task/20975/stat : 20975 (java) S 20968 20970 19700 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 121178474 1839075328 54165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20976] ppid=20968 vsize=1795972 CPUtime=0 /proc/20970/task/20976/stat : 20976 (java) S 20968 20970 19700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121178474 1839075328 54165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20977] ppid=20968 vsize=1795972 CPUtime=0 /proc/20970/task/20977/stat : 20977 (java) S 20968 20970 19700 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 121178474 1839075328 54165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20978] ppid=20968 vsize=1795972 CPUtime=0 /proc/20970/task/20978/stat : 20978 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121178478 1839075328 54165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20979] ppid=20968 vsize=1795972 CPUtime=1.34 /proc/20970/task/20979/stat : 20979 (java) S 20968 20970 19700 0 -1 64 6450 0 0 0 131 3 0 0 16 0 13 0 121178478 1839075328 54165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20980] ppid=20968 vsize=1795972 CPUtime=1.35 /proc/20970/task/20980/stat : 20980 (java) S 20968 20970 19700 0 -1 64 6921 0 0 0 133 2 0 0 17 0 13 0 121178478 1839075328 54165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20981] ppid=20968 vsize=1795972 CPUtime=0 /proc/20970/task/20981/stat : 20981 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 121178478 1839075328 54165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20982] ppid=20968 vsize=1795972 CPUtime=0 /proc/20970/task/20982/stat : 20982 (java) S 20968 20970 19700 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121178478 1839075328 54165 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.57 Current children cumulated vsize (KiB) 1795972 [startup+25.5015 s] /proc/loadavg: 0.99 1.02 1.00 2/77 21016 /proc/meminfo: memFree=1645168/2055920 swapFree=4184740/4192956 [pid=20970] ppid=20968 vsize=1795972 CPUtime=27.56 /proc/20970/stat : 20970 (java) S 20968 20970 19700 0 -1 0 69934 0 1 0 2724 32 0 0 18 0 13 0 121178467 1839075328 57656 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20970/statm: 448993 57656 1335 9 0 446604 0 [pid=20970/tid=20972] ppid=20968 vsize=1795972 CPUtime=23.93 /proc/20970/task/20972/stat : 20972 (java) R 20968 20970 19700 0 -1 64 39631 0 1 0 2376 17 0 0 17 0 13 0 121178469 1839075328 57656 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109498343 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20973] ppid=20968 vsize=1795972 CPUtime=0.41 /proc/20970/task/20973/stat : 20973 (java) S 20968 20970 19700 0 -1 64 8808 0 0 0 37 4 0 0 16 0 13 0 121178471 1839075328 57656 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20974] ppid=20968 vsize=1795972 CPUtime=0.39 /proc/20970/task/20974/stat : 20974 (java) S 20968 20970 19700 0 -1 64 7312 0 0 0 36 3 0 0 16 0 13 0 121178472 1839075328 57656 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20975] ppid=20968 vsize=1795972 CPUtime=0 /proc/20970/task/20975/stat : 20975 (java) S 20968 20970 19700 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 121178474 1839075328 57656 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20976] ppid=20968 vsize=1795972 CPUtime=0 /proc/20970/task/20976/stat : 20976 (java) S 20968 20970 19700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121178474 1839075328 57656 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20977] ppid=20968 vsize=1795972 CPUtime=0 /proc/20970/task/20977/stat : 20977 (java) S 20968 20970 19700 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 121178474 1839075328 57656 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=20970/tid=20975] ppid=20968 vsize=1796864 CPUtime=0.19 /proc/20970/task/20975/stat : 20975 (java) S 20968 20970 19700 0 -1 64 45 0 0 0 13 6 0 0 16 0 13 0 121178474 1839988736 140184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20976] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20976/stat : 20976 (java) S 20968 20970 19700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121178474 1839988736 140184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20977] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20977/stat : 20977 (java) S 20968 20970 19700 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 121178474 1839988736 140184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20978] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20978/stat : 20978 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121178478 1839988736 140184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20979] ppid=20968 vsize=1796864 CPUtime=1.84 /proc/20970/task/20979/stat : 20979 (java) S 20968 20970 19700 0 -1 64 7964 0 0 0 180 4 0 0 17 0 13 0 121178478 1839988736 140184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20980] ppid=20968 vsize=1796864 CPUtime=1.66 /proc/20970/task/20980/stat : 20980 (java) S 20968 20970 19700 0 -1 64 7491 0 0 0 164 2 0 0 16 0 13 0 121178478 1839988736 140184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20981] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20981/stat : 20981 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 121178478 1839988736 140184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20982] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20982/stat : 20982 (java) S 20968 20970 19700 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121178478 1839988736 140184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=21045] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/21045/stat : 21045 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 121302484 1839988736 140184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1568.24 Current children cumulated vsize (KiB) 1796864 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 1.00 2/77 21045 /proc/meminfo: memFree=1302920/2055920 swapFree=4184740/4192956 [pid=20970] ppid=20968 vsize=1796864 CPUtime=1629.57 /proc/20970/stat : 20970 (java) S 20968 20970 19700 0 -1 0 168446 0 1 0 162869 88 0 0 18 0 13 0 121178467 1839988736 142310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20970/statm: 449216 142310 1335 9 0 446827 0 [pid=20970/tid=20972] ppid=20968 vsize=1796864 CPUtime=1574.38 /proc/20970/task/20972/stat : 20972 (java) R 20968 20970 19700 0 -1 64 42963 0 1 0 157415 23 0 0 25 0 13 0 121178469 1839988736 142310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109521787 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20973] ppid=20968 vsize=1796864 CPUtime=25.69 /proc/20970/task/20973/stat : 20973 (java) S 20968 20970 19700 0 -1 64 56456 0 0 0 2544 25 0 0 16 0 13 0 121178471 1839988736 142310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20974] ppid=20968 vsize=1796864 CPUtime=25.76 /proc/20970/task/20974/stat : 20974 (java) S 20968 20970 19700 0 -1 64 52712 0 0 0 2550 26 0 0 17 0 13 0 121178472 1839988736 142310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20975] ppid=20968 vsize=1796864 CPUtime=0.19 /proc/20970/task/20975/stat : 20975 (java) S 20968 20970 19700 0 -1 64 45 0 0 0 13 6 0 0 16 0 13 0 121178474 1839988736 142310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20976] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20976/stat : 20976 (java) S 20968 20970 19700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121178474 1839988736 142310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20977] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20977/stat : 20977 (java) S 20968 20970 19700 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 121178474 1839988736 142310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20978] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20978/stat : 20978 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121178478 1839988736 142310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20979] ppid=20968 vsize=1796864 CPUtime=1.84 /proc/20970/task/20979/stat : 20979 (java) S 20968 20970 19700 0 -1 64 7964 0 0 0 180 4 0 0 17 0 13 0 121178478 1839988736 142310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20980] ppid=20968 vsize=1796864 CPUtime=1.66 /proc/20970/task/20980/stat : 20980 (java) S 20968 20970 19700 0 -1 64 7491 0 0 0 164 2 0 0 16 0 13 0 121178478 1839988736 142310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20981] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20981/stat : 20981 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 121178478 1839988736 142310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20982] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20982/stat : 20982 (java) S 20968 20970 19700 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121178478 1839988736 142310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=21045] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/21045/stat : 21045 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 121302484 1839988736 142310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1629.57 Current children cumulated vsize (KiB) 1796864 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 1.00 2/77 21048 /proc/meminfo: memFree=1291648/2055920 swapFree=4184740/4192956 [pid=20970] ppid=20968 vsize=1796864 CPUtime=1690.95 /proc/20970/stat : 20970 (java) S 20968 20970 19700 0 -1 0 171357 0 1 0 169005 90 0 0 18 0 13 0 121178467 1839988736 145101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20970/statm: 449216 145101 1335 9 0 446827 0 [pid=20970/tid=20972] ppid=20968 vsize=1796864 CPUtime=1632.92 /proc/20970/task/20972/stat : 20972 (java) R 20968 20970 19700 0 -1 64 42986 0 1 0 163269 23 0 0 24 0 13 0 121178469 1839988736 145101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109521835 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20973] ppid=20968 vsize=1796864 CPUtime=27.09 /proc/20970/task/20973/stat : 20973 (java) S 20968 20970 19700 0 -1 64 58539 0 0 0 2683 26 0 0 16 0 13 0 121178471 1839988736 145101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20974] ppid=20968 vsize=1796864 CPUtime=27.17 /proc/20970/task/20974/stat : 20974 (java) S 20968 20970 19700 0 -1 64 53513 0 0 0 2691 26 0 0 17 0 13 0 121178472 1839988736 145101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20975] ppid=20968 vsize=1796864 CPUtime=0.19 /proc/20970/task/20975/stat : 20975 (java) S 20968 20970 19700 0 -1 64 46 0 0 0 13 6 0 0 16 0 13 0 121178474 1839988736 145101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20976] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20976/stat : 20976 (java) S 20968 20970 19700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121178474 1839988736 145101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20977] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20977/stat : 20977 (java) S 20968 20970 19700 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 121178474 1839988736 145101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20978] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20978/stat : 20978 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121178478 1839988736 145101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20979] ppid=20968 vsize=1796864 CPUtime=1.84 /proc/20970/task/20979/stat : 20979 (java) S 20968 20970 19700 0 -1 64 7964 0 0 0 180 4 0 0 17 0 13 0 121178478 1839988736 145101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20980] ppid=20968 vsize=1796864 CPUtime=1.66 /proc/20970/task/20980/stat : 20980 (java) S 20968 20970 19700 0 -1 64 7491 0 0 0 164 2 0 0 16 0 13 0 121178478 1839988736 145101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20981] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20981/stat : 20981 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 121178478 1839988736 145101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20982] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20982/stat : 20982 (java) S 20968 20970 19700 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121178478 1839988736 145101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=21046] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/21046/stat : 21046 (java) S 20968 20970 19700 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 121341381 1839988736 145101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1690.95 Current children cumulated vsize (KiB) 1796864 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 21048 /proc/meminfo: memFree=1280832/2055920 swapFree=4184740/4192956 [pid=20970] ppid=20968 vsize=1796864 CPUtime=1752.18 /proc/20970/stat : 20970 (java) S 20968 20970 19700 0 -1 0 174175 0 1 0 175126 92 0 0 18 0 13 0 121178467 1839988736 147795 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20970/statm: 449216 147795 1335 9 0 446827 0 [pid=20970/tid=20972] ppid=20968 vsize=1796864 CPUtime=1691.62 /proc/20970/task/20972/stat : 20972 (java) R 20968 20970 19700 0 -1 64 43008 0 1 0 169139 23 0 0 25 0 13 0 121178469 1839988736 147795 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109522895 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20973] ppid=20968 vsize=1796864 CPUtime=28.36 /proc/20970/task/20973/stat : 20973 (java) S 20968 20970 19700 0 -1 64 60634 0 0 0 2809 27 0 0 16 0 13 0 121178471 1839988736 147795 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20974] ppid=20968 vsize=1796864 CPUtime=28.44 /proc/20970/task/20974/stat : 20974 (java) S 20968 20970 19700 0 -1 64 54214 0 0 0 2817 27 0 0 16 0 13 0 121178472 1839988736 147795 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20975] ppid=20968 vsize=1796864 CPUtime=0.2 /proc/20970/task/20975/stat : 20975 (java) S 20968 20970 19700 0 -1 64 46 0 0 0 14 6 0 0 16 0 13 0 121178474 1839988736 147795 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20976] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20976/stat : 20976 (java) S 20968 20970 19700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121178474 1839988736 147795 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20977] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20977/stat : 20977 (java) S 20968 20970 19700 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 121178474 1839988736 147795 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20978] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20978/stat : 20978 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121178478 1839988736 147795 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20979] ppid=20968 vsize=1796864 CPUtime=1.84 /proc/20970/task/20979/stat : 20979 (java) S 20968 20970 19700 0 -1 64 7964 0 0 0 180 4 0 0 17 0 13 0 121178478 1839988736 147795 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20980] ppid=20968 vsize=1796864 CPUtime=1.66 /proc/20970/task/20980/stat : 20980 (java) S 20968 20970 19700 0 -1 64 7491 0 0 0 164 2 0 0 16 0 13 0 121178478 1839988736 147795 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20981] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20981/stat : 20981 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 121178478 1839988736 147795 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20982] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20982/stat : 20982 (java) S 20968 20970 19700 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121178478 1839988736 147795 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=21046] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/21046/stat : 21046 (java) S 20968 20970 19700 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 121341381 1839988736 147795 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1752.18 Current children cumulated vsize (KiB) 1796864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1769.2 s] /proc/loadavg: 1.06 1.01 1.00 2/77 21048 /proc/meminfo: memFree=1270016/2055920 swapFree=4184740/4192956 [pid=20970] ppid=20968 vsize=1796864 CPUtime=1800.1 /proc/20970/stat : 20970 (java) S 20968 20970 19700 0 -1 0 176985 0 1 0 179916 94 0 0 18 0 13 0 121178467 1839988736 150475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20970/statm: 449216 150475 1335 9 0 446827 0 [pid=20970/tid=20972] ppid=20968 vsize=1796864 CPUtime=1737.48 /proc/20970/task/20972/stat : 20972 (java) R 20968 20970 19700 0 -1 64 43025 0 1 0 173724 24 0 0 25 0 13 0 121178469 1839988736 150475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109523017 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20973] ppid=20968 vsize=1796864 CPUtime=29.38 /proc/20970/task/20973/stat : 20973 (java) S 20968 20970 19700 0 -1 64 62659 0 0 0 2911 27 0 0 16 0 13 0 121178471 1839988736 150475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20974] ppid=20968 vsize=1796864 CPUtime=29.47 /proc/20970/task/20974/stat : 20974 (java) S 20968 20970 19700 0 -1 64 54982 0 0 0 2920 27 0 0 16 0 13 0 121178472 1839988736 150475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=20975] ppid=20968 vsize=1796864 CPUtime=0.2 /proc/20970/task/20975/stat : 20975 (java) S 20968 20970 19700 0 -1 64 46 0 0 0 14 6 0 0 16 0 13 0 121178474 1839988736 150475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20976] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20976/stat : 20976 (java) S 20968 20970 19700 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121178474 1839988736 150475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20977] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20977/stat : 20977 (java) S 20968 20970 19700 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 121178474 1839988736 150475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20978] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20978/stat : 20978 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121178478 1839988736 150475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20979] ppid=20968 vsize=1796864 CPUtime=1.84 /proc/20970/task/20979/stat : 20979 (java) S 20968 20970 19700 0 -1 64 7964 0 0 0 180 4 0 0 17 0 13 0 121178478 1839988736 150475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20980] ppid=20968 vsize=1796864 CPUtime=1.66 /proc/20970/task/20980/stat : 20980 (java) S 20968 20970 19700 0 -1 64 7491 0 0 0 164 2 0 0 16 0 13 0 121178478 1839988736 150475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20981] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20981/stat : 20981 (java) S 20968 20970 19700 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 121178478 1839988736 150475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20970/tid=20982] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/20982/stat : 20982 (java) S 20968 20970 19700 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 121178478 1839988736 150475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20970/tid=21046] ppid=20968 vsize=1796864 CPUtime=0 /proc/20970/task/21046/stat : 21046 (java) S 20968 20970 19700 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 121341381 1839988736 150475 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1796864 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1769.31 s] /proc/loadavg: 1.06 1.01 1.00 2/77 21048 /proc/meminfo: memFree=1270016/2055920 swapFree=4184740/4192956 [pid=20970] ppid=20968 vsize=0 CPUtime=1800.23 /proc/20970/stat : 20970 (java) Z 20968 20970 19700 0 -1 1036 177005 0 1 0 179923 100 0 0 16 0 2 0 121178467 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20970/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1769.35 CPU time (s): 1800.27 CPU user time (s): 1799.23 CPU system time (s): 1.03684 CPU usage (%): 101.748 Max. virtual memory (cumulated for all children) (KiB): 1801012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.23 system time used= 1.03684 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 177005 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= 43424 involuntary context switches= 40339 runsolver used 1.80872 second user time and 4.65829 second system time The end
Begin job on node59 on Mon Apr 16 14:11:29 UTC 2007 IDJOB= 354922 IDBENCH= 2921 IDSOLVER= 164 FILE ID= node59/354922-1176732688 PBS_JOBID= 4559488 Free space on /tmp= 66367 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354922-1176732688/sat4jPseudoCPClause.jar /tmp/evaluation/354922-1176732688/instance-354922-1176732688.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-354922-1176732688 -o ROOT/results/node59/solver-354922-1176732688 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354922-1176732688/sat4jPseudoCPClause.jar /tmp/evaluation/354922-1176732688/instance-354922-1176732688.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED= 975305716 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1870360 kB Buffers: 10820 kB Cached: 113992 kB SwapCached: 2348 kB Active: 87376 kB Inactive: 48364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1870360 kB SwapTotal: 4192956 kB SwapFree: 4184740 kB Dirty: 3584 kB Writeback: 0 kB Mapped: 17756 kB Slab: 35788 kB Committed_AS: 1559572 kB PageTables: 1476 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= 66367 MiB End job on node59 on Mon Apr 16 14:41:00 UTC 2007