0.05/0.08
0.05/0.08 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-2095570-1247407777.xml
0.29/0.30
0.29/0.30 domains being loaded...
0.29/0.31
0.29/0.31 variables being loaded...
0.29/0.34 nbVariables=12 nbDomainTypes=1 minDomainSize=68 maxDomainSize=68 nbTotalValues=816
0.29/0.34 => wckTime=0.1 cpuTime=0.09 mem=7M892
0.29/0.34
0.29/0.34 predicates being loaded...
0.38/0.40
0.38/0.40 constraints being loaded...
0.97/1.01 nbConstraints=782 nbGlobalConstraints=1 nbMergedConstraints=1210 nbConvertedConstraints=66
0.97/1.02 nbConvertConstraintsChecks=4624 nbExtensionStructures=1 nbSharedExtensionStructures=65 nbConflictsStructures=1
0.97/1.02 nbSharedConflictsStructures=65 nbUnbuiltConflictsStructures=2 nbSharedBinaryRepresentations=1
0.97/1.02 nbEvaluationManagers=2 nbSharedEvaluationManagers=713 minDegree=232 maxDegree=232 minArity=2 avgArity=3.56
0.97/1.02 maxArity=12 nbGenerators=0 nbFusions=0 symmetryWckTime=0.102 symmetryCpuTime=0.06 nbCliques=1
0.97/1.02 => wckTime=0.772 cpuTime=0.58 mem=29M371
1.07/1.11
1.07/1.11 solver IterativeSystematicSolver being built...
1.16/1.24
1.16/1.26 INFO : Forward propagation technique limited
1.26/1.30 => wckTime=1.064 cpuTime=0.76 mem=32M926
3.94/4.02
3.94/4.02 preprocessing
3.94/4.02 nbConstraintChecks=2552775 nbValidityChecks=5335678 nbPropagations=733 nbRevisions=189611
3.94/4.02 nbUselessRevisions=185941 nbSingletonTests=159 nbEffectiveSingletonTests=15 nbACRemovals=132
3.94/4.02 nbFoundSingletons=0 nbRemovedValues=187 detectedInconsistency=no
3.94/4.02 => wckTime=2.713 cpuTime=2.64 mem=33M916
12.35/12.50
12.35/12.50 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=34M874)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095570-1247407777/watcher-2095570-1247407777 -o /tmp/evaluation-result-2095570-1247407777/solver-2095570-1247407777 -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-2095570-1247407777.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.00 2.00 1.92 4/81 28207
/proc/meminfo: memFree=1578552/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=324 CPUtime=0
/proc/28207/stat : 28207 (java) R 28205 28207 26046 0 -1 0 224 0 0 0 0 0 0 0 18 0 1 0 27842479 331776 44 996147200 134512640 134550932 4294955968 18446744073709551615 1819428 0 0 4096 0 0 0 0 17 0 0 0
/proc/28207/statm: 81 44 33 9 0 6 0
[startup+0.059267 s]
/proc/loadavg: 2.00 2.00 1.92 4/81 28207
/proc/meminfo: memFree=1578552/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=864144 CPUtime=0.05
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 2831 0 1 0 4 1 0 0 18 0 9 0 27842479 884883456 2365 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 216036 2367 1122 9 0 210929 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864144
[startup+0.102272 s]
/proc/loadavg: 2.00 2.00 1.92 4/81 28207
/proc/meminfo: memFree=1578552/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=865980 CPUtime=0.09
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 3845 0 1 0 8 1 0 0 18 0 9 0 27842479 886763520 3288 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 216495 3288 1731 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301306 s]
/proc/loadavg: 2.00 2.00 1.92 4/81 28207
/proc/meminfo: memFree=1578552/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=866500 CPUtime=0.29
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 6118 0 1 0 26 3 0 0 18 0 9 0 27842479 887296000 5484 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 216625 5484 1987 9 0 211083 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866500
[startup+0.701347 s]
/proc/loadavg: 2.00 2.00 1.92 4/81 28207
/proc/meminfo: memFree=1578552/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=867776 CPUtime=0.69
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 9556 0 1 0 63 6 0 0 18 0 9 0 27842479 888602624 8910 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 216944 8910 2038 9 0 211380 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867776
[startup+1.50145 s]
/proc/loadavg: 2.00 2.00 1.92 7/93 28220
/proc/meminfo: memFree=1541072/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=869448 CPUtime=1.46
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 22501 339 1 0 134 11 1 0 18 0 10 0 27842479 890314752 13751 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 217362 13751 2660 9 0 211798 0
[pid=28207/tid=28209] ppid=28205 vsize=869448 CPUtime=1.11
/proc/28207/task/28209/stat : 28209 (java) R 28205 28207 26046 0 -1 64 15007 339 1 0 102 8 1 0 18 0 10 0 27842480 890314752 13751 996147200 134512640 134550932 4294955968 18446744073709551615 4126889384 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28210] ppid=28205 vsize=869448 CPUtime=0.08
/proc/28207/task/28210/stat : 28210 (java) S 28205 28207 26046 0 -1 64 5748 339 0 0 6 1 1 0 17 0 10 0 27842481 890314752 13751 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28211] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28211/stat : 28211 (java) S 28205 28207 26046 0 -1 64 19 339 0 0 0 0 1 0 16 0 10 0 27842481 890314752 13751 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28212] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28212/stat : 28212 (java) S 28205 28207 26046 0 -1 64 12 339 0 0 0 0 1 0 16 0 10 0 27842481 890314752 13751 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28213] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28213/stat : 28213 (java) S 28205 28207 26046 0 -1 64 2 339 0 0 0 0 1 0 24 0 10 0 27842483 890314752 13751 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28214] ppid=28205 vsize=869448 CPUtime=0.26
/proc/28207/task/28214/stat : 28214 (java) S 28205 28207 26046 0 -1 64 908 339 0 0 24 1 1 0 15 0 10 0 27842483 890314752 13751 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28215] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28215/stat : 28215 (java) S 28205 28207 26046 0 -1 64 0 339 0 0 0 0 1 0 25 0 10 0 27842483 890314752 13751 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28216] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28216/stat : 28216 (java) S 28205 28207 26046 0 -1 64 4 339 0 0 0 0 1 0 15 0 10 0 27842483 890314752 13751 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28217] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28217/stat : 28217 (java) R 28205 28207 26046 0 -1 64 67 339 0 0 0 0 1 0 25 0 10 0 27842574 890314752 13751 996147200 134512640 134550932 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) 869448
[startup+3.10165 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 28220
/proc/meminfo: memFree=1533656/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=869448 CPUtime=3.05
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 22524 339 1 0 292 12 1 0 18 0 9 0 27842479 890314752 13771 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 217362 13771 2660 9 0 211798 0
[pid=28207/tid=28209] ppid=28205 vsize=869448 CPUtime=2.68
/proc/28207/task/28209/stat : 28209 (java) R 28205 28207 26046 0 -1 64 15018 339 1 0 259 8 1 0 25 0 9 0 27842480 890314752 13771 996147200 134512640 134550932 4294955968 18446744073709551615 4126889372 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28210] ppid=28205 vsize=869448 CPUtime=0.08
/proc/28207/task/28210/stat : 28210 (java) S 28205 28207 26046 0 -1 64 5748 339 0 0 6 1 1 0 17 0 9 0 27842481 890314752 13771 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28211] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28211/stat : 28211 (java) S 28205 28207 26046 0 -1 64 19 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 13771 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28212] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28212/stat : 28212 (java) S 28205 28207 26046 0 -1 64 12 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 13771 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28213] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28213/stat : 28213 (java) S 28205 28207 26046 0 -1 64 2 339 0 0 0 0 1 0 24 0 9 0 27842483 890314752 13771 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28214] ppid=28205 vsize=869448 CPUtime=0.28
/proc/28207/task/28214/stat : 28214 (java) S 28205 28207 26046 0 -1 64 918 339 0 0 26 1 1 0 15 0 9 0 27842483 890314752 13771 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28215] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28215/stat : 28215 (java) S 28205 28207 26046 0 -1 64 0 339 0 0 0 0 1 0 25 0 9 0 27842483 890314752 13771 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28216] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28216/stat : 28216 (java) S 28205 28207 26046 0 -1 64 4 339 0 0 0 0 1 0 15 0 9 0 27842483 890314752 13771 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 869448
[startup+6.30206 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 28220
/proc/meminfo: memFree=1532376/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=869448 CPUtime=6.21
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 22819 339 1 0 608 12 1 0 18 0 9 0 27842479 890314752 14031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 217362 14031 2660 9 0 211798 0
[pid=28207/tid=28209] ppid=28205 vsize=869448 CPUtime=5.83
/proc/28207/task/28209/stat : 28209 (java) R 28205 28207 26046 0 -1 64 15274 339 1 0 573 9 1 0 25 0 9 0 27842480 890314752 14031 996147200 134512640 134550932 4294955968 18446744073709551615 4127122186 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28210] ppid=28205 vsize=869448 CPUtime=0.08
/proc/28207/task/28210/stat : 28210 (java) S 28205 28207 26046 0 -1 64 5748 339 0 0 6 1 1 0 16 0 9 0 27842481 890314752 14031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28211] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28211/stat : 28211 (java) S 28205 28207 26046 0 -1 64 19 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28212] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28212/stat : 28212 (java) S 28205 28207 26046 0 -1 64 12 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28213] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28213/stat : 28213 (java) S 28205 28207 26046 0 -1 64 2 339 0 0 0 0 1 0 24 0 9 0 27842483 890314752 14031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28214] ppid=28205 vsize=869448 CPUtime=0.29
/proc/28207/task/28214/stat : 28214 (java) S 28205 28207 26046 0 -1 64 926 339 0 0 27 1 1 0 15 0 9 0 27842483 890314752 14031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28215] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28215/stat : 28215 (java) S 28205 28207 26046 0 -1 64 0 339 0 0 0 0 1 0 25 0 9 0 27842483 890314752 14031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28216] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28216/stat : 28216 (java) S 28205 28207 26046 0 -1 64 35 339 0 0 0 0 1 0 15 0 9 0 27842483 890314752 14031 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 869448
[startup+12.7037 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 28220
/proc/meminfo: memFree=1531936/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=869448 CPUtime=12.54
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 22897 339 1 0 1241 12 1 0 18 0 9 0 27842479 890314752 14103 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 217362 14103 2660 9 0 211798 0
[pid=28207/tid=28209] ppid=28205 vsize=869448 CPUtime=12.14
/proc/28207/task/28209/stat : 28209 (java) R 28205 28207 26046 0 -1 64 15290 339 1 0 1204 9 1 0 20 0 9 0 27842480 890314752 14103 996147200 134512640 134550932 4294955968 18446744073709551615 4126889418 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28210] ppid=28205 vsize=869448 CPUtime=0.08
/proc/28207/task/28210/stat : 28210 (java) S 28205 28207 26046 0 -1 64 5748 339 0 0 6 1 1 0 16 0 9 0 27842481 890314752 14103 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28211] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28211/stat : 28211 (java) S 28205 28207 26046 0 -1 64 19 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14103 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28212] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28212/stat : 28212 (java) S 28205 28207 26046 0 -1 64 12 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14103 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28213] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28213/stat : 28213 (java) S 28205 28207 26046 0 -1 64 2 339 0 0 0 0 1 0 24 0 9 0 27842483 890314752 14103 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28214] ppid=28205 vsize=869448 CPUtime=0.31
/proc/28207/task/28214/stat : 28214 (java) S 28205 28207 26046 0 -1 64 988 339 0 0 29 1 1 0 15 0 9 0 27842483 890314752 14103 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28215] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28215/stat : 28215 (java) S 28205 28207 26046 0 -1 64 0 339 0 0 0 0 1 0 25 0 9 0 27842483 890314752 14103 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28216] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28216/stat : 28216 (java) S 28205 28207 26046 0 -1 64 35 339 0 0 0 0 1 0 15 0 9 0 27842483 890314752 14103 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 869448
[startup+25.5025 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 28220
/proc/meminfo: memFree=1531872/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=869448 CPUtime=25.2
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 22953 339 1 0 2507 12 1 0 18 0 9 0 27842479 890314752 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 217362 14152 2660 9 0 211798 0
[pid=28207/tid=28209] ppid=28205 vsize=869448 CPUtime=24.78
/proc/28207/task/28209/stat : 28209 (java) R 28205 28207 26046 0 -1 64 15300 339 1 0 2468 9 1 0 25 0 9 0 27842480 890314752 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4127121476 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28210] ppid=28205 vsize=869448 CPUtime=0.08
/proc/28207/task/28210/stat : 28210 (java) S 28205 28207 26046 0 -1 64 5748 339 0 0 6 1 1 0 16 0 9 0 27842481 890314752 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28211] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28211/stat : 28211 (java) S 28205 28207 26046 0 -1 64 19 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28212] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28212/stat : 28212 (java) S 28205 28207 26046 0 -1 64 12 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28213] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28213/stat : 28213 (java) S 28205 28207 26046 0 -1 64 2 339 0 0 0 0 1 0 24 0 9 0 27842483 890314752 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28214] ppid=28205 vsize=869448 CPUtime=0.34
/proc/28207/task/28214/stat : 28214 (java) S 28205 28207 26046 0 -1 64 1034 339 0 0 32 1 1 0 16 0 9 0 27842483 890314752 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28215] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28215/stat : 28215 (java) S 28205 28207 26046 0 -1 64 0 339 0 0 0 0 1 0 25 0 9 0 27842483 890314752 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28216] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28216/stat : 28216 (java) S 28205 28207 26046 0 -1 64 35 339 0 0 0 0 1 0 15 0 9 0 27842483 890314752 14152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 869448
[startup+51.1027 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 28220
/proc/meminfo: memFree=1531808/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=869448 CPUtime=50.54
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 22962 339 1 0 5040 13 1 0 18 0 9 0 27842479 890314752 14157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 217362 14157 2660 9 0 211798 0
[pid=28207/tid=28209] ppid=28205 vsize=869448 CPUtime=50.1
/proc/28207/task/28209/stat : 28209 (java) R 28205 28207 26046 0 -1 64 15307 339 1 0 5000 9 1 0 25 0 9 0 27842480 890314752 14157 996147200 134512640 134550932 4294955968 18446744073709551615 4127014479 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28210] ppid=28205 vsize=869448 CPUtime=0.08
/proc/28207/task/28210/stat : 28210 (java) S 28205 28207 26046 0 -1 64 5748 339 0 0 6 1 1 0 16 0 9 0 27842481 890314752 14157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28211] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28211/stat : 28211 (java) S 28205 28207 26046 0 -1 64 19 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28212] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28212/stat : 28212 (java) S 28205 28207 26046 0 -1 64 12 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28213] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28213/stat : 28213 (java) S 28205 28207 26046 0 -1 64 2 339 0 0 0 0 1 0 24 0 9 0 27842483 890314752 14157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28214] ppid=28205 vsize=869448 CPUtime=0.34
/proc/28207/task/28214/stat : 28214 (java) S 28205 28207 26046 0 -1 64 1036 339 0 0 32 1 1 0 16 0 9 0 27842483 890314752 14157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/28207/task/28212/stat : 28212 (java) S 28205 28207 26046 0 -1 64 12 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14172 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28213] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28213/stat : 28213 (java) S 28205 28207 26046 0 -1 64 2 339 0 0 0 0 1 0 24 0 9 0 27842483 890314752 14172 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28214] ppid=28205 vsize=869448 CPUtime=0.36
/proc/28207/task/28214/stat : 28214 (java) S 28205 28207 26046 0 -1 64 1041 339 0 0 34 1 1 0 16 0 9 0 27842483 890314752 14172 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28215] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28215/stat : 28215 (java) S 28205 28207 26046 0 -1 64 0 339 0 0 0 0 1 0 25 0 9 0 27842483 890314752 14172 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28216] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28216/stat : 28216 (java) S 28205 28207 26046 0 -1 64 35 339 0 0 0 0 1 0 15 0 9 0 27842483 890314752 14172 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1539.35
Current children cumulated vsize (KiB) 869448
[startup+1602.3 s]
/proc/loadavg: 2.08 2.10 2.00 3/90 28261
/proc/meminfo: memFree=1725280/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=869448 CPUtime=1599.32
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 22984 339 1 0 159915 16 1 0 18 0 9 0 27842479 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 217362 14173 2660 9 0 211798 0
[pid=28207/tid=28209] ppid=28205 vsize=869448 CPUtime=1598.87
/proc/28207/task/28209/stat : 28209 (java) R 28205 28207 26046 0 -1 64 15324 339 1 0 159874 12 1 0 25 0 9 0 27842480 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4127146291 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28210] ppid=28205 vsize=869448 CPUtime=0.08
/proc/28207/task/28210/stat : 28210 (java) S 28205 28207 26046 0 -1 64 5748 339 0 0 6 1 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28211] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28211/stat : 28211 (java) S 28205 28207 26046 0 -1 64 19 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28212] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28212/stat : 28212 (java) S 28205 28207 26046 0 -1 64 12 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28213] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28213/stat : 28213 (java) S 28205 28207 26046 0 -1 64 2 339 0 0 0 0 1 0 24 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28214] ppid=28205 vsize=869448 CPUtime=0.36
/proc/28207/task/28214/stat : 28214 (java) S 28205 28207 26046 0 -1 64 1041 339 0 0 34 1 1 0 16 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28215] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28215/stat : 28215 (java) S 28205 28207 26046 0 -1 64 0 339 0 0 0 0 1 0 25 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28216] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28216/stat : 28216 (java) S 28205 28207 26046 0 -1 64 35 339 0 0 0 0 1 0 15 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1599.32
Current children cumulated vsize (KiB) 869448
[startup+1662.3 s]
/proc/loadavg: 2.03 2.08 2.00 3/90 28261
/proc/meminfo: memFree=1725216/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=869448 CPUtime=1659.3
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 22984 339 1 0 165913 16 1 0 18 0 9 0 27842479 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 217362 14173 2660 9 0 211798 0
[pid=28207/tid=28209] ppid=28205 vsize=869448 CPUtime=1658.84
/proc/28207/task/28209/stat : 28209 (java) R 28205 28207 26046 0 -1 64 15324 339 1 0 165871 12 1 0 25 0 9 0 27842480 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4127135051 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28210] ppid=28205 vsize=869448 CPUtime=0.08
/proc/28207/task/28210/stat : 28210 (java) S 28205 28207 26046 0 -1 64 5748 339 0 0 6 1 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28211] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28211/stat : 28211 (java) S 28205 28207 26046 0 -1 64 19 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28212] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28212/stat : 28212 (java) S 28205 28207 26046 0 -1 64 12 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28213] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28213/stat : 28213 (java) S 28205 28207 26046 0 -1 64 2 339 0 0 0 0 1 0 24 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28214] ppid=28205 vsize=869448 CPUtime=0.36
/proc/28207/task/28214/stat : 28214 (java) S 28205 28207 26046 0 -1 64 1041 339 0 0 34 1 1 0 16 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28215] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28215/stat : 28215 (java) S 28205 28207 26046 0 -1 64 0 339 0 0 0 0 1 0 25 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28216] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28216/stat : 28216 (java) S 28205 28207 26046 0 -1 64 35 339 0 0 0 0 1 0 15 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1659.3
Current children cumulated vsize (KiB) 869448
[startup+1722.3 s]
/proc/loadavg: 2.01 2.06 2.00 3/90 28261
/proc/meminfo: memFree=1725216/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=869448 CPUtime=1719.27
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 22984 339 1 0 171910 16 1 0 18 0 9 0 27842479 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 217362 14173 2660 9 0 211798 0
[pid=28207/tid=28209] ppid=28205 vsize=869448 CPUtime=1718.82
/proc/28207/task/28209/stat : 28209 (java) R 28205 28207 26046 0 -1 64 15324 339 1 0 171869 12 1 0 25 0 9 0 27842480 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4126889372 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28210] ppid=28205 vsize=869448 CPUtime=0.08
/proc/28207/task/28210/stat : 28210 (java) S 28205 28207 26046 0 -1 64 5748 339 0 0 6 1 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28211] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28211/stat : 28211 (java) S 28205 28207 26046 0 -1 64 19 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28212] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28212/stat : 28212 (java) S 28205 28207 26046 0 -1 64 12 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28213] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28213/stat : 28213 (java) S 28205 28207 26046 0 -1 64 2 339 0 0 0 0 1 0 24 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28214] ppid=28205 vsize=869448 CPUtime=0.36
/proc/28207/task/28214/stat : 28214 (java) S 28205 28207 26046 0 -1 64 1041 339 0 0 34 1 1 0 16 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28215] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28215/stat : 28215 (java) S 28205 28207 26046 0 -1 64 0 339 0 0 0 0 1 0 25 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28216] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28216/stat : 28216 (java) S 28205 28207 26046 0 -1 64 35 339 0 0 0 0 1 0 15 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1719.27
Current children cumulated vsize (KiB) 869448
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.00 3/90 28261
/proc/meminfo: memFree=1725152/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=869448 CPUtime=1779.24
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 22984 339 1 0 177907 16 1 0 18 0 9 0 27842479 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 217362 14173 2660 9 0 211798 0
[pid=28207/tid=28209] ppid=28205 vsize=869448 CPUtime=1778.79
/proc/28207/task/28209/stat : 28209 (java) R 28205 28207 26046 0 -1 64 15324 339 1 0 177866 12 1 0 25 0 9 0 27842480 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4127123111 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28210] ppid=28205 vsize=869448 CPUtime=0.08
/proc/28207/task/28210/stat : 28210 (java) S 28205 28207 26046 0 -1 64 5748 339 0 0 6 1 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28211] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28211/stat : 28211 (java) S 28205 28207 26046 0 -1 64 19 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28212] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28212/stat : 28212 (java) S 28205 28207 26046 0 -1 64 12 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28213] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28213/stat : 28213 (java) S 28205 28207 26046 0 -1 64 2 339 0 0 0 0 1 0 24 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28214] ppid=28205 vsize=869448 CPUtime=0.36
/proc/28207/task/28214/stat : 28214 (java) S 28205 28207 26046 0 -1 64 1041 339 0 0 34 1 1 0 16 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28215] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28215/stat : 28215 (java) S 28205 28207 26046 0 -1 64 0 339 0 0 0 0 1 0 25 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28216] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28216/stat : 28216 (java) S 28205 28207 26046 0 -1 64 35 339 0 0 0 0 1 0 15 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1779.24
Current children cumulated vsize (KiB) 869448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.1 s]
/proc/loadavg: 2.00 2.04 2.00 3/90 28261
/proc/meminfo: memFree=1725216/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=869448 CPUtime=1800.04
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 22984 339 1 0 179987 16 1 0 18 0 9 0 27842479 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 217362 14173 2660 9 0 211798 0
[pid=28207/tid=28209] ppid=28205 vsize=869448 CPUtime=1799.59
/proc/28207/task/28209/stat : 28209 (java) R 28205 28207 26046 0 -1 64 15324 339 1 0 179946 12 1 0 25 0 9 0 27842480 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4126889463 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28210] ppid=28205 vsize=869448 CPUtime=0.08
/proc/28207/task/28210/stat : 28210 (java) S 28205 28207 26046 0 -1 64 5748 339 0 0 6 1 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28211] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28211/stat : 28211 (java) S 28205 28207 26046 0 -1 64 19 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28212] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28212/stat : 28212 (java) S 28205 28207 26046 0 -1 64 12 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28213] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28213/stat : 28213 (java) S 28205 28207 26046 0 -1 64 2 339 0 0 0 0 1 0 24 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28214] ppid=28205 vsize=869448 CPUtime=0.36
/proc/28207/task/28214/stat : 28214 (java) S 28205 28207 26046 0 -1 64 1041 339 0 0 34 1 1 0 16 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28215] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28215/stat : 28215 (java) S 28205 28207 26046 0 -1 64 0 339 0 0 0 0 1 0 25 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28216] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28216/stat : 28216 (java) S 28205 28207 26046 0 -1 64 35 339 0 0 0 0 1 0 15 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 869448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1803.1 s]
/proc/loadavg: 2.00 2.04 2.00 3/90 28261
/proc/meminfo: memFree=1725216/2055920 swapFree=4192812/4192956
[pid=28207] ppid=28205 vsize=869448 CPUtime=1800.04
/proc/28207/stat : 28207 (java) S 28205 28207 26046 0 -1 0 22984 339 1 0 179987 16 1 0 18 0 9 0 27842479 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28207/statm: 217362 14173 2660 9 0 211798 0
[pid=28207/tid=28209] ppid=28205 vsize=869448 CPUtime=1799.59
/proc/28207/task/28209/stat : 28209 (java) R 28205 28207 26046 0 -1 64 15324 339 1 0 179946 12 1 0 25 0 9 0 27842480 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4126889463 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28210] ppid=28205 vsize=869448 CPUtime=0.08
/proc/28207/task/28210/stat : 28210 (java) S 28205 28207 26046 0 -1 64 5748 339 0 0 6 1 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28211] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28211/stat : 28211 (java) S 28205 28207 26046 0 -1 64 19 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28212] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28212/stat : 28212 (java) S 28205 28207 26046 0 -1 64 12 339 0 0 0 0 1 0 16 0 9 0 27842481 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28207/tid=28213] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28213/stat : 28213 (java) S 28205 28207 26046 0 -1 64 2 339 0 0 0 0 1 0 24 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28214] ppid=28205 vsize=869448 CPUtime=0.36
/proc/28207/task/28214/stat : 28214 (java) S 28205 28207 26046 0 -1 64 1041 339 0 0 34 1 1 0 16 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28215] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28215/stat : 28215 (java) S 28205 28207 26046 0 -1 64 0 339 0 0 0 0 1 0 25 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28207/tid=28216] ppid=28205 vsize=869448 CPUtime=0.01
/proc/28207/task/28216/stat : 28216 (java) S 28205 28207 26046 0 -1 64 35 339 0 0 0 0 1 0 15 0 9 0 27842483 890314752 14173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 869448
Child status: 143
Real time (s): 1803.18
CPU time (s): 1800.14
CPU user time (s): 1799.96
CPU system time (s): 0.180972
CPU usage (%): 99.8314
Max. virtual memory (cumulated for all children) (KiB): 869448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.180972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23355
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= 37959
involuntary context switches= 48376
runsolver used 2.48262 second user time and 6.00809 second system time
The end
Begin job on node54 at 2009-07-12 16:09:37
IDJOB=2095570
IDBENCH=55431
IDSOLVER=774
FILE ID=node54/2095570-1247407777
PBS_JOBID= 9510538
Free space on /tmp= 66408 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/golombRulerArity4/normalized-ruler-67-12-a4.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-2095570-1247407777/watcher-2095570-1247407777 -o /tmp/evaluation-result-2095570-1247407777/solver-2095570-1247407777 -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-2095570-1247407777.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 392a4a957087c54a1fc308e1f7b31eeb
RANDOM SEED=1309251996
node54.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: 1579032 kB
Buffers: 38268 kB
Cached: 128740 kB
SwapCached: 0 kB
Active: 342248 kB
Inactive: 80660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1579032 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2408 kB
Writeback: 0 kB
Mapped: 276308 kB
Slab: 38672 kB
Committed_AS: 997884 kB
PageTables: 2224 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= 66408 MiB
End job on node54 at 2009-07-12 16:39:42