0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/249142-1168402568/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=100 nbDomainTypes=1 minDomainSize=46 maxDomainSize=46
0.43 => wckTime=0.113 cpuTime=0.1 mem=6M951
0.43
0.43 predicates being loaded...
0.50
0.50 constraints being loaded...
0.90 nbConstraints=80 nbConflictsStructures=6 nbSharedConflictsStructures=0 nbUnbuiltConflictsStructures=74
0.90 nbSharedBinaryRepresentations=0 nbEvaluationManagers=80 nbSharedEvaluationManagers=0 maxDegree=10 maxArity=8
0.90 => wckTime=0.584 cpuTime=0.49 mem=11M827
0.94
0.94 solver IterativeSystematicSolver being built...
1.13 => wckTime=0.807 cpuTime=0.64 mem=16M504
12.68
12.68 preprocessing
12.68 nbConstraintChecks=19363784 nbValidityChecks=20987 nbPropagations=1198 nbRevisions=1118 nbUselessRevisions=269
12.68 nbSingletonTests=351 nbEffectiveSingletonTests=87 nbESACBranches=23 nbRemovedValues=369
12.68 detectedInconsistency=no
12.68 => wckTime=11.549 cpuTime=11.46 mem=16M504
13.72
13.73 search
13.73 run=0 nbConstraintChecks=1602307 nbValidityChecks=5681 nbPropagations=1543 nbRevisions=1544
13.73 nbUselessRevisions=363 nbAssignments=42 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=51
13.73 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
13.73 => wckTime=12.598 cpuTime=12.48 mem=16M504
15.50
15.50 search
15.50 run=1 nbConstraintChecks=4524086 nbValidityChecks=16638 nbPropagations=3656 nbRevisions=3814
15.50 nbUselessRevisions=919 nbAssignments=128 nbFailedAssignments=23 nbBacktracks=28 nbVisitedNodes=115
15.50 nbRestartNogoods=4 mapSize=24 nbInferences=0 nbTooLargeKeys=0
15.50 => wckTime=14.372 cpuTime=14.25 mem=16M504
18.45
18.45 search
18.46 run=2 nbConstraintChecks=9404204 nbValidityChecks=29473 nbPropagations=6291 nbRevisions=6891
18.46 nbUselessRevisions=1627 nbAssignments=190 nbFailedAssignments=43 nbBacktracks=53 nbVisitedNodes=198
18.46 nbRestartNogoods=6 mapSize=45 nbInferences=0 nbTooLargeKeys=0
18.46 => wckTime=17.328 cpuTime=17.19 mem=16M504
21.39
21.39 search
21.39 run=3 nbConstraintChecks=13736367 nbValidityChecks=42668 nbPropagations=9465 nbRevisions=10759
21.39 nbUselessRevisions=2480 nbAssignments=253 nbFailedAssignments=53 nbBacktracks=86 nbVisitedNodes=272
21.39 nbRestartNogoods=11 mapSize=74 nbInferences=0 nbTooLargeKeys=0
21.39 => wckTime=20.259 cpuTime=20.11 mem=16M504
25.25
25.25 search
25.25 run=4 nbConstraintChecks=19484093 nbValidityChecks=61570 nbPropagations=13377 nbRevisions=15589
25.25 nbUselessRevisions=3529 nbAssignments=346 nbFailedAssignments=77 nbBacktracks=146 nbVisitedNodes=389
25.25 nbRestartNogoods=14 mapSize=122 nbInferences=0 nbTooLargeKeys=0
25.25 => wckTime=24.123 cpuTime=23.95 mem=16M504
38.94
38.94 search
38.94 run=5 nbConstraintChecks=42381797 nbValidityChecks=133060 nbPropagations=19218 nbRevisions=23619
38.94 nbUselessRevisions=5256 nbAssignments=625 nbFailedAssignments=268 nbBacktracks=222 nbVisitedNodes=859
38.94 nbRestartNogoods=15 mapSize=184 nbInferences=0 nbTooLargeKeys=0
38.94 => wckTime=37.815 cpuTime=37.58 mem=16M504
53.68
53.68 search
53.68 run=6 nbConstraintChecks=65593931 nbValidityChecks=217188 nbPropagations=27775 nbRevisions=35619
53.68 nbUselessRevisions=7855 nbAssignments=981 nbFailedAssignments=496 nbBacktracks=336 nbVisitedNodes=1443
53.68 nbRestartNogoods=19 mapSize=294 nbInferences=0 nbTooLargeKeys=0
53.68 => wckTime=52.554 cpuTime=52.25 mem=16M504
111.75
111.75 search
111.75 run=7 nbConstraintChecks=151294454 nbValidityChecks=435938 nbPropagations=40133 nbRevisions=55541
111.75 nbUselessRevisions=12392 nbAssignments=1789 nbFailedAssignments=1123 nbBacktracks=506 nbVisitedNodes=2878
111.75 nbRestartNogoods=27 mapSize=439 nbInferences=0 nbTooLargeKeys=0
111.75 => wckTime=110.618 cpuTime=110.02 mem=17M479
149.15
149.15 search
149.15 run=8 nbConstraintChecks=208264304 nbValidityChecks=608095 nbPropagations=56873 nbRevisions=82610
149.15 nbUselessRevisions=18827 nbAssignments=2548 nbFailedAssignments=1613 nbBacktracks=762 nbVisitedNodes=4127
149.15 nbRestartNogoods=38 mapSize=668 nbInferences=0 nbTooLargeKeys=0
149.15 => wckTime=148.024 cpuTime=147.25 mem=17M479
196.13
196.13 search
196.13 run=9 nbConstraintChecks=276903550 nbValidityChecks=854751 nbPropagations=81343 nbRevisions=120928
196.13 nbUselessRevisions=27861 nbAssignments=3627 nbFailedAssignments=2294 nbBacktracks=1146 nbVisitedNodes=5891
196.13 nbRestartNogoods=46 mapSize=1030 nbInferences=0 nbTooLargeKeys=0
196.13 => wckTime=195.003 cpuTime=194.0 mem=17M479
196.80
196.80 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=17M479)
258.32
258.32 search
258.32 run=10 nbConstraintChecks=360931499 nbValidityChecks=1052939 nbPropagations=114435 nbRevisions=171601
258.32 nbUselessRevisions=39489 nbAssignments=5048 nbFailedAssignments=3128 nbBacktracks=1723 nbVisitedNodes=8149
258.32 nbRestartNogoods=58
258.32 => wckTime=257.197 cpuTime=255.89 mem=17M479
356.15
356.15 search
356.15 run=11 nbConstraintChecks=507823897 nbValidityChecks=1522017 nbPropagations=162428 nbRevisions=245361
356.15 nbUselessRevisions=56225 nbAssignments=6984 nbFailedAssignments=4185 nbBacktracks=2587 nbVisitedNodes=11156
356.15 nbRestartNogoods=70
356.15 => wckTime=355.019 cpuTime=353.26 mem=17M479
542.12
542.12 search
542.12 run=12 nbConstraintChecks=787892278 nbValidityChecks=2328225 nbPropagations=234538 nbRevisions=358405
542.12 nbUselessRevisions=81765 nbAssignments=10232 nbFailedAssignments=6120 nbBacktracks=3884 nbVisitedNodes=16382
542.12 nbRestartNogoods=82
542.12 => wckTime=540.994 cpuTime=538.36 mem=17M479
812.22
812.22 search
812.22 run=13 nbConstraintChecks=1171799345 nbValidityChecks=3201592 nbPropagations=338298 nbRevisions=516110
812.22 nbUselessRevisions=116673 nbAssignments=14910 nbFailedAssignments=8840 nbBacktracks=5830 nbVisitedNodes=23795
812.22 nbRestartNogoods=89
812.22 => wckTime=811.093 cpuTime=807.2 mem=17M479
1715.12
1715.12 search
1715.12 run=14 nbConstraintChecks=2501607308 nbValidityChecks=6140473 nbPropagations=506051 nbRevisions=796015
1715.12 nbUselessRevisions=178279 nbAssignments=26139 nbFailedAssignments=17112 nbBacktracks=8751 nbVisitedNodes=43321
1715.12 nbRestartNogoods=102
1715.12 => wckTime=1713.991 cpuTime=1705.35 mem=17M479
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-249142-1168402568 -o ROOT/results/node26/solver-249142-1168402568 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/249142-1168402568/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 2.06 2.03 2.00 4/94 7956
/proc/meminfo: memFree=878232/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=18540 CPUtime=0
/proc/7955/stat : 7955 (runsolver) R 7953 7955 6827 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 188651115 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 269028486439 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7955/statm: 4635 279 244 17 0 2626 0
[startup+0.103014 s]
/proc/loadavg: 2.06 2.03 2.00 4/94 7956
/proc/meminfo: memFree=878232/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=913236 CPUtime=0.08
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 2921 0 1 0 7 1 0 0 17 0 8 0 188651115 935153664 2667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154635302 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228309 2667 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.515053 s]
/proc/loadavg: 2.06 2.03 2.00 4/94 7956
/proc/meminfo: memFree=878232/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915328 CPUtime=0.49
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 6619 0 1 0 46 3 0 0 18 0 8 0 188651115 937295872 6358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228832 6358 2146 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34313 s]
/proc/loadavg: 2.13 2.04 2.01 3/101 7963
/proc/meminfo: memFree=853216/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915460 CPUtime=1.31
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 8990 0 1 0 126 5 0 0 25 0 8 0 188651115 937431040 8728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942886 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228865 8728 2541 14 0 215335 0
[pid=7955/tid=7957] ppid=7953 vsize=915460 CPUtime=0.02
/proc/7955/task/7957/stat : 7957 (java) S 7953 7955 6827 0 -1 64 189 0 0 0 2 0 0 0 17 0 8 0 188651120 937431040 8728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7958] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7958/stat : 7958 (java) S 7953 7955 6827 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 8728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7959] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7959/stat : 7959 (java) S 7953 7955 6827 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 8728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7960] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7960/stat : 7960 (java) S 7953 7955 6827 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188651124 937431040 8728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7961] ppid=7953 vsize=915460 CPUtime=0.17
/proc/7955/task/7961/stat : 7961 (java) S 7953 7955 6827 0 -1 64 364 0 0 0 17 0 0 0 16 0 8 0 188651124 937431040 8728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7962] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7962/stat : 7962 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188651124 937431040 8728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7963] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7963/stat : 7963 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188651124 937431040 8728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98028 s]
/proc/loadavg: 2.13 2.04 2.01 3/101 7963
/proc/meminfo: memFree=853088/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915460 CPUtime=2.94
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 9006 0 1 0 289 5 0 0 25 0 8 0 188651115 937431040 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073639444 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228865 8743 2543 14 0 215335 0
[pid=7955/tid=7957] ppid=7953 vsize=915460 CPUtime=0.02
/proc/7955/task/7957/stat : 7957 (java) S 7953 7955 6827 0 -1 64 189 0 0 0 2 0 0 0 17 0 8 0 188651120 937431040 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7958] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7958/stat : 7958 (java) S 7953 7955 6827 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7959] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7959/stat : 7959 (java) S 7953 7955 6827 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7960] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7960/stat : 7960 (java) S 7953 7955 6827 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188651124 937431040 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7961] ppid=7953 vsize=915460 CPUtime=0.19
/proc/7955/task/7961/stat : 7961 (java) S 7953 7955 6827 0 -1 64 372 0 0 0 19 0 0 0 15 0 8 0 188651124 937431040 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7962] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7962/stat : 7962 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188651124 937431040 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7963] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7963/stat : 7963 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188651124 937431040 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.25958 s]
/proc/loadavg: 2.12 2.04 2.01 3/101 7963
/proc/meminfo: memFree=853024/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915460 CPUtime=6.21
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 9009 0 1 0 616 5 0 0 25 0 8 0 188651115 937431040 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073644968 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228865 8744 2543 14 0 215335 0
[pid=7955/tid=7957] ppid=7953 vsize=915460 CPUtime=0.02
/proc/7955/task/7957/stat : 7957 (java) S 7953 7955 6827 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 188651120 937431040 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7958] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7958/stat : 7958 (java) S 7953 7955 6827 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7959] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7959/stat : 7959 (java) S 7953 7955 6827 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7960] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7960/stat : 7960 (java) S 7953 7955 6827 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188651124 937431040 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7961] ppid=7953 vsize=915460 CPUtime=0.19
/proc/7955/task/7961/stat : 7961 (java) S 7953 7955 6827 0 -1 64 373 0 0 0 19 0 0 0 15 0 8 0 188651124 937431040 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7962] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7962/stat : 7962 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188651124 937431040 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7963] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7963/stat : 7963 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188651124 937431040 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460
[startup+12.7482 s]
/proc/loadavg: 2.11 2.04 2.01 3/101 7963
/proc/meminfo: memFree=853024/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915460 CPUtime=12.66
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 9105 0 1 0 1261 5 0 0 25 0 8 0 188651115 937431040 8835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647015 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228865 8835 2543 14 0 215335 0
[pid=7955/tid=7957] ppid=7953 vsize=915460 CPUtime=0.02
/proc/7955/task/7957/stat : 7957 (java) S 7953 7955 6827 0 -1 64 189 0 0 0 2 0 0 0 17 0 8 0 188651120 937431040 8835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7958] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7958/stat : 7958 (java) S 7953 7955 6827 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 8835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7959] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7959/stat : 7959 (java) S 7953 7955 6827 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 8835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7960] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7960/stat : 7960 (java) S 7953 7955 6827 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188651124 937431040 8835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7961] ppid=7953 vsize=915460 CPUtime=0.2
/proc/7955/task/7961/stat : 7961 (java) S 7953 7955 6827 0 -1 64 380 0 0 0 20 0 0 0 15 0 8 0 188651124 937431040 8835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7962] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7962/stat : 7962 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188651124 937431040 8835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7963] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7963/stat : 7963 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188651124 937431040 8835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460
[startup+25.6054 s]
/proc/loadavg: 2.09 2.04 2.01 3/101 7963
/proc/meminfo: memFree=852512/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915460 CPUtime=25.46
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 9161 0 1 0 2541 5 0 0 25 0 8 0 188651115 937431040 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073644978 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228865 8886 2544 14 0 215335 0
[pid=7955/tid=7957] ppid=7953 vsize=915460 CPUtime=0.02
/proc/7955/task/7957/stat : 7957 (java) S 7953 7955 6827 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 188651120 937431040 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7958] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7958/stat : 7958 (java) S 7953 7955 6827 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7959] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7959/stat : 7959 (java) S 7953 7955 6827 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7960] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7960/stat : 7960 (java) S 7953 7955 6827 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188651124 937431040 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7961] ppid=7953 vsize=915460 CPUtime=0.22
/proc/7955/task/7961/stat : 7961 (java) S 7953 7955 6827 0 -1 64 394 0 0 0 22 0 0 0 15 0 8 0 188651124 937431040 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7962] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7962/stat : 7962 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188651124 937431040 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7963] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7963/stat : 7963 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188651124 937431040 8886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915460
[startup+51.2118 s]
/proc/loadavg: 2.06 2.03 2.00 3/101 7963
/proc/meminfo: memFree=852448/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915460 CPUtime=50.95
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 9181 0 1 0 5089 6 0 0 25 0 8 0 188651115 937431040 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647116 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228865 8905 2544 14 0 215335 0
[pid=7955/tid=7957] ppid=7953 vsize=915460 CPUtime=0.02
/proc/7955/task/7957/stat : 7957 (java) S 7953 7955 6827 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 188651120 937431040 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7958] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7958/stat : 7958 (java) S 7953 7955 6827 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7959] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7959/stat : 7959 (java) S 7953 7955 6827 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7960] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7960/stat : 7960 (java) S 7953 7955 6827 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188651124 937431040 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7961] ppid=7953 vsize=915460 CPUtime=0.22
/proc/7955/task/7961/stat : 7961 (java) S 7953 7955 6827 0 -1 64 395 0 0 0 22 0 0 0 16 0 8 0 188651124 937431040 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7962] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7962/stat : 7962 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188651124 937431040 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7963] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7963/stat : 7963 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188651124 937431040 8905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915460
[startup+102.419 s]
/proc/loadavg: 2.02 2.03 2.00 3/101 7963
/proc/meminfo: memFree=852384/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915460 CPUtime=101.91
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 9211 0 1 0 10185 6 0 0 25 0 8 0 188651115 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228865 8928 2544 14 0 215335 0
[pid=7955/tid=7957] ppid=7953 vsize=915460 CPUtime=0.02
/proc/7955/task/7957/stat : 7957 (java) S 7953 7955 6827 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 188651120 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7958] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7958/stat : 7958 (java) S 7953 7955 6827 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7959] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7959/stat : 7959 (java) S 7953 7955 6827 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7960] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7960/stat : 7960 (java) S 7953 7955 6827 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188651124 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7961] ppid=7953 vsize=915460 CPUtime=0.25
/proc/7955/task/7961/stat : 7961 (java) S 7953 7955 6827 0 -1 64 405 0 0 0 24 1 0 0 15 0 8 0 188651124 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7962] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7962/stat : 7962 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188651124 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7963] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7963/stat : 7963 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188651124 937431040 8928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915460
[startup+162.472 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 7963
/proc/meminfo: memFree=852192/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915460 CPUtime=161.69
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 9250 0 1 0 16162 7 0 0 25 0 8 0 188651115 937431040 8962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.79
Current children cumulated vsize (KiB) 915460
[startup+1483.51 s]
/proc/loadavg: 2.04 2.02 2.00 3/101 7965
/proc/meminfo: memFree=851744/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915460 CPUtime=1476.56
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 9302 0 1 0 147642 14 0 0 25 0 8 0 188651115 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228865 9012 2544 14 0 215335 0
[pid=7955/tid=7957] ppid=7953 vsize=915460 CPUtime=0.02
/proc/7955/task/7957/stat : 7957 (java) S 7953 7955 6827 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 188651120 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7958] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7958/stat : 7958 (java) S 7953 7955 6827 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7959] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7959/stat : 7959 (java) S 7953 7955 6827 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7960] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7960/stat : 7960 (java) S 7953 7955 6827 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7961] ppid=7953 vsize=915460 CPUtime=0.27
/proc/7955/task/7961/stat : 7961 (java) S 7953 7955 6827 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7962] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7962/stat : 7962 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7963] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7963/stat : 7963 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.56
Current children cumulated vsize (KiB) 915460
[startup+1543.56 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 7965
/proc/meminfo: memFree=851808/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915460 CPUtime=1536.32
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 9302 0 1 0 153618 14 0 0 25 0 8 0 188651115 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073639474 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228865 9012 2544 14 0 215335 0
[pid=7955/tid=7957] ppid=7953 vsize=915460 CPUtime=0.02
/proc/7955/task/7957/stat : 7957 (java) S 7953 7955 6827 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 188651120 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7958] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7958/stat : 7958 (java) S 7953 7955 6827 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7959] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7959/stat : 7959 (java) S 7953 7955 6827 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7960] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7960/stat : 7960 (java) S 7953 7955 6827 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7961] ppid=7953 vsize=915460 CPUtime=0.27
/proc/7955/task/7961/stat : 7961 (java) S 7953 7955 6827 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7962] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7962/stat : 7962 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7963] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7963/stat : 7963 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.32
Current children cumulated vsize (KiB) 915460
[startup+1603.61 s]
/proc/loadavg: 2.04 2.03 2.00 3/101 8038
/proc/meminfo: memFree=1310056/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915460 CPUtime=1596.05
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 9302 0 1 0 159590 15 0 0 25 0 8 0 188651115 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228865 9012 2544 14 0 215335 0
[pid=7955/tid=7957] ppid=7953 vsize=915460 CPUtime=0.02
/proc/7955/task/7957/stat : 7957 (java) S 7953 7955 6827 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 188651120 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7958] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7958/stat : 7958 (java) S 7953 7955 6827 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7959] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7959/stat : 7959 (java) S 7953 7955 6827 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7960] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7960/stat : 7960 (java) S 7953 7955 6827 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7961] ppid=7953 vsize=915460 CPUtime=0.27
/proc/7955/task/7961/stat : 7961 (java) S 7953 7955 6827 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7962] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7962/stat : 7962 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7963] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7963/stat : 7963 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.05
Current children cumulated vsize (KiB) 915460
[startup+1663.64 s]
/proc/loadavg: 2.13 2.05 2.01 3/101 8038
/proc/meminfo: memFree=1310056/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915460 CPUtime=1655.55
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 9302 0 1 0 165539 16 0 0 25 0 8 0 188651115 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647015 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228865 9012 2544 14 0 215335 0
[pid=7955/tid=7957] ppid=7953 vsize=915460 CPUtime=0.02
/proc/7955/task/7957/stat : 7957 (java) S 7953 7955 6827 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 188651120 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7958] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7958/stat : 7958 (java) S 7953 7955 6827 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7959] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7959/stat : 7959 (java) S 7953 7955 6827 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7960] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7960/stat : 7960 (java) S 7953 7955 6827 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7961] ppid=7953 vsize=915460 CPUtime=0.27
/proc/7955/task/7961/stat : 7961 (java) S 7953 7955 6827 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7962] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7962/stat : 7962 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7963] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7963/stat : 7963 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188651124 937431040 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.55
Current children cumulated vsize (KiB) 915460
[startup+1723.69 s]
/proc/loadavg: 2.08 2.05 2.01 3/101 8038
/proc/meminfo: memFree=1284968/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915460 CPUtime=1715.04
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 9305 0 1 0 171488 16 0 0 25 0 8 0 188651115 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641351 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228865 9015 2544 14 0 215335 0
[pid=7955/tid=7957] ppid=7953 vsize=915460 CPUtime=0.02
/proc/7955/task/7957/stat : 7957 (java) S 7953 7955 6827 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 188651120 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7958] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7958/stat : 7958 (java) S 7953 7955 6827 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7959] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7959/stat : 7959 (java) S 7953 7955 6827 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7960] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7960/stat : 7960 (java) S 7953 7955 6827 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188651124 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7961] ppid=7953 vsize=915460 CPUtime=0.27
/proc/7955/task/7961/stat : 7961 (java) S 7953 7955 6827 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 188651124 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7962] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7962/stat : 7962 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188651124 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7963] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7963/stat : 7963 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188651124 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.04
Current children cumulated vsize (KiB) 915460
[startup+1783.8 s]
/proc/loadavg: 2.03 2.04 2.00 4/101 8038
/proc/meminfo: memFree=1284904/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915460 CPUtime=1774.6
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 9305 0 1 0 177443 17 0 0 25 0 8 0 188651115 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647688 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228865 9015 2544 14 0 215335 0
[pid=7955/tid=7957] ppid=7953 vsize=915460 CPUtime=0.02
/proc/7955/task/7957/stat : 7957 (java) S 7953 7955 6827 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 188651120 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7958] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7958/stat : 7958 (java) S 7953 7955 6827 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7959] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7959/stat : 7959 (java) S 7953 7955 6827 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7960] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7960/stat : 7960 (java) S 7953 7955 6827 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188651124 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7961] ppid=7953 vsize=915460 CPUtime=0.27
/proc/7955/task/7961/stat : 7961 (java) S 7953 7955 6827 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 188651124 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7962] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7962/stat : 7962 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188651124 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7963] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7963/stat : 7963 (java) R 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188651124 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.6
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.52 s]
/proc/loadavg: 2.02 2.04 2.00 3/101 8038
/proc/meminfo: memFree=1284904/2055920 swapFree=4192812/4192956
[pid=7955] ppid=7953 vsize=915460 CPUtime=1800.1
/proc/7955/stat : 7955 (java) R 7953 7955 6827 0 -1 0 9305 0 1 0 179993 17 0 0 25 0 8 0 188651115 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642138 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7955/statm: 228865 9015 2544 14 0 215335 0
[pid=7955/tid=7957] ppid=7953 vsize=915460 CPUtime=0.02
/proc/7955/task/7957/stat : 7957 (java) S 7953 7955 6827 0 -1 64 189 0 0 0 2 0 0 0 16 0 8 0 188651120 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7958] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7958/stat : 7958 (java) S 7953 7955 6827 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7959] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7959/stat : 7959 (java) S 7953 7955 6827 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 188651120 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7960] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7960/stat : 7960 (java) S 7953 7955 6827 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188651124 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7961] ppid=7953 vsize=915460 CPUtime=0.27
/proc/7955/task/7961/stat : 7961 (java) S 7953 7955 6827 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 188651124 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7962] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7962/stat : 7962 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188651124 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7955/tid=7963] ppid=7953 vsize=915460 CPUtime=0
/proc/7955/task/7963/stat : 7963 (java) S 7953 7955 6827 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188651124 937431040 9015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.56
CPU time (s): 1800.14
CPU user time (s): 1799.96
CPU system time (s): 0.176973
CPU usage (%): 99.4793
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.176973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9326
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= 37880
involuntary context switches= 105677
runsolver used 2.19766 s user time and 5.81312 s system time
The end
Begin job on node26 on Wed Jan 10 04:16:08 UTC 2007
IDJOB= 249142
IDBENCH= 11761
FILE ID= node26/249142-1168402568
PBS_JOBID= 3523022
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-15/primes-15-80-3-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/249142-1168402568/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-249142-1168402568 -o ROOT/results/node26/solver-249142-1168402568 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/249142-1168402568/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f51a3b279677a9411ec767e72e421d7b
RANDOM SEED= 549229888
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.236
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.236
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: 878648 kB
Buffers: 47080 kB
Cached: 374112 kB
SwapCached: 0 kB
Active: 819364 kB
Inactive: 302840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 878648 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1684 kB
Writeback: 0 kB
Mapped: 727944 kB
Slab: 38500 kB
Committed_AS: 4469540 kB
PageTables: 3600 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= 66541 MiB
End job on node26 on Wed Jan 10 04:46:18 UTC 2007