0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/215159-1168077874/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.55 nbVariables=2152 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.55 => wckTime=0.24 cpuTime=0.16 mem=9M844
0.55
0.55 predicates being loaded...
0.56
0.56 constraints being loaded...
2.97 nbConstraints=17193 nbMergedConstraints=4 nbConvertedConstraints=16308 nbConvertConstraintsChecks=131096
2.97 nbExtensionStructures=2 nbSharedExtensionStructures=16306 nbConflictsStructures=5
2.97 nbSharedConflictsStructures=17188 nbSharedBinaryRepresentations=5 nbEvaluationManagers=3
2.97 nbSharedEvaluationManagers=882 maxDegree=154 maxArity=16
2.97 => wckTime=2.652 cpuTime=2.3 mem=34M678
3.11
3.11 solver IterativeSystematicSolver being built...
3.48 => wckTime=3.168 cpuTime=2.58 mem=65M186
3.54
3.54 preprocessing
3.54 nbConstraintChecks=0 nbPropagations=2152 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.54 detectedInconsistency=no
3.54 => wckTime=0.044 cpuTime=0.03 mem=66M195
4.44
4.44 search
4.44 run=0 nbConstraintChecks=68580 nbValidityChecks=24 nbPropagations=7019 nbRevisions=37968
4.44 nbUselessRevisions=33105 nbAssignments=183 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=194
4.44 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
4.44 => wckTime=0.95 cpuTime=0.9 mem=67M204
5.33
5.33 search
5.33 run=1 nbConstraintChecks=155988 nbValidityChecks=2915 nbPropagations=21062 nbRevisions=128359
5.33 nbUselessRevisions=111574 nbAssignments=364 nbFailedAssignments=13 nbBacktracks=31 nbVisitedNodes=389
5.33 nbRestartNogoods=3 mapSize=20 nbInferences=0 nbTooLargeKeys=0
5.33 => wckTime=1.84 cpuTime=1.78 mem=67M204
6.16
6.16 search
6.16 run=2 nbConstraintChecks=260377 nbValidityChecks=4048 nbPropagations=42215 nbRevisions=279528
6.16 nbUselessRevisions=243615 nbAssignments=537 nbFailedAssignments=22 nbBacktracks=53 nbVisitedNodes=578
6.16 nbRestartNogoods=4 mapSize=35 nbInferences=0 nbTooLargeKeys=0
6.16 => wckTime=2.675 cpuTime=2.6 mem=67M204
7.26
7.26 search
7.26 run=3 nbConstraintChecks=385653 nbValidityChecks=9455 nbPropagations=73803 nbRevisions=510612
7.26 nbUselessRevisions=445019 nbAssignments=726 nbFailedAssignments=30 nbBacktracks=90 nbVisitedNodes=787
7.26 nbRestartNogoods=5 mapSize=52 nbInferences=0 nbTooLargeKeys=0
7.26 => wckTime=3.773 cpuTime=3.67 mem=67M204
8.23
8.23 search
8.23 run=4 nbConstraintChecks=554599 nbValidityChecks=10850 nbPropagations=115081 nbRevisions=839845
8.23 nbUselessRevisions=734615 nbAssignments=900 nbFailedAssignments=44 nbBacktracks=142 nbVisitedNodes=985
8.23 nbRestartNogoods=8 mapSize=73 nbInferences=0 nbTooLargeKeys=0
8.23 => wckTime=4.744 cpuTime=4.62 mem=67M204
9.71
9.71 search
9.71 run=5 nbConstraintChecks=915909 nbValidityChecks=26890 nbPropagations=180494 nbRevisions=1407624
9.71 nbUselessRevisions=1237844 nbAssignments=1133 nbFailedAssignments=81 nbBacktracks=229 nbVisitedNodes=1270
9.71 nbRestartNogoods=11 mapSize=122 nbInferences=0 nbTooLargeKeys=0
9.71 => wckTime=6.222 cpuTime=6.08 mem=67M204
11.93
11.93 search
11.93 run=6 nbConstraintChecks=1474748 nbValidityChecks=35901 nbPropagations=283262 nbRevisions=2340144
11.93 nbUselessRevisions=2067085 nbAssignments=1446 nbFailedAssignments=139 nbBacktracks=352 nbVisitedNodes=1660
11.93 nbRestartNogoods=14 mapSize=192 nbInferences=0 nbTooLargeKeys=0
11.93 => wckTime=8.443 cpuTime=8.28 mem=68M212
14.81
14.81 search
14.81 run=7 nbConstraintChecks=2714579 nbValidityChecks=89435 nbPropagations=456122 nbRevisions=4120473
14.81 nbUselessRevisions=3670710 nbAssignments=1826 nbFailedAssignments=226 nbBacktracks=538 nbVisitedNodes=2173
14.81 nbRestartNogoods=21 mapSize=309 nbInferences=0 nbTooLargeKeys=0
14.81 => wckTime=11.326 cpuTime=11.12 mem=68M212
18.80
18.80 search
18.80 run=8 nbConstraintChecks=4975416 nbValidityChecks=117573 nbPropagations=734741 nbRevisions=7398221
18.80 nbUselessRevisions=6662698 nbAssignments=2344 nbFailedAssignments=371 nbBacktracks=800 nbVisitedNodes=2898
18.80 nbRestartNogoods=30 mapSize=484 nbInferences=7 nbTooLargeKeys=0
18.81 => wckTime=15.319 cpuTime=15.07 mem=69M221
24.11
24.11 search
24.11 run=9 nbConstraintChecks=8379243 nbValidityChecks=223451 nbPropagations=1158629 nbRevisions=12995478
24.11 nbUselessRevisions=11824596 nbAssignments=3101 nbFailedAssignments=618 nbBacktracks=1197 nbVisitedNodes=3954
24.11 nbRestartNogoods=43 mapSize=769 nbInferences=29 nbTooLargeKeys=0
24.11 => wckTime=20.625 cpuTime=20.32 mem=70M229
31.28
31.28 search
31.28 run=10 nbConstraintChecks=12921394 nbValidityChecks=271183 nbPropagations=1772575 nbRevisions=21581849
31.28 nbUselessRevisions=19777387 nbAssignments=4098 nbFailedAssignments=971 nbBacktracks=1781 nbVisitedNodes=5330
31.28 nbRestartNogoods=51 mapSize=1141 nbInferences=33 nbTooLargeKeys=0
31.28 => wckTime=27.794 cpuTime=27.42 mem=71M238
40.16
40.16 search
40.16 run=11 nbConstraintChecks=17031711 nbValidityChecks=396804 nbPropagations=2557586 nbRevisions=32940756
40.16 nbUselessRevisions=30324419 nbAssignments=5317 nbFailedAssignments=1279 nbBacktracks=2647 nbVisitedNodes=6899
40.16 nbRestartNogoods=54 mapSize=1481 nbInferences=47 nbTooLargeKeys=0
40.16 => wckTime=36.674 cpuTime=36.19 mem=30M991
55.03
55.03 search
55.03 run=12 nbConstraintChecks=30147580 nbValidityChecks=546798 nbPropagations=3846173 nbRevisions=52541218
55.03 nbUselessRevisions=48586252 nbAssignments=7620 nbFailedAssignments=2251 nbBacktracks=3948 nbVisitedNodes=10301
55.03 nbRestartNogoods=56 mapSize=2556 nbInferences=50 nbTooLargeKeys=0
55.03 => wckTime=51.547 cpuTime=50.92 mem=33M23
78.64
78.64 search
78.64 run=13 nbConstraintChecks=52336841 nbValidityChecks=959809 nbPropagations=5958447 nbRevisions=86000480
78.64 nbUselessRevisions=79844009 nbAssignments=11221 nbFailedAssignments=3864 nbBacktracks=5894 nbVisitedNodes=15764
78.64 nbRestartNogoods=75 mapSize=4379 nbInferences=50 nbTooLargeKeys=0
78.64 => wckTime=75.155 cpuTime=74.32 mem=36M70
113.37
113.37 search
113.37 run=14 nbConstraintChecks=87376621 nbValidityChecks=1479236 nbPropagations=9329042 nbRevisions=140858607
113.37 nbUselessRevisions=131185122 nbAssignments=16582 nbFailedAssignments=6278 nbBacktracks=8819
113.37 nbVisitedNodes=24057 nbRestartNogoods=106 mapSize=7296 nbInferences=50 nbTooLargeKeys=0
113.37 => wckTime=109.883 cpuTime=108.72 mem=40M132
148.51
148.51 INFO : Stopping hyperNogood (mapSize=10027, nbTooLargekeys=0, mem=44M195)
157.86
157.86 search
157.86 run=15 nbConstraintChecks=134635715 nbValidityChecks=2065325 nbPropagations=14461894 nbRevisions=225061420
157.86 nbUselessRevisions=210036826 nbAssignments=26071 nbFailedAssignments=9562 nbBacktracks=12872
157.86 nbVisitedNodes=37511 nbRestartNogoods=119
157.86 => wckTime=154.374 cpuTime=152.81 mem=44M195
157.86
157.86 global
157.86 nbConstraintChecks=134635715 nbValidityChecks=2065325 nbPropagations=14464046 nbRevisions=225061420
157.86 nbUselessRevisions=210036826 nbRestartNogoods=119 solvingWckTime=154.375 solvingCpuTime=152.81 expiredTime=no
157.86 totalExploration=no nbFoundSolutions=1 globalCpuTime=155.44
157.86 => wckTime=157.548 cpuTime=155.4 mem=44M195
157.86
157.86 s SATISFIABLE
157.86 v 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1
157.86 d NODES 26071
157.86 d CHECKS 134635715
157.86
157.86 totalWckTime=157.63 totalCpuTime=155.44
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-215159-1168077874 -o ROOT/results/node14/solver-215159-1168077874 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215159-1168077874/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: 1.96 2.00 2.00 4/93 25799
/proc/meminfo: memFree=1433896/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=906644 CPUtime=0.02
/proc/25798/stat : 25798 (java) S 25796 25798 25731 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 156182334 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 226661 1818 1036 14 0 214244 0
[pid=25798/tid=25800] ppid=25796 vsize=906644 CPUtime=0
/proc/25798/task/25800/stat : 25800 (java) R 25796 25798 25731 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 156182337 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104783 s]
/proc/loadavg: 1.96 2.00 2.00 4/93 25799
/proc/meminfo: memFree=1433896/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=914988 CPUtime=0.08
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 3002 0 1 0 7 1 0 0 17 0 8 0 156182334 936947712 2748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155240736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228747 2748 1428 14 0 215242 0
[pid=25798/tid=25800] ppid=25796 vsize=914988 CPUtime=0
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156182337 936947712 2748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512822 s]
/proc/loadavg: 1.96 2.00 2.00 4/93 25799
/proc/meminfo: memFree=1433896/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915328 CPUtime=0.49
/proc/25798/stat : 25798 (java) S 25796 25798 25731 0 -1 0 6587 0 1 0 46 3 0 0 18 0 8 0 156182334 937295872 6326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228832 6326 2135 14 0 215302 0
[pid=25798/tid=25800] ppid=25796 vsize=915328 CPUtime=0
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156182337 937295872 6326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3339 s]
/proc/loadavg: 1.96 2.00 2.00 3/100 25806
/proc/meminfo: memFree=1373424/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915636 CPUtime=1.3
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 17492 0 1 0 121 9 0 0 22 0 8 0 156182334 937611264 17230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813931 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228909 17230 2178 14 0 215379 0
[pid=25798/tid=25800] ppid=25796 vsize=915636 CPUtime=0.03
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 889 0 0 0 3 0 0 0 17 0 8 0 156182337 937611264 17230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25801] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25801/stat : 25801 (java) S 25796 25798 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156182338 937611264 17230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25802] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25802/stat : 25802 (java) S 25796 25798 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156182338 937611264 17230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25803] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25803/stat : 25803 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156182341 937611264 17230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25804] ppid=25796 vsize=915636 CPUtime=0.17
/proc/25798/task/25804/stat : 25804 (java) S 25796 25798 25731 0 -1 64 413 0 0 0 17 0 0 0 16 0 8 0 156182341 937611264 17230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25805] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25805/stat : 25805 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156182341 937611264 17230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25806] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25806/stat : 25806 (java) S 25796 25798 25731 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156182341 937611264 17230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915636
[startup+2.97105 s]
/proc/loadavg: 1.96 2.00 2.00 3/100 25806
/proc/meminfo: memFree=1357872/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915636 CPUtime=2.92
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 21336 0 1 0 210 82 0 0 25 0 8 0 156182334 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228909 21072 2188 14 0 215379 0
[pid=25798/tid=25800] ppid=25796 vsize=915636 CPUtime=0.14
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 4682 0 0 0 13 1 0 0 17 0 8 0 156182337 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25801] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25801/stat : 25801 (java) S 25796 25798 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156182338 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25802] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25802/stat : 25802 (java) S 25796 25798 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156182338 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25803] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25803/stat : 25803 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156182341 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25804] ppid=25796 vsize=915636 CPUtime=0.23
/proc/25798/task/25804/stat : 25804 (java) R 25796 25798 25731 0 -1 64 442 0 0 0 22 1 0 0 16 0 8 0 156182341 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152967141 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25805] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25805/stat : 25805 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156182341 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25806] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25806/stat : 25806 (java) S 25796 25798 25731 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156182341 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915636
[startup+6.18336 s]
/proc/loadavg: 1.96 2.00 2.00 3/100 25806
/proc/meminfo: memFree=1344176/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915872 CPUtime=6.11
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 25100 0 1 0 526 85 0 0 25 0 8 0 156182334 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074200054 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228968 24815 2537 14 0 215438 0
[pid=25798/tid=25800] ppid=25796 vsize=915872 CPUtime=0.27
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 7930 0 0 0 25 2 0 0 17 0 8 0 156182337 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25801] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25801/stat : 25801 (java) S 25796 25798 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25802] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25802/stat : 25802 (java) S 25796 25798 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25803] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25803/stat : 25803 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156182341 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25804] ppid=25796 vsize=915872 CPUtime=0.36
/proc/25798/task/25804/stat : 25804 (java) S 25796 25798 25731 0 -1 64 527 0 0 0 35 1 0 0 15 0 8 0 156182341 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25805] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25805/stat : 25805 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156182341 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25806] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25806/stat : 25806 (java) S 25796 25798 25731 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156182341 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915872
[startup+12.658 s]
/proc/loadavg: 1.97 2.00 2.00 3/100 25806
/proc/meminfo: memFree=1344248/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915872 CPUtime=12.5
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 25111 0 1 0 1165 85 0 0 25 0 8 0 156182334 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074207203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228968 24823 2537 14 0 215438 0
[pid=25798/tid=25800] ppid=25796 vsize=915872 CPUtime=0.27
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 7930 0 0 0 25 2 0 0 17 0 8 0 156182337 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25801] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25801/stat : 25801 (java) S 25796 25798 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25802] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25802/stat : 25802 (java) S 25796 25798 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25803] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25803/stat : 25803 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156182341 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25804] ppid=25796 vsize=915872 CPUtime=0.38
/proc/25798/task/25804/stat : 25804 (java) S 25796 25798 25731 0 -1 64 536 0 0 0 37 1 0 0 16 0 8 0 156182341 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25805] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25805/stat : 25805 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156182341 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25806] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25806/stat : 25806 (java) S 25796 25798 25731 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156182341 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915872
[startup+25.5402 s]
/proc/loadavg: 1.97 2.00 2.00 3/100 25806
/proc/meminfo: memFree=1344376/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915872 CPUtime=25.26
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 25124 0 1 0 2441 85 0 0 25 0 8 0 156182334 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074164890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228968 24829 2537 14 0 215438 0
[pid=25798/tid=25800] ppid=25796 vsize=915872 CPUtime=0.27
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 7930 0 0 0 25 2 0 0 16 0 8 0 156182337 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25801] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25801/stat : 25801 (java) S 25796 25798 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25802] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25802/stat : 25802 (java) S 25796 25798 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25803] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25803/stat : 25803 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156182341 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25804] ppid=25796 vsize=915872 CPUtime=0.4
/proc/25798/task/25804/stat : 25804 (java) S 25796 25798 25731 0 -1 64 546 0 0 0 38 2 0 0 16 0 8 0 156182341 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25805] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25805/stat : 25805 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156182341 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25806] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25806/stat : 25806 (java) S 25796 25798 25731 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156182341 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915872
[startup+51.1736 s]
/proc/loadavg: 1.98 2.00 2.00 3/100 25806
/proc/meminfo: memFree=1341560/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915872 CPUtime=50.66
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 25849 0 1 0 4980 86 0 0 25 0 8 0 156182334 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074207203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228968 25551 2537 14 0 215438 0
[pid=25798/tid=25800] ppid=25796 vsize=915872 CPUtime=0.31
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 8648 0 0 0 28 3 0 0 16 0 8 0 156182337 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25801] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25801/stat : 25801 (java) S 25796 25798 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25802] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25802/stat : 25802 (java) S 25796 25798 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25803] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25803/stat : 25803 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25804] ppid=25796 vsize=915872 CPUtime=0.41
/proc/25798/task/25804/stat : 25804 (java) S 25796 25798 25731 0 -1 64 550 0 0 0 39 2 0 0 17 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25805] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25805/stat : 25805 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25806] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25806/stat : 25806 (java) S 25796 25798 25731 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915872
[startup+102.436 s]
/proc/loadavg: 1.99 2.00 2.00 3/100 25806
/proc/meminfo: memFree=1341624/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915872 CPUtime=101.45
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 25849 0 1 0 10059 86 0 0 25 0 8 0 156182334 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074156553 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228968 25551 2537 14 0 215438 0
[pid=25798/tid=25800] ppid=25796 vsize=915872 CPUtime=0.31
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 8648 0 0 0 28 3 0 0 16 0 8 0 156182337 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25801] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25801/stat : 25801 (java) S 25796 25798 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25802] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25802/stat : 25802 (java) S 25796 25798 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25803] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25803/stat : 25803 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25804] ppid=25796 vsize=915872 CPUtime=0.41
/proc/25798/task/25804/stat : 25804 (java) S 25796 25798 25731 0 -1 64 550 0 0 0 39 2 0 0 17 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25805] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25805/stat : 25805 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25806] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25806/stat : 25806 (java) S 25796 25798 25731 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915872
Child status: 0
Real time (s): 157.921
CPU time (s): 156.403
CPU user time (s): 155.51
CPU system time (s): 0.892864
CPU usage (%): 99.039
Max. virtual memory (cumulated for all children) (KiB): 915972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 155.51
system time used= 0.892864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25862
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= 4835
involuntary context switches= 9547
runsolver used 0.235964 s user time and 0.477927 s system time
The end
Begin job on node14 on Sat Jan 6 10:04:34 UTC 2007
IDJOB= 215159
IDBENCH= 4980
FILE ID= node14/215159-1168077874
PBS_JOBID= 3475826
Free space on /tmp= 66326 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-16b2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215159-1168077874/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-215159-1168077874 -o ROOT/results/node14/solver-215159-1168077874 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215159-1168077874/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4d12c58291d687c2585394719117e174
RANDOM SEED= 739645341
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.227
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.227
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: 1434312 kB
Buffers: 57796 kB
Cached: 381732 kB
SwapCached: 3696 kB
Active: 161980 kB
Inactive: 359376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1434312 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 4088 kB
Writeback: 0 kB
Mapped: 101264 kB
Slab: 85040 kB
Committed_AS: 5486912 kB
PageTables: 2288 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= 66326 MiB
End job on node14 on Sat Jan 6 10:07:12 UTC 2007