0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.23 name=mac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1050095-1215047990.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.48/0.59 nbVariables=1344 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=2688
0.48/0.59 => wckTime=0.347 cpuTime=0.25 mem=10M779
0.48/0.59
0.48/0.59 predicates being loaded...
0.58/0.68
0.58/0.68 constraints being loaded...
9.98/10.13 nbConstraints=16103 nbGlobalConstraints=7 nbMergedConstraints=280 nbConvertedConstraints=1624
9.98/10.14 nbConvertConstraintsChecks=17048 nbExtensionStructures=2 nbSharedExtensionStructures=1622
9.98/10.14 nbConflictsStructures=19 nbSharedConflictsStructures=15261 nbUnbuiltConflictsStructures=3
9.98/10.14 nbSharedBinaryRepresentations=5 nbEvaluationManagers=20 nbSharedEvaluationManagers=14452 minDegree=17
9.98/10.14 maxDegree=162 minArity=2 avgArity=6.21 maxArity=660 nbGenerators=7 nbFusions=0 symmetryWckTime=3.103
9.98/10.14 symmetryCpuTime=1.38
9.98/10.14 => wckTime=9.892 cpuTime=7.27 mem=132M21
10.38/10.51
10.38/10.51 solver IterativeSystematicSolver being built...
11.07/11.21
11.07/11.22 INFO : Forward propagation technique limited
11.17/11.33 => wckTime=11.09 cpuTime=7.85 mem=129M68
11.27/11.48
11.27/11.49 preprocessing
11.27/11.49 nbConstraintChecks=10920 nbValidityChecks=9520 nbPropagations=1344 nbRevisions=10192 nbUselessRevisions=10192
11.27/11.49 nbRemovedValues=0 detectedInconsistency=no
11.27/11.49 => wckTime=0.15 cpuTime=0.13 mem=134M90
15.72/15.93
15.72/15.93 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=137M135)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1050095-1215047990/watcher-1050095-1215047990 -o /tmp/evaluation-result-1050095-1215047990/solver-1050095-1215047990 -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-1050095-1215047990.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.32 2.32 2.16 4/81 5015
/proc/meminfo: memFree=1455624/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=18572 CPUtime=0
/proc/5015/stat : 5015 (runsolver) R 5013 5015 3797 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1983773181 19017728 292 996147200 4194304 4296836 548682068352 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5015/statm: 4643 292 257 25 0 2626 0
[startup+0.0667589 s]
/proc/loadavg: 2.32 2.32 2.16 4/81 5015
/proc/meminfo: memFree=1455624/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=864076 CPUtime=0.04
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 2792 0 1 0 3 1 0 0 18 0 9 0 1983773181 884813824 2331 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 216019 2331 1118 9 0 210976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076
[startup+0.101765 s]
/proc/loadavg: 2.32 2.32 2.16 4/81 5015
/proc/meminfo: memFree=1455624/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=865884 CPUtime=0.08
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 3707 0 1 0 7 1 0 0 18 0 9 0 1983773181 886665216 3173 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 216471 3173 1681 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301796 s]
/proc/loadavg: 2.32 2.32 2.16 4/81 5015
/proc/meminfo: memFree=1455624/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=866196 CPUtime=0.28
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 5620 0 1 0 25 3 0 0 18 0 9 0 1983773181 886984704 5034 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 216549 5034 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701855 s]
/proc/loadavg: 2.32 2.32 2.16 4/81 5015
/proc/meminfo: memFree=1455624/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=867100 CPUtime=0.67
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 8235 0 1 0 63 4 0 0 18 0 9 0 1983773181 887910400 7595 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 216775 7595 2006 9 0 211281 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867100
[startup+1.50297 s]
/proc/loadavg: 2.29 2.32 2.16 3/90 5024
/proc/meminfo: memFree=1418304/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=867628 CPUtime=1.47
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 18867 0 1 0 137 10 0 0 18 0 9 0 1983773181 888451072 18202 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 216907 18202 2001 9 0 211435 0
[pid=5015/tid=5017] ppid=5013 vsize=867628 CPUtime=1.21
/proc/5015/task/5017/stat : 5017 (java) R 5013 5015 3797 0 -1 64 15742 0 1 0 113 8 0 0 25 0 9 0 1983773183 888451072 18202 996147200 134512640 134550740 4294955984 18446744073709551615 102605520 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5018] ppid=5013 vsize=867628 CPUtime=0.07
/proc/5015/task/5018/stat : 5018 (java) S 5013 5015 3797 0 -1 64 1767 0 0 0 7 0 0 0 16 0 9 0 1983773184 888451072 18202 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5019] ppid=5013 vsize=867628 CPUtime=0
/proc/5015/task/5019/stat : 5019 (java) S 5013 5015 3797 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983773184 888451072 18202 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5020] ppid=5013 vsize=867628 CPUtime=0
/proc/5015/task/5020/stat : 5020 (java) S 5013 5015 3797 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983773184 888451072 18202 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5021] ppid=5013 vsize=867628 CPUtime=0
/proc/5015/task/5021/stat : 5021 (java) S 5013 5015 3797 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983773186 888451072 18202 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5022] ppid=5013 vsize=867628 CPUtime=0.16
/proc/5015/task/5022/stat : 5022 (java) S 5013 5015 3797 0 -1 64 662 0 0 0 16 0 0 0 16 0 9 0 1983773186 888451072 18202 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5023] ppid=5013 vsize=867628 CPUtime=0
/proc/5015/task/5023/stat : 5023 (java) S 5013 5015 3797 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983773186 888451072 18202 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5024] ppid=5013 vsize=867628 CPUtime=0
/proc/5015/task/5024/stat : 5024 (java) S 5013 5015 3797 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983773187 888451072 18202 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867628
[startup+3.10221 s]
/proc/loadavg: 2.29 2.32 2.16 3/90 5024
/proc/meminfo: memFree=1377856/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=867628 CPUtime=3.05
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 22048 0 1 0 268 37 0 0 18 0 9 0 1983773181 888451072 21379 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 216907 21379 2006 9 0 211435 0
[pid=5015/tid=5017] ppid=5013 vsize=867628 CPUtime=2.63
/proc/5015/task/5017/stat : 5017 (java) R 5013 5015 3797 0 -1 64 15782 0 1 0 229 34 0 0 25 0 9 0 1983773183 888451072 21379 996147200 134512640 134550740 4294955984 18446744073709551615 5049613 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5018] ppid=5013 vsize=867628 CPUtime=0.17
/proc/5015/task/5018/stat : 5018 (java) S 5013 5015 3797 0 -1 64 4860 0 0 0 16 1 0 0 16 0 9 0 1983773184 888451072 21379 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5019] ppid=5013 vsize=867628 CPUtime=0
/proc/5015/task/5019/stat : 5019 (java) S 5013 5015 3797 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983773184 888451072 21379 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5020] ppid=5013 vsize=867628 CPUtime=0
/proc/5015/task/5020/stat : 5020 (java) S 5013 5015 3797 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983773184 888451072 21379 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5021] ppid=5013 vsize=867628 CPUtime=0
/proc/5015/task/5021/stat : 5021 (java) S 5013 5015 3797 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983773186 888451072 21379 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5022] ppid=5013 vsize=867628 CPUtime=0.22
/proc/5015/task/5022/stat : 5022 (java) S 5013 5015 3797 0 -1 64 710 0 0 0 22 0 0 0 16 0 9 0 1983773186 888451072 21379 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5023] ppid=5013 vsize=867628 CPUtime=0
/proc/5015/task/5023/stat : 5023 (java) S 5013 5015 3797 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983773186 888451072 21379 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5024] ppid=5013 vsize=867628 CPUtime=0
/proc/5015/task/5024/stat : 5024 (java) S 5013 5015 3797 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983773187 888451072 21379 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867628
[startup+6.30167 s]
/proc/loadavg: 2.29 2.32 2.16 4/90 5024
/proc/meminfo: memFree=1340416/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=867628 CPUtime=6.22
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 35375 0 1 0 542 80 0 0 18 0 9 0 1983773181 888451072 34700 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 216907 34700 2006 9 0 211435 0
[pid=5015/tid=5017] ppid=5013 vsize=867628 CPUtime=5.41
/proc/5015/task/5017/stat : 5017 (java) R 5013 5015 3797 0 -1 64 15790 0 1 0 469 72 0 0 25 0 9 0 1983773183 888451072 34700 996147200 134512640 134550740 4294955984 18446744073709551615 103824386 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5018] ppid=5013 vsize=867628 CPUtime=0.55
/proc/5015/task/5018/stat : 5018 (java) S 5013 5015 3797 0 -1 64 18170 0 0 0 48 7 0 0 16 0 9 0 1983773184 888451072 34700 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5019] ppid=5013 vsize=867628 CPUtime=0
/proc/5015/task/5019/stat : 5019 (java) S 5013 5015 3797 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983773184 888451072 34700 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5020] ppid=5013 vsize=867628 CPUtime=0
/proc/5015/task/5020/stat : 5020 (java) S 5013 5015 3797 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983773184 888451072 34700 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5021] ppid=5013 vsize=867628 CPUtime=0
/proc/5015/task/5021/stat : 5021 (java) S 5013 5015 3797 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983773186 888451072 34700 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5022] ppid=5013 vsize=867628 CPUtime=0.23
/proc/5015/task/5022/stat : 5022 (java) S 5013 5015 3797 0 -1 64 719 0 0 0 23 0 0 0 17 0 9 0 1983773186 888451072 34700 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5023] ppid=5013 vsize=867628 CPUtime=0
/proc/5015/task/5023/stat : 5023 (java) S 5013 5015 3797 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983773186 888451072 34700 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5024] ppid=5013 vsize=867628 CPUtime=0
/proc/5015/task/5024/stat : 5024 (java) S 5013 5015 3797 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983773187 888451072 34700 996147200 134512640 134550740 4294955984 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) 867628
[startup+12.7026 s]
/proc/loadavg: 2.33 2.32 2.16 4/90 5028
/proc/meminfo: memFree=1290096/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=868364 CPUtime=12.56
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 83345 3570 1 0 1003 100 149 4 18 0 9 0 1983773181 889204736 43739 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 217091 43739 2637 9 0 211597 0
[pid=5015/tid=5017] ppid=5013 vsize=868364 CPUtime=10.91
/proc/5015/task/5017/stat : 5017 (java) R 5013 5015 3797 0 -1 64 34952 3570 1 0 855 83 149 4 17 0 9 0 1983773183 889204736 43739 996147200 134512640 134550740 4294955984 18446744073709551615 4127116766 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5018] ppid=5013 vsize=868364 CPUtime=2.75
/proc/5015/task/5018/stat : 5018 (java) R 5013 5015 3797 0 -1 64 46370 3570 0 0 109 13 149 4 18 0 9 0 1983773184 889204736 43739 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5019] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5019/stat : 5019 (java) S 5013 5015 3797 0 -1 64 20 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43739 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5020] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5020/stat : 5020 (java) S 5013 5015 3797 0 -1 64 17 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43739 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5021] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5021/stat : 5021 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 18 0 9 0 1983773186 889204736 43739 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5022] ppid=5013 vsize=868364 CPUtime=1.92
/proc/5015/task/5022/stat : 5022 (java) S 5013 5015 3797 0 -1 64 1164 3570 0 0 38 1 149 4 15 0 9 0 1983773186 889204736 43739 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5023] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5023/stat : 5023 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 19 0 9 0 1983773186 889204736 43739 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5024] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5024/stat : 5024 (java) S 5013 5015 3797 0 -1 64 7 3570 0 0 0 0 149 4 15 0 9 0 1983773187 889204736 43739 996147200 134512640 134550740 4294955984 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) 868364
[startup+25.5015 s]
/proc/loadavg: 2.27 2.31 2.16 3/90 5028
/proc/meminfo: memFree=1290096/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=868364 CPUtime=25.22
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 83373 3570 1 0 2269 100 149 4 18 0 9 0 1983773181 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 217091 43762 2637 9 0 211597 0
[pid=5015/tid=5017] ppid=5013 vsize=868364 CPUtime=23.53
/proc/5015/task/5017/stat : 5017 (java) R 5013 5015 3797 0 -1 64 34956 3570 1 0 2117 83 149 4 25 0 9 0 1983773183 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4127038605 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5018] ppid=5013 vsize=868364 CPUtime=2.75
/proc/5015/task/5018/stat : 5018 (java) S 5013 5015 3797 0 -1 64 46370 3570 0 0 109 13 149 4 16 0 9 0 1983773184 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5019] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5019/stat : 5019 (java) S 5013 5015 3797 0 -1 64 20 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5020] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5020/stat : 5020 (java) S 5013 5015 3797 0 -1 64 17 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5021] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5021/stat : 5021 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 18 0 9 0 1983773186 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5022] ppid=5013 vsize=868364 CPUtime=1.96
/proc/5015/task/5022/stat : 5022 (java) S 5013 5015 3797 0 -1 64 1188 3570 0 0 42 1 149 4 16 0 9 0 1983773186 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5023] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5023/stat : 5023 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 19 0 9 0 1983773186 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5024] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5024/stat : 5024 (java) S 5013 5015 3797 0 -1 64 7 3570 0 0 0 0 149 4 15 0 9 0 1983773187 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 868364
[startup+51.1013 s]
/proc/loadavg: 2.18 2.29 2.16 3/90 5028
/proc/meminfo: memFree=1290096/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=868364 CPUtime=50.59
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 83375 3570 1 0 4805 101 149 4 18 0 9 0 1983773181 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 217091 43762 2637 9 0 211597 0
[pid=5015/tid=5017] ppid=5013 vsize=868364 CPUtime=48.9
/proc/5015/task/5017/stat : 5017 (java) R 5013 5015 3797 0 -1 64 34957 3570 1 0 4653 84 149 4 25 0 9 0 1983773183 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4127334499 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5018] ppid=5013 vsize=868364 CPUtime=2.75
/proc/5015/task/5018/stat : 5018 (java) S 5013 5015 3797 0 -1 64 46370 3570 0 0 109 13 149 4 16 0 9 0 1983773184 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5019] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5019/stat : 5019 (java) S 5013 5015 3797 0 -1 64 20 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5020] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5020/stat : 5020 (java) S 5013 5015 3797 0 -1 64 17 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5021] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5021/stat : 5021 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 18 0 9 0 1983773186 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5022] ppid=5013 vsize=868364 CPUtime=1.96
/proc/5015/task/5022/stat : 5022 (java) S 5013 5015 3797 0 -1 64 1189 3570 0 0 42 1 149 4 17 0 9 0 1983773186 889204736 43762 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5023] ppid=5013 vsize=868364 CPUtime=1.53
################
# More data... #
################
/proc/5015/task/5020/stat : 5020 (java) S 5013 5015 3797 0 -1 64 17 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5021] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5021/stat : 5021 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 18 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5022] ppid=5013 vsize=868364 CPUtime=1.97
/proc/5015/task/5022/stat : 5022 (java) S 5013 5015 3797 0 -1 64 1193 3570 0 0 43 1 149 4 17 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5023] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5023/stat : 5023 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 19 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5024] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5024/stat : 5024 (java) S 5013 5015 3797 0 -1 64 7 3570 0 0 0 0 149 4 15 0 9 0 1983773187 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1537.59
Current children cumulated vsize (KiB) 868364
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 5067
/proc/meminfo: memFree=1089464/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=868364 CPUtime=1597.58
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 83381 3570 1 0 159498 107 149 4 18 0 9 0 1983773181 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 217091 43765 2637 9 0 211597 0
[pid=5015/tid=5017] ppid=5013 vsize=868364 CPUtime=1595.87
/proc/5015/task/5017/stat : 5017 (java) R 5013 5015 3797 0 -1 64 34959 3570 1 0 159345 89 149 4 25 0 9 0 1983773183 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4126881137 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5018] ppid=5013 vsize=868364 CPUtime=2.75
/proc/5015/task/5018/stat : 5018 (java) S 5013 5015 3797 0 -1 64 46370 3570 0 0 109 13 149 4 16 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5019] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5019/stat : 5019 (java) S 5013 5015 3797 0 -1 64 20 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5020] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5020/stat : 5020 (java) S 5013 5015 3797 0 -1 64 17 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5021] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5021/stat : 5021 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 18 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5022] ppid=5013 vsize=868364 CPUtime=1.97
/proc/5015/task/5022/stat : 5022 (java) S 5013 5015 3797 0 -1 64 1193 3570 0 0 43 1 149 4 17 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5023] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5023/stat : 5023 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 19 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5024] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5024/stat : 5024 (java) S 5013 5015 3797 0 -1 64 7 3570 0 0 0 0 149 4 15 0 9 0 1983773187 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1597.58
Current children cumulated vsize (KiB) 868364
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/89 5067
/proc/meminfo: memFree=1089272/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=868364 CPUtime=1657.55
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 83381 3570 1 0 165495 107 149 4 18 0 9 0 1983773181 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 217091 43765 2637 9 0 211597 0
[pid=5015/tid=5017] ppid=5013 vsize=868364 CPUtime=1655.85
/proc/5015/task/5017/stat : 5017 (java) R 5013 5015 3797 0 -1 64 34959 3570 1 0 165342 90 149 4 25 0 9 0 1983773183 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4127334407 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5018] ppid=5013 vsize=868364 CPUtime=2.75
/proc/5015/task/5018/stat : 5018 (java) S 5013 5015 3797 0 -1 64 46370 3570 0 0 109 13 149 4 16 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5019] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5019/stat : 5019 (java) S 5013 5015 3797 0 -1 64 20 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5020] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5020/stat : 5020 (java) S 5013 5015 3797 0 -1 64 17 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5021] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5021/stat : 5021 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 18 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5022] ppid=5013 vsize=868364 CPUtime=1.97
/proc/5015/task/5022/stat : 5022 (java) S 5013 5015 3797 0 -1 64 1193 3570 0 0 43 1 149 4 17 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5023] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5023/stat : 5023 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 19 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5024] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5024/stat : 5024 (java) S 5013 5015 3797 0 -1 64 7 3570 0 0 0 0 149 4 15 0 9 0 1983773187 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1657.55
Current children cumulated vsize (KiB) 868364
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 5067
/proc/meminfo: memFree=1089272/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=868364 CPUtime=1717.52
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 83381 3570 1 0 171492 107 149 4 18 0 9 0 1983773181 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 217091 43765 2637 9 0 211597 0
[pid=5015/tid=5017] ppid=5013 vsize=868364 CPUtime=1715.82
/proc/5015/task/5017/stat : 5017 (java) R 5013 5015 3797 0 -1 64 34959 3570 1 0 171339 90 149 4 25 0 9 0 1983773183 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4127342554 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5018] ppid=5013 vsize=868364 CPUtime=2.75
/proc/5015/task/5018/stat : 5018 (java) S 5013 5015 3797 0 -1 64 46370 3570 0 0 109 13 149 4 16 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5019] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5019/stat : 5019 (java) S 5013 5015 3797 0 -1 64 20 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5020] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5020/stat : 5020 (java) S 5013 5015 3797 0 -1 64 17 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5021] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5021/stat : 5021 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 18 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5022] ppid=5013 vsize=868364 CPUtime=1.97
/proc/5015/task/5022/stat : 5022 (java) S 5013 5015 3797 0 -1 64 1193 3570 0 0 43 1 149 4 17 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5023] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5023/stat : 5023 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 19 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5024] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5024/stat : 5024 (java) S 5013 5015 3797 0 -1 64 7 3570 0 0 0 0 149 4 15 0 9 0 1983773187 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1717.52
Current children cumulated vsize (KiB) 868364
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/89 5067
/proc/meminfo: memFree=1089208/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=868364 CPUtime=1777.5
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 83381 3570 1 0 177490 107 149 4 18 0 9 0 1983773181 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 217091 43765 2637 9 0 211597 0
[pid=5015/tid=5017] ppid=5013 vsize=868364 CPUtime=1775.79
/proc/5015/task/5017/stat : 5017 (java) R 5013 5015 3797 0 -1 64 34959 3570 1 0 177336 90 149 4 25 0 9 0 1983773183 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4127335316 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5018] ppid=5013 vsize=868364 CPUtime=2.75
/proc/5015/task/5018/stat : 5018 (java) S 5013 5015 3797 0 -1 64 46370 3570 0 0 109 13 149 4 16 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5019] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5019/stat : 5019 (java) S 5013 5015 3797 0 -1 64 20 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5020] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5020/stat : 5020 (java) S 5013 5015 3797 0 -1 64 17 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5021] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5021/stat : 5021 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 18 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5022] ppid=5013 vsize=868364 CPUtime=1.97
/proc/5015/task/5022/stat : 5022 (java) S 5013 5015 3797 0 -1 64 1193 3570 0 0 43 1 149 4 17 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5023] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5023/stat : 5023 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 19 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5024] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5024/stat : 5024 (java) S 5013 5015 3797 0 -1 64 7 3570 0 0 0 0 149 4 15 0 9 0 1983773187 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1777.5
Current children cumulated vsize (KiB) 868364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 5067
/proc/meminfo: memFree=1089208/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=868364 CPUtime=1800.09
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 83381 3570 1 0 179749 107 149 4 18 0 9 0 1983773181 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 217091 43765 2637 9 0 211597 0
[pid=5015/tid=5017] ppid=5013 vsize=868364 CPUtime=1798.39
/proc/5015/task/5017/stat : 5017 (java) R 5013 5015 3797 0 -1 64 34959 3570 1 0 179596 90 149 4 25 0 9 0 1983773183 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4127343792 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5018] ppid=5013 vsize=868364 CPUtime=2.75
/proc/5015/task/5018/stat : 5018 (java) S 5013 5015 3797 0 -1 64 46370 3570 0 0 109 13 149 4 16 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5019] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5019/stat : 5019 (java) S 5013 5015 3797 0 -1 64 20 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5020] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5020/stat : 5020 (java) S 5013 5015 3797 0 -1 64 17 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5021] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5021/stat : 5021 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 18 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5022] ppid=5013 vsize=868364 CPUtime=1.97
/proc/5015/task/5022/stat : 5022 (java) S 5013 5015 3797 0 -1 64 1193 3570 0 0 43 1 149 4 17 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5023] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5023/stat : 5023 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 19 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5024] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5024/stat : 5024 (java) S 5013 5015 3797 0 -1 64 7 3570 0 0 0 0 149 4 15 0 9 0 1983773187 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 868364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1804.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 5067
/proc/meminfo: memFree=1089208/2055920 swapFree=4164432/4192956
[pid=5015] ppid=5013 vsize=868364 CPUtime=1800.09
/proc/5015/stat : 5015 (java) S 5013 5015 3797 0 -1 0 83381 3570 1 0 179749 107 149 4 18 0 9 0 1983773181 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5015/statm: 217091 43765 2637 9 0 211597 0
[pid=5015/tid=5017] ppid=5013 vsize=868364 CPUtime=1798.39
/proc/5015/task/5017/stat : 5017 (java) R 5013 5015 3797 0 -1 64 34959 3570 1 0 179596 90 149 4 25 0 9 0 1983773183 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4127343792 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5018] ppid=5013 vsize=868364 CPUtime=2.75
/proc/5015/task/5018/stat : 5018 (java) S 5013 5015 3797 0 -1 64 46370 3570 0 0 109 13 149 4 16 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5019] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5019/stat : 5019 (java) S 5013 5015 3797 0 -1 64 20 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5020] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5020/stat : 5020 (java) S 5013 5015 3797 0 -1 64 17 3570 0 0 0 0 149 4 15 0 9 0 1983773184 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5015/tid=5021] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5021/stat : 5021 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 18 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5022] ppid=5013 vsize=868364 CPUtime=1.97
/proc/5015/task/5022/stat : 5022 (java) S 5013 5015 3797 0 -1 64 1193 3570 0 0 43 1 149 4 17 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5023] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5023/stat : 5023 (java) S 5013 5015 3797 0 -1 64 1 3570 0 0 0 0 149 4 19 0 9 0 1983773186 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5015/tid=5024] ppid=5013 vsize=868364 CPUtime=1.53
/proc/5015/task/5024/stat : 5024 (java) S 5013 5015 3797 0 -1 64 7 3570 0 0 0 0 149 4 15 0 9 0 1983773187 889204736 43765 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 868364
Child status: 143
Real time (s): 1804.95
CPU time (s): 1800.15
CPU user time (s): 1799.01
CPU system time (s): 1.14283
CPU usage (%): 99.734
Max. virtual memory (cumulated for all children) (KiB): 885656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.14283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86982
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= 39100
involuntary context switches= 53969
runsolver used 2.15767 second user time and 6.06808 second system time
The end
Begin job on node22 at 2008-07-03 03:19:50
IDJOB=1050095
IDBENCH=54861
IDSOLVER=363
FILE ID=node22/1050095-1215047990
PBS_JOBID= 7875129
Free space on /tmp= 66548 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/pseudo/ttp/normalized-circ-8-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-1050095-1215047990/watcher-1050095-1215047990 -o /tmp/evaluation-result-1050095-1215047990/solver-1050095-1215047990 -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-1050095-1215047990.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a80e9ca6f14152a808d5210c0080ccc5
RANDOM SEED=1344914408
node22.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.267
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.267
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: 1456040 kB
Buffers: 73740 kB
Cached: 350068 kB
SwapCached: 22816 kB
Active: 252772 kB
Inactive: 271796 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1456040 kB
SwapTotal: 4192956 kB
SwapFree: 4164432 kB
Dirty: 5016 kB
Writeback: 0 kB
Mapped: 100980 kB
Slab: 60372 kB
Committed_AS: 3977564 kB
PageTables: 1948 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= 66536 MiB
End job on node22 at 2008-07-03 03:49:57