0.07/0.09
0.07/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1090886-1215272402.xml
0.27/0.33
0.27/0.33 domains being loaded...
0.27/0.34
0.27/0.34 variables being loaded...
0.57/0.60 nbVariables=1406 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=7030
0.57/0.60 => wckTime=0.362 cpuTime=0.27 mem=12M795
0.57/0.60
0.57/0.60 predicates being loaded...
0.57/0.69
0.57/0.69 constraints being loaded...
3.95/4.01 nbConstraints=9697 nbGlobalConstraints=2 nbConvertedConstraints=9695 nbConvertConstraintsChecks=50
3.95/4.01 nbExtensionStructures=2 nbSharedExtensionStructures=9693 nbConflictsStructures=2
3.95/4.01 nbSharedConflictsStructures=9693 nbSharedBinaryRepresentations=5 minDegree=6 maxDegree=281 minArity=2
3.95/4.01 avgArity=2.26 maxArity=1250 nbGenerators=2 nbFusions=1 symmetryWckTime=1.745 symmetryCpuTime=1.36
3.95/4.01 => wckTime=3.767 cpuTime=3.05 mem=56M750
4.04/4.14
4.04/4.14 solver IterativeSystematicSolver being built...
4.15/4.21
4.15/4.21 INFO : Forward propagation technique limited
4.24/4.34 => wckTime=4.095 cpuTime=3.21 mem=34M932
5.34/5.48
5.34/5.48 preprocessing
5.34/5.48 nbConstraintChecks=71208 nbPropagations=10614 nbRevisions=19291 nbUselessRevisions=11487 nbSingletonTests=1531
5.34/5.48 nbEffectiveSingletonTests=0 nbACRemovals=3 nbFoundSingletons=0 nbRemovedValues=3 nbRemovedTuples=10
5.34/5.48 detectedInconsistency=no
5.34/5.48 => wckTime=1.138 cpuTime=1.08 mem=35M921
749.82/750.49
749.82/750.49 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=53M460)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1090886-1215272402/watcher-1090886-1215272402 -o /tmp/evaluation-result-1090886-1215272402/solver-1090886-1215272402 -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-1090886-1215272402.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.00 2.00 2.00 4/72 3121
/proc/meminfo: memFree=1693952/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=1616 CPUtime=0
/proc/3121/stat : 3121 (java) D 3119 3121 881 0 -1 0 347 0 0 0 0 0 0 0 18 0 1 0 2006208942 1654784 151 996147200 134512640 134550740 4294955968 18446744073709551615 7205668 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/3121/statm: 404 151 125 9 0 46 0
[pid=3121/tid=3122] ppid=3119 vsize=10616 CPUtime=0
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 2006208944 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 8052696 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0836171 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 3121
/proc/meminfo: memFree=1693952/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=865856 CPUtime=0.07
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 3518 0 1 0 5 2 0 0 18 0 9 0 2006208942 886636544 3008 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 216464 3008 1625 9 0 211026 0
[pid=3121/tid=3122] ppid=3119 vsize=865856 CPUtime=0.05
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 2616 0 1 0 4 1 0 0 18 0 9 0 2006208944 886636544 3008 996147200 134512640 134550740 4294955968 18446744073709551615 104252402 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856
[startup+0.102619 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 3121
/proc/meminfo: memFree=1693952/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=865884 CPUtime=0.08
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 3746 0 1 0 6 2 0 0 18 0 9 0 2006208942 886665216 3204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 216471 3204 1699 9 0 211026 0
[pid=3121/tid=3122] ppid=3119 vsize=865884 CPUtime=0.07
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 2844 0 1 0 6 1 0 0 18 0 9 0 2006208944 886665216 3204 996147200 134512640 134550740 4294955968 18446744073709551615 4125978909 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301645 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 3121
/proc/meminfo: memFree=1693952/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=866128 CPUtime=0.27
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 5726 0 1 0 24 3 0 0 18 0 9 0 2006208942 886915072 5100 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 216532 5100 1950 9 0 211060 0
[pid=3121/tid=3122] ppid=3119 vsize=866128 CPUtime=0.24
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 4801 0 1 0 22 2 0 0 18 0 9 0 2006208944 886915072 5100 996147200 134512640 134550740 4294955968 18446744073709551615 104177460 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866128
[startup+0.701699 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 3121
/proc/meminfo: memFree=1693952/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=867040 CPUtime=0.68
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 8524 0 1 0 63 5 0 0 18 0 9 0 2006208942 887848960 7884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 216760 7884 2007 9 0 211266 0
[pid=3121/tid=3122] ppid=3119 vsize=867040 CPUtime=0.55
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 7332 0 1 0 51 4 0 0 20 0 9 0 2006208944 887848960 7884 996147200 134512640 134550740 4294955968 18446744073709551615 4126583015 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867040
[startup+1.50281 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 3130
/proc/meminfo: memFree=1657848/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=867652 CPUtime=1.47
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 15657 0 1 0 131 16 0 0 18 0 9 0 2006208942 888475648 15014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 216913 15014 2015 9 0 211419 0
[pid=3121/tid=3122] ppid=3119 vsize=867652 CPUtime=1.23
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 14241 0 1 0 109 14 0 0 25 0 9 0 2006208944 888475648 15014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3124] ppid=3119 vsize=867652 CPUtime=0
/proc/3121/task/3124/stat : 3124 (java) S 3119 3121 881 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 2006208945 888475648 15014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3125] ppid=3119 vsize=867652 CPUtime=0
/proc/3121/task/3125/stat : 3125 (java) S 3119 3121 881 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 2006208946 888475648 15014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3126] ppid=3119 vsize=867652 CPUtime=0
/proc/3121/task/3126/stat : 3126 (java) S 3119 3121 881 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2006208946 888475648 15014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3127] ppid=3119 vsize=867652 CPUtime=0
/proc/3121/task/3127/stat : 3127 (java) S 3119 3121 881 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2006208948 888475648 15014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3128] ppid=3119 vsize=867652 CPUtime=0.21
/proc/3121/task/3128/stat : 3128 (java) S 3119 3121 881 0 -1 64 719 0 0 0 21 0 0 0 16 0 9 0 2006208948 888475648 15014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3129] ppid=3119 vsize=867652 CPUtime=0
/proc/3121/task/3129/stat : 3129 (java) S 3119 3121 881 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2006208948 888475648 15014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3130] ppid=3119 vsize=867652 CPUtime=0
/proc/3121/task/3130/stat : 3130 (java) S 3119 3121 881 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006208948 888475648 15014 996147200 134512640 134550740 4294955968 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) 867652
[startup+3.10103 s]
/proc/loadavg: 2.08 2.02 2.01 3/81 3130
/proc/meminfo: memFree=1627704/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=867884 CPUtime=3.05
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 29084 918 1 0 230 51 22 2 18 0 9 0 2006208942 888713216 18489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 216971 18489 2016 9 0 211499 0
[pid=3121/tid=3122] ppid=3119 vsize=867884 CPUtime=2.67
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 25371 918 1 0 196 47 22 2 24 0 9 0 2006208944 888713216 18489 996147200 134512640 134550740 4294955968 18446744073709551615 4126839634 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3124] ppid=3119 vsize=867884 CPUtime=0.32
/proc/3121/task/3124/stat : 3124 (java) S 3119 3121 881 0 -1 64 1928 918 0 0 8 0 22 2 17 0 9 0 2006208945 888713216 18489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3125] ppid=3119 vsize=867884 CPUtime=0.24
/proc/3121/task/3125/stat : 3125 (java) S 3119 3121 881 0 -1 64 12 918 0 0 0 0 22 2 16 0 9 0 2006208946 888713216 18489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3126] ppid=3119 vsize=867884 CPUtime=0.24
/proc/3121/task/3126/stat : 3126 (java) S 3119 3121 881 0 -1 64 5 918 0 0 0 0 22 2 16 0 9 0 2006208946 888713216 18489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3127] ppid=3119 vsize=867884 CPUtime=0.24
/proc/3121/task/3127/stat : 3127 (java) S 3119 3121 881 0 -1 64 1 918 0 0 0 0 22 2 18 0 9 0 2006208948 888713216 18489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3128] ppid=3119 vsize=867884 CPUtime=0.5
/proc/3121/task/3128/stat : 3128 (java) S 3119 3121 881 0 -1 64 950 918 0 0 25 1 22 2 16 0 9 0 2006208948 888713216 18489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3129] ppid=3119 vsize=867884 CPUtime=0.24
/proc/3121/task/3129/stat : 3129 (java) S 3119 3121 881 0 -1 64 2 918 0 0 0 0 22 2 19 0 9 0 2006208948 888713216 18489 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3130] ppid=3119 vsize=867884 CPUtime=0.24
/proc/3121/task/3130/stat : 3130 (java) S 3119 3121 881 0 -1 64 10 918 0 0 0 0 22 2 15 0 9 0 2006208948 888713216 18489 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) 867884
[startup+6.30146 s]
/proc/loadavg: 2.08 2.02 2.01 3/81 3134
/proc/meminfo: memFree=1613048/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=868116 CPUtime=6.23
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 39794 918 1 0 544 55 22 2 18 0 9 0 2006208942 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 217029 22656 2637 9 0 211535 0
[pid=3121/tid=3122] ppid=3119 vsize=868116 CPUtime=5.55
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 29644 918 1 0 482 49 22 2 25 0 9 0 2006208944 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4127206217 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3124] ppid=3119 vsize=868116 CPUtime=0.53
/proc/3121/task/3124/stat : 3124 (java) S 3119 3121 881 0 -1 64 8242 918 0 0 27 2 22 2 17 0 9 0 2006208945 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3125] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3125/stat : 3125 (java) S 3119 3121 881 0 -1 64 14 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3126] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3126/stat : 3126 (java) S 3119 3121 881 0 -1 64 8 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3127] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3127/stat : 3127 (java) S 3119 3121 881 0 -1 64 1 918 0 0 0 0 22 2 18 0 9 0 2006208948 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3128] ppid=3119 vsize=868116 CPUtime=0.58
/proc/3121/task/3128/stat : 3128 (java) S 3119 3121 881 0 -1 64 1038 918 0 0 33 1 22 2 15 0 9 0 2006208948 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3129] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3129/stat : 3129 (java) S 3119 3121 881 0 -1 64 2 918 0 0 0 0 22 2 19 0 9 0 2006208948 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3130] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3130/stat : 3130 (java) S 3119 3121 881 0 -1 64 40 918 0 0 0 0 22 2 15 0 9 0 2006208948 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 868116
[startup+12.7013 s]
/proc/loadavg: 2.07 2.02 2.00 3/81 3134
/proc/meminfo: memFree=1612792/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=868116 CPUtime=12.57
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 39794 918 1 0 1178 55 22 2 18 0 9 0 2006208942 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 217029 22656 2637 9 0 211535 0
[pid=3121/tid=3122] ppid=3119 vsize=868116 CPUtime=11.89
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 29644 918 1 0 1116 49 22 2 25 0 9 0 2006208944 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4127206217 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3124] ppid=3119 vsize=868116 CPUtime=0.53
/proc/3121/task/3124/stat : 3124 (java) S 3119 3121 881 0 -1 64 8242 918 0 0 27 2 22 2 16 0 9 0 2006208945 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3125] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3125/stat : 3125 (java) S 3119 3121 881 0 -1 64 14 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3126] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3126/stat : 3126 (java) S 3119 3121 881 0 -1 64 8 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3127] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3127/stat : 3127 (java) S 3119 3121 881 0 -1 64 1 918 0 0 0 0 22 2 18 0 9 0 2006208948 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3128] ppid=3119 vsize=868116 CPUtime=0.58
/proc/3121/task/3128/stat : 3128 (java) S 3119 3121 881 0 -1 64 1038 918 0 0 33 1 22 2 15 0 9 0 2006208948 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3129] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3129/stat : 3129 (java) S 3119 3121 881 0 -1 64 2 918 0 0 0 0 22 2 19 0 9 0 2006208948 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3130] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3130/stat : 3130 (java) S 3119 3121 881 0 -1 64 40 918 0 0 0 0 22 2 15 0 9 0 2006208948 888950784 22656 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) 868116
[startup+25.5021 s]
/proc/loadavg: 2.06 2.02 2.00 3/81 3134
/proc/meminfo: memFree=1612920/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=868116 CPUtime=25.26
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 39794 918 1 0 2447 55 22 2 18 0 9 0 2006208942 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 217029 22656 2637 9 0 211535 0
[pid=3121/tid=3122] ppid=3119 vsize=868116 CPUtime=24.58
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 29644 918 1 0 2385 49 22 2 25 0 9 0 2006208944 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4127206233 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3124] ppid=3119 vsize=868116 CPUtime=0.53
/proc/3121/task/3124/stat : 3124 (java) S 3119 3121 881 0 -1 64 8242 918 0 0 27 2 22 2 16 0 9 0 2006208945 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3125] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3125/stat : 3125 (java) S 3119 3121 881 0 -1 64 14 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3126] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3126/stat : 3126 (java) S 3119 3121 881 0 -1 64 8 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3127] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3127/stat : 3127 (java) S 3119 3121 881 0 -1 64 1 918 0 0 0 0 22 2 18 0 9 0 2006208948 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3128] ppid=3119 vsize=868116 CPUtime=0.58
/proc/3121/task/3128/stat : 3128 (java) S 3119 3121 881 0 -1 64 1038 918 0 0 33 1 22 2 15 0 9 0 2006208948 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3129] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3129/stat : 3129 (java) S 3119 3121 881 0 -1 64 2 918 0 0 0 0 22 2 19 0 9 0 2006208948 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3130] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3130/stat : 3130 (java) S 3119 3121 881 0 -1 64 40 918 0 0 0 0 22 2 15 0 9 0 2006208948 888950784 22656 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) 868116
[startup+51.1025 s]
/proc/loadavg: 2.04 2.02 2.00 3/90 3486
/proc/meminfo: memFree=1594400/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=868116 CPUtime=50.81
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 39794 918 1 0 4999 58 22 2 18 0 9 0 2006208942 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 217029 22656 2637 9 0 211535 0
[pid=3121/tid=3122] ppid=3119 vsize=868116 CPUtime=50.13
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 29644 918 1 0 4937 52 22 2 25 0 9 0 2006208944 888950784 22656 996147200 134512640 134550740 4294955968 18446744073709551615 4127206241 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3121/tid=3124] ppid=3119 vsize=868116 CPUtime=0.53
################
# More data... #
################
/proc/3121/task/3126/stat : 3126 (java) S 3119 3121 881 0 -1 64 8 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3127] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3127/stat : 3127 (java) S 3119 3121 881 0 -1 64 1 918 0 0 0 0 22 2 18 0 9 0 2006208948 888950784 22677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3128] ppid=3119 vsize=868116 CPUtime=0.63
/proc/3121/task/3128/stat : 3128 (java) S 3119 3121 881 0 -1 64 1075 918 0 0 38 1 22 2 17 0 9 0 2006208948 888950784 22677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3121/tid=3129] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3129/stat : 3129 (java) S 3119 3121 881 0 -1 64 2 918 0 0 0 0 22 2 19 0 9 0 2006208948 888950784 22677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3130] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3130/stat : 3130 (java) S 3119 3121 881 0 -1 64 40 918 0 0 0 0 22 2 15 0 9 0 2006208948 888950784 22677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.44
Current children cumulated vsize (KiB) 868116
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/90 3494
/proc/meminfo: memFree=1593120/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=868116 CPUtime=1541.41
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 39854 918 1 0 154056 61 22 2 18 0 9 0 2006208942 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 217029 22678 2637 9 0 211535 0
[pid=3121/tid=3122] ppid=3119 vsize=868116 CPUtime=1540.69
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 29666 918 1 0 153990 55 22 2 25 0 9 0 2006208944 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4127205426 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3121/tid=3124] ppid=3119 vsize=868116 CPUtime=0.53
/proc/3121/task/3124/stat : 3124 (java) S 3119 3121 881 0 -1 64 8242 918 0 0 27 2 22 2 16 0 9 0 2006208945 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3125] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3125/stat : 3125 (java) S 3119 3121 881 0 -1 64 14 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3126] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3126/stat : 3126 (java) S 3119 3121 881 0 -1 64 8 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3127] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3127/stat : 3127 (java) S 3119 3121 881 0 -1 64 1 918 0 0 0 0 22 2 18 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3128] ppid=3119 vsize=868116 CPUtime=0.63
/proc/3121/task/3128/stat : 3128 (java) S 3119 3121 881 0 -1 64 1076 918 0 0 38 1 22 2 16 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3121/tid=3129] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3129/stat : 3129 (java) S 3119 3121 881 0 -1 64 2 918 0 0 0 0 22 2 19 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3130] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3130/stat : 3130 (java) S 3119 3121 881 0 -1 64 40 918 0 0 0 0 22 2 15 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.41
Current children cumulated vsize (KiB) 868116
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/90 3494
/proc/meminfo: memFree=1593056/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=868116 CPUtime=1601.39
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 39854 918 1 0 160054 61 22 2 18 0 9 0 2006208942 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 217029 22678 2637 9 0 211535 0
[pid=3121/tid=3122] ppid=3119 vsize=868116 CPUtime=1600.67
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 29666 918 1 0 159988 55 22 2 25 0 9 0 2006208944 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4125952094 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3121/tid=3124] ppid=3119 vsize=868116 CPUtime=0.53
/proc/3121/task/3124/stat : 3124 (java) S 3119 3121 881 0 -1 64 8242 918 0 0 27 2 22 2 16 0 9 0 2006208945 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3125] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3125/stat : 3125 (java) S 3119 3121 881 0 -1 64 14 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3126] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3126/stat : 3126 (java) S 3119 3121 881 0 -1 64 8 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3127] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3127/stat : 3127 (java) S 3119 3121 881 0 -1 64 1 918 0 0 0 0 22 2 18 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3128] ppid=3119 vsize=868116 CPUtime=0.63
/proc/3121/task/3128/stat : 3128 (java) S 3119 3121 881 0 -1 64 1076 918 0 0 38 1 22 2 16 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3121/tid=3129] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3129/stat : 3129 (java) S 3119 3121 881 0 -1 64 2 918 0 0 0 0 22 2 19 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3130] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3130/stat : 3130 (java) S 3119 3121 881 0 -1 64 40 918 0 0 0 0 22 2 15 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.39
Current children cumulated vsize (KiB) 868116
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/90 3494
/proc/meminfo: memFree=1593056/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=868116 CPUtime=1661.36
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 39854 918 1 0 166051 61 22 2 18 0 9 0 2006208942 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 217029 22678 2637 9 0 211535 0
[pid=3121/tid=3122] ppid=3119 vsize=868116 CPUtime=1660.64
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 29666 918 1 0 165985 55 22 2 25 0 9 0 2006208944 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4126375703 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3121/tid=3124] ppid=3119 vsize=868116 CPUtime=0.53
/proc/3121/task/3124/stat : 3124 (java) S 3119 3121 881 0 -1 64 8242 918 0 0 27 2 22 2 16 0 9 0 2006208945 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3125] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3125/stat : 3125 (java) S 3119 3121 881 0 -1 64 14 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3126] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3126/stat : 3126 (java) S 3119 3121 881 0 -1 64 8 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3127] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3127/stat : 3127 (java) S 3119 3121 881 0 -1 64 1 918 0 0 0 0 22 2 18 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3128] ppid=3119 vsize=868116 CPUtime=0.63
/proc/3121/task/3128/stat : 3128 (java) S 3119 3121 881 0 -1 64 1076 918 0 0 38 1 22 2 16 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3121/tid=3129] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3129/stat : 3129 (java) S 3119 3121 881 0 -1 64 2 918 0 0 0 0 22 2 19 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3130] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3130/stat : 3130 (java) S 3119 3121 881 0 -1 64 40 918 0 0 0 0 22 2 15 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.36
Current children cumulated vsize (KiB) 868116
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 3494
/proc/meminfo: memFree=1592992/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=868116 CPUtime=1721.34
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 39854 918 1 0 172049 61 22 2 18 0 9 0 2006208942 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 217029 22678 2637 9 0 211535 0
[pid=3121/tid=3122] ppid=3119 vsize=868116 CPUtime=1720.62
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 29666 918 1 0 171983 55 22 2 25 0 9 0 2006208944 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4127205420 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3121/tid=3124] ppid=3119 vsize=868116 CPUtime=0.53
/proc/3121/task/3124/stat : 3124 (java) S 3119 3121 881 0 -1 64 8242 918 0 0 27 2 22 2 16 0 9 0 2006208945 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3125] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3125/stat : 3125 (java) S 3119 3121 881 0 -1 64 14 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3126] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3126/stat : 3126 (java) S 3119 3121 881 0 -1 64 8 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3127] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3127/stat : 3127 (java) S 3119 3121 881 0 -1 64 1 918 0 0 0 0 22 2 18 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3128] ppid=3119 vsize=868116 CPUtime=0.63
/proc/3121/task/3128/stat : 3128 (java) S 3119 3121 881 0 -1 64 1076 918 0 0 38 1 22 2 16 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3121/tid=3129] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3129/stat : 3129 (java) S 3119 3121 881 0 -1 64 2 918 0 0 0 0 22 2 19 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3130] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3130/stat : 3130 (java) S 3119 3121 881 0 -1 64 40 918 0 0 0 0 22 2 15 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.34
Current children cumulated vsize (KiB) 868116
[startup+1782.3 s]
/proc/loadavg: 2.38 2.10 2.03 3/90 3494
/proc/meminfo: memFree=1592864/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=868116 CPUtime=1781.32
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 39854 918 1 0 178047 61 22 2 18 0 9 0 2006208942 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 217029 22678 2637 9 0 211535 0
[pid=3121/tid=3122] ppid=3119 vsize=868116 CPUtime=1780.6
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 29666 918 1 0 177981 55 22 2 25 0 9 0 2006208944 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4127226125 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3121/tid=3124] ppid=3119 vsize=868116 CPUtime=0.53
/proc/3121/task/3124/stat : 3124 (java) S 3119 3121 881 0 -1 64 8242 918 0 0 27 2 22 2 16 0 9 0 2006208945 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3125] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3125/stat : 3125 (java) S 3119 3121 881 0 -1 64 14 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3126] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3126/stat : 3126 (java) S 3119 3121 881 0 -1 64 8 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3127] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3127/stat : 3127 (java) S 3119 3121 881 0 -1 64 1 918 0 0 0 0 22 2 18 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3128] ppid=3119 vsize=868116 CPUtime=0.63
/proc/3121/task/3128/stat : 3128 (java) S 3119 3121 881 0 -1 64 1076 918 0 0 38 1 22 2 16 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3121/tid=3129] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3129/stat : 3129 (java) S 3119 3121 881 0 -1 64 2 918 0 0 0 0 22 2 19 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3130] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3130/stat : 3130 (java) S 3119 3121 881 0 -1 64 40 918 0 0 0 0 22 2 15 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.32
Current children cumulated vsize (KiB) 868116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 2.36 2.11 2.04 3/90 3494
/proc/meminfo: memFree=1592928/2055920 swapFree=4180436/4192956
[pid=3121] ppid=3119 vsize=868116 CPUtime=1800.01
/proc/3121/stat : 3121 (java) S 3119 3121 881 0 -1 0 39854 918 1 0 179916 61 22 2 18 0 9 0 2006208942 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3121/statm: 217029 22678 2637 9 0 211535 0
[pid=3121/tid=3122] ppid=3119 vsize=868116 CPUtime=1799.29
/proc/3121/task/3122/stat : 3122 (java) R 3119 3121 881 0 -1 64 29666 918 1 0 179850 55 22 2 25 0 9 0 2006208944 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4127210473 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3121/tid=3124] ppid=3119 vsize=868116 CPUtime=0.53
/proc/3121/task/3124/stat : 3124 (java) S 3119 3121 881 0 -1 64 8242 918 0 0 27 2 22 2 16 0 9 0 2006208945 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3125] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3125/stat : 3125 (java) S 3119 3121 881 0 -1 64 14 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3126] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3126/stat : 3126 (java) S 3119 3121 881 0 -1 64 8 918 0 0 0 0 22 2 16 0 9 0 2006208946 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3127] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3127/stat : 3127 (java) S 3119 3121 881 0 -1 64 1 918 0 0 0 0 22 2 18 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3128] ppid=3119 vsize=868116 CPUtime=0.63
/proc/3121/task/3128/stat : 3128 (java) S 3119 3121 881 0 -1 64 1076 918 0 0 38 1 22 2 16 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3121/tid=3129] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3129/stat : 3129 (java) S 3119 3121 881 0 -1 64 2 918 0 0 0 0 22 2 19 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3121/tid=3130] ppid=3119 vsize=868116 CPUtime=0.24
/proc/3121/task/3130/stat : 3130 (java) S 3119 3121 881 0 -1 64 40 918 0 0 0 0 22 2 15 0 9 0 2006208948 888950784 22678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 868116
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1801.06
CPU time (s): 1800.08
CPU user time (s): 1799.42
CPU system time (s): 0.6539
CPU usage (%): 99.9455
Max. virtual memory (cumulated for all children) (KiB): 868260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.6539
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40802
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= 38044
involuntary context switches= 29100
runsolver used 2.26765 second user time and 5.9341 second system time
The end
Begin job on node71 at 2008-07-05 17:40:02
IDJOB=1090886
IDBENCH=58503
IDSOLVER=364
FILE ID=node71/1090886-1215272402
PBS_JOBID= 7882086
Free space on /tmp= 66512 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/graphColoring/insertion/k-insertion/normalized-3-insertions-5-5.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-1090886-1215272402/watcher-1090886-1215272402 -o /tmp/evaluation-result-1090886-1215272402/solver-1090886-1215272402 -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-1090886-1215272402.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 995ede434697f058154ccaad89a6f3c4
RANDOM SEED=1256033896
node71.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.209
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.209
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: 1694432 kB
Buffers: 49836 kB
Cached: 238304 kB
SwapCached: 6572 kB
Active: 175804 kB
Inactive: 129188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1694432 kB
SwapTotal: 4192956 kB
SwapFree: 4180436 kB
Dirty: 3308 kB
Writeback: 0 kB
Mapped: 24536 kB
Slab: 41924 kB
Committed_AS: 4361608 kB
PageTables: 1832 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= 66512 MiB
End job on node71 at 2008-07-05 18:10:05