0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-2095100-1247406593.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.31
0.29/0.31 variables being loaded...
0.50/0.56 nbVariables=4500 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=9000
0.50/0.56 => wckTime=0.32 cpuTime=0.23 mem=19M627
0.50/0.56
0.50/0.56 predicates being loaded...
0.60/0.62
0.60/0.62 constraints being loaded...
16.34/16.45 nbConstraints=72430 nbGlobalConstraints=17 nbConvertedConstraints=72288 nbConvertConstraintsChecks=8
16.34/16.45 nbExtensionStructures=2 nbSharedExtensionStructures=72286 nbConflictsStructures=2
16.34/16.45 nbSharedConflictsStructures=72286 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5
16.34/16.45 nbEvaluationManagers=1 nbSharedEvaluationManagers=124 minDegree=3 maxDegree=78 minArity=2 avgArity=2.14
16.34/16.45 maxArity=500 nbGenerators=17 nbFusions=0 symmetryWckTime=6.001 symmetryCpuTime=2.25
16.34/16.45 => wckTime=16.214 cpuTime=11.21 mem=105M403
17.14/17.22
17.14/17.22 solver IterativeSystematicSolver being built...
17.24/17.36
17.24/17.36 INFO : Forward propagation technique limited
17.43/17.59 => wckTime=17.353 cpuTime=11.53 mem=143M647
35.56/35.84
35.56/35.84 preprocessing
35.56/35.84 nbConstraintChecks=1053850 nbValidityChecks=274777 nbPropagations=28961 nbRevisions=862192
35.56/35.84 nbUselessRevisions=844283 nbSingletonTests=6843 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0
35.56/35.84 nbRemovedValues=0 detectedInconsistency=no
35.56/35.84 => wckTime=18.242 cpuTime=18.03 mem=143M647
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095100-1247406593/watcher-2095100-1247406593 -o /tmp/evaluation-result-2095100-1247406593/solver-2095100-1247406593 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095100-1247406593.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): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 4/80 31200
/proc/meminfo: memFree=1645736/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=1616 CPUtime=0
/proc/31200/stat : 31200 (java) R 31198 31200 30599 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 27726181 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/31200/statm: 68 37 28 9 0 6 0
[startup+0.059326 s]
/proc/loadavg: 2.01 2.02 2.00 4/80 31200
/proc/meminfo: memFree=1645736/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=864024 CPUtime=0.04
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 2708 0 1 0 3 1 0 0 18 0 9 0 27726181 884760576 2266 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 216006 2266 1076 9 0 210899 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864024
[startup+0.102308 s]
/proc/loadavg: 2.01 2.02 2.00 4/80 31200
/proc/meminfo: memFree=1645736/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=865984 CPUtime=0.09
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 3802 0 1 0 7 2 0 0 18 0 9 0 27726181 886767616 3253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 216496 3255 1719 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301245 s]
/proc/loadavg: 2.01 2.02 2.00 4/80 31200
/proc/meminfo: memFree=1645736/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=867408 CPUtime=0.29
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 6114 0 1 0 25 4 0 0 18 0 9 0 27726181 888225792 5480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 216852 5481 1987 9 0 211310 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 867408
[startup+0.701129 s]
/proc/loadavg: 2.01 2.02 2.00 4/80 31200
/proc/meminfo: memFree=1645736/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=868520 CPUtime=0.69
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 10879 0 1 0 62 7 0 0 18 0 9 0 27726181 889364480 10233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 217130 10233 2038 9 0 211566 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 868520
[startup+1.5019 s]
/proc/loadavg: 2.01 2.02 2.00 4/89 31209
/proc/meminfo: memFree=1596128/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=868432 CPUtime=1.49
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 18978 0 1 0 138 11 0 0 18 0 9 0 27726181 889274368 18306 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 217108 18306 2027 9 0 211566 0
[pid=31200/tid=31202] ppid=31198 vsize=868432 CPUtime=1.22
/proc/31200/task/31202/stat : 31202 (java) R 31198 31200 30599 0 -1 64 15792 0 1 0 113 9 0 0 18 0 9 0 27726182 889274368 18306 996147200 134512640 134550932 4294955968 18446744073709551615 4126413289 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31203] ppid=31198 vsize=868432 CPUtime=0.07
/proc/31200/task/31203/stat : 31203 (java) S 31198 31200 30599 0 -1 64 1834 0 0 0 7 0 0 0 17 0 9 0 27726183 889274368 18306 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31204] ppid=31198 vsize=868432 CPUtime=0
/proc/31200/task/31204/stat : 31204 (java) S 31198 31200 30599 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27726183 889274368 18306 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31205] ppid=31198 vsize=868432 CPUtime=0
/proc/31200/task/31205/stat : 31205 (java) S 31198 31200 30599 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27726183 889274368 18306 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31206] ppid=31198 vsize=868432 CPUtime=0
/proc/31200/task/31206/stat : 31206 (java) S 31198 31200 30599 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27726186 889274368 18306 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31207] ppid=31198 vsize=868432 CPUtime=0.17
/proc/31200/task/31207/stat : 31207 (java) S 31198 31200 30599 0 -1 64 649 0 0 0 17 0 0 0 15 0 9 0 27726186 889274368 18306 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31208] ppid=31198 vsize=868432 CPUtime=0
/proc/31200/task/31208/stat : 31208 (java) S 31198 31200 30599 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27726186 889274368 18306 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31209] ppid=31198 vsize=868432 CPUtime=0
/proc/31200/task/31209/stat : 31209 (java) S 31198 31200 30599 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27726186 889274368 18306 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 868432
[startup+3.10144 s]
/proc/loadavg: 2.09 2.04 2.01 3/89 31209
/proc/meminfo: memFree=1565216/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=868432 CPUtime=3.09
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 24838 0 1 0 295 14 0 0 18 0 9 0 27726181 889274368 24164 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 217108 24164 2027 9 0 211566 0
[pid=31200/tid=31202] ppid=31198 vsize=868432 CPUtime=2.53
/proc/31200/task/31202/stat : 31202 (java) R 31198 31200 30599 0 -1 64 15795 0 1 0 244 9 0 0 25 0 9 0 27726182 889274368 24164 996147200 134512640 134550932 4294955968 18446744073709551615 4126865320 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31203] ppid=31198 vsize=868432 CPUtime=0.36
/proc/31200/task/31203/stat : 31203 (java) S 31198 31200 30599 0 -1 64 7690 0 0 0 33 3 0 0 17 0 9 0 27726183 889274368 24164 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31204] ppid=31198 vsize=868432 CPUtime=0
/proc/31200/task/31204/stat : 31204 (java) S 31198 31200 30599 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27726183 889274368 24164 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31205] ppid=31198 vsize=868432 CPUtime=0
/proc/31200/task/31205/stat : 31205 (java) S 31198 31200 30599 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27726183 889274368 24164 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31206] ppid=31198 vsize=868432 CPUtime=0
/proc/31200/task/31206/stat : 31206 (java) S 31198 31200 30599 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27726186 889274368 24164 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31207] ppid=31198 vsize=868432 CPUtime=0.17
/proc/31200/task/31207/stat : 31207 (java) S 31198 31200 30599 0 -1 64 650 0 0 0 17 0 0 0 16 0 9 0 27726186 889274368 24164 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31208] ppid=31198 vsize=868432 CPUtime=0
/proc/31200/task/31208/stat : 31208 (java) S 31198 31200 30599 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27726186 889274368 24164 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31209] ppid=31198 vsize=868432 CPUtime=0
/proc/31200/task/31209/stat : 31209 (java) S 31198 31200 30599 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27726186 889274368 24164 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 868432
[startup+6.30252 s]
/proc/loadavg: 2.09 2.04 2.01 3/89 31209
/proc/meminfo: memFree=1547560/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=868436 CPUtime=6.3
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 30024 0 1 0 516 114 0 0 18 0 9 0 27726181 889278464 29345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 217108 29345 2032 9 0 211566 0
[pid=31200/tid=31202] ppid=31198 vsize=868432 CPUtime=5.37
/proc/31200/task/31202/stat : 31202 (java) R 31198 31200 30599 0 -1 64 15835 0 1 0 430 107 0 0 25 0 9 0 27726182 889274368 29345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31203] ppid=31198 vsize=868432 CPUtime=0.67
/proc/31200/task/31203/stat : 31203 (java) S 31198 31200 30599 0 -1 64 12792 0 0 0 62 5 0 0 18 0 9 0 27726183 889274368 29345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31204] ppid=31198 vsize=868436 CPUtime=0
/proc/31200/task/31204/stat : 31204 (java) S 31198 31200 30599 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27726183 889278464 29345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31205] ppid=31198 vsize=868432 CPUtime=0
/proc/31200/task/31205/stat : 31205 (java) S 31198 31200 30599 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27726183 889274368 29345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31206] ppid=31198 vsize=868436 CPUtime=0
/proc/31200/task/31206/stat : 31206 (java) S 31198 31200 30599 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27726186 889278464 29345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31207] ppid=31198 vsize=868432 CPUtime=0.22
/proc/31200/task/31207/stat : 31207 (java) S 31198 31200 30599 0 -1 64 694 0 0 0 22 0 0 0 16 0 9 0 27726186 889274368 29345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31208] ppid=31198 vsize=868432 CPUtime=0
/proc/31200/task/31208/stat : 31208 (java) S 31198 31200 30599 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27726186 889274368 29345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31209] ppid=31198 vsize=868432 CPUtime=0
/proc/31200/task/31209/stat : 31209 (java) S 31198 31200 30599 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27726186 889274368 29345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 868436
[startup+12.7027 s]
/proc/loadavg: 2.08 2.03 2.00 3/91 31211
/proc/meminfo: memFree=1468376/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=868756 CPUtime=11.14
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 43183 0 1 0 821 293 0 0 18 0 10 0 27726181 889606144 42320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 217189 42320 2036 9 0 211647 0
[pid=31211] ppid=31200 vsize=23460 CPUtime=1.54
/proc/31211/stat : 31211 (saucy) R 31200 31200 30599 0 -1 4194304 3303 0 0 0 151 3 0 0 25 0 1 0 27727294 24023040 3218 996147200 134512640 134531332 4294956000 18446744073709551615 134523907 0 4 0 0 0 0 0 17 1 0 0
/proc/31211/statm: 5865 3218 95 4 0 5541 0
[pid=31200/tid=31202] ppid=31198 vsize=868756 CPUtime=9.53
/proc/31200/task/31202/stat : 31202 (java) S 31198 31200 30599 0 -1 64 15924 0 1 0 673 280 0 0 16 0 10 0 27726182 889606144 42320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=31200/tid=31203] ppid=31198 vsize=868756 CPUtime=1.32
/proc/31200/task/31203/stat : 31203 (java) S 31198 31200 30599 0 -1 64 25776 0 0 0 122 10 0 0 16 0 10 0 27726183 889606144 42320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31204] ppid=31198 vsize=868756 CPUtime=0
/proc/31200/task/31204/stat : 31204 (java) S 31198 31200 30599 0 -1 64 16 0 0 0 0 0 0 0 16 0 10 0 27726183 889606144 42320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31205] ppid=31198 vsize=868756 CPUtime=0
/proc/31200/task/31205/stat : 31205 (java) S 31198 31200 30599 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 27726183 889606144 42320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31206] ppid=31198 vsize=868756 CPUtime=0
/proc/31200/task/31206/stat : 31206 (java) S 31198 31200 30599 0 -1 64 2 0 0 0 0 0 0 0 18 0 10 0 27726186 889606144 42320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31207] ppid=31198 vsize=868756 CPUtime=0.24
/proc/31200/task/31207/stat : 31207 (java) S 31198 31200 30599 0 -1 64 706 0 0 0 24 0 0 0 16 0 10 0 27726186 889606144 42320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31208] ppid=31198 vsize=868756 CPUtime=0
/proc/31200/task/31208/stat : 31208 (java) S 31198 31200 30599 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 27726186 889606144 42320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31209] ppid=31198 vsize=868756 CPUtime=0
/proc/31200/task/31209/stat : 31209 (java) S 31198 31200 30599 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 27726186 889606144 42320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31210] ppid=31198 vsize=868756 CPUtime=0
/proc/31200/task/31210/stat : 31210 (java) S 31198 31200 30599 0 -1 64 68 0 0 0 0 0 0 0 16 0 10 0 27727294 889606144 42320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 892216
[startup+25.502 s]
/proc/loadavg: 2.07 2.03 2.00 3/89 31213
/proc/meminfo: memFree=1475744/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=869168 CPUtime=25.36
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 87993 5213 1 0 1902 304 324 6 18 0 9 0 27726181 890028032 44965 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 217292 44965 2663 9 0 211728 0
[pid=31200/tid=31202] ppid=31198 vsize=869168 CPUtime=22.8
/proc/31200/task/31202/stat : 31202 (java) R 31198 31200 30599 0 -1 64 39994 5213 1 0 1663 287 324 6 25 0 9 0 27726182 890028032 44965 996147200 134512640 134550932 4294955968 18446744073709551615 4127514295 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31203] ppid=31198 vsize=869168 CPUtime=5.43
/proc/31200/task/31203/stat : 31203 (java) S 31198 31200 30599 0 -1 64 46048 5213 0 0 199 14 324 6 16 0 9 0 27726183 890028032 44965 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31204] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31204/stat : 31204 (java) S 31198 31200 30599 0 -1 64 24 5213 0 0 0 0 324 6 16 0 9 0 27726183 890028032 44965 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31205] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31205/stat : 31205 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 17 0 9 0 27726183 890028032 44965 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31206] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31206/stat : 31206 (java) S 31198 31200 30599 0 -1 64 2 5213 0 0 0 0 324 6 18 0 9 0 27726186 890028032 44965 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31207] ppid=31198 vsize=869168 CPUtime=3.7
/proc/31200/task/31207/stat : 31207 (java) S 31198 31200 30599 0 -1 64 1081 5213 0 0 39 1 324 6 16 0 9 0 27726186 890028032 44965 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31208] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31208/stat : 31208 (java) S 31198 31200 30599 0 -1 64 1 5213 0 0 0 0 324 6 19 0 9 0 27726186 890028032 44965 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31209] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31209/stat : 31209 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 15 0 9 0 27726186 890028032 44965 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 869168
[startup+51.1026 s]
/proc/loadavg: 2.04 2.03 2.00 3/89 31213
/proc/meminfo: memFree=1475680/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=869168 CPUtime=50.73
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 88026 5213 1 0 4438 305 324 6 18 0 9 0 27726181 890028032 44990 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 217292 44990 2663 9 0 211728 0
[pid=31200/tid=31202] ppid=31198 vsize=869168 CPUtime=48.11
/proc/31200/task/31202/stat : 31202 (java) R 31198 31200 30599 0 -1 64 40000 5213 1 0 4194 287 324 6 25 0 9 0 27726182 890028032 44990 996147200 134512640 134550932 4294955968 18446744073709551615 4126824410 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31203] ppid=31198 vsize=869168 CPUtime=5.43
/proc/31200/task/31203/stat : 31203 (java) S 31198 31200 30599 0 -1 64 46048 5213 0 0 199 14 324 6 16 0 9 0 27726183 890028032 44990 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31204] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31204/stat : 31204 (java) S 31198 31200 30599 0 -1 64 24 5213 0 0 0 0 324 6 16 0 9 0 27726183 890028032 44990 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31205] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31205/stat : 31205 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 17 0 9 0 27726183 890028032 44990 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31206] ppid=31198 vsize=869168 CPUtime=3.3
################
# More data... #
################
/proc/31200/task/31205/stat : 31205 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 17 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31206] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31206/stat : 31206 (java) S 31198 31200 30599 0 -1 64 2 5213 0 0 0 0 324 6 18 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31207] ppid=31198 vsize=869168 CPUtime=3.75
/proc/31200/task/31207/stat : 31207 (java) S 31198 31200 30599 0 -1 64 1116 5213 0 0 44 1 324 6 16 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31208] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31208/stat : 31208 (java) S 31198 31200 30599 0 -1 64 1 5213 0 0 0 0 324 6 19 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31209] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31209/stat : 31209 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 15 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1533.63
Current children cumulated vsize (KiB) 869168
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 31338
/proc/meminfo: memFree=1597984/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=869168 CPUtime=1593.63
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 88038 5213 1 0 158724 309 324 6 18 0 9 0 27726181 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 217292 44995 2663 9 0 211728 0
[pid=31200/tid=31202] ppid=31198 vsize=869168 CPUtime=1591.01
/proc/31200/task/31202/stat : 31202 (java) R 31198 31200 30599 0 -1 64 40004 5213 1 0 158480 291 324 6 25 0 9 0 27726182 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4127408069 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31203] ppid=31198 vsize=869168 CPUtime=5.43
/proc/31200/task/31203/stat : 31203 (java) S 31198 31200 30599 0 -1 64 46048 5213 0 0 199 14 324 6 16 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31204] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31204/stat : 31204 (java) S 31198 31200 30599 0 -1 64 24 5213 0 0 0 0 324 6 16 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31205] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31205/stat : 31205 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 17 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31206] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31206/stat : 31206 (java) S 31198 31200 30599 0 -1 64 2 5213 0 0 0 0 324 6 18 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31207] ppid=31198 vsize=869168 CPUtime=3.75
/proc/31200/task/31207/stat : 31207 (java) S 31198 31200 30599 0 -1 64 1116 5213 0 0 44 1 324 6 16 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31208] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31208/stat : 31208 (java) S 31198 31200 30599 0 -1 64 1 5213 0 0 0 0 324 6 19 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31209] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31209/stat : 31209 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 15 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.63
Current children cumulated vsize (KiB) 869168
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31338
/proc/meminfo: memFree=1597920/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=869168 CPUtime=1653.63
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 88038 5213 1 0 164724 309 324 6 18 0 9 0 27726181 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 217292 44995 2663 9 0 211728 0
[pid=31200/tid=31202] ppid=31198 vsize=869168 CPUtime=1651
/proc/31200/task/31202/stat : 31202 (java) R 31198 31200 30599 0 -1 64 40004 5213 1 0 164479 291 324 6 25 0 9 0 27726182 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4127451692 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31203] ppid=31198 vsize=869168 CPUtime=5.43
/proc/31200/task/31203/stat : 31203 (java) S 31198 31200 30599 0 -1 64 46048 5213 0 0 199 14 324 6 16 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31204] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31204/stat : 31204 (java) S 31198 31200 30599 0 -1 64 24 5213 0 0 0 0 324 6 16 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31205] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31205/stat : 31205 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 17 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31206] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31206/stat : 31206 (java) S 31198 31200 30599 0 -1 64 2 5213 0 0 0 0 324 6 18 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31207] ppid=31198 vsize=869168 CPUtime=3.75
/proc/31200/task/31207/stat : 31207 (java) S 31198 31200 30599 0 -1 64 1116 5213 0 0 44 1 324 6 16 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31208] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31208/stat : 31208 (java) S 31198 31200 30599 0 -1 64 1 5213 0 0 0 0 324 6 19 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31209] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31209/stat : 31209 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 15 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.63
Current children cumulated vsize (KiB) 869168
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31338
/proc/meminfo: memFree=1597856/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=869168 CPUtime=1713.63
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 88038 5213 1 0 170724 309 324 6 18 0 9 0 27726181 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 217292 44995 2663 9 0 211728 0
[pid=31200/tid=31202] ppid=31198 vsize=869168 CPUtime=1711
/proc/31200/task/31202/stat : 31202 (java) R 31198 31200 30599 0 -1 64 40004 5213 1 0 170479 291 324 6 25 0 9 0 27726182 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4127531248 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31203] ppid=31198 vsize=869168 CPUtime=5.43
/proc/31200/task/31203/stat : 31203 (java) S 31198 31200 30599 0 -1 64 46048 5213 0 0 199 14 324 6 16 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31204] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31204/stat : 31204 (java) S 31198 31200 30599 0 -1 64 24 5213 0 0 0 0 324 6 16 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31205] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31205/stat : 31205 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 17 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31206] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31206/stat : 31206 (java) S 31198 31200 30599 0 -1 64 2 5213 0 0 0 0 324 6 18 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31207] ppid=31198 vsize=869168 CPUtime=3.75
/proc/31200/task/31207/stat : 31207 (java) S 31198 31200 30599 0 -1 64 1116 5213 0 0 44 1 324 6 16 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31208] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31208/stat : 31208 (java) S 31198 31200 30599 0 -1 64 1 5213 0 0 0 0 324 6 19 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31209] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31209/stat : 31209 (java) R 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 15 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.63
Current children cumulated vsize (KiB) 869168
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31338
/proc/meminfo: memFree=1597728/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=869168 CPUtime=1773.64
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 88038 5213 1 0 176724 310 324 6 18 0 9 0 27726181 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 217292 44995 2663 9 0 211728 0
[pid=31200/tid=31202] ppid=31198 vsize=869168 CPUtime=1771
/proc/31200/task/31202/stat : 31202 (java) R 31198 31200 30599 0 -1 64 40004 5213 1 0 176479 291 324 6 25 0 9 0 27726182 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4127451692 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31203] ppid=31198 vsize=869168 CPUtime=5.43
/proc/31200/task/31203/stat : 31203 (java) S 31198 31200 30599 0 -1 64 46048 5213 0 0 199 14 324 6 16 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31204] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31204/stat : 31204 (java) S 31198 31200 30599 0 -1 64 24 5213 0 0 0 0 324 6 16 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31205] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31205/stat : 31205 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 17 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31206] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31206/stat : 31206 (java) S 31198 31200 30599 0 -1 64 2 5213 0 0 0 0 324 6 18 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31207] ppid=31198 vsize=869168 CPUtime=3.75
/proc/31200/task/31207/stat : 31207 (java) S 31198 31200 30599 0 -1 64 1116 5213 0 0 44 1 324 6 16 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31208] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31208/stat : 31208 (java) S 31198 31200 30599 0 -1 64 1 5213 0 0 0 0 324 6 19 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31209] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31209/stat : 31209 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 15 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.64
Current children cumulated vsize (KiB) 869168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31338
/proc/meminfo: memFree=1597664/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=869168 CPUtime=1800.04
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 88038 5213 1 0 179364 310 324 6 18 0 9 0 27726181 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 217292 44995 2663 9 0 211728 0
[pid=31200/tid=31202] ppid=31198 vsize=869168 CPUtime=1797.41
/proc/31200/task/31202/stat : 31202 (java) R 31198 31200 30599 0 -1 64 40004 5213 1 0 179120 291 324 6 25 0 9 0 27726182 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4127531209 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31203] ppid=31198 vsize=869168 CPUtime=5.43
/proc/31200/task/31203/stat : 31203 (java) S 31198 31200 30599 0 -1 64 46048 5213 0 0 199 14 324 6 16 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31204] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31204/stat : 31204 (java) S 31198 31200 30599 0 -1 64 24 5213 0 0 0 0 324 6 16 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31205] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31205/stat : 31205 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 17 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31206] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31206/stat : 31206 (java) S 31198 31200 30599 0 -1 64 2 5213 0 0 0 0 324 6 18 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31207] ppid=31198 vsize=869168 CPUtime=3.75
/proc/31200/task/31207/stat : 31207 (java) S 31198 31200 30599 0 -1 64 1116 5213 0 0 44 1 324 6 16 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31208] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31208/stat : 31208 (java) S 31198 31200 30599 0 -1 64 1 5213 0 0 0 0 324 6 19 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31209] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31209/stat : 31209 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 15 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 869168
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 31338
/proc/meminfo: memFree=1597664/2055920 swapFree=4192812/4192956
[pid=31200] ppid=31198 vsize=869168 CPUtime=1800.04
/proc/31200/stat : 31200 (java) S 31198 31200 30599 0 -1 0 88038 5213 1 0 179364 310 324 6 18 0 9 0 27726181 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31200/statm: 217292 44995 2663 9 0 211728 0
[pid=31200/tid=31202] ppid=31198 vsize=869168 CPUtime=1797.41
/proc/31200/task/31202/stat : 31202 (java) R 31198 31200 30599 0 -1 64 40004 5213 1 0 179120 291 324 6 25 0 9 0 27726182 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4127531209 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31203] ppid=31198 vsize=869168 CPUtime=5.43
/proc/31200/task/31203/stat : 31203 (java) S 31198 31200 30599 0 -1 64 46048 5213 0 0 199 14 324 6 16 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31204] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31204/stat : 31204 (java) S 31198 31200 30599 0 -1 64 24 5213 0 0 0 0 324 6 16 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31205] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31205/stat : 31205 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 17 0 9 0 27726183 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31206] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31206/stat : 31206 (java) S 31198 31200 30599 0 -1 64 2 5213 0 0 0 0 324 6 18 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31207] ppid=31198 vsize=869168 CPUtime=3.75
/proc/31200/task/31207/stat : 31207 (java) S 31198 31200 30599 0 -1 64 1116 5213 0 0 44 1 324 6 16 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31200/tid=31208] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31208/stat : 31208 (java) S 31198 31200 30599 0 -1 64 1 5213 0 0 0 0 324 6 19 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31200/tid=31209] ppid=31198 vsize=869168 CPUtime=3.3
/proc/31200/task/31209/stat : 31209 (java) S 31198 31200 30599 0 -1 64 13 5213 0 0 0 0 324 6 15 0 9 0 27726186 890028032 44995 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 869168
Child status: 143
Real time (s): 1808.77
CPU time (s): 1800.12
CPU user time (s): 1796.93
CPU system time (s): 3.19551
CPU usage (%): 99.5219
Max. virtual memory (cumulated for all children) (KiB): 896836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.93
system time used= 3.19551
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93278
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= 39461
involuntary context switches= 61920
runsolver used 2.37864 second user time and 5.85711 second system time
The end
Begin job on node16 at 2009-07-12 15:49:53
IDJOB=2095100
IDBENCH=54868
IDSOLVER=774
FILE ID=node16/2095100-1247406593
PBS_JOBID= 9510612
Free space on /tmp= 66448 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/pseudo/primesDimacs/normalized-g-125-18.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095100-1247406593/watcher-2095100-1247406593 -o /tmp/evaluation-result-2095100-1247406593/solver-2095100-1247406593 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095100-1247406593.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 22689bcc3124eea2b7d80bb2193e6792
RANDOM SEED=1250519929
node16.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1646216 kB
Buffers: 35784 kB
Cached: 143056 kB
SwapCached: 0 kB
Active: 275200 kB
Inactive: 77104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1646216 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 11308 kB
Writeback: 0 kB
Mapped: 193916 kB
Slab: 42212 kB
Committed_AS: 994084 kB
PageTables: 2168 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= 66448 MiB
End job on node16 at 2009-07-12 16:20:04