0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-1044391-1215024833.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.38/0.43 nbVariables=361 nbDomainTypes=1 minDomainSize=361 maxDomainSize=361 nbTotalValues=130321
0.38/0.43 => wckTime=0.174 cpuTime=0.15 mem=11M824
0.38/0.43
0.38/0.43 constraints being loaded...
0.66/0.74 nbConstraints=92 nbGlobalConstraints=92 nbSharedBinaryRepresentations=0 minDegree=7 maxDegree=11 minArity=19
0.66/0.74 avgArity=39.62 maxArity=361 nbGenerators=11 nbFusions=0 symmetryWckTime=0.235 symmetryCpuTime=0.17
0.66/0.74 => wckTime=0.483 cpuTime=0.36 mem=21M600
0.66/0.80
0.66/0.80 solver IterativeSystematicSolver being built...
0.76/0.87
0.76/0.87 INFO : Forward propagation technique limited
0.86/0.95 => wckTime=0.701 cpuTime=0.48 mem=27M106
0.86/0.98
0.86/0.98 preprocessing
0.86/0.98 nbConstraintChecks=0 nbPropagations=361 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86/0.98 detectedInconsistency=no
0.86/0.98 => wckTime=0.024 cpuTime=0.02 mem=28M97
5.77/5.84
5.77/5.84 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M49)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044391-1215024833/watcher-1044391-1215024833 -o /tmp/evaluation-result-1044391-1215024833/solver-1044391-1215024833 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1044391-1215024833.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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.01 2.01 2.00 4/80 30872
/proc/meminfo: memFree=1752792/2055920 swapFree=4180412/4192956
[pid=30872] ppid=30870 vsize=862848 CPUtime=0.03
/proc/30872/stat : 30872 (java) S 30870 30872 30307 0 -1 0 2404 0 1 0 2 1 0 0 18 0 7 0 1981457554 883556352 1983 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30872/statm: 215712 1983 910 9 0 210691 0
[pid=30872/tid=30873] ppid=30870 vsize=862848 CPUtime=0.02
/proc/30872/task/30873/stat : 30873 (java) R 30870 30872 30307 0 -1 64 1687 0 1 0 1 1 0 0 18 0 7 0 1981457555 883556352 1983 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30874] ppid=30870 vsize=862848 CPUtime=0
/proc/30872/task/30874/stat : 30874 (java) S 30870 30872 30307 0 -1 64 3 0 0 0 0 0 0 0 18 0 7 0 1981457556 883556352 1983 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30875] ppid=30870 vsize=862848 CPUtime=0
/proc/30872/task/30875/stat : 30875 (java) S 30870 30872 30307 0 -1 64 9 0 0 0 0 0 0 0 19 0 7 0 1981457556 883556352 1983 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30876] ppid=30870 vsize=862848 CPUtime=0
/proc/30872/task/30876/stat : 30876 (java) S 30870 30872 30307 0 -1 64 4 0 0 0 0 0 0 0 20 0 7 0 1981457556 883556352 1983 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30877] ppid=30870 vsize=862848 CPUtime=0
/proc/30872/task/30877/stat : 30877 (java) S 30870 30872 30307 0 -1 64 1 0 0 0 0 0 0 0 18 0 7 0 1981457558 883556352 1983 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30878] ppid=30870 vsize=862848 CPUtime=0
/proc/30872/task/30878/stat : 30878 (java) S 30870 30872 30307 0 -1 64 24 0 0 0 0 0 0 0 19 0 7 0 1981457558 883556352 1983 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[startup+0.113358 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 30872
/proc/meminfo: memFree=1752792/2055920 swapFree=4180412/4192956
[pid=30872] ppid=30870 vsize=865884 CPUtime=0.1
/proc/30872/stat : 30872 (java) S 30870 30872 30307 0 -1 0 3904 0 1 0 7 3 0 0 18 0 9 0 1981457554 886665216 3344 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30872/statm: 216471 3344 1758 9 0 211026 0
[pid=30872/tid=30873] ppid=30870 vsize=865884 CPUtime=0.07
/proc/30872/task/30873/stat : 30873 (java) R 30870 30872 30307 0 -1 64 2985 0 1 0 5 2 0 0 20 0 9 0 1981457555 886665216 3344 996147200 134512640 134550740 4294955984 18446744073709551615 104253009 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30874] ppid=30870 vsize=865884 CPUtime=0
/proc/30872/task/30874/stat : 30874 (java) S 30870 30872 30307 0 -1 64 3 0 0 0 0 0 0 0 18 0 9 0 1981457556 886665216 3344 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30875] ppid=30870 vsize=865884 CPUtime=0
/proc/30872/task/30875/stat : 30875 (java) S 30870 30872 30307 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 1981457556 886665216 3344 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30876] ppid=30870 vsize=865884 CPUtime=0
/proc/30872/task/30876/stat : 30876 (java) S 30870 30872 30307 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1981457556 886665216 3344 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30877] ppid=30870 vsize=865884 CPUtime=0
/proc/30872/task/30877/stat : 30877 (java) S 30870 30872 30307 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981457558 886665216 3344 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30878] ppid=30870 vsize=865884 CPUtime=0.01
/proc/30872/task/30878/stat : 30878 (java) S 30870 30872 30307 0 -1 64 223 0 0 0 1 0 0 0 18 0 9 0 1981457558 886665216 3344 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865884
[startup+0.201378 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 30872
/proc/meminfo: memFree=1752792/2055920 swapFree=4180412/4192956
[pid=30872] ppid=30870 vsize=866044 CPUtime=0.18
/proc/30872/stat : 30872 (java) S 30870 30872 30307 0 -1 0 4745 0 1 0 14 4 0 0 18 0 9 0 1981457554 886829056 4172 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30872/statm: 216511 4172 1861 9 0 211059 0
[pid=30872/tid=30873] ppid=30870 vsize=866044 CPUtime=0.15
/proc/30872/task/30873/stat : 30873 (java) R 30870 30872 30307 0 -1 64 3825 0 1 0 12 3 0 0 20 0 9 0 1981457555 886829056 4172 996147200 134512640 134550740 4294955984 18446744073709551615 4125975813 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30874] ppid=30870 vsize=866044 CPUtime=0
/proc/30872/task/30874/stat : 30874 (java) S 30870 30872 30307 0 -1 64 3 0 0 0 0 0 0 0 18 0 9 0 1981457556 886829056 4172 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30875] ppid=30870 vsize=866044 CPUtime=0
/proc/30872/task/30875/stat : 30875 (java) S 30870 30872 30307 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 1981457556 886829056 4172 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30876] ppid=30870 vsize=866044 CPUtime=0
/proc/30872/task/30876/stat : 30876 (java) S 30870 30872 30307 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1981457556 886829056 4172 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30877] ppid=30870 vsize=866044 CPUtime=0
/proc/30872/task/30877/stat : 30877 (java) S 30870 30872 30307 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981457558 886829056 4172 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30878] ppid=30870 vsize=866044 CPUtime=0.02
/proc/30872/task/30878/stat : 30878 (java) S 30870 30872 30307 0 -1 64 224 0 0 0 2 0 0 0 16 0 9 0 1981457558 886829056 4172 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866044
[startup+0.301396 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 30872
/proc/meminfo: memFree=1752792/2055920 swapFree=4180412/4192956
[pid=30872] ppid=30870 vsize=866284 CPUtime=0.28
/proc/30872/stat : 30872 (java) S 30870 30872 30307 0 -1 0 5842 0 1 0 23 5 0 0 18 0 9 0 1981457554 887074816 5216 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30872/statm: 216571 5216 1953 9 0 211099 0
[pid=30872/tid=30873] ppid=30870 vsize=866284 CPUtime=0.23
/proc/30872/task/30873/stat : 30873 (java) R 30870 30872 30307 0 -1 64 4870 0 1 0 19 4 0 0 18 0 9 0 1981457555 887074816 5216 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30874] ppid=30870 vsize=866284 CPUtime=0
/proc/30872/task/30874/stat : 30874 (java) S 30870 30872 30307 0 -1 64 3 0 0 0 0 0 0 0 18 0 9 0 1981457556 887074816 5216 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30875] ppid=30870 vsize=866284 CPUtime=0
/proc/30872/task/30875/stat : 30875 (java) S 30870 30872 30307 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 1981457556 887074816 5216 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30876] ppid=30870 vsize=866284 CPUtime=0
/proc/30872/task/30876/stat : 30876 (java) S 30870 30872 30307 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1981457556 887074816 5216 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30877] ppid=30870 vsize=866284 CPUtime=0
/proc/30872/task/30877/stat : 30877 (java) S 30870 30872 30307 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981457558 887074816 5216 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30878] ppid=30870 vsize=866284 CPUtime=0.04
/proc/30872/task/30878/stat : 30878 (java) S 30870 30872 30307 0 -1 64 276 0 0 0 4 0 0 0 16 0 9 0 1981457558 887074816 5216 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.701471 s]
/proc/loadavg: 2.01 2.01 2.00 4/80 30872
/proc/meminfo: memFree=1752792/2055920 swapFree=4180412/4192956
[pid=30872] ppid=30870 vsize=867632 CPUtime=0.66
/proc/30872/stat : 30872 (java) S 30870 30872 30307 0 -1 0 10487 231 1 0 57 7 2 0 18 0 10 0 1981457554 888455168 8720 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30872/statm: 216908 8720 2000 9 0 211436 0
[pid=30872/tid=30873] ppid=30870 vsize=867632 CPUtime=0.52
/proc/30872/task/30873/stat : 30873 (java) R 30870 30872 30307 0 -1 64 9021 231 1 0 44 6 2 0 18 0 10 0 1981457555 888455168 8720 996147200 134512640 134550740 4294955984 18446744073709551615 4126731766 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30874] ppid=30870 vsize=867632 CPUtime=0.02
/proc/30872/task/30874/stat : 30874 (java) S 30870 30872 30307 0 -1 64 3 231 0 0 0 0 2 0 18 0 10 0 1981457556 888455168 8720 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30875] ppid=30870 vsize=867632 CPUtime=0.02
/proc/30872/task/30875/stat : 30875 (java) S 30870 30872 30307 0 -1 64 9 231 0 0 0 0 2 0 19 0 10 0 1981457556 888455168 8720 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30876] ppid=30870 vsize=867632 CPUtime=0.02
/proc/30872/task/30876/stat : 30876 (java) S 30870 30872 30307 0 -1 64 4 231 0 0 0 0 2 0 20 0 10 0 1981457556 888455168 8720 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30877] ppid=30870 vsize=867632 CPUtime=0.02
/proc/30872/task/30877/stat : 30877 (java) S 30870 30872 30307 0 -1 64 1 231 0 0 0 0 2 0 18 0 10 0 1981457558 888455168 8720 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30878] ppid=30870 vsize=867632 CPUtime=0.15
/proc/30872/task/30878/stat : 30878 (java) S 30870 30872 30307 0 -1 64 633 231 0 0 13 0 2 0 16 0 10 0 1981457558 888455168 8720 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867632
[startup+1.50162 s]
/proc/loadavg: 2.01 2.01 2.00 3/89 30885
/proc/meminfo: memFree=1714256/2055920 swapFree=4180412/4192956
[pid=30872] ppid=30870 vsize=867852 CPUtime=1.47
/proc/30872/stat : 30872 (java) S 30870 30872 30307 0 -1 0 18155 354 1 0 134 11 2 0 18 0 9 0 1981457554 888680448 12400 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30872/statm: 216963 12400 2634 9 0 211469 0
[pid=30872/tid=30873] ppid=30870 vsize=867852 CPUtime=1.2
/proc/30872/task/30873/stat : 30873 (java) R 30870 30872 30307 0 -1 64 12989 354 1 0 110 8 2 0 25 0 9 0 1981457555 888680448 12400 996147200 134512640 134550740 4294955984 18446744073709551615 4126847193 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30874] ppid=30870 vsize=867852 CPUtime=0.06
/proc/30872/task/30874/stat : 30874 (java) S 30870 30872 30307 0 -1 64 3599 354 0 0 4 0 2 0 16 0 9 0 1981457556 888680448 12400 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30875] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30875/stat : 30875 (java) S 30870 30872 30307 0 -1 64 14 354 0 0 0 0 2 0 16 0 9 0 1981457556 888680448 12400 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30876] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30876/stat : 30876 (java) S 30870 30872 30307 0 -1 64 8 354 0 0 0 0 2 0 15 0 9 0 1981457556 888680448 12400 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30877] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30877/stat : 30877 (java) S 30870 30872 30307 0 -1 64 1 354 0 0 0 0 2 0 18 0 9 0 1981457558 888680448 12400 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30878] ppid=30870 vsize=867852 CPUtime=0.21
/proc/30872/task/30878/stat : 30878 (java) S 30870 30872 30307 0 -1 64 728 354 0 0 19 0 2 0 15 0 9 0 1981457558 888680448 12400 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30880] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30880/stat : 30880 (java) S 30870 30872 30307 0 -1 64 2 354 0 0 0 0 2 0 19 0 9 0 1981457559 888680448 12400 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30881] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30881/stat : 30881 (java) S 30870 30872 30307 0 -1 64 8 354 0 0 0 0 2 0 15 0 9 0 1981457559 888680448 12400 996147200 134512640 134550740 4294955984 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) 867852
[startup+3.10293 s]
/proc/loadavg: 2.01 2.01 2.00 3/89 30885
/proc/meminfo: memFree=1713232/2055920 swapFree=4180412/4192956
[pid=30872] ppid=30870 vsize=867852 CPUtime=3.07
/proc/30872/stat : 30872 (java) S 30870 30872 30307 0 -1 0 18189 354 1 0 294 11 2 0 18 0 9 0 1981457554 888680448 12430 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30872/statm: 216963 12430 2634 9 0 211469 0
[pid=30872/tid=30873] ppid=30870 vsize=867852 CPUtime=2.79
/proc/30872/task/30873/stat : 30873 (java) R 30870 30872 30307 0 -1 64 13014 354 1 0 269 8 2 0 19 0 9 0 1981457555 888680448 12430 996147200 134512640 134550740 4294955984 18446744073709551615 4126847196 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30874] ppid=30870 vsize=867852 CPUtime=0.06
/proc/30872/task/30874/stat : 30874 (java) S 30870 30872 30307 0 -1 64 3599 354 0 0 4 0 2 0 16 0 9 0 1981457556 888680448 12430 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30875] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30875/stat : 30875 (java) S 30870 30872 30307 0 -1 64 14 354 0 0 0 0 2 0 16 0 9 0 1981457556 888680448 12430 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30876] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30876/stat : 30876 (java) S 30870 30872 30307 0 -1 64 8 354 0 0 0 0 2 0 15 0 9 0 1981457556 888680448 12430 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30877] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30877/stat : 30877 (java) S 30870 30872 30307 0 -1 64 1 354 0 0 0 0 2 0 18 0 9 0 1981457558 888680448 12430 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30878] ppid=30870 vsize=867852 CPUtime=0.22
/proc/30872/task/30878/stat : 30878 (java) S 30870 30872 30307 0 -1 64 737 354 0 0 20 0 2 0 15 0 9 0 1981457558 888680448 12430 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30880] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30880/stat : 30880 (java) S 30870 30872 30307 0 -1 64 2 354 0 0 0 0 2 0 19 0 9 0 1981457559 888680448 12430 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30881] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30881/stat : 30881 (java) S 30870 30872 30307 0 -1 64 8 354 0 0 0 0 2 0 15 0 9 0 1981457559 888680448 12430 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867852
[startup+6.30153 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 30885
/proc/meminfo: memFree=1712912/2055920 swapFree=4180412/4192956
[pid=30872] ppid=30870 vsize=867852 CPUtime=6.27
/proc/30872/stat : 30872 (java) S 30870 30872 30307 0 -1 0 18242 354 1 0 614 11 2 0 18 0 9 0 1981457554 888680448 12466 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30872/statm: 216963 12466 2634 9 0 211469 0
[pid=30872/tid=30873] ppid=30870 vsize=867852 CPUtime=5.98
/proc/30872/task/30873/stat : 30873 (java) R 30870 30872 30307 0 -1 64 13045 354 1 0 588 8 2 0 25 0 9 0 1981457555 888680448 12466 996147200 134512640 134550740 4294955984 18446744073709551615 4126850849 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30874] ppid=30870 vsize=867852 CPUtime=0.06
/proc/30872/task/30874/stat : 30874 (java) S 30870 30872 30307 0 -1 64 3599 354 0 0 4 0 2 0 16 0 9 0 1981457556 888680448 12466 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30875] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30875/stat : 30875 (java) S 30870 30872 30307 0 -1 64 14 354 0 0 0 0 2 0 16 0 9 0 1981457556 888680448 12466 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30876] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30876/stat : 30876 (java) S 30870 30872 30307 0 -1 64 8 354 0 0 0 0 2 0 15 0 9 0 1981457556 888680448 12466 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30877] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30877/stat : 30877 (java) S 30870 30872 30307 0 -1 64 1 354 0 0 0 0 2 0 18 0 9 0 1981457558 888680448 12466 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30878] ppid=30870 vsize=867852 CPUtime=0.23
/proc/30872/task/30878/stat : 30878 (java) S 30870 30872 30307 0 -1 64 747 354 0 0 21 0 2 0 15 0 9 0 1981457558 888680448 12466 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30880] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30880/stat : 30880 (java) S 30870 30872 30307 0 -1 64 2 354 0 0 0 0 2 0 19 0 9 0 1981457559 888680448 12466 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30881] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30881/stat : 30881 (java) S 30870 30872 30307 0 -1 64 20 354 0 0 0 0 2 0 15 0 9 0 1981457559 888680448 12466 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 867852
[startup+12.7027 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 30885
/proc/meminfo: memFree=1712592/2055920 swapFree=4180412/4192956
[pid=30872] ppid=30870 vsize=867852 CPUtime=12.67
/proc/30872/stat : 30872 (java) S 30870 30872 30307 0 -1 0 18295 354 1 0 1254 11 2 0 18 0 9 0 1981457554 888680448 12484 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30872/statm: 216963 12484 2634 9 0 211469 0
[pid=30872/tid=30873] ppid=30870 vsize=867852 CPUtime=12.35
/proc/30872/task/30873/stat : 30873 (java) R 30870 30872 30307 0 -1 64 13054 354 1 0 1225 8 2 0 25 0 9 0 1981457555 888680448 12484 996147200 134512640 134550740 4294955984 18446744073709551615 4126818984 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30874] ppid=30870 vsize=867852 CPUtime=0.06
################
# More data... #
################
/proc/30872/task/30876/stat : 30876 (java) S 30870 30872 30307 0 -1 64 8 354 0 0 0 0 2 0 15 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30877] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30877/stat : 30877 (java) S 30870 30872 30307 0 -1 64 1 354 0 0 0 0 2 0 18 0 9 0 1981457558 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30878] ppid=30870 vsize=867852 CPUtime=0.26
/proc/30872/task/30878/stat : 30878 (java) S 30870 30872 30307 0 -1 64 797 354 0 0 24 0 2 0 16 0 9 0 1981457558 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30880] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30880/stat : 30880 (java) S 30870 30872 30307 0 -1 64 2 354 0 0 0 0 2 0 19 0 9 0 1981457559 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30881] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30881/stat : 30881 (java) S 30870 30872 30307 0 -1 64 20 354 0 0 0 0 2 0 15 0 9 0 1981457559 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.59
Current children cumulated vsize (KiB) 867852
[startup+1542.31 s]
/proc/loadavg: 2.15 2.04 2.01 3/89 30932
/proc/meminfo: memFree=1755272/2055920 swapFree=4180412/4192956
[pid=30872] ppid=30870 vsize=867852 CPUtime=1541.57
/proc/30872/stat : 30872 (java) S 30870 30872 30307 0 -1 0 18331 354 1 0 154142 13 2 0 18 0 9 0 1981457554 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30872/statm: 216963 12515 2634 9 0 211469 0
[pid=30872/tid=30873] ppid=30870 vsize=867852 CPUtime=1541.24
/proc/30872/task/30873/stat : 30873 (java) R 30870 30872 30307 0 -1 64 13084 354 1 0 154112 10 2 0 25 0 9 0 1981457555 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4126816850 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30874] ppid=30870 vsize=867852 CPUtime=0.06
/proc/30872/task/30874/stat : 30874 (java) S 30870 30872 30307 0 -1 64 3599 354 0 0 4 0 2 0 16 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30875] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30875/stat : 30875 (java) S 30870 30872 30307 0 -1 64 14 354 0 0 0 0 2 0 16 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30876] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30876/stat : 30876 (java) S 30870 30872 30307 0 -1 64 8 354 0 0 0 0 2 0 15 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30877] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30877/stat : 30877 (java) S 30870 30872 30307 0 -1 64 1 354 0 0 0 0 2 0 18 0 9 0 1981457558 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30878] ppid=30870 vsize=867852 CPUtime=0.26
/proc/30872/task/30878/stat : 30878 (java) S 30870 30872 30307 0 -1 64 797 354 0 0 24 0 2 0 16 0 9 0 1981457558 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30880] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30880/stat : 30880 (java) S 30870 30872 30307 0 -1 64 2 354 0 0 0 0 2 0 19 0 9 0 1981457559 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30881] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30881/stat : 30881 (java) S 30870 30872 30307 0 -1 64 20 354 0 0 0 0 2 0 15 0 9 0 1981457559 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.57
Current children cumulated vsize (KiB) 867852
[startup+1602.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/89 30932
/proc/meminfo: memFree=1755272/2055920 swapFree=4180412/4192956
[pid=30872] ppid=30870 vsize=867852 CPUtime=1601.53
/proc/30872/stat : 30872 (java) S 30870 30872 30307 0 -1 0 18331 354 1 0 160138 13 2 0 18 0 9 0 1981457554 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30872/statm: 216963 12515 2634 9 0 211469 0
[pid=30872/tid=30873] ppid=30870 vsize=867852 CPUtime=1601.2
/proc/30872/task/30873/stat : 30873 (java) R 30870 30872 30307 0 -1 64 13084 354 1 0 160108 10 2 0 25 0 9 0 1981457555 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4126816850 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30874] ppid=30870 vsize=867852 CPUtime=0.06
/proc/30872/task/30874/stat : 30874 (java) S 30870 30872 30307 0 -1 64 3599 354 0 0 4 0 2 0 16 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30875] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30875/stat : 30875 (java) S 30870 30872 30307 0 -1 64 14 354 0 0 0 0 2 0 16 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30876] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30876/stat : 30876 (java) S 30870 30872 30307 0 -1 64 8 354 0 0 0 0 2 0 15 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30877] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30877/stat : 30877 (java) S 30870 30872 30307 0 -1 64 1 354 0 0 0 0 2 0 18 0 9 0 1981457558 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30878] ppid=30870 vsize=867852 CPUtime=0.26
/proc/30872/task/30878/stat : 30878 (java) S 30870 30872 30307 0 -1 64 797 354 0 0 24 0 2 0 16 0 9 0 1981457558 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30880] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30880/stat : 30880 (java) S 30870 30872 30307 0 -1 64 2 354 0 0 0 0 2 0 19 0 9 0 1981457559 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30881] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30881/stat : 30881 (java) S 30870 30872 30307 0 -1 64 20 354 0 0 0 0 2 0 15 0 9 0 1981457559 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.53
Current children cumulated vsize (KiB) 867852
[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/89 30932
/proc/meminfo: memFree=1755208/2055920 swapFree=4180412/4192956
[pid=30872] ppid=30870 vsize=867852 CPUtime=1661.51
/proc/30872/stat : 30872 (java) S 30870 30872 30307 0 -1 0 18331 354 1 0 166136 13 2 0 18 0 9 0 1981457554 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30872/statm: 216963 12515 2634 9 0 211469 0
[pid=30872/tid=30873] ppid=30870 vsize=867852 CPUtime=1661.18
/proc/30872/task/30873/stat : 30873 (java) R 30870 30872 30307 0 -1 64 13084 354 1 0 166106 10 2 0 25 0 9 0 1981457555 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4126817883 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30874] ppid=30870 vsize=867852 CPUtime=0.06
/proc/30872/task/30874/stat : 30874 (java) S 30870 30872 30307 0 -1 64 3599 354 0 0 4 0 2 0 16 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30875] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30875/stat : 30875 (java) S 30870 30872 30307 0 -1 64 14 354 0 0 0 0 2 0 16 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30876] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30876/stat : 30876 (java) S 30870 30872 30307 0 -1 64 8 354 0 0 0 0 2 0 15 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30877] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30877/stat : 30877 (java) S 30870 30872 30307 0 -1 64 1 354 0 0 0 0 2 0 18 0 9 0 1981457558 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30878] ppid=30870 vsize=867852 CPUtime=0.26
/proc/30872/task/30878/stat : 30878 (java) S 30870 30872 30307 0 -1 64 797 354 0 0 24 0 2 0 16 0 9 0 1981457558 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30880] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30880/stat : 30880 (java) S 30870 30872 30307 0 -1 64 2 354 0 0 0 0 2 0 19 0 9 0 1981457559 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30881] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30881/stat : 30881 (java) S 30870 30872 30307 0 -1 64 20 354 0 0 0 0 2 0 15 0 9 0 1981457559 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.51
Current children cumulated vsize (KiB) 867852
[startup+1722.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/89 30932
/proc/meminfo: memFree=1755144/2055920 swapFree=4180412/4192956
[pid=30872] ppid=30870 vsize=867852 CPUtime=1721.48
/proc/30872/stat : 30872 (java) S 30870 30872 30307 0 -1 0 18331 354 1 0 172133 13 2 0 18 0 9 0 1981457554 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30872/statm: 216963 12515 2634 9 0 211469 0
[pid=30872/tid=30873] ppid=30870 vsize=867852 CPUtime=1721.15
/proc/30872/task/30873/stat : 30873 (java) R 30870 30872 30307 0 -1 64 13084 354 1 0 172103 10 2 0 25 0 9 0 1981457555 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4126816850 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30874] ppid=30870 vsize=867852 CPUtime=0.06
/proc/30872/task/30874/stat : 30874 (java) S 30870 30872 30307 0 -1 64 3599 354 0 0 4 0 2 0 16 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30875] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30875/stat : 30875 (java) S 30870 30872 30307 0 -1 64 14 354 0 0 0 0 2 0 16 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30876] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30876/stat : 30876 (java) S 30870 30872 30307 0 -1 64 8 354 0 0 0 0 2 0 15 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30877] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30877/stat : 30877 (java) S 30870 30872 30307 0 -1 64 1 354 0 0 0 0 2 0 18 0 9 0 1981457558 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30878] ppid=30870 vsize=867852 CPUtime=0.26
/proc/30872/task/30878/stat : 30878 (java) S 30870 30872 30307 0 -1 64 797 354 0 0 24 0 2 0 16 0 9 0 1981457558 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30880] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30880/stat : 30880 (java) S 30870 30872 30307 0 -1 64 2 354 0 0 0 0 2 0 19 0 9 0 1981457559 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30881] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30881/stat : 30881 (java) S 30870 30872 30307 0 -1 64 20 354 0 0 0 0 2 0 15 0 9 0 1981457559 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.48
Current children cumulated vsize (KiB) 867852
[startup+1782.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/89 30932
/proc/meminfo: memFree=1755016/2055920 swapFree=4180412/4192956
[pid=30872] ppid=30870 vsize=867852 CPUtime=1781.45
/proc/30872/stat : 30872 (java) S 30870 30872 30307 0 -1 0 18331 354 1 0 178130 13 2 0 18 0 9 0 1981457554 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30872/statm: 216963 12515 2634 9 0 211469 0
[pid=30872/tid=30873] ppid=30870 vsize=867852 CPUtime=1781.12
/proc/30872/task/30873/stat : 30873 (java) R 30870 30872 30307 0 -1 64 13084 354 1 0 178100 10 2 0 25 0 9 0 1981457555 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4126816853 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30874] ppid=30870 vsize=867852 CPUtime=0.06
/proc/30872/task/30874/stat : 30874 (java) S 30870 30872 30307 0 -1 64 3599 354 0 0 4 0 2 0 16 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30875] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30875/stat : 30875 (java) S 30870 30872 30307 0 -1 64 14 354 0 0 0 0 2 0 16 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30876] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30876/stat : 30876 (java) S 30870 30872 30307 0 -1 64 8 354 0 0 0 0 2 0 15 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30877] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30877/stat : 30877 (java) S 30870 30872 30307 0 -1 64 1 354 0 0 0 0 2 0 18 0 9 0 1981457558 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30878] ppid=30870 vsize=867852 CPUtime=0.26
/proc/30872/task/30878/stat : 30878 (java) S 30870 30872 30307 0 -1 64 797 354 0 0 24 0 2 0 16 0 9 0 1981457558 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30880] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30880/stat : 30880 (java) S 30870 30872 30307 0 -1 64 2 354 0 0 0 0 2 0 19 0 9 0 1981457559 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30881] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30881/stat : 30881 (java) S 30870 30872 30307 0 -1 64 20 354 0 0 0 0 2 0 15 0 9 0 1981457559 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (KiB) 867852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.07 2.06 2.01 3/89 30932
/proc/meminfo: memFree=1755016/2055920 swapFree=4180412/4192956
[pid=30872] ppid=30870 vsize=867852 CPUtime=1800.05
/proc/30872/stat : 30872 (java) S 30870 30872 30307 0 -1 0 18331 354 1 0 179990 13 2 0 18 0 9 0 1981457554 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30872/statm: 216963 12515 2634 9 0 211469 0
[pid=30872/tid=30873] ppid=30870 vsize=867852 CPUtime=1799.72
/proc/30872/task/30873/stat : 30873 (java) R 30870 30872 30307 0 -1 64 13084 354 1 0 179960 10 2 0 25 0 9 0 1981457555 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4126818984 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30874] ppid=30870 vsize=867852 CPUtime=0.06
/proc/30872/task/30874/stat : 30874 (java) S 30870 30872 30307 0 -1 64 3599 354 0 0 4 0 2 0 16 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30875] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30875/stat : 30875 (java) S 30870 30872 30307 0 -1 64 14 354 0 0 0 0 2 0 16 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30876] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30876/stat : 30876 (java) S 30870 30872 30307 0 -1 64 8 354 0 0 0 0 2 0 15 0 9 0 1981457556 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30877] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30877/stat : 30877 (java) S 30870 30872 30307 0 -1 64 1 354 0 0 0 0 2 0 18 0 9 0 1981457558 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30878] ppid=30870 vsize=867852 CPUtime=0.26
/proc/30872/task/30878/stat : 30878 (java) S 30870 30872 30307 0 -1 64 797 354 0 0 24 0 2 0 16 0 9 0 1981457558 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30872/tid=30880] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30880/stat : 30880 (java) S 30870 30872 30307 0 -1 64 2 354 0 0 0 0 2 0 19 0 9 0 1981457559 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30872/tid=30881] ppid=30870 vsize=867852 CPUtime=0.02
/proc/30872/task/30881/stat : 30881 (java) S 30870 30872 30307 0 -1 64 20 354 0 0 0 0 2 0 15 0 9 0 1981457559 888680448 12515 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 867852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1800.96
CPU time (s): 1800.13
CPU user time (s): 1799.97
CPU system time (s): 0.153976
CPU usage (%): 99.9537
Max. virtual memory (cumulated for all children) (KiB): 867852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.153976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18717
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= 37749
involuntary context switches= 44478
runsolver used 2.22266 second user time and 5.97909 second system time
The end
Begin job on node21 at 2008-07-02 20:53:53
IDJOB=1044391
IDBENCH=53659
IDSOLVER=363
FILE ID=node21/1044391-1215024833
PBS_JOBID= 7874428
Free space on /tmp= 66556 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/magicSquare/normalized-magicSquare-19_glb.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044391-1215024833/watcher-1044391-1215024833 -o /tmp/evaluation-result-1044391-1215024833/solver-1044391-1215024833 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1044391-1215024833.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 22706a8158239d72e7dd49177db7bd5a
RANDOM SEED=950139975
node21.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 : 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.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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1753272 kB
Buffers: 19156 kB
Cached: 126400 kB
SwapCached: 6560 kB
Active: 197996 kB
Inactive: 42612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1753272 kB
SwapTotal: 4192956 kB
SwapFree: 4180412 kB
Dirty: 2312 kB
Writeback: 0 kB
Mapped: 111280 kB
Slab: 47000 kB
Committed_AS: 4171364 kB
PageTables: 1996 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= 66552 MiB
End job on node21 at 2008-07-02 21:23:56