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=mac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-1080883-1215213626.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.40
0.28/0.40 variables being loaded...
0.48/0.59 nbVariables=300 nbDomainTypes=300 minDomainSize=1326 maxDomainSize=1424 nbTotalValues=413190
0.48/0.59 => wckTime=0.34 cpuTime=0.26 mem=16M680
0.48/0.59
0.48/0.59 predicates being loaded...
0.58/0.64
0.58/0.64 constraints being loaded...
2.67/2.84 nbConstraints=3145 nbGlobalConstraints=3143 nbConvertedConstraints=2 nbConvertConstraintsChecks=3706242
2.67/2.84 nbExtensionStructures=2 nbSharedExtensionStructures=0 nbConflictsStructures=2 nbSharedConflictsStructures=0
2.67/2.84 nbSharedBinaryRepresentations=253 minDegree=21 maxDegree=22 minArity=2 avgArity=2.09 maxArity=20
2.67/2.84 nbGenerators=0 nbFusions=0 symmetryWckTime=0.755 symmetryCpuTime=0.54 nbCliques=15
2.67/2.84 => wckTime=2.59 cpuTime=2.07 mem=19M286
2.77/2.93
2.77/2.93 solver IterativeSystematicSolver being built...
2.87/3.00
2.87/3.00 INFO : Forward propagation technique limited
2.87/3.10 => wckTime=2.85 cpuTime=2.2 mem=46M974
3.27/3.42
3.27/3.42 preprocessing
3.27/3.42 nbConstraintChecks=66999 nbPropagations=713 nbRevisions=8 nbUselessRevisions=0 nbRemovedValues=200340
3.27/3.42 detectedInconsistency=no
3.27/3.42 => wckTime=0.309 cpuTime=0.24 mem=44M868
5.24/5.40
5.24/5.41 INFO : Stopping use of transposition table (mapSize=0, nbTooLargekeys=228, mem=42M319)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080883-1215213626/watcher-1080883-1215213626 -o /tmp/evaluation-result-1080883-1215213626/solver-1080883-1215213626 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1080883-1215213626.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.16 1.91 4/84 27966
/proc/meminfo: memFree=217960/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=18572 CPUtime=0
/proc/27966/stat : 27966 (runsolver) R 27964 27966 27578 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 644282784 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 243665530151 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/27966/statm: 4643 292 257 25 0 2626 0
[startup+0.057771 s]
/proc/loadavg: 2.07 2.16 1.91 4/84 27966
/proc/meminfo: memFree=217960/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=862200 CPUtime=0.03
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 2379 0 1 0 2 1 0 0 18 0 6 0 644282784 882892800 1962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 215550 1962 902 9 0 210529 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 862200
[startup+0.102773 s]
/proc/loadavg: 2.07 2.16 1.91 4/84 27966
/proc/meminfo: memFree=217960/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=865884 CPUtime=0.08
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 3672 0 1 0 6 2 0 0 18 0 9 0 644282784 886665216 3147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 216471 3147 1681 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.302793 s]
/proc/loadavg: 2.07 2.16 1.91 4/84 27966
/proc/meminfo: memFree=217960/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=866196 CPUtime=0.28
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 5618 0 1 0 24 4 0 0 18 0 9 0 644282784 886984704 5032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 216549 5032 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.702835 s]
/proc/loadavg: 2.07 2.16 1.91 4/84 27966
/proc/meminfo: memFree=217960/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=867100 CPUtime=0.68
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 9760 0 1 0 60 8 0 0 18 0 9 0 644282784 887910400 9120 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 216775 9120 2006 9 0 211281 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867100
[startup+1.50192 s]
/proc/loadavg: 2.07 2.16 1.91 5/93 27975
/proc/meminfo: memFree=177952/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=867688 CPUtime=1.4
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 13890 0 1 0 126 14 0 0 18 0 9 0 644282784 888512512 13247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 216922 13247 2014 9 0 211428 0
[pid=27966/tid=27968] ppid=27964 vsize=867688 CPUtime=1.18
/proc/27966/task/27968/stat : 27968 (java) R 27964 27966 27578 0 -1 64 12501 0 1 0 106 12 0 0 25 0 9 0 644282786 888512512 13247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27969] ppid=27964 vsize=867688 CPUtime=0
/proc/27966/task/27969/stat : 27969 (java) S 27964 27966 27578 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 644282788 888512512 13247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27970] ppid=27964 vsize=867688 CPUtime=0
/proc/27966/task/27970/stat : 27970 (java) S 27964 27966 27578 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 644282788 888512512 13247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27971] ppid=27964 vsize=867688 CPUtime=0
/proc/27966/task/27971/stat : 27971 (java) S 27964 27966 27578 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 644282788 888512512 13247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27972] ppid=27964 vsize=867688 CPUtime=0
/proc/27966/task/27972/stat : 27972 (java) S 27964 27966 27578 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 644282790 888512512 13247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27973] ppid=27964 vsize=867688 CPUtime=0.2
/proc/27966/task/27973/stat : 27973 (java) R 27964 27966 27578 0 -1 64 692 0 0 0 19 1 0 0 16 0 9 0 644282790 888512512 13247 996147200 134512640 134550740 4294955968 18446744073709551615 101989116 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27974] ppid=27964 vsize=867688 CPUtime=0
/proc/27966/task/27974/stat : 27974 (java) S 27964 27966 27578 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 644282790 888512512 13247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27975] ppid=27964 vsize=867688 CPUtime=0
/proc/27966/task/27975/stat : 27975 (java) S 27964 27966 27578 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 644282790 888512512 13247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 867688
[startup+3.10108 s]
/proc/loadavg: 2.07 2.16 1.91 3/93 27975
/proc/meminfo: memFree=163296/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=868124 CPUtime=2.97
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 35792 439 2 0 263 31 2 1 18 0 9 0 644282784 888958976 22511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 217031 22511 2637 9 0 211537 0
[pid=27966/tid=27968] ppid=27964 vsize=868124 CPUtime=2.43
/proc/27966/task/27968/stat : 27968 (java) R 27964 27966 27578 0 -1 64 18717 439 1 0 216 24 2 1 25 0 9 0 644282786 888958976 22511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27969] ppid=27964 vsize=868124 CPUtime=0.24
/proc/27966/task/27969/stat : 27969 (java) S 27964 27966 27578 0 -1 64 15351 439 0 0 18 3 2 1 16 0 9 0 644282788 888958976 22511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27970] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27970/stat : 27970 (java) S 27964 27966 27578 0 -1 64 21 439 0 0 0 0 2 1 16 0 9 0 644282788 888958976 22511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27971] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27971/stat : 27971 (java) S 27964 27966 27578 0 -1 64 17 439 0 0 0 0 2 1 15 0 9 0 644282788 888958976 22511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27972] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27972/stat : 27972 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 18 0 9 0 644282790 888958976 22511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27973] ppid=27964 vsize=868124 CPUtime=0.31
/proc/27966/task/27973/stat : 27973 (java) S 27964 27966 27578 0 -1 64 893 439 1 0 27 1 2 1 15 0 9 0 644282790 888958976 22511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27974] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27974/stat : 27974 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 19 0 9 0 644282790 888958976 22511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27975] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27975/stat : 27975 (java) S 27964 27966 27578 0 -1 64 7 439 0 0 0 0 2 1 15 0 9 0 644282790 888958976 22511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 868124
[startup+6.3024 s]
/proc/loadavg: 2.15 2.17 1.91 3/93 27979
/proc/meminfo: memFree=84256/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=868124 CPUtime=6.15
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 42464 439 2 0 577 35 2 1 18 0 9 0 644282784 888958976 28214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 217031 28214 2637 9 0 211537 0
[pid=27966/tid=27968] ppid=27964 vsize=868124 CPUtime=5.46
/proc/27966/task/27968/stat : 27968 (java) R 27964 27966 27578 0 -1 64 19832 439 1 0 518 25 2 1 25 0 9 0 644282786 888958976 28214 996147200 134512640 134550740 4294955968 18446744073709551615 4127199830 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27969] ppid=27964 vsize=868124 CPUtime=0.33
/proc/27966/task/27969/stat : 27969 (java) S 27964 27966 27578 0 -1 64 20826 439 0 0 24 6 2 1 16 0 9 0 644282788 888958976 28214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27970] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27970/stat : 27970 (java) S 27964 27966 27578 0 -1 64 21 439 0 0 0 0 2 1 16 0 9 0 644282788 888958976 28214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27971] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27971/stat : 27971 (java) S 27964 27966 27578 0 -1 64 17 439 0 0 0 0 2 1 15 0 9 0 644282788 888958976 28214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27972] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27972/stat : 27972 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 18 0 9 0 644282790 888958976 28214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27973] ppid=27964 vsize=868124 CPUtime=0.37
/proc/27966/task/27973/stat : 27973 (java) S 27964 27966 27578 0 -1 64 946 439 1 0 33 1 2 1 15 0 9 0 644282790 888958976 28214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27974] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27974/stat : 27974 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 19 0 9 0 644282790 888958976 28214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27975] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27975/stat : 27975 (java) S 27964 27966 27578 0 -1 64 36 439 0 0 0 0 2 1 15 0 9 0 644282790 888958976 28214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 868124
[startup+12.701 s]
/proc/loadavg: 2.21 2.19 1.92 4/93 27979
/proc/meminfo: memFree=116200/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=868124 CPUtime=12.34
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 42518 439 2 0 1196 35 2 1 18 0 9 0 644282784 888958976 28227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 217031 28227 2637 9 0 211537 0
[pid=27966/tid=27968] ppid=27964 vsize=868124 CPUtime=11.57
/proc/27966/task/27968/stat : 27968 (java) R 27964 27966 27578 0 -1 64 19842 439 1 0 1129 25 2 1 25 0 9 0 644282786 888958976 28227 996147200 134512640 134550740 4294955968 18446744073709551615 4125952107 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27969] ppid=27964 vsize=868124 CPUtime=0.38
/proc/27966/task/27969/stat : 27969 (java) S 27964 27966 27578 0 -1 64 20826 439 0 0 29 6 2 1 17 0 9 0 644282788 888958976 28227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27970] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27970/stat : 27970 (java) S 27964 27966 27578 0 -1 64 21 439 0 0 0 0 2 1 16 0 9 0 644282788 888958976 28227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27971] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27971/stat : 27971 (java) S 27964 27966 27578 0 -1 64 17 439 0 0 0 0 2 1 15 0 9 0 644282788 888958976 28227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27972] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27972/stat : 27972 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 18 0 9 0 644282790 888958976 28227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27973] ppid=27964 vsize=868124 CPUtime=0.4
/proc/27966/task/27973/stat : 27973 (java) S 27964 27966 27578 0 -1 64 990 439 1 0 36 1 2 1 16 0 9 0 644282790 888958976 28227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27974] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27974/stat : 27974 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 19 0 9 0 644282790 888958976 28227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27975] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27975/stat : 27975 (java) S 27964 27966 27578 0 -1 64 36 439 0 0 0 0 2 1 15 0 9 0 644282790 888958976 28227 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 868124
[startup+25.5024 s]
/proc/loadavg: 2.17 2.18 1.92 5/93 27979
/proc/meminfo: memFree=114408/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=868124 CPUtime=24.79
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 43008 439 2 0 2440 36 2 1 18 0 9 0 644282784 888958976 28700 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 217031 28700 2637 9 0 211537 0
[pid=27966/tid=27968] ppid=27964 vsize=868124 CPUtime=23.96
/proc/27966/task/27968/stat : 27968 (java) R 27964 27966 27578 0 -1 64 19858 439 1 0 2368 25 2 1 25 0 9 0 644282786 888958976 28700 996147200 134512640 134550740 4294955968 18446744073709551615 4126927447 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27969] ppid=27964 vsize=868124 CPUtime=0.43
/proc/27966/task/27969/stat : 27969 (java) S 27964 27966 27578 0 -1 64 21297 439 0 0 34 6 2 1 17 0 9 0 644282788 888958976 28700 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27970] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27970/stat : 27970 (java) S 27964 27966 27578 0 -1 64 21 439 0 0 0 0 2 1 16 0 9 0 644282788 888958976 28700 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27971] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27971/stat : 27971 (java) S 27964 27966 27578 0 -1 64 17 439 0 0 0 0 2 1 15 0 9 0 644282788 888958976 28700 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27972] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27972/stat : 27972 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 18 0 9 0 644282790 888958976 28700 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27973] ppid=27964 vsize=868124 CPUtime=0.41
/proc/27966/task/27973/stat : 27973 (java) S 27964 27966 27578 0 -1 64 993 439 1 0 37 1 2 1 15 0 9 0 644282790 888958976 28700 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27974] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27974/stat : 27974 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 19 0 9 0 644282790 888958976 28700 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27975] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27975/stat : 27975 (java) S 27964 27966 27578 0 -1 64 36 439 0 0 0 0 2 1 15 0 9 0 644282790 888958976 28700 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.79
Current children cumulated vsize (KiB) 868124
[startup+51.103 s]
/proc/loadavg: 2.32 2.21 1.94 4/93 27979
/proc/meminfo: memFree=112168/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=868124 CPUtime=49.16
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 43111 439 2 0 4877 36 2 1 18 0 9 0 644282784 888958976 28771 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 217031 28771 2637 9 0 211537 0
[pid=27966/tid=27968] ppid=27964 vsize=868124 CPUtime=48.27
/proc/27966/task/27968/stat : 27968 (java) R 27964 27966 27578 0 -1 64 19889 439 1 0 4798 26 2 1 25 0 9 0 644282786 888958976 28771 996147200 134512640 134550740 4294955968 18446744073709551615 4127181058 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27969] ppid=27964 vsize=868124 CPUtime=0.5
/proc/27966/task/27969/stat : 27969 (java) S 27964 27966 27578 0 -1 64 21369 439 0 0 41 6 2 1 16 0 9 0 644282788 888958976 28771 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27970] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27970/stat : 27970 (java) S 27964 27966 27578 0 -1 64 21 439 0 0 0 0 2 1 16 0 9 0 644282788 888958976 28771 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27971] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27971/stat : 27971 (java) S 27964 27966 27578 0 -1 64 17 439 0 0 0 0 2 1 15 0 9 0 644282788 888958976 28771 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27972] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27972/stat : 27972 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 18 0 9 0 644282790 888958976 28771 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27973] ppid=27964 vsize=868124 CPUtime=0.41
/proc/27966/task/27973/stat : 27973 (java) S 27964 27966 27578 0 -1 64 993 439 1 0 37 1 2 1 16 0 9 0 644282790 888958976 28771 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27974] ppid=27964 vsize=868124 CPUtime=0.03
################
# More data... #
################
/proc/27966/task/27971/stat : 27971 (java) S 27964 27966 27578 0 -1 64 17 439 0 0 0 0 2 1 15 0 9 0 644282788 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27972] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27972/stat : 27972 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 18 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27973] ppid=27964 vsize=868124 CPUtime=0.41
/proc/27966/task/27973/stat : 27973 (java) S 27964 27966 27578 0 -1 64 996 439 1 0 37 1 2 1 16 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27974] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27974/stat : 27974 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 19 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27975] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27975/stat : 27975 (java) S 27964 27966 27578 0 -1 64 36 439 0 0 0 0 2 1 15 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.93
Current children cumulated vsize (KiB) 868124
[startup+1662.3 s]
/proc/loadavg: 2.08 2.08 2.12 3/84 28030
/proc/meminfo: memFree=663544/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=868124 CPUtime=1591.63
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 45147 439 2 0 159095 65 2 1 18 0 9 0 644282784 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 217031 28869 2637 9 0 211537 0
[pid=27966/tid=27968] ppid=27964 vsize=868124 CPUtime=1587.41
/proc/27966/task/27968/stat : 27968 (java) R 27964 27966 27578 0 -1 64 21826 439 1 0 158698 40 2 1 25 0 9 0 644282786 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4127172880 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27969] ppid=27964 vsize=868124 CPUtime=3.82
/proc/27966/task/27969/stat : 27969 (java) S 27964 27966 27578 0 -1 64 21465 439 0 0 358 21 2 1 17 0 9 0 644282788 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27970] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27970/stat : 27970 (java) S 27964 27966 27578 0 -1 64 21 439 0 0 0 0 2 1 16 0 9 0 644282788 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27971] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27971/stat : 27971 (java) S 27964 27966 27578 0 -1 64 17 439 0 0 0 0 2 1 15 0 9 0 644282788 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27972] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27972/stat : 27972 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 18 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27973] ppid=27964 vsize=868124 CPUtime=0.41
/proc/27966/task/27973/stat : 27973 (java) S 27964 27966 27578 0 -1 64 996 439 1 0 37 1 2 1 16 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27974] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27974/stat : 27974 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 19 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27975] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27975/stat : 27975 (java) S 27964 27966 27578 0 -1 64 36 439 0 0 0 0 2 1 15 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.63
Current children cumulated vsize (KiB) 868124
[startup+1722.3 s]
/proc/loadavg: 2.03 2.06 2.11 3/84 28030
/proc/meminfo: memFree=662904/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=868124 CPUtime=1651.35
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 45219 439 2 0 165066 66 2 1 18 0 9 0 644282784 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 217031 28869 2637 9 0 211537 0
[pid=27966/tid=27968] ppid=27964 vsize=868124 CPUtime=1647.02
/proc/27966/task/27968/stat : 27968 (java) R 27964 27966 27578 0 -1 64 21898 439 1 0 164659 40 2 1 25 0 9 0 644282786 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4126653336 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27969] ppid=27964 vsize=868124 CPUtime=3.93
/proc/27966/task/27969/stat : 27969 (java) S 27964 27966 27578 0 -1 64 21465 439 0 0 368 22 2 1 16 0 9 0 644282788 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27970] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27970/stat : 27970 (java) S 27964 27966 27578 0 -1 64 21 439 0 0 0 0 2 1 16 0 9 0 644282788 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27971] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27971/stat : 27971 (java) S 27964 27966 27578 0 -1 64 17 439 0 0 0 0 2 1 15 0 9 0 644282788 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27972] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27972/stat : 27972 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 18 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27973] ppid=27964 vsize=868124 CPUtime=0.41
/proc/27966/task/27973/stat : 27973 (java) S 27964 27966 27578 0 -1 64 996 439 1 0 37 1 2 1 16 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27974] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27974/stat : 27974 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 19 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27975] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27975/stat : 27975 (java) S 27964 27966 27578 0 -1 64 36 439 0 0 0 0 2 1 15 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1651.35
Current children cumulated vsize (KiB) 868124
[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.10 3/84 28030
/proc/meminfo: memFree=662072/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=868124 CPUtime=1711.06
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 45288 439 2 0 171036 67 2 1 18 0 9 0 644282784 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 217031 28869 2637 9 0 211537 0
[pid=27966/tid=27968] ppid=27964 vsize=868124 CPUtime=1706.64
/proc/27966/task/27968/stat : 27968 (java) R 27964 27966 27578 0 -1 64 21967 439 1 0 170621 40 2 1 25 0 9 0 644282786 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4126653336 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27969] ppid=27964 vsize=868124 CPUtime=4.01
/proc/27966/task/27969/stat : 27969 (java) S 27964 27966 27578 0 -1 64 21465 439 0 0 376 22 2 1 16 0 9 0 644282788 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27970] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27970/stat : 27970 (java) S 27964 27966 27578 0 -1 64 21 439 0 0 0 0 2 1 16 0 9 0 644282788 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27971] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27971/stat : 27971 (java) S 27964 27966 27578 0 -1 64 17 439 0 0 0 0 2 1 15 0 9 0 644282788 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27972] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27972/stat : 27972 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 18 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27973] ppid=27964 vsize=868124 CPUtime=0.41
/proc/27966/task/27973/stat : 27973 (java) S 27964 27966 27578 0 -1 64 996 439 1 0 37 1 2 1 16 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27974] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27974/stat : 27974 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 19 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27975] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27975/stat : 27975 (java) S 27964 27966 27578 0 -1 64 36 439 0 0 0 0 2 1 15 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1711.06
Current children cumulated vsize (KiB) 868124
[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.09 3/84 28030
/proc/meminfo: memFree=661368/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=868124 CPUtime=1770.78
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 45353 439 2 0 177007 68 2 1 18 0 9 0 644282784 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 217031 28869 2637 9 0 211537 0
[pid=27966/tid=27968] ppid=27964 vsize=868124 CPUtime=1766.28
/proc/27966/task/27968/stat : 27968 (java) R 27964 27966 27578 0 -1 64 22032 439 1 0 176584 41 2 1 25 0 9 0 644282786 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4127199830 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27969] ppid=27964 vsize=868124 CPUtime=4.1
/proc/27966/task/27969/stat : 27969 (java) S 27964 27966 27578 0 -1 64 21465 439 0 0 384 23 2 1 16 0 9 0 644282788 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27970] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27970/stat : 27970 (java) S 27964 27966 27578 0 -1 64 21 439 0 0 0 0 2 1 16 0 9 0 644282788 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27971] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27971/stat : 27971 (java) S 27964 27966 27578 0 -1 64 17 439 0 0 0 0 2 1 15 0 9 0 644282788 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27972] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27972/stat : 27972 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 18 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27973] ppid=27964 vsize=868124 CPUtime=0.41
/proc/27966/task/27973/stat : 27973 (java) S 27964 27966 27578 0 -1 64 996 439 1 0 37 1 2 1 16 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27974] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27974/stat : 27974 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 19 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27975] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27975/stat : 27975 (java) S 27964 27966 27578 0 -1 64 36 439 0 0 0 0 2 1 15 0 9 0 644282790 888958976 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1770.78
Current children cumulated vsize (KiB) 868124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1871.7 s]
/proc/loadavg: 2.00 2.03 2.08 3/84 28030
/proc/meminfo: memFree=660984/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=868124 CPUtime=1800.03
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 45400 439 2 0 179932 68 2 1 18 0 9 0 644282784 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 217031 28873 2637 9 0 211537 0
[pid=27966/tid=27968] ppid=27964 vsize=868124 CPUtime=1795.48
/proc/27966/task/27968/stat : 27968 (java) R 27964 27966 27578 0 -1 64 22075 439 1 0 179504 41 2 1 25 0 9 0 644282786 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4126653336 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27969] ppid=27964 vsize=868124 CPUtime=4.15
/proc/27966/task/27969/stat : 27969 (java) S 27964 27966 27578 0 -1 64 21469 439 0 0 389 23 2 1 16 0 9 0 644282788 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27970] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27970/stat : 27970 (java) S 27964 27966 27578 0 -1 64 21 439 0 0 0 0 2 1 16 0 9 0 644282788 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27971] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27971/stat : 27971 (java) S 27964 27966 27578 0 -1 64 17 439 0 0 0 0 2 1 15 0 9 0 644282788 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27972] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27972/stat : 27972 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 18 0 9 0 644282790 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27973] ppid=27964 vsize=868124 CPUtime=0.41
/proc/27966/task/27973/stat : 27973 (java) S 27964 27966 27578 0 -1 64 996 439 1 0 37 1 2 1 16 0 9 0 644282790 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27974] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27974/stat : 27974 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 19 0 9 0 644282790 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27975] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27975/stat : 27975 (java) S 27964 27966 27578 0 -1 64 36 439 0 0 0 0 2 1 15 0 9 0 644282790 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 868124
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1871.7 s]
/proc/loadavg: 2.00 2.03 2.08 3/84 28030
/proc/meminfo: memFree=660984/2055920 swapFree=4176992/4192956
[pid=27966] ppid=27964 vsize=868124 CPUtime=1800.03
/proc/27966/stat : 27966 (java) S 27964 27966 27578 0 -1 0 45400 439 2 0 179932 68 2 1 18 0 9 0 644282784 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27966/statm: 217031 28873 2637 9 0 211537 0
[pid=27966/tid=27968] ppid=27964 vsize=868124 CPUtime=1795.48
/proc/27966/task/27968/stat : 27968 (java) R 27964 27966 27578 0 -1 64 22075 439 1 0 179504 41 2 1 25 0 9 0 644282786 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4126653336 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27969] ppid=27964 vsize=868124 CPUtime=4.15
/proc/27966/task/27969/stat : 27969 (java) S 27964 27966 27578 0 -1 64 21469 439 0 0 389 23 2 1 16 0 9 0 644282788 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27970] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27970/stat : 27970 (java) S 27964 27966 27578 0 -1 64 21 439 0 0 0 0 2 1 16 0 9 0 644282788 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27971] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27971/stat : 27971 (java) S 27964 27966 27578 0 -1 64 17 439 0 0 0 0 2 1 15 0 9 0 644282788 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27972] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27972/stat : 27972 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 18 0 9 0 644282790 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27973] ppid=27964 vsize=868124 CPUtime=0.41
/proc/27966/task/27973/stat : 27973 (java) S 27964 27966 27578 0 -1 64 996 439 1 0 37 1 2 1 16 0 9 0 644282790 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27966/tid=27974] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27974/stat : 27974 (java) S 27964 27966 27578 0 -1 64 1 439 0 0 0 0 2 1 19 0 9 0 644282790 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27966/tid=27975] ppid=27964 vsize=868124 CPUtime=0.03
/proc/27966/task/27975/stat : 27975 (java) S 27964 27966 27578 0 -1 64 36 439 0 0 0 0 2 1 15 0 9 0 644282790 888958976 28873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 868124
Child status: 143
Real time (s): 1871.77
CPU time (s): 1800.12
CPU user time (s): 1799.4
CPU system time (s): 0.715891
CPU usage (%): 96.172
Max. virtual memory (cumulated for all children) (KiB): 868168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.715891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45870
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53536
involuntary context switches= 62621
runsolver used 2.28665 second user time and 6.24905 second system time
The end
Begin job on node84 at 2008-07-05 01:20:26
IDJOB=1080883
IDBENCH=57038
IDSOLVER=363
FILE ID=node84/1080883-1215213626
PBS_JOBID= 7881788
Free space on /tmp= 66556 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/js-taillard-20-15/normalized-js-taillard-20-15-105-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080883-1215213626/watcher-1080883-1215213626 -o /tmp/evaluation-result-1080883-1215213626/solver-1080883-1215213626 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1080883-1215213626.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 9ba2c05d75416be79db8f8c7771688d8
RANDOM SEED=1426647173
node84.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.231
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.231
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: 218440 kB
Buffers: 7720 kB
Cached: 1065472 kB
SwapCached: 10116 kB
Active: 730684 kB
Inactive: 1054688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 218440 kB
SwapTotal: 4192956 kB
SwapFree: 4176992 kB
Dirty: 2456 kB
Writeback: 0 kB
Mapped: 723088 kB
Slab: 35716 kB
Committed_AS: 1863808 kB
PageTables: 3380 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= 66504 MiB
End job on node84 at 2008-07-05 01:51:40