0.07/0.09
0.07/0.09 Abscon 112 (May, 2008)
0.19/0.26
0.19/0.26 configuration
0.19/0.26 name=esac.xml
0.19/0.30
0.19/0.30 instance
0.19/0.30 name=HOME/instance-2097584-1247413570.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.34
0.29/0.34 variables being loaded...
0.78/0.81 nbVariables=2000 nbDomainTypes=1 minDomainSize=2000 maxDomainSize=2000 nbTotalValues=4000000
0.78/0.81 => wckTime=0.544 cpuTime=0.35 mem=86M333
0.78/0.81
0.78/0.81 predicates being loaded...
0.78/0.86
0.78/0.86 constraints being loaded...
3.03/3.15 nbConstraints=2000 nbConvertedConstraints=2000 nbConvertConstraintsChecks=8000000 nbExtensionStructures=2
3.03/3.15 nbSharedExtensionStructures=1998 nbConflictsStructures=2 nbSharedConflictsStructures=1998
3.03/3.15 nbSharedBinaryRepresentations=5998 minDegree=2 maxDegree=2 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0
3.03/3.15 symmetryWckTime=0.177 symmetryCpuTime=0.09
3.03/3.15 => wckTime=2.888 cpuTime=2.39 mem=102M984
3.13/3.30
3.13/3.30 solver IterativeSystematicSolver being built...
3.74/3.84 => wckTime=3.575 cpuTime=2.67 mem=219M469
96.17/97.13
96.17/97.13 preprocessing
96.17/97.13 nbConstraintChecks=256671808 nbPropagations=3998001 nbRevisions=4000000 nbUselessRevisions=2000
96.17/97.13 nbRemovedValues=3998000 detectedInconsistency=no
96.17/97.13 => wckTime=93.136 cpuTime=92.25 mem=219M469
96.66/97.63
96.66/97.63 search
96.66/97.63 run=0 nbConstraintChecks=2000 minDepth=2001 maxDepth=2000 nbPropagations=4000001 nbRevisions=4002000
96.66/97.63 nbUselessRevisions=4000 nbAssignments=2000 nbFailedAssignments=0 nbBacktracks=0 nbVisitedNodes=2001
96.66/97.63 nbRestartNogoods=0 nbFoundSolutions=1 nbSEliminables=? nbREliminables=? nbIEliminables=? nbDEliminables=?
96.66/97.63 nbPEliminables=?
96.66/97.63 => wckTime=93.641 cpuTime=92.71 mem=221M194
96.66/97.63
96.66/97.63 global
96.66/97.63 nbConstraintChecks=256673808 nbPropagations=7998002 nbRevisions=8002000 nbUselessRevisions=6000
96.66/97.63 nbRestartNogoods=0 solvingWckTime=93.643 solvingCpuTime=92.71 expiredTime=no totalExploration=no
96.66/97.63 nbFoundSolutions=1 firstSolutionCpuTime=95.51 globalCpuTime=95.55
96.66/97.63 => wckTime=97.372 cpuTime=95.53 mem=221M194
96.96/97.93
96.96/97.93 s SATISFIABLE
96.96/97.93 v 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999 1999
96.96/97.93 d NODES 2000
96.96/97.93 d CHECKS 256673808
96.96/97.94
96.96/97.94 totalWckTime=97.741 totalCpuTime=95.85
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097584-1247413570/watcher-2097584-1247413570 -o /tmp/evaluation-result-2097584-1247413570/solver-2097584-1247413570 -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-2097584-1247413570.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.27 2.06 2.02 4/80 2203
/proc/meminfo: memFree=1649440/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=18576 CPUtime=0
/proc/2203/stat : 2203 (runsolver) R 2201 2203 32317 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28423946 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2203/statm: 4644 284 249 26 0 2626 0
[startup+0.0857829 s]
/proc/loadavg: 2.27 2.06 2.02 4/80 2203
/proc/meminfo: memFree=1649440/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=864148 CPUtime=0.07
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 3143 0 1 0 5 2 0 0 18 0 9 0 28423946 884887552 2628 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216037 2628 1245 9 0 210930 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 864148
[startup+0.102786 s]
/proc/loadavg: 2.27 2.06 2.02 4/80 2203
/proc/meminfo: memFree=1649440/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=865984 CPUtime=0.09
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 3733 0 1 0 7 2 0 0 18 0 9 0 28423946 886767616 3201 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216496 3201 1695 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.30281 s]
/proc/loadavg: 2.27 2.06 2.02 4/80 2203
/proc/meminfo: memFree=1649440/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=866380 CPUtime=0.29
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 5863 0 1 0 25 4 0 0 18 0 9 0 28423946 887173120 5229 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216595 5229 1981 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.702871 s]
/proc/loadavg: 2.27 2.06 2.02 4/80 2203
/proc/meminfo: memFree=1649440/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=867104 CPUtime=0.68
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 26409 0 1 0 55 13 0 0 18 0 9 0 28423946 887914496 25768 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216776 25768 2011 9 0 211234 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867104
[startup+1.50197 s]
/proc/loadavg: 2.27 2.06 2.02 3/89 2212
/proc/meminfo: memFree=1504984/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=867548 CPUtime=1.47
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 38733 0 1 0 129 18 0 0 18 0 9 0 28423946 888369152 38061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216887 38061 2030 9 0 211345 0
[pid=2203/tid=2205] ppid=2201 vsize=867548 CPUtime=1.1
/proc/2203/task/2205/stat : 2205 (java) R 2201 2203 32317 0 -1 64 15808 0 1 0 102 8 0 0 25 0 9 0 28423948 888369152 38061 996147200 134512640 134550932 4294955968 18446744073709551615 4126941299 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2206] ppid=2201 vsize=867548 CPUtime=0.16
/proc/2203/task/2206/stat : 2206 (java) S 2201 2203 32317 0 -1 64 21569 0 0 0 8 8 0 0 16 0 9 0 28423949 888369152 38061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2207] ppid=2201 vsize=867548 CPUtime=0
/proc/2203/task/2207/stat : 2207 (java) S 2201 2203 32317 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28423949 888369152 38061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2208] ppid=2201 vsize=867548 CPUtime=0
/proc/2203/task/2208/stat : 2208 (java) S 2201 2203 32317 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28423949 888369152 38061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2209] ppid=2201 vsize=867548 CPUtime=0
/proc/2203/task/2209/stat : 2209 (java) S 2201 2203 32317 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28423951 888369152 38061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2210] ppid=2201 vsize=867548 CPUtime=0.2
/proc/2203/task/2210/stat : 2210 (java) S 2201 2203 32317 0 -1 64 654 0 0 0 19 1 0 0 15 0 9 0 28423951 888369152 38061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2211] ppid=2201 vsize=867548 CPUtime=0
/proc/2203/task/2211/stat : 2211 (java) S 2201 2203 32317 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28423951 888369152 38061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2212] ppid=2201 vsize=867548 CPUtime=0
/proc/2203/task/2212/stat : 2212 (java) S 2201 2203 32317 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28423951 888369152 38061 996147200 134512640 134550932 4294955968 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) 867548
[startup+3.10132 s]
/proc/loadavg: 2.27 2.06 2.02 3/89 2212
/proc/meminfo: memFree=1504600/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=867872 CPUtime=3.03
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 38996 261 1 0 273 27 3 0 18 0 10 0 28423946 888700928 38153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216968 38153 2036 9 0 211426 0
[pid=2203/tid=2205] ppid=2201 vsize=867872 CPUtime=2.57
/proc/2203/task/2205/stat : 2205 (java) S 2201 2203 32317 0 -1 64 15928 261 1 0 239 15 3 0 24 0 10 0 28423948 888700928 38153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2206] ppid=2201 vsize=867872 CPUtime=0.19
/proc/2203/task/2206/stat : 2206 (java) S 2201 2203 32317 0 -1 64 21569 261 0 0 8 8 3 0 17 0 10 0 28423949 888700928 38153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2207] ppid=2201 vsize=867872 CPUtime=0.03
/proc/2203/task/2207/stat : 2207 (java) S 2201 2203 32317 0 -1 64 16 261 0 0 0 0 3 0 16 0 10 0 28423949 888700928 38153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2208] ppid=2201 vsize=867872 CPUtime=0.03
/proc/2203/task/2208/stat : 2208 (java) S 2201 2203 32317 0 -1 64 5 261 0 0 0 0 3 0 16 0 10 0 28423949 888700928 38153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2209] ppid=2201 vsize=867872 CPUtime=0.03
/proc/2203/task/2209/stat : 2209 (java) S 2201 2203 32317 0 -1 64 1 261 0 0 0 0 3 0 18 0 10 0 28423951 888700928 38153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2210] ppid=2201 vsize=867872 CPUtime=0.29
/proc/2203/task/2210/stat : 2210 (java) S 2201 2203 32317 0 -1 64 708 261 0 0 25 1 3 0 15 0 10 0 28423951 888700928 38153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2211] ppid=2201 vsize=867872 CPUtime=0.03
/proc/2203/task/2211/stat : 2211 (java) S 2201 2203 32317 0 -1 64 1 261 0 0 0 0 3 0 19 0 10 0 28423951 888700928 38153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2212] ppid=2201 vsize=867872 CPUtime=0.03
/proc/2203/task/2212/stat : 2212 (java) S 2201 2203 32317 0 -1 64 7 261 0 0 0 0 3 0 15 0 10 0 28423951 888700928 38153 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 867872
[startup+6.30261 s]
/proc/loadavg: 2.24 2.06 2.02 3/89 2216
/proc/meminfo: memFree=1389456/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=867968 CPUtime=6.22
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 98339 384 1 0 574 43 4 1 18 0 9 0 28423946 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216992 67348 2640 9 0 211450 0
[pid=2203/tid=2205] ppid=2201 vsize=867968 CPUtime=5.32
/proc/2203/task/2205/stat : 2205 (java) R 2201 2203 32317 0 -1 64 31025 384 1 0 510 17 4 1 25 0 9 0 28423948 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4127315669 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2206] ppid=2201 vsize=867968 CPUtime=0.56
/proc/2203/task/2206/stat : 2206 (java) S 2201 2203 32317 0 -1 64 65523 384 0 0 29 22 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2207] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2207/stat : 2207 (java) S 2201 2203 32317 0 -1 64 21 384 0 0 0 0 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2208] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2208/stat : 2208 (java) S 2201 2203 32317 0 -1 64 9 384 0 0 0 0 4 1 15 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2209] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2209/stat : 2209 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 18 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2210] ppid=2201 vsize=867968 CPUtime=0.39
/proc/2203/task/2210/stat : 2210 (java) S 2201 2203 32317 0 -1 64 923 384 0 0 33 1 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2211] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2211/stat : 2211 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 19 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2212] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2212/stat : 2212 (java) S 2201 2203 32317 0 -1 64 33 384 0 0 0 0 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867968
[startup+12.7015 s]
/proc/loadavg: 2.22 2.06 2.02 3/89 2216
/proc/meminfo: memFree=1389264/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=867968 CPUtime=12.56
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 98731 384 1 0 1208 43 4 1 18 0 9 0 28423946 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216992 67348 2640 9 0 211450 0
[pid=2203/tid=2205] ppid=2201 vsize=867968 CPUtime=11.67
/proc/2203/task/2205/stat : 2205 (java) R 2201 2203 32317 0 -1 64 31417 384 1 0 1144 18 4 1 25 0 9 0 28423948 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4127155905 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2206] ppid=2201 vsize=867968 CPUtime=0.56
/proc/2203/task/2206/stat : 2206 (java) S 2201 2203 32317 0 -1 64 65523 384 0 0 29 22 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2207] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2207/stat : 2207 (java) S 2201 2203 32317 0 -1 64 21 384 0 0 0 0 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2208] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2208/stat : 2208 (java) S 2201 2203 32317 0 -1 64 9 384 0 0 0 0 4 1 15 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2209] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2209/stat : 2209 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 18 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2210] ppid=2201 vsize=867968 CPUtime=0.39
/proc/2203/task/2210/stat : 2210 (java) S 2201 2203 32317 0 -1 64 923 384 0 0 33 1 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2211] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2211/stat : 2211 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 19 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2212] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2212/stat : 2212 (java) S 2201 2203 32317 0 -1 64 33 384 0 0 0 0 4 1 15 0 9 0 28423951 888799232 67348 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) 867968
[startup+25.5021 s]
/proc/loadavg: 2.17 2.06 2.02 3/89 2216
/proc/meminfo: memFree=1389264/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=867968 CPUtime=25.24
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 99641 384 1 0 2475 44 4 1 18 0 9 0 28423946 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216992 67348 2640 9 0 211450 0
[pid=2203/tid=2205] ppid=2201 vsize=867968 CPUtime=24.34
/proc/2203/task/2205/stat : 2205 (java) R 2201 2203 32317 0 -1 64 32327 384 1 0 2411 18 4 1 25 0 9 0 28423948 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4127315675 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2206] ppid=2201 vsize=867968 CPUtime=0.56
/proc/2203/task/2206/stat : 2206 (java) S 2201 2203 32317 0 -1 64 65523 384 0 0 29 22 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2207] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2207/stat : 2207 (java) S 2201 2203 32317 0 -1 64 21 384 0 0 0 0 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2208] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2208/stat : 2208 (java) S 2201 2203 32317 0 -1 64 9 384 0 0 0 0 4 1 15 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2209] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2209/stat : 2209 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 18 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2210] ppid=2201 vsize=867968 CPUtime=0.39
/proc/2203/task/2210/stat : 2210 (java) S 2201 2203 32317 0 -1 64 923 384 0 0 33 1 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2211] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2211/stat : 2211 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 19 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2212] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2212/stat : 2212 (java) S 2201 2203 32317 0 -1 64 33 384 0 0 0 0 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867968
[startup+51.1025 s]
/proc/loadavg: 2.11 2.05 2.01 3/89 2216
/proc/meminfo: memFree=1389264/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=867968 CPUtime=50.6
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 101627 384 1 0 5010 45 4 1 18 0 9 0 28423946 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216992 67348 2640 9 0 211450 0
[pid=2203/tid=2205] ppid=2201 vsize=867968 CPUtime=49.7
/proc/2203/task/2205/stat : 2205 (java) R 2201 2203 32317 0 -1 64 34313 384 1 0 4946 19 4 1 25 0 9 0 28423948 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4127315666 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2206] ppid=2201 vsize=867968 CPUtime=0.56
/proc/2203/task/2206/stat : 2206 (java) S 2201 2203 32317 0 -1 64 65523 384 0 0 29 22 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2207] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2207/stat : 2207 (java) S 2201 2203 32317 0 -1 64 21 384 0 0 0 0 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2208] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2208/stat : 2208 (java) S 2201 2203 32317 0 -1 64 9 384 0 0 0 0 4 1 15 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2209] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2209/stat : 2209 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 18 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2210] ppid=2201 vsize=867968 CPUtime=0.39
/proc/2203/task/2210/stat : 2210 (java) S 2201 2203 32317 0 -1 64 923 384 0 0 33 1 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2211] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2211/stat : 2211 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 19 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 103359 384 1 0 7545 46 4 1 18 0 9 0 28423946 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216992 67348 2640 9 0 211450 0
[pid=2203/tid=2205] ppid=2201 vsize=867968 CPUtime=75.06
/proc/2203/task/2205/stat : 2205 (java) R 2201 2203 32317 0 -1 64 36045 384 1 0 7481 20 4 1 25 0 9 0 28423948 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4127315916 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2206] ppid=2201 vsize=867968 CPUtime=0.56
/proc/2203/task/2206/stat : 2206 (java) S 2201 2203 32317 0 -1 64 65523 384 0 0 29 22 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2207] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2207/stat : 2207 (java) S 2201 2203 32317 0 -1 64 21 384 0 0 0 0 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2208] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2208/stat : 2208 (java) S 2201 2203 32317 0 -1 64 9 384 0 0 0 0 4 1 15 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2209] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2209/stat : 2209 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 18 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2210] ppid=2201 vsize=867968 CPUtime=0.39
/proc/2203/task/2210/stat : 2210 (java) S 2201 2203 32317 0 -1 64 923 384 0 0 33 1 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2211] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2211/stat : 2211 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 19 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2212] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2212/stat : 2212 (java) S 2201 2203 32317 0 -1 64 33 384 0 0 0 0 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 75.96
Current children cumulated vsize (KiB) 867968
[startup+89.5016 s]
/proc/loadavg: 2.06 2.04 2.01 3/89 2216
/proc/meminfo: memFree=1389200/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=867968 CPUtime=88.64
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 103359 384 1 0 8813 46 4 1 18 0 9 0 28423946 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216992 67348 2640 9 0 211450 0
[pid=2203/tid=2205] ppid=2201 vsize=867968 CPUtime=87.74
/proc/2203/task/2205/stat : 2205 (java) R 2201 2203 32317 0 -1 64 36045 384 1 0 8749 20 4 1 25 0 9 0 28423948 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2206] ppid=2201 vsize=867968 CPUtime=0.56
/proc/2203/task/2206/stat : 2206 (java) S 2201 2203 32317 0 -1 64 65523 384 0 0 29 22 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2207] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2207/stat : 2207 (java) S 2201 2203 32317 0 -1 64 21 384 0 0 0 0 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2208] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2208/stat : 2208 (java) S 2201 2203 32317 0 -1 64 9 384 0 0 0 0 4 1 15 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2209] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2209/stat : 2209 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 18 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2210] ppid=2201 vsize=867968 CPUtime=0.39
/proc/2203/task/2210/stat : 2210 (java) S 2201 2203 32317 0 -1 64 923 384 0 0 33 1 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2211] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2211/stat : 2211 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 19 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2212] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2212/stat : 2212 (java) S 2201 2203 32317 0 -1 64 33 384 0 0 0 0 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 88.64
Current children cumulated vsize (KiB) 867968
[startup+92.703 s]
/proc/loadavg: 2.06 2.04 2.01 3/89 2216
/proc/meminfo: memFree=1389136/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=867968 CPUtime=91.81
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 103359 384 1 0 9130 46 4 1 18 0 9 0 28423946 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216992 67348 2640 9 0 211450 0
[pid=2203/tid=2205] ppid=2201 vsize=867968 CPUtime=90.91
/proc/2203/task/2205/stat : 2205 (java) R 2201 2203 32317 0 -1 64 36045 384 1 0 9066 20 4 1 25 0 9 0 28423948 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4127315696 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2206] ppid=2201 vsize=867968 CPUtime=0.56
/proc/2203/task/2206/stat : 2206 (java) S 2201 2203 32317 0 -1 64 65523 384 0 0 29 22 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2207] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2207/stat : 2207 (java) S 2201 2203 32317 0 -1 64 21 384 0 0 0 0 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2208] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2208/stat : 2208 (java) S 2201 2203 32317 0 -1 64 9 384 0 0 0 0 4 1 15 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2209] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2209/stat : 2209 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 18 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2210] ppid=2201 vsize=867968 CPUtime=0.39
/proc/2203/task/2210/stat : 2210 (java) S 2201 2203 32317 0 -1 64 923 384 0 0 33 1 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2211] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2211/stat : 2211 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 19 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2212] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2212/stat : 2212 (java) S 2201 2203 32317 0 -1 64 33 384 0 0 0 0 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 91.81
Current children cumulated vsize (KiB) 867968
[startup+95.9014 s]
/proc/loadavg: 2.05 2.04 2.01 3/89 2216
/proc/meminfo: memFree=1389136/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=867968 CPUtime=94.98
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 103359 384 1 0 9447 46 4 1 18 0 9 0 28423946 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216992 67348 2640 9 0 211450 0
[pid=2203/tid=2205] ppid=2201 vsize=867968 CPUtime=94.08
/proc/2203/task/2205/stat : 2205 (java) R 2201 2203 32317 0 -1 64 36045 384 1 0 9383 20 4 1 25 0 9 0 28423948 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4127325859 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2206] ppid=2201 vsize=867968 CPUtime=0.56
/proc/2203/task/2206/stat : 2206 (java) S 2201 2203 32317 0 -1 64 65523 384 0 0 29 22 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2207] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2207/stat : 2207 (java) S 2201 2203 32317 0 -1 64 21 384 0 0 0 0 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2208] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2208/stat : 2208 (java) S 2201 2203 32317 0 -1 64 9 384 0 0 0 0 4 1 15 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2209] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2209/stat : 2209 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 18 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2210] ppid=2201 vsize=867968 CPUtime=0.39
/proc/2203/task/2210/stat : 2210 (java) S 2201 2203 32317 0 -1 64 923 384 0 0 33 1 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2211] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2211/stat : 2211 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 19 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2212] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2212/stat : 2212 (java) S 2201 2203 32317 0 -1 64 33 384 0 0 0 0 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 94.98
Current children cumulated vsize (KiB) 867968
[startup+96.7015 s]
/proc/loadavg: 2.05 2.04 2.01 4/89 2216
/proc/meminfo: memFree=1389136/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=867968 CPUtime=95.77
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 103359 384 1 0 9526 46 4 1 18 0 9 0 28423946 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216992 67348 2640 9 0 211450 0
[pid=2203/tid=2205] ppid=2201 vsize=867968 CPUtime=94.87
/proc/2203/task/2205/stat : 2205 (java) R 2201 2203 32317 0 -1 64 36045 384 1 0 9462 20 4 1 25 0 9 0 28423948 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4127315744 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2206] ppid=2201 vsize=867968 CPUtime=0.56
/proc/2203/task/2206/stat : 2206 (java) S 2201 2203 32317 0 -1 64 65523 384 0 0 29 22 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2207] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2207/stat : 2207 (java) S 2201 2203 32317 0 -1 64 21 384 0 0 0 0 4 1 16 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2208] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2208/stat : 2208 (java) S 2201 2203 32317 0 -1 64 9 384 0 0 0 0 4 1 15 0 9 0 28423949 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2209] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2209/stat : 2209 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 18 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2210] ppid=2201 vsize=867968 CPUtime=0.39
/proc/2203/task/2210/stat : 2210 (java) S 2201 2203 32317 0 -1 64 923 384 0 0 33 1 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2211] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2211/stat : 2211 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 19 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2212] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2212/stat : 2212 (java) S 2201 2203 32317 0 -1 64 33 384 0 0 0 0 4 1 15 0 9 0 28423951 888799232 67348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 95.77
Current children cumulated vsize (KiB) 867968
[startup+97.5016 s]
/proc/loadavg: 2.05 2.04 2.01 4/89 2216
/proc/meminfo: memFree=1389136/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=867968 CPUtime=96.56
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 103401 384 1 0 9605 46 4 1 18 0 9 0 28423946 888799232 67357 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216992 67357 2640 9 0 211450 0
[pid=2203/tid=2205] ppid=2201 vsize=867968 CPUtime=95.65
/proc/2203/task/2205/stat : 2205 (java) R 2201 2203 32317 0 -1 64 36047 384 1 0 9540 20 4 1 25 0 9 0 28423948 888799232 67357 996147200 134512640 134550932 4294955968 18446744073709551615 4127366547 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2206] ppid=2201 vsize=867968 CPUtime=0.56
/proc/2203/task/2206/stat : 2206 (java) S 2201 2203 32317 0 -1 64 65523 384 0 0 29 22 4 1 16 0 9 0 28423949 888799232 67357 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2207] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2207/stat : 2207 (java) S 2201 2203 32317 0 -1 64 21 384 0 0 0 0 4 1 16 0 9 0 28423949 888799232 67357 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2208] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2208/stat : 2208 (java) S 2201 2203 32317 0 -1 64 9 384 0 0 0 0 4 1 15 0 9 0 28423949 888799232 67357 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2209] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2209/stat : 2209 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 18 0 9 0 28423951 888799232 67357 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2210] ppid=2201 vsize=867968 CPUtime=0.41
/proc/2203/task/2210/stat : 2210 (java) S 2201 2203 32317 0 -1 64 963 384 0 0 35 1 4 1 16 0 9 0 28423951 888799232 67357 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2211] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2211/stat : 2211 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 19 0 9 0 28423951 888799232 67357 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2212] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2212/stat : 2212 (java) S 2201 2203 32317 0 -1 64 33 384 0 0 0 0 4 1 15 0 9 0 28423951 888799232 67357 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 96.56
Current children cumulated vsize (KiB) 867968
[startup+97.9067 s]
/proc/loadavg: 2.05 2.04 2.01 3/89 2216
/proc/meminfo: memFree=1389072/2055920 swapFree=4192812/4192956
[pid=2203] ppid=2201 vsize=867968 CPUtime=96.96
/proc/2203/stat : 2203 (java) S 2201 2203 32317 0 -1 0 103420 384 1 0 9645 46 4 1 18 0 9 0 28423946 888799232 67369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2203/statm: 216992 67369 2640 9 0 211450 0
[pid=2203/tid=2205] ppid=2201 vsize=867968 CPUtime=96.03
/proc/2203/task/2205/stat : 2205 (java) R 2201 2203 32317 0 -1 64 36054 384 1 0 9578 20 4 1 25 0 9 0 28423948 888799232 67369 996147200 134512640 134550932 4294955968 18446744073709551615 4127425678 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2206] ppid=2201 vsize=867968 CPUtime=0.56
/proc/2203/task/2206/stat : 2206 (java) S 2201 2203 32317 0 -1 64 65523 384 0 0 29 22 4 1 16 0 9 0 28423949 888799232 67369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2207] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2207/stat : 2207 (java) S 2201 2203 32317 0 -1 64 21 384 0 0 0 0 4 1 16 0 9 0 28423949 888799232 67369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2208] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2208/stat : 2208 (java) S 2201 2203 32317 0 -1 64 9 384 0 0 0 0 4 1 15 0 9 0 28423949 888799232 67369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2209] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2209/stat : 2209 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 18 0 9 0 28423951 888799232 67369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2210] ppid=2201 vsize=867968 CPUtime=0.42
/proc/2203/task/2210/stat : 2210 (java) S 2201 2203 32317 0 -1 64 975 384 0 0 36 1 4 1 15 0 9 0 28423951 888799232 67369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2211] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2211/stat : 2211 (java) S 2201 2203 32317 0 -1 64 1 384 0 0 0 0 4 1 19 0 9 0 28423951 888799232 67369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2203/tid=2212] ppid=2201 vsize=867968 CPUtime=0.05
/proc/2203/task/2212/stat : 2212 (java) S 2201 2203 32317 0 -1 64 33 384 0 0 0 0 4 1 15 0 9 0 28423951 888799232 67369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 96.96
Current children cumulated vsize (KiB) 867968
Child status: 0
Real time (s): 97.9946
CPU time (s): 97.0492
CPU user time (s): 96.5263
CPU system time (s): 0.52292
CPU usage (%): 99.0353
Max. virtual memory (cumulated for all children) (KiB): 870460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 96.5263
system time used= 0.52292
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103838
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= 3932
involuntary context switches= 6003
runsolver used 0.12598 second user time and 0.333949 second system time
The end
Begin job on node13 at 2009-07-12 17:46:10
IDJOB=2097584
IDBENCH=57536
IDSOLVER=774
FILE ID=node13/2097584-1247413570
PBS_JOBID= 9510617
Free space on /tmp= 66300 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/domino/normalized-domino-2000-2000.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-2097584-1247413570/watcher-2097584-1247413570 -o /tmp/evaluation-result-2097584-1247413570/solver-2097584-1247413570 -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-2097584-1247413570.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 91e910ef7cc4700f82e138dd14bf3e96
RANDOM SEED=566450945
node13.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.241
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.241
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: 1649920 kB
Buffers: 41260 kB
Cached: 109360 kB
SwapCached: 0 kB
Active: 290996 kB
Inactive: 57596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1649920 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2796 kB
Writeback: 0 kB
Mapped: 218492 kB
Slab: 42264 kB
Committed_AS: 1014332 kB
PageTables: 2244 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= 66296 MiB
End job on node13 at 2009-07-12 17:47:48