0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=esac.xml
0.28/0.30
0.28/0.30 instance
0.28/0.30 name=HOME/instance-2095174-1247406676.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.38/0.40 nbVariables=149 nbDomainTypes=5 minDomainSize=1 maxDomainSize=62 nbTotalValues=6127
0.38/0.40 => wckTime=0.134 cpuTime=0.11 mem=8M868
0.38/0.40
0.38/0.40 predicates being loaded...
0.38/0.47
0.38/0.47 constraints being loaded...
3.24/3.33 nbConstraints=1274 nbSingletonDomainVariables=2 nbConflictsStructures=94 nbSharedConflictsStructures=4
3.24/3.33 nbUnbuiltConflictsStructures=1089 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1183
3.24/3.33 nbSharedEvaluationManagers=91 minDegree=49 maxDegree=50 minArity=3 avgArity=5.77 maxArity=6 nbGenerators=0
3.24/3.33 nbFusions=0 symmetryWckTime=0.189 symmetryCpuTime=0.1
3.24/3.33 => wckTime=3.065 cpuTime=2.66 mem=43M686
3.34/3.44
3.34/3.44 solver IterativeSystematicSolver being built...
3.54/3.63
3.54/3.63 INFO : Forward propagation technique limited
3.54/3.69 => wckTime=3.428 cpuTime=2.9 mem=53M890
5.12/5.25
5.12/5.26 preprocessing
5.12/5.26 nbConstraintChecks=918767 nbValidityChecks=392195 nbPropagations=586 nbRevisions=11874 nbUselessRevisions=11300
5.12/5.26 nbSingletonTests=221 nbEffectiveSingletonTests=0 nbACRemovals=530 nbFoundSingletons=0 nbRemovedValues=530
5.12/5.26 detectedInconsistency=no
5.12/5.26 => wckTime=1.556 cpuTime=1.5 mem=54M798
33.76/34.12
33.76/34.12 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=27M288)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095174-1247406676/watcher-2095174-1247406676 -o /tmp/evaluation-result-2095174-1247406676/solver-2095174-1247406676 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095174-1247406676.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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 32423
/proc/meminfo: memFree=1727720/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=18576 CPUtime=0
/proc/32423/stat : 32423 (runsolver) R 32421 32423 31535 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 27735336 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/32423/statm: 4644 284 249 26 0 2626 0
[startup+0.0829049 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 32423
/proc/meminfo: memFree=1727720/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=864148 CPUtime=0.06
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 3079 0 1 0 4 2 0 0 18 0 9 0 27735336 884887552 2564 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 216037 2564 1226 9 0 210930 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 864148
[startup+0.101906 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 32423
/proc/meminfo: memFree=1727720/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=865984 CPUtime=0.08
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 3712 0 1 0 6 2 0 0 18 0 9 0 27735336 886767616 3183 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 216496 3183 1694 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301934 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 32423
/proc/meminfo: memFree=1727720/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=866380 CPUtime=0.28
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 5769 0 1 0 24 4 0 0 18 0 9 0 27735336 887173120 5158 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 216595 5158 1958 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701978 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 32423
/proc/meminfo: memFree=1727720/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=867776 CPUtime=0.68
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 9098 0 1 0 61 7 0 0 18 0 9 0 27735336 888602624 8452 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 216944 8452 2036 9 0 211380 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867776
[startup+1.50207 s]
/proc/loadavg: 2.00 2.00 2.00 4/89 32432
/proc/meminfo: memFree=1689248/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=867688 CPUtime=1.46
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 17943 0 1 0 133 13 0 0 18 0 9 0 27735336 888512512 17271 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 216922 17271 2026 9 0 211380 0
[pid=32423/tid=32425] ppid=32421 vsize=867688 CPUtime=1.2
/proc/32423/task/32425/stat : 32425 (java) R 32421 32423 31535 0 -1 64 15815 0 1 0 109 11 0 0 25 0 9 0 27735337 888512512 17271 996147200 134512640 134550932 4294955968 18446744073709551615 102094030 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32426] ppid=32421 vsize=867688 CPUtime=0.02
/proc/32423/task/32426/stat : 32426 (java) S 32421 32423 31535 0 -1 64 708 0 0 0 2 0 0 0 16 0 9 0 27735339 888512512 17271 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32427] ppid=32421 vsize=867688 CPUtime=0
/proc/32423/task/32427/stat : 32427 (java) S 32421 32423 31535 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27735339 888512512 17271 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32428] ppid=32421 vsize=867688 CPUtime=0
/proc/32423/task/32428/stat : 32428 (java) S 32421 32423 31535 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27735339 888512512 17271 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32429] ppid=32421 vsize=867688 CPUtime=0
/proc/32423/task/32429/stat : 32429 (java) S 32421 32423 31535 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27735341 888512512 17271 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32430] ppid=32421 vsize=867688 CPUtime=0.22
/proc/32423/task/32430/stat : 32430 (java) S 32421 32423 31535 0 -1 64 719 0 0 0 21 1 0 0 15 0 9 0 27735341 888512512 17271 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32431] ppid=32421 vsize=867688 CPUtime=0
/proc/32423/task/32431/stat : 32431 (java) S 32421 32423 31535 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27735341 888512512 17271 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32432] ppid=32421 vsize=867688 CPUtime=0
/proc/32423/task/32432/stat : 32432 (java) S 32421 32423 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27735341 888512512 17271 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867688
[startup+3.10226 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 32432
/proc/meminfo: memFree=1662240/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=867688 CPUtime=3.06
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 19604 0 1 0 288 18 0 0 18 0 9 0 27735336 888512512 18930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 216922 18930 2028 9 0 211380 0
[pid=32423/tid=32425] ppid=32421 vsize=867688 CPUtime=2.72
/proc/32423/task/32425/stat : 32425 (java) R 32421 32423 31535 0 -1 64 15817 0 1 0 257 15 0 0 25 0 9 0 27735337 888512512 18930 996147200 134512640 134550932 4294955968 18446744073709551615 102752576 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32426] ppid=32421 vsize=867688 CPUtime=0.08
/proc/32423/task/32426/stat : 32426 (java) S 32421 32423 31535 0 -1 64 2358 0 0 0 7 1 0 0 16 0 9 0 27735339 888512512 18930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32427] ppid=32421 vsize=867688 CPUtime=0
/proc/32423/task/32427/stat : 32427 (java) S 32421 32423 31535 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27735339 888512512 18930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32428] ppid=32421 vsize=867688 CPUtime=0
/proc/32423/task/32428/stat : 32428 (java) S 32421 32423 31535 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27735339 888512512 18930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32429] ppid=32421 vsize=867688 CPUtime=0
/proc/32423/task/32429/stat : 32429 (java) S 32421 32423 31535 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27735341 888512512 18930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32430] ppid=32421 vsize=867688 CPUtime=0.24
/proc/32423/task/32430/stat : 32430 (java) S 32421 32423 31535 0 -1 64 728 0 0 0 23 1 0 0 15 0 9 0 27735341 888512512 18930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32431] ppid=32421 vsize=867688 CPUtime=0
/proc/32423/task/32431/stat : 32431 (java) S 32421 32423 31535 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27735341 888512512 18930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32432] ppid=32421 vsize=867688 CPUtime=0
/proc/32423/task/32432/stat : 32432 (java) S 32421 32423 31535 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27735341 888512512 18930 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867688
[startup+6.30163 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 32436
/proc/meminfo: memFree=1640352/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=868132 CPUtime=6.21
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 40912 429 1 0 592 25 3 1 18 0 9 0 27735336 888967168 24259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 217033 24259 2639 9 0 211491 0
[pid=32423/tid=32425] ppid=32421 vsize=868132 CPUtime=5.58
/proc/32423/task/32425/stat : 32425 (java) R 32421 32423 31535 0 -1 64 26611 429 1 0 536 18 3 1 25 0 9 0 27735337 888967168 24259 996147200 134512640 134550932 4294955968 18446744073709551615 4126889843 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32426] ppid=32421 vsize=868132 CPUtime=0.29
/proc/32423/task/32426/stat : 32426 (java) S 32421 32423 31535 0 -1 64 12447 429 0 0 22 3 3 1 17 0 9 0 27735339 888967168 24259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32427] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32427/stat : 32427 (java) S 32421 32423 31535 0 -1 64 21 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32428] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32428/stat : 32428 (java) S 32421 32423 31535 0 -1 64 9 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32429] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32429/stat : 32429 (java) S 32421 32423 31535 0 -1 64 2 429 0 0 0 0 3 1 18 0 9 0 27735341 888967168 24259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32430] ppid=32421 vsize=868132 CPUtime=0.38
/proc/32423/task/32430/stat : 32430 (java) S 32421 32423 31535 0 -1 64 980 429 0 0 33 1 3 1 15 0 9 0 27735341 888967168 24259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32431] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32431/stat : 32431 (java) S 32421 32423 31535 0 -1 64 0 429 0 0 0 0 3 1 19 0 9 0 27735341 888967168 24259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32432] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32432/stat : 32432 (java) S 32421 32423 31535 0 -1 64 40 429 0 0 0 0 3 1 15 0 9 0 27735341 888967168 24259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 868132
[startup+12.7024 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 32436
/proc/meminfo: memFree=1640224/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=868132 CPUtime=12.56
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 40925 429 1 0 1227 25 3 1 18 0 9 0 27735336 888967168 24265 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 217033 24265 2639 9 0 211491 0
[pid=32423/tid=32425] ppid=32421 vsize=868132 CPUtime=11.91
/proc/32423/task/32425/stat : 32425 (java) R 32421 32423 31535 0 -1 64 26614 429 1 0 1169 18 3 1 25 0 9 0 27735337 888967168 24265 996147200 134512640 134550932 4294955968 18446744073709551615 4126467368 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32426] ppid=32421 vsize=868132 CPUtime=0.29
/proc/32423/task/32426/stat : 32426 (java) S 32421 32423 31535 0 -1 64 12447 429 0 0 22 3 3 1 16 0 9 0 27735339 888967168 24265 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32427] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32427/stat : 32427 (java) S 32421 32423 31535 0 -1 64 21 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24265 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32428] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32428/stat : 32428 (java) S 32421 32423 31535 0 -1 64 9 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24265 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32429] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32429/stat : 32429 (java) S 32421 32423 31535 0 -1 64 2 429 0 0 0 0 3 1 18 0 9 0 27735341 888967168 24265 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32430] ppid=32421 vsize=868132 CPUtime=0.39
/proc/32423/task/32430/stat : 32430 (java) S 32421 32423 31535 0 -1 64 990 429 0 0 34 1 3 1 16 0 9 0 27735341 888967168 24265 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32431] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32431/stat : 32431 (java) S 32421 32423 31535 0 -1 64 0 429 0 0 0 0 3 1 19 0 9 0 27735341 888967168 24265 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32432] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32432/stat : 32432 (java) S 32421 32423 31535 0 -1 64 40 429 0 0 0 0 3 1 15 0 9 0 27735341 888967168 24265 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868132
[startup+25.5019 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 32436
/proc/meminfo: memFree=1640288/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=868132 CPUtime=25.23
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 40971 429 1 0 2494 25 3 1 18 0 9 0 27735336 888967168 24277 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 217033 24277 2639 9 0 211491 0
[pid=32423/tid=32425] ppid=32421 vsize=868132 CPUtime=24.56
/proc/32423/task/32425/stat : 32425 (java) R 32421 32423 31535 0 -1 64 26616 429 1 0 2434 18 3 1 25 0 9 0 27735337 888967168 24277 996147200 134512640 134550932 4294955968 18446744073709551615 4126889783 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32426] ppid=32421 vsize=868132 CPUtime=0.29
/proc/32423/task/32426/stat : 32426 (java) S 32421 32423 31535 0 -1 64 12447 429 0 0 22 3 3 1 16 0 9 0 27735339 888967168 24277 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32427] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32427/stat : 32427 (java) S 32421 32423 31535 0 -1 64 21 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24277 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32428] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32428/stat : 32428 (java) S 32421 32423 31535 0 -1 64 9 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24277 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32429] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32429/stat : 32429 (java) S 32421 32423 31535 0 -1 64 2 429 0 0 0 0 3 1 18 0 9 0 27735341 888967168 24277 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32430] ppid=32421 vsize=868132 CPUtime=0.41
/proc/32423/task/32430/stat : 32430 (java) S 32421 32423 31535 0 -1 64 1034 429 0 0 36 1 3 1 16 0 9 0 27735341 888967168 24277 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32431] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32431/stat : 32431 (java) S 32421 32423 31535 0 -1 64 0 429 0 0 0 0 3 1 19 0 9 0 27735341 888967168 24277 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32432] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32432/stat : 32432 (java) S 32421 32423 31535 0 -1 64 40 429 0 0 0 0 3 1 15 0 9 0 27735341 888967168 24277 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 868132
[startup+51.1019 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 32436
/proc/meminfo: memFree=1640288/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=868132 CPUtime=50.6
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 40978 429 1 0 5030 26 3 1 18 0 9 0 27735336 888967168 24282 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 217033 24282 2639 9 0 211491 0
[pid=32423/tid=32425] ppid=32421 vsize=868132 CPUtime=49.91
/proc/32423/task/32425/stat : 32425 (java) R 32421 32423 31535 0 -1 64 26618 429 1 0 4969 18 3 1 25 0 9 0 27735337 888967168 24282 996147200 134512640 134550932 4294955968 18446744073709551615 4127237531 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32426] ppid=32421 vsize=868132 CPUtime=0.29
/proc/32423/task/32426/stat : 32426 (java) S 32421 32423 31535 0 -1 64 12447 429 0 0 22 3 3 1 16 0 9 0 27735339 888967168 24282 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32427] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32427/stat : 32427 (java) S 32421 32423 31535 0 -1 64 21 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24282 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32428] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32428/stat : 32428 (java) S 32421 32423 31535 0 -1 64 9 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24282 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32429] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32429/stat : 32429 (java) S 32421 32423 31535 0 -1 64 2 429 0 0 0 0 3 1 18 0 9 0 27735341 888967168 24282 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32430] ppid=32421 vsize=868132 CPUtime=0.42
/proc/32423/task/32430/stat : 32430 (java) S 32421 32423 31535 0 -1 64 1039 429 0 0 37 1 3 1 17 0 9 0 27735341 888967168 24282 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32431] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32431/stat : 32431 (java) S 32421 32423 31535 0 -1 64 0 429 0 0 0 0 3 1 19 0 9 0 27735341 888967168 24282 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/32423/task/32428/stat : 32428 (java) S 32421 32423 31535 0 -1 64 9 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32429] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32429/stat : 32429 (java) S 32421 32423 31535 0 -1 64 2 429 0 0 0 0 3 1 18 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32430] ppid=32421 vsize=868132 CPUtime=0.43
/proc/32423/task/32430/stat : 32430 (java) S 32421 32423 31535 0 -1 64 1043 429 0 0 38 1 3 1 16 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32423/tid=32431] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32431/stat : 32431 (java) S 32421 32423 31535 0 -1 64 0 429 0 0 0 0 3 1 19 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32432] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32432/stat : 32432 (java) S 32421 32423 31535 0 -1 64 40 429 0 0 0 0 3 1 15 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1478.5
Current children cumulated vsize (KiB) 868132
[startup+1542.3 s]
/proc/loadavg: 2.08 2.07 2.00 3/89 32483
/proc/meminfo: memFree=1688864/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=868132 CPUtime=1538.48
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 40986 429 1 0 153814 30 3 1 18 0 9 0 27735336 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 217033 24285 2639 9 0 211491 0
[pid=32423/tid=32425] ppid=32421 vsize=868132 CPUtime=1537.78
/proc/32423/task/32425/stat : 32425 (java) R 32421 32423 31535 0 -1 64 26622 429 1 0 153752 22 3 1 25 0 9 0 27735337 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4127242436 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32423/tid=32426] ppid=32421 vsize=868132 CPUtime=0.29
/proc/32423/task/32426/stat : 32426 (java) S 32421 32423 31535 0 -1 64 12447 429 0 0 22 3 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32427] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32427/stat : 32427 (java) S 32421 32423 31535 0 -1 64 21 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32428] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32428/stat : 32428 (java) S 32421 32423 31535 0 -1 64 9 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32429] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32429/stat : 32429 (java) S 32421 32423 31535 0 -1 64 2 429 0 0 0 0 3 1 18 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32430] ppid=32421 vsize=868132 CPUtime=0.43
/proc/32423/task/32430/stat : 32430 (java) S 32421 32423 31535 0 -1 64 1043 429 0 0 38 1 3 1 16 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32423/tid=32431] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32431/stat : 32431 (java) S 32421 32423 31535 0 -1 64 0 429 0 0 0 0 3 1 19 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32432] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32432/stat : 32432 (java) S 32421 32423 31535 0 -1 64 40 429 0 0 0 0 3 1 15 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1538.48
Current children cumulated vsize (KiB) 868132
[startup+1602.3 s]
/proc/loadavg: 2.08 2.07 2.00 3/89 32483
/proc/meminfo: memFree=1688736/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=868132 CPUtime=1598.46
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 40986 429 1 0 159812 30 3 1 18 0 9 0 27735336 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 217033 24285 2639 9 0 211491 0
[pid=32423/tid=32425] ppid=32421 vsize=868132 CPUtime=1597.76
/proc/32423/task/32425/stat : 32425 (java) R 32421 32423 31535 0 -1 64 26622 429 1 0 159750 22 3 1 25 0 9 0 27735337 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4127241580 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32423/tid=32426] ppid=32421 vsize=868132 CPUtime=0.29
/proc/32423/task/32426/stat : 32426 (java) S 32421 32423 31535 0 -1 64 12447 429 0 0 22 3 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32427] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32427/stat : 32427 (java) S 32421 32423 31535 0 -1 64 21 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32428] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32428/stat : 32428 (java) S 32421 32423 31535 0 -1 64 9 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32429] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32429/stat : 32429 (java) S 32421 32423 31535 0 -1 64 2 429 0 0 0 0 3 1 18 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32430] ppid=32421 vsize=868132 CPUtime=0.43
/proc/32423/task/32430/stat : 32430 (java) S 32421 32423 31535 0 -1 64 1043 429 0 0 38 1 3 1 16 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32423/tid=32431] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32431/stat : 32431 (java) S 32421 32423 31535 0 -1 64 0 429 0 0 0 0 3 1 19 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32432] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32432/stat : 32432 (java) S 32421 32423 31535 0 -1 64 40 429 0 0 0 0 3 1 15 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1598.46
Current children cumulated vsize (KiB) 868132
[startup+1662.3 s]
/proc/loadavg: 2.07 2.07 2.00 3/89 32483
/proc/meminfo: memFree=1688608/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=868132 CPUtime=1658.43
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 40986 429 1 0 165809 30 3 1 18 0 9 0 27735336 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 217033 24285 2639 9 0 211491 0
[pid=32423/tid=32425] ppid=32421 vsize=868132 CPUtime=1657.74
/proc/32423/task/32425/stat : 32425 (java) R 32421 32423 31535 0 -1 64 26622 429 1 0 165748 22 3 1 25 0 9 0 27735337 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4127237488 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32423/tid=32426] ppid=32421 vsize=868132 CPUtime=0.29
/proc/32423/task/32426/stat : 32426 (java) S 32421 32423 31535 0 -1 64 12447 429 0 0 22 3 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32427] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32427/stat : 32427 (java) S 32421 32423 31535 0 -1 64 21 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32428] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32428/stat : 32428 (java) S 32421 32423 31535 0 -1 64 9 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32429] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32429/stat : 32429 (java) S 32421 32423 31535 0 -1 64 2 429 0 0 0 0 3 1 18 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32430] ppid=32421 vsize=868132 CPUtime=0.43
/proc/32423/task/32430/stat : 32430 (java) S 32421 32423 31535 0 -1 64 1043 429 0 0 38 1 3 1 16 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32423/tid=32431] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32431/stat : 32431 (java) S 32421 32423 31535 0 -1 64 0 429 0 0 0 0 3 1 19 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32432] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32432/stat : 32432 (java) S 32421 32423 31535 0 -1 64 40 429 0 0 0 0 3 1 15 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1658.43
Current children cumulated vsize (KiB) 868132
[startup+1722.3 s]
/proc/loadavg: 2.07 2.07 2.00 3/89 32483
/proc/meminfo: memFree=1688608/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=868132 CPUtime=1718.41
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 40986 429 1 0 171807 30 3 1 18 0 9 0 27735336 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 217033 24285 2639 9 0 211491 0
[pid=32423/tid=32425] ppid=32421 vsize=868132 CPUtime=1717.72
/proc/32423/task/32425/stat : 32425 (java) R 32421 32423 31535 0 -1 64 26622 429 1 0 171746 22 3 1 25 0 9 0 27735337 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4126886730 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32423/tid=32426] ppid=32421 vsize=868132 CPUtime=0.29
/proc/32423/task/32426/stat : 32426 (java) S 32421 32423 31535 0 -1 64 12447 429 0 0 22 3 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32427] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32427/stat : 32427 (java) S 32421 32423 31535 0 -1 64 21 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32428] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32428/stat : 32428 (java) S 32421 32423 31535 0 -1 64 9 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32429] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32429/stat : 32429 (java) S 32421 32423 31535 0 -1 64 2 429 0 0 0 0 3 1 18 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32430] ppid=32421 vsize=868132 CPUtime=0.43
/proc/32423/task/32430/stat : 32430 (java) S 32421 32423 31535 0 -1 64 1043 429 0 0 38 1 3 1 16 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32423/tid=32431] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32431/stat : 32431 (java) S 32421 32423 31535 0 -1 64 0 429 0 0 0 0 3 1 19 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32432] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32432/stat : 32432 (java) S 32421 32423 31535 0 -1 64 40 429 0 0 0 0 3 1 15 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1718.41
Current children cumulated vsize (KiB) 868132
[startup+1782.3 s]
/proc/loadavg: 2.06 2.07 2.00 3/89 32483
/proc/meminfo: memFree=1688544/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=868132 CPUtime=1778.39
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 40986 429 1 0 177805 30 3 1 18 0 9 0 27735336 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 217033 24285 2639 9 0 211491 0
[pid=32423/tid=32425] ppid=32421 vsize=868132 CPUtime=1777.69
/proc/32423/task/32425/stat : 32425 (java) R 32421 32423 31535 0 -1 64 26622 429 1 0 177743 22 3 1 25 0 9 0 27735337 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4126904529 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32423/tid=32426] ppid=32421 vsize=868132 CPUtime=0.29
/proc/32423/task/32426/stat : 32426 (java) S 32421 32423 31535 0 -1 64 12447 429 0 0 22 3 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32427] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32427/stat : 32427 (java) S 32421 32423 31535 0 -1 64 21 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32428] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32428/stat : 32428 (java) S 32421 32423 31535 0 -1 64 9 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32429] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32429/stat : 32429 (java) S 32421 32423 31535 0 -1 64 2 429 0 0 0 0 3 1 18 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32430] ppid=32421 vsize=868132 CPUtime=0.43
/proc/32423/task/32430/stat : 32430 (java) S 32421 32423 31535 0 -1 64 1043 429 0 0 38 1 3 1 16 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32423/tid=32431] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32431/stat : 32431 (java) S 32421 32423 31535 0 -1 64 0 429 0 0 0 0 3 1 19 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32432] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32432/stat : 32432 (java) S 32421 32423 31535 0 -1 64 40 429 0 0 0 0 3 1 15 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1778.39
Current children cumulated vsize (KiB) 868132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.01 s]
/proc/loadavg: 2.11 2.08 2.00 3/89 32483
/proc/meminfo: memFree=1688608/2055920 swapFree=4192812/4192956
[pid=32423] ppid=32421 vsize=868132 CPUtime=1800.09
/proc/32423/stat : 32423 (java) S 32421 32423 31535 0 -1 0 40986 429 1 0 179975 30 3 1 18 0 9 0 27735336 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32423/statm: 217033 24285 2639 9 0 211491 0
[pid=32423/tid=32425] ppid=32421 vsize=868132 CPUtime=1799.39
/proc/32423/task/32425/stat : 32425 (java) R 32421 32423 31535 0 -1 64 26622 429 1 0 179913 22 3 1 25 0 9 0 27735337 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4126891194 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32423/tid=32426] ppid=32421 vsize=868132 CPUtime=0.29
/proc/32423/task/32426/stat : 32426 (java) S 32421 32423 31535 0 -1 64 12447 429 0 0 22 3 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32427] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32427/stat : 32427 (java) S 32421 32423 31535 0 -1 64 21 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32428] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32428/stat : 32428 (java) S 32421 32423 31535 0 -1 64 9 429 0 0 0 0 3 1 16 0 9 0 27735339 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32429] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32429/stat : 32429 (java) S 32421 32423 31535 0 -1 64 2 429 0 0 0 0 3 1 18 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32430] ppid=32421 vsize=868132 CPUtime=0.43
/proc/32423/task/32430/stat : 32430 (java) S 32421 32423 31535 0 -1 64 1043 429 0 0 38 1 3 1 16 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32423/tid=32431] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32431/stat : 32431 (java) S 32421 32423 31535 0 -1 64 0 429 0 0 0 0 3 1 19 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32423/tid=32432] ppid=32421 vsize=868132 CPUtime=0.04
/proc/32423/task/32432/stat : 32432 (java) S 32421 32423 31535 0 -1 64 40 429 0 0 0 0 3 1 15 0 9 0 27735341 888967168 24285 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 868132
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): 1804.07
CPU time (s): 1800.16
CPU user time (s): 1799.83
CPU system time (s): 0.328949
CPU usage (%): 99.7833
Max. virtual memory (cumulated for all children) (KiB): 868220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.328949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41444
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= 38507
involuntary context switches= 76088
runsolver used 2.35464 second user time and 5.86111 second system time
The end
Begin job on node1 at 2009-07-12 15:51:16
IDJOB=2095174
IDBENCH=54949
IDSOLVER=774
FILE ID=node1/2095174-1247406676
PBS_JOBID= 9510641
Free space on /tmp= 66384 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/tdsp/normalized-C4-1-61.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095174-1247406676/watcher-2095174-1247406676 -o /tmp/evaluation-result-2095174-1247406676/solver-2095174-1247406676 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095174-1247406676.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 847c29dfc4e27056a33db391ee6d79af
RANDOM SEED=782780686
node1.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.216
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.216
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: 1728200 kB
Buffers: 35060 kB
Cached: 105836 kB
SwapCached: 0 kB
Active: 199616 kB
Inactive: 74292 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1728200 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2268 kB
Writeback: 0 kB
Mapped: 153488 kB
Slab: 38780 kB
Committed_AS: 1008432 kB
PageTables: 2076 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= 66384 MiB
End job on node1 at 2009-07-12 16:21:22