0.01/0.09
0.01/0.09 Abscon 112 (May, 2008)
0.17/0.24
0.17/0.24 configuration
0.17/0.24 name=mrdac-wdeg.xml
0.28/0.32
0.28/0.33 instance
0.28/0.33 name=HOME/instance-1110697-1215831995.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.37
0.28/0.38 variables being loaded...
0.38/0.40 nbVariables=60 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=120
0.38/0.40 => wckTime=0.152 cpuTime=0.12 mem=7M842
0.38/0.40
0.38/0.40 relations being loaded...
0.38/0.40
0.38/0.40 constraints being loaded...
0.38/0.44 nbConstraints=40 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=38
0.38/0.44 nbConflictsStructures=2 nbSharedConflictsStructures=38 nbSharedBinaryRepresentations=0 minDegree=2 maxDegree=2
0.38/0.44 minArity=3 maxArity=3
0.38/0.44 => wckTime=0.198 cpuTime=0.16 mem=9M809
0.38/0.50
0.38/0.50 solver LocalSearchSolver being built...
0.48/0.53 => wckTime=0.286 cpuTime=0.2 mem=5M431
0.48/0.54
0.48/0.54 s SATISFIABLE
0.48/0.54 o 13
0.48/0.54 o 11
0.48/0.54 o 9
0.48/0.54 o 7
0.48/0.54 o 5
0.48/0.58 o 3
0.48/0.58 o 1
1.17/1.21
1.17/1.21 search
1.17/1.21 run=0 nbConstraintChecks=249255 nbAssignments=10000
1.17/1.21 => wckTime=0.68 cpuTime=0.64 mem=6M423
1.77/1.80
1.77/1.80 search
1.77/1.80 run=1 nbConstraintChecks=439297 nbAssignments=20000
1.77/1.80 => wckTime=1.273 cpuTime=1.22 mem=6M423
2.26/2.37
2.26/2.37 search
2.26/2.37 run=2 nbConstraintChecks=599575 nbAssignments=30000
2.26/2.37 => wckTime=1.839 cpuTime=1.78 mem=6M423
2.87/2.94
2.87/2.94 search
2.87/2.94 run=3 nbConstraintChecks=792279 nbAssignments=40000
2.87/2.94 => wckTime=2.41 cpuTime=2.35 mem=6M423
3.46/3.51
3.46/3.51 search
3.46/3.51 run=4 nbConstraintChecks=957843 nbAssignments=50000
3.46/3.51 => wckTime=2.978 cpuTime=2.92 mem=6M423
3.97/4.08
3.97/4.08 search
3.97/4.08 run=5 nbConstraintChecks=1147771 nbAssignments=60000
3.97/4.08 => wckTime=3.547 cpuTime=3.48 mem=6M423
4.56/4.65
4.56/4.65 search
4.56/4.65 run=6 nbConstraintChecks=1332635 nbAssignments=70000
4.56/4.65 => wckTime=4.123 cpuTime=4.05 mem=6M423
5.16/5.22
5.16/5.22 search
5.16/5.22 run=7 nbConstraintChecks=1510810 nbAssignments=80000
5.16/5.22 => wckTime=4.69 cpuTime=4.62 mem=6M423
5.65/5.76
5.65/5.76 search
5.65/5.76 run=8 nbConstraintChecks=1692011 nbAssignments=90000
5.65/5.76 => wckTime=5.233 cpuTime=5.16 mem=6M423
6.15/6.29
6.15/6.29 search
6.15/6.29 run=9 nbConstraintChecks=1891450 nbAssignments=100000
6.15/6.29 => wckTime=5.761 cpuTime=5.69 mem=6M423
6.75/6.82
6.75/6.82 search
6.75/6.82 run=10 nbConstraintChecks=2065755 nbAssignments=110000
6.75/6.82 => wckTime=6.285 cpuTime=6.21 mem=6M423
7.24/7.37
7.24/7.37 search
7.24/7.37 run=11 nbConstraintChecks=2260373 nbAssignments=120000
7.24/7.37 => wckTime=6.842 cpuTime=6.76 mem=6M423
7.84/7.95
7.84/7.95 search
7.84/7.95 run=12 nbConstraintChecks=2424673 nbAssignments=130000
7.84/7.95 => wckTime=7.422 cpuTime=7.34 mem=6M423
8.43/8.54
8.43/8.54 search
8.43/8.54 run=13 nbConstraintChecks=2609663 nbAssignments=140000
8.43/8.54 => wckTime=8.013 cpuTime=7.92 mem=6M423
9.03/9.13
9.03/9.13 search
9.03/9.13 run=14 nbConstraintChecks=2776173 nbAssignments=150000
9.03/9.13 => wckTime=8.601 cpuTime=8.51 mem=6M423
9.62/9.72
9.62/9.72 search
9.62/9.72 run=15 nbConstraintChecks=2949988 nbAssignments=160000
9.62/9.72 => wckTime=9.19 cpuTime=9.09 mem=6M423
10.22/10.31
10.22/10.31 search
10.22/10.31 run=16 nbConstraintChecks=3112242 nbAssignments=170000
10.22/10.31 => wckTime=9.777 cpuTime=9.67 mem=6M423
10.71/10.89
10.71/10.89 search
10.71/10.89 run=17 nbConstraintChecks=3271960 nbAssignments=180000
10.71/10.89 => wckTime=10.362 cpuTime=10.25 mem=6M423
11.30/11.48
11.30/11.48 search
11.30/11.48 run=18 nbConstraintChecks=3436782 nbAssignments=190000
11.30/11.48 => wckTime=10.954 cpuTime=10.83 mem=6M423
11.90/12.08
11.90/12.08 search
11.90/12.08 run=19 nbConstraintChecks=3636139 nbAssignments=200000
11.90/12.08 => wckTime=11.55 cpuTime=11.41 mem=6M423
12.49/12.67
12.49/12.67 search
12.49/12.67 run=20 nbConstraintChecks=3797933 nbAssignments=210000
12.49/12.67 => wckTime=12.136 cpuTime=12.0 mem=6M423
13.09/13.26
13.09/13.26 search
13.09/13.26 run=21 nbConstraintChecks=3976892 nbAssignments=220000
13.09/13.26 => wckTime=12.726 cpuTime=12.59 mem=6M423
13.68/13.84
13.68/13.84 search
13.68/13.84 run=22 nbConstraintChecks=4130850 nbAssignments=230000
13.68/13.84 => wckTime=13.31 cpuTime=13.16 mem=6M423
14.28/14.43
14.28/14.43 search
14.28/14.43 run=23 nbConstraintChecks=4299874 nbAssignments=240000
14.28/14.43 => wckTime=13.896 cpuTime=13.75 mem=6M423
14.87/15.02
14.87/15.02 search
14.87/15.02 run=24 nbConstraintChecks=4458699 nbAssignments=250000
14.87/15.02 => wckTime=14.485 cpuTime=14.33 mem=6M423
15.46/15.61
15.46/15.61 search
15.46/15.61 run=25 nbConstraintChecks=4632822 nbAssignments=260000
15.46/15.61 => wckTime=15.075 cpuTime=14.9 mem=6M423
15.96/16.19
15.96/16.19 search
15.96/16.19 run=26 nbConstraintChecks=4799829 nbAssignments=270000
15.96/16.19 => wckTime=15.658 cpuTime=15.48 mem=6M423
16.55/16.77
16.55/16.77 search
16.55/16.77 run=27 nbConstraintChecks=4967621 nbAssignments=280000
16.55/16.77 => wckTime=16.241 cpuTime=16.06 mem=6M423
17.14/17.36
17.14/17.36 search
17.14/17.36 run=28 nbConstraintChecks=5158707 nbAssignments=290000
17.14/17.36 => wckTime=16.829 cpuTime=16.64 mem=6M423
17.74/17.95
17.74/17.95 search
17.74/17.95 run=29 nbConstraintChecks=5373410 nbAssignments=300000
17.74/17.95 => wckTime=17.422 cpuTime=17.23 mem=6M423
18.34/18.54
18.34/18.54 search
18.34/18.54 run=30 nbConstraintChecks=5548953 nbAssignments=310000
18.34/18.54 => wckTime=18.006 cpuTime=17.8 mem=6M423
18.93/19.12
18.93/19.12 search
18.93/19.12 run=31 nbConstraintChecks=5720932 nbAssignments=320000
18.93/19.12 => wckTime=18.589 cpuTime=18.38 mem=6M423
19.52/19.72
19.52/19.72 search
19.52/19.72 run=32 nbConstraintChecks=5933847 nbAssignments=330000
19.52/19.72 => wckTime=19.186 cpuTime=18.97 mem=6M423
20.11/20.31
20.11/20.31 search
20.11/20.31 run=33 nbConstraintChecks=6134092 nbAssignments=340000
20.11/20.31 => wckTime=19.777 cpuTime=19.55 mem=6M423
20.61/20.89
20.61/20.89 search
20.61/20.89 run=34 nbConstraintChecks=6306721 nbAssignments=350000
20.61/20.89 => wckTime=20.361 cpuTime=20.14 mem=6M423
21.21/21.48
21.21/21.48 search
21.21/21.48 run=35 nbConstraintChecks=6482517 nbAssignments=360000
21.21/21.48 => wckTime=20.946 cpuTime=20.71 mem=6M423
21.81/22.06
21.81/22.06 search
21.81/22.06 run=36 nbConstraintChecks=6640298 nbAssignments=370000
21.81/22.06 => wckTime=21.526 cpuTime=21.28 mem=6M423
22.39/22.64
22.39/22.64 search
22.39/22.64 run=37 nbConstraintChecks=6806305 nbAssignments=380000
22.39/22.64 => wckTime=22.109 cpuTime=21.86 mem=6M423
22.99/23.22
22.99/23.22 search
22.99/23.22 run=38 nbConstraintChecks=6962119 nbAssignments=390000
22.99/23.22 => wckTime=22.689 cpuTime=22.44 mem=6M423
23.58/23.81
23.58/23.81 search
23.58/23.81 run=39 nbConstraintChecks=7161258 nbAssignments=400000
23.58/23.81 => wckTime=23.278 cpuTime=23.02 mem=6M423
24.08/24.39
24.08/24.39 search
24.08/24.39 run=40 nbConstraintChecks=7309113 nbAssignments=410000
24.08/24.39 => wckTime=23.858 cpuTime=23.59 mem=6M423
24.67/24.97
24.67/24.97 search
24.67/24.97 run=41 nbConstraintChecks=7475924 nbAssignments=420000
24.67/24.97 => wckTime=24.441 cpuTime=24.18 mem=6M423
25.27/25.56
25.27/25.56 search
25.27/25.56 run=42 nbConstraintChecks=7655585 nbAssignments=430000
25.27/25.56 => wckTime=25.033 cpuTime=24.77 mem=6M423
25.86/26.15
25.86/26.15 search
25.86/26.15 run=43 nbConstraintChecks=7834481 nbAssignments=440000
25.86/26.15 => wckTime=25.623 cpuTime=25.35 mem=6M423
26.46/26.74
26.46/26.74 search
26.46/26.74 run=44 nbConstraintChecks=7997116 nbAssignments=450000
26.46/26.74 => wckTime=26.209 cpuTime=25.93 mem=6M423
27.05/27.33
27.05/27.33 search
27.05/27.33 run=45 nbConstraintChecks=8174723 nbAssignments=460000
27.05/27.33 => wckTime=26.799 cpuTime=26.51 mem=6M423
27.64/27.92
27.64/27.92 search
27.64/27.92 run=46 nbConstraintChecks=8352112 nbAssignments=470000
27.64/27.92 => wckTime=27.387 cpuTime=27.09 mem=6M423
28.24/28.52
28.24/28.52 search
28.24/28.52 run=47 nbConstraintChecks=8542904 nbAssignments=480000
28.24/28.52 => wckTime=27.987 cpuTime=27.69 mem=6M423
28.83/29.10
28.83/29.10 search
28.83/29.10 run=48 nbConstraintChecks=8706874 nbAssignments=490000
28.83/29.10 => wckTime=28.574 cpuTime=28.27 mem=6M423
29.33/29.70
29.33/29.70 search
29.33/29.70 run=49 nbConstraintChecks=8896638 nbAssignments=500000
29.33/29.70 => wckTime=29.165 cpuTime=28.85 mem=6M423
29.92/30.29
29.92/30.29 search
29.92/30.29 run=50 nbConstraintChecks=9077332 nbAssignments=510000
29.92/30.29 => wckTime=29.756 cpuTime=29.43 mem=6M423
30.52/30.88
30.52/30.88 search
30.52/30.88 run=51 nbConstraintChecks=9269145 nbAssignments=519969
30.52/30.88 => wckTime=30.349 cpuTime=30.03 mem=6M423
30.52/30.88
30.52/30.88 global
30.52/30.88 nbConstraintChecks=9269145 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.52/30.88 solvingWckTime=30.348 solvingCpuTime=30.03 expiredTime=no totalExploration=no nbFoundSolutions=0
30.52/30.88 globalCpuTime=30.28
30.52/30.88 => wckTime=30.635 cpuTime=30.23 mem=6M423
30.52/30.88
30.52/30.88 solver DecomposerSolver being built...
30.71/31.00 => wckTime=30.758 cpuTime=30.33 mem=17M406
30.71/31.01
30.71/31.01 preprocessing
30.71/31.01 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.71/31.01 detectedInconsistency=no
30.71/31.01 => wckTime=0.0010 cpuTime=0.01 mem=17M406
439.51/443.41
439.51/443.41 search
439.51/443.41 run=0 nbConstraintChecks=331907819 nbValidityChecks=230073533 minDepth=0 maxDepth=57 nbPropagations=0
439.51/443.41 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21559177 nbFailedAssignments=1762949 nbBacktracks=19796229
439.51/443.41 nbVisitedNodes=23684823
439.51/443.41 => wckTime=412.404 cpuTime=408.73 mem=19M390
439.51/443.41
439.51/443.41 global
439.51/443.41 nbConstraintChecks=331907819 nbValidityChecks=230073533 solvingWckTime=412.407 solvingCpuTime=408.73
439.51/443.41 expiredTime=no totalExploration=yes nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0
439.51/443.41 upperBoundCpuTime=0.0 globalCpuTime=439.11
439.51/443.41 => wckTime=443.167 cpuTime=439.06 mem=19M390
439.51/443.41
439.51/443.41 s OPTIMUM FOUND
439.51/443.41 v 1 1 0 0 1 1 1 0 1 1 0 1 0 1 1 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0
439.51/443.41 d NODES 21559177
439.51/443.41 d CHECKS 331907819
439.51/443.42
439.51/443.42 totalWckTime=443.226 totalCpuTime=439.12
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110697-1215831995/watcher-1110697-1215831995 -o /tmp/evaluation-result-1110697-1215831995/solver-1110697-1215831995 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1110697-1215831995.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 15426
/proc/meminfo: memFree=964360/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=1616 CPUtime=0
/proc/15426/stat : 15426 (java) D 15424 15426 14464 0 -1 0 317 0 0 0 0 0 0 0 18 0 1 0 39902806 1654784 126 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/15426/statm: 404 151 125 9 0 46 0
[startup+0.021722 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 15426
/proc/meminfo: memFree=964360/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=44480 CPUtime=0.01
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 916 0 1 0 0 1 0 0 18 0 2 0 39902806 45547520 666 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 11120 666 361 9 0 9518 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 44480
[startup+0.112733 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 15426
/proc/meminfo: memFree=964360/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=865984 CPUtime=0.09
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 3842 0 1 0 7 2 0 0 18 0 9 0 39902806 886767616 3289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216496 3289 1734 9 0 211051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301752 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 15426
/proc/meminfo: memFree=964360/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=866156 CPUtime=0.28
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 5595 0 1 0 25 3 0 0 18 0 9 0 39902806 886943744 5010 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216539 5010 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156
[startup+0.701783 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 15426
/proc/meminfo: memFree=964360/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=866640 CPUtime=0.67
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 8168 0 1 0 56 11 0 0 18 0 9 0 39902806 887439360 7335 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216660 7335 2632 9 0 211166 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866640
[startup+1.50186 s]
/proc/loadavg: 1.92 1.98 1.99 3/83 15435
/proc/meminfo: memFree=945280/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=866644 CPUtime=1.47
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 8176 0 1 0 86 61 0 0 18 0 9 0 39902806 887443456 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216661 7342 2633 9 0 211167 0
[pid=15426/tid=15427] ppid=15424 vsize=866644 CPUtime=1.33
/proc/15426/task/15427/stat : 15427 (java) R 15424 15426 14464 0 -1 64 6046 0 1 0 73 60 0 0 25 0 9 0 39902807 887443456 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15429] ppid=15424 vsize=866644 CPUtime=0.03
/proc/15426/task/15429/stat : 15429 (java) S 15424 15426 14464 0 -1 64 1110 0 0 0 3 0 0 0 16 0 9 0 39902809 887443456 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15430] ppid=15424 vsize=866644 CPUtime=0
/proc/15426/task/15430/stat : 15430 (java) S 15424 15426 14464 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39902809 887443456 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15431] ppid=15424 vsize=866644 CPUtime=0
/proc/15426/task/15431/stat : 15431 (java) S 15424 15426 14464 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39902809 887443456 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15432] ppid=15424 vsize=866644 CPUtime=0
/proc/15426/task/15432/stat : 15432 (java) S 15424 15426 14464 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39902811 887443456 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15433] ppid=15424 vsize=866644 CPUtime=0.09
/proc/15426/task/15433/stat : 15433 (java) S 15424 15426 14464 0 -1 64 324 0 0 0 9 0 0 0 16 0 9 0 39902811 887443456 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15434] ppid=15424 vsize=866644 CPUtime=0
/proc/15426/task/15434/stat : 15434 (java) S 15424 15426 14464 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39902811 887443456 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15435] ppid=15424 vsize=866644 CPUtime=0
/proc/15426/task/15435/stat : 15435 (java) S 15424 15426 14464 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39902811 887443456 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866644
[startup+3.10301 s]
/proc/loadavg: 1.92 1.98 1.99 3/83 15435
/proc/meminfo: memFree=945024/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=866640 CPUtime=3.07
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 8176 0 1 0 139 168 0 0 18 0 9 0 39902806 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216660 7342 2633 9 0 211166 0
[pid=15426/tid=15427] ppid=15424 vsize=866640 CPUtime=2.92
/proc/15426/task/15427/stat : 15427 (java) R 15424 15426 14464 0 -1 64 6046 0 1 0 125 167 0 0 25 0 9 0 39902807 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4126661504 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15429] ppid=15424 vsize=866640 CPUtime=0.03
/proc/15426/task/15429/stat : 15429 (java) S 15424 15426 14464 0 -1 64 1110 0 0 0 3 0 0 0 16 0 9 0 39902809 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15430] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15430/stat : 15430 (java) S 15424 15426 14464 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39902809 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15431] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15431/stat : 15431 (java) S 15424 15426 14464 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39902809 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15432] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15432/stat : 15432 (java) S 15424 15426 14464 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39902811 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15433] ppid=15424 vsize=866640 CPUtime=0.09
/proc/15426/task/15433/stat : 15433 (java) S 15424 15426 14464 0 -1 64 324 0 0 0 9 0 0 0 16 0 9 0 39902811 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15434] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15434/stat : 15434 (java) S 15424 15426 14464 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39902811 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15435] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15435/stat : 15435 (java) S 15424 15426 14464 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39902811 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 866640
[startup+6.30232 s]
/proc/loadavg: 1.93 1.98 1.99 2/79 15436
/proc/meminfo: memFree=1451232/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=866640 CPUtime=6.25
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 8177 0 1 0 244 381 0 0 18 0 9 0 39902806 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216660 7342 2633 9 0 211166 0
[pid=15426/tid=15427] ppid=15424 vsize=866640 CPUtime=6.1
/proc/15426/task/15427/stat : 15427 (java) R 15424 15426 14464 0 -1 64 6047 0 1 0 231 379 0 0 25 0 9 0 39902807 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15426/tid=15429] ppid=15424 vsize=866640 CPUtime=0.03
/proc/15426/task/15429/stat : 15429 (java) S 15424 15426 14464 0 -1 64 1110 0 0 0 3 0 0 0 16 0 9 0 39902809 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15430] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15430/stat : 15430 (java) S 15424 15426 14464 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39902809 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15431] ppid=15424 vsize=866644 CPUtime=0
/proc/15426/task/15431/stat : 15431 (java) S 15424 15426 14464 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39902809 887443456 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15432] ppid=15424 vsize=866644 CPUtime=0
/proc/15426/task/15432/stat : 15432 (java) S 15424 15426 14464 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39902811 887443456 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15433] ppid=15424 vsize=866640 CPUtime=0.09
/proc/15426/task/15433/stat : 15433 (java) S 15424 15426 14464 0 -1 64 324 0 0 0 9 0 0 0 16 0 9 0 39902811 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15434] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15434/stat : 15434 (java) S 15424 15426 14464 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39902811 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15435] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15435/stat : 15435 (java) S 15424 15426 14464 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39902811 887439360 7342 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 866640
[startup+12.7029 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 15471
/proc/meminfo: memFree=1431632/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=866640 CPUtime=12.59
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 8178 0 1 0 453 806 0 0 18 0 9 0 39902806 887439360 7343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216660 7343 2633 9 0 211166 0
[pid=15426/tid=15427] ppid=15424 vsize=866640 CPUtime=12.44
/proc/15426/task/15427/stat : 15427 (java) R 15424 15426 14464 0 -1 64 6047 0 1 0 440 804 0 0 25 0 9 0 39902807 887439360 7343 996147200 134512640 134550740 4294955952 18446744073709551615 4126623255 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15429] ppid=15424 vsize=866640 CPUtime=0.03
/proc/15426/task/15429/stat : 15429 (java) S 15424 15426 14464 0 -1 64 1110 0 0 0 3 0 0 0 16 0 9 0 39902809 887439360 7343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15430] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15430/stat : 15430 (java) S 15424 15426 14464 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39902809 887439360 7343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15431] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15431/stat : 15431 (java) S 15424 15426 14464 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39902809 887439360 7343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15432] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15432/stat : 15432 (java) S 15424 15426 14464 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39902811 887439360 7343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15433] ppid=15424 vsize=866640 CPUtime=0.09
/proc/15426/task/15433/stat : 15433 (java) S 15424 15426 14464 0 -1 64 325 0 0 0 9 0 0 0 16 0 9 0 39902811 887439360 7343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15434] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15434/stat : 15434 (java) S 15424 15426 14464 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39902811 887439360 7343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15435] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15435/stat : 15435 (java) S 15424 15426 14464 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39902811 887439360 7343 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 866640
[startup+25.5012 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 15471
/proc/meminfo: memFree=1431440/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=866644 CPUtime=25.27
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 8183 0 1 0 860 1667 0 0 18 0 9 0 39902806 887443456 7348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216661 7348 2633 9 0 211167 0
[pid=15426/tid=15427] ppid=15424 vsize=866644 CPUtime=25.1
/proc/15426/task/15427/stat : 15427 (java) R 15424 15426 14464 0 -1 64 6047 0 1 0 845 1665 0 0 25 0 9 0 39902807 887443456 7348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15429] ppid=15424 vsize=866644 CPUtime=0.03
/proc/15426/task/15429/stat : 15429 (java) S 15424 15426 14464 0 -1 64 1110 0 0 0 3 0 0 0 16 0 9 0 39902809 887443456 7348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15430] ppid=15424 vsize=866644 CPUtime=0
/proc/15426/task/15430/stat : 15430 (java) S 15424 15426 14464 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39902809 887443456 7348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15431] ppid=15424 vsize=866644 CPUtime=0
/proc/15426/task/15431/stat : 15431 (java) S 15424 15426 14464 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39902809 887443456 7348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15432] ppid=15424 vsize=866644 CPUtime=0
/proc/15426/task/15432/stat : 15432 (java) S 15424 15426 14464 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39902811 887443456 7348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15433] ppid=15424 vsize=866644 CPUtime=0.1
/proc/15426/task/15433/stat : 15433 (java) S 15424 15426 14464 0 -1 64 330 0 0 0 10 0 0 0 16 0 9 0 39902811 887443456 7348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15434] ppid=15424 vsize=866644 CPUtime=0
/proc/15426/task/15434/stat : 15434 (java) S 15424 15426 14464 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39902811 887443456 7348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15435] ppid=15424 vsize=866644 CPUtime=0
/proc/15426/task/15435/stat : 15435 (java) S 15424 15426 14464 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39902811 887443456 7348 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 866644
[startup+51.1016 s]
/proc/loadavg: 1.96 1.98 1.99 3/89 15471
/proc/meminfo: memFree=1413072/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=866640 CPUtime=50.63
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 10527 0 1 0 3034 2029 0 0 18 0 9 0 39902806 887439360 9690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216660 9690 2634 9 0 211166 0
[pid=15426/tid=15427] ppid=15424 vsize=866640 CPUtime=50.39
/proc/15426/task/15427/stat : 15427 (java) R 15424 15426 14464 0 -1 64 8347 0 1 0 3012 2027 0 0 25 0 9 0 39902807 887439360 9690 996147200 134512640 134550740 4294955952 18446744073709551615 4126742655 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15429] ppid=15424 vsize=866640 CPUtime=0.03
/proc/15426/task/15429/stat : 15429 (java) S 15424 15426 14464 0 -1 64 1110 0 0 0 3 0 0 0 16 0 9 0 39902809 887439360 9690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15430] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15430/stat : 15430 (java) S 15424 15426 14464 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39902809 887439360 9690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15431] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15431/stat : 15431 (java) S 15424 15426 14464 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39902809 887439360 9690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15432] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15432/stat : 15432 (java) S 15424 15426 14464 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39902811 887439360 9690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15433] ppid=15424 vsize=866640 CPUtime=0.18
/proc/15426/task/15433/stat : 15433 (java) S 15424 15426 14464 0 -1 64 374 0 0 0 18 0 0 0 17 0 9 0 39902811 887439360 9690 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15434] ppid=15424 vsize=866640 CPUtime=0
################
# More data... #
################
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 10529 0 1 0 41097 2031 0 0 18 0 9 0 39902806 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216660 9692 2634 9 0 211166 0
[pid=15426/tid=15427] ppid=15424 vsize=866640 CPUtime=431.02
/proc/15426/task/15427/stat : 15427 (java) R 15424 15426 14464 0 -1 64 8349 0 1 0 41074 2028 0 0 25 0 9 0 39902807 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4126801043 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15429] ppid=15424 vsize=866640 CPUtime=0.03
/proc/15426/task/15429/stat : 15429 (java) S 15424 15426 14464 0 -1 64 1110 0 0 0 3 0 0 0 16 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15430] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15430/stat : 15430 (java) S 15424 15426 14464 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15431] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15431/stat : 15431 (java) S 15424 15426 14464 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15432] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15432/stat : 15432 (java) S 15424 15426 14464 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15433] ppid=15424 vsize=866640 CPUtime=0.18
/proc/15426/task/15433/stat : 15433 (java) S 15424 15426 14464 0 -1 64 374 0 0 0 18 0 0 0 16 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15434] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15434/stat : 15434 (java) S 15424 15426 14464 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15435] ppid=15424 vsize=866640 CPUtime=0.01
/proc/15426/task/15435/stat : 15435 (java) S 15424 15426 14464 0 -1 64 1 0 0 0 0 1 0 0 15 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 431.28
Current children cumulated vsize (KiB) 866640
[startup+438.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 15471
/proc/meminfo: memFree=1412624/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=866640 CPUtime=434.46
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 10529 0 1 0 41415 2031 0 0 18 0 9 0 39902806 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216660 9692 2634 9 0 211166 0
[pid=15426/tid=15427] ppid=15424 vsize=866640 CPUtime=434.2
/proc/15426/task/15427/stat : 15427 (java) R 15424 15426 14464 0 -1 64 8349 0 1 0 41392 2028 0 0 25 0 9 0 39902807 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4126750257 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15429] ppid=15424 vsize=866640 CPUtime=0.03
/proc/15426/task/15429/stat : 15429 (java) S 15424 15426 14464 0 -1 64 1110 0 0 0 3 0 0 0 16 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15430] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15430/stat : 15430 (java) S 15424 15426 14464 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15431] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15431/stat : 15431 (java) S 15424 15426 14464 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15432] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15432/stat : 15432 (java) S 15424 15426 14464 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15433] ppid=15424 vsize=866640 CPUtime=0.18
/proc/15426/task/15433/stat : 15433 (java) S 15424 15426 14464 0 -1 64 374 0 0 0 18 0 0 0 16 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15434] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15434/stat : 15434 (java) S 15424 15426 14464 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15435] ppid=15424 vsize=866640 CPUtime=0.01
/proc/15426/task/15435/stat : 15435 (java) S 15424 15426 14464 0 -1 64 1 0 0 0 0 1 0 0 15 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 434.46
Current children cumulated vsize (KiB) 866640
[startup+441.503 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 15471
/proc/meminfo: memFree=1412624/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=866640 CPUtime=437.63
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 10529 0 1 0 41732 2031 0 0 18 0 9 0 39902806 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216660 9692 2634 9 0 211166 0
[pid=15426/tid=15427] ppid=15424 vsize=866640 CPUtime=437.38
/proc/15426/task/15427/stat : 15427 (java) R 15424 15426 14464 0 -1 64 8349 0 1 0 41710 2028 0 0 25 0 9 0 39902807 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4126795561 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15429] ppid=15424 vsize=866640 CPUtime=0.03
/proc/15426/task/15429/stat : 15429 (java) S 15424 15426 14464 0 -1 64 1110 0 0 0 3 0 0 0 16 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15430] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15430/stat : 15430 (java) S 15424 15426 14464 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15431] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15431/stat : 15431 (java) S 15424 15426 14464 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15432] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15432/stat : 15432 (java) S 15424 15426 14464 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15433] ppid=15424 vsize=866640 CPUtime=0.18
/proc/15426/task/15433/stat : 15433 (java) S 15424 15426 14464 0 -1 64 374 0 0 0 18 0 0 0 16 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15434] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15434/stat : 15434 (java) S 15424 15426 14464 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15435] ppid=15424 vsize=866640 CPUtime=0.01
/proc/15426/task/15435/stat : 15435 (java) S 15424 15426 14464 0 -1 64 1 0 0 0 0 1 0 0 15 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 437.63
Current children cumulated vsize (KiB) 866640
[startup+442.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 15471
/proc/meminfo: memFree=1412624/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=866640 CPUtime=438.42
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 10529 0 1 0 41811 2031 0 0 18 0 9 0 39902806 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216660 9692 2634 9 0 211166 0
[pid=15426/tid=15427] ppid=15424 vsize=866640 CPUtime=438.17
/proc/15426/task/15427/stat : 15427 (java) R 15424 15426 14464 0 -1 64 8349 0 1 0 41789 2028 0 0 25 0 9 0 39902807 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4126791145 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15429] ppid=15424 vsize=866640 CPUtime=0.03
/proc/15426/task/15429/stat : 15429 (java) S 15424 15426 14464 0 -1 64 1110 0 0 0 3 0 0 0 16 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15430] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15430/stat : 15430 (java) S 15424 15426 14464 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15431] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15431/stat : 15431 (java) S 15424 15426 14464 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15432] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15432/stat : 15432 (java) S 15424 15426 14464 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15433] ppid=15424 vsize=866640 CPUtime=0.18
/proc/15426/task/15433/stat : 15433 (java) S 15424 15426 14464 0 -1 64 374 0 0 0 18 0 0 0 16 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15434] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15434/stat : 15434 (java) S 15424 15426 14464 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15435] ppid=15424 vsize=866640 CPUtime=0.01
/proc/15426/task/15435/stat : 15435 (java) S 15424 15426 14464 0 -1 64 1 0 0 0 0 1 0 0 15 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 438.42
Current children cumulated vsize (KiB) 866640
[startup+443.101 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 15471
/proc/meminfo: memFree=1412624/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=866640 CPUtime=439.22
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 10529 0 1 0 41891 2031 0 0 18 0 9 0 39902806 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216660 9692 2634 9 0 211166 0
[pid=15426/tid=15427] ppid=15424 vsize=866640 CPUtime=438.96
/proc/15426/task/15427/stat : 15427 (java) R 15424 15426 14464 0 -1 64 8349 0 1 0 41868 2028 0 0 25 0 9 0 39902807 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4126768416 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15429] ppid=15424 vsize=866640 CPUtime=0.03
/proc/15426/task/15429/stat : 15429 (java) S 15424 15426 14464 0 -1 64 1110 0 0 0 3 0 0 0 16 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15430] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15430/stat : 15430 (java) S 15424 15426 14464 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15431] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15431/stat : 15431 (java) S 15424 15426 14464 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15432] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15432/stat : 15432 (java) S 15424 15426 14464 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15433] ppid=15424 vsize=866640 CPUtime=0.18
/proc/15426/task/15433/stat : 15433 (java) S 15424 15426 14464 0 -1 64 374 0 0 0 18 0 0 0 16 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15434] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15434/stat : 15434 (java) S 15424 15426 14464 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15435] ppid=15424 vsize=866640 CPUtime=0.01
/proc/15426/task/15435/stat : 15435 (java) S 15424 15426 14464 0 -1 64 1 0 0 0 0 1 0 0 15 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 439.22
Current children cumulated vsize (KiB) 866640
[startup+443.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 15471
/proc/meminfo: memFree=1412624/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=866640 CPUtime=439.42
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 10529 0 1 0 41911 2031 0 0 18 0 9 0 39902806 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216660 9692 2634 9 0 211166 0
[pid=15426/tid=15427] ppid=15424 vsize=866640 CPUtime=439.16
/proc/15426/task/15427/stat : 15427 (java) R 15424 15426 14464 0 -1 64 8349 0 1 0 41888 2028 0 0 25 0 9 0 39902807 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4126768459 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15429] ppid=15424 vsize=866640 CPUtime=0.03
/proc/15426/task/15429/stat : 15429 (java) S 15424 15426 14464 0 -1 64 1110 0 0 0 3 0 0 0 16 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15430] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15430/stat : 15430 (java) S 15424 15426 14464 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15431] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15431/stat : 15431 (java) S 15424 15426 14464 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15432] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15432/stat : 15432 (java) S 15424 15426 14464 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15433] ppid=15424 vsize=866640 CPUtime=0.18
/proc/15426/task/15433/stat : 15433 (java) S 15424 15426 14464 0 -1 64 374 0 0 0 18 0 0 0 16 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15434] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15434/stat : 15434 (java) S 15424 15426 14464 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15435] ppid=15424 vsize=866640 CPUtime=0.01
/proc/15426/task/15435/stat : 15435 (java) S 15424 15426 14464 0 -1 64 1 0 0 0 0 1 0 0 15 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 439.42
Current children cumulated vsize (KiB) 866640
[startup+443.401 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 15471
/proc/meminfo: memFree=1412624/2055920 swapFree=4192812/4192956
[pid=15426] ppid=15424 vsize=866640 CPUtime=439.51
/proc/15426/stat : 15426 (java) S 15424 15426 14464 0 -1 0 10529 0 1 0 41920 2031 0 0 18 0 9 0 39902806 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15426/statm: 216660 9692 2634 9 0 211166 0
[pid=15426/tid=15427] ppid=15424 vsize=866640 CPUtime=439.26
/proc/15426/task/15427/stat : 15427 (java) R 15424 15426 14464 0 -1 64 8349 0 1 0 41898 2028 0 0 25 0 9 0 39902807 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4126744359 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15429] ppid=15424 vsize=866640 CPUtime=0.03
/proc/15426/task/15429/stat : 15429 (java) S 15424 15426 14464 0 -1 64 1110 0 0 0 3 0 0 0 16 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15430] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15430/stat : 15430 (java) S 15424 15426 14464 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15431] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15431/stat : 15431 (java) S 15424 15426 14464 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39902809 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15432] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15432/stat : 15432 (java) S 15424 15426 14464 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15433] ppid=15424 vsize=866640 CPUtime=0.18
/proc/15426/task/15433/stat : 15433 (java) S 15424 15426 14464 0 -1 64 374 0 0 0 18 0 0 0 16 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15434] ppid=15424 vsize=866640 CPUtime=0
/proc/15426/task/15434/stat : 15434 (java) S 15424 15426 14464 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15426/tid=15435] ppid=15424 vsize=866640 CPUtime=0.01
/proc/15426/task/15435/stat : 15435 (java) S 15424 15426 14464 0 -1 64 1 0 0 0 0 1 0 0 15 0 9 0 39902811 887439360 9692 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 439.51
Current children cumulated vsize (KiB) 866640
Child status: 0
Real time (s): 443.475
CPU time (s): 439.551
CPU user time (s): 419.227
CPU system time (s): 20.3239
CPU usage (%): 99.1152
Max. virtual memory (cumulated for all children) (KiB): 866644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 419.227
system time used= 20.3239
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10636
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= 9735
involuntary context switches= 19054
runsolver used 0.647901 second user time and 1.25681 second system time
The end
Begin job on node4 at 2008-07-12 05:06:35
IDJOB=1110697
IDBENCH=61140
IDSOLVER=359
FILE ID=node4/1110697-1215831995
PBS_JOBID= 7903341
Free space on /tmp= 66364 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/dubois/normalized-dubois-20_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110697-1215831995/watcher-1110697-1215831995 -o /tmp/evaluation-result-1110697-1215831995/solver-1110697-1215831995 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1110697-1215831995.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 5013bc6e481859299fc821d6206e96e3
RANDOM SEED=400937815
node4.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.232
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.232
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: 964840 kB
Buffers: 61672 kB
Cached: 589632 kB
SwapCached: 0 kB
Active: 655584 kB
Inactive: 362340 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 964840 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1992 kB
Writeback: 0 kB
Mapped: 377736 kB
Slab: 57596 kB
Committed_AS: 485648 kB
PageTables: 2616 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= 66508 MiB
End job on node4 at 2008-07-12 05:13:58