0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=mrdac-wdeg.xml
0.28/0.30
0.28/0.30 instance
0.28/0.30 name=HOME/instance-1110641-1215831199.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.28/0.37 nbVariables=63 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=126
0.28/0.37 => wckTime=0.114 cpuTime=0.11 mem=7M842
0.28/0.37
0.28/0.37 relations being loaded...
0.28/0.38
0.28/0.38 constraints being loaded...
0.39/0.43 nbConstraints=42 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=40
0.39/0.43 nbConflictsStructures=2 nbSharedConflictsStructures=40 nbSharedBinaryRepresentations=0 minDegree=2 maxDegree=2
0.39/0.43 minArity=3 maxArity=3
0.39/0.43 => wckTime=0.172 cpuTime=0.15 mem=8M899
0.39/0.49
0.39/0.49 solver LocalSearchSolver being built...
0.48/0.53 => wckTime=0.272 cpuTime=0.2 mem=5M434
0.48/0.53
0.48/0.53 s SATISFIABLE
0.48/0.53 o 17
0.48/0.53 o 15
0.48/0.53 o 13
0.48/0.54 o 11
0.48/0.54 o 9
0.48/0.54 o 7
0.48/0.54 o 5
0.48/0.54 o 3
0.48/0.55 o 1
1.07/1.19
1.07/1.19 search
1.07/1.19 run=0 nbConstraintChecks=260991 nbAssignments=10000
1.07/1.19 => wckTime=0.66 cpuTime=0.63 mem=6M426
1.77/1.80
1.77/1.80 search
1.77/1.80 run=1 nbConstraintChecks=522971 nbAssignments=20000
1.77/1.80 => wckTime=1.272 cpuTime=1.23 mem=6M426
2.27/2.38
2.27/2.38 search
2.27/2.38 run=2 nbConstraintChecks=712705 nbAssignments=30000
2.27/2.38 => wckTime=1.853 cpuTime=1.8 mem=6M426
2.86/2.96
2.86/2.96 search
2.86/2.96 run=3 nbConstraintChecks=915912 nbAssignments=40000
2.86/2.96 => wckTime=2.429 cpuTime=2.38 mem=6M426
3.45/3.53
3.45/3.53 search
3.45/3.53 run=4 nbConstraintChecks=1071951 nbAssignments=50000
3.45/3.53 => wckTime=3.005 cpuTime=2.94 mem=6M426
4.04/4.11
4.04/4.11 search
4.04/4.11 run=5 nbConstraintChecks=1236281 nbAssignments=60000
4.04/4.11 => wckTime=3.579 cpuTime=3.51 mem=6M426
4.54/4.69
4.54/4.69 search
4.54/4.69 run=6 nbConstraintChecks=1419974 nbAssignments=70000
4.54/4.69 => wckTime=4.159 cpuTime=4.09 mem=6M426
5.13/5.27
5.13/5.27 search
5.13/5.27 run=7 nbConstraintChecks=1640842 nbAssignments=80000
5.13/5.27 => wckTime=4.744 cpuTime=4.67 mem=6M426
5.72/5.85
5.72/5.85 search
5.72/5.85 run=8 nbConstraintChecks=1811529 nbAssignments=90000
5.72/5.85 => wckTime=5.319 cpuTime=5.24 mem=6M426
6.33/6.43
6.33/6.43 search
6.33/6.43 run=9 nbConstraintChecks=2009707 nbAssignments=100000
6.33/6.43 => wckTime=5.899 cpuTime=5.82 mem=6M426
6.92/7.01
6.92/7.01 search
6.92/7.01 run=10 nbConstraintChecks=2202661 nbAssignments=110000
6.92/7.01 => wckTime=6.479 cpuTime=6.39 mem=6M426
7.41/7.59
7.41/7.59 search
7.41/7.59 run=11 nbConstraintChecks=2399266 nbAssignments=120000
7.41/7.59 => wckTime=7.059 cpuTime=6.96 mem=6M426
8.01/8.16
8.01/8.16 search
8.01/8.16 run=12 nbConstraintChecks=2565923 nbAssignments=130000
8.01/8.16 => wckTime=7.631 cpuTime=7.53 mem=6M426
8.60/8.74
8.60/8.74 search
8.60/8.74 run=13 nbConstraintChecks=2746467 nbAssignments=140000
8.60/8.74 => wckTime=8.21 cpuTime=8.1 mem=6M426
9.19/9.31
9.19/9.31 search
9.19/9.31 run=14 nbConstraintChecks=2898473 nbAssignments=150000
9.19/9.31 => wckTime=8.778 cpuTime=8.66 mem=6M426
9.69/9.88
9.69/9.88 search
9.69/9.88 run=15 nbConstraintChecks=3047426 nbAssignments=160000
9.69/9.88 => wckTime=9.353 cpuTime=9.23 mem=6M426
10.29/10.45
10.29/10.45 search
10.29/10.45 run=16 nbConstraintChecks=3214208 nbAssignments=170000
10.29/10.45 => wckTime=9.922 cpuTime=9.8 mem=6M426
10.88/11.04
10.88/11.04 search
10.88/11.04 run=17 nbConstraintChecks=3424501 nbAssignments=180000
10.88/11.04 => wckTime=10.51 cpuTime=10.37 mem=6M426
11.48/11.61
11.48/11.61 search
11.48/11.61 run=18 nbConstraintChecks=3584195 nbAssignments=190000
11.48/11.61 => wckTime=11.083 cpuTime=10.95 mem=6M426
11.97/12.20
11.97/12.20 search
11.97/12.20 run=19 nbConstraintChecks=3754266 nbAssignments=200000
11.97/12.20 => wckTime=11.667 cpuTime=11.52 mem=6M426
12.57/12.77
12.57/12.77 search
12.57/12.77 run=20 nbConstraintChecks=3924480 nbAssignments=210000
12.57/12.77 => wckTime=12.242 cpuTime=12.1 mem=6M426
13.16/13.37
13.16/13.37 search
13.16/13.37 run=21 nbConstraintChecks=4147531 nbAssignments=220000
13.16/13.37 => wckTime=12.838 cpuTime=12.68 mem=6M426
13.75/13.94
13.75/13.94 search
13.75/13.94 run=22 nbConstraintChecks=4318471 nbAssignments=230000
13.75/13.94 => wckTime=13.412 cpuTime=13.25 mem=6M426
14.34/14.53
14.34/14.53 search
14.34/14.53 run=23 nbConstraintChecks=4495991 nbAssignments=240000
14.34/14.53 => wckTime=13.997 cpuTime=13.83 mem=6M426
14.93/15.11
14.93/15.11 search
14.93/15.11 run=24 nbConstraintChecks=4674686 nbAssignments=250000
14.93/15.11 => wckTime=14.583 cpuTime=14.4 mem=6M426
15.54/15.70
15.54/15.70 search
15.54/15.70 run=25 nbConstraintChecks=4885200 nbAssignments=260000
15.54/15.70 => wckTime=15.172 cpuTime=14.99 mem=6M426
16.03/16.28
16.03/16.28 search
16.03/16.28 run=26 nbConstraintChecks=5069240 nbAssignments=270000
16.03/16.28 => wckTime=15.755 cpuTime=15.56 mem=6M426
16.62/16.87
16.62/16.87 search
16.62/16.87 run=27 nbConstraintChecks=5248767 nbAssignments=280000
16.62/16.87 => wckTime=16.336 cpuTime=16.14 mem=6M426
17.22/17.45
17.22/17.45 search
17.22/17.45 run=28 nbConstraintChecks=5449148 nbAssignments=290000
17.22/17.45 => wckTime=16.923 cpuTime=16.72 mem=6M426
17.81/18.04
17.81/18.04 search
17.81/18.04 run=29 nbConstraintChecks=5656853 nbAssignments=300000
17.81/18.04 => wckTime=17.512 cpuTime=17.31 mem=6M426
18.41/18.63
18.41/18.63 search
18.41/18.63 run=30 nbConstraintChecks=5827910 nbAssignments=310000
18.41/18.63 => wckTime=18.097 cpuTime=17.88 mem=6M426
19.00/19.20
19.00/19.20 search
19.00/19.20 run=31 nbConstraintChecks=5999729 nbAssignments=320000
19.00/19.20 => wckTime=18.673 cpuTime=18.45 mem=6M426
19.49/19.78
19.49/19.78 search
19.49/19.78 run=32 nbConstraintChecks=6160078 nbAssignments=330000
19.49/19.78 => wckTime=19.255 cpuTime=19.02 mem=6M426
20.09/20.36
20.09/20.36 search
20.09/20.36 run=33 nbConstraintChecks=6328175 nbAssignments=340000
20.09/20.36 => wckTime=19.829 cpuTime=19.6 mem=6M426
20.68/20.94
20.68/20.94 search
20.68/20.94 run=34 nbConstraintChecks=6492520 nbAssignments=350000
20.68/20.94 => wckTime=20.411 cpuTime=20.18 mem=6M426
21.28/21.51
21.28/21.51 search
21.28/21.51 run=35 nbConstraintChecks=6678775 nbAssignments=360000
21.28/21.52 => wckTime=20.986 cpuTime=20.75 mem=6M426
21.77/22.09
21.77/22.09 search
21.77/22.09 run=36 nbConstraintChecks=6833595 nbAssignments=370000
21.77/22.09 => wckTime=21.562 cpuTime=21.31 mem=6M426
22.36/22.66
22.36/22.66 search
22.36/22.66 run=37 nbConstraintChecks=6996867 nbAssignments=380000
22.36/22.66 => wckTime=22.131 cpuTime=21.88 mem=6M426
22.95/23.24
22.95/23.24 search
22.95/23.24 run=38 nbConstraintChecks=7166248 nbAssignments=390000
22.95/23.24 => wckTime=22.71 cpuTime=22.45 mem=6M426
23.55/23.81
23.55/23.81 search
23.55/23.81 run=39 nbConstraintChecks=7345210 nbAssignments=400000
23.55/23.81 => wckTime=23.283 cpuTime=23.02 mem=6M426
24.04/24.39
24.04/24.39 search
24.04/24.39 run=40 nbConstraintChecks=7517590 nbAssignments=410000
24.04/24.39 => wckTime=23.864 cpuTime=23.59 mem=6M426
24.64/24.97
24.64/24.97 search
24.64/24.97 run=41 nbConstraintChecks=7698806 nbAssignments=420000
24.64/24.97 => wckTime=24.436 cpuTime=24.17 mem=6M426
25.24/25.55
25.24/25.55 search
25.24/25.55 run=42 nbConstraintChecks=7867418 nbAssignments=430000
25.24/25.55 => wckTime=25.017 cpuTime=24.73 mem=6M426
25.83/26.12
25.83/26.12 search
25.83/26.12 run=43 nbConstraintChecks=8037367 nbAssignments=440000
25.83/26.12 => wckTime=25.592 cpuTime=25.3 mem=6M426
26.32/26.69
26.32/26.69 search
26.32/26.69 run=44 nbConstraintChecks=8202284 nbAssignments=450000
26.32/26.69 => wckTime=26.164 cpuTime=25.87 mem=6M426
26.92/27.27
26.92/27.27 search
26.92/27.27 run=45 nbConstraintChecks=8367850 nbAssignments=460000
26.92/27.27 => wckTime=26.738 cpuTime=26.43 mem=6M426
27.51/27.85
27.51/27.85 search
27.51/27.85 run=46 nbConstraintChecks=8565679 nbAssignments=470000
27.51/27.85 => wckTime=27.318 cpuTime=27.01 mem=6M426
28.11/28.43
28.11/28.43 search
28.11/28.43 run=47 nbConstraintChecks=8755538 nbAssignments=480000
28.11/28.43 => wckTime=27.898 cpuTime=27.58 mem=6M426
28.70/29.00
28.70/29.00 search
28.70/29.00 run=48 nbConstraintChecks=8922918 nbAssignments=490000
28.70/29.00 => wckTime=28.472 cpuTime=28.16 mem=6M426
29.20/29.57
29.20/29.57 search
29.20/29.57 run=49 nbConstraintChecks=9087243 nbAssignments=500000
29.20/29.57 => wckTime=29.045 cpuTime=28.73 mem=6M426
29.79/30.15
29.79/30.15 search
29.79/30.15 run=50 nbConstraintChecks=9252785 nbAssignments=510000
29.79/30.15 => wckTime=29.618 cpuTime=29.29 mem=6M426
30.38/30.74
30.38/30.74 search
30.38/30.74 run=51 nbConstraintChecks=9470292 nbAssignments=520000
30.38/30.74 => wckTime=30.208 cpuTime=29.87 mem=6M426
30.48/30.88
30.48/30.88 search
30.48/30.88 run=52 nbConstraintChecks=9516134 nbAssignments=522543
30.48/30.88 => wckTime=30.355 cpuTime=30.02 mem=6M426
30.48/30.88
30.48/30.88 global
30.48/30.88 nbConstraintChecks=9516134 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.48/30.88 solvingWckTime=30.352 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.48/30.88 globalCpuTime=30.25
30.48/30.89 => wckTime=30.626 cpuTime=30.22 mem=6M426
30.48/30.89
30.48/30.89 solver DecomposerSolver being built...
30.68/31.01 => wckTime=30.747 cpuTime=30.33 mem=17M322
30.68/31.01
30.68/31.01 preprocessing
30.68/31.01 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.68/31.01 detectedInconsistency=no
30.68/31.01 => wckTime=0.0020 cpuTime=0.0 mem=17M322
898.08/906.65
898.08/906.65 search
898.08/906.65 run=0 nbConstraintChecks=721697457 nbValidityChecks=468481526 minDepth=0 maxDepth=60 nbPropagations=0
898.08/906.65 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44980578 nbFailedAssignments=3704785 nbBacktracks=41275794
898.08/906.65 nbVisitedNodes=49345942
898.08/906.65 => wckTime=875.641 cpuTime=867.38 mem=19M281
898.08/906.65
898.08/906.65 global
898.08/906.65 nbConstraintChecks=721697457 nbValidityChecks=468481526 solvingWckTime=875.643 solvingCpuTime=867.38
898.08/906.65 expiredTime=no totalExploration=yes nbFoundSolutions=0 upperBound=1 upperBoundWckTime=0.0
898.08/906.65 upperBoundCpuTime=0.0 globalCpuTime=897.74
898.08/906.65 => wckTime=906.392 cpuTime=897.71 mem=19M281
898.08/906.65
898.08/906.65 s OPTIMUM FOUND
898.08/906.65 v 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 0 1 0 1 1 0 1 0 1
898.08/906.65 d NODES 44980578
898.08/906.65 d CHECKS 721697457
898.08/906.66
898.08/906.66 totalWckTime=906.464 totalCpuTime=897.74
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110641-1215831199/watcher-1110641-1215831199 -o /tmp/evaluation-result-1110641-1215831199/solver-1110641-1215831199 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1110641-1215831199.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: 2.00 2.00 2.00 4/81 15657
/proc/meminfo: memFree=1864368/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=10616 CPUtime=0
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 39821857 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 2654 472 209 9 0 1184 0
[pid=15657/tid=15658] ppid=15655 vsize=10616 CPUtime=0
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 39821858 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 13438936 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0167869 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15657
/proc/meminfo: memFree=1864368/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=44480 CPUtime=0
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 916 0 1 0 0 0 0 0 18 0 2 0 39821857 45547520 666 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 215469 1565 695 9 0 210448 0
[pid=15657/tid=15658] ppid=15655 vsize=861876 CPUtime=0
/proc/15657/task/15658/stat : 15658 (java) S 15655 15657 14872 0 -1 64 1190 0 1 0 0 0 0 0 19 0 5 0 39821858 882561024 1565 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16784584 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 44480
[startup+0.111529 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15657
/proc/meminfo: memFree=1864368/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=865988 CPUtime=0.09
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 3880 0 1 0 8 1 0 0 18 0 9 0 39821857 886771712 3321 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216497 3321 1745 9 0 211052 0
[pid=15657/tid=15658] ppid=15655 vsize=865988 CPUtime=0.08
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 2969 0 1 0 7 1 0 0 19 0 9 0 39821858 886771712 3321 996147200 134512640 134550740 4294955952 18446744073709551615 103651020 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988
[startup+0.301541 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15657
/proc/meminfo: memFree=1864368/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=866388 CPUtime=0.28
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 5772 0 1 0 25 3 0 0 18 0 9 0 39821857 887181312 5150 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216597 5150 1950 9 0 211125 0
[pid=15657/tid=15658] ppid=15655 vsize=866388 CPUtime=0.23
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 4797 0 1 0 20 3 0 0 18 0 9 0 39821858 887181312 5150 996147200 134512640 134550740 4294955952 18446744073709551615 4126511588 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866388
[startup+0.701575 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15657
/proc/meminfo: memFree=1864368/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=866620 CPUtime=0.68
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 8186 0 1 0 55 13 0 0 18 0 9 0 39821857 887418880 7353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216655 7353 2632 9 0 211161 0
[pid=15657/tid=15658] ppid=15655 vsize=866620 CPUtime=0.53
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 6046 0 1 0 41 12 0 0 20 0 9 0 39821858 887418880 7353 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866620
[startup+1.50163 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 15666
/proc/meminfo: memFree=1845224/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=866616 CPUtime=1.47
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 8191 0 1 0 82 65 0 0 18 0 9 0 39821857 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216654 7357 2633 9 0 211160 0
[pid=15657/tid=15658] ppid=15655 vsize=866616 CPUtime=1.32
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 6047 0 1 0 68 64 0 0 25 0 9 0 39821858 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15660] ppid=15655 vsize=866616 CPUtime=0.03
/proc/15657/task/15660/stat : 15660 (java) S 15655 15657 14872 0 -1 64 1111 0 0 0 3 0 0 0 16 0 9 0 39821860 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15661] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15661/stat : 15661 (java) S 15655 15657 14872 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39821860 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15662] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15662/stat : 15662 (java) S 15655 15657 14872 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39821860 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15663] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15663/stat : 15663 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39821862 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15664] ppid=15655 vsize=866616 CPUtime=0.09
/proc/15657/task/15664/stat : 15664 (java) S 15655 15657 14872 0 -1 64 337 0 0 0 9 0 0 0 16 0 9 0 39821862 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15665] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15665/stat : 15665 (java) S 15655 15657 14872 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39821862 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15666] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15666/stat : 15666 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39821862 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866616
[startup+3.10276 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 15666
/proc/meminfo: memFree=1844968/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=866616 CPUtime=3.05
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 8191 0 1 0 134 171 0 0 18 0 9 0 39821857 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216654 7357 2633 9 0 211160 0
[pid=15657/tid=15658] ppid=15655 vsize=866616 CPUtime=2.9
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 6047 0 1 0 120 170 0 0 25 0 9 0 39821858 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4126631088 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15660] ppid=15655 vsize=866616 CPUtime=0.03
/proc/15657/task/15660/stat : 15660 (java) S 15655 15657 14872 0 -1 64 1111 0 0 0 3 0 0 0 16 0 9 0 39821860 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15661] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15661/stat : 15661 (java) S 15655 15657 14872 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39821860 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15662] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15662/stat : 15662 (java) S 15655 15657 14872 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39821860 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15663] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15663/stat : 15663 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39821862 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15664] ppid=15655 vsize=866616 CPUtime=0.09
/proc/15657/task/15664/stat : 15664 (java) S 15655 15657 14872 0 -1 64 337 0 0 0 9 0 0 0 16 0 9 0 39821862 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15665] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15665/stat : 15665 (java) S 15655 15657 14872 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39821862 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15666] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15666/stat : 15666 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39821862 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 866616
[startup+6.30201 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 15666
/proc/meminfo: memFree=1844840/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=866616 CPUtime=6.22
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 8192 0 1 0 240 382 0 0 18 0 9 0 39821857 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216654 7357 2633 9 0 211160 0
[pid=15657/tid=15658] ppid=15655 vsize=866616 CPUtime=6.07
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 6048 0 1 0 226 381 0 0 25 0 9 0 39821858 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15660] ppid=15655 vsize=866616 CPUtime=0.03
/proc/15657/task/15660/stat : 15660 (java) S 15655 15657 14872 0 -1 64 1111 0 0 0 3 0 0 0 16 0 9 0 39821860 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15661] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15661/stat : 15661 (java) S 15655 15657 14872 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39821860 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15662] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15662/stat : 15662 (java) S 15655 15657 14872 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39821860 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15663] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15663/stat : 15663 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39821862 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15664] ppid=15655 vsize=866616 CPUtime=0.09
/proc/15657/task/15664/stat : 15664 (java) S 15655 15657 14872 0 -1 64 337 0 0 0 9 0 0 0 16 0 9 0 39821862 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15665] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15665/stat : 15665 (java) S 15655 15657 14872 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39821862 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15666] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15666/stat : 15666 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39821862 887414784 7357 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 866616
[startup+12.7025 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 15666
/proc/meminfo: memFree=1844584/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=866616 CPUtime=12.57
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 8193 0 1 0 446 811 0 0 18 0 9 0 39821857 887414784 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216654 7358 2633 9 0 211160 0
[pid=15657/tid=15658] ppid=15655 vsize=866616 CPUtime=12.42
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 6048 0 1 0 432 810 0 0 25 0 9 0 39821858 887414784 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4126623401 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15660] ppid=15655 vsize=866616 CPUtime=0.03
/proc/15657/task/15660/stat : 15660 (java) S 15655 15657 14872 0 -1 64 1111 0 0 0 3 0 0 0 16 0 9 0 39821860 887414784 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15661] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15661/stat : 15661 (java) S 15655 15657 14872 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39821860 887414784 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15662] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15662/stat : 15662 (java) S 15655 15657 14872 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39821860 887414784 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15663] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15663/stat : 15663 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39821862 887414784 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15664] ppid=15655 vsize=866616 CPUtime=0.1
/proc/15657/task/15664/stat : 15664 (java) S 15655 15657 14872 0 -1 64 338 0 0 0 10 0 0 0 16 0 9 0 39821862 887414784 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15665] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15665/stat : 15665 (java) S 15655 15657 14872 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39821862 887414784 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15666] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15666/stat : 15666 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39821862 887414784 7358 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 866616
[startup+25.5015 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 15666
/proc/meminfo: memFree=1844584/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=866616 CPUtime=25.24
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 8198 0 1 0 856 1668 0 0 18 0 9 0 39821857 887414784 7363 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216654 7363 2633 9 0 211160 0
[pid=15657/tid=15658] ppid=15655 vsize=866616 CPUtime=25.07
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 6048 0 1 0 840 1667 0 0 25 0 9 0 39821858 887414784 7363 996147200 134512640 134550740 4294955952 18446744073709551615 4126623557 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15660] ppid=15655 vsize=866616 CPUtime=0.03
/proc/15657/task/15660/stat : 15660 (java) S 15655 15657 14872 0 -1 64 1111 0 0 0 3 0 0 0 16 0 9 0 39821860 887414784 7363 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15661] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15661/stat : 15661 (java) S 15655 15657 14872 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39821860 887414784 7363 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15662] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15662/stat : 15662 (java) S 15655 15657 14872 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39821860 887414784 7363 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15663] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15663/stat : 15663 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39821862 887414784 7363 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15664] ppid=15655 vsize=866616 CPUtime=0.11
/proc/15657/task/15664/stat : 15664 (java) S 15655 15657 14872 0 -1 64 343 0 0 0 11 0 0 0 16 0 9 0 39821862 887414784 7363 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15665] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15665/stat : 15665 (java) S 15655 15657 14872 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39821862 887414784 7363 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15666] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15666/stat : 15666 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39821862 887414784 7363 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 866616
[startup+51.1016 s]
/proc/loadavg: 2.06 2.01 2.00 3/90 15666
/proc/meminfo: memFree=1835112/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=866616 CPUtime=50.59
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 10544 0 1 0 3033 2026 0 0 18 0 9 0 39821857 887414784 9707 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216654 9707 2634 9 0 211160 0
[pid=15657/tid=15658] ppid=15655 vsize=866616 CPUtime=50.36
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 8349 0 1 0 3011 2025 0 0 25 0 9 0 39821858 887414784 9707 996147200 134512640 134550740 4294955952 18446744073709551615 4126742064 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15660] ppid=15655 vsize=866616 CPUtime=0.03
################
# More data... #
################
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 10547 0 1 0 86720 2028 0 0 18 0 9 0 39821857 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216654 9710 2634 9 0 211160 0
[pid=15657/tid=15658] ppid=15655 vsize=866616 CPUtime=887.25
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 8352 0 1 0 86698 2027 0 0 25 0 9 0 39821858 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4126767811 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15660] ppid=15655 vsize=866616 CPUtime=0.03
/proc/15657/task/15660/stat : 15660 (java) S 15655 15657 14872 0 -1 64 1111 0 0 0 3 0 0 0 16 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15661] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15661/stat : 15661 (java) S 15655 15657 14872 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15662] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15662/stat : 15662 (java) S 15655 15657 14872 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15663] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15663/stat : 15663 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15664] ppid=15655 vsize=866616 CPUtime=0.17
/proc/15657/task/15664/stat : 15664 (java) S 15655 15657 14872 0 -1 64 388 0 0 0 17 0 0 0 16 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15665] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15665/stat : 15665 (java) S 15655 15657 14872 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15666] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15666/stat : 15666 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 887.48
Current children cumulated vsize (KiB) 866616
[startup+902.302 s]
/proc/loadavg: 2.09 2.03 2.00 3/90 15672
/proc/meminfo: memFree=1834344/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=866616 CPUtime=893.82
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 10547 0 1 0 87354 2028 0 0 18 0 9 0 39821857 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216654 9710 2634 9 0 211160 0
[pid=15657/tid=15658] ppid=15655 vsize=866616 CPUtime=893.59
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 8352 0 1 0 87332 2027 0 0 25 0 9 0 39821858 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4126768821 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15660] ppid=15655 vsize=866616 CPUtime=0.03
/proc/15657/task/15660/stat : 15660 (java) S 15655 15657 14872 0 -1 64 1111 0 0 0 3 0 0 0 16 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15661] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15661/stat : 15661 (java) S 15655 15657 14872 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15662] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15662/stat : 15662 (java) S 15655 15657 14872 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15663] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15663/stat : 15663 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15664] ppid=15655 vsize=866616 CPUtime=0.17
/proc/15657/task/15664/stat : 15664 (java) S 15655 15657 14872 0 -1 64 388 0 0 0 17 0 0 0 16 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15665] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15665/stat : 15665 (java) S 15655 15657 14872 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15666] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15666/stat : 15666 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 893.82
Current children cumulated vsize (KiB) 866616
[startup+903.901 s]
/proc/loadavg: 2.09 2.03 2.00 3/90 15672
/proc/meminfo: memFree=1834344/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=866616 CPUtime=895.4
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 10547 0 1 0 87512 2028 0 0 18 0 9 0 39821857 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216654 9710 2634 9 0 211160 0
[pid=15657/tid=15658] ppid=15655 vsize=866616 CPUtime=895.17
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 8352 0 1 0 87490 2027 0 0 25 0 9 0 39821858 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4126765036 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15660] ppid=15655 vsize=866616 CPUtime=0.03
/proc/15657/task/15660/stat : 15660 (java) S 15655 15657 14872 0 -1 64 1111 0 0 0 3 0 0 0 16 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15661] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15661/stat : 15661 (java) S 15655 15657 14872 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15662] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15662/stat : 15662 (java) S 15655 15657 14872 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15663] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15663/stat : 15663 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15664] ppid=15655 vsize=866616 CPUtime=0.17
/proc/15657/task/15664/stat : 15664 (java) S 15655 15657 14872 0 -1 64 388 0 0 0 17 0 0 0 16 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15665] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15665/stat : 15665 (java) S 15655 15657 14872 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15666] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15666/stat : 15666 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 895.4
Current children cumulated vsize (KiB) 866616
[startup+905.501 s]
/proc/loadavg: 2.09 2.03 2.00 3/90 15672
/proc/meminfo: memFree=1834344/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=866616 CPUtime=896.99
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 10547 0 1 0 87671 2028 0 0 18 0 9 0 39821857 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216654 9710 2634 9 0 211160 0
[pid=15657/tid=15658] ppid=15655 vsize=866616 CPUtime=896.76
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 8352 0 1 0 87649 2027 0 0 25 0 9 0 39821858 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4126761555 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15660] ppid=15655 vsize=866616 CPUtime=0.03
/proc/15657/task/15660/stat : 15660 (java) S 15655 15657 14872 0 -1 64 1111 0 0 0 3 0 0 0 16 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15661] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15661/stat : 15661 (java) S 15655 15657 14872 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15662] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15662/stat : 15662 (java) S 15655 15657 14872 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15663] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15663/stat : 15663 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15664] ppid=15655 vsize=866616 CPUtime=0.17
/proc/15657/task/15664/stat : 15664 (java) S 15655 15657 14872 0 -1 64 388 0 0 0 17 0 0 0 16 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15665] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15665/stat : 15665 (java) S 15655 15657 14872 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15666] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15666/stat : 15666 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 896.99
Current children cumulated vsize (KiB) 866616
[startup+906.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/90 15672
/proc/meminfo: memFree=1834344/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=866616 CPUtime=897.78
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 10547 0 1 0 87750 2028 0 0 18 0 9 0 39821857 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216654 9710 2634 9 0 211160 0
[pid=15657/tid=15658] ppid=15655 vsize=866616 CPUtime=897.55
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 8352 0 1 0 87728 2027 0 0 25 0 9 0 39821858 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4126742884 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15660] ppid=15655 vsize=866616 CPUtime=0.03
/proc/15657/task/15660/stat : 15660 (java) S 15655 15657 14872 0 -1 64 1111 0 0 0 3 0 0 0 16 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15661] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15661/stat : 15661 (java) S 15655 15657 14872 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15662] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15662/stat : 15662 (java) S 15655 15657 14872 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15663] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15663/stat : 15663 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15664] ppid=15655 vsize=866616 CPUtime=0.17
/proc/15657/task/15664/stat : 15664 (java) S 15655 15657 14872 0 -1 64 388 0 0 0 17 0 0 0 16 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15665] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15665/stat : 15665 (java) S 15655 15657 14872 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15666] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15666/stat : 15666 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 897.78
Current children cumulated vsize (KiB) 866616
[startup+906.502 s]
/proc/loadavg: 2.08 2.03 2.00 3/90 15672
/proc/meminfo: memFree=1834344/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=866616 CPUtime=897.98
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 10547 0 1 0 87770 2028 0 0 18 0 9 0 39821857 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216654 9710 2634 9 0 211160 0
[pid=15657/tid=15658] ppid=15655 vsize=866616 CPUtime=897.75
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 8352 0 1 0 87748 2027 0 0 25 0 9 0 39821858 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4126743688 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15660] ppid=15655 vsize=866616 CPUtime=0.03
/proc/15657/task/15660/stat : 15660 (java) S 15655 15657 14872 0 -1 64 1111 0 0 0 3 0 0 0 16 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15661] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15661/stat : 15661 (java) S 15655 15657 14872 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15662] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15662/stat : 15662 (java) S 15655 15657 14872 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15663] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15663/stat : 15663 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15664] ppid=15655 vsize=866616 CPUtime=0.17
/proc/15657/task/15664/stat : 15664 (java) S 15655 15657 14872 0 -1 64 388 0 0 0 17 0 0 0 16 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15665] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15665/stat : 15665 (java) S 15655 15657 14872 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15666] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15666/stat : 15666 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 897.98
Current children cumulated vsize (KiB) 866616
[startup+906.602 s]
/proc/loadavg: 2.08 2.03 2.00 3/90 15672
/proc/meminfo: memFree=1834344/2055920 swapFree=4181272/4192956
[pid=15657] ppid=15655 vsize=866616 CPUtime=898.08
/proc/15657/stat : 15657 (java) S 15655 15657 14872 0 -1 0 10547 0 1 0 87780 2028 0 0 18 0 9 0 39821857 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15657/statm: 216654 9710 2634 9 0 211160 0
[pid=15657/tid=15658] ppid=15655 vsize=866616 CPUtime=897.85
/proc/15657/task/15658/stat : 15658 (java) R 15655 15657 14872 0 -1 64 8352 0 1 0 87758 2027 0 0 25 0 9 0 39821858 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4126750545 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15660] ppid=15655 vsize=866616 CPUtime=0.03
/proc/15657/task/15660/stat : 15660 (java) S 15655 15657 14872 0 -1 64 1111 0 0 0 3 0 0 0 16 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15661] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15661/stat : 15661 (java) S 15655 15657 14872 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15662] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15662/stat : 15662 (java) S 15655 15657 14872 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39821860 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15663] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15663/stat : 15663 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15664] ppid=15655 vsize=866616 CPUtime=0.17
/proc/15657/task/15664/stat : 15664 (java) S 15655 15657 14872 0 -1 64 388 0 0 0 17 0 0 0 16 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15665] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15665/stat : 15665 (java) S 15655 15657 14872 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15657/tid=15666] ppid=15655 vsize=866616 CPUtime=0
/proc/15657/task/15666/stat : 15666 (java) S 15655 15657 14872 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 39821862 887414784 9710 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 898.08
Current children cumulated vsize (KiB) 866616
Child status: 0
Real time (s): 906.689
CPU time (s): 898.146
CPU user time (s): 877.858
CPU system time (s): 20.2889
CPU usage (%): 99.0579
Max. virtual memory (cumulated for all children) (KiB): 866620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 877.858
system time used= 20.2889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10653
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= 19336
involuntary context switches= 49016
runsolver used 1.39179 second user time and 2.76158 second system time
The end
Begin job on node26 at 2008-07-12 04:53:19
IDJOB=1110641
IDBENCH=61133
IDSOLVER=359
FILE ID=node26/1110641-1215831199
PBS_JOBID= 7903348
Free space on /tmp= 66468 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/dubois/normalized-dubois-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110641-1215831199/watcher-1110641-1215831199 -o /tmp/evaluation-result-1110641-1215831199/solver-1110641-1215831199 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1110641-1215831199.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 9673fb436a813e38afb3120810ba47eb
RANDOM SEED=818046379
node26.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.213
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.213
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: 1864848 kB
Buffers: 28444 kB
Cached: 86056 kB
SwapCached: 5860 kB
Active: 73300 kB
Inactive: 59828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1864848 kB
SwapTotal: 4192956 kB
SwapFree: 4181272 kB
Dirty: 2980 kB
Writeback: 0 kB
Mapped: 34360 kB
Slab: 43096 kB
Committed_AS: 167840 kB
PageTables: 1800 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= 66468 MiB
End job on node26 at 2008-07-12 05:08:26