0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/275712-1169225815/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=15 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.42 => wckTime=0.098 cpuTime=0.08 mem=6M910
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
0.49 nbConstraints=49 nbConflictsStructures=1 nbSharedConflictsStructures=48 nbSharedBinaryRepresentations=0
0.49 nbEvaluationManagers=1 nbSharedEvaluationManagers=48 maxDegree=13 maxArity=3
0.49 => wckTime=0.181 cpuTime=0.14 mem=7M901
0.52
0.52 solver LocalSearchSolver being built...
0.57 => wckTime=0.262 cpuTime=0.18 mem=5M375
0.57
0.57 s SATISFIABLE
0.57 o 39
0.57 c 10
0.57 o 41
0.57 c 8
0.57 o 42
0.57 c 7
0.58 o 43
0.58 c 6
0.58 o 44
0.58 c 5
0.58 o 45
0.58 c 4
0.59 o 46
0.59 c 3
3.53
3.53 search
3.53 run=0 nbConstraintChecks=5313454 nbAssignments=10000
3.53 => wckTime=2.962 cpuTime=2.92 mem=5M375
6.42
6.42 search
6.42 run=1 nbConstraintChecks=10557677 nbAssignments=20000
6.42 => wckTime=5.856 cpuTime=5.8 mem=5M375
9.36
9.36 search
9.36 run=2 nbConstraintChecks=15855045 nbAssignments=30000
9.36 => wckTime=8.796 cpuTime=8.73 mem=5M375
12.37
12.37 search
12.37 run=3 nbConstraintChecks=21302272 nbAssignments=40000
12.37 => wckTime=11.804 cpuTime=11.72 mem=5M375
15.27
15.27 search
15.27 run=4 nbConstraintChecks=26501263 nbAssignments=50000
15.27 => wckTime=14.7 cpuTime=14.61 mem=5M375
18.26
18.26 search
18.26 run=5 nbConstraintChecks=31949992 nbAssignments=60000
18.26 => wckTime=17.692 cpuTime=17.58 mem=5M375
21.17
21.17 search
21.17 run=6 nbConstraintChecks=37247302 nbAssignments=70000
21.17 => wckTime=20.606 cpuTime=20.48 mem=5M375
24.14
24.14 search
24.14 run=7 nbConstraintChecks=42658869 nbAssignments=80000
24.14 => wckTime=23.578 cpuTime=23.44 mem=5M375
27.07
27.07 search
27.07 run=8 nbConstraintChecks=47966359 nbAssignments=90000
27.07 => wckTime=26.507 cpuTime=26.35 mem=5M375
30.01
30.01 search
30.01 run=9 nbConstraintChecks=53258464 nbAssignments=100000
30.01 => wckTime=29.448 cpuTime=29.28 mem=5M375
30.75
30.75 search
30.75 run=10 nbConstraintChecks=54569903 nbAssignments=102570
30.75 => wckTime=30.184 cpuTime=30.02 mem=5M375
30.75
30.75 global
30.75 nbConstraintChecks=54569903 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.75 solvingWckTime=30.183 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.75 globalCpuTime=30.26
30.75 => wckTime=30.447 cpuTime=30.2 mem=5M375
30.75
30.75 solver IterativeSystematicSolver being built...
30.89 => wckTime=30.587 cpuTime=30.31 mem=16M414
30.90
30.90 preprocessing
30.90 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.90 detectedInconsistency=no
30.90 => wckTime=0.0030 cpuTime=0.0 mem=16M414
30.95
30.95 search
30.95 run=0 nbConstraintChecks=7391 nbValidityChecks=14709 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.95 nbAssignments=38 nbFailedAssignments=21 nbBacktracks=10 nbVisitedNodes=70 nbRestartNogoods=0
30.95 => wckTime=0.051 cpuTime=0.03 mem=16M414
30.97
30.97 search
30.97 run=1 nbConstraintChecks=15422 nbValidityChecks=32169 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.97 nbAssignments=82 nbFailedAssignments=43 nbBacktracks=25 nbVisitedNodes=150 nbRestartNogoods=6
30.97 => wckTime=0.08 cpuTime=0.05 mem=16M414
31.00
31.00 search
31.00 run=2 nbConstraintChecks=25587 nbValidityChecks=60378 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.00 nbAssignments=153 nbFailedAssignments=84 nbBacktracks=47 nbVisitedNodes=284 nbRestartNogoods=10
31.00 => wckTime=0.102 cpuTime=0.06 mem=16M414
31.02
31.02 search
31.02 run=3 nbConstraintChecks=37403 nbValidityChecks=90474 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.02 nbAssignments=228 nbFailedAssignments=118 nbBacktracks=80 nbVisitedNodes=424 nbRestartNogoods=19
31.02 => wckTime=0.13 cpuTime=0.08 mem=16M414
31.06
31.06 search
31.06 run=4 nbConstraintChecks=55997 nbValidityChecks=154363 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.06 nbAssignments=400 nbFailedAssignments=233 nbBacktracks=130 nbVisitedNodes=761 nbRestartNogoods=25
31.06 => wckTime=0.17 cpuTime=0.12 mem=16M414
31.10
31.10 search
31.10 run=5 nbConstraintChecks=77908 nbValidityChecks=218418 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.10 nbAssignments=586 nbFailedAssignments=336 nbBacktracks=205 nbVisitedNodes=1125 nbRestartNogoods=33
31.10 => wckTime=0.209 cpuTime=0.16 mem=16M414
31.17
31.17 search
31.17 run=6 nbConstraintChecks=115715 nbValidityChecks=349033 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.17 nbAssignments=910 nbFailedAssignments=540 nbBacktracks=318 nbVisitedNodes=1766 nbRestartNogoods=39
31.17 => wckTime=0.278 cpuTime=0.22 mem=16M414
31.29
31.29 search
31.29 run=7 nbConstraintChecks=196119 nbValidityChecks=575893 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.29 nbAssignments=1371 nbFailedAssignments=824 nbBacktracks=488 nbVisitedNodes=2681 nbRestartNogoods=42
31.29 => wckTime=0.396 cpuTime=0.33 mem=16M414
31.44
31.44 search
31.44 run=8 nbConstraintChecks=277510 nbValidityChecks=846387 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.44 nbAssignments=2085 nbFailedAssignments=1275 nbBacktracks=744 nbVisitedNodes=4094 nbRestartNogoods=51
31.44 => wckTime=0.542 cpuTime=0.47 mem=16M414
31.62
31.62 search
31.62 run=9 nbConstraintChecks=401982 nbValidityChecks=1233698 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.62 nbAssignments=3009 nbFailedAssignments=1809 nbBacktracks=1128 nbVisitedNodes=5927 nbRestartNogoods=62
31.62 => wckTime=0.726 cpuTime=0.65 mem=16M414
31.89
31.89 search
31.89 run=10 nbConstraintChecks=584642 nbValidityChecks=1818305 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.89 nbAssignments=4362 nbFailedAssignments=2578 nbBacktracks=1704 nbVisitedNodes=8600 nbRestartNogoods=75
31.89 => wckTime=0.996 cpuTime=0.91 mem=16M414
32.33
32.33 search
32.33 run=11 nbConstraintChecks=966359 nbValidityChecks=2772307 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.33 nbAssignments=6364 nbFailedAssignments=3710 nbBacktracks=2568 nbVisitedNodes=12584 nbRestartNogoods=86
32.33 => wckTime=1.437 cpuTime=1.35 mem=16M414
32.94
32.94 search
32.94 run=12 nbConstraintChecks=1490503 nbValidityChecks=4080788 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.94 nbAssignments=9247 nbFailedAssignments=5289 nbBacktracks=3865 nbVisitedNodes=18285 nbRestartNogoods=92
32.94 => wckTime=2.047 cpuTime=1.95 mem=16M414
33.98
33.98 search
33.98 run=13 nbConstraintChecks=2593872 nbValidityChecks=6225365 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.98 nbAssignments=13125 nbFailedAssignments=7215 nbBacktracks=5811 nbVisitedNodes=25645 nbRestartNogoods=101
33.98 => wckTime=3.085 cpuTime=2.99 mem=16M414
35.22
35.22 search
35.22 run=14 nbConstraintChecks=3727185 nbValidityChecks=8891079 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.22 nbAssignments=18531 nbFailedAssignments=9697 nbBacktracks=8730 nbVisitedNodes=35743 nbRestartNogoods=112
35.22 => wckTime=4.327 cpuTime=4.22 mem=16M414
37.21
37.21 search
37.21 run=15 nbConstraintChecks=5683598 nbValidityChecks=13040937 nbPropagations=0 nbRevisions=0
37.21 nbUselessRevisions=0 nbAssignments=26673 nbFailedAssignments=13453 nbBacktracks=13108 nbVisitedNodes=50881
37.21 nbRestartNogoods=120
37.21 => wckTime=6.317 cpuTime=6.21 mem=16M414
40.40
40.40 search
40.40 run=16 nbConstraintChecks=8900152 nbValidityChecks=19777175 nbPropagations=0 nbRevisions=0
40.40 nbUselessRevisions=0 nbAssignments=39285 nbFailedAssignments=19493 nbBacktracks=19676 nbVisitedNodes=74504
40.40 nbRestartNogoods=139
40.40 => wckTime=9.505 cpuTime=9.38 mem=16M414
45.59
45.59 search
45.59 run=17 nbConstraintChecks=14605477 nbValidityChecks=30196546 nbPropagations=0 nbRevisions=0
45.59 nbUselessRevisions=0 nbAssignments=57761 nbFailedAssignments=28109 nbBacktracks=29528 nbVisitedNodes=108614
45.59 nbRestartNogoods=144
45.59 => wckTime=14.697 cpuTime=14.54 mem=16M414
53.49
53.49 search
53.49 run=18 nbConstraintChecks=22713850 nbValidityChecks=46585794 nbPropagations=0 nbRevisions=0
53.49 nbUselessRevisions=0 nbAssignments=87239 nbFailedAssignments=42802 nbBacktracks=44306 nbVisitedNodes=164273
53.49 nbRestartNogoods=158
53.49 => wckTime=22.601 cpuTime=22.41 mem=16M414
65.07
65.07 search
65.07 run=19 nbConstraintChecks=35411936 nbValidityChecks=70014575 nbPropagations=0 nbRevisions=0
65.07 nbUselessRevisions=0 nbAssignments=128907 nbFailedAssignments=62296 nbBacktracks=66474 nbVisitedNodes=241738
65.07 nbRestartNogoods=168
65.07 => wckTime=34.178 cpuTime=33.94 mem=16M414
81.92
81.92 search
81.92 run=20 nbConstraintChecks=53450044 nbValidityChecks=104418590 nbPropagations=0 nbRevisions=0
81.92 nbUselessRevisions=0 nbAssignments=190262 nbFailedAssignments=90392 nbBacktracks=99726 nbVisitedNodes=355908
81.92 nbRestartNogoods=186
81.92 => wckTime=51.026 cpuTime=50.7 mem=16M414
107.20
107.20 search
107.20 run=21 nbConstraintChecks=79662930 nbValidityChecks=155914092 nbPropagations=0 nbRevisions=0
107.20 nbUselessRevisions=0 nbAssignments=284411 nbFailedAssignments=134657 nbBacktracks=149604 nbVisitedNodes=532152
107.20 nbRestartNogoods=200
107.20 => wckTime=76.305 cpuTime=75.86 mem=16M414
144.94
144.94 search
144.94 run=22 nbConstraintChecks=119841146 nbValidityChecks=233865914 nbPropagations=0 nbRevisions=0
144.94 nbUselessRevisions=0 nbAssignments=424884 nbFailedAssignments=200304 nbBacktracks=224422 nbVisitedNodes=792562
144.94 nbRestartNogoods=214
144.94 => wckTime=114.051 cpuTime=113.42 mem=16M414
200.37
200.37 search
200.37 run=23 nbConstraintChecks=176365935 nbValidityChecks=345782656 nbPropagations=0 nbRevisions=0
200.37 nbUselessRevisions=0 nbAssignments=634384 nbFailedAssignments=297570 nbBacktracks=336649 nbVisitedNodes=1185197
200.37 nbRestartNogoods=232
200.37 => wckTime=169.478 cpuTime=168.59 mem=16M414
286.85
286.85 search
286.85 run=24 nbConstraintChecks=267743505 nbValidityChecks=522941835 nbPropagations=0 nbRevisions=0
286.85 nbUselessRevisions=0 nbAssignments=956389 nbFailedAssignments=451226 nbBacktracks=504991 nbVisitedNodes=1786548
286.85 nbRestartNogoods=255
286.85 => wckTime=255.959 cpuTime=254.55 mem=16M414
411.75
411.75 search
411.75 run=25 nbConstraintChecks=396281796 nbValidityChecks=775198022 nbPropagations=0 nbRevisions=0
411.75 nbUselessRevisions=0 nbAssignments=1429961 nbFailedAssignments=672280 nbBacktracks=757502
411.75 nbVisitedNodes=2669613 nbRestartNogoods=270
411.75 => wckTime=380.86 cpuTime=378.8 mem=16M414
599.14
599.14 search
599.14 run=26 nbConstraintChecks=591453357 nbValidityChecks=1158411462 nbPropagations=0 nbRevisions=0
599.14 nbUselessRevisions=0 nbAssignments=2140814 nbFailedAssignments=1004360 nbBacktracks=1136269
599.14 nbVisitedNodes=3991538 nbRestartNogoods=285
599.14 => wckTime=568.251 cpuTime=565.32 mem=16M414
876.55
876.55 search
876.55 run=27 nbConstraintChecks=878069385 nbValidityChecks=1719941628 nbPropagations=0 nbRevisions=0
876.55 nbUselessRevisions=0 nbAssignments=3192004 nbFailedAssignments=1487392 nbBacktracks=1704420
876.55 nbVisitedNodes=5954492 nbRestartNogoods=302
876.55 => wckTime=845.655 cpuTime=841.42 mem=16M414
1297.98
1297.98 search
1297.98 run=28 nbConstraintChecks=1311736064 nbValidityChecks=2583382448 nbPropagations=0 nbRevisions=0
1297.98 nbUselessRevisions=0 nbAssignments=4801667 nbFailedAssignments=2244823 nbBacktracks=2556646
1297.98 nbVisitedNodes=8961745 nbRestartNogoods=319
1297.98 => wckTime=1267.086 cpuTime=1260.88 mem=16M414
1922.66
1922.66 search
1922.66 run=29 nbConstraintChecks=1956069543 nbValidityChecks=3880377234 nbPropagations=0 nbRevisions=0
1922.66 nbUselessRevisions=0 nbAssignments=7208077 nbFailedAssignments=3372886 nbBacktracks=3834988
1922.66 nbVisitedNodes=13436123 nbRestartNogoods=333
1922.66 => wckTime=1891.765 cpuTime=1885.36 mem=16M414
2406.68 v 0 7 4 1 3 2 8 6 5 3 6 2 4 8 3
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-275712-1169225815 -o ROOT/results/node26/solver-275712-1169225815 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275712-1169225815/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.81 0.97 1.01 2/81 27024
/proc/meminfo: memFree=1524792/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=1784 CPUtime=0
/proc/27023/stat : 27023 (java) D 27021 27023 26923 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 270975781 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/27023/statm: 446 140 106 14 0 91 0
[startup+0.106187 s]
/proc/loadavg: 0.81 0.97 1.01 2/81 27024
/proc/meminfo: memFree=1524792/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=914988 CPUtime=0.09
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 3031 0 1 0 8 1 0 0 16 0 8 0 270975781 936947712 2777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154010816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228747 2777 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514227 s]
/proc/loadavg: 0.81 0.97 1.01 2/81 27024
/proc/meminfo: memFree=1524792/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=0.49
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 6465 0 1 0 44 5 0 0 17 0 8 0 270975781 937435136 6203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228866 6203 2183 14 0 215336 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915464
[startup+1.3353 s]
/proc/loadavg: 0.81 0.97 1.01 4/101 27090
/proc/meminfo: memFree=1498184/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=1.31
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 6919 0 1 0 115 16 0 0 25 0 8 0 270975781 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228866 6657 2496 14 0 215336 0
[pid=27023/tid=27025] ppid=27021 vsize=915464 CPUtime=0.02
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26923 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 270975785 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26923 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270975789 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915464 CPUtime=0.1
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26923 0 -1 64 317 0 0 0 10 0 0 0 16 0 8 0 270975789 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270975789 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270975789 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.97245 s]
/proc/loadavg: 0.81 0.97 1.01 3/101 27090
/proc/meminfo: memFree=1497544/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=2.94
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 6920 0 1 0 255 39 0 0 25 0 8 0 270975781 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073328002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228866 6657 2496 14 0 215336 0
[pid=27023/tid=27025] ppid=27021 vsize=915464 CPUtime=0.02
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26923 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 270975785 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26923 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270975789 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915464 CPUtime=0.1
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26923 0 -1 64 317 0 0 0 10 0 0 0 16 0 8 0 270975789 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270975789 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270975789 937435136 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.26175 s]
/proc/loadavg: 0.90 0.99 1.01 3/101 27090
/proc/meminfo: memFree=1497424/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=6.21
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 6922 0 1 0 533 88 0 0 25 0 8 0 270975781 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073614818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228866 6659 2496 14 0 215336 0
[pid=27023/tid=27025] ppid=27021 vsize=915464 CPUtime=0.02
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26923 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 270975785 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26923 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270975789 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915464 CPUtime=0.1
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26923 0 -1 64 319 0 0 0 10 0 0 0 16 0 8 0 270975789 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270975789 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270975789 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915464
[startup+12.7374 s]
/proc/loadavg: 0.99 1.00 1.02 3/101 27090
/proc/meminfo: memFree=1497424/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=12.65
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 6922 0 1 0 1086 179 0 0 25 0 8 0 270975781 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073587433 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228866 6659 2496 14 0 215336 0
[pid=27023/tid=27025] ppid=27021 vsize=915464 CPUtime=0.02
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26923 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 270975785 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26923 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270975789 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915464 CPUtime=0.1
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26923 0 -1 64 319 0 0 0 10 0 0 0 16 0 8 0 270975789 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270975789 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270975789 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915464
[startup+25.6036 s]
/proc/loadavg: 1.21 1.05 1.03 3/101 27090
/proc/meminfo: memFree=1497424/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=25.46
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 6922 0 1 0 2192 354 0 0 25 0 8 0 270975781 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228866 6659 2496 14 0 215336 0
[pid=27023/tid=27025] ppid=27021 vsize=915464 CPUtime=0.02
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26923 0 -1 64 124 0 0 0 2 0 0 0 16 0 8 0 270975785 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26923 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270975789 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915464 CPUtime=0.1
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26923 0 -1 64 319 0 0 0 10 0 0 0 16 0 8 0 270975789 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270975789 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270975789 937435136 6659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915464
[startup+51.211 s]
/proc/loadavg: 1.48 1.13 1.06 3/101 27090
/proc/meminfo: memFree=1489104/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=50.94
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 9056 0 1 0 4669 425 0 0 25 0 8 0 270975781 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073582364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228866 8790 2546 14 0 215336 0
[pid=27023/tid=27025] ppid=27021 vsize=915464 CPUtime=0.02
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26923 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 270975785 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26923 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270975789 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915464 CPUtime=0.21
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26923 0 -1 64 377 0 0 0 21 0 0 0 16 0 8 0 270975789 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270975789 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270975789 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915464
[startup+102.419 s]
/proc/loadavg: 1.81 1.27 1.11 3/101 27090
/proc/meminfo: memFree=1489104/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=101.91
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 9065 0 1 0 9765 426 0 0 25 0 8 0 270975781 937435136 8798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073582364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228866 8798 2546 14 0 215336 0
[pid=27023/tid=27025] ppid=27021 vsize=915464 CPUtime=0.02
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26923 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 270975785 937435136 8798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26923 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270975789 937435136 8798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915464 CPUtime=0.21
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26923 0 -1 64 378 0 0 0 21 0 0 0 16 0 8 0 270975789 937435136 8798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270975789 937435136 8798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270975789 937435136 8798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915464
[startup+162.465 s]
/proc/loadavg: 2.01 1.42 1.17 3/101 27090
/proc/meminfo: memFree=1489040/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=161.68
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 9072 0 1 0 15741 427 0 0 25 0 8 0 270975781 937435136 8804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763770 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2017.58
Current children cumulated vsize (KiB) 915464
[startup+2084.15 s]
/proc/loadavg: 2.12 2.05 1.89 3/101 27290
/proc/meminfo: memFree=1488656/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=2077.61
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 9091 0 1 0 207321 440 0 0 25 0 8 0 270975781 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759070 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228866 8822 2546 14 0 215336 0
[pid=27023/tid=27025] ppid=27021 vsize=915464 CPUtime=0.02
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26923 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 270975785 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26923 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915464 CPUtime=0.22
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26923 0 -1 64 379 0 0 0 22 0 0 0 16 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2077.61
Current children cumulated vsize (KiB) 915464
[startup+2144.22 s]
/proc/loadavg: 2.04 2.04 1.90 3/101 27290
/proc/meminfo: memFree=1488656/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=2137.67
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 9091 0 1 0 213327 440 0 0 25 0 8 0 270975781 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073582358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228866 8822 2546 14 0 215336 0
[pid=27023/tid=27025] ppid=27021 vsize=915464 CPUtime=0.02
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26923 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 270975785 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26923 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915464 CPUtime=0.22
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26923 0 -1 64 379 0 0 0 22 0 0 0 16 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2137.67
Current children cumulated vsize (KiB) 915464
[startup+2204.28 s]
/proc/loadavg: 2.01 2.03 1.90 3/101 27290
/proc/meminfo: memFree=1488720/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=2197.7
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 9091 0 1 0 219330 440 0 0 25 0 8 0 270975781 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073776492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228866 8822 2546 14 0 215336 0
[pid=27023/tid=27025] ppid=27021 vsize=915464 CPUtime=0.02
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26923 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 270975785 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26923 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915464 CPUtime=0.22
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26923 0 -1 64 379 0 0 0 22 0 0 0 16 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2197.7
Current children cumulated vsize (KiB) 915464
[startup+2264.33 s]
/proc/loadavg: 2.00 2.02 1.91 3/101 27290
/proc/meminfo: memFree=1488656/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=2257.75
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 9091 0 1 0 225334 441 0 0 25 0 8 0 270975781 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073736067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228866 8822 2546 14 0 215336 0
[pid=27023/tid=27025] ppid=27021 vsize=915464 CPUtime=0.02
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26923 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 270975785 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26923 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915464 CPUtime=0.22
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26923 0 -1 64 379 0 0 0 22 0 0 0 16 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) R 27021 27023 26923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2257.75
Current children cumulated vsize (KiB) 915464
[startup+2324.37 s]
/proc/loadavg: 2.05 2.03 1.91 3/101 27290
/proc/meminfo: memFree=1488656/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=2317.77
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 9091 0 1 0 231336 441 0 0 25 0 8 0 270975781 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228866 8822 2546 14 0 215336 0
[pid=27023/tid=27025] ppid=27021 vsize=915464 CPUtime=0.02
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26923 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 270975785 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26923 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915464 CPUtime=0.22
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26923 0 -1 64 379 0 0 0 22 0 0 0 16 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2317.77
Current children cumulated vsize (KiB) 915464
[startup+2384.44 s]
/proc/loadavg: 2.01 2.02 1.91 3/101 27290
/proc/meminfo: memFree=1488656/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=2377.83
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 9091 0 1 0 237342 441 0 0 25 0 8 0 270975781 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825850 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228866 8822 2546 14 0 215336 0
[pid=27023/tid=27025] ppid=27021 vsize=915464 CPUtime=0.02
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26923 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 270975785 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26923 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915464 CPUtime=0.22
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26923 0 -1 64 379 0 0 0 22 0 0 0 16 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2377.83
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2406.67 s]
/proc/loadavg: 2.01 2.02 1.91 3/101 27290
/proc/meminfo: memFree=1488656/2055920 swapFree=4191880/4192956
[pid=27023] ppid=27021 vsize=915464 CPUtime=2400.05
/proc/27023/stat : 27023 (java) R 27021 27023 26923 0 -1 0 9091 0 1 0 239564 441 0 0 25 0 8 0 270975781 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228866 8822 2546 14 0 215336 0
[pid=27023/tid=27025] ppid=27021 vsize=915464 CPUtime=0.02
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26923 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 270975785 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26923 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26923 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270975786 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915464 CPUtime=0.22
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26923 0 -1 64 379 0 0 0 22 0 0 0 16 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26923 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915464 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26923 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270975789 937435136 8822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2406.74
CPU time (s): 2400.12
CPU user time (s): 2395.7
CPU system time (s): 4.42233
CPU usage (%): 99.7251
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.7
system time used= 4.42233
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9115
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= 49749
involuntary context switches= 67737
runsolver used 2.52861 s user time and 8.11976 s system time
The end
Begin job on node26 on Fri Jan 19 16:56:55 UTC 2007
IDJOB= 275712
IDBENCH= 4584
IDSOLVER= 69
FILE ID= node26/275712-1169225815
PBS_JOBID= 3589242
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-15-9-mod.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275712-1169225815/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-275712-1169225815 -o ROOT/results/node26/solver-275712-1169225815 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275712-1169225815/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e0ce588cdcebc91402ce00c46a3a722e
RANDOM SEED= 817948259
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/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.236
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.236
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: 1525272 kB
Buffers: 40808 kB
Cached: 358764 kB
SwapCached: 268 kB
Active: 232744 kB
Inactive: 230416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1525272 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1904 kB
Writeback: 0 kB
Mapped: 81288 kB
Slab: 52628 kB
Committed_AS: 4579100 kB
PageTables: 2112 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= 66563 MiB
End job on node26 on Fri Jan 19 17:37:02 UTC 2007