Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | 21 | 1800.16 | 1778.22 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_3.opb |
MD5SUM | 455599f2e36aed56b051b7169c43fa6c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 790.694 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 120 |
Total number of constraints | 10 |
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 | 10 |
Minimum length of a constraint | 55 |
Maximum length of a constraint | 56 |
Number of terms in the objective function | 80 |
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 | 2550 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1162 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3997 |
Number of bits of the biggest sum of numbers | 12 |
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.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.07/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.07/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.07/0.15 c no version file found!!! 0.07/0.15 c sun.arch.data.model 32 0.07/0.15 c java.version 1.6.0 0.07/0.15 c os.name Linux 0.07/0.15 c os.version 2.6.9-22.EL.rootsmp 0.07/0.15 c os.arch i386 0.07/0.15 c Free memory 1651659224 0.07/0.15 c Max memory 1654456320 0.07/0.15 c Total memory 1654456320 0.07/0.15 c Number of processors 2 0.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 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=10000.0 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/354801-1176726036/instance-354801-1176726036.opb 0.20/0.20 c reading problem ... 0.20/0.27 c ... done. Wall clock time 0.067s. 0.20/0.27 c CPU time (experimental) 0.22s. 0.20/0.27 c #vars 120 0.20/0.27 c #constraints 10 4.53/2.70 c SATISFIABLE 4.53/2.70 c OPTIMIZING... 4.53/2.70 c Got one! Elapsed wall clock time (in seconds):2.493 4.68/2.70 o 1757 5.63/3.62 c Got one! Elapsed wall clock time (in seconds):3.417 5.63/3.62 o 1501 6.55/4.54 c Got one! Elapsed wall clock time (in seconds):4.331 6.55/4.54 o 1285 7.47/5.50 c Got one! Elapsed wall clock time (in seconds):5.291 7.47/5.50 o 1231 8.59/6.50 c Got one! Elapsed wall clock time (in seconds):6.292 8.59/6.50 o 1127 9.63/7.50 c Got one! Elapsed wall clock time (in seconds):7.3 9.63/7.50 o 1103 10.66/8.57 c Got one! Elapsed wall clock time (in seconds):8.365 10.66/8.57 o 1101 11.78/9.64 c Got one! Elapsed wall clock time (in seconds):9.437 11.78/9.64 o 1099 12.89/10.74 c Got one! Elapsed wall clock time (in seconds):10.54 12.89/10.74 o 1089 14.12/11.90 c Got one! Elapsed wall clock time (in seconds):11.698 14.12/11.90 o 1073 15.23/13.07 c Got one! Elapsed wall clock time (in seconds):12.869 15.23/13.07 o 1065 16.65/14.43 c Got one! Elapsed wall clock time (in seconds):14.227 16.65/14.43 o 987 18.08/15.82 c Got one! Elapsed wall clock time (in seconds):15.617 18.08/15.82 o 957 19.30/17.07 c Got one! Elapsed wall clock time (in seconds):16.864 19.30/17.07 o 889 20.61/18.36 c Got one! Elapsed wall clock time (in seconds):18.152 20.61/18.36 o 865 22.02/19.73 c Got one! Elapsed wall clock time (in seconds):19.523 22.02/19.73 o 801 23.42/21.18 c Got one! Elapsed wall clock time (in seconds):20.974 23.42/21.18 o 793 25.04/22.73 c Got one! Elapsed wall clock time (in seconds):22.521 25.04/22.73 o 769 26.47/24.19 c Got one! Elapsed wall clock time (in seconds):23.981 26.47/24.19 o 765 29.58/26.80 c Got one! Elapsed wall clock time (in seconds):26.596 29.58/26.80 o 706 31.56/28.72 c Got one! Elapsed wall clock time (in seconds):28.519 31.56/28.72 o 698 34.37/31.53 c Got one! Elapsed wall clock time (in seconds):31.321 34.37/31.53 o 592 36.09/33.29 c Got one! Elapsed wall clock time (in seconds):33.085 36.09/33.29 o 584 38.00/35.13 c Got one! Elapsed wall clock time (in seconds):34.923 38.00/35.13 o 572 39.82/36.99 c Got one! Elapsed wall clock time (in seconds):36.787 39.82/36.99 o 564 41.83/38.93 c Got one! Elapsed wall clock time (in seconds):38.723 41.83/38.93 o 559 43.75/40.87 c Got one! Elapsed wall clock time (in seconds):40.66 43.75/40.87 o 529 46.27/43.36 c Got one! Elapsed wall clock time (in seconds):43.151 46.27/43.36 o 525 48.49/45.52 c Got one! Elapsed wall clock time (in seconds):45.313 48.49/45.52 o 508 51.62/48.66 c Got one! Elapsed wall clock time (in seconds):48.456 51.62/48.66 o 377 54.04/51.04 c Got one! Elapsed wall clock time (in seconds):50.832 54.04/51.04 o 362 56.46/53.41 c Got one! Elapsed wall clock time (in seconds):53.203 56.46/53.41 o 303 67.35/64.20 c Got one! Elapsed wall clock time (in seconds):63.999 67.35/64.20 o 295 70.57/67.47 c Got one! Elapsed wall clock time (in seconds):67.268 70.57/67.47 o 294 74.12/70.96 c Got one! Elapsed wall clock time (in seconds):70.754 74.12/70.96 o 165 76.94/73.71 c Got one! Elapsed wall clock time (in seconds):73.507 76.94/73.71 o 158 79.86/76.62 c Got one! Elapsed wall clock time (in seconds):76.41 79.86/76.62 o 125 83.09/79.85 c Got one! Elapsed wall clock time (in seconds):79.641 83.09/79.85 o 109 86.53/83.27 c Got one! Elapsed wall clock time (in seconds):83.061 86.53/83.27 o 107 89.77/86.50 c Got one! Elapsed wall clock time (in seconds):86.291 89.77/86.50 o 103 93.80/90.41 c Got one! Elapsed wall clock time (in seconds):90.202 93.80/90.41 o 99 97.23/93.84 c Got one! Elapsed wall clock time (in seconds):93.637 97.23/93.84 o 98 100.86/97.50 c Got one! Elapsed wall clock time (in seconds):97.29 100.86/97.50 o 96 104.80/101.37 c Got one! Elapsed wall clock time (in seconds):101.164 104.80/101.37 o 95 109.44/105.96 c Got one! Elapsed wall clock time (in seconds):105.757 109.44/105.96 o 93 113.26/109.75 c Got one! Elapsed wall clock time (in seconds):109.549 113.26/109.75 o 91 119.73/116.19 c Got one! Elapsed wall clock time (in seconds):115.985 119.73/116.19 o 89 140.41/136.61 c Got one! Elapsed wall clock time (in seconds):136.401 140.41/136.61 o 84 146.86/143.04 c Got one! Elapsed wall clock time (in seconds):142.839 146.86/143.04 o 81 162.59/158.63 c Got one! Elapsed wall clock time (in seconds):158.428 162.59/158.63 o 69 172.39/168.31 c Got one! Elapsed wall clock time (in seconds):168.104 172.39/168.31 o 66 183.19/179.06 c Got one! Elapsed wall clock time (in seconds):178.856 183.19/179.06 o 64 216.40/212.04 c Got one! Elapsed wall clock time (in seconds):211.833 216.40/212.04 o 62 323.34/318.31 c Got one! Elapsed wall clock time (in seconds):318.101 323.34/318.31 o 54 379.15/373.72 c Got one! Elapsed wall clock time (in seconds):373.513 379.15/373.72 o 51 404.39/398.70 c Got one! Elapsed wall clock time (in seconds):398.5 404.39/398.71 o 50 540.86/534.16 c Got one! Elapsed wall clock time (in seconds):533.96 540.86/534.17 o 48 553.38/546.57 c Got one! Elapsed wall clock time (in seconds):546.361 553.38/546.57 o 42 591.82/584.55 c Got one! Elapsed wall clock time (in seconds):584.348 591.82/584.55 o 39 604.95/597.56 c Got one! Elapsed wall clock time (in seconds):597.359 604.95/597.56 o 38 650.46/642.67 c Got one! Elapsed wall clock time (in seconds):642.464 650.46/642.67 o 36 664.40/656.43 c Got one! Elapsed wall clock time (in seconds):656.225 664.40/656.43 o 32 690.71/682.49 c Got one! Elapsed wall clock time (in seconds):682.29 690.81/682.51 o 28 772.16/762.99 c Got one! Elapsed wall clock time (in seconds):762.789 772.16/762.99 o 26 815.88/806.16 c Got one! Elapsed wall clock time (in seconds):805.959 815.88/806.16 o 25 876.39/865.87 c Got one! Elapsed wall clock time (in seconds):865.666 876.39/865.87 o 21 1800.04/1778.11 c starts : 134 1800.04/1778.11 c conflicts : 20144 1800.04/1778.11 c decisions : 42515 1800.04/1778.11 c propagations : 234887 1800.04/1778.11 c inspects : 289224328 1800.04/1778.11 c learnt literals : 0 1800.04/1778.11 c learnt binary clauses : 0 1800.04/1778.11 c learnt ternary clauses : 0 1800.04/1778.11 c learnt clauses : 20143 1800.04/1778.11 c root simplifications : 0 1800.04/1778.11 c removed literals (reason simplification) : 0 1800.04/1778.11 c reason swapping (by a shorter reason) : 0 1800.04/1778.11 c Calls to reduceDB : 0 1800.04/1778.11 c speed (decisions/second) : 46.60516224932528 1800.04/1778.11 c non guided choices 1072 1800.04/1778.11 s SATISFIABLE 1800.04/1778.11 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 1800.04/1778.11 v -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 x52 -x53 -x54 -x55 1800.04/1778.11 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 1800.04/1778.11 v -x82 x83 -x84 -x85 x86 x87 x88 -x89 x90 -x91 x92 x93 x94 x95 x96 x97 -x98 -x99 -x100 x101 -x102 -x103 x104 x105 -x106 -x107 -x108 1800.04/1778.11 v x109 x110 x111 -x112 -x113 x114 x115 x116 -x117 x118 -x119 -x120 1800.04/1778.11 c objective function=21 1800.04/1778.11 c Total wall clock time (ms): 1777.908
OK 21
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-354801-1176726036 -o ROOT/results/node18/solver-354801-1176726036 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354801-1176726036/sat4jPseudoCP.jar /tmp/evaluation/354801-1176726036/instance-354801-1176726036.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.78 0.97 0.98 2/77 18933 /proc/meminfo: memFree=1830760/2055920 swapFree=4167980/4192956 [pid=18933] ppid=18931 vsize=152 CPUtime=0 /proc/18933/stat : 18933 (java) R 18931 18933 18870 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 120521003 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 7861028 0 0 4096 0 0 0 0 17 1 0 0 /proc/18933/statm: 38 26 19 9 0 4 0 [startup+0.0369921 s] /proc/loadavg: 0.78 0.97 0.98 2/77 18933 /proc/meminfo: memFree=1830760/2055920 swapFree=4167980/4192956 [pid=18933] ppid=18931 vsize=1775952 CPUtime=0.01 /proc/18933/stat : 18933 (java) S 18931 18933 18870 0 -1 0 2851 0 1 0 0 1 0 0 18 0 4 0 120521003 1818574848 2598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/18933/statm: 443988 2598 628 9 0 441624 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1775952 [startup+0.101999 s] /proc/loadavg: 0.78 0.97 0.98 2/77 18933 /proc/meminfo: memFree=1830760/2055920 swapFree=4167980/4192956 [pid=18933] ppid=18931 vsize=1780108 CPUtime=0.07 /proc/18933/stat : 18933 (java) S 18931 18933 18870 0 -1 0 3935 0 1 0 5 2 0 0 18 0 12 0 120521003 1822830592 3676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18933/statm: 445027 3676 1119 9 0 442646 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1780108 [startup+0.302016 s] /proc/loadavg: 0.78 0.97 0.98 2/77 18933 /proc/meminfo: memFree=1830760/2055920 swapFree=4167980/4192956 [pid=18933] ppid=18931 vsize=1782624 CPUtime=0.3 /proc/18933/stat : 18933 (java) S 18931 18933 18870 0 -1 0 5151 0 1 0 27 3 0 0 18 0 13 0 120521003 1825406976 4889 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18933/statm: 445656 4889 1265 9 0 443268 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 1782624 [startup+0.701056 s] /proc/loadavg: 0.78 0.97 0.98 2/77 18933 /proc/meminfo: memFree=1830760/2055920 swapFree=4167980/4192956 [pid=18933] ppid=18931 vsize=1784344 CPUtime=0.94 /proc/18933/stat : 18933 (java) S 18931 18933 18870 0 -1 0 8385 0 1 0 90 4 0 0 18 0 13 0 120521003 1827168256 7635 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18933/statm: 446086 7635 1301 9 0 443698 0 Current children cumulated CPU time (s) 0.94 Current children cumulated vsize (KiB) 1784344 [startup+1.50214 s] /proc/loadavg: 0.80 0.97 0.98 4/90 18946 /proc/meminfo: memFree=1786560/2055920 swapFree=4167980/4192956 [pid=18933] ppid=18931 vsize=1797224 CPUtime=2.48 /proc/18933/stat : 18933 (java) S 18931 18933 18870 0 -1 0 27605 0 1 0 236 12 0 0 18 0 13 0 120521003 1840357376 22643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18933/statm: 449306 22643 1310 9 0 446918 0 [pid=18933/tid=18935] ppid=18931 vsize=1797224 CPUtime=0.99 /proc/18933/task/18935/stat : 18935 (java) D 18931 18933 18870 0 -1 64 18189 0 1 0 91 8 0 0 19 0 13 0 120521004 1840357376 22643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109574838 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18936] ppid=18931 vsize=1797224 CPUtime=0 /proc/18933/task/18936/stat : 18936 (java) S 18931 18933 18870 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 120521006 1840357376 22643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18937] ppid=18931 vsize=1797224 CPUtime=0 /proc/18933/task/18937/stat : 18937 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 120521006 1840357376 22643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18938] ppid=18931 vsize=1797224 CPUtime=0 /proc/18933/task/18938/stat : 18938 (java) S 18931 18933 18870 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 120521008 1840357376 22643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18939] ppid=18931 vsize=1797224 CPUtime=0 /proc/18933/task/18939/stat : 18939 (java) S 18931 18933 18870 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 120521009 1840357376 22643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18940] ppid=18931 vsize=1797224 CPUtime=0 /proc/18933/task/18940/stat : 18940 (java) S 18931 18933 18870 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 120521009 1840357376 22643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18941] ppid=18931 vsize=1797224 CPUtime=0 /proc/18933/task/18941/stat : 18941 (java) S 18931 18933 18870 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 120521013 1840357376 22643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18942] ppid=18931 vsize=1797224 CPUtime=0.61 /proc/18933/task/18942/stat : 18942 (java) R 18931 18933 18870 0 -1 64 3296 0 0 0 60 1 0 0 19 0 13 0 120521013 1840357376 22643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105421572 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18943] ppid=18931 vsize=1797224 CPUtime=0.86 /proc/18933/task/18943/stat : 18943 (java) R 18931 18933 18870 0 -1 64 5394 0 0 0 84 2 0 0 19 0 13 0 120521013 1840357376 22643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18944] ppid=18931 vsize=1797224 CPUtime=0 /proc/18933/task/18944/stat : 18944 (java) S 18931 18933 18870 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 120521013 1840357376 22643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18945] ppid=18931 vsize=1797224 CPUtime=0 /proc/18933/task/18945/stat : 18945 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120521013 1840357376 22643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18946] ppid=18931 vsize=1797224 CPUtime=0 /proc/18933/task/18946/stat : 18946 (java) S 18931 18933 18870 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 120521031 1840357376 22643 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.48 Current children cumulated vsize (KiB) 1797224 [startup+3.10229 s] /proc/loadavg: 0.80 0.97 0.98 3/90 18946 /proc/meminfo: memFree=1696512/2055920 swapFree=4167980/4192956 [pid=18933] ppid=18931 vsize=1797688 CPUtime=5.12 /proc/18933/stat : 18933 (java) S 18931 18933 18870 0 -1 0 52177 0 1 0 489 23 0 0 18 0 13 0 120521003 1840832512 42837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18933/statm: 449422 42837 1326 9 0 447034 0 [pid=18933/tid=18935] ppid=18931 vsize=1797688 CPUtime=2.18 /proc/18933/task/18935/stat : 18935 (java) R 18931 18933 18870 0 -1 64 37712 0 1 0 202 16 0 0 25 0 13 0 120521004 1840832512 42837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109487607 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18936] ppid=18931 vsize=1797688 CPUtime=0 /proc/18933/task/18936/stat : 18936 (java) S 18931 18933 18870 0 -1 64 214 0 0 0 0 0 0 0 16 0 13 0 120521006 1840832512 42837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18937] ppid=18931 vsize=1797688 CPUtime=0 /proc/18933/task/18937/stat : 18937 (java) S 18931 18933 18870 0 -1 64 58 0 0 0 0 0 0 0 16 0 13 0 120521006 1840832512 42837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18938] ppid=18931 vsize=1797688 CPUtime=0 /proc/18933/task/18938/stat : 18938 (java) S 18931 18933 18870 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 120521008 1840832512 42837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18939] ppid=18931 vsize=1797688 CPUtime=0 /proc/18933/task/18939/stat : 18939 (java) S 18931 18933 18870 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120521009 1840832512 42837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18940] ppid=18931 vsize=1797688 CPUtime=0 /proc/18933/task/18940/stat : 18940 (java) S 18931 18933 18870 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 120521009 1840832512 42837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18941] ppid=18931 vsize=1797688 CPUtime=0 /proc/18933/task/18941/stat : 18941 (java) S 18931 18933 18870 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 120521013 1840832512 42837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18942] ppid=18931 vsize=1797688 CPUtime=1.43 /proc/18933/task/18942/stat : 18942 (java) S 18931 18933 18870 0 -1 64 7522 0 0 0 141 2 0 0 16 0 13 0 120521013 1840832512 42837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18943] ppid=18931 vsize=1797688 CPUtime=1.46 /proc/18933/task/18943/stat : 18943 (java) S 18931 18933 18870 0 -1 64 5941 0 0 0 144 2 0 0 16 0 13 0 120521013 1840832512 42837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18944] ppid=18931 vsize=1797688 CPUtime=0 /proc/18933/task/18944/stat : 18944 (java) S 18931 18933 18870 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 120521013 1840832512 42837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18945] ppid=18931 vsize=1797688 CPUtime=0 /proc/18933/task/18945/stat : 18945 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120521013 1840832512 42837 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 5.12 Current children cumulated vsize (KiB) 1797688 [startup+6.30159 s] /proc/loadavg: 0.80 0.97 0.98 2/90 18949 /proc/meminfo: memFree=1660840/2055920 swapFree=4167980/4192956 [pid=18933] ppid=18931 vsize=1797560 CPUtime=8.39 /proc/18933/stat : 18933 (java) S 18931 18933 18870 0 -1 0 54772 0 1 0 814 25 0 0 18 0 13 0 120521003 1840701440 44579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18933/statm: 449390 44579 1327 9 0 447002 0 [pid=18933/tid=18935] ppid=18931 vsize=1797560 CPUtime=5.3 /proc/18933/task/18935/stat : 18935 (java) R 18931 18933 18870 0 -1 64 37722 0 1 0 514 16 0 0 18 0 13 0 120521004 1840701440 44579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109638153 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18936] ppid=18931 vsize=1797560 CPUtime=0.05 /proc/18933/task/18936/stat : 18936 (java) S 18931 18933 18870 0 -1 64 1520 0 0 0 5 0 0 0 16 0 13 0 120521006 1840701440 44579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18937] ppid=18931 vsize=1797560 CPUtime=0.04 /proc/18933/task/18937/stat : 18937 (java) S 18931 18933 18870 0 -1 64 1312 0 0 0 4 0 0 0 16 0 13 0 120521006 1840701440 44579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18938] ppid=18931 vsize=1797560 CPUtime=0 /proc/18933/task/18938/stat : 18938 (java) S 18931 18933 18870 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 120521008 1840701440 44579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18939] ppid=18931 vsize=1797560 CPUtime=0 /proc/18933/task/18939/stat : 18939 (java) S 18931 18933 18870 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120521009 1840701440 44579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18940] ppid=18931 vsize=1797560 CPUtime=0 /proc/18933/task/18940/stat : 18940 (java) S 18931 18933 18870 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 120521009 1840701440 44579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18941] ppid=18931 vsize=1797560 CPUtime=0 /proc/18933/task/18941/stat : 18941 (java) S 18931 18933 18870 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 120521013 1840701440 44579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18942] ppid=18931 vsize=1797560 CPUtime=1.45 /proc/18933/task/18942/stat : 18942 (java) S 18931 18933 18870 0 -1 64 7523 0 0 0 143 2 0 0 15 0 13 0 120521013 1840701440 44579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18943] ppid=18931 vsize=1797560 CPUtime=1.48 /proc/18933/task/18943/stat : 18943 (java) S 18931 18933 18870 0 -1 64 5941 0 0 0 146 2 0 0 17 0 13 0 120521013 1840701440 44579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18944] ppid=18931 vsize=1797560 CPUtime=0 /proc/18933/task/18944/stat : 18944 (java) S 18931 18933 18870 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 120521013 1840701440 44579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18945] ppid=18931 vsize=1797560 CPUtime=0 /proc/18933/task/18945/stat : 18945 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120521013 1840701440 44579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.39 Current children cumulated vsize (KiB) 1797560 [startup+12.7022 s] /proc/loadavg: 0.83 0.97 0.98 2/90 18956 /proc/meminfo: memFree=1616400/2055920 swapFree=4167980/4192956 [pid=18933] ppid=18931 vsize=1797560 CPUtime=14.93 /proc/18933/stat : 18933 (java) S 18931 18933 18870 0 -1 0 65312 0 1 0 1464 29 0 0 18 0 13 0 120521003 1840701440 54767 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18933/statm: 449390 54767 1328 9 0 447002 0 [pid=18933/tid=18935] ppid=18931 vsize=1797560 CPUtime=11.59 /proc/18933/task/18935/stat : 18935 (java) R 18931 18933 18870 0 -1 64 43521 0 1 0 1140 19 0 0 23 0 13 0 120521004 1840701440 54767 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109487630 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18936] ppid=18931 vsize=1797560 CPUtime=0.14 /proc/18933/task/18936/stat : 18936 (java) S 18931 18933 18870 0 -1 64 3928 0 0 0 13 1 0 0 16 0 13 0 120521006 1840701440 54767 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18937] ppid=18931 vsize=1797560 CPUtime=0.13 /proc/18933/task/18937/stat : 18937 (java) S 18931 18933 18870 0 -1 64 3625 0 0 0 12 1 0 0 16 0 13 0 120521006 1840701440 54767 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18938] ppid=18931 vsize=1797560 CPUtime=0 /proc/18933/task/18938/stat : 18938 (java) S 18931 18933 18870 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 120521008 1840701440 54767 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18939] ppid=18931 vsize=1797560 CPUtime=0 /proc/18933/task/18939/stat : 18939 (java) S 18931 18933 18870 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120521009 1840701440 54767 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18940] ppid=18931 vsize=1797560 CPUtime=0 /proc/18933/task/18940/stat : 18940 (java) S 18931 18933 18870 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 120521009 1840701440 54767 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18941] ppid=18931 vsize=1797560 CPUtime=0 /proc/18933/task/18941/stat : 18941 (java) S 18931 18933 18870 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 120521013 1840701440 54767 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18942] ppid=18931 vsize=1797560 CPUtime=1.52 /proc/18933/task/18942/stat : 18942 (java) S 18931 18933 18870 0 -1 64 7530 0 0 0 150 2 0 0 17 0 13 0 120521013 1840701440 54767 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18943] ppid=18931 vsize=1797560 CPUtime=1.5 /proc/18933/task/18943/stat : 18943 (java) S 18931 18933 18870 0 -1 64 5941 0 0 0 148 2 0 0 16 0 13 0 120521013 1840701440 54767 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18944] ppid=18931 vsize=1797560 CPUtime=0 /proc/18933/task/18944/stat : 18944 (java) S 18931 18933 18870 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 120521013 1840701440 54767 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18945] ppid=18931 vsize=1797560 CPUtime=0 /proc/18933/task/18945/stat : 18945 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120521013 1840701440 54767 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18956] ppid=18931 vsize=1797560 CPUtime=0 /proc/18933/task/18956/stat : 18956 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 120522194 1840701440 54767 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.93 Current children cumulated vsize (KiB) 1797560 [startup+25.5015 s] /proc/loadavg: 0.85 0.97 0.98 2/90 18965 /proc/meminfo: memFree=1626376/2055920 swapFree=4167980/4192956 [pid=18933] ppid=18931 vsize=1796260 CPUtime=27.87 /proc/18933/stat : 18933 (java) S 18931 18933 18870 0 -1 0 68240 0 1 0 2756 31 0 0 18 0 13 0 120521003 1839370240 51516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18933/statm: 449065 51516 1334 9 0 446677 0 [pid=18933/tid=18935] ppid=18931 vsize=1796260 CPUtime=24.22 /proc/18933/task/18935/stat : 18935 (java) R 18931 18933 18870 0 -1 64 43543 0 1 0 2403 19 0 0 23 0 13 0 120521004 1839370240 51516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109546194 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18936] ppid=18931 vsize=1796260 CPUtime=0.25 /proc/18933/task/18936/stat : 18936 (java) S 18931 18933 18870 0 -1 64 5414 0 0 0 24 1 0 0 16 0 13 0 120521006 1839370240 51516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18937] ppid=18931 vsize=1796260 CPUtime=0.24 /proc/18933/task/18937/stat : 18937 (java) S 18931 18933 18870 0 -1 64 5021 0 0 0 22 2 0 0 16 0 13 0 120521006 1839370240 51516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18938] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18938/stat : 18938 (java) S 18931 18933 18870 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 120521008 1839370240 51516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18939] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18939/stat : 18939 (java) S 18931 18933 18870 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120521009 1839370240 51516 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=18933/tid=18938] ppid=18931 vsize=1796260 CPUtime=0.24 /proc/18933/task/18938/stat : 18938 (java) S 18931 18933 18870 0 -1 64 156 0 0 0 13 11 0 0 16 0 13 0 120521008 1839370240 126588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18939] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18939/stat : 18939 (java) S 18931 18933 18870 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120521009 1839370240 126588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18940] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18940/stat : 18940 (java) S 18931 18933 18870 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 120521009 1839370240 126588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18941] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18941/stat : 18941 (java) S 18931 18933 18870 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 120521013 1839370240 126588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18942] ppid=18931 vsize=1796260 CPUtime=1.78 /proc/18933/task/18942/stat : 18942 (java) S 18931 18933 18870 0 -1 64 7592 0 0 0 175 3 0 0 16 0 13 0 120521013 1839370240 126588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18943] ppid=18931 vsize=1796260 CPUtime=1.86 /proc/18933/task/18943/stat : 18943 (java) S 18931 18933 18870 0 -1 64 7831 0 0 0 183 3 0 0 17 0 13 0 120521013 1839370240 126588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18944] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18944/stat : 18944 (java) S 18931 18933 18870 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 120521013 1839370240 126588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18945] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18945/stat : 18945 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120521013 1839370240 126588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=19012] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/19012/stat : 19012 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 120607590 1839370240 126588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1561.21 Current children cumulated vsize (KiB) 1796260 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 19014 /proc/meminfo: memFree=1319896/2055920 swapFree=4167980/4192956 [pid=18933] ppid=18931 vsize=1796260 CPUtime=1621.82 /proc/18933/stat : 18933 (java) S 18931 18933 18870 0 -1 0 192981 0 1 0 162066 116 0 0 18 0 13 0 120521003 1839370240 128258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18933/statm: 449065 128258 1336 9 0 446677 0 [pid=18933/tid=18935] ppid=18931 vsize=1796260 CPUtime=1582.62 /proc/18933/task/18935/stat : 18935 (java) R 18931 18933 18870 0 -1 64 72897 0 1 0 158213 49 0 0 25 0 13 0 120521004 1839370240 128258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109610790 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18936] ppid=18931 vsize=1796260 CPUtime=17.62 /proc/18933/task/18936/stat : 18936 (java) S 18931 18933 18870 0 -1 64 49532 0 0 0 1741 21 0 0 17 0 13 0 120521006 1839370240 128258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18937] ppid=18931 vsize=1796260 CPUtime=17.63 /proc/18933/task/18937/stat : 18937 (java) S 18931 18933 18870 0 -1 64 54141 0 0 0 1737 26 0 0 16 0 13 0 120521006 1839370240 128258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18938] ppid=18931 vsize=1796260 CPUtime=0.24 /proc/18933/task/18938/stat : 18938 (java) S 18931 18933 18870 0 -1 64 156 0 0 0 13 11 0 0 16 0 13 0 120521008 1839370240 128258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18939] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18939/stat : 18939 (java) S 18931 18933 18870 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120521009 1839370240 128258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18940] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18940/stat : 18940 (java) S 18931 18933 18870 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 120521009 1839370240 128258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18941] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18941/stat : 18941 (java) S 18931 18933 18870 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 120521013 1839370240 128258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18942] ppid=18931 vsize=1796260 CPUtime=1.78 /proc/18933/task/18942/stat : 18942 (java) S 18931 18933 18870 0 -1 64 7592 0 0 0 175 3 0 0 16 0 13 0 120521013 1839370240 128258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18943] ppid=18931 vsize=1796260 CPUtime=1.86 /proc/18933/task/18943/stat : 18943 (java) S 18931 18933 18870 0 -1 64 7831 0 0 0 183 3 0 0 17 0 13 0 120521013 1839370240 128258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18944] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18944/stat : 18944 (java) S 18931 18933 18870 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 120521013 1839370240 128258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18945] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18945/stat : 18945 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120521013 1839370240 128258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=19012] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/19012/stat : 19012 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 120607590 1839370240 128258 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1621.82 Current children cumulated vsize (KiB) 1796260 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 19014 /proc/meminfo: memFree=1308248/2055920 swapFree=4167980/4192956 [pid=18933] ppid=18931 vsize=1796260 CPUtime=1682.66 /proc/18933/stat : 18933 (java) S 18931 18933 18870 0 -1 0 196909 0 1 0 168146 120 0 0 18 0 13 0 120521003 1839370240 131148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18933/statm: 449065 131148 1336 9 0 446677 0 [pid=18933/tid=18935] ppid=18931 vsize=1796260 CPUtime=1641.74 /proc/18933/task/18935/stat : 18935 (java) R 18931 18933 18870 0 -1 64 72923 0 1 0 164124 50 0 0 25 0 13 0 120521004 1839370240 131148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109610846 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18936] ppid=18931 vsize=1796260 CPUtime=18.48 /proc/18933/task/18936/stat : 18936 (java) S 18931 18933 18870 0 -1 64 51322 0 0 0 1826 22 0 0 16 0 13 0 120521006 1839370240 131148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18937] ppid=18931 vsize=1796260 CPUtime=18.47 /proc/18933/task/18937/stat : 18937 (java) S 18931 18933 18870 0 -1 64 56252 0 0 0 1820 27 0 0 16 0 13 0 120521006 1839370240 131148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18938] ppid=18931 vsize=1796260 CPUtime=0.25 /proc/18933/task/18938/stat : 18938 (java) S 18931 18933 18870 0 -1 64 157 0 0 0 14 11 0 0 15 0 13 0 120521008 1839370240 131148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18939] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18939/stat : 18939 (java) S 18931 18933 18870 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120521009 1839370240 131148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18940] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18940/stat : 18940 (java) S 18931 18933 18870 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 120521009 1839370240 131148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18941] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18941/stat : 18941 (java) S 18931 18933 18870 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 120521013 1839370240 131148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18942] ppid=18931 vsize=1796260 CPUtime=1.78 /proc/18933/task/18942/stat : 18942 (java) S 18931 18933 18870 0 -1 64 7592 0 0 0 175 3 0 0 16 0 13 0 120521013 1839370240 131148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18943] ppid=18931 vsize=1796260 CPUtime=1.86 /proc/18933/task/18943/stat : 18943 (java) S 18931 18933 18870 0 -1 64 7831 0 0 0 183 3 0 0 17 0 13 0 120521013 1839370240 131148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18944] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18944/stat : 18944 (java) S 18931 18933 18870 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 120521013 1839370240 131148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18945] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18945/stat : 18945 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120521013 1839370240 131148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=19012] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/19012/stat : 19012 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 120607590 1839370240 131148 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1682.66 Current children cumulated vsize (KiB) 1796260 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 19014 /proc/meminfo: memFree=1300184/2055920 swapFree=4167980/4192956 [pid=18933] ppid=18931 vsize=1796260 CPUtime=1743.45 /proc/18933/stat : 18933 (java) S 18931 18933 18870 0 -1 0 199298 0 1 0 174223 122 0 0 18 0 13 0 120521003 1839370240 133166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18933/statm: 449065 133166 1336 9 0 446677 0 [pid=18933/tid=18935] ppid=18931 vsize=1796260 CPUtime=1700.87 /proc/18933/task/18935/stat : 18935 (java) R 18931 18933 18870 0 -1 64 72948 0 1 0 170037 50 0 0 25 0 13 0 120521004 1839370240 133166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109610883 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18936] ppid=18931 vsize=1796260 CPUtime=19.3 /proc/18933/task/18936/stat : 18936 (java) S 18931 18933 18870 0 -1 64 52594 0 0 0 1908 22 0 0 17 0 13 0 120521006 1839370240 133166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18937] ppid=18931 vsize=1796260 CPUtime=19.3 /proc/18933/task/18937/stat : 18937 (java) S 18931 18933 18870 0 -1 64 57344 0 0 0 1902 28 0 0 16 0 13 0 120521006 1839370240 133166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18938] ppid=18931 vsize=1796260 CPUtime=0.25 /proc/18933/task/18938/stat : 18938 (java) S 18931 18933 18870 0 -1 64 157 0 0 0 14 11 0 0 16 0 13 0 120521008 1839370240 133166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18939] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18939/stat : 18939 (java) S 18931 18933 18870 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120521009 1839370240 133166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18940] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18940/stat : 18940 (java) S 18931 18933 18870 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 120521009 1839370240 133166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18941] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18941/stat : 18941 (java) S 18931 18933 18870 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 120521013 1839370240 133166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18942] ppid=18931 vsize=1796260 CPUtime=1.78 /proc/18933/task/18942/stat : 18942 (java) S 18931 18933 18870 0 -1 64 7592 0 0 0 175 3 0 0 16 0 13 0 120521013 1839370240 133166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18943] ppid=18931 vsize=1796260 CPUtime=1.86 /proc/18933/task/18943/stat : 18943 (java) S 18931 18933 18870 0 -1 64 7831 0 0 0 183 3 0 0 17 0 13 0 120521013 1839370240 133166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18944] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18944/stat : 18944 (java) S 18931 18933 18870 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 120521013 1839370240 133166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18945] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18945/stat : 18945 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120521013 1839370240 133166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=19012] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/19012/stat : 19012 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 120607590 1839370240 133166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1743.45 Current children cumulated vsize (KiB) 1796260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1778.1 s] /proc/loadavg: 1.00 1.00 1.00 2/90 19014 /proc/meminfo: memFree=1292312/2055920 swapFree=4167980/4192956 [pid=18933] ppid=18931 vsize=1796260 CPUtime=1800.04 /proc/18933/stat : 18933 (java) S 18931 18933 18870 0 -1 0 201486 0 1 0 179880 124 0 0 18 0 13 0 120521003 1839370240 135124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/18933/statm: 449065 135124 1336 9 0 446677 0 [pid=18933/tid=18935] ppid=18931 vsize=1796260 CPUtime=1755.86 /proc/18933/task/18935/stat : 18935 (java) R 18931 18933 18870 0 -1 64 72972 0 1 0 175535 51 0 0 23 0 13 0 120521004 1839370240 135124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109610932 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18936] ppid=18931 vsize=1796260 CPUtime=20.1 /proc/18933/task/18936/stat : 18936 (java) S 18931 18933 18870 0 -1 64 53892 0 0 0 1987 23 0 0 16 0 13 0 120521006 1839370240 135124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18937] ppid=18931 vsize=1796260 CPUtime=20.1 /proc/18933/task/18937/stat : 18937 (java) S 18931 18933 18870 0 -1 64 58210 0 0 0 1981 29 0 0 17 0 13 0 120521006 1839370240 135124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=18938] ppid=18931 vsize=1796260 CPUtime=0.27 /proc/18933/task/18938/stat : 18938 (java) S 18931 18933 18870 0 -1 64 157 0 0 0 15 12 0 0 16 0 13 0 120521008 1839370240 135124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18939] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18939/stat : 18939 (java) S 18931 18933 18870 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120521009 1839370240 135124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18940] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18940/stat : 18940 (java) S 18931 18933 18870 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 120521009 1839370240 135124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18941] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18941/stat : 18941 (java) S 18931 18933 18870 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 120521013 1839370240 135124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18942] ppid=18931 vsize=1796260 CPUtime=1.78 /proc/18933/task/18942/stat : 18942 (java) S 18931 18933 18870 0 -1 64 7592 0 0 0 175 3 0 0 16 0 13 0 120521013 1839370240 135124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18943] ppid=18931 vsize=1796260 CPUtime=1.86 /proc/18933/task/18943/stat : 18943 (java) S 18931 18933 18870 0 -1 64 7831 0 0 0 183 3 0 0 17 0 13 0 120521013 1839370240 135124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18944] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18944/stat : 18944 (java) S 18931 18933 18870 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 120521013 1839370240 135124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=18933/tid=18945] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/18945/stat : 18945 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 120521013 1839370240 135124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=18933/tid=19012] ppid=18931 vsize=1796260 CPUtime=0 /proc/18933/task/19012/stat : 19012 (java) S 18931 18933 18870 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 120607590 1839370240 135124 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1796260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1778.21 s] /proc/loadavg: 1.00 1.00 1.00 2/90 19014 /proc/meminfo: memFree=1292312/2055920 swapFree=4167980/4192956 [pid=18933] ppid=18931 vsize=0 CPUtime=1800.15 /proc/18933/stat : 18933 (java) Z 18931 18933 18870 0 -1 1036 201507 0 1 0 179883 132 0 0 16 0 2 0 120521003 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/18933/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1778.22 CPU time (s): 1800.16 CPU user time (s): 1798.84 CPU system time (s): 1.3258 CPU usage (%): 101.234 Max. virtual memory (cumulated for all children) (KiB): 1800760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.84 system time used= 1.3258 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 201507 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= 45353 involuntary context switches= 45999 runsolver used 1.81872 second user time and 4.71128 second system time The end
Begin job on node18 on Mon Apr 16 12:20:36 UTC 2007 IDJOB= 354801 IDBENCH= 2899 IDSOLVER= 160 FILE ID= node18/354801-1176726036 PBS_JOBID= 4559509 Free space on /tmp= 66542 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354801-1176726036/sat4jPseudoCP.jar /tmp/evaluation/354801-1176726036/instance-354801-1176726036.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-354801-1176726036 -o ROOT/results/node18/solver-354801-1176726036 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354801-1176726036/sat4jPseudoCP.jar /tmp/evaluation/354801-1176726036/instance-354801-1176726036.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c RANDOM SEED= 992175258 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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.234 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.234 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: 1831232 kB Buffers: 27992 kB Cached: 114708 kB SwapCached: 2888 kB Active: 79552 kB Inactive: 95060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1831232 kB SwapTotal: 4192956 kB SwapFree: 4167980 kB Dirty: 3760 kB Writeback: 0 kB Mapped: 39588 kB Slab: 35636 kB Committed_AS: 4285092 kB PageTables: 1776 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= 66542 MiB End job on node18 on Mon Apr 16 12:50:17 UTC 2007