0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mrdac-wdeg.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1112105-1215862207.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.36 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.28/0.36 => wckTime=0.108 cpuTime=0.1 mem=7M858
0.28/0.36
0.28/0.36 relations being loaded...
0.47/0.60
0.47/0.60 constraints being loaded...
0.57/0.68 nbConstraints=60 nbRelationTypes=60 nbExtensionStructures=60 nbSharedExtensionStructures=0
0.57/0.68 nbConflictsStructures=60 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 minDegree=2 maxDegree=14
0.57/0.68 minArity=3 maxArity=3
0.57/0.68 => wckTime=0.422 cpuTime=0.37 mem=31M735
0.67/0.76
0.67/0.76 solver LocalSearchSolver being built...
0.78/0.80 => wckTime=0.544 cpuTime=0.42 mem=11M404
0.78/0.80
0.78/0.80 s SATISFIABLE
0.78/0.80 o 29
0.78/0.81 o 26
0.78/0.81 o 24
0.78/0.81 o 23
0.78/0.81 o 20
0.78/0.81 o 16
0.78/0.81 o 13
0.78/0.81 o 12
0.78/0.81 o 11
0.78/0.81 o 10
0.78/0.82 o 9
0.78/0.82 o 8
0.78/0.82 o 7
0.78/0.84 o 6
0.78/0.86 o 5
0.96/1.01 o 4
1.07/1.18 o 3
2.24/2.36
2.24/2.36 search
2.24/2.36 run=0 nbConstraintChecks=10960739 nbAssignments=10000
2.24/2.36 => wckTime=1.565 cpuTime=1.51 mem=12M436
3.73/3.84
3.73/3.84 search
3.73/3.84 run=1 nbConstraintChecks=21595012 nbAssignments=20000
3.73/3.84 => wckTime=3.04 cpuTime=2.96 mem=12M436
5.11/5.29
5.11/5.29 search
5.11/5.29 run=2 nbConstraintChecks=32323850 nbAssignments=30000
5.11/5.29 => wckTime=4.493 cpuTime=4.4 mem=12M436
6.59/6.76 o 2
6.59/6.77
6.59/6.77 search
6.59/6.77 run=3 nbConstraintChecks=43171202 nbAssignments=40000
6.59/6.77 => wckTime=5.975 cpuTime=5.85 mem=12M436
8.07/8.25
8.07/8.25 search
8.07/8.25 run=4 nbConstraintChecks=54162314 nbAssignments=50000
8.07/8.25 => wckTime=7.45 cpuTime=7.31 mem=12M436
9.55/9.75
9.55/9.75 search
9.55/9.75 run=5 nbConstraintChecks=65371265 nbAssignments=60000
9.55/9.75 => wckTime=8.951 cpuTime=8.79 mem=12M436
11.02/11.24
11.02/11.25 search
11.02/11.25 run=6 nbConstraintChecks=76605215 nbAssignments=70000
11.02/11.25 => wckTime=10.449 cpuTime=10.27 mem=12M436
12.51/12.74
12.51/12.74 search
12.51/12.74 run=7 nbConstraintChecks=87897687 nbAssignments=80000
12.51/12.74 => wckTime=11.948 cpuTime=11.76 mem=12M436
13.99/14.26
13.99/14.26 search
13.99/14.26 run=8 nbConstraintChecks=99116587 nbAssignments=90000
13.99/14.26 => wckTime=13.465 cpuTime=13.24 mem=12M436
15.47/15.76
15.47/15.76 search
15.47/15.76 run=9 nbConstraintChecks=110271660 nbAssignments=100000
15.47/15.76 => wckTime=14.968 cpuTime=14.73 mem=12M436
16.95/17.27
16.95/17.27 search
16.95/17.27 run=10 nbConstraintChecks=121462212 nbAssignments=110000
16.95/17.27 => wckTime=16.47 cpuTime=16.22 mem=12M436
18.43/18.78
18.43/18.78 search
18.43/18.78 run=11 nbConstraintChecks=132703658 nbAssignments=120000
18.43/18.78 => wckTime=17.984 cpuTime=17.71 mem=12M436
19.91/20.25
19.91/20.25 search
19.91/20.25 run=12 nbConstraintChecks=143441033 nbAssignments=130000
19.91/20.25 => wckTime=19.457 cpuTime=19.16 mem=12M436
21.40/21.73
21.40/21.73 search
21.40/21.73 run=13 nbConstraintChecks=154325424 nbAssignments=140000
21.40/21.74 => wckTime=20.939 cpuTime=20.62 mem=12M436
22.87/23.27
22.87/23.27 search
22.87/23.27 run=14 nbConstraintChecks=165725088 nbAssignments=150000
22.87/23.27 => wckTime=22.47 cpuTime=22.13 mem=12M436
24.36/24.72
24.36/24.72 search
24.36/24.72 run=15 nbConstraintChecks=176480199 nbAssignments=160000
24.36/24.72 => wckTime=23.929 cpuTime=23.58 mem=12M436
25.84/26.25
25.84/26.25 search
25.84/26.25 run=16 nbConstraintChecks=187940970 nbAssignments=170000
25.84/26.25 => wckTime=25.452 cpuTime=25.08 mem=12M436
27.21/27.63
27.21/27.63 search
27.21/27.63 run=17 nbConstraintChecks=197669852 nbAssignments=180000
27.21/27.63 => wckTime=26.831 cpuTime=26.44 mem=12M436
28.60/29.08
28.60/29.08 search
28.60/29.08 run=18 nbConstraintChecks=208451465 nbAssignments=190000
28.60/29.08 => wckTime=28.286 cpuTime=27.87 mem=12M436
30.08/30.55
30.08/30.55 search
30.08/30.55 run=19 nbConstraintChecks=219238005 nbAssignments=200000
30.08/30.55 => wckTime=29.749 cpuTime=29.32 mem=12M436
31.56/32.05
31.56/32.05 search
31.56/32.05 run=20 nbConstraintChecks=230389637 nbAssignments=210000
31.56/32.05 => wckTime=31.25 cpuTime=30.8 mem=12M436
33.04/33.54
33.04/33.54 search
33.04/33.54 run=21 nbConstraintChecks=241428494 nbAssignments=220000
33.04/33.54 => wckTime=32.742 cpuTime=32.27 mem=12M436
34.53/35.03
34.53/35.03 search
34.53/35.03 run=22 nbConstraintChecks=252310224 nbAssignments=230000
34.53/35.03 => wckTime=34.231 cpuTime=33.74 mem=12M436
35.99/36.53
35.99/36.54 search
35.99/36.54 run=23 nbConstraintChecks=263516138 nbAssignments=240000
35.99/36.54 => wckTime=35.739 cpuTime=35.22 mem=12M436
36.59/37.16
36.59/37.16 search
36.59/37.16 run=24 nbConstraintChecks=268207546 nbAssignments=244203
36.59/37.16 => wckTime=36.364 cpuTime=35.85 mem=12M436
36.59/37.16
36.59/37.16 global
36.59/37.16 nbConstraintChecks=268207546 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.59/37.16 solvingWckTime=36.362 solvingCpuTime=35.85 expiredTime=no totalExploration=no nbFoundSolutions=0
36.59/37.16 globalCpuTime=36.32
36.59/37.16 => wckTime=36.908 cpuTime=36.28 mem=12M436
36.59/37.16
36.59/37.16 solver DecomposerSolver being built...
36.69/37.27 => wckTime=37.02 cpuTime=36.36 mem=23M209
36.69/37.28
36.69/37.28 preprocessing
36.69/37.28 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
36.69/37.28 detectedInconsistency=no
36.69/37.28 => wckTime=0.0040 cpuTime=0.0 mem=23M209
1165.70/1180.48 o 1
1165.70/1180.48 First solution found
2395.66/2426.81
2395.66/2426.81 search
2395.66/2426.81 run=0 nbConstraintChecks=5985916262 nbValidityChecks=9446985206 minDepth=0 maxDepth=20 nbPropagations=0
2395.66/2426.81 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3761023 nbFailedAssignments=2120166 nbBacktracks=1640857
2395.66/2426.81 nbVisitedNodes=6910236 nbFoundSolutions=1
2395.66/2426.81 => wckTime=2389.532 cpuTime=2358.82 mem=25M152
2395.66/2426.81
2395.66/2426.81 global
2395.66/2426.81 nbConstraintChecks=5985916262 nbValidityChecks=9446985206 solvingWckTime=2389.535 solvingCpuTime=2358.82
2395.66/2426.81 expiredTime=no totalExploration=yes nbFoundSolutions=1 firstSolutionCpuTime=1165.3 upperBound=1
2395.66/2426.81 upperBoundWckTime=1180.23 upperBoundCpuTime=1165.3 globalCpuTime=2395.22
2395.66/2426.81 => wckTime=2426.556 cpuTime=2395.18 mem=25M152
2395.66/2426.81
2395.66/2426.81 s OPTIMUM FOUND
2395.66/2426.81 v 1 13 10 8 4 9 13 12 18 18 12 12 2 8 7 0 13 18 14 1
2395.66/2426.81 d NODES 3761023
2395.66/2426.81 d CHECKS 5985916262
2395.66/2426.81
2395.66/2426.81 totalWckTime=2426.626 totalCpuTime=2395.22
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112105-1215862207/watcher-1112105-1215862207 -o /tmp/evaluation-result-1112105-1215862207/solver-1112105-1215862207 -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-1112105-1215862207.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/112 15298
/proc/meminfo: memFree=1345952/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=18572 CPUtime=0
/proc/15298/stat : 15298 (runsolver) R 15296 15298 14571 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 42917889 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 270187162919 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15298/statm: 4643 292 257 25 0 2626 0
[startup+0.0188549 s]
/proc/loadavg: 2.00 2.00 2.00 4/112 15298
/proc/meminfo: memFree=1345952/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=10704 CPUtime=0
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 739 0 0 0 0 0 0 0 20 0 2 0 42917889 10960896 519 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 2676 519 243 9 0 1196 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10704
[startup+0.10151 s]
/proc/loadavg: 2.00 2.00 2.00 4/112 15298
/proc/meminfo: memFree=1345952/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=865988 CPUtime=0.08
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 3703 0 1 0 6 2 0 0 20 0 9 0 42917889 886771712 3178 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216497 3178 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.30155 s]
/proc/loadavg: 2.00 2.00 2.00 4/112 15298
/proc/meminfo: memFree=1345952/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=866360 CPUtime=0.28
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 5821 0 1 0 24 4 0 0 20 0 9 0 42917889 887152640 5196 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216590 5196 1955 9 0 211118 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866360
[startup+0.701632 s]
/proc/loadavg: 2.00 2.00 2.00 4/112 15298
/proc/meminfo: memFree=1345952/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=866540 CPUtime=0.67
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 12540 0 1 0 60 7 0 0 20 0 9 0 42917889 887336960 11841 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216635 11841 2052 9 0 211163 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866540
[startup+1.50178 s]
/proc/loadavg: 2.00 2.00 2.00 3/121 15307
/proc/meminfo: memFree=1299288/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=866628 CPUtime=1.46
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 15015 0 1 0 122 24 0 0 20 0 9 0 42917889 887427072 14182 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216657 14182 2632 9 0 211163 0
[pid=15298/tid=15300] ppid=15296 vsize=866628 CPUtime=1.25
/proc/15298/task/15300/stat : 15300 (java) R 15296 15298 14571 0 -1 64 11408 0 1 0 104 21 0 0 25 0 9 0 42917891 887427072 14182 996147200 134512640 134550740 4294955952 18446744073709551615 4126666422 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15301] ppid=15296 vsize=866628 CPUtime=0.06
/proc/15298/task/15301/stat : 15301 (java) S 15296 15298 14571 0 -1 64 2573 0 0 0 6 0 0 0 16 0 9 0 42917893 887427072 14182 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15302] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15302/stat : 15302 (java) S 15296 15298 14571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42917893 887427072 14182 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15303] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15303/stat : 15303 (java) S 15296 15298 14571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42917893 887427072 14182 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15304] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15304/stat : 15304 (java) S 15296 15298 14571 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14182 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15305] ppid=15296 vsize=866628 CPUtime=0.11
/proc/15298/task/15305/stat : 15305 (java) S 15296 15298 14571 0 -1 64 338 0 0 0 11 0 0 0 16 0 9 0 42917895 887427072 14182 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15306] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15306/stat : 15306 (java) S 15296 15298 14571 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14182 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15307] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15307/stat : 15307 (java) S 15296 15298 14571 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42917895 887427072 14182 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 866628
[startup+3.10209 s]
/proc/loadavg: 2.00 2.00 2.00 4/121 15307
/proc/meminfo: memFree=1299032/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=866628 CPUtime=3.04
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 15021 0 1 0 239 65 0 0 20 0 9 0 42917889 887427072 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216657 14187 2633 9 0 211163 0
[pid=15298/tid=15300] ppid=15296 vsize=866628 CPUtime=2.84
/proc/15298/task/15300/stat : 15300 (java) R 15296 15298 14571 0 -1 64 11409 0 1 0 221 63 0 0 25 0 9 0 42917891 887427072 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4126670566 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15301] ppid=15296 vsize=866628 CPUtime=0.06
/proc/15298/task/15301/stat : 15301 (java) S 15296 15298 14571 0 -1 64 2573 0 0 0 6 0 0 0 16 0 9 0 42917893 887427072 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15302] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15302/stat : 15302 (java) S 15296 15298 14571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42917893 887427072 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15303] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15303/stat : 15303 (java) S 15296 15298 14571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42917893 887427072 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15304] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15304/stat : 15304 (java) S 15296 15298 14571 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15305] ppid=15296 vsize=866628 CPUtime=0.11
/proc/15298/task/15305/stat : 15305 (java) S 15296 15298 14571 0 -1 64 343 0 0 0 11 0 0 0 16 0 9 0 42917895 887427072 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15306] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15306/stat : 15306 (java) S 15296 15298 14571 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15307] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15307/stat : 15307 (java) S 15296 15298 14571 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42917895 887427072 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 866628
[startup+6.30172 s]
/proc/loadavg: 2.00 2.00 2.00 3/121 15307
/proc/meminfo: memFree=1298776/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=866632 CPUtime=6.2
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 15022 0 1 0 476 144 0 0 20 0 9 0 42917889 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216658 14187 2633 9 0 211164 0
[pid=15298/tid=15300] ppid=15296 vsize=866632 CPUtime=6
/proc/15298/task/15300/stat : 15300 (java) R 15296 15298 14571 0 -1 64 11410 0 1 0 458 142 0 0 25 0 9 0 42917891 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15301] ppid=15296 vsize=866632 CPUtime=0.06
/proc/15298/task/15301/stat : 15301 (java) S 15296 15298 14571 0 -1 64 2573 0 0 0 6 0 0 0 16 0 9 0 42917893 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15302] ppid=15296 vsize=866632 CPUtime=0
/proc/15298/task/15302/stat : 15302 (java) S 15296 15298 14571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42917893 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15303] ppid=15296 vsize=866632 CPUtime=0
/proc/15298/task/15303/stat : 15303 (java) S 15296 15298 14571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42917893 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15304] ppid=15296 vsize=866632 CPUtime=0
/proc/15298/task/15304/stat : 15304 (java) S 15296 15298 14571 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42917895 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15305] ppid=15296 vsize=866632 CPUtime=0.11
/proc/15298/task/15305/stat : 15305 (java) S 15296 15298 14571 0 -1 64 343 0 0 0 11 0 0 0 16 0 9 0 42917895 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15306] ppid=15296 vsize=866632 CPUtime=0
/proc/15298/task/15306/stat : 15306 (java) S 15296 15298 14571 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 42917895 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15307] ppid=15296 vsize=866632 CPUtime=0
/proc/15298/task/15307/stat : 15307 (java) S 15296 15298 14571 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42917895 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 866632
[startup+12.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/121 15307
/proc/meminfo: memFree=1298712/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=866632 CPUtime=12.51
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 15023 0 1 0 949 302 0 0 20 0 9 0 42917889 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216658 14187 2633 9 0 211164 0
[pid=15298/tid=15300] ppid=15296 vsize=866632 CPUtime=12.31
/proc/15298/task/15300/stat : 15300 (java) R 15296 15298 14571 0 -1 64 11411 0 1 0 931 300 0 0 25 0 9 0 42917891 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15301] ppid=15296 vsize=866632 CPUtime=0.06
/proc/15298/task/15301/stat : 15301 (java) S 15296 15298 14571 0 -1 64 2573 0 0 0 6 0 0 0 16 0 9 0 42917893 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15302] ppid=15296 vsize=866632 CPUtime=0
/proc/15298/task/15302/stat : 15302 (java) S 15296 15298 14571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42917893 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15303] ppid=15296 vsize=866632 CPUtime=0
/proc/15298/task/15303/stat : 15303 (java) S 15296 15298 14571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42917893 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15304] ppid=15296 vsize=866632 CPUtime=0
/proc/15298/task/15304/stat : 15304 (java) S 15296 15298 14571 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42917895 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15305] ppid=15296 vsize=866632 CPUtime=0.11
/proc/15298/task/15305/stat : 15305 (java) S 15296 15298 14571 0 -1 64 343 0 0 0 11 0 0 0 16 0 9 0 42917895 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15306] ppid=15296 vsize=866632 CPUtime=0
/proc/15298/task/15306/stat : 15306 (java) S 15296 15298 14571 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 42917895 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15307] ppid=15296 vsize=866632 CPUtime=0
/proc/15298/task/15307/stat : 15307 (java) S 15296 15298 14571 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42917895 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 866632
[startup+25.5015 s]
/proc/loadavg: 2.00 2.00 2.00 3/121 15307
/proc/meminfo: memFree=1298712/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=866632 CPUtime=25.14
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 15023 0 1 0 1893 621 0 0 20 0 9 0 42917889 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216658 14187 2633 9 0 211164 0
[pid=15298/tid=15300] ppid=15296 vsize=866632 CPUtime=24.94
/proc/15298/task/15300/stat : 15300 (java) R 15296 15298 14571 0 -1 64 11411 0 1 0 1875 619 0 0 25 0 9 0 42917891 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15301] ppid=15296 vsize=866632 CPUtime=0.06
/proc/15298/task/15301/stat : 15301 (java) S 15296 15298 14571 0 -1 64 2573 0 0 0 6 0 0 0 16 0 9 0 42917893 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15302] ppid=15296 vsize=866632 CPUtime=0
/proc/15298/task/15302/stat : 15302 (java) S 15296 15298 14571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42917893 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15303] ppid=15296 vsize=866632 CPUtime=0
/proc/15298/task/15303/stat : 15303 (java) S 15296 15298 14571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42917893 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15304] ppid=15296 vsize=866632 CPUtime=0
/proc/15298/task/15304/stat : 15304 (java) S 15296 15298 14571 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42917895 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15305] ppid=15296 vsize=866632 CPUtime=0.11
/proc/15298/task/15305/stat : 15305 (java) S 15296 15298 14571 0 -1 64 343 0 0 0 11 0 0 0 16 0 9 0 42917895 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15306] ppid=15296 vsize=866632 CPUtime=0
/proc/15298/task/15306/stat : 15306 (java) S 15296 15298 14571 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 42917895 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15307] ppid=15296 vsize=866632 CPUtime=0
/proc/15298/task/15307/stat : 15307 (java) S 15296 15298 14571 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42917895 887431168 14187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 866632
[startup+51.1015 s]
/proc/loadavg: 2.00 2.00 2.00 3/121 15307
/proc/meminfo: memFree=1298264/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=866628 CPUtime=50.41
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 15127 0 1 0 4130 911 0 0 20 0 9 0 42917889 887427072 14288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216657 14288 2634 9 0 211163 0
[pid=15298/tid=15300] ppid=15296 vsize=866628 CPUtime=50.12
/proc/15298/task/15300/stat : 15300 (java) R 15296 15298 14571 0 -1 64 11471 0 1 0 4104 908 0 0 25 0 9 0 42917891 887427072 14288 996147200 134512640 134550740 4294955952 18446744073709551615 4126775036 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15301] ppid=15296 vsize=866628 CPUtime=0.06
/proc/15298/task/15301/stat : 15301 (java) S 15296 15298 14571 0 -1 64 2573 0 0 0 6 0 0 0 16 0 9 0 42917893 887427072 14288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15302] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15302/stat : 15302 (java) S 15296 15298 14571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42917893 887427072 14288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15303] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15303/stat : 15303 (java) S 15296 15298 14571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42917893 887427072 14288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15304] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15304/stat : 15304 (java) S 15296 15298 14571 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15305] ppid=15296 vsize=866628 CPUtime=0.19
/proc/15298/task/15305/stat : 15305 (java) S 15296 15298 14571 0 -1 64 387 0 0 0 19 0 0 0 16 0 9 0 42917895 887427072 14288 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15306] ppid=15296 vsize=866628 CPUtime=0
################
# More data... #
################
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 15129 0 1 0 237887 919 0 0 20 0 9 0 42917889 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216657 14289 2634 9 0 211163 0
[pid=15298/tid=15300] ppid=15296 vsize=866628 CPUtime=2387.75
/proc/15298/task/15300/stat : 15300 (java) R 15296 15298 14571 0 -1 64 11473 0 1 0 237860 915 0 0 25 0 9 0 42917891 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4126774067 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15301] ppid=15296 vsize=866628 CPUtime=0.06
/proc/15298/task/15301/stat : 15301 (java) S 15296 15298 14571 0 -1 64 2573 0 0 0 6 0 0 0 16 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15302] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15302/stat : 15302 (java) S 15296 15298 14571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15303] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15303/stat : 15303 (java) S 15296 15298 14571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15304] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15304/stat : 15304 (java) S 15296 15298 14571 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15305] ppid=15296 vsize=866628 CPUtime=0.19
/proc/15298/task/15305/stat : 15305 (java) S 15296 15298 14571 0 -1 64 387 0 0 0 19 0 0 0 16 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15306] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15306/stat : 15306 (java) S 15296 15298 14571 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15307] ppid=15296 vsize=866628 CPUtime=0.02
/proc/15298/task/15307/stat : 15307 (java) S 15296 15298 14571 0 -1 64 1 0 0 0 1 1 0 0 15 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2388.06
Current children cumulated vsize (KiB) 866628
[startup+2422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/121 15354
/proc/meminfo: memFree=1266312/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=866628 CPUtime=2391.22
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 15129 0 1 0 238203 919 0 0 20 0 9 0 42917889 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216657 14289 2634 9 0 211163 0
[pid=15298/tid=15300] ppid=15296 vsize=866628 CPUtime=2390.91
/proc/15298/task/15300/stat : 15300 (java) R 15296 15298 14571 0 -1 64 11473 0 1 0 238176 915 0 0 25 0 9 0 42917891 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4125952166 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15301] ppid=15296 vsize=866628 CPUtime=0.06
/proc/15298/task/15301/stat : 15301 (java) S 15296 15298 14571 0 -1 64 2573 0 0 0 6 0 0 0 16 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15302] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15302/stat : 15302 (java) S 15296 15298 14571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15303] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15303/stat : 15303 (java) S 15296 15298 14571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15304] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15304/stat : 15304 (java) S 15296 15298 14571 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15305] ppid=15296 vsize=866628 CPUtime=0.19
/proc/15298/task/15305/stat : 15305 (java) S 15296 15298 14571 0 -1 64 387 0 0 0 19 0 0 0 16 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15306] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15306/stat : 15306 (java) S 15296 15298 14571 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15307] ppid=15296 vsize=866628 CPUtime=0.02
/proc/15298/task/15307/stat : 15307 (java) S 15296 15298 14571 0 -1 64 1 0 0 0 1 1 0 0 15 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2391.22
Current children cumulated vsize (KiB) 866628
[startup+2423.9 s]
/proc/loadavg: 2.00 2.01 2.00 4/121 15354
/proc/meminfo: memFree=1266312/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=866628 CPUtime=2392.8
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 15129 0 1 0 238361 919 0 0 20 0 9 0 42917889 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216657 14289 2634 9 0 211163 0
[pid=15298/tid=15300] ppid=15296 vsize=866628 CPUtime=2392.49
/proc/15298/task/15300/stat : 15300 (java) R 15296 15298 14571 0 -1 64 11473 0 1 0 238334 915 0 0 25 0 9 0 42917891 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4126770205 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15301] ppid=15296 vsize=866628 CPUtime=0.06
/proc/15298/task/15301/stat : 15301 (java) S 15296 15298 14571 0 -1 64 2573 0 0 0 6 0 0 0 16 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15302] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15302/stat : 15302 (java) S 15296 15298 14571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15303] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15303/stat : 15303 (java) S 15296 15298 14571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15304] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15304/stat : 15304 (java) S 15296 15298 14571 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15305] ppid=15296 vsize=866628 CPUtime=0.19
/proc/15298/task/15305/stat : 15305 (java) S 15296 15298 14571 0 -1 64 387 0 0 0 19 0 0 0 16 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15306] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15306/stat : 15306 (java) S 15296 15298 14571 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15307] ppid=15296 vsize=866628 CPUtime=0.02
/proc/15298/task/15307/stat : 15307 (java) S 15296 15298 14571 0 -1 64 1 0 0 0 1 1 0 0 15 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2392.8
Current children cumulated vsize (KiB) 866628
[startup+2425.51 s]
/proc/loadavg: 2.00 2.01 2.00 3/121 15354
/proc/meminfo: memFree=1266312/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=866628 CPUtime=2394.38
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 15129 0 1 0 238519 919 0 0 20 0 9 0 42917889 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216657 14289 2634 9 0 211163 0
[pid=15298/tid=15300] ppid=15296 vsize=866628 CPUtime=2394.07
/proc/15298/task/15300/stat : 15300 (java) R 15296 15298 14571 0 -1 64 11473 0 1 0 238492 915 0 0 25 0 9 0 42917891 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4126806877 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15301] ppid=15296 vsize=866628 CPUtime=0.06
/proc/15298/task/15301/stat : 15301 (java) S 15296 15298 14571 0 -1 64 2573 0 0 0 6 0 0 0 16 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15302] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15302/stat : 15302 (java) S 15296 15298 14571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15303] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15303/stat : 15303 (java) S 15296 15298 14571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15304] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15304/stat : 15304 (java) S 15296 15298 14571 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15305] ppid=15296 vsize=866628 CPUtime=0.19
/proc/15298/task/15305/stat : 15305 (java) S 15296 15298 14571 0 -1 64 387 0 0 0 19 0 0 0 16 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15306] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15306/stat : 15306 (java) S 15296 15298 14571 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15307] ppid=15296 vsize=866628 CPUtime=0.02
/proc/15298/task/15307/stat : 15307 (java) S 15296 15298 14571 0 -1 64 1 0 0 0 1 1 0 0 15 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2394.38
Current children cumulated vsize (KiB) 866628
[startup+2426.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/121 15354
/proc/meminfo: memFree=1266312/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=866628 CPUtime=2395.17
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 15129 0 1 0 238598 919 0 0 20 0 9 0 42917889 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216657 14289 2634 9 0 211163 0
[pid=15298/tid=15300] ppid=15296 vsize=866628 CPUtime=2394.86
/proc/15298/task/15300/stat : 15300 (java) R 15296 15298 14571 0 -1 64 11473 0 1 0 238571 915 0 0 25 0 9 0 42917891 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4126770278 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15301] ppid=15296 vsize=866628 CPUtime=0.06
/proc/15298/task/15301/stat : 15301 (java) S 15296 15298 14571 0 -1 64 2573 0 0 0 6 0 0 0 16 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15302] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15302/stat : 15302 (java) S 15296 15298 14571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15303] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15303/stat : 15303 (java) S 15296 15298 14571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15304] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15304/stat : 15304 (java) S 15296 15298 14571 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15305] ppid=15296 vsize=866628 CPUtime=0.19
/proc/15298/task/15305/stat : 15305 (java) S 15296 15298 14571 0 -1 64 387 0 0 0 19 0 0 0 16 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15306] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15306/stat : 15306 (java) S 15296 15298 14571 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15307] ppid=15296 vsize=866628 CPUtime=0.02
/proc/15298/task/15307/stat : 15307 (java) S 15296 15298 14571 0 -1 64 1 0 0 0 1 1 0 0 15 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2395.17
Current children cumulated vsize (KiB) 866628
[startup+2426.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/121 15354
/proc/meminfo: memFree=1266312/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=866628 CPUtime=2395.56
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 15129 0 1 0 238637 919 0 0 20 0 9 0 42917889 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216657 14289 2634 9 0 211163 0
[pid=15298/tid=15300] ppid=15296 vsize=866628 CPUtime=2395.25
/proc/15298/task/15300/stat : 15300 (java) R 15296 15298 14571 0 -1 64 11473 0 1 0 238610 915 0 0 25 0 9 0 42917891 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4126668176 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15301] ppid=15296 vsize=866628 CPUtime=0.06
/proc/15298/task/15301/stat : 15301 (java) S 15296 15298 14571 0 -1 64 2573 0 0 0 6 0 0 0 16 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15302] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15302/stat : 15302 (java) S 15296 15298 14571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15303] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15303/stat : 15303 (java) S 15296 15298 14571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15304] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15304/stat : 15304 (java) S 15296 15298 14571 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15305] ppid=15296 vsize=866628 CPUtime=0.19
/proc/15298/task/15305/stat : 15305 (java) S 15296 15298 14571 0 -1 64 387 0 0 0 19 0 0 0 16 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15306] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15306/stat : 15306 (java) S 15296 15298 14571 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15307] ppid=15296 vsize=866628 CPUtime=0.02
/proc/15298/task/15307/stat : 15307 (java) S 15296 15298 14571 0 -1 64 1 0 0 0 1 1 0 0 15 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2395.56
Current children cumulated vsize (KiB) 866628
[startup+2426.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/121 15354
/proc/meminfo: memFree=1266312/2055920 swapFree=4192812/4192956
[pid=15298] ppid=15296 vsize=866628 CPUtime=2395.66
/proc/15298/stat : 15298 (java) S 15296 15298 14571 0 -1 0 15129 0 1 0 238647 919 0 0 20 0 9 0 42917889 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15298/statm: 216657 14289 2634 9 0 211163 0
[pid=15298/tid=15300] ppid=15296 vsize=866628 CPUtime=2395.35
/proc/15298/task/15300/stat : 15300 (java) R 15296 15298 14571 0 -1 64 11473 0 1 0 238620 915 0 0 25 0 9 0 42917891 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4126774127 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15301] ppid=15296 vsize=866628 CPUtime=0.06
/proc/15298/task/15301/stat : 15301 (java) S 15296 15298 14571 0 -1 64 2573 0 0 0 6 0 0 0 16 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15302] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15302/stat : 15302 (java) S 15296 15298 14571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15303] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15303/stat : 15303 (java) S 15296 15298 14571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42917893 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15304] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15304/stat : 15304 (java) S 15296 15298 14571 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15305] ppid=15296 vsize=866628 CPUtime=0.19
/proc/15298/task/15305/stat : 15305 (java) S 15296 15298 14571 0 -1 64 387 0 0 0 19 0 0 0 16 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15306] ppid=15296 vsize=866628 CPUtime=0
/proc/15298/task/15306/stat : 15306 (java) S 15296 15298 14571 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15298/tid=15307] ppid=15296 vsize=866628 CPUtime=0.02
/proc/15298/task/15307/stat : 15307 (java) S 15296 15298 14571 0 -1 64 1 0 0 0 1 1 0 0 15 0 9 0 42917895 887427072 14289 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2395.66
Current children cumulated vsize (KiB) 866628
Child status: 0
Real time (s): 2426.86
CPU time (s): 2395.7
CPU user time (s): 2386.49
CPU system time (s): 9.2066
CPU usage (%): 98.7158
Max. virtual memory (cumulated for all children) (KiB): 866632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2386.49
system time used= 9.2066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15145
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= 50139
involuntary context switches= 107839
runsolver used 4.31034 second user time and 10.8963 second system time
The end
Begin job on node88 at 2008-07-12 13:30:07
IDJOB=1112105
IDBENCH=61363
IDSOLVER=359
FILE ID=node88/1112105-1215862207
PBS_JOBID= 7903448
Free space on /tmp= 66500 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-6_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-1112105-1215862207/watcher-1112105-1215862207 -o /tmp/evaluation-result-1112105-1215862207/solver-1112105-1215862207 -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-1112105-1215862207.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 0f1b884dfd1924af2bb3a0367831bfe2
RANDOM SEED=2059760392
node88.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.263
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 : 5931.00
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.263
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1346432 kB
Buffers: 27584 kB
Cached: 569320 kB
SwapCached: 0 kB
Active: 585664 kB
Inactive: 60212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1346432 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3272 kB
Writeback: 0 kB
Mapped: 70344 kB
Slab: 45148 kB
Committed_AS: 352256 kB
PageTables: 4592 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= 66496 MiB
End job on node88 at 2008-07-12 14:10:34