0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-1081581-1215217581.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.38/0.48 nbVariables=25 nbDomainTypes=1 minDomainSize=6400 maxDomainSize=6400 nbTotalValues=160000
0.38/0.48 => wckTime=0.236 cpuTime=0.19 mem=11M222
0.38/0.48
0.38/0.48 predicates being loaded...
0.48/0.55
0.48/0.55 constraints being loaded...
1.26/1.32 nbConstraints=303 nbGlobalConstraints=3 nbUnbuiltConflictsStructures=2 nbSharedBinaryRepresentations=0
1.26/1.32 nbEvaluationManagers=4 nbSharedEvaluationManagers=296 minDegree=27 maxDegree=27 minArity=2 avgArity=2.22
1.26/1.32 maxArity=25 nbGenerators=2 nbFusions=2 symmetryWckTime=0.556 symmetryCpuTime=0.51 nbCliques=1
1.26/1.32 => wckTime=1.083 cpuTime=0.92 mem=19M56
1.26/1.38
1.26/1.38 solver IterativeSystematicSolver being built...
1.35/1.48
1.35/1.48 INFO : Forward propagation technique limited
1.45/1.56 => wckTime=1.322 cpuTime=1.06 mem=45M7
492.06/496.45
492.06/496.45 preprocessing
492.06/496.45 nbConstraintChecks=540509816 nbValidityChecks=307880 nbPropagations=27 nbRevisions=624 nbUselessRevisions=620
492.06/496.45 nbRemovedValues=242 detectedInconsistency=no
492.06/496.45 => wckTime=494.882 cpuTime=490.57 mem=45M7
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081581-1215217581/watcher-1081581-1215217581 -o /tmp/evaluation-result-1081581-1215217581/solver-1081581-1215217581 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1081581-1215217581.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 4/80 14955
/proc/meminfo: memFree=1677864/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=18572 CPUtime=0
/proc/14955/stat : 14955 (runsolver) R 14953 14955 11291 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 2000732910 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14955/statm: 4643 292 257 25 0 2626 0
[startup+0.052153 s]
/proc/loadavg: 1.99 1.98 1.99 4/80 14955
/proc/meminfo: memFree=1677864/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=861876 CPUtime=0.03
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 2363 0 1 0 2 1 0 0 18 0 5 0 2000732910 882561024 1950 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 215469 1951 898 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876
[startup+0.101915 s]
/proc/loadavg: 1.99 1.98 1.99 4/80 14955
/proc/meminfo: memFree=1677864/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=865884 CPUtime=0.08
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 3686 0 1 0 6 2 0 0 18 0 9 0 2000732910 886665216 3159 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 216471 3159 1676 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301941 s]
/proc/loadavg: 1.99 1.98 1.99 4/80 14955
/proc/meminfo: memFree=1677864/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=866196 CPUtime=0.28
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 5621 0 1 0 25 3 0 0 18 0 9 0 2000732910 886984704 5035 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 216549 5035 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701984 s]
/proc/loadavg: 1.99 1.98 1.99 4/80 14955
/proc/meminfo: memFree=1677864/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=867092 CPUtime=0.68
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 8544 0 1 0 63 5 0 0 18 0 9 0 2000732910 887902208 7904 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 216773 7904 2007 9 0 211279 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867092
[startup+1.50108 s]
/proc/loadavg: 2.07 2.00 2.00 3/89 14968
/proc/meminfo: memFree=1651296/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=867872 CPUtime=1.45
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 19005 298 1 0 136 9 0 0 18 0 9 0 2000732910 888700928 12708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 216968 12708 2628 9 0 211474 0
[pid=14955/tid=14957] ppid=14953 vsize=867872 CPUtime=1.22
/proc/14955/task/14957/stat : 14957 (java) R 14953 14955 11291 0 -1 64 14143 298 1 0 115 7 0 0 25 0 9 0 2000732912 888700928 12708 996147200 134512640 134550740 4294955968 18446744073709551615 104252394 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14958] ppid=14953 vsize=867872 CPUtime=0.04
/proc/14955/task/14958/stat : 14958 (java) S 14953 14955 11291 0 -1 64 3322 298 0 0 3 1 0 0 16 0 9 0 2000732913 888700928 12708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14959] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14959/stat : 14959 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 12708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14960] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14960/stat : 14960 (java) S 14953 14955 11291 0 -1 64 12 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 12708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14961] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14961/stat : 14961 (java) S 14953 14955 11291 0 -1 64 0 298 0 0 0 0 0 0 18 0 9 0 2000732915 888700928 12708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14962] ppid=14953 vsize=867872 CPUtime=0.16
/proc/14955/task/14962/stat : 14962 (java) S 14953 14955 11291 0 -1 64 692 298 0 0 16 0 0 0 16 0 9 0 2000732915 888700928 12708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14963] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14963/stat : 14963 (java) S 14953 14955 11291 0 -1 64 2 298 0 0 0 0 0 0 19 0 9 0 2000732915 888700928 12708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14964] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14964/stat : 14964 (java) S 14953 14955 11291 0 -1 64 3 298 0 0 0 0 0 0 15 0 9 0 2000732915 888700928 12708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867872
[startup+3.10126 s]
/proc/loadavg: 2.07 2.00 2.00 3/89 14968
/proc/meminfo: memFree=1622560/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=867872 CPUtime=3.04
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 22630 298 1 0 293 11 0 0 18 0 9 0 2000732910 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 216968 16323 2629 9 0 211474 0
[pid=14955/tid=14957] ppid=14953 vsize=867872 CPUtime=2.78
/proc/14955/task/14957/stat : 14957 (java) R 14953 14955 11291 0 -1 64 17760 298 1 0 270 8 0 0 25 0 9 0 2000732912 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4126788146 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14958] ppid=14953 vsize=867872 CPUtime=0.04
/proc/14955/task/14958/stat : 14958 (java) S 14953 14955 11291 0 -1 64 3322 298 0 0 3 1 0 0 17 0 9 0 2000732913 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14959] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14959/stat : 14959 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14960] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14960/stat : 14960 (java) S 14953 14955 11291 0 -1 64 12 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14961] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14961/stat : 14961 (java) S 14953 14955 11291 0 -1 64 0 298 0 0 0 0 0 0 18 0 9 0 2000732915 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14962] ppid=14953 vsize=867872 CPUtime=0.18
/proc/14955/task/14962/stat : 14962 (java) S 14953 14955 11291 0 -1 64 700 298 0 0 18 0 0 0 16 0 9 0 2000732915 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14963] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14963/stat : 14963 (java) S 14953 14955 11291 0 -1 64 2 298 0 0 0 0 0 0 19 0 9 0 2000732915 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14964] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14964/stat : 14964 (java) S 14953 14955 11291 0 -1 64 3 298 0 0 0 0 0 0 15 0 9 0 2000732915 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867872
[startup+6.30264 s]
/proc/loadavg: 2.07 2.00 2.00 3/89 14968
/proc/meminfo: memFree=1622432/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=867872 CPUtime=6.22
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 22642 298 1 0 611 11 0 0 18 0 9 0 2000732910 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 216968 16323 2629 9 0 211474 0
[pid=14955/tid=14957] ppid=14953 vsize=867872 CPUtime=5.96
/proc/14955/task/14957/stat : 14957 (java) R 14953 14955 11291 0 -1 64 17760 298 1 0 588 8 0 0 25 0 9 0 2000732912 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4126791120 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14958] ppid=14953 vsize=867872 CPUtime=0.04
/proc/14955/task/14958/stat : 14958 (java) S 14953 14955 11291 0 -1 64 3322 298 0 0 3 1 0 0 16 0 9 0 2000732913 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14959] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14959/stat : 14959 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14960] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14960/stat : 14960 (java) S 14953 14955 11291 0 -1 64 12 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14961] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14961/stat : 14961 (java) S 14953 14955 11291 0 -1 64 0 298 0 0 0 0 0 0 18 0 9 0 2000732915 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14962] ppid=14953 vsize=867872 CPUtime=0.18
/proc/14955/task/14962/stat : 14962 (java) S 14953 14955 11291 0 -1 64 700 298 0 0 18 0 0 0 16 0 9 0 2000732915 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14963] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14963/stat : 14963 (java) S 14953 14955 11291 0 -1 64 2 298 0 0 0 0 0 0 19 0 9 0 2000732915 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14964] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14964/stat : 14964 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 0 0 0 15 0 9 0 2000732915 888700928 16323 996147200 134512640 134550740 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) 867872
[startup+12.7014 s]
/proc/loadavg: 2.06 2.00 2.00 3/89 14968
/proc/meminfo: memFree=1622432/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=867872 CPUtime=12.56
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 22642 298 1 0 1245 11 0 0 18 0 9 0 2000732910 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 216968 16323 2629 9 0 211474 0
[pid=14955/tid=14957] ppid=14953 vsize=867872 CPUtime=12.3
/proc/14955/task/14957/stat : 14957 (java) R 14953 14955 11291 0 -1 64 17760 298 1 0 1222 8 0 0 25 0 9 0 2000732912 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 104096300 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14958] ppid=14953 vsize=867872 CPUtime=0.04
/proc/14955/task/14958/stat : 14958 (java) S 14953 14955 11291 0 -1 64 3322 298 0 0 3 1 0 0 16 0 9 0 2000732913 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14959] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14959/stat : 14959 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14960] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14960/stat : 14960 (java) S 14953 14955 11291 0 -1 64 12 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14961] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14961/stat : 14961 (java) S 14953 14955 11291 0 -1 64 0 298 0 0 0 0 0 0 18 0 9 0 2000732915 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14962] ppid=14953 vsize=867872 CPUtime=0.18
/proc/14955/task/14962/stat : 14962 (java) S 14953 14955 11291 0 -1 64 700 298 0 0 18 0 0 0 16 0 9 0 2000732915 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14963] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14963/stat : 14963 (java) S 14953 14955 11291 0 -1 64 2 298 0 0 0 0 0 0 19 0 9 0 2000732915 888700928 16323 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14964] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14964/stat : 14964 (java) R 14953 14955 11291 0 -1 64 15 298 0 0 0 0 0 0 15 0 9 0 2000732915 888700928 16323 996147200 134512640 134550740 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) 867872
[startup+25.5019 s]
/proc/loadavg: 2.05 2.00 2.00 3/89 14968
/proc/meminfo: memFree=1622432/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=867872 CPUtime=25.24
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 22646 298 1 0 2513 11 0 0 18 0 9 0 2000732910 888700928 16325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 216968 16325 2630 9 0 211474 0
[pid=14955/tid=14957] ppid=14953 vsize=867872 CPUtime=24.98
/proc/14955/task/14957/stat : 14957 (java) R 14953 14955 11291 0 -1 64 17762 298 1 0 2490 8 0 0 25 0 9 0 2000732912 888700928 16325 996147200 134512640 134550740 4294955968 18446744073709551615 4126780769 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14958] ppid=14953 vsize=867872 CPUtime=0.04
/proc/14955/task/14958/stat : 14958 (java) S 14953 14955 11291 0 -1 64 3322 298 0 0 3 1 0 0 16 0 9 0 2000732913 888700928 16325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14959] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14959/stat : 14959 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14960] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14960/stat : 14960 (java) S 14953 14955 11291 0 -1 64 12 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14961] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14961/stat : 14961 (java) S 14953 14955 11291 0 -1 64 0 298 0 0 0 0 0 0 18 0 9 0 2000732915 888700928 16325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14962] ppid=14953 vsize=867872 CPUtime=0.18
/proc/14955/task/14962/stat : 14962 (java) S 14953 14955 11291 0 -1 64 702 298 0 0 18 0 0 0 16 0 9 0 2000732915 888700928 16325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14963] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14963/stat : 14963 (java) S 14953 14955 11291 0 -1 64 2 298 0 0 0 0 0 0 19 0 9 0 2000732915 888700928 16325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14964] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14964/stat : 14964 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 0 0 0 15 0 9 0 2000732915 888700928 16325 996147200 134512640 134550740 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) 867872
[startup+51.1019 s]
/proc/loadavg: 2.03 2.00 2.00 3/89 14968
/proc/meminfo: memFree=1622432/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=867872 CPUtime=50.61
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 22647 298 1 0 5050 11 0 0 18 0 9 0 2000732910 888700928 16325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 216968 16325 2630 9 0 211474 0
[pid=14955/tid=14957] ppid=14953 vsize=867872 CPUtime=50.36
/proc/14955/task/14957/stat : 14957 (java) R 14953 14955 11291 0 -1 64 17763 298 1 0 5027 9 0 0 25 0 9 0 2000732912 888700928 16325 996147200 134512640 134550740 4294955968 18446744073709551615 4126791031 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14958] ppid=14953 vsize=867872 CPUtime=0.04
/proc/14955/task/14958/stat : 14958 (java) S 14953 14955 11291 0 -1 64 3322 298 0 0 3 1 0 0 16 0 9 0 2000732913 888700928 16325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14959] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14959/stat : 14959 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14960] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14960/stat : 14960 (java) S 14953 14955 11291 0 -1 64 12 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14961] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14961/stat : 14961 (java) S 14953 14955 11291 0 -1 64 0 298 0 0 0 0 0 0 18 0 9 0 2000732915 888700928 16325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14962] ppid=14953 vsize=867872 CPUtime=0.18
/proc/14955/task/14962/stat : 14962 (java) S 14953 14955 11291 0 -1 64 702 298 0 0 18 0 0 0 16 0 9 0 2000732915 888700928 16325 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14963] ppid=14953 vsize=867872 CPUtime=0
################
# More data... #
################
/proc/14955/task/14960/stat : 14960 (java) S 14953 14955 11291 0 -1 64 12 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16746 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14961] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14961/stat : 14961 (java) S 14953 14955 11291 0 -1 64 0 298 0 0 0 0 0 0 18 0 9 0 2000732915 888700928 16746 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14962] ppid=14953 vsize=867872 CPUtime=0.22
/proc/14955/task/14962/stat : 14962 (java) S 14953 14955 11291 0 -1 64 744 298 0 0 22 0 0 0 15 0 9 0 2000732915 888700928 16746 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14955/tid=14963] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14963/stat : 14963 (java) S 14953 14955 11291 0 -1 64 2 298 0 0 0 0 0 0 19 0 9 0 2000732915 888700928 16746 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14964] ppid=14953 vsize=867872 CPUtime=0.01
/proc/14955/task/14964/stat : 14964 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 1 0 0 15 0 9 0 2000732915 888700928 16746 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.52
Current children cumulated vsize (KiB) 867872
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 15039
/proc/meminfo: memFree=1440800/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=867872 CPUtime=1529.49
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 23102 298 1 0 152930 19 0 0 18 0 9 0 2000732910 888700928 16746 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 216968 16746 2632 9 0 211474 0
[pid=14955/tid=14957] ppid=14953 vsize=867872 CPUtime=1529.18
/proc/14955/task/14957/stat : 14957 (java) R 14953 14955 11291 0 -1 64 18176 298 1 0 152903 15 0 0 25 0 9 0 2000732912 888700928 16746 996147200 134512640 134550740 4294955968 18446744073709551615 104689781 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14955/tid=14958] ppid=14953 vsize=867872 CPUtime=0.04
/proc/14955/task/14958/stat : 14958 (java) S 14953 14955 11291 0 -1 64 3322 298 0 0 3 1 0 0 16 0 9 0 2000732913 888700928 16746 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14959] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14959/stat : 14959 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16746 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14960] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14960/stat : 14960 (java) S 14953 14955 11291 0 -1 64 12 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16746 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14961] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14961/stat : 14961 (java) S 14953 14955 11291 0 -1 64 0 298 0 0 0 0 0 0 18 0 9 0 2000732915 888700928 16746 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14962] ppid=14953 vsize=867872 CPUtime=0.22
/proc/14955/task/14962/stat : 14962 (java) S 14953 14955 11291 0 -1 64 744 298 0 0 22 0 0 0 16 0 9 0 2000732915 888700928 16746 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14955/tid=14963] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14963/stat : 14963 (java) S 14953 14955 11291 0 -1 64 2 298 0 0 0 0 0 0 19 0 9 0 2000732915 888700928 16746 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14964] ppid=14953 vsize=867872 CPUtime=0.01
/proc/14955/task/14964/stat : 14964 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 1 0 0 15 0 9 0 2000732915 888700928 16746 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.49
Current children cumulated vsize (KiB) 867872
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 15039
/proc/meminfo: memFree=1417632/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=867872 CPUtime=1589.47
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 23106 298 1 0 158928 19 0 0 18 0 9 0 2000732910 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 216968 16748 2632 9 0 211474 0
[pid=14955/tid=14957] ppid=14953 vsize=867872 CPUtime=1589.15
/proc/14955/task/14957/stat : 14957 (java) R 14953 14955 11291 0 -1 64 18178 298 1 0 158900 15 0 0 25 0 9 0 2000732912 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 104689862 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14955/tid=14958] ppid=14953 vsize=867872 CPUtime=0.04
/proc/14955/task/14958/stat : 14958 (java) S 14953 14955 11291 0 -1 64 3322 298 0 0 3 1 0 0 16 0 9 0 2000732913 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14959] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14959/stat : 14959 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14960] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14960/stat : 14960 (java) S 14953 14955 11291 0 -1 64 12 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14961] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14961/stat : 14961 (java) S 14953 14955 11291 0 -1 64 0 298 0 0 0 0 0 0 18 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14962] ppid=14953 vsize=867872 CPUtime=0.22
/proc/14955/task/14962/stat : 14962 (java) S 14953 14955 11291 0 -1 64 746 298 0 0 22 0 0 0 16 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14955/tid=14963] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14963/stat : 14963 (java) S 14953 14955 11291 0 -1 64 2 298 0 0 0 0 0 0 19 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14964] ppid=14953 vsize=867872 CPUtime=0.01
/proc/14955/task/14964/stat : 14964 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 1 0 0 15 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.47
Current children cumulated vsize (KiB) 867872
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 15039
/proc/meminfo: memFree=1417632/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=867872 CPUtime=1649.44
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 23106 298 1 0 164925 19 0 0 18 0 9 0 2000732910 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 216968 16748 2632 9 0 211474 0
[pid=14955/tid=14957] ppid=14953 vsize=867872 CPUtime=1649.12
/proc/14955/task/14957/stat : 14957 (java) R 14953 14955 11291 0 -1 64 18178 298 1 0 164897 15 0 0 25 0 9 0 2000732912 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4126780263 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14955/tid=14958] ppid=14953 vsize=867872 CPUtime=0.04
/proc/14955/task/14958/stat : 14958 (java) S 14953 14955 11291 0 -1 64 3322 298 0 0 3 1 0 0 16 0 9 0 2000732913 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14959] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14959/stat : 14959 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14960] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14960/stat : 14960 (java) S 14953 14955 11291 0 -1 64 12 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14961] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14961/stat : 14961 (java) S 14953 14955 11291 0 -1 64 0 298 0 0 0 0 0 0 18 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14962] ppid=14953 vsize=867872 CPUtime=0.22
/proc/14955/task/14962/stat : 14962 (java) S 14953 14955 11291 0 -1 64 746 298 0 0 22 0 0 0 16 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14955/tid=14963] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14963/stat : 14963 (java) S 14953 14955 11291 0 -1 64 2 298 0 0 0 0 0 0 19 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14964] ppid=14953 vsize=867872 CPUtime=0.01
/proc/14955/task/14964/stat : 14964 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 1 0 0 15 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.44
Current children cumulated vsize (KiB) 867872
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 15039
/proc/meminfo: memFree=1417568/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=867872 CPUtime=1709.42
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 23106 298 1 0 170923 19 0 0 18 0 9 0 2000732910 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 216968 16748 2632 9 0 211474 0
[pid=14955/tid=14957] ppid=14953 vsize=867872 CPUtime=1709.1
/proc/14955/task/14957/stat : 14957 (java) R 14953 14955 11291 0 -1 64 18178 298 1 0 170895 15 0 0 25 0 9 0 2000732912 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 104689862 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14955/tid=14958] ppid=14953 vsize=867872 CPUtime=0.04
/proc/14955/task/14958/stat : 14958 (java) S 14953 14955 11291 0 -1 64 3322 298 0 0 3 1 0 0 16 0 9 0 2000732913 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14959] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14959/stat : 14959 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14960] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14960/stat : 14960 (java) S 14953 14955 11291 0 -1 64 12 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14961] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14961/stat : 14961 (java) S 14953 14955 11291 0 -1 64 0 298 0 0 0 0 0 0 18 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14962] ppid=14953 vsize=867872 CPUtime=0.22
/proc/14955/task/14962/stat : 14962 (java) S 14953 14955 11291 0 -1 64 746 298 0 0 22 0 0 0 16 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14955/tid=14963] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14963/stat : 14963 (java) S 14953 14955 11291 0 -1 64 2 298 0 0 0 0 0 0 19 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14964] ppid=14953 vsize=867872 CPUtime=0.01
/proc/14955/task/14964/stat : 14964 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 1 0 0 15 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.42
Current children cumulated vsize (KiB) 867872
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 15039
/proc/meminfo: memFree=1417184/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=867872 CPUtime=1769.4
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 23106 298 1 0 176920 20 0 0 18 0 9 0 2000732910 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 216968 16748 2632 9 0 211474 0
[pid=14955/tid=14957] ppid=14953 vsize=867872 CPUtime=1769.09
/proc/14955/task/14957/stat : 14957 (java) R 14953 14955 11291 0 -1 64 18178 298 1 0 176893 16 0 0 25 0 9 0 2000732912 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4126784913 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14955/tid=14958] ppid=14953 vsize=867872 CPUtime=0.04
/proc/14955/task/14958/stat : 14958 (java) S 14953 14955 11291 0 -1 64 3322 298 0 0 3 1 0 0 16 0 9 0 2000732913 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14959] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14959/stat : 14959 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14960] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14960/stat : 14960 (java) S 14953 14955 11291 0 -1 64 12 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14961] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14961/stat : 14961 (java) S 14953 14955 11291 0 -1 64 0 298 0 0 0 0 0 0 18 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14962] ppid=14953 vsize=867872 CPUtime=0.22
/proc/14955/task/14962/stat : 14962 (java) S 14953 14955 11291 0 -1 64 746 298 0 0 22 0 0 0 16 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14955/tid=14963] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14963/stat : 14963 (java) S 14953 14955 11291 0 -1 64 2 298 0 0 0 0 0 0 19 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14964] ppid=14953 vsize=867872 CPUtime=0.01
/proc/14955/task/14964/stat : 14964 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 1 0 0 15 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.4
Current children cumulated vsize (KiB) 867872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813 s]
/proc/loadavg: 2.05 2.00 2.00 3/83 15090
/proc/meminfo: memFree=1529296/2055920 swapFree=4179968/4192956
[pid=14955] ppid=14953 vsize=867872 CPUtime=1800.08
/proc/14955/stat : 14955 (java) S 14953 14955 11291 0 -1 0 23106 298 1 0 179987 21 0 0 18 0 9 0 2000732910 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14955/statm: 216968 16748 2632 9 0 211474 0
[pid=14955/tid=14957] ppid=14953 vsize=867872 CPUtime=1799.77
/proc/14955/task/14957/stat : 14957 (java) R 14953 14955 11291 0 -1 64 18178 298 1 0 179960 17 0 0 25 0 9 0 2000732912 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4126780256 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14955/tid=14958] ppid=14953 vsize=867872 CPUtime=0.04
/proc/14955/task/14958/stat : 14958 (java) S 14953 14955 11291 0 -1 64 3322 298 0 0 3 1 0 0 16 0 9 0 2000732913 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14959] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14959/stat : 14959 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14960] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14960/stat : 14960 (java) S 14953 14955 11291 0 -1 64 12 298 0 0 0 0 0 0 16 0 9 0 2000732913 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14961] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14961/stat : 14961 (java) S 14953 14955 11291 0 -1 64 0 298 0 0 0 0 0 0 18 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14962] ppid=14953 vsize=867872 CPUtime=0.22
/proc/14955/task/14962/stat : 14962 (java) S 14953 14955 11291 0 -1 64 746 298 0 0 22 0 0 0 16 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14955/tid=14963] ppid=14953 vsize=867872 CPUtime=0
/proc/14955/task/14963/stat : 14963 (java) S 14953 14955 11291 0 -1 64 2 298 0 0 0 0 0 0 19 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14955/tid=14964] ppid=14953 vsize=867872 CPUtime=0.01
/proc/14955/task/14964/stat : 14964 (java) S 14953 14955 11291 0 -1 64 15 298 0 0 0 1 0 0 15 0 9 0 2000732915 888700928 16748 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 867872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1813.07
CPU time (s): 1800.18
CPU user time (s): 1799.94
CPU system time (s): 0.237963
CPU usage (%): 99.2887
Max. virtual memory (cumulated for all children) (KiB): 867872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.237963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23435
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= 37721
involuntary context switches= 84125
runsolver used 2.93855 second user time and 5.73113 second system time
The end
Begin job on node11 at 2008-07-05 02:26:21
IDJOB=1081581
IDBENCH=57113
IDSOLVER=364
FILE ID=node11/1081581-1215217581
PBS_JOBID= 7881639
Free space on /tmp= 66548 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/knights/normalized-knights-80-25.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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081581-1215217581/watcher-1081581-1215217581 -o /tmp/evaluation-result-1081581-1215217581/solver-1081581-1215217581 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1081581-1215217581.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= c6b97d84d68df0997e63605d14db7d0f
RANDOM SEED=1096761942
node11.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.224
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.224
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: 1678344 kB
Buffers: 65692 kB
Cached: 171188 kB
SwapCached: 7036 kB
Active: 237472 kB
Inactive: 83520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1678344 kB
SwapTotal: 4192956 kB
SwapFree: 4179968 kB
Dirty: 2044 kB
Writeback: 0 kB
Mapped: 82288 kB
Slab: 41568 kB
Committed_AS: 4086944 kB
PageTables: 1980 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= 66500 MiB
End job on node11 at 2008-07-05 02:56:36