0.02/0.08
0.02/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-2098970-1247417431.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.35 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19 nbTotalValues=760
0.28/0.35 => wckTime=0.105 cpuTime=0.09 mem=7M892
0.28/0.35
0.28/0.35 relations being loaded...
0.38/0.46
0.38/0.46 constraints being loaded...
0.58/0.65 nbConstraints=341 nbRelationTypes=341 nbExtensionStructures=341 nbSharedExtensionStructures=0
0.58/0.65 nbConflictsStructures=341 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2960 minDegree=11
0.58/0.65 maxDegree=23 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.058 symmetryCpuTime=0.03
0.58/0.65 => wckTime=0.405 cpuTime=0.28 mem=19M622
0.67/0.71
0.67/0.71 solver IterativeSystematicSolver being built...
0.78/0.85 => wckTime=0.602 cpuTime=0.4 mem=21M320
0.87/0.90
0.87/0.90 preprocessing
0.87/0.90 nbConstraintChecks=68735 nbPropagations=929 nbRevisions=7431 nbUselessRevisions=6121 nbSingletonTests=51
0.87/0.90 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
0.87/0.90 => wckTime=0.05 cpuTime=0.03 mem=21M320
0.97/1.02
0.97/1.02 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M361)
152.37/153.20
152.37/153.20 search
152.37/153.20 run=23 nbConstraintChecks=891261653 minDepth=0 maxDepth=40 nbPropagations=42405635 nbRevisions=599288420
152.37/153.20 nbUselessRevisions=486565985 nbAssignments=643089 nbFailedAssignments=259988 nbInferredBacktracks=13
152.37/153.20 nbBacktracks=382878 nbVisitedNodes=1120623 nbRestartNogoods=187 nbFoundSolutions=1 nbSEliminables=8.34
152.37/153.20 nbREliminables=1.21 nbIEliminables=0.21 nbDEliminables=0 nbPEliminables=0
152.37/153.20 => wckTime=152.346 cpuTime=151.57 mem=22M361
152.47/153.20
152.47/153.20 global
152.47/153.20 nbConstraintChecks=891330388 nbPropagations=42406564 nbRevisions=599295851 nbUselessRevisions=486572106
152.47/153.20 nbRestartNogoods=187 solvingWckTime=152.35 solvingCpuTime=151.57 expiredTime=no totalExploration=no
152.47/153.20 nbFoundSolutions=1 firstSolutionCpuTime=151.97 globalCpuTime=152.01
152.47/153.20 => wckTime=152.955 cpuTime=151.97 mem=22M361
152.47/153.20
152.47/153.20 s SATISFIABLE
152.47/153.20 v 6 7 7 3 17 11 11 11 10 5 12 18 4 12 3 9 10 17 10 16 1 1 12 4 12 1 0 14 12 9 12 4 14 16 5 16 17 5 14 15
152.47/153.20 d NODES 643089
152.47/153.20 d CHECKS 891330388
152.47/153.20
152.47/153.20 totalWckTime=153.022 totalCpuTime=152.01
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098970-1247417431/watcher-2098970-1247417431 -o /tmp/evaluation-result-2098970-1247417431/solver-2098970-1247417431 -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-2098970-1247417431.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: 1.99 1.97 1.98 4/81 32145
/proc/meminfo: memFree=1720504/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=18576 CPUtime=0
/proc/32145/stat : 32145 (runsolver) R 32143 32145 31564 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 28810382 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 228706544935 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/32145/statm: 4644 284 249 26 0 2626 0
[startup+0.0414969 s]
/proc/loadavg: 1.99 1.97 1.98 4/81 32145
/proc/meminfo: memFree=1720504/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=861936 CPUtime=0.02
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 2278 0 1 0 1 1 0 0 18 0 5 0 28810382 882622464 1880 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 215484 1894 867 9 0 210399 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861936
[startup+0.108941 s]
/proc/loadavg: 1.99 1.97 1.98 4/81 32145
/proc/meminfo: memFree=1720504/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=865984 CPUtime=0.09
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 3888 0 1 0 7 2 0 0 18 0 9 0 28810382 886767616 3331 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216496 3331 1752 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301959 s]
/proc/loadavg: 1.99 1.97 1.98 4/81 32145
/proc/meminfo: memFree=1720504/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=866380 CPUtime=0.28
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 6015 0 1 0 24 4 0 0 18 0 9 0 28810382 887173120 5381 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216595 5381 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.702 s]
/proc/loadavg: 1.99 1.97 1.98 4/81 32145
/proc/meminfo: memFree=1720504/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=867756 CPUtime=0.67
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 13401 166 1 0 59 8 0 0 18 0 10 0 28810382 888582144 9381 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216939 9381 2631 9 0 211397 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867756
[startup+1.50207 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 32158
/proc/meminfo: memFree=1687600/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=867964 CPUtime=1.46
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 17216 290 1 0 137 9 0 0 18 0 9 0 28810382 888795136 10806 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216991 10806 2657 9 0 211427 0
[pid=32145/tid=32147] ppid=32143 vsize=867964 CPUtime=1.15
/proc/32145/task/32147/stat : 32147 (java) R 32143 32145 31564 0 -1 64 11987 290 1 0 109 6 0 0 25 0 9 0 28810383 888795136 10806 996147200 134512640 134550932 4294955968 18446744073709551615 4126097263 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32148] ppid=32143 vsize=867964 CPUtime=0.05
/proc/32145/task/32148/stat : 32148 (java) S 32143 32145 31564 0 -1 64 3657 290 0 0 4 1 0 0 16 0 9 0 28810384 888795136 10806 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32149] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32149/stat : 32149 (java) S 32143 32145 31564 0 -1 64 16 290 0 0 0 0 0 0 16 0 9 0 28810385 888795136 10806 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32150] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32150/stat : 32150 (java) S 32143 32145 31564 0 -1 64 8 290 0 0 0 0 0 0 15 0 9 0 28810385 888795136 10806 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32151] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32151/stat : 32151 (java) S 32143 32145 31564 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28810387 888795136 10806 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32152] ppid=32143 vsize=867964 CPUtime=0.24
/proc/32145/task/32152/stat : 32152 (java) S 32143 32145 31564 0 -1 64 722 290 0 0 23 1 0 0 16 0 9 0 28810387 888795136 10806 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32153] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32153/stat : 32153 (java) S 32143 32145 31564 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28810387 888795136 10806 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32154] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32154/stat : 32154 (java) S 32143 32145 31564 0 -1 64 11 290 0 0 0 0 0 0 15 0 9 0 28810387 888795136 10806 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) 867964
[startup+3.10222 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 32158
/proc/meminfo: memFree=1687152/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=867964 CPUtime=3.06
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 17225 290 1 0 296 10 0 0 18 0 9 0 28810382 888795136 10813 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216991 10813 2657 9 0 211427 0
[pid=32145/tid=32147] ppid=32143 vsize=867964 CPUtime=2.74
/proc/32145/task/32147/stat : 32147 (java) R 32143 32145 31564 0 -1 64 11989 290 1 0 268 6 0 0 25 0 9 0 28810383 888795136 10813 996147200 134512640 134550932 4294955968 18446744073709551615 4126888701 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32148] ppid=32143 vsize=867964 CPUtime=0.05
/proc/32145/task/32148/stat : 32148 (java) S 32143 32145 31564 0 -1 64 3657 290 0 0 4 1 0 0 17 0 9 0 28810384 888795136 10813 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32149] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32149/stat : 32149 (java) S 32143 32145 31564 0 -1 64 16 290 0 0 0 0 0 0 16 0 9 0 28810385 888795136 10813 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32150] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32150/stat : 32150 (java) S 32143 32145 31564 0 -1 64 8 290 0 0 0 0 0 0 15 0 9 0 28810385 888795136 10813 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32151] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32151/stat : 32151 (java) S 32143 32145 31564 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28810387 888795136 10813 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32152] ppid=32143 vsize=867964 CPUtime=0.24
/proc/32145/task/32152/stat : 32152 (java) S 32143 32145 31564 0 -1 64 729 290 0 0 23 1 0 0 15 0 9 0 28810387 888795136 10813 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32153] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32153/stat : 32153 (java) S 32143 32145 31564 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28810387 888795136 10813 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32154] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32154/stat : 32154 (java) S 32143 32145 31564 0 -1 64 11 290 0 0 0 0 0 0 15 0 9 0 28810387 888795136 10813 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) 867964
[startup+6.30152 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 32160
/proc/meminfo: memFree=1686904/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=867964 CPUtime=6.25
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 17246 290 1 0 615 10 0 0 18 0 9 0 28810382 888795136 10818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216991 10818 2657 9 0 211427 0
[pid=32145/tid=32147] ppid=32143 vsize=867964 CPUtime=5.92
/proc/32145/task/32147/stat : 32147 (java) R 32143 32145 31564 0 -1 64 11995 290 1 0 586 6 0 0 25 0 9 0 28810383 888795136 10818 996147200 134512640 134550932 4294955968 18446744073709551615 4126899751 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32148] ppid=32143 vsize=867964 CPUtime=0.05
/proc/32145/task/32148/stat : 32148 (java) S 32143 32145 31564 0 -1 64 3657 290 0 0 4 1 0 0 16 0 9 0 28810384 888795136 10818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32149] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32149/stat : 32149 (java) S 32143 32145 31564 0 -1 64 16 290 0 0 0 0 0 0 16 0 9 0 28810385 888795136 10818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32150] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32150/stat : 32150 (java) S 32143 32145 31564 0 -1 64 8 290 0 0 0 0 0 0 15 0 9 0 28810385 888795136 10818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32151] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32151/stat : 32151 (java) S 32143 32145 31564 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28810387 888795136 10818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32152] ppid=32143 vsize=867964 CPUtime=0.24
/proc/32145/task/32152/stat : 32152 (java) S 32143 32145 31564 0 -1 64 730 290 0 0 23 1 0 0 16 0 9 0 28810387 888795136 10818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32153] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32153/stat : 32153 (java) S 32143 32145 31564 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28810387 888795136 10818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32154] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32154/stat : 32154 (java) R 32143 32145 31564 0 -1 64 25 290 0 0 0 0 0 0 15 0 9 0 28810387 888795136 10818 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867964
[startup+12.7021 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 32160
/proc/meminfo: memFree=1686984/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=867964 CPUtime=12.61
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 17247 290 1 0 1251 10 0 0 18 0 9 0 28810382 888795136 10819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216991 10819 2657 9 0 211427 0
[pid=32145/tid=32147] ppid=32143 vsize=867964 CPUtime=12.29
/proc/32145/task/32147/stat : 32147 (java) R 32143 32145 31564 0 -1 64 11996 290 1 0 1223 6 0 0 25 0 9 0 28810383 888795136 10819 996147200 134512640 134550932 4294955968 18446744073709551615 4126893164 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32148] ppid=32143 vsize=867964 CPUtime=0.05
/proc/32145/task/32148/stat : 32148 (java) S 32143 32145 31564 0 -1 64 3657 290 0 0 4 1 0 0 16 0 9 0 28810384 888795136 10819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32149] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32149/stat : 32149 (java) S 32143 32145 31564 0 -1 64 16 290 0 0 0 0 0 0 16 0 9 0 28810385 888795136 10819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32150] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32150/stat : 32150 (java) S 32143 32145 31564 0 -1 64 8 290 0 0 0 0 0 0 15 0 9 0 28810385 888795136 10819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32151] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32151/stat : 32151 (java) S 32143 32145 31564 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28810387 888795136 10819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32152] ppid=32143 vsize=867964 CPUtime=0.24
/proc/32145/task/32152/stat : 32152 (java) S 32143 32145 31564 0 -1 64 730 290 0 0 23 1 0 0 16 0 9 0 28810387 888795136 10819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32153] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32153/stat : 32153 (java) S 32143 32145 31564 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28810387 888795136 10819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32154] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32154/stat : 32154 (java) S 32143 32145 31564 0 -1 64 25 290 0 0 0 0 0 0 15 0 9 0 28810387 888795136 10819 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 867964
[startup+25.5013 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 32160
/proc/meminfo: memFree=1686984/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=867964 CPUtime=25.35
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 17248 290 1 0 2525 10 0 0 18 0 9 0 28810382 888795136 10820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216991 10820 2657 9 0 211427 0
[pid=32145/tid=32147] ppid=32143 vsize=867964 CPUtime=25.02
/proc/32145/task/32147/stat : 32147 (java) R 32143 32145 31564 0 -1 64 11997 290 1 0 2496 6 0 0 25 0 9 0 28810383 888795136 10820 996147200 134512640 134550932 4294955968 18446744073709551615 4126889004 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32148] ppid=32143 vsize=867964 CPUtime=0.05
/proc/32145/task/32148/stat : 32148 (java) S 32143 32145 31564 0 -1 64 3657 290 0 0 4 1 0 0 16 0 9 0 28810384 888795136 10820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32149] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32149/stat : 32149 (java) S 32143 32145 31564 0 -1 64 16 290 0 0 0 0 0 0 16 0 9 0 28810385 888795136 10820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32150] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32150/stat : 32150 (java) S 32143 32145 31564 0 -1 64 8 290 0 0 0 0 0 0 15 0 9 0 28810385 888795136 10820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32151] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32151/stat : 32151 (java) S 32143 32145 31564 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28810387 888795136 10820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32152] ppid=32143 vsize=867964 CPUtime=0.24
/proc/32145/task/32152/stat : 32152 (java) S 32143 32145 31564 0 -1 64 730 290 0 0 23 1 0 0 16 0 9 0 28810387 888795136 10820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32153] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32153/stat : 32153 (java) S 32143 32145 31564 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28810387 888795136 10820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32154] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32154/stat : 32154 (java) S 32143 32145 31564 0 -1 64 25 290 0 0 0 0 0 0 15 0 9 0 28810387 888795136 10820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 867964
[startup+51.1017 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 32160
/proc/meminfo: memFree=1686984/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=867964 CPUtime=50.83
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 17250 290 1 0 5073 10 0 0 18 0 9 0 28810382 888795136 10821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216991 10821 2657 9 0 211427 0
[pid=32145/tid=32147] ppid=32143 vsize=867964 CPUtime=50.5
/proc/32145/task/32147/stat : 32147 (java) R 32143 32145 31564 0 -1 64 11999 290 1 0 5044 6 0 0 25 0 9 0 28810383 888795136 10821 996147200 134512640 134550932 4294955968 18446744073709551615 4126963675 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32148] ppid=32143 vsize=867964 CPUtime=0.05
/proc/32145/task/32148/stat : 32148 (java) S 32143 32145 31564 0 -1 64 3657 290 0 0 4 1 0 0 16 0 9 0 28810384 888795136 10821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32149] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32149/stat : 32149 (java) S 32143 32145 31564 0 -1 64 16 290 0 0 0 0 0 0 16 0 9 0 28810385 888795136 10821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32150] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32150/stat : 32150 (java) S 32143 32145 31564 0 -1 64 8 290 0 0 0 0 0 0 15 0 9 0 28810385 888795136 10821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32151] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32151/stat : 32151 (java) S 32143 32145 31564 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28810387 888795136 10821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32152] ppid=32143 vsize=867964 CPUtime=0.25
/proc/32145/task/32152/stat : 32152 (java) S 32143 32145 31564 0 -1 64 730 290 0 0 24 1 0 0 16 0 9 0 28810387 888795136 10821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32153] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32153/stat : 32153 (java) S 32143 32145 31564 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28810387 888795136 10821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 17253 290 1 0 13993 10 0 0 18 0 9 0 28810382 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216991 10824 2657 9 0 211427 0
[pid=32145/tid=32147] ppid=32143 vsize=867964 CPUtime=139.71
/proc/32145/task/32147/stat : 32147 (java) R 32143 32145 31564 0 -1 64 12002 290 1 0 13964 7 0 0 25 0 9 0 28810383 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32148] ppid=32143 vsize=867964 CPUtime=0.05
/proc/32145/task/32148/stat : 32148 (java) S 32143 32145 31564 0 -1 64 3657 290 0 0 4 1 0 0 16 0 9 0 28810384 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32149] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32149/stat : 32149 (java) S 32143 32145 31564 0 -1 64 16 290 0 0 0 0 0 0 16 0 9 0 28810385 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32150] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32150/stat : 32150 (java) S 32143 32145 31564 0 -1 64 8 290 0 0 0 0 0 0 15 0 9 0 28810385 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32151] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32151/stat : 32151 (java) S 32143 32145 31564 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32152] ppid=32143 vsize=867964 CPUtime=0.25
/proc/32145/task/32152/stat : 32152 (java) S 32143 32145 31564 0 -1 64 730 290 0 0 24 1 0 0 16 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32153] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32153/stat : 32153 (java) S 32143 32145 31564 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32154] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32154/stat : 32154 (java) S 32143 32145 31564 0 -1 64 25 290 0 0 0 0 0 0 15 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (KiB) 867964
[startup+147.103 s]
/proc/loadavg: 1.99 1.97 1.98 4/90 32160
/proc/meminfo: memFree=1686984/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=867964 CPUtime=146.4
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 17253 290 1 0 14630 10 0 0 18 0 9 0 28810382 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216991 10824 2657 9 0 211427 0
[pid=32145/tid=32147] ppid=32143 vsize=867964 CPUtime=146.08
/proc/32145/task/32147/stat : 32147 (java) R 32143 32145 31564 0 -1 64 12002 290 1 0 14601 7 0 0 25 0 9 0 28810383 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4126892960 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32148] ppid=32143 vsize=867964 CPUtime=0.05
/proc/32145/task/32148/stat : 32148 (java) S 32143 32145 31564 0 -1 64 3657 290 0 0 4 1 0 0 16 0 9 0 28810384 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32149] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32149/stat : 32149 (java) S 32143 32145 31564 0 -1 64 16 290 0 0 0 0 0 0 16 0 9 0 28810385 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32150] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32150/stat : 32150 (java) S 32143 32145 31564 0 -1 64 8 290 0 0 0 0 0 0 15 0 9 0 28810385 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32151] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32151/stat : 32151 (java) S 32143 32145 31564 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32152] ppid=32143 vsize=867964 CPUtime=0.25
/proc/32145/task/32152/stat : 32152 (java) S 32143 32145 31564 0 -1 64 730 290 0 0 24 1 0 0 16 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32153] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32153/stat : 32153 (java) S 32143 32145 31564 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32154] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32154/stat : 32154 (java) S 32143 32145 31564 0 -1 64 25 290 0 0 0 0 0 0 15 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 146.4
Current children cumulated vsize (KiB) 867964
[startup+150.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 32160
/proc/meminfo: memFree=1686984/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=867964 CPUtime=149.59
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 17253 290 1 0 14949 10 0 0 18 0 9 0 28810382 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216991 10824 2657 9 0 211427 0
[pid=32145/tid=32147] ppid=32143 vsize=867964 CPUtime=149.27
/proc/32145/task/32147/stat : 32147 (java) R 32143 32145 31564 0 -1 64 12002 290 1 0 14920 7 0 0 25 0 9 0 28810383 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4126886598 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32148] ppid=32143 vsize=867964 CPUtime=0.05
/proc/32145/task/32148/stat : 32148 (java) S 32143 32145 31564 0 -1 64 3657 290 0 0 4 1 0 0 16 0 9 0 28810384 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32149] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32149/stat : 32149 (java) S 32143 32145 31564 0 -1 64 16 290 0 0 0 0 0 0 16 0 9 0 28810385 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32150] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32150/stat : 32150 (java) S 32143 32145 31564 0 -1 64 8 290 0 0 0 0 0 0 15 0 9 0 28810385 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32151] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32151/stat : 32151 (java) S 32143 32145 31564 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32152] ppid=32143 vsize=867964 CPUtime=0.25
/proc/32145/task/32152/stat : 32152 (java) S 32143 32145 31564 0 -1 64 730 290 0 0 24 1 0 0 16 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32153] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32153/stat : 32153 (java) S 32143 32145 31564 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32154] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32154/stat : 32154 (java) S 32143 32145 31564 0 -1 64 25 290 0 0 0 0 0 0 15 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 149.59
Current children cumulated vsize (KiB) 867964
[startup+151.901 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 32160
/proc/meminfo: memFree=1686984/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=867964 CPUtime=151.18
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 17253 290 1 0 15108 10 0 0 18 0 9 0 28810382 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216991 10824 2657 9 0 211427 0
[pid=32145/tid=32147] ppid=32143 vsize=867964 CPUtime=150.86
/proc/32145/task/32147/stat : 32147 (java) R 32143 32145 31564 0 -1 64 12002 290 1 0 15079 7 0 0 25 0 9 0 28810383 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4126893066 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32148] ppid=32143 vsize=867964 CPUtime=0.05
/proc/32145/task/32148/stat : 32148 (java) S 32143 32145 31564 0 -1 64 3657 290 0 0 4 1 0 0 16 0 9 0 28810384 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32149] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32149/stat : 32149 (java) S 32143 32145 31564 0 -1 64 16 290 0 0 0 0 0 0 16 0 9 0 28810385 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32150] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32150/stat : 32150 (java) S 32143 32145 31564 0 -1 64 8 290 0 0 0 0 0 0 15 0 9 0 28810385 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32151] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32151/stat : 32151 (java) S 32143 32145 31564 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32152] ppid=32143 vsize=867964 CPUtime=0.25
/proc/32145/task/32152/stat : 32152 (java) S 32143 32145 31564 0 -1 64 730 290 0 0 24 1 0 0 16 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32153] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32153/stat : 32153 (java) S 32143 32145 31564 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32154] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32154/stat : 32154 (java) S 32143 32145 31564 0 -1 64 25 290 0 0 0 0 0 0 15 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 151.18
Current children cumulated vsize (KiB) 867964
[startup+152.701 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 32160
/proc/meminfo: memFree=1686984/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=867964 CPUtime=151.98
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 17253 290 1 0 15188 10 0 0 18 0 9 0 28810382 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216991 10824 2657 9 0 211427 0
[pid=32145/tid=32147] ppid=32143 vsize=867964 CPUtime=151.66
/proc/32145/task/32147/stat : 32147 (java) R 32143 32145 31564 0 -1 64 12002 290 1 0 15159 7 0 0 25 0 9 0 28810383 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4126904760 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32148] ppid=32143 vsize=867964 CPUtime=0.05
/proc/32145/task/32148/stat : 32148 (java) S 32143 32145 31564 0 -1 64 3657 290 0 0 4 1 0 0 16 0 9 0 28810384 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32149] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32149/stat : 32149 (java) S 32143 32145 31564 0 -1 64 16 290 0 0 0 0 0 0 16 0 9 0 28810385 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32150] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32150/stat : 32150 (java) S 32143 32145 31564 0 -1 64 8 290 0 0 0 0 0 0 15 0 9 0 28810385 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32151] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32151/stat : 32151 (java) S 32143 32145 31564 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32152] ppid=32143 vsize=867964 CPUtime=0.25
/proc/32145/task/32152/stat : 32152 (java) S 32143 32145 31564 0 -1 64 730 290 0 0 24 1 0 0 16 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32153] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32153/stat : 32153 (java) S 32143 32145 31564 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32154] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32154/stat : 32154 (java) S 32143 32145 31564 0 -1 64 25 290 0 0 0 0 0 0 15 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 151.98
Current children cumulated vsize (KiB) 867964
[startup+153.101 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 32160
/proc/meminfo: memFree=1686920/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=867964 CPUtime=152.37
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 17253 290 1 0 15227 10 0 0 18 0 9 0 28810382 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216991 10824 2657 9 0 211427 0
[pid=32145/tid=32147] ppid=32143 vsize=867964 CPUtime=152.05
/proc/32145/task/32147/stat : 32147 (java) R 32143 32145 31564 0 -1 64 12002 290 1 0 15198 7 0 0 25 0 9 0 28810383 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4126892996 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32148] ppid=32143 vsize=867964 CPUtime=0.05
/proc/32145/task/32148/stat : 32148 (java) S 32143 32145 31564 0 -1 64 3657 290 0 0 4 1 0 0 16 0 9 0 28810384 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32149] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32149/stat : 32149 (java) S 32143 32145 31564 0 -1 64 16 290 0 0 0 0 0 0 16 0 9 0 28810385 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32150] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32150/stat : 32150 (java) S 32143 32145 31564 0 -1 64 8 290 0 0 0 0 0 0 15 0 9 0 28810385 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32151] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32151/stat : 32151 (java) S 32143 32145 31564 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32152] ppid=32143 vsize=867964 CPUtime=0.25
/proc/32145/task/32152/stat : 32152 (java) S 32143 32145 31564 0 -1 64 730 290 0 0 24 1 0 0 16 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32153] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32153/stat : 32153 (java) S 32143 32145 31564 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32154] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32154/stat : 32154 (java) S 32143 32145 31564 0 -1 64 25 290 0 0 0 0 0 0 15 0 9 0 28810387 888795136 10824 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 152.37
Current children cumulated vsize (KiB) 867964
[startup+153.201 s]
/proc/loadavg: 1.99 1.97 1.98 3/90 32160
/proc/meminfo: memFree=1686920/2055920 swapFree=4192812/4192956
[pid=32145] ppid=32143 vsize=867964 CPUtime=152.47
/proc/32145/stat : 32145 (java) S 32143 32145 31564 0 -1 0 17269 290 1 0 15237 10 0 0 18 0 9 0 28810382 888795136 10837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32145/statm: 216991 10837 2657 9 0 211427 0
[pid=32145/tid=32147] ppid=32143 vsize=867964 CPUtime=152.15
/proc/32145/task/32147/stat : 32147 (java) R 32143 32145 31564 0 -1 64 12017 290 1 0 15208 7 0 0 25 0 9 0 28810383 888795136 10837 996147200 134512640 134550932 4294955968 18446744073709551615 104749995 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32148] ppid=32143 vsize=867964 CPUtime=0.05
/proc/32145/task/32148/stat : 32148 (java) S 32143 32145 31564 0 -1 64 3657 290 0 0 4 1 0 0 16 0 9 0 28810384 888795136 10837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32149] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32149/stat : 32149 (java) S 32143 32145 31564 0 -1 64 16 290 0 0 0 0 0 0 16 0 9 0 28810385 888795136 10837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32150] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32150/stat : 32150 (java) S 32143 32145 31564 0 -1 64 8 290 0 0 0 0 0 0 15 0 9 0 28810385 888795136 10837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32151] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32151/stat : 32151 (java) S 32143 32145 31564 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28810387 888795136 10837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32152] ppid=32143 vsize=867964 CPUtime=0.25
/proc/32145/task/32152/stat : 32152 (java) S 32143 32145 31564 0 -1 64 731 290 0 0 24 1 0 0 16 0 9 0 28810387 888795136 10837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32153] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32153/stat : 32153 (java) S 32143 32145 31564 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28810387 888795136 10837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32145/tid=32154] ppid=32143 vsize=867964 CPUtime=0
/proc/32145/task/32154/stat : 32154 (java) S 32143 32145 31564 0 -1 64 25 290 0 0 0 0 0 0 15 0 9 0 28810387 888795136 10837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 152.47
Current children cumulated vsize (KiB) 867964
Child status: 0
Real time (s): 153.221
CPU time (s): 152.51
CPU user time (s): 152.387
CPU system time (s): 0.122981
CPU usage (%): 99.5358
Max. virtual memory (cumulated for all children) (KiB): 867964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.387
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17669
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= 4478
involuntary context switches= 6299
runsolver used 0.197969 second user time and 0.467928 second system time
The end
Begin job on node8 at 2009-07-12 18:50:31
IDJOB=2098970
IDBENCH=59615
IDSOLVER=774
FILE ID=node8/2098970-1247417431
PBS_JOBID= 9510645
Free space on /tmp= 66288 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-2-40-19/normalized-rand-2-40-19-443-230-22_ext.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-2098970-1247417431/watcher-2098970-1247417431 -o /tmp/evaluation-result-2098970-1247417431/solver-2098970-1247417431 -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-2098970-1247417431.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ff7b64a2e8e06c1d29459e3bfa2ef279
RANDOM SEED=84441123
node8.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1720920 kB
Buffers: 45932 kB
Cached: 145420 kB
SwapCached: 0 kB
Active: 176708 kB
Inactive: 100220 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1720920 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2544 kB
Writeback: 0 kB
Mapped: 106000 kB
Slab: 43008 kB
Committed_AS: 991252 kB
PageTables: 1904 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66284 MiB
End job on node8 at 2009-07-12 18:53:05