0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=esac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-1048668-1215043633.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.28/0.38 nbVariables=153 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3 nbTotalValues=459
0.28/0.38 => wckTime=0.149 cpuTime=0.14 mem=7M919
0.28/0.38
0.28/0.38 predicates being loaded...
0.38/0.46
0.38/0.46 constraints being loaded...
1.04/1.16 nbConstraints=833 nbGlobalConstraints=17 nbConflictsStructures=1 nbSharedConflictsStructures=815
1.04/1.16 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1 nbSharedEvaluationManagers=815 minDegree=17 maxDegree=20
1.04/1.16 minArity=3 avgArity=3.59 maxArity=32 nbGenerators=17 nbFusions=0 symmetryWckTime=0.15 symmetryCpuTime=0.08
1.04/1.16 => wckTime=0.931 cpuTime=0.67 mem=27M450
1.17/1.24
1.17/1.24 solver IterativeSystematicSolver being built...
1.27/1.34
1.27/1.34 INFO : Forward propagation technique limited
1.36/1.42 => wckTime=1.186 cpuTime=0.8 mem=26M878
1.36/1.49
1.36/1.49 preprocessing
1.36/1.49 nbConstraintChecks=1291 nbValidityChecks=121 nbPropagations=634 nbRevisions=536 nbUselessRevisions=215
1.36/1.49 nbSingletonTests=169 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
1.36/1.49 detectedInconsistency=no
1.36/1.49 => wckTime=0.071 cpuTime=0.05 mem=27M816
1.56/1.64
1.56/1.64 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=28M770)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1048668-1215043633/watcher-1048668-1215043633 -o /tmp/evaluation-result-1048668-1215043633/solver-1048668-1215043633 -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-1048668-1215043633.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.04 2.05 2.00 4/73 28501
/proc/meminfo: memFree=1886184/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=1616 CPUtime=0
/proc/28501/stat : 28501 (java) D 28499 28501 27421 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 1983337326 1654784 145 996147200 134512640 134550740 4294956144 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099937270 0 0 17 0 0 0
/proc/28501/statm: 404 145 119 9 0 46 0
[startup+0.0934509 s]
/proc/loadavg: 2.04 2.05 2.00 4/73 28501
/proc/meminfo: memFree=1886184/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=865884 CPUtime=0.08
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 3684 0 1 0 6 2 0 0 18 0 9 0 1983337326 886665216 3159 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 216471 3159 1681 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.101453 s]
/proc/loadavg: 2.04 2.05 2.00 4/73 28501
/proc/meminfo: memFree=1886184/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=865884 CPUtime=0.08
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 3793 0 1 0 6 2 0 0 18 0 9 0 1983337326 886665216 3244 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 216471 3244 1720 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.30147 s]
/proc/loadavg: 2.04 2.05 2.00 4/73 28501
/proc/meminfo: memFree=1886184/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=866128 CPUtime=0.28
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 5795 0 1 0 25 3 0 0 18 0 9 0 1983337326 886915072 5169 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 216532 5169 1952 9 0 211060 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866128
[startup+0.701506 s]
/proc/loadavg: 2.04 2.05 2.00 4/73 28501
/proc/meminfo: memFree=1886184/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=867100 CPUtime=0.68
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 7980 0 1 0 63 5 0 0 18 0 9 0 1983337326 887910400 7340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 216775 7340 2007 9 0 211281 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867100
[startup+1.50322 s]
/proc/loadavg: 2.04 2.05 2.00 3/82 28510
/proc/meminfo: memFree=1854240/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=868460 CPUtime=1.46
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 20631 270 1 0 128 14 4 0 18 0 10 0 1983337326 889303040 12500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 217115 12500 2633 9 0 211621 0
[pid=28501/tid=28503] ppid=28499 vsize=868460 CPUtime=1.11
/proc/28501/task/28503/stat : 28503 (java) R 28499 28501 27421 0 -1 64 14098 270 1 0 96 11 4 0 18 0 10 0 1983337327 889303040 12500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28504] ppid=28499 vsize=868460 CPUtime=0.1
/proc/28501/task/28504/stat : 28504 (java) S 28499 28501 27421 0 -1 64 4729 270 0 0 5 1 4 0 16 0 10 0 1983337328 889303040 12500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28505] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28505/stat : 28505 (java) S 28499 28501 27421 0 -1 64 16 270 0 0 0 0 4 0 16 0 10 0 1983337328 889303040 12500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28506] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28506/stat : 28506 (java) S 28499 28501 27421 0 -1 64 12 270 0 0 0 0 4 0 16 0 10 0 1983337328 889303040 12500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28507] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28507/stat : 28507 (java) S 28499 28501 27421 0 -1 64 1 270 0 0 0 0 4 0 18 0 10 0 1983337330 889303040 12500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28508] ppid=28499 vsize=868460 CPUtime=0.31
/proc/28501/task/28508/stat : 28508 (java) S 28499 28501 27421 0 -1 64 952 270 0 0 26 1 4 0 15 0 10 0 1983337330 889303040 12500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28509] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28509/stat : 28509 (java) S 28499 28501 27421 0 -1 64 1 270 0 0 0 0 4 0 19 0 10 0 1983337330 889303040 12500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28510] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28510/stat : 28510 (java) R 28499 28501 27421 0 -1 64 5 270 0 0 0 0 4 0 15 0 10 0 1983337331 889303040 12500 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 868460
[startup+3.10272 s]
/proc/loadavg: 2.04 2.05 2.00 3/82 28514
/proc/meminfo: memFree=1845408/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=868460 CPUtime=3.05
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 20845 395 1 0 286 15 4 0 18 0 9 0 1983337326 889303040 12711 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 217115 12711 2633 9 0 211621 0
[pid=28501/tid=28503] ppid=28499 vsize=868460 CPUtime=2.61
/proc/28501/task/28503/stat : 28503 (java) R 28499 28501 27421 0 -1 64 14261 395 1 0 246 11 4 0 25 0 9 0 1983337327 889303040 12711 996147200 134512640 134550740 4294955968 18446744073709551615 4127096836 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28504] ppid=28499 vsize=868460 CPUtime=0.1
/proc/28501/task/28504/stat : 28504 (java) S 28499 28501 27421 0 -1 64 4730 395 0 0 5 1 4 0 17 0 9 0 1983337328 889303040 12711 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28505] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28505/stat : 28505 (java) S 28499 28501 27421 0 -1 64 16 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12711 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28506] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28506/stat : 28506 (java) S 28499 28501 27421 0 -1 64 12 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12711 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28507] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28507/stat : 28507 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 18 0 9 0 1983337330 889303040 12711 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28508] ppid=28499 vsize=868460 CPUtime=0.39
/proc/28501/task/28508/stat : 28508 (java) S 28499 28501 27421 0 -1 64 1002 395 0 0 34 1 4 0 15 0 9 0 1983337330 889303040 12711 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28509] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28509/stat : 28509 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 19 0 9 0 1983337330 889303040 12711 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28510] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28510/stat : 28510 (java) S 28499 28501 27421 0 -1 64 5 395 0 0 0 0 4 0 15 0 9 0 1983337331 889303040 12711 996147200 134512640 134550740 4294955968 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) 868460
[startup+6.30198 s]
/proc/loadavg: 2.04 2.05 2.00 3/82 28514
/proc/meminfo: memFree=1845216/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=868460 CPUtime=6.22
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 20877 395 1 0 603 15 4 0 18 0 9 0 1983337326 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 217115 12714 2633 9 0 211621 0
[pid=28501/tid=28503] ppid=28499 vsize=868460 CPUtime=5.78
/proc/28501/task/28503/stat : 28503 (java) R 28499 28501 27421 0 -1 64 14263 395 1 0 563 11 4 0 25 0 9 0 1983337327 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4127161864 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28504] ppid=28499 vsize=868460 CPUtime=0.1
/proc/28501/task/28504/stat : 28504 (java) S 28499 28501 27421 0 -1 64 4730 395 0 0 5 1 4 0 16 0 9 0 1983337328 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28505] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28505/stat : 28505 (java) S 28499 28501 27421 0 -1 64 16 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28506] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28506/stat : 28506 (java) S 28499 28501 27421 0 -1 64 12 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28507] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28507/stat : 28507 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 18 0 9 0 1983337330 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28508] ppid=28499 vsize=868460 CPUtime=0.39
/proc/28501/task/28508/stat : 28508 (java) S 28499 28501 27421 0 -1 64 1005 395 0 0 34 1 4 0 15 0 9 0 1983337330 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28509] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28509/stat : 28509 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 19 0 9 0 1983337330 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28510] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28510/stat : 28510 (java) S 28499 28501 27421 0 -1 64 32 395 0 0 0 0 4 0 15 0 9 0 1983337331 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868460
[startup+12.7015 s]
/proc/loadavg: 2.04 2.05 2.00 3/82 28514
/proc/meminfo: memFree=1845088/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=868460 CPUtime=12.57
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 20879 395 1 0 1238 15 4 0 18 0 9 0 1983337326 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 217115 12714 2633 9 0 211621 0
[pid=28501/tid=28503] ppid=28499 vsize=868460 CPUtime=12.12
/proc/28501/task/28503/stat : 28503 (java) R 28499 28501 27421 0 -1 64 14264 395 1 0 1197 11 4 0 25 0 9 0 1983337327 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4127134139 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28504] ppid=28499 vsize=868460 CPUtime=0.1
/proc/28501/task/28504/stat : 28504 (java) S 28499 28501 27421 0 -1 64 4730 395 0 0 5 1 4 0 16 0 9 0 1983337328 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28505] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28505/stat : 28505 (java) S 28499 28501 27421 0 -1 64 16 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28506] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28506/stat : 28506 (java) S 28499 28501 27421 0 -1 64 12 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28507] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28507/stat : 28507 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 18 0 9 0 1983337330 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28508] ppid=28499 vsize=868460 CPUtime=0.39
/proc/28501/task/28508/stat : 28508 (java) S 28499 28501 27421 0 -1 64 1006 395 0 0 34 1 4 0 16 0 9 0 1983337330 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28509] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28509/stat : 28509 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 19 0 9 0 1983337330 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28510] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28510/stat : 28510 (java) S 28499 28501 27421 0 -1 64 32 395 0 0 0 0 4 0 15 0 9 0 1983337331 889303040 12714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 868460
[startup+25.5026 s]
/proc/loadavg: 2.03 2.05 2.00 3/82 28514
/proc/meminfo: memFree=1845152/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=868460 CPUtime=25.26
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 20881 395 1 0 2507 15 4 0 18 0 9 0 1983337326 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 217115 12715 2633 9 0 211621 0
[pid=28501/tid=28503] ppid=28499 vsize=868460 CPUtime=24.81
/proc/28501/task/28503/stat : 28503 (java) R 28499 28501 27421 0 -1 64 14265 395 1 0 2466 11 4 0 25 0 9 0 1983337327 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4127221440 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28504] ppid=28499 vsize=868460 CPUtime=0.1
/proc/28501/task/28504/stat : 28504 (java) S 28499 28501 27421 0 -1 64 4730 395 0 0 5 1 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28505] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28505/stat : 28505 (java) S 28499 28501 27421 0 -1 64 16 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28506] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28506/stat : 28506 (java) S 28499 28501 27421 0 -1 64 12 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28507] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28507/stat : 28507 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 18 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28508] ppid=28499 vsize=868460 CPUtime=0.39
/proc/28501/task/28508/stat : 28508 (java) S 28499 28501 27421 0 -1 64 1007 395 0 0 34 1 4 0 16 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28509] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28509/stat : 28509 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 19 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28510] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28510/stat : 28510 (java) S 28499 28501 27421 0 -1 64 32 395 0 0 0 0 4 0 15 0 9 0 1983337331 889303040 12715 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) 868460
[startup+51.1028 s]
/proc/loadavg: 2.02 2.04 2.00 3/82 28514
/proc/meminfo: memFree=1845216/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=868460 CPUtime=50.64
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 20881 395 1 0 5045 15 4 0 18 0 9 0 1983337326 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 217115 12715 2633 9 0 211621 0
[pid=28501/tid=28503] ppid=28499 vsize=868460 CPUtime=50.2
/proc/28501/task/28503/stat : 28503 (java) R 28499 28501 27421 0 -1 64 14265 395 1 0 5005 11 4 0 25 0 9 0 1983337327 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4127095026 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28504] ppid=28499 vsize=868460 CPUtime=0.1
/proc/28501/task/28504/stat : 28504 (java) S 28499 28501 27421 0 -1 64 4730 395 0 0 5 1 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28505] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28505/stat : 28505 (java) S 28499 28501 27421 0 -1 64 16 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28506] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28506/stat : 28506 (java) S 28499 28501 27421 0 -1 64 12 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28507] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28507/stat : 28507 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 18 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28508] ppid=28499 vsize=868460 CPUtime=0.39
/proc/28501/task/28508/stat : 28508 (java) S 28499 28501 27421 0 -1 64 1007 395 0 0 34 1 4 0 16 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28509] ppid=28499 vsize=868460 CPUtime=0.04
################
# More data... #
################
/proc/28501/task/28506/stat : 28506 (java) S 28499 28501 27421 0 -1 64 12 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28507] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28507/stat : 28507 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 18 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28508] ppid=28499 vsize=868460 CPUtime=0.39
/proc/28501/task/28508/stat : 28508 (java) S 28499 28501 27421 0 -1 64 1007 395 0 0 34 1 4 0 16 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28509] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28509/stat : 28509 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 19 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28510] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28510/stat : 28510 (java) S 28499 28501 27421 0 -1 64 32 395 0 0 0 0 4 0 15 0 9 0 1983337331 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.23
Current children cumulated vsize (KiB) 868460
[startup+1602.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/90 28568
/proc/meminfo: memFree=1766120/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=868460 CPUtime=1588.94
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 20882 395 1 0 158865 25 4 0 18 0 9 0 1983337326 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 217115 12715 2633 9 0 211621 0
[pid=28501/tid=28503] ppid=28499 vsize=868460 CPUtime=1588.49
/proc/28501/task/28503/stat : 28503 (java) R 28499 28501 27421 0 -1 64 14266 395 1 0 158824 21 4 0 25 0 9 0 1983337327 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4126962817 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28501/tid=28504] ppid=28499 vsize=868460 CPUtime=0.1
/proc/28501/task/28504/stat : 28504 (java) S 28499 28501 27421 0 -1 64 4730 395 0 0 5 1 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28505] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28505/stat : 28505 (java) S 28499 28501 27421 0 -1 64 16 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28506] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28506/stat : 28506 (java) S 28499 28501 27421 0 -1 64 12 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28507] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28507/stat : 28507 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 18 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28508] ppid=28499 vsize=868460 CPUtime=0.39
/proc/28501/task/28508/stat : 28508 (java) S 28499 28501 27421 0 -1 64 1007 395 0 0 34 1 4 0 16 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28509] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28509/stat : 28509 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 19 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28510] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28510/stat : 28510 (java) S 28499 28501 27421 0 -1 64 32 395 0 0 0 0 4 0 15 0 9 0 1983337331 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.94
Current children cumulated vsize (KiB) 868460
[startup+1662.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/90 28568
/proc/meminfo: memFree=1759144/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=868460 CPUtime=1648.91
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 20882 395 1 0 164862 25 4 0 18 0 9 0 1983337326 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 217115 12715 2633 9 0 211621 0
[pid=28501/tid=28503] ppid=28499 vsize=868460 CPUtime=1648.46
/proc/28501/task/28503/stat : 28503 (java) R 28499 28501 27421 0 -1 64 14266 395 1 0 164821 21 4 0 25 0 9 0 1983337327 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4127095026 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28501/tid=28504] ppid=28499 vsize=868460 CPUtime=0.1
/proc/28501/task/28504/stat : 28504 (java) S 28499 28501 27421 0 -1 64 4730 395 0 0 5 1 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28505] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28505/stat : 28505 (java) S 28499 28501 27421 0 -1 64 16 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28506] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28506/stat : 28506 (java) S 28499 28501 27421 0 -1 64 12 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28507] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28507/stat : 28507 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 18 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28508] ppid=28499 vsize=868460 CPUtime=0.39
/proc/28501/task/28508/stat : 28508 (java) S 28499 28501 27421 0 -1 64 1007 395 0 0 34 1 4 0 16 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28509] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28509/stat : 28509 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 19 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28510] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28510/stat : 28510 (java) S 28499 28501 27421 0 -1 64 32 395 0 0 0 0 4 0 15 0 9 0 1983337331 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.91
Current children cumulated vsize (KiB) 868460
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/90 28568
/proc/meminfo: memFree=1759144/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=868460 CPUtime=1708.88
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 20882 395 1 0 170859 25 4 0 18 0 9 0 1983337326 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 217115 12715 2633 9 0 211621 0
[pid=28501/tid=28503] ppid=28499 vsize=868460 CPUtime=1708.44
/proc/28501/task/28503/stat : 28503 (java) R 28499 28501 27421 0 -1 64 14266 395 1 0 170819 21 4 0 25 0 9 0 1983337327 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4127100720 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28501/tid=28504] ppid=28499 vsize=868460 CPUtime=0.1
/proc/28501/task/28504/stat : 28504 (java) S 28499 28501 27421 0 -1 64 4730 395 0 0 5 1 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28505] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28505/stat : 28505 (java) S 28499 28501 27421 0 -1 64 16 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28506] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28506/stat : 28506 (java) S 28499 28501 27421 0 -1 64 12 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28507] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28507/stat : 28507 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 18 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28508] ppid=28499 vsize=868460 CPUtime=0.39
/proc/28501/task/28508/stat : 28508 (java) S 28499 28501 27421 0 -1 64 1007 395 0 0 34 1 4 0 16 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28509] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28509/stat : 28509 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 19 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28510] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28510/stat : 28510 (java) S 28499 28501 27421 0 -1 64 32 395 0 0 0 0 4 0 15 0 9 0 1983337331 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.88
Current children cumulated vsize (KiB) 868460
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/90 28568
/proc/meminfo: memFree=1758888/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=868460 CPUtime=1768.86
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 20882 395 1 0 176857 25 4 0 18 0 9 0 1983337326 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 217115 12715 2633 9 0 211621 0
[pid=28501/tid=28503] ppid=28499 vsize=868460 CPUtime=1768.42
/proc/28501/task/28503/stat : 28503 (java) R 28499 28501 27421 0 -1 64 14266 395 1 0 176817 21 4 0 25 0 9 0 1983337327 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4127131419 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28501/tid=28504] ppid=28499 vsize=868460 CPUtime=0.1
/proc/28501/task/28504/stat : 28504 (java) S 28499 28501 27421 0 -1 64 4730 395 0 0 5 1 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28505] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28505/stat : 28505 (java) S 28499 28501 27421 0 -1 64 16 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28506] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28506/stat : 28506 (java) S 28499 28501 27421 0 -1 64 12 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28507] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28507/stat : 28507 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 18 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28508] ppid=28499 vsize=868460 CPUtime=0.39
/proc/28501/task/28508/stat : 28508 (java) S 28499 28501 27421 0 -1 64 1007 395 0 0 34 1 4 0 16 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28509] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28509/stat : 28509 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 19 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28510] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28510/stat : 28510 (java) S 28499 28501 27421 0 -1 64 32 395 0 0 0 0 4 0 15 0 9 0 1983337331 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.86
Current children cumulated vsize (KiB) 868460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/90 28568
/proc/meminfo: memFree=1758888/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=868460 CPUtime=1800.05
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 20882 395 1 0 179976 25 4 0 18 0 9 0 1983337326 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 217115 12715 2633 9 0 211621 0
[pid=28501/tid=28503] ppid=28499 vsize=868460 CPUtime=1799.61
/proc/28501/task/28503/stat : 28503 (java) R 28499 28501 27421 0 -1 64 14266 395 1 0 179936 21 4 0 25 0 9 0 1983337327 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4125952098 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28501/tid=28504] ppid=28499 vsize=868460 CPUtime=0.1
/proc/28501/task/28504/stat : 28504 (java) S 28499 28501 27421 0 -1 64 4730 395 0 0 5 1 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28505] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28505/stat : 28505 (java) S 28499 28501 27421 0 -1 64 16 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28506] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28506/stat : 28506 (java) S 28499 28501 27421 0 -1 64 12 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28507] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28507/stat : 28507 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 18 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28508] ppid=28499 vsize=868460 CPUtime=0.39
/proc/28501/task/28508/stat : 28508 (java) S 28499 28501 27421 0 -1 64 1007 395 0 0 34 1 4 0 16 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28509] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28509/stat : 28509 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 19 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28510] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28510/stat : 28510 (java) S 28499 28501 27421 0 -1 64 32 395 0 0 0 0 4 0 15 0 9 0 1983337331 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 868460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1813.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/90 28568
/proc/meminfo: memFree=1758888/2055920 swapFree=4180076/4192956
[pid=28501] ppid=28499 vsize=868460 CPUtime=1800.05
/proc/28501/stat : 28501 (java) S 28499 28501 27421 0 -1 0 20882 395 1 0 179976 25 4 0 18 0 9 0 1983337326 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28501/statm: 217115 12715 2633 9 0 211621 0
[pid=28501/tid=28503] ppid=28499 vsize=868460 CPUtime=1799.61
/proc/28501/task/28503/stat : 28503 (java) R 28499 28501 27421 0 -1 64 14266 395 1 0 179936 21 4 0 25 0 9 0 1983337327 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4125952098 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28501/tid=28504] ppid=28499 vsize=868460 CPUtime=0.1
/proc/28501/task/28504/stat : 28504 (java) S 28499 28501 27421 0 -1 64 4730 395 0 0 5 1 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28505] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28505/stat : 28505 (java) S 28499 28501 27421 0 -1 64 16 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28506] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28506/stat : 28506 (java) S 28499 28501 27421 0 -1 64 12 395 0 0 0 0 4 0 16 0 9 0 1983337328 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28507] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28507/stat : 28507 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 18 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28508] ppid=28499 vsize=868460 CPUtime=0.39
/proc/28501/task/28508/stat : 28508 (java) S 28499 28501 27421 0 -1 64 1007 395 0 0 34 1 4 0 16 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28509] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28509/stat : 28509 (java) S 28499 28501 27421 0 -1 64 1 395 0 0 0 0 4 0 19 0 9 0 1983337330 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28501/tid=28510] ppid=28499 vsize=868460 CPUtime=0.04
/proc/28501/task/28510/stat : 28510 (java) S 28499 28501 27421 0 -1 64 32 395 0 0 0 0 4 0 15 0 9 0 1983337331 889303040 12715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 868460
Child status: 143
Real time (s): 1813.56
CPU time (s): 1800.12
CPU user time (s): 1799.85
CPU system time (s): 0.269958
CPU usage (%): 99.2592
Max. virtual memory (cumulated for all children) (KiB): 868460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.269958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21311
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= 37942
involuntary context switches= 66339
runsolver used 2.42163 second user time and 5.83411 second system time
The end
Begin job on node31 at 2008-07-03 02:07:13
IDJOB=1048668
IDBENCH=54434
IDSOLVER=364
FILE ID=node31/1048668-1215043633
PBS_JOBID= 7875112
Free space on /tmp= 66548 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/ramsey3/normalized-ramsey-18-3.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-1048668-1215043633/watcher-1048668-1215043633 -o /tmp/evaluation-result-1048668-1215043633/solver-1048668-1215043633 -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-1048668-1215043633.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 14ec6612041bf1bae6341e725eab1bfc
RANDOM SEED=1214075510
node31.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.232
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.232
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: 1886664 kB
Buffers: 7032 kB
Cached: 94132 kB
SwapCached: 5732 kB
Active: 59824 kB
Inactive: 55180 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1886664 kB
SwapTotal: 4192956 kB
SwapFree: 4180076 kB
Dirty: 2144 kB
Writeback: 0 kB
Mapped: 20620 kB
Slab: 39136 kB
Committed_AS: 2984168 kB
PageTables: 1936 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66540 MiB
End job on node31 at 2008-07-03 02:37:29