0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=esac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-1060547-1215127339.xml
0.29/0.32
0.29/0.32 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.29/0.38 nbVariables=199 nbDomainTypes=2 minDomainSize=99 maxDomainSize=100 nbTotalValues=19801
0.29/0.38 => wckTime=0.134 cpuTime=0.12 mem=8M894
0.29/0.38
0.29/0.38 predicates being loaded...
0.38/0.44
0.38/0.44 constraints being loaded...
2.57/2.61 nbConstraints=9903 nbGlobalConstraints=3 nbConvertedConstraints=9801 nbConvertConstraintsChecks=29801
2.57/2.61 nbExtensionStructures=3 nbSharedExtensionStructures=9798 nbConflictsStructures=3
2.57/2.61 nbSharedConflictsStructures=9798 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=199
2.57/2.61 nbEvaluationManagers=1 nbSharedEvaluationManagers=98 minDegree=100 maxDegree=103 minArity=2 avgArity=2.05
2.57/2.61 maxArity=198 nbGenerators=1 nbFusions=1 symmetryWckTime=0.555 symmetryCpuTime=0.33 nbCliques=2
2.57/2.61 => wckTime=2.363 cpuTime=1.87 mem=31M302
2.66/2.76
2.66/2.76 solver IterativeSystematicSolver being built...
2.76/2.85
2.76/2.85 INFO : Forward propagation technique limited
2.87/2.94 => wckTime=2.689 cpuTime=2.01 mem=32M79
178.77/180.49
178.77/180.49 INFO : Stopping ESAC
178.77/180.49
178.77/180.49 preprocessing
178.77/180.49 nbConstraintChecks=711902137 nbValidityChecks=1841749 nbPropagations=16541 nbRevisions=35730
178.77/180.49 nbUselessRevisions=19324 nbSingletonTests=138 nbEffectiveSingletonTests=0 nbACRemovals=2 nbFoundSingletons=0
178.77/180.49 nbRemovedValues=2 nbRemovedTuples=4950 detectedInconsistency=no
178.77/180.49 => wckTime=177.546 cpuTime=175.9 mem=32M79
251.87/254.28
251.87/254.28 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=34M134)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060547-1215127339/watcher-1060547-1215127339 -o /tmp/evaluation-result-1060547-1215127339/solver-1060547-1215127339 -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-1060547-1215127339.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: 1.99 1.96 1.67 3/74 24049
/proc/meminfo: memFree=1353760/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=1616 CPUtime=0
/proc/24049/stat : 24049 (java) D 24047 24049 21864 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 1542407976 1654784 145 996147200 134512640 134550740 4294956144 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/24049/statm: 404 145 119 9 0 46 0
[startup+0.056182 s]
/proc/loadavg: 1.99 1.96 1.67 3/74 24049
/proc/meminfo: memFree=1353760/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=863916 CPUtime=0.04
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 2703 0 1 0 3 1 0 0 18 0 9 0 1542407976 884649984 2255 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 215979 2257 1086 9 0 210936 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 863916
[startup+0.101191 s]
/proc/loadavg: 1.99 1.96 1.67 3/74 24049
/proc/meminfo: memFree=1353760/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=865884 CPUtime=0.08
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 3694 0 1 0 6 2 0 0 18 0 9 0 1542407976 886665216 3169 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 216471 3169 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301223 s]
/proc/loadavg: 1.99 1.96 1.67 3/74 24049
/proc/meminfo: memFree=1353760/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=866284 CPUtime=0.29
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 5868 0 1 0 25 4 0 0 18 0 9 0 1542407976 887074816 5242 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 216571 5242 1953 9 0 211099 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866284
[startup+0.701292 s]
/proc/loadavg: 1.99 1.96 1.67 3/74 24049
/proc/meminfo: memFree=1353760/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=867676 CPUtime=0.68
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 9020 0 1 0 62 6 0 0 18 0 9 0 1542407976 888500224 8380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 216919 8381 2011 9 0 211425 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867676
[startup+1.50243 s]
/proc/loadavg: 1.99 1.96 1.67 3/83 24058
/proc/meminfo: memFree=1310424/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=867676 CPUtime=1.48
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 16057 0 1 0 121 27 0 0 18 0 9 0 1542407976 888500224 15414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 216920 15414 2014 9 0 211426 0
[pid=24049/tid=24051] ppid=24047 vsize=867676 CPUtime=1.26
/proc/24049/task/24051/stat : 24051 (java) R 24047 24049 21864 0 -1 64 14658 0 1 0 100 26 0 0 25 0 9 0 1542407977 888500224 15415 996147200 134512640 134550740 4294955968 18446744073709551615 4126893946 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24052] ppid=24047 vsize=867680 CPUtime=0
/proc/24049/task/24052/stat : 24052 (java) S 24047 24049 21864 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 1542407979 888504320 15415 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24053] ppid=24047 vsize=867676 CPUtime=0
/proc/24049/task/24053/stat : 24053 (java) S 24047 24049 21864 0 -1 64 9 0 0 0 0 0 0 0 21 0 9 0 1542407979 888500224 15415 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24054] ppid=24047 vsize=867676 CPUtime=0
/proc/24049/task/24054/stat : 24054 (java) S 24047 24049 21864 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 1542407979 888500224 15415 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24055] ppid=24047 vsize=867676 CPUtime=0
/proc/24049/task/24055/stat : 24055 (java) S 24047 24049 21864 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1542407981 888500224 15416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24056] ppid=24047 vsize=867676 CPUtime=0.2
/proc/24049/task/24056/stat : 24056 (java) S 24047 24049 21864 0 -1 64 703 0 0 0 20 0 0 0 16 0 9 0 1542407981 888500224 15416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24057] ppid=24047 vsize=867680 CPUtime=0
/proc/24049/task/24057/stat : 24057 (java) S 24047 24049 21864 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 1542407981 888504320 15416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24058] ppid=24047 vsize=867676 CPUtime=0
/proc/24049/task/24058/stat : 24058 (java) S 24047 24049 21864 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1542407981 888500224 15416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867676
[startup+3.1027 s]
/proc/loadavg: 1.99 1.96 1.67 4/83 24058
/proc/meminfo: memFree=1286488/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=868100 CPUtime=3.06
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 32053 826 1 0 235 54 16 1 18 0 9 0 1542407976 888934400 21666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 217025 21666 2638 9 0 211531 0
[pid=24049/tid=24051] ppid=24047 vsize=868100 CPUtime=2.5
/proc/24049/task/24051/stat : 24051 (java) R 24047 24049 21864 0 -1 64 23017 826 1 0 183 50 16 1 20 0 9 0 1542407977 888934400 21666 996147200 134512640 134550740 4294955968 18446744073709551615 4127187440 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24052] ppid=24047 vsize=868100 CPUtime=0.41
/proc/24049/task/24052/stat : 24052 (java) S 24047 24049 21864 0 -1 64 7276 826 0 0 22 2 16 1 18 0 9 0 1542407979 888934400 21666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24053] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24053/stat : 24053 (java) S 24047 24049 21864 0 -1 64 14 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24054] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24054/stat : 24054 (java) S 24047 24049 21864 0 -1 64 8 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24055] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24055/stat : 24055 (java) S 24047 24049 21864 0 -1 64 1 826 0 0 0 0 16 1 23 0 9 0 1542407981 888934400 21666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24056] ppid=24047 vsize=868100 CPUtime=0.46
/proc/24049/task/24056/stat : 24056 (java) S 24047 24049 21864 0 -1 64 924 826 0 0 29 0 16 1 15 0 9 0 1542407981 888934400 21666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24057] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24057/stat : 24057 (java) S 24047 24049 21864 0 -1 64 2 826 0 0 0 0 16 1 24 0 9 0 1542407981 888934400 21666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24058] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24058/stat : 24058 (java) S 24047 24049 21864 0 -1 64 9 826 0 0 0 0 16 1 15 0 9 0 1542407981 888934400 21666 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868100
[startup+6.30125 s]
/proc/loadavg: 1.99 1.96 1.67 3/83 24062
/proc/meminfo: memFree=1276056/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=868100 CPUtime=6.23
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 32095 826 1 0 552 54 16 1 18 0 9 0 1542407976 888934400 21674 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 217025 21674 2638 9 0 211531 0
[pid=24049/tid=24051] ppid=24047 vsize=868100 CPUtime=5.66
/proc/24049/task/24051/stat : 24051 (java) R 24047 24049 21864 0 -1 64 23020 826 1 0 499 50 16 1 17 0 9 0 1542407977 888934400 21674 996147200 134512640 134550740 4294955968 18446744073709551615 4127181076 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24052] ppid=24047 vsize=868100 CPUtime=0.41
/proc/24049/task/24052/stat : 24052 (java) S 24047 24049 21864 0 -1 64 7276 826 0 0 22 2 16 1 16 0 9 0 1542407979 888934400 21674 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24053] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24053/stat : 24053 (java) S 24047 24049 21864 0 -1 64 14 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21674 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24054] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24054/stat : 24054 (java) S 24047 24049 21864 0 -1 64 8 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21674 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24055] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24055/stat : 24055 (java) S 24047 24049 21864 0 -1 64 1 826 0 0 0 0 16 1 23 0 9 0 1542407981 888934400 21674 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24056] ppid=24047 vsize=868100 CPUtime=0.47
/proc/24049/task/24056/stat : 24056 (java) S 24047 24049 21864 0 -1 64 933 826 0 0 30 0 16 1 16 0 9 0 1542407981 888934400 21674 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24057] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24057/stat : 24057 (java) S 24047 24049 21864 0 -1 64 2 826 0 0 0 0 16 1 24 0 9 0 1542407981 888934400 21674 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24058] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24058/stat : 24058 (java) S 24047 24049 21864 0 -1 64 39 826 0 0 0 0 16 1 15 0 9 0 1542407981 888934400 21674 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 868100
[startup+12.7024 s]
/proc/loadavg: 1.99 1.96 1.68 3/83 24062
/proc/meminfo: memFree=1275288/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=868100 CPUtime=12.58
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 32104 826 1 0 1186 55 16 1 18 0 9 0 1542407976 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 217025 21679 2638 9 0 211531 0
[pid=24049/tid=24051] ppid=24047 vsize=868100 CPUtime=11.99
/proc/24049/task/24051/stat : 24051 (java) R 24047 24049 21864 0 -1 64 23021 826 1 0 1132 50 16 1 20 0 9 0 1542407977 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4127187526 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24052] ppid=24047 vsize=868100 CPUtime=0.41
/proc/24049/task/24052/stat : 24052 (java) S 24047 24049 21864 0 -1 64 7276 826 0 0 22 2 16 1 16 0 9 0 1542407979 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24053] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24053/stat : 24053 (java) S 24047 24049 21864 0 -1 64 14 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24054] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24054/stat : 24054 (java) S 24047 24049 21864 0 -1 64 8 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24055] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24055/stat : 24055 (java) S 24047 24049 21864 0 -1 64 1 826 0 0 0 0 16 1 23 0 9 0 1542407981 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24056] ppid=24047 vsize=868100 CPUtime=0.48
/proc/24049/task/24056/stat : 24056 (java) S 24047 24049 21864 0 -1 64 941 826 0 0 31 0 16 1 16 0 9 0 1542407981 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24057] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24057/stat : 24057 (java) S 24047 24049 21864 0 -1 64 2 826 0 0 0 0 16 1 24 0 9 0 1542407981 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24058] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24058/stat : 24058 (java) S 24047 24049 21864 0 -1 64 39 826 0 0 0 0 16 1 15 0 9 0 1542407981 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 868100
[startup+25.5016 s]
/proc/loadavg: 1.99 1.96 1.68 3/83 24062
/proc/meminfo: memFree=1273752/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=868100 CPUtime=25.25
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 32104 826 1 0 2453 55 16 1 18 0 9 0 1542407976 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 217025 21679 2638 9 0 211531 0
[pid=24049/tid=24051] ppid=24047 vsize=868100 CPUtime=24.66
/proc/24049/task/24051/stat : 24051 (java) R 24047 24049 21864 0 -1 64 23021 826 1 0 2399 50 16 1 25 0 9 0 1542407977 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4127188077 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24052] ppid=24047 vsize=868100 CPUtime=0.41
/proc/24049/task/24052/stat : 24052 (java) S 24047 24049 21864 0 -1 64 7276 826 0 0 22 2 16 1 16 0 9 0 1542407979 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24053] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24053/stat : 24053 (java) S 24047 24049 21864 0 -1 64 14 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24054] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24054/stat : 24054 (java) S 24047 24049 21864 0 -1 64 8 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24055] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24055/stat : 24055 (java) S 24047 24049 21864 0 -1 64 1 826 0 0 0 0 16 1 23 0 9 0 1542407981 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24056] ppid=24047 vsize=868100 CPUtime=0.48
/proc/24049/task/24056/stat : 24056 (java) S 24047 24049 21864 0 -1 64 941 826 0 0 31 0 16 1 15 0 9 0 1542407981 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24057] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24057/stat : 24057 (java) S 24047 24049 21864 0 -1 64 2 826 0 0 0 0 16 1 24 0 9 0 1542407981 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24058] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24058/stat : 24058 (java) S 24047 24049 21864 0 -1 64 39 826 0 0 0 0 16 1 15 0 9 0 1542407981 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 868100
[startup+51.102 s]
/proc/loadavg: 1.99 1.96 1.69 3/83 24062
/proc/meminfo: memFree=1270040/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=868100 CPUtime=50.63
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 32104 826 1 0 4991 55 16 1 18 0 9 0 1542407976 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 217025 21679 2638 9 0 211531 0
[pid=24049/tid=24051] ppid=24047 vsize=868100 CPUtime=50.04
/proc/24049/task/24051/stat : 24051 (java) R 24047 24049 21864 0 -1 64 23021 826 1 0 4937 50 16 1 25 0 9 0 1542407977 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4127181123 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24052] ppid=24047 vsize=868100 CPUtime=0.41
/proc/24049/task/24052/stat : 24052 (java) S 24047 24049 21864 0 -1 64 7276 826 0 0 22 2 16 1 16 0 9 0 1542407979 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24053] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24053/stat : 24053 (java) S 24047 24049 21864 0 -1 64 14 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24054] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24054/stat : 24054 (java) S 24047 24049 21864 0 -1 64 8 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24055] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24055/stat : 24055 (java) S 24047 24049 21864 0 -1 64 1 826 0 0 0 0 16 1 23 0 9 0 1542407981 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24056] ppid=24047 vsize=868100 CPUtime=0.48
/proc/24049/task/24056/stat : 24056 (java) S 24047 24049 21864 0 -1 64 941 826 0 0 31 0 16 1 15 0 9 0 1542407981 888934400 21679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24057] ppid=24047 vsize=868100 CPUtime=0.17
################
# More data... #
################
/proc/24049/task/24054/stat : 24054 (java) S 24047 24049 21864 0 -1 64 8 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24055] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24055/stat : 24055 (java) S 24047 24049 21864 0 -1 64 1 826 0 0 0 0 16 1 23 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24056] ppid=24047 vsize=868100 CPUtime=0.55
/proc/24049/task/24056/stat : 24056 (java) S 24047 24049 21864 0 -1 64 1042 826 0 0 38 0 16 1 16 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24057] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24057/stat : 24057 (java) S 24047 24049 21864 0 -1 64 2 826 0 0 0 0 16 1 24 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24058] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24058/stat : 24058 (java) S 24047 24049 21864 0 -1 64 39 826 0 0 0 0 16 1 15 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1473.8
Current children cumulated vsize (KiB) 868100
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.90 3/83 24115
/proc/meminfo: memFree=1477656/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=868100 CPUtime=1533.75
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 32376 826 1 0 153300 58 16 1 18 0 9 0 1542407976 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 217025 21722 2638 9 0 211531 0
[pid=24049/tid=24051] ppid=24047 vsize=868100 CPUtime=1533.08
/proc/24049/task/24051/stat : 24051 (java) R 24047 24049 21864 0 -1 64 23192 826 1 0 153238 53 16 1 25 0 9 0 1542407977 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4127185010 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24052] ppid=24047 vsize=868100 CPUtime=0.41
/proc/24049/task/24052/stat : 24052 (java) S 24047 24049 21864 0 -1 64 7276 826 0 0 22 2 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24053] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24053/stat : 24053 (java) S 24047 24049 21864 0 -1 64 14 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24054] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24054/stat : 24054 (java) S 24047 24049 21864 0 -1 64 8 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24055] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24055/stat : 24055 (java) S 24047 24049 21864 0 -1 64 1 826 0 0 0 0 16 1 23 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24056] ppid=24047 vsize=868100 CPUtime=0.55
/proc/24049/task/24056/stat : 24056 (java) S 24047 24049 21864 0 -1 64 1042 826 0 0 38 0 16 1 16 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24057] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24057/stat : 24057 (java) S 24047 24049 21864 0 -1 64 2 826 0 0 0 0 16 1 24 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24058] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24058/stat : 24058 (java) S 24047 24049 21864 0 -1 64 39 826 0 0 0 0 16 1 15 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1533.75
Current children cumulated vsize (KiB) 868100
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/83 24115
/proc/meminfo: memFree=1477592/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=868100 CPUtime=1593.7
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 32376 826 1 0 159295 58 16 1 18 0 9 0 1542407976 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 217025 21722 2638 9 0 211531 0
[pid=24049/tid=24051] ppid=24047 vsize=868100 CPUtime=1593.03
/proc/24049/task/24051/stat : 24051 (java) R 24047 24049 21864 0 -1 64 23192 826 1 0 159233 53 16 1 25 0 9 0 1542407977 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4127181156 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24052] ppid=24047 vsize=868100 CPUtime=0.41
/proc/24049/task/24052/stat : 24052 (java) S 24047 24049 21864 0 -1 64 7276 826 0 0 22 2 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24053] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24053/stat : 24053 (java) S 24047 24049 21864 0 -1 64 14 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24054] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24054/stat : 24054 (java) S 24047 24049 21864 0 -1 64 8 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24055] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24055/stat : 24055 (java) S 24047 24049 21864 0 -1 64 1 826 0 0 0 0 16 1 23 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24056] ppid=24047 vsize=868100 CPUtime=0.55
/proc/24049/task/24056/stat : 24056 (java) S 24047 24049 21864 0 -1 64 1042 826 0 0 38 0 16 1 16 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24057] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24057/stat : 24057 (java) S 24047 24049 21864 0 -1 64 2 826 0 0 0 0 16 1 24 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24058] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24058/stat : 24058 (java) S 24047 24049 21864 0 -1 64 39 826 0 0 0 0 16 1 15 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.7
Current children cumulated vsize (KiB) 868100
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/83 24115
/proc/meminfo: memFree=1477464/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=868100 CPUtime=1653.64
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 32376 826 1 0 165289 58 16 1 18 0 9 0 1542407976 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 217025 21722 2638 9 0 211531 0
[pid=24049/tid=24051] ppid=24047 vsize=868100 CPUtime=1652.97
/proc/24049/task/24051/stat : 24051 (java) R 24047 24049 21864 0 -1 64 23192 826 1 0 165227 53 16 1 25 0 9 0 1542407977 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4127186919 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24052] ppid=24047 vsize=868100 CPUtime=0.41
/proc/24049/task/24052/stat : 24052 (java) S 24047 24049 21864 0 -1 64 7276 826 0 0 22 2 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24053] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24053/stat : 24053 (java) S 24047 24049 21864 0 -1 64 14 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24054] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24054/stat : 24054 (java) S 24047 24049 21864 0 -1 64 8 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24055] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24055/stat : 24055 (java) S 24047 24049 21864 0 -1 64 1 826 0 0 0 0 16 1 23 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24056] ppid=24047 vsize=868100 CPUtime=0.55
/proc/24049/task/24056/stat : 24056 (java) S 24047 24049 21864 0 -1 64 1042 826 0 0 38 0 16 1 16 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24057] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24057/stat : 24057 (java) S 24047 24049 21864 0 -1 64 2 826 0 0 0 0 16 1 24 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24058] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24058/stat : 24058 (java) S 24047 24049 21864 0 -1 64 39 826 0 0 0 0 16 1 15 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.64
Current children cumulated vsize (KiB) 868100
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/83 24115
/proc/meminfo: memFree=1477400/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=868100 CPUtime=1713.59
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 32376 826 1 0 171284 58 16 1 18 0 9 0 1542407976 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 217025 21722 2638 9 0 211531 0
[pid=24049/tid=24051] ppid=24047 vsize=868100 CPUtime=1712.93
/proc/24049/task/24051/stat : 24051 (java) R 24047 24049 21864 0 -1 64 23192 826 1 0 171222 54 16 1 25 0 9 0 1542407977 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4127055000 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24052] ppid=24047 vsize=868100 CPUtime=0.41
/proc/24049/task/24052/stat : 24052 (java) S 24047 24049 21864 0 -1 64 7276 826 0 0 22 2 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24053] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24053/stat : 24053 (java) S 24047 24049 21864 0 -1 64 14 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24054] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24054/stat : 24054 (java) S 24047 24049 21864 0 -1 64 8 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24055] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24055/stat : 24055 (java) S 24047 24049 21864 0 -1 64 1 826 0 0 0 0 16 1 23 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24056] ppid=24047 vsize=868100 CPUtime=0.55
/proc/24049/task/24056/stat : 24056 (java) S 24047 24049 21864 0 -1 64 1042 826 0 0 38 0 16 1 16 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24057] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24057/stat : 24057 (java) S 24047 24049 21864 0 -1 64 2 826 0 0 0 0 16 1 24 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24058] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24058/stat : 24058 (java) S 24047 24049 21864 0 -1 64 39 826 0 0 0 0 16 1 15 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.59
Current children cumulated vsize (KiB) 868100
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/83 24115
/proc/meminfo: memFree=1477208/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=868100 CPUtime=1773.53
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 32383 826 1 0 177278 58 16 1 18 0 9 0 1542407976 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 217025 21722 2638 9 0 211531 0
[pid=24049/tid=24051] ppid=24047 vsize=868100 CPUtime=1772.88
/proc/24049/task/24051/stat : 24051 (java) R 24047 24049 21864 0 -1 64 23199 826 1 0 177217 54 16 1 25 0 9 0 1542407977 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4127188076 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24052] ppid=24047 vsize=868100 CPUtime=0.41
/proc/24049/task/24052/stat : 24052 (java) S 24047 24049 21864 0 -1 64 7276 826 0 0 22 2 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24053] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24053/stat : 24053 (java) S 24047 24049 21864 0 -1 64 14 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24054] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24054/stat : 24054 (java) S 24047 24049 21864 0 -1 64 8 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24055] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24055/stat : 24055 (java) S 24047 24049 21864 0 -1 64 1 826 0 0 0 0 16 1 23 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24056] ppid=24047 vsize=868100 CPUtime=0.55
/proc/24049/task/24056/stat : 24056 (java) S 24047 24049 21864 0 -1 64 1042 826 0 0 38 0 16 1 16 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24057] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24057/stat : 24057 (java) S 24047 24049 21864 0 -1 64 2 826 0 0 0 0 16 1 24 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24058] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24058/stat : 24058 (java) S 24047 24049 21864 0 -1 64 39 826 0 0 0 0 16 1 15 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.53
Current children cumulated vsize (KiB) 868100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.8 s]
/proc/loadavg: 1.99 1.97 1.91 3/83 24115
/proc/meminfo: memFree=1477208/2055920 swapFree=4121284/4192956
[pid=24049] ppid=24047 vsize=868100 CPUtime=1800.01
/proc/24049/stat : 24049 (java) S 24047 24049 21864 0 -1 0 32383 826 1 0 179926 58 16 1 18 0 9 0 1542407976 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24049/statm: 217025 21722 2638 9 0 211531 0
[pid=24049/tid=24051] ppid=24047 vsize=868100 CPUtime=1799.35
/proc/24049/task/24051/stat : 24051 (java) R 24047 24049 21864 0 -1 64 23199 826 1 0 179864 54 16 1 25 0 9 0 1542407977 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4126869837 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24052] ppid=24047 vsize=868100 CPUtime=0.41
/proc/24049/task/24052/stat : 24052 (java) S 24047 24049 21864 0 -1 64 7276 826 0 0 22 2 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24053] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24053/stat : 24053 (java) S 24047 24049 21864 0 -1 64 14 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24054] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24054/stat : 24054 (java) S 24047 24049 21864 0 -1 64 8 826 0 0 0 0 16 1 16 0 9 0 1542407979 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24049/tid=24055] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24055/stat : 24055 (java) S 24047 24049 21864 0 -1 64 1 826 0 0 0 0 16 1 23 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24056] ppid=24047 vsize=868100 CPUtime=0.55
/proc/24049/task/24056/stat : 24056 (java) S 24047 24049 21864 0 -1 64 1042 826 0 0 38 0 16 1 16 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24057] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24057/stat : 24057 (java) S 24047 24049 21864 0 -1 64 2 826 0 0 0 0 16 1 24 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24049/tid=24058] ppid=24047 vsize=868100 CPUtime=0.17
/proc/24049/task/24058/stat : 24058 (java) S 24047 24049 21864 0 -1 64 39 826 0 0 0 0 16 1 15 0 9 0 1542407981 888934400 21722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 868100
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): 1808.86
CPU time (s): 1800.1
CPU user time (s): 1799.47
CPU system time (s): 0.620905
CPU usage (%): 99.5155
Max. virtual memory (cumulated for all children) (KiB): 868244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.620905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33242
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= 38663
involuntary context switches= 42637
runsolver used 2.35664 second user time and 5.88011 second system time
The end
Begin job on node14 at 2008-07-04 01:22:19
IDJOB=1060547
IDBENCH=54460
IDSOLVER=364
FILE ID=node14/1060547-1215127339
PBS_JOBID= 7877175
Free space on /tmp= 66504 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/allIntervalSeries/normalized-series-100.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-1060547-1215127339/watcher-1060547-1215127339 -o /tmp/evaluation-result-1060547-1215127339/solver-1060547-1215127339 -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-1060547-1215127339.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 55150c4600f99bca659f929bb418a24c
RANDOM SEED=766496949
node14.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.267
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.267
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1354240 kB
Buffers: 42820 kB
Cached: 316304 kB
SwapCached: 65808 kB
Active: 469284 kB
Inactive: 168524 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1354240 kB
SwapTotal: 4192956 kB
SwapFree: 4121284 kB
Dirty: 3284 kB
Writeback: 0 kB
Mapped: 285876 kB
Slab: 48592 kB
Committed_AS: 3165952 kB
PageTables: 2404 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= 66528 MiB
End job on node14 at 2008-07-04 01:52:30