0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.17/0.24
0.17/0.24 configuration
0.17/0.24 name=esac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-1061051-1215130222.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.57/0.67 nbVariables=2800 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=5600
0.57/0.67 => wckTime=0.424 cpuTime=0.27 mem=14M698
0.57/0.67
0.57/0.67 predicates being loaded...
0.67/0.74
0.67/0.74 constraints being loaded...
4.73/4.82 nbConstraints=151 nbGlobalConstraints=1 nbUnbuiltConflictsStructures=2 nbSharedBinaryRepresentations=0
4.73/4.82 nbEvaluationManagers=2 nbSharedEvaluationManagers=148 minDegree=3 maxDegree=3 minArity=35 avgArity=55.63
4.73/4.82 maxArity=2800 nbGenerators=1 nbFusions=0 symmetryWckTime=3.815 symmetryCpuTime=3.58
4.73/4.82 => wckTime=4.577 cpuTime=4.14 mem=38M837
4.73/4.89
4.73/4.89 solver IterativeSystematicSolver being built...
4.92/5.01
4.92/5.01 INFO : Forward propagation technique limited
5.02/5.19 => wckTime=4.943 cpuTime=4.38 mem=49M581
31.40/31.79
31.40/31.79 preprocessing
31.40/31.79 nbConstraintChecks=5248968 nbValidityChecks=43052 nbPropagations=6438 nbRevisions=23045
31.40/31.79 nbUselessRevisions=22940 nbSingletonTests=3504 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0
31.40/31.79 nbRemovedValues=0 detectedInconsistency=no
31.40/31.79 => wckTime=26.594 cpuTime=26.33 mem=50M583
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1061051-1215130222/watcher-1061051-1215130222 -o /tmp/evaluation-result-1061051-1215130222/solver-1061051-1215130222 -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-1061051-1215130222.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.23 2.28 2.08 3/72 8689
/proc/meminfo: memFree=1608560/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=18572 CPUtime=0
/proc/8689/stat : 8689 (runsolver) R 8687 8689 8087 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 1542694033 19017728 292 996147200 4194304 4296836 548682068352 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/8689/statm: 4643 292 257 25 0 2626 0
[startup+0.059664 s]
/proc/loadavg: 2.23 2.28 2.08 3/72 8689
/proc/meminfo: memFree=1608560/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=863688 CPUtime=0.04
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 2566 0 1 0 3 1 0 0 18 0 9 0 1542694033 884416512 2133 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 215922 2133 1018 9 0 210901 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 863688
[startup+0.102667 s]
/proc/loadavg: 2.23 2.28 2.08 3/72 8689
/proc/meminfo: memFree=1608560/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=865884 CPUtime=0.07
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 3682 0 1 0 6 1 0 0 18 0 9 0 1542694033 886665216 3156 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 216471 3156 1676 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865884
[startup+0.301696 s]
/proc/loadavg: 2.23 2.28 2.08 3/72 8689
/proc/meminfo: memFree=1608560/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=866196 CPUtime=0.28
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 5616 0 1 0 25 3 0 0 18 0 9 0 1542694033 886984704 5030 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 216549 5030 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.702747 s]
/proc/loadavg: 2.23 2.28 2.08 3/72 8689
/proc/meminfo: memFree=1608560/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=867528 CPUtime=0.67
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 8933 0 1 0 62 5 0 0 18 0 9 0 1542694033 888348672 8294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 216882 8294 1999 9 0 211388 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867528
[startup+1.50286 s]
/proc/loadavg: 2.23 2.28 2.08 3/81 8698
/proc/meminfo: memFree=1564008/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=867764 CPUtime=1.44
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 24085 340 1 0 124 12 8 0 18 0 10 0 1542694033 888590336 17313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 216941 17313 2014 9 0 211469 0
[pid=8689/tid=8691] ppid=8687 vsize=867764 CPUtime=1.18
/proc/8689/task/8691/stat : 8691 (java) R 8687 8689 8087 0 -1 64 18961 340 1 0 100 10 8 0 17 0 10 0 1542694035 888590336 17313 996147200 134512640 134550740 4294955968 18446744073709551615 4126835410 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8692] ppid=8687 vsize=867764 CPUtime=0.11
/proc/8689/task/8692/stat : 8692 (java) S 8687 8689 8087 0 -1 64 3485 340 0 0 2 1 8 0 16 0 10 0 1542694036 888590336 17313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8693] ppid=8687 vsize=867764 CPUtime=0.08
/proc/8689/task/8693/stat : 8693 (java) S 8687 8689 8087 0 -1 64 14 340 0 0 0 0 8 0 16 0 10 0 1542694037 888590336 17313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8694] ppid=8687 vsize=867764 CPUtime=0.08
/proc/8689/task/8694/stat : 8694 (java) S 8687 8689 8087 0 -1 64 14 340 0 0 0 0 8 0 16 0 10 0 1542694037 888590336 17313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8695] ppid=8687 vsize=867764 CPUtime=0.08
/proc/8689/task/8695/stat : 8695 (java) S 8687 8689 8087 0 -1 64 1 340 0 0 0 0 8 0 18 0 10 0 1542694039 888590336 17313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8696] ppid=8687 vsize=867764 CPUtime=0.29
/proc/8689/task/8696/stat : 8696 (java) S 8687 8689 8087 0 -1 64 803 340 0 0 21 0 8 0 16 0 10 0 1542694039 888590336 17313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8697] ppid=8687 vsize=867764 CPUtime=0.08
/proc/8689/task/8697/stat : 8697 (java) S 8687 8689 8087 0 -1 64 2 340 0 0 0 0 8 0 19 0 10 0 1542694039 888590336 17313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8698] ppid=8687 vsize=867764 CPUtime=0.08
/proc/8689/task/8698/stat : 8698 (java) S 8687 8689 8087 0 -1 64 10 340 0 0 0 0 8 0 15 0 10 0 1542694039 888590336 17313 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 867764
[startup+3.10107 s]
/proc/loadavg: 2.23 2.28 2.08 3/81 8702
/proc/meminfo: memFree=1539880/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=867764 CPUtime=3.04
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 30015 463 1 0 281 14 8 1 18 0 9 0 1542694033 888590336 19043 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 216941 19043 2014 9 0 211469 0
[pid=8689/tid=8691] ppid=8687 vsize=867764 CPUtime=2.74
/proc/8689/task/8691/stat : 8691 (java) R 8687 8689 8087 0 -1 64 23607 463 1 0 254 11 8 1 25 0 9 0 1542694035 888590336 19043 996147200 134512640 134550740 4294955968 18446744073709551615 4126957364 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8692] ppid=8687 vsize=867764 CPUtime=0.15
/proc/8689/task/8692/stat : 8692 (java) S 8687 8689 8087 0 -1 64 4764 463 0 0 4 2 8 1 16 0 9 0 1542694036 888590336 19043 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8693] ppid=8687 vsize=867764 CPUtime=0.09
/proc/8689/task/8693/stat : 8693 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888590336 19043 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8694] ppid=8687 vsize=867764 CPUtime=0.09
/proc/8689/task/8694/stat : 8694 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888590336 19043 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8695] ppid=8687 vsize=867764 CPUtime=0.09
/proc/8689/task/8695/stat : 8695 (java) S 8687 8689 8087 0 -1 64 1 463 0 0 0 0 8 1 18 0 9 0 1542694039 888590336 19043 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8696] ppid=8687 vsize=867764 CPUtime=0.3
/proc/8689/task/8696/stat : 8696 (java) S 8687 8689 8087 0 -1 64 804 463 0 0 21 0 8 1 17 0 9 0 1542694039 888590336 19043 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8697] ppid=8687 vsize=867764 CPUtime=0.09
/proc/8689/task/8697/stat : 8697 (java) S 8687 8689 8087 0 -1 64 2 463 0 0 0 0 8 1 19 0 9 0 1542694039 888590336 19043 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8698] ppid=8687 vsize=867764 CPUtime=0.09
/proc/8689/task/8698/stat : 8698 (java) S 8687 8689 8087 0 -1 64 10 463 0 0 0 0 8 1 15 0 9 0 1542694039 888590336 19043 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) 867764
[startup+6.30148 s]
/proc/loadavg: 2.21 2.27 2.08 3/81 8702
/proc/meminfo: memFree=1538152/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=867908 CPUtime=6.21
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 31889 463 1 0 596 16 8 1 18 0 9 0 1542694033 888737792 20052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 216977 20052 2637 9 0 211483 0
[pid=8689/tid=8691] ppid=8687 vsize=867908 CPUtime=5.76
/proc/8689/task/8691/stat : 8691 (java) R 8687 8689 8087 0 -1 64 23800 463 1 0 556 11 8 1 25 0 9 0 1542694035 888737792 20052 996147200 134512640 134550740 4294955968 18446744073709551615 4127122680 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8692] ppid=8687 vsize=867908 CPUtime=0.22
/proc/8689/task/8692/stat : 8692 (java) S 8687 8689 8087 0 -1 64 6327 463 0 0 11 2 8 1 17 0 9 0 1542694036 888737792 20052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8693] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8693/stat : 8693 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8694] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8694/stat : 8694 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8695] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8695/stat : 8695 (java) S 8687 8689 8087 0 -1 64 1 463 0 0 0 0 8 1 18 0 9 0 1542694039 888737792 20052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8696] ppid=8687 vsize=867908 CPUtime=0.37
/proc/8689/task/8696/stat : 8696 (java) S 8687 8689 8087 0 -1 64 900 463 0 0 28 0 8 1 16 0 9 0 1542694039 888737792 20052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8697] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8697/stat : 8697 (java) S 8687 8689 8087 0 -1 64 2 463 0 0 0 0 8 1 19 0 9 0 1542694039 888737792 20052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8698] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8698/stat : 8698 (java) S 8687 8689 8087 0 -1 64 32 463 0 0 0 0 8 1 15 0 9 0 1542694039 888737792 20052 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867908
[startup+12.7013 s]
/proc/loadavg: 2.19 2.27 2.08 3/81 8702
/proc/meminfo: memFree=1538024/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=867908 CPUtime=12.56
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 31914 463 1 0 1231 16 8 1 18 0 9 0 1542694033 888737792 20059 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 216977 20059 2637 9 0 211483 0
[pid=8689/tid=8691] ppid=8687 vsize=867908 CPUtime=12.1
/proc/8689/task/8691/stat : 8691 (java) R 8687 8689 8087 0 -1 64 23805 463 1 0 1190 11 8 1 25 0 9 0 1542694035 888737792 20059 996147200 134512640 134550740 4294955968 18446744073709551615 4127094490 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8692] ppid=8687 vsize=867908 CPUtime=0.22
/proc/8689/task/8692/stat : 8692 (java) S 8687 8689 8087 0 -1 64 6327 463 0 0 11 2 8 1 17 0 9 0 1542694036 888737792 20059 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8693] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8693/stat : 8693 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20059 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8694] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8694/stat : 8694 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20059 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8695] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8695/stat : 8695 (java) S 8687 8689 8087 0 -1 64 1 463 0 0 0 0 8 1 18 0 9 0 1542694039 888737792 20059 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8696] ppid=8687 vsize=867908 CPUtime=0.38
/proc/8689/task/8696/stat : 8696 (java) S 8687 8689 8087 0 -1 64 920 463 0 0 29 0 8 1 15 0 9 0 1542694039 888737792 20059 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8697] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8697/stat : 8697 (java) S 8687 8689 8087 0 -1 64 2 463 0 0 0 0 8 1 19 0 9 0 1542694039 888737792 20059 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8698] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8698/stat : 8698 (java) S 8687 8689 8087 0 -1 64 32 463 0 0 0 0 8 1 15 0 9 0 1542694039 888737792 20059 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) 867908
[startup+25.503 s]
/proc/loadavg: 2.15 2.25 2.07 3/81 8702
/proc/meminfo: memFree=1538088/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=867908 CPUtime=25.26
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 31925 463 1 0 2501 16 8 1 18 0 9 0 1542694033 888737792 20066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 216977 20066 2637 9 0 211483 0
[pid=8689/tid=8691] ppid=8687 vsize=867908 CPUtime=24.78
/proc/8689/task/8691/stat : 8691 (java) R 8687 8689 8087 0 -1 64 23806 463 1 0 2458 11 8 1 25 0 9 0 1542694035 888737792 20066 996147200 134512640 134550740 4294955968 18446744073709551615 4127093162 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8692] ppid=8687 vsize=867908 CPUtime=0.22
/proc/8689/task/8692/stat : 8692 (java) S 8687 8689 8087 0 -1 64 6327 463 0 0 11 2 8 1 16 0 9 0 1542694036 888737792 20066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8693] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8693/stat : 8693 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8694] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8694/stat : 8694 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8695] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8695/stat : 8695 (java) S 8687 8689 8087 0 -1 64 1 463 0 0 0 0 8 1 18 0 9 0 1542694039 888737792 20066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8696] ppid=8687 vsize=867908 CPUtime=0.39
/proc/8689/task/8696/stat : 8696 (java) S 8687 8689 8087 0 -1 64 930 463 0 0 30 0 8 1 16 0 9 0 1542694039 888737792 20066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8697] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8697/stat : 8697 (java) S 8687 8689 8087 0 -1 64 2 463 0 0 0 0 8 1 19 0 9 0 1542694039 888737792 20066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8698] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8698/stat : 8698 (java) S 8687 8689 8087 0 -1 64 32 463 0 0 0 0 8 1 15 0 9 0 1542694039 888737792 20066 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 867908
[startup+51.1024 s]
/proc/loadavg: 2.10 2.23 2.07 3/81 8702
/proc/meminfo: memFree=1538024/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=867908 CPUtime=50.64
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 31968 463 1 0 5039 16 8 1 18 0 9 0 1542694033 888737792 20079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 216977 20079 2637 9 0 211483 0
[pid=8689/tid=8691] ppid=8687 vsize=867908 CPUtime=50.16
/proc/8689/task/8691/stat : 8691 (java) R 8687 8689 8087 0 -1 64 23816 463 1 0 4995 12 8 1 25 0 9 0 1542694035 888737792 20079 996147200 134512640 134550740 4294955968 18446744073709551615 4127093153 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8692] ppid=8687 vsize=867908 CPUtime=0.22
/proc/8689/task/8692/stat : 8692 (java) S 8687 8689 8087 0 -1 64 6327 463 0 0 11 2 8 1 16 0 9 0 1542694036 888737792 20079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8693] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8693/stat : 8693 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8694] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8694/stat : 8694 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8695] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8695/stat : 8695 (java) S 8687 8689 8087 0 -1 64 1 463 0 0 0 0 8 1 18 0 9 0 1542694039 888737792 20079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8696] ppid=8687 vsize=867908 CPUtime=0.4
/proc/8689/task/8696/stat : 8696 (java) S 8687 8689 8087 0 -1 64 963 463 0 0 31 0 8 1 15 0 9 0 1542694039 888737792 20079 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8697] ppid=8687 vsize=867908 CPUtime=0.09
################
# More data... #
################
/proc/8689/task/8694/stat : 8694 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8695] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8695/stat : 8695 (java) S 8687 8689 8087 0 -1 64 1 463 0 0 0 0 8 1 18 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8696] ppid=8687 vsize=867908 CPUtime=0.43
/proc/8689/task/8696/stat : 8696 (java) S 8687 8689 8087 0 -1 64 995 463 0 0 34 0 8 1 16 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8689/tid=8697] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8697/stat : 8697 (java) S 8687 8689 8087 0 -1 64 2 463 0 0 0 0 8 1 19 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8698] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8698/stat : 8698 (java) R 8687 8689 8087 0 -1 64 32 463 0 0 0 0 8 1 15 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.6
Current children cumulated vsize (KiB) 867908
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 8753
/proc/meminfo: memFree=1528096/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=867908 CPUtime=1600.58
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 32002 463 1 0 160030 19 8 1 18 0 9 0 1542694033 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 216977 20090 2637 9 0 211483 0
[pid=8689/tid=8691] ppid=8687 vsize=867908 CPUtime=1600.06
/proc/8689/task/8691/stat : 8691 (java) R 8687 8689 8087 0 -1 64 23818 463 1 0 159983 14 8 1 25 0 9 0 1542694035 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4127151248 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8689/tid=8692] ppid=8687 vsize=867908 CPUtime=0.22
/proc/8689/task/8692/stat : 8692 (java) S 8687 8689 8087 0 -1 64 6327 463 0 0 11 2 8 1 16 0 9 0 1542694036 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8693] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8693/stat : 8693 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8694] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8694/stat : 8694 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8695] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8695/stat : 8695 (java) S 8687 8689 8087 0 -1 64 1 463 0 0 0 0 8 1 18 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8696] ppid=8687 vsize=867908 CPUtime=0.43
/proc/8689/task/8696/stat : 8696 (java) S 8687 8689 8087 0 -1 64 995 463 0 0 34 0 8 1 16 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8689/tid=8697] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8697/stat : 8697 (java) S 8687 8689 8087 0 -1 64 2 463 0 0 0 0 8 1 19 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8698] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8698/stat : 8698 (java) S 8687 8689 8087 0 -1 64 32 463 0 0 0 0 8 1 15 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.58
Current children cumulated vsize (KiB) 867908
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 8753
/proc/meminfo: memFree=1527968/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=867908 CPUtime=1660.55
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 32002 463 1 0 166027 19 8 1 18 0 9 0 1542694033 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 216977 20090 2637 9 0 211483 0
[pid=8689/tid=8691] ppid=8687 vsize=867908 CPUtime=1660.03
/proc/8689/task/8691/stat : 8691 (java) R 8687 8689 8087 0 -1 64 23818 463 1 0 165980 14 8 1 25 0 9 0 1542694035 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4127093204 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8689/tid=8692] ppid=8687 vsize=867908 CPUtime=0.22
/proc/8689/task/8692/stat : 8692 (java) S 8687 8689 8087 0 -1 64 6327 463 0 0 11 2 8 1 16 0 9 0 1542694036 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8693] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8693/stat : 8693 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8694] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8694/stat : 8694 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8695] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8695/stat : 8695 (java) S 8687 8689 8087 0 -1 64 1 463 0 0 0 0 8 1 18 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8696] ppid=8687 vsize=867908 CPUtime=0.43
/proc/8689/task/8696/stat : 8696 (java) S 8687 8689 8087 0 -1 64 995 463 0 0 34 0 8 1 16 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8689/tid=8697] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8697/stat : 8697 (java) S 8687 8689 8087 0 -1 64 2 463 0 0 0 0 8 1 19 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8698] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8698/stat : 8698 (java) S 8687 8689 8087 0 -1 64 32 463 0 0 0 0 8 1 15 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.55
Current children cumulated vsize (KiB) 867908
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 8754
/proc/meminfo: memFree=1527712/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=867908 CPUtime=1720.52
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 32002 463 1 0 172024 19 8 1 18 0 9 0 1542694033 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 216977 20090 2637 9 0 211483 0
[pid=8689/tid=8691] ppid=8687 vsize=867908 CPUtime=1720.01
/proc/8689/task/8691/stat : 8691 (java) R 8687 8689 8087 0 -1 64 23818 463 1 0 171978 14 8 1 25 0 9 0 1542694035 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4127121838 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8689/tid=8692] ppid=8687 vsize=867908 CPUtime=0.22
/proc/8689/task/8692/stat : 8692 (java) S 8687 8689 8087 0 -1 64 6327 463 0 0 11 2 8 1 16 0 9 0 1542694036 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8693] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8693/stat : 8693 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8694] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8694/stat : 8694 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8695] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8695/stat : 8695 (java) S 8687 8689 8087 0 -1 64 1 463 0 0 0 0 8 1 18 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8696] ppid=8687 vsize=867908 CPUtime=0.43
/proc/8689/task/8696/stat : 8696 (java) S 8687 8689 8087 0 -1 64 995 463 0 0 34 0 8 1 16 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8689/tid=8697] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8697/stat : 8697 (java) S 8687 8689 8087 0 -1 64 2 463 0 0 0 0 8 1 19 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8698] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8698/stat : 8698 (java) S 8687 8689 8087 0 -1 64 32 463 0 0 0 0 8 1 15 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.52
Current children cumulated vsize (KiB) 867908
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 8755
/proc/meminfo: memFree=1527520/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=867908 CPUtime=1780.5
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 32002 463 1 0 178022 19 8 1 18 0 9 0 1542694033 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 216977 20090 2637 9 0 211483 0
[pid=8689/tid=8691] ppid=8687 vsize=867908 CPUtime=1779.98
/proc/8689/task/8691/stat : 8691 (java) R 8687 8689 8087 0 -1 64 23818 463 1 0 177975 14 8 1 25 0 9 0 1542694035 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4127150734 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8689/tid=8692] ppid=8687 vsize=867908 CPUtime=0.22
/proc/8689/task/8692/stat : 8692 (java) S 8687 8689 8087 0 -1 64 6327 463 0 0 11 2 8 1 16 0 9 0 1542694036 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8693] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8693/stat : 8693 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8694] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8694/stat : 8694 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8695] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8695/stat : 8695 (java) S 8687 8689 8087 0 -1 64 1 463 0 0 0 0 8 1 18 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8696] ppid=8687 vsize=867908 CPUtime=0.43
/proc/8689/task/8696/stat : 8696 (java) S 8687 8689 8087 0 -1 64 995 463 0 0 34 0 8 1 16 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8689/tid=8697] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8697/stat : 8697 (java) S 8687 8689 8087 0 -1 64 2 463 0 0 0 0 8 1 19 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8698] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8698/stat : 8698 (java) S 8687 8689 8087 0 -1 64 32 463 0 0 0 0 8 1 15 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.5
Current children cumulated vsize (KiB) 867908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 8755
/proc/meminfo: memFree=1527520/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=867908 CPUtime=1800.09
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 32002 463 1 0 179981 19 8 1 18 0 9 0 1542694033 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 216977 20090 2637 9 0 211483 0
[pid=8689/tid=8691] ppid=8687 vsize=867908 CPUtime=1799.58
/proc/8689/task/8691/stat : 8691 (java) R 8687 8689 8087 0 -1 64 23818 463 1 0 179935 14 8 1 25 0 9 0 1542694035 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4127119460 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8689/tid=8692] ppid=8687 vsize=867908 CPUtime=0.22
/proc/8689/task/8692/stat : 8692 (java) S 8687 8689 8087 0 -1 64 6327 463 0 0 11 2 8 1 16 0 9 0 1542694036 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8693] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8693/stat : 8693 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8694] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8694/stat : 8694 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8695] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8695/stat : 8695 (java) S 8687 8689 8087 0 -1 64 1 463 0 0 0 0 8 1 18 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8696] ppid=8687 vsize=867908 CPUtime=0.43
/proc/8689/task/8696/stat : 8696 (java) S 8687 8689 8087 0 -1 64 995 463 0 0 34 0 8 1 16 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8689/tid=8697] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8697/stat : 8697 (java) S 8687 8689 8087 0 -1 64 2 463 0 0 0 0 8 1 19 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8698] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8698/stat : 8698 (java) S 8687 8689 8087 0 -1 64 32 463 0 0 0 0 8 1 15 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 867908
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 8755
/proc/meminfo: memFree=1527520/2055920 swapFree=4180424/4192956
[pid=8689] ppid=8687 vsize=867908 CPUtime=1800.09
/proc/8689/stat : 8689 (java) S 8687 8689 8087 0 -1 0 32002 463 1 0 179981 19 8 1 18 0 9 0 1542694033 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8689/statm: 216977 20090 2637 9 0 211483 0
[pid=8689/tid=8691] ppid=8687 vsize=867908 CPUtime=1799.58
/proc/8689/task/8691/stat : 8691 (java) R 8687 8689 8087 0 -1 64 23818 463 1 0 179935 14 8 1 25 0 9 0 1542694035 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4127119460 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8689/tid=8692] ppid=8687 vsize=867908 CPUtime=0.22
/proc/8689/task/8692/stat : 8692 (java) S 8687 8689 8087 0 -1 64 6327 463 0 0 11 2 8 1 16 0 9 0 1542694036 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8693] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8693/stat : 8693 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8694] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8694/stat : 8694 (java) S 8687 8689 8087 0 -1 64 14 463 0 0 0 0 8 1 16 0 9 0 1542694037 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8695] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8695/stat : 8695 (java) S 8687 8689 8087 0 -1 64 1 463 0 0 0 0 8 1 18 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8696] ppid=8687 vsize=867908 CPUtime=0.43
/proc/8689/task/8696/stat : 8696 (java) S 8687 8689 8087 0 -1 64 995 463 0 0 34 0 8 1 16 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8689/tid=8697] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8697/stat : 8697 (java) S 8687 8689 8087 0 -1 64 2 463 0 0 0 0 8 1 19 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8689/tid=8698] ppid=8687 vsize=867908 CPUtime=0.09
/proc/8689/task/8698/stat : 8698 (java) S 8687 8689 8087 0 -1 64 32 463 0 0 0 0 8 1 15 0 9 0 1542694039 888737792 20090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 867908
Child status: 143
Real time (s): 1801.95
CPU time (s): 1800.16
CPU user time (s): 1799.94
CPU system time (s): 0.218966
CPU usage (%): 99.9003
Max. virtual memory (cumulated for all children) (KiB): 867908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.218966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32494
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= 37901
involuntary context switches= 12678
runsolver used 2.35364 second user time and 5.81712 second system time
The end
Begin job on node13 at 2008-07-04 02:10:23
IDJOB=1061051
IDBENCH=54503
IDSOLVER=364
FILE ID=node13/1061051-1215130222
PBS_JOBID= 7877211
Free space on /tmp= 66548 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/pseudo/chnl/normalized-chnl-35-40.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-1061051-1215130222/watcher-1061051-1215130222 -o /tmp/evaluation-result-1061051-1215130222/solver-1061051-1215130222 -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-1061051-1215130222.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 0dccbd4340a0e6d3f96704e54b0bf60a
RANDOM SEED=1932842302
node13.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
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.238
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: 1609040 kB
Buffers: 68112 kB
Cached: 271680 kB
SwapCached: 6668 kB
Active: 194956 kB
Inactive: 173248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1609040 kB
SwapTotal: 4192956 kB
SwapFree: 4180424 kB
Dirty: 2220 kB
Writeback: 0 kB
Mapped: 36280 kB
Slab: 63884 kB
Committed_AS: 3007284 kB
PageTables: 1920 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= 66552 MiB
End job on node13 at 2008-07-04 02:40:26