0.03/0.08
0.03/0.08 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.23 name=mrdac-ddeg.xml
0.18/0.27
0.18/0.27 instance
0.18/0.27 name=HOME/instance-1110698-1215832002.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.29/0.34 nbVariables=60 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=120
0.29/0.34 => wckTime=0.103 cpuTime=0.09 mem=7M842
0.29/0.34
0.29/0.34 relations being loaded...
0.29/0.34
0.29/0.34 constraints being loaded...
0.29/0.39 nbConstraints=40 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=38
0.29/0.39 nbConflictsStructures=2 nbSharedConflictsStructures=38 nbSharedBinaryRepresentations=0 minDegree=2 maxDegree=2
0.29/0.39 minArity=3 maxArity=3
0.29/0.39 => wckTime=0.156 cpuTime=0.13 mem=9M809
0.39/0.44
0.39/0.44 solver LocalSearchSolver being built...
0.39/0.48 => wckTime=0.248 cpuTime=0.17 mem=5M431
0.39/0.49
0.39/0.49 s SATISFIABLE
0.39/0.49 o 13
0.39/0.49 o 11
0.39/0.49 o 9
0.39/0.49 o 7
0.39/0.49 o 5
0.39/0.49 o 3
0.39/0.49 o 1
0.99/1.09
0.99/1.09 search
0.99/1.09 run=0 nbConstraintChecks=249255 nbAssignments=10000
0.99/1.09 => wckTime=0.602 cpuTime=0.58 mem=6M423
1.59/1.64
1.59/1.64 search
1.59/1.64 run=1 nbConstraintChecks=439297 nbAssignments=20000
1.59/1.64 => wckTime=1.158 cpuTime=1.13 mem=6M423
2.09/2.17
2.09/2.17 search
2.09/2.17 run=2 nbConstraintChecks=599575 nbAssignments=30000
2.09/2.17 => wckTime=1.691 cpuTime=1.67 mem=6M423
2.69/2.72
2.69/2.72 search
2.69/2.72 run=3 nbConstraintChecks=792279 nbAssignments=40000
2.69/2.72 => wckTime=2.232 cpuTime=2.21 mem=6M423
3.19/3.25
3.19/3.25 search
3.19/3.25 run=4 nbConstraintChecks=957843 nbAssignments=50000
3.19/3.25 => wckTime=2.767 cpuTime=2.74 mem=6M423
3.68/3.79
3.68/3.79 search
3.68/3.79 run=5 nbConstraintChecks=1147771 nbAssignments=60000
3.68/3.79 => wckTime=3.307 cpuTime=3.28 mem=6M423
4.29/4.33
4.29/4.33 search
4.29/4.33 run=6 nbConstraintChecks=1332635 nbAssignments=70000
4.29/4.33 => wckTime=3.847 cpuTime=3.82 mem=6M423
4.79/4.87
4.79/4.87 search
4.79/4.87 run=7 nbConstraintChecks=1510810 nbAssignments=80000
4.79/4.87 => wckTime=4.384 cpuTime=4.36 mem=6M423
5.39/5.41
5.39/5.41 search
5.39/5.41 run=8 nbConstraintChecks=1692011 nbAssignments=90000
5.39/5.41 => wckTime=4.923 cpuTime=4.9 mem=6M423
5.88/5.95
5.88/5.95 search
5.88/5.95 run=9 nbConstraintChecks=1891450 nbAssignments=100000
5.88/5.95 => wckTime=5.467 cpuTime=5.44 mem=6M423
6.38/6.49
6.38/6.49 search
6.38/6.49 run=10 nbConstraintChecks=2065755 nbAssignments=110000
6.38/6.49 => wckTime=6.004 cpuTime=5.98 mem=6M423
6.99/7.03
6.99/7.03 search
6.99/7.03 run=11 nbConstraintChecks=2260373 nbAssignments=120000
6.99/7.03 => wckTime=6.547 cpuTime=6.52 mem=6M423
7.48/7.57
7.48/7.57 search
7.48/7.57 run=12 nbConstraintChecks=2424673 nbAssignments=130000
7.48/7.57 => wckTime=7.083 cpuTime=7.06 mem=6M423
8.08/8.11
8.08/8.11 search
8.08/8.11 run=13 nbConstraintChecks=2609663 nbAssignments=140000
8.08/8.11 => wckTime=7.629 cpuTime=7.6 mem=6M423
8.57/8.65
8.57/8.65 search
8.57/8.65 run=14 nbConstraintChecks=2776173 nbAssignments=150000
8.57/8.65 => wckTime=8.171 cpuTime=8.14 mem=6M423
9.17/9.20
9.17/9.20 search
9.17/9.20 run=15 nbConstraintChecks=2949988 nbAssignments=160000
9.17/9.20 => wckTime=8.714 cpuTime=8.68 mem=6M423
9.68/9.74
9.68/9.74 search
9.68/9.74 run=16 nbConstraintChecks=3112242 nbAssignments=170000
9.68/9.74 => wckTime=9.254 cpuTime=9.22 mem=6M423
10.18/10.28
10.18/10.28 search
10.18/10.28 run=17 nbConstraintChecks=3271960 nbAssignments=180000
10.18/10.28 => wckTime=9.794 cpuTime=9.77 mem=6M423
10.77/10.82
10.77/10.82 search
10.77/10.82 run=18 nbConstraintChecks=3436782 nbAssignments=190000
10.77/10.82 => wckTime=10.335 cpuTime=10.3 mem=6M423
11.28/11.37
11.28/11.37 search
11.28/11.37 run=19 nbConstraintChecks=3636139 nbAssignments=200000
11.28/11.37 => wckTime=10.883 cpuTime=10.85 mem=6M423
11.88/11.91
11.88/11.91 search
11.88/11.91 run=20 nbConstraintChecks=3797933 nbAssignments=210000
11.88/11.91 => wckTime=11.423 cpuTime=11.39 mem=6M423
12.37/12.45
12.37/12.45 search
12.37/12.45 run=21 nbConstraintChecks=3976892 nbAssignments=220000
12.37/12.45 => wckTime=11.968 cpuTime=11.94 mem=6M423
12.87/12.99
12.87/12.99 search
12.87/12.99 run=22 nbConstraintChecks=4130850 nbAssignments=230000
12.87/12.99 => wckTime=12.506 cpuTime=12.47 mem=6M423
13.48/13.53
13.48/13.53 search
13.48/13.53 run=23 nbConstraintChecks=4299874 nbAssignments=240000
13.48/13.53 => wckTime=13.047 cpuTime=13.01 mem=6M423
13.97/14.07
13.97/14.07 search
13.97/14.07 run=24 nbConstraintChecks=4458699 nbAssignments=250000
13.97/14.07 => wckTime=13.588 cpuTime=13.55 mem=6M423
14.57/14.62
14.57/14.62 search
14.57/14.62 run=25 nbConstraintChecks=4632822 nbAssignments=260000
14.57/14.62 => wckTime=14.138 cpuTime=14.1 mem=6M423
15.08/15.16
15.08/15.16 search
15.08/15.16 run=26 nbConstraintChecks=4799829 nbAssignments=270000
15.08/15.16 => wckTime=14.68 cpuTime=14.64 mem=6M423
15.67/15.71
15.67/15.71 search
15.67/15.71 run=27 nbConstraintChecks=4967621 nbAssignments=280000
15.67/15.71 => wckTime=15.223 cpuTime=15.18 mem=6M423
16.17/16.25
16.17/16.25 search
16.17/16.25 run=28 nbConstraintChecks=5158707 nbAssignments=290000
16.17/16.25 => wckTime=15.77 cpuTime=15.73 mem=6M423
16.77/16.81
16.77/16.81 search
16.77/16.81 run=29 nbConstraintChecks=5373410 nbAssignments=300000
16.77/16.81 => wckTime=16.323 cpuTime=16.28 mem=6M423
17.27/17.35
17.27/17.35 search
17.27/17.35 run=30 nbConstraintChecks=5548953 nbAssignments=310000
17.27/17.35 => wckTime=16.867 cpuTime=16.83 mem=6M423
17.77/17.89
17.77/17.89 search
17.77/17.89 run=31 nbConstraintChecks=5720932 nbAssignments=320000
17.77/17.89 => wckTime=17.411 cpuTime=17.37 mem=6M423
18.37/18.44
18.37/18.44 search
18.37/18.44 run=32 nbConstraintChecks=5933847 nbAssignments=330000
18.37/18.44 => wckTime=17.959 cpuTime=17.91 mem=6M423
18.87/18.99
18.87/18.99 search
18.87/18.99 run=33 nbConstraintChecks=6134092 nbAssignments=340000
18.87/18.99 => wckTime=18.505 cpuTime=18.46 mem=6M423
19.48/19.53
19.48/19.53 search
19.48/19.53 run=34 nbConstraintChecks=6306721 nbAssignments=350000
19.48/19.53 => wckTime=19.045 cpuTime=19.0 mem=6M423
19.96/20.07
19.96/20.07 search
19.96/20.07 run=35 nbConstraintChecks=6482517 nbAssignments=360000
19.96/20.07 => wckTime=19.585 cpuTime=19.54 mem=6M423
20.57/20.60
20.57/20.60 search
20.57/20.60 run=36 nbConstraintChecks=6640298 nbAssignments=370000
20.57/20.60 => wckTime=20.121 cpuTime=20.07 mem=6M423
21.07/21.14
21.07/21.14 search
21.07/21.14 run=37 nbConstraintChecks=6806305 nbAssignments=380000
21.07/21.14 => wckTime=20.659 cpuTime=20.61 mem=6M423
21.57/21.68
21.57/21.68 search
21.57/21.68 run=38 nbConstraintChecks=6962119 nbAssignments=390000
21.57/21.68 => wckTime=21.194 cpuTime=21.15 mem=6M423
22.17/22.22
22.17/22.22 search
22.17/22.22 run=39 nbConstraintChecks=7161258 nbAssignments=400000
22.17/22.22 => wckTime=21.74 cpuTime=21.7 mem=6M423
22.67/22.76
22.67/22.76 search
22.67/22.76 run=40 nbConstraintChecks=7309113 nbAssignments=410000
22.67/22.76 => wckTime=22.274 cpuTime=22.23 mem=6M423
23.17/23.30
23.17/23.30 search
23.17/23.30 run=41 nbConstraintChecks=7475924 nbAssignments=420000
23.17/23.30 => wckTime=22.811 cpuTime=22.76 mem=6M423
23.77/23.83
23.77/23.83 search
23.77/23.84 run=42 nbConstraintChecks=7655585 nbAssignments=430000
23.77/23.84 => wckTime=23.352 cpuTime=23.31 mem=6M423
24.27/24.37
24.27/24.37 search
24.27/24.37 run=43 nbConstraintChecks=7834481 nbAssignments=440000
24.27/24.37 => wckTime=23.882 cpuTime=23.83 mem=6M423
24.77/24.89
24.77/24.89 search
24.77/24.89 run=44 nbConstraintChecks=7997116 nbAssignments=450000
24.77/24.89 => wckTime=24.409 cpuTime=24.36 mem=6M423
25.36/25.42
25.36/25.42 search
25.36/25.42 run=45 nbConstraintChecks=8174723 nbAssignments=460000
25.36/25.42 => wckTime=24.939 cpuTime=24.9 mem=6M423
25.87/25.95
25.87/25.95 search
25.87/25.95 run=46 nbConstraintChecks=8352112 nbAssignments=470000
25.87/25.95 => wckTime=25.469 cpuTime=25.42 mem=6M423
26.37/26.48
26.37/26.48 search
26.37/26.48 run=47 nbConstraintChecks=8542904 nbAssignments=480000
26.37/26.48 => wckTime=26.001 cpuTime=25.95 mem=6M423
26.96/27.01
26.96/27.01 search
26.96/27.01 run=48 nbConstraintChecks=8706874 nbAssignments=490000
26.96/27.01 => wckTime=26.528 cpuTime=26.48 mem=6M423
27.47/27.55
27.47/27.55 search
27.47/27.55 run=49 nbConstraintChecks=8896638 nbAssignments=500000
27.47/27.55 => wckTime=27.062 cpuTime=27.02 mem=6M423
27.97/28.08
27.97/28.08 search
27.97/28.08 run=50 nbConstraintChecks=9077332 nbAssignments=510000
27.97/28.08 => wckTime=27.594 cpuTime=27.55 mem=6M423
28.57/28.61
28.57/28.61 search
28.57/28.61 run=51 nbConstraintChecks=9269554 nbAssignments=520000
28.57/28.61 => wckTime=28.13 cpuTime=28.08 mem=6M423
29.06/29.15
29.06/29.15 search
29.06/29.15 run=52 nbConstraintChecks=9440951 nbAssignments=530000
29.06/29.15 => wckTime=28.662 cpuTime=28.61 mem=6M423
29.57/29.68
29.57/29.68 search
29.57/29.68 run=53 nbConstraintChecks=9607956 nbAssignments=540000
29.57/29.68 => wckTime=29.194 cpuTime=29.14 mem=6M423
30.16/30.21
30.16/30.21 search
30.16/30.21 run=54 nbConstraintChecks=9768426 nbAssignments=550000
30.16/30.21 => wckTime=29.724 cpuTime=29.68 mem=6M423
30.47/30.55
30.47/30.55 search
30.47/30.55 run=55 nbConstraintChecks=9882486 nbAssignments=556412
30.47/30.55 => wckTime=30.066 cpuTime=30.02 mem=6M423
30.47/30.55
30.47/30.55 global
30.47/30.55 nbConstraintChecks=9882486 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.47/30.55 solvingWckTime=30.065 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.47/30.55 globalCpuTime=30.23
30.47/30.55 => wckTime=30.314 cpuTime=30.19 mem=6M423
30.47/30.55
30.47/30.55 solver DecomposerSolver being built...
30.56/30.67 => wckTime=30.429 cpuTime=30.29 mem=17M324
30.56/30.67
30.56/30.67 preprocessing
30.56/30.67 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.56/30.67 detectedInconsistency=no
30.56/30.67 => wckTime=0.0010 cpuTime=0.0 mem=17M324
473.82/474.08
473.82/474.08 search
473.82/474.08 run=0 nbConstraintChecks=343932984 nbValidityChecks=214433644 minDepth=0 maxDepth=56 nbPropagations=0
473.82/474.08 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24117238 nbFailedAssignments=1048576 nbBacktracks=23068663
473.82/474.08 nbVisitedNodes=26214390
473.82/474.08 => wckTime=443.412 cpuTime=443.19 mem=18M299
473.82/474.08
473.82/474.08 global
473.82/474.08 nbConstraintChecks=343932984 nbValidityChecks=214433644 solvingWckTime=443.414 solvingCpuTime=443.19
473.82/474.08 expiredTime=no totalExploration=yes nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0
473.82/474.08 upperBoundCpuTime=0.0 globalCpuTime=473.52
473.82/474.08 => wckTime=473.845 cpuTime=473.48 mem=18M299
473.82/474.08
473.82/474.08 s OPTIMUM FOUND
473.82/474.08 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
473.82/474.08 d NODES 24117238
473.82/474.08 d CHECKS 343932984
473.82/474.08
473.82/474.08 totalWckTime=473.91 totalCpuTime=473.53
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110698-1215832002/watcher-1110698-1215832002 -o /tmp/evaluation-result-1110698-1215832002/solver-1110698-1215832002 -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-ddeg.xml 1 XSax HOME/instance-1110698-1215832002.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.93 1.98 1.99 4/80 15462
/proc/meminfo: memFree=1451224/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=152 CPUtime=0
/proc/15462/stat : 15462 (java) R 15460 15462 14483 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 39903518 155648 26 996147200 134512640 134550740 4294955952 18446744073709551615 10588459 0 0 4096 0 0 0 0 17 0 0 0
/proc/15462/statm: 50 33 26 9 0 4 0
[startup+0.0362421 s]
/proc/loadavg: 1.93 1.98 1.99 4/80 15462
/proc/meminfo: memFree=1451224/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=861876 CPUtime=0.03
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 2274 0 1 0 2 1 0 0 18 0 5 0 39903518 882561024 1881 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 215469 1881 860 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876
[startup+0.101246 s]
/proc/loadavg: 1.93 1.98 1.99 4/80 15462
/proc/meminfo: memFree=1451224/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=865988 CPUtime=0.08
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 3822 0 1 0 7 1 0 0 18 0 9 0 39903518 886771712 3273 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216497 3273 1727 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.30127 s]
/proc/loadavg: 1.93 1.98 1.99 4/80 15462
/proc/meminfo: memFree=1451224/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=866444 CPUtime=0.29
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 5952 0 1 0 26 3 0 0 18 0 9 0 39903518 887238656 5327 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216611 5327 1959 9 0 211139 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866444
[startup+0.701305 s]
/proc/loadavg: 1.93 1.98 1.99 4/80 15462
/proc/meminfo: memFree=1451224/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=866648 CPUtime=0.68
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 8180 0 1 0 53 15 0 0 18 0 9 0 39903518 887447552 7347 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216662 7347 2632 9 0 211168 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866648
[startup+1.50139 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 15471
/proc/meminfo: memFree=1432208/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=866648 CPUtime=1.49
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 8186 0 1 0 80 69 0 0 18 0 9 0 39903518 887447552 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216662 7352 2633 9 0 211168 0
[pid=15462/tid=15464] ppid=15460 vsize=866644 CPUtime=1.34
/proc/15462/task/15464/stat : 15464 (java) R 15460 15462 14483 0 -1 64 6044 0 1 0 67 67 0 0 25 0 9 0 39903519 887443456 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15465] ppid=15460 vsize=866648 CPUtime=0.02
/proc/15462/task/15465/stat : 15465 (java) S 15460 15462 14483 0 -1 64 1111 0 0 0 2 0 0 0 16 0 9 0 39903520 887447552 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15466] ppid=15460 vsize=866648 CPUtime=0
/proc/15462/task/15466/stat : 15466 (java) S 15460 15462 14483 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39903520 887447552 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15467] ppid=15460 vsize=866648 CPUtime=0
/proc/15462/task/15467/stat : 15467 (java) S 15460 15462 14483 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39903520 887447552 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15468] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15468/stat : 15468 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 39903522 887443456 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15469] ppid=15460 vsize=866644 CPUtime=0.09
/proc/15462/task/15469/stat : 15469 (java) S 15460 15462 14483 0 -1 64 336 0 0 0 9 0 0 0 16 0 9 0 39903522 887443456 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15470] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15470/stat : 15470 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 39903522 887443456 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15471] ppid=15460 vsize=866648 CPUtime=0
/proc/15462/task/15471/stat : 15471 (java) S 15460 15462 14483 0 -1 64 0 0 0 0 0 0 0 0 16 0 9 0 39903522 887447552 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 866648
[startup+3.10153 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 15471
/proc/meminfo: memFree=1432016/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=866648 CPUtime=3.08
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 8186 0 1 0 132 176 0 0 18 0 9 0 39903518 887447552 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216662 7352 2633 9 0 211168 0
[pid=15462/tid=15464] ppid=15460 vsize=866644 CPUtime=2.94
/proc/15462/task/15464/stat : 15464 (java) R 15460 15462 14483 0 -1 64 6044 0 1 0 119 175 0 0 25 0 9 0 39903519 887443456 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15465] ppid=15460 vsize=866648 CPUtime=0.02
/proc/15462/task/15465/stat : 15465 (java) S 15460 15462 14483 0 -1 64 1111 0 0 0 2 0 0 0 16 0 9 0 39903520 887447552 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15466] ppid=15460 vsize=866648 CPUtime=0
/proc/15462/task/15466/stat : 15466 (java) S 15460 15462 14483 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39903520 887447552 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15467] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15467/stat : 15467 (java) S 15460 15462 14483 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39903520 887443456 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15468] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15468/stat : 15468 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 39903522 887443456 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15469] ppid=15460 vsize=866644 CPUtime=0.09
/proc/15462/task/15469/stat : 15469 (java) S 15460 15462 14483 0 -1 64 336 0 0 0 9 0 0 0 16 0 9 0 39903522 887443456 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15470] ppid=15460 vsize=866648 CPUtime=0
/proc/15462/task/15470/stat : 15470 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 39903522 887447552 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15471] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15471/stat : 15471 (java) S 15460 15462 14483 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 39903522 887443456 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 866648
[startup+6.30284 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 15471
/proc/meminfo: memFree=1431632/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=866644 CPUtime=6.28
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 8187 0 1 0 234 394 0 0 18 0 9 0 39903518 887443456 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216661 7352 2633 9 0 211167 0
[pid=15462/tid=15464] ppid=15460 vsize=866648 CPUtime=6.14
/proc/15462/task/15464/stat : 15464 (java) R 15460 15462 14483 0 -1 64 6045 0 1 0 221 393 0 0 25 0 9 0 39903519 887447552 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15465] ppid=15460 vsize=866648 CPUtime=0.02
/proc/15462/task/15465/stat : 15465 (java) S 15460 15462 14483 0 -1 64 1111 0 0 0 2 0 0 0 16 0 9 0 39903520 887447552 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15466] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15466/stat : 15466 (java) S 15460 15462 14483 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39903520 887443456 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15467] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15467/stat : 15467 (java) S 15460 15462 14483 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39903520 887443456 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15468] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15468/stat : 15468 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 39903522 887443456 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15469] ppid=15460 vsize=866648 CPUtime=0.09
/proc/15462/task/15469/stat : 15469 (java) S 15460 15462 14483 0 -1 64 336 0 0 0 9 0 0 0 16 0 9 0 39903522 887447552 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15470] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15470/stat : 15470 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 39903522 887443456 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15471] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15471/stat : 15471 (java) S 15460 15462 14483 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 39903522 887443456 7352 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 866644
[startup+12.7024 s]
/proc/loadavg: 1.94 1.98 1.99 3/89 15471
/proc/meminfo: memFree=1431376/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=866648 CPUtime=12.68
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 8188 0 1 0 438 830 0 0 18 0 9 0 39903518 887447552 7353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216662 7353 2633 9 0 211168 0
[pid=15462/tid=15464] ppid=15460 vsize=866644 CPUtime=12.53
/proc/15462/task/15464/stat : 15464 (java) R 15460 15462 14483 0 -1 64 6045 0 1 0 424 829 0 0 25 0 9 0 39903519 887443456 7353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15465] ppid=15460 vsize=866644 CPUtime=0.02
/proc/15462/task/15465/stat : 15465 (java) S 15460 15462 14483 0 -1 64 1111 0 0 0 2 0 0 0 16 0 9 0 39903520 887443456 7353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15466] ppid=15460 vsize=866648 CPUtime=0
/proc/15462/task/15466/stat : 15466 (java) S 15460 15462 14483 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39903520 887447552 7353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15467] ppid=15460 vsize=866648 CPUtime=0
/proc/15462/task/15467/stat : 15467 (java) S 15460 15462 14483 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39903520 887447552 7353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15468] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15468/stat : 15468 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 39903522 887443456 7353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15469] ppid=15460 vsize=866644 CPUtime=0.09
/proc/15462/task/15469/stat : 15469 (java) S 15460 15462 14483 0 -1 64 337 0 0 0 9 0 0 0 16 0 9 0 39903522 887443456 7353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15470] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15470/stat : 15470 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 39903522 887443456 7353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15471] ppid=15460 vsize=866648 CPUtime=0
/proc/15462/task/15471/stat : 15471 (java) S 15460 15462 14483 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 39903522 887447552 7353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 866648
[startup+25.5017 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 15471
/proc/meminfo: memFree=1422160/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=866644 CPUtime=25.47
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 8193 0 1 0 849 1698 0 0 18 0 9 0 39903518 887443456 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216661 7358 2633 9 0 211167 0
[pid=15462/tid=15464] ppid=15460 vsize=866648 CPUtime=25.32
/proc/15462/task/15464/stat : 15464 (java) R 15460 15462 14483 0 -1 64 6045 0 1 0 835 1697 0 0 25 0 9 0 39903519 887447552 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15465] ppid=15460 vsize=866648 CPUtime=0.02
/proc/15462/task/15465/stat : 15465 (java) S 15460 15462 14483 0 -1 64 1111 0 0 0 2 0 0 0 16 0 9 0 39903520 887447552 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15466] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15466/stat : 15466 (java) S 15460 15462 14483 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39903520 887443456 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15467] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15467/stat : 15467 (java) S 15460 15462 14483 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39903520 887443456 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15468] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15468/stat : 15468 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 39903522 887443456 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15469] ppid=15460 vsize=866644 CPUtime=0.1
/proc/15462/task/15469/stat : 15469 (java) S 15460 15462 14483 0 -1 64 342 0 0 0 10 0 0 0 16 0 9 0 39903522 887443456 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15470] ppid=15460 vsize=866648 CPUtime=0
/proc/15462/task/15470/stat : 15470 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 39903522 887447552 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15471] ppid=15460 vsize=866648 CPUtime=0
/proc/15462/task/15471/stat : 15471 (java) S 15460 15462 14483 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 39903522 887447552 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 866644
[startup+51.1011 s]
/proc/loadavg: 1.97 1.98 1.99 3/89 15471
/proc/meminfo: memFree=1413072/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=866644 CPUtime=51.06
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 10458 0 1 0 3068 2038 0 0 18 0 9 0 39903518 887443456 9621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216661 9621 2634 9 0 211167 0
[pid=15462/tid=15464] ppid=15460 vsize=866644 CPUtime=50.83
/proc/15462/task/15464/stat : 15464 (java) R 15460 15462 14483 0 -1 64 8266 0 1 0 3047 2036 0 0 25 0 9 0 39903519 887443456 9621 996147200 134512640 134550740 4294955952 18446744073709551615 4126743391 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15465] ppid=15460 vsize=866644 CPUtime=0.02
/proc/15462/task/15465/stat : 15465 (java) S 15460 15462 14483 0 -1 64 1111 0 0 0 2 0 0 0 16 0 9 0 39903520 887443456 9621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15466] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15466/stat : 15466 (java) S 15460 15462 14483 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39903520 887443456 9621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15467] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15467/stat : 15467 (java) S 15460 15462 14483 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39903520 887443456 9621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15468] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15468/stat : 15468 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 39903522 887443456 9621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15469] ppid=15460 vsize=866644 CPUtime=0.17
/proc/15462/task/15469/stat : 15469 (java) S 15460 15462 14483 0 -1 64 386 0 0 0 17 0 0 0 16 0 9 0 39903522 887443456 9621 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15470] ppid=15460 vsize=866644 CPUtime=0
################
# More data... #
################
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 10459 0 1 0 44652 2039 0 0 18 0 9 0 39903518 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216661 9622 2634 9 0 211167 0
[pid=15462/tid=15464] ppid=15460 vsize=866644 CPUtime=466.68
/proc/15462/task/15464/stat : 15464 (java) R 15460 15462 14483 0 -1 64 8267 0 1 0 44631 2037 0 0 25 0 9 0 39903519 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4126744454 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15465] ppid=15460 vsize=866644 CPUtime=0.02
/proc/15462/task/15465/stat : 15465 (java) S 15460 15462 14483 0 -1 64 1111 0 0 0 2 0 0 0 16 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15466] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15466/stat : 15466 (java) S 15460 15462 14483 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15467] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15467/stat : 15467 (java) S 15460 15462 14483 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15468] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15468/stat : 15468 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15469] ppid=15460 vsize=866644 CPUtime=0.17
/proc/15462/task/15469/stat : 15469 (java) S 15460 15462 14483 0 -1 64 386 0 0 0 17 0 0 0 16 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15470] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15470/stat : 15470 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15471] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15471/stat : 15471 (java) S 15460 15462 14483 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 466.91
Current children cumulated vsize (KiB) 866644
[startup+470.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/90 15510
/proc/meminfo: memFree=1414400/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=866644 CPUtime=470.11
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 10459 0 1 0 44972 2039 0 0 18 0 9 0 39903518 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216661 9622 2634 9 0 211167 0
[pid=15462/tid=15464] ppid=15460 vsize=866644 CPUtime=469.88
/proc/15462/task/15464/stat : 15464 (java) R 15460 15462 14483 0 -1 64 8267 0 1 0 44951 2037 0 0 25 0 9 0 39903519 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4126631040 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15465] ppid=15460 vsize=866644 CPUtime=0.02
/proc/15462/task/15465/stat : 15465 (java) S 15460 15462 14483 0 -1 64 1111 0 0 0 2 0 0 0 16 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15466] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15466/stat : 15466 (java) S 15460 15462 14483 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15467] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15467/stat : 15467 (java) S 15460 15462 14483 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15468] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15468/stat : 15468 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15469] ppid=15460 vsize=866644 CPUtime=0.17
/proc/15462/task/15469/stat : 15469 (java) S 15460 15462 14483 0 -1 64 386 0 0 0 17 0 0 0 16 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15470] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15470/stat : 15470 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15471] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15471/stat : 15471 (java) S 15460 15462 14483 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 470.11
Current children cumulated vsize (KiB) 866644
[startup+471.906 s]
/proc/loadavg: 1.99 1.98 1.99 3/90 15510
/proc/meminfo: memFree=1414400/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=866644 CPUtime=471.72
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 10459 0 1 0 45133 2039 0 0 18 0 9 0 39903518 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216661 9622 2634 9 0 211167 0
[pid=15462/tid=15464] ppid=15460 vsize=866644 CPUtime=471.48
/proc/15462/task/15464/stat : 15464 (java) R 15460 15462 14483 0 -1 64 8267 0 1 0 45111 2037 0 0 25 0 9 0 39903519 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4126764310 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15465] ppid=15460 vsize=866644 CPUtime=0.02
/proc/15462/task/15465/stat : 15465 (java) S 15460 15462 14483 0 -1 64 1111 0 0 0 2 0 0 0 16 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15466] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15466/stat : 15466 (java) S 15460 15462 14483 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15467] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15467/stat : 15467 (java) S 15460 15462 14483 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15468] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15468/stat : 15468 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15469] ppid=15460 vsize=866644 CPUtime=0.17
/proc/15462/task/15469/stat : 15469 (java) S 15460 15462 14483 0 -1 64 386 0 0 0 17 0 0 0 16 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15470] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15470/stat : 15470 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15471] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15471/stat : 15471 (java) S 15460 15462 14483 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 471.72
Current children cumulated vsize (KiB) 866644
[startup+472.701 s]
/proc/loadavg: 1.99 1.98 1.99 3/90 15510
/proc/meminfo: memFree=1414400/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=866644 CPUtime=472.51
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 10459 0 1 0 45212 2039 0 0 18 0 9 0 39903518 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216661 9622 2634 9 0 211167 0
[pid=15462/tid=15464] ppid=15460 vsize=866644 CPUtime=472.28
/proc/15462/task/15464/stat : 15464 (java) R 15460 15462 14483 0 -1 64 8267 0 1 0 45191 2037 0 0 25 0 9 0 39903519 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4126743386 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15465] ppid=15460 vsize=866644 CPUtime=0.02
/proc/15462/task/15465/stat : 15465 (java) S 15460 15462 14483 0 -1 64 1111 0 0 0 2 0 0 0 16 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15466] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15466/stat : 15466 (java) S 15460 15462 14483 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15467] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15467/stat : 15467 (java) S 15460 15462 14483 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15468] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15468/stat : 15468 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15469] ppid=15460 vsize=866644 CPUtime=0.17
/proc/15462/task/15469/stat : 15469 (java) S 15460 15462 14483 0 -1 64 386 0 0 0 17 0 0 0 16 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15470] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15470/stat : 15470 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15471] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15471/stat : 15471 (java) S 15460 15462 14483 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 472.51
Current children cumulated vsize (KiB) 866644
[startup+473.501 s]
/proc/loadavg: 1.99 1.98 1.99 3/90 15510
/proc/meminfo: memFree=1414400/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=866644 CPUtime=473.31
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 10459 0 1 0 45292 2039 0 0 18 0 9 0 39903518 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216661 9622 2634 9 0 211167 0
[pid=15462/tid=15464] ppid=15460 vsize=866644 CPUtime=473.08
/proc/15462/task/15464/stat : 15464 (java) R 15460 15462 14483 0 -1 64 8267 0 1 0 45271 2037 0 0 25 0 9 0 39903519 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4126631018 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15465] ppid=15460 vsize=866644 CPUtime=0.02
/proc/15462/task/15465/stat : 15465 (java) S 15460 15462 14483 0 -1 64 1111 0 0 0 2 0 0 0 16 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15466] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15466/stat : 15466 (java) S 15460 15462 14483 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15467] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15467/stat : 15467 (java) S 15460 15462 14483 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15468] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15468/stat : 15468 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15469] ppid=15460 vsize=866644 CPUtime=0.17
/proc/15462/task/15469/stat : 15469 (java) S 15460 15462 14483 0 -1 64 386 0 0 0 17 0 0 0 16 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15470] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15470/stat : 15470 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15471] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15471/stat : 15471 (java) S 15460 15462 14483 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 473.31
Current children cumulated vsize (KiB) 866644
[startup+473.901 s]
/proc/loadavg: 1.99 1.98 1.99 3/90 15510
/proc/meminfo: memFree=1414400/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=866644 CPUtime=473.71
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 10459 0 1 0 45332 2039 0 0 18 0 9 0 39903518 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216661 9622 2634 9 0 211167 0
[pid=15462/tid=15464] ppid=15460 vsize=866644 CPUtime=473.48
/proc/15462/task/15464/stat : 15464 (java) R 15460 15462 14483 0 -1 64 8267 0 1 0 45311 2037 0 0 25 0 9 0 39903519 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4126631053 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15465] ppid=15460 vsize=866644 CPUtime=0.02
/proc/15462/task/15465/stat : 15465 (java) S 15460 15462 14483 0 -1 64 1111 0 0 0 2 0 0 0 16 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15466] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15466/stat : 15466 (java) S 15460 15462 14483 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15467] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15467/stat : 15467 (java) S 15460 15462 14483 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15468] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15468/stat : 15468 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15469] ppid=15460 vsize=866644 CPUtime=0.17
/proc/15462/task/15469/stat : 15469 (java) S 15460 15462 14483 0 -1 64 386 0 0 0 17 0 0 0 16 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15470] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15470/stat : 15470 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15471] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15471/stat : 15471 (java) S 15460 15462 14483 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 473.71
Current children cumulated vsize (KiB) 866644
[startup+474.003 s]
/proc/loadavg: 1.99 1.98 1.99 3/90 15510
/proc/meminfo: memFree=1414336/2055920 swapFree=4192812/4192956
[pid=15462] ppid=15460 vsize=866644 CPUtime=473.82
/proc/15462/stat : 15462 (java) S 15460 15462 14483 0 -1 0 10459 0 1 0 45343 2039 0 0 18 0 9 0 39903518 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15462/statm: 216661 9622 2634 9 0 211167 0
[pid=15462/tid=15464] ppid=15460 vsize=866644 CPUtime=473.59
/proc/15462/task/15464/stat : 15464 (java) R 15460 15462 14483 0 -1 64 8267 0 1 0 45322 2037 0 0 25 0 9 0 39903519 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4126744136 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15465] ppid=15460 vsize=866644 CPUtime=0.02
/proc/15462/task/15465/stat : 15465 (java) S 15460 15462 14483 0 -1 64 1111 0 0 0 2 0 0 0 16 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15466] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15466/stat : 15466 (java) S 15460 15462 14483 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15467] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15467/stat : 15467 (java) S 15460 15462 14483 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39903520 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15468] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15468/stat : 15468 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15469] ppid=15460 vsize=866644 CPUtime=0.17
/proc/15462/task/15469/stat : 15469 (java) S 15460 15462 14483 0 -1 64 386 0 0 0 17 0 0 0 16 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15470] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15470/stat : 15470 (java) S 15460 15462 14483 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15462/tid=15471] ppid=15460 vsize=866644 CPUtime=0
/proc/15462/task/15471/stat : 15471 (java) S 15460 15462 14483 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 39903522 887443456 9622 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 473.82
Current children cumulated vsize (KiB) 866644
Child status: 0
Real time (s): 474.105
CPU time (s): 473.914
CPU user time (s): 453.513
CPU system time (s): 20.4009
CPU usage (%): 99.9597
Max. virtual memory (cumulated for all children) (KiB): 866648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 453.513
system time used= 20.4009
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10565
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= 10632
involuntary context switches= 13894
runsolver used 0.668898 second user time and 1.37879 second system time
The end
Begin job on node4 at 2008-07-12 05:06:42
IDJOB=1110698
IDBENCH=61140
IDSOLVER=360
FILE ID=node4/1110698-1215832002
PBS_JOBID= 7903342
Free space on /tmp= 66508 MiB
SOLVER NAME= AbsconMax 112 pc-d
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-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110698-1215832002/watcher-1110698-1215832002 -o /tmp/evaluation-result-1110698-1215832002/solver-1110698-1215832002 -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-ddeg.xml 1 XSax HOME/instance-1110698-1215832002.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: 1451704 kB
Buffers: 61728 kB
Cached: 438616 kB
SwapCached: 0 kB
Active: 172484 kB
Inactive: 362396 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1451704 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4148 kB
Writeback: 0 kB
Mapped: 54900 kB
Slab: 54456 kB
Committed_AS: 940560 kB
PageTables: 1920 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:14:36