0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/213949-1168227495/unknown.xml
0.41
0.41 domains being loaded...
0.42
0.42 variables being loaded...
0.60 nbVariables=2030 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.60 => wckTime=0.258 cpuTime=0.17 mem=10M819
0.60
0.61 predicates being loaded...
0.61
0.61 constraints being loaded...
1.26 nbConstraints=4297 nbSingletonDomainVariables=776 nbConvertedConstraints=1957 nbConvertConstraintsChecks=64
1.26 nbExtensionStructures=7 nbSharedExtensionStructures=1950 nbConflictsStructures=22
1.26 nbSharedConflictsStructures=4275 nbSharedBinaryRepresentations=16 nbEvaluationManagers=15
1.26 nbSharedEvaluationManagers=2325 maxDegree=47 maxArity=3
1.26 => wckTime=0.911 cpuTime=0.73 mem=36M174
1.34
1.34 solver IterativeSystematicSolver being built...
1.64 => wckTime=1.293 cpuTime=0.97 mem=36M982
2.13
2.13 preprocessing
2.13 nbConstraintChecks=7026 nbValidityChecks=1638 nbPropagations=5843 nbRevisions=8742 nbUselessRevisions=6967
2.13 nbSingletonTests=2047 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
2.13 => wckTime=0.48 cpuTime=0.42 mem=37M956
2.21
2.21 search
2.21 run=0 nbConstraintChecks=12626 nbValidityChecks=5539 nbPropagations=9849 nbRevisions=22222
2.21 nbUselessRevisions=16433 nbAssignments=42 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=51
2.21 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
2.21 => wckTime=0.563 cpuTime=0.49 mem=37M956
2.27
2.27 search
2.27 run=1 nbConstraintChecks=23913 nbValidityChecks=11210 nbPropagations=23608 nbRevisions=57188
2.27 nbUselessRevisions=41694 nbAssignments=86 nbFailedAssignments=8 nbBacktracks=32 nbVisitedNodes=103
2.27 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
2.27 => wckTime=0.621 cpuTime=0.55 mem=37M956
2.34
2.34 search
2.34 run=2 nbConstraintChecks=40751 nbValidityChecks=19657 nbPropagations=43121 nbRevisions=111074
2.34 nbUselessRevisions=80103 nbAssignments=142 nbFailedAssignments=14 nbBacktracks=55 nbVisitedNodes=171
2.34 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.34 => wckTime=0.695 cpuTime=0.62 mem=37M956
2.42
2.42 search
2.42 run=3 nbConstraintChecks=58034 nbValidityChecks=28241 nbPropagations=68527 nbRevisions=184295
2.42 nbUselessRevisions=131939 nbAssignments=207 nbFailedAssignments=21 nbBacktracks=88 nbVisitedNodes=249
2.42 nbRestartNogoods=4 mapSize=35 nbInferences=0 nbTooLargeKeys=0
2.42 => wckTime=0.778 cpuTime=0.7 mem=37M956
2.54
2.54 search
2.54 run=4 nbConstraintChecks=83261 nbValidityChecks=40806 nbPropagations=102539 nbRevisions=285719
2.54 nbUselessRevisions=203337 nbAssignments=300 nbFailedAssignments=30 nbBacktracks=138 nbVisitedNodes=360
2.55 nbRestartNogoods=6 mapSize=50 nbInferences=0 nbTooLargeKeys=0
2.55 => wckTime=0.9 cpuTime=0.82 mem=37M956
2.69
2.69 search
2.69 run=5 nbConstraintChecks=113693 nbValidityChecks=56739 nbPropagations=146952 nbRevisions=422505
2.69 nbUselessRevisions=299653 nbAssignments=413 nbFailedAssignments=42 nbBacktracks=213 nbVisitedNodes=496
2.69 nbRestartNogoods=9 mapSize=71 nbInferences=0 nbTooLargeKeys=0
2.70 => wckTime=1.05 cpuTime=0.97 mem=37M956
2.89
2.89 search
2.89 run=6 nbConstraintChecks=146907 nbValidityChecks=74661 nbPropagations=202619 nbRevisions=598566
2.89 nbUselessRevisions=423868 nbAssignments=568 nbFailedAssignments=58 nbBacktracks=326 nbVisitedNodes=687
2.89 nbRestartNogoods=11 mapSize=105 nbInferences=0 nbTooLargeKeys=0
2.89 => wckTime=1.246 cpuTime=1.17 mem=37M956
3.14
3.14 search
3.14 run=7 nbConstraintChecks=174781 nbValidityChecks=90718 nbPropagations=267802 nbRevisions=809101
3.14 nbUselessRevisions=572868 nbAssignments=802 nbFailedAssignments=84 nbBacktracks=508 nbVisitedNodes=974
3.14 nbRestartNogoods=13 mapSize=155 nbInferences=0 nbTooLargeKeys=0
3.14 => wckTime=1.498 cpuTime=1.41 mem=37M956
3.52
3.52 search
3.52 run=8 nbConstraintChecks=235993 nbValidityChecks=126284 nbPropagations=353805 nbRevisions=1095561
3.52 nbUselessRevisions=776614 nbAssignments=1118 nbFailedAssignments=121 nbBacktracks=769 nbVisitedNodes=1369
3.52 nbRestartNogoods=16 mapSize=233 nbInferences=0 nbTooLargeKeys=0
3.52 => wckTime=1.879 cpuTime=1.8 mem=37M956
4.10
4.10 search
4.10 run=9 nbConstraintChecks=323402 nbValidityChecks=179084 nbPropagations=469031 nbRevisions=1493475
4.10 nbUselessRevisions=1061634 nbAssignments=1599 nbFailedAssignments=184 nbBacktracks=1156 nbVisitedNodes=1983
4.10 nbRestartNogoods=17 mapSize=362 nbInferences=0 nbTooLargeKeys=0
4.10 => wckTime=2.46 cpuTime=2.37 mem=38M930
5.02
5.02 search
5.02 run=10 nbConstraintChecks=514190 nbValidityChecks=297840 nbPropagations=648778 nbRevisions=2142220
5.02 nbUselessRevisions=1530541 nbAssignments=2355 nbFailedAssignments=332 nbBacktracks=1735 nbVisitedNodes=3039
5.02 nbRestartNogoods=21 mapSize=658 nbInferences=0 nbTooLargeKeys=0
5.02 => wckTime=3.377 cpuTime=3.27 mem=38M930
6.15
6.15 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=38M930)
6.21
6.21 search
6.21 run=11 nbConstraintChecks=746099 nbValidityChecks=455539 nbPropagations=910553 nbRevisions=3123479
6.21 nbUselessRevisions=2245874 nbAssignments=3436 nbFailedAssignments=523 nbBacktracks=2602 nbVisitedNodes=4492
6.21 nbRestartNogoods=25
6.21 => wckTime=4.57 cpuTime=4.46 mem=38M930
7.50
7.50 search
7.50 run=12 nbConstraintChecks=1157267 nbValidityChecks=682019 nbPropagations=1311083 nbRevisions=4601416
7.50 nbUselessRevisions=3314288 nbAssignments=4993 nbFailedAssignments=731 nbBacktracks=3900 nbVisitedNodes=6464
7.50 nbRestartNogoods=28
7.50 => wckTime=5.854 cpuTime=5.75 mem=38M930
9.76
9.76 search
9.76 run=13 nbConstraintChecks=2043039 nbValidityChecks=1136638 nbPropagations=2008194 nbRevisions=7108308
9.76 nbUselessRevisions=5105359 nbAssignments=7387 nbFailedAssignments=1065 nbBacktracks=5847 nbVisitedNodes=9477
9.76 nbRestartNogoods=36
9.76 => wckTime=8.12 cpuTime=8.01 mem=38M930
12.71
12.71 search
12.71 run=14 nbConstraintChecks=3024917 nbValidityChecks=1735864 nbPropagations=3031586 nbRevisions=10888816
12.71 nbUselessRevisions=7829502 nbAssignments=10825 nbFailedAssignments=1547 nbBacktracks=8771 nbVisitedNodes=13883
12.71 nbRestartNogoods=41
12.71 => wckTime=11.069 cpuTime=10.96 mem=38M930
17.90
17.90 search
17.90 run=15 nbConstraintChecks=4907835 nbValidityChecks=2796557 nbPropagations=4693265 nbRevisions=17003523
17.90 nbUselessRevisions=12230146 nbAssignments=16088 nbFailedAssignments=2389 nbBacktracks=13159
17.90 nbVisitedNodes=20708 nbRestartNogoods=46
17.90 => wckTime=16.253 cpuTime=16.11 mem=38M930
25.37
25.37 search
25.37 run=16 nbConstraintChecks=7513714 nbValidityChecks=4349005 nbPropagations=7243048 nbRevisions=26522679
25.37 nbUselessRevisions=19115725 nbAssignments=24158 nbFailedAssignments=3805 nbBacktracks=19747
25.37 nbVisitedNodes=31505 nbRestartNogoods=53
25.37 => wckTime=23.729 cpuTime=23.52 mem=38M930
36.87
36.87 search
36.87 run=17 nbConstraintChecks=11510951 nbValidityChecks=6829938 nbPropagations=11135522 nbRevisions=41308637
36.87 nbUselessRevisions=29872094 nbAssignments=36088 nbFailedAssignments=5848 nbBacktracks=29606
36.87 nbVisitedNodes=47465 nbRestartNogoods=62
36.87 => wckTime=35.221 cpuTime=34.95 mem=38M930
51.87
51.87 search
51.87 run=18 nbConstraintChecks=16405050 nbValidityChecks=9821256 nbPropagations=16677880 nbRevisions=62541157
51.87 nbUselessRevisions=45364954 nbAssignments=53220 nbFailedAssignments=8182 nbBacktracks=44387
51.87 nbVisitedNodes=69344 nbRestartNogoods=70
51.87 => wckTime=50.226 cpuTime=49.89 mem=38M930
74.66
74.66 search
74.66 run=19 nbConstraintChecks=23905487 nbValidityChecks=14278591 nbPropagations=24772230 nbRevisions=93467723
74.66 nbUselessRevisions=67903742 nbAssignments=79386 nbFailedAssignments=12146 nbBacktracks=66556
74.66 nbVisitedNodes=103266 nbRestartNogoods=78
74.66 => wckTime=73.011 cpuTime=72.53 mem=38M930
107.74
107.74 search
107.74 run=20 nbConstraintChecks=35670389 nbValidityChecks=21217875 nbPropagations=36838200 nbRevisions=139538347
107.74 nbUselessRevisions=101473349 nbAssignments=114463 nbFailedAssignments=17664 nbBacktracks=94032
107.74 nbVisitedNodes=149396 nbRestartNogoods=89
107.74 => wckTime=106.1 cpuTime=105.45 mem=38M930
107.75
107.75 global
107.75 nbConstraintChecks=35677415 nbValidityChecks=21219513 nbPropagations=36844043 nbRevisions=139547089
107.75 nbUselessRevisions=101480316 nbRestartNogoods=89 solvingWckTime=106.101 solvingCpuTime=105.45 expiredTime=no
107.75 totalExploration=no nbFoundSolutions=1 globalCpuTime=106.47
107.75 => wckTime=107.4 cpuTime=106.42 mem=38M930
107.75
107.75 s SATISFIABLE
107.75 v 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 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 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 0 1 0 1 0 1 1 0 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 1 0 1 0 1 0 0 1 0 1 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 0 1 0 1 0 1 1 0 1 0 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 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 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 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 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 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 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 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 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 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 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 1 0 1 0 0 1 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 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 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 0 1 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 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 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 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 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 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 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 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 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 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 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 1 0 0 1 0 1 0 1 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 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 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 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 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 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 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 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 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 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 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 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 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 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 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 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 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 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 1 0 1 0 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 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 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 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 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 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
107.75 d NODES 114463
107.75 d CHECKS 35677415
107.75
107.75 totalWckTime=107.482 totalCpuTime=106.49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-213949-1168227495 -o ROOT/results/node7/solver-213949-1168227495 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213949-1168227495/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.92 1.95 1.89 3/88 5118
/proc/meminfo: memFree=1727192/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=18540 CPUtime=0
/proc/5117/stat : 5117 (runsolver) R 5115 5117 4828 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 171144986 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5117/statm: 4635 279 244 17 0 2626 0
[startup+0.109531 s]
/proc/loadavg: 1.92 1.95 1.89 3/88 5118
/proc/meminfo: memFree=1727192/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=912908 CPUtime=0.07
/proc/5117/stat : 5117 (java) S 5115 5117 4828 0 -1 0 2817 0 1 0 6 1 0 0 17 0 8 0 171144986 934817792 2563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5117/statm: 228227 2563 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908
[startup+0.521574 s]
/proc/loadavg: 1.92 1.95 1.89 3/88 5118
/proc/meminfo: memFree=1727192/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915328 CPUtime=0.46
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 6388 0 9 0 41 5 0 0 19 0 8 0 171144986 937295872 6135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228832 6135 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.34366 s]
/proc/loadavg: 1.92 1.95 1.89 3/95 5125
/proc/meminfo: memFree=1683488/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915732 CPUtime=1.28
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 14360 0 9 0 103 25 0 0 18 0 8 0 171144986 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228933 14105 2185 14 0 215403 0
[pid=5117/tid=5119] ppid=5115 vsize=915732 CPUtime=0.07
/proc/5117/task/5119/stat : 5119 (java) S 5115 5117 4828 0 -1 64 913 0 0 0 7 0 0 0 17 0 8 0 171144992 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5120] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5120/stat : 5120 (java) S 5115 5117 4828 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5121] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5121/stat : 5121 (java) S 5115 5117 4828 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5122] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5122/stat : 5122 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171144996 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5123] ppid=5115 vsize=915732 CPUtime=0.21
/proc/5117/task/5123/stat : 5123 (java) R 5115 5117 4828 0 -1 64 434 0 0 0 21 0 0 0 15 0 8 0 171144996 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5124] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5124/stat : 5124 (java) S 5115 5117 4828 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171144996 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5125] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5125/stat : 5125 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171144996 937709568 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915732
[startup+2.98083 s]
/proc/loadavg: 1.92 1.95 1.89 3/95 5125
/proc/meminfo: memFree=1676512/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915732 CPUtime=2.91
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 14872 0 10 0 265 26 0 0 25 0 8 0 171144986 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074189502 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228933 14617 2544 14 0 215403 0
[pid=5117/tid=5119] ppid=5115 vsize=915732 CPUtime=0.07
/proc/5117/task/5119/stat : 5119 (java) S 5115 5117 4828 0 -1 64 913 0 0 0 7 0 0 0 17 0 8 0 171144992 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5120] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5120/stat : 5120 (java) S 5115 5117 4828 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5121] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5121/stat : 5121 (java) S 5115 5117 4828 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5122] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5122/stat : 5122 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171144996 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5123] ppid=5115 vsize=915732 CPUtime=0.35
/proc/5117/task/5123/stat : 5123 (java) S 5115 5117 4828 0 -1 64 513 0 0 0 34 1 0 0 15 0 8 0 171144996 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5124] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5124/stat : 5124 (java) S 5115 5117 4828 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171144996 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5125] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5125/stat : 5125 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171144996 937709568 14617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915732
[startup+6.27318 s]
/proc/loadavg: 1.93 1.95 1.89 3/95 5125
/proc/meminfo: memFree=1676320/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915732 CPUtime=6.21
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 14892 0 10 0 594 27 0 0 25 0 8 0 171144986 937709568 14634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074131853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228933 14634 2544 14 0 215403 0
[pid=5117/tid=5119] ppid=5115 vsize=915732 CPUtime=0.07
/proc/5117/task/5119/stat : 5119 (java) S 5115 5117 4828 0 -1 64 913 0 0 0 7 0 0 0 17 0 8 0 171144992 937709568 14634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5120] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5120/stat : 5120 (java) S 5115 5117 4828 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5121] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5121/stat : 5121 (java) S 5115 5117 4828 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5122] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5122/stat : 5122 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171144996 937709568 14634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5123] ppid=5115 vsize=915732 CPUtime=0.38
/proc/5117/task/5123/stat : 5123 (java) S 5115 5117 4828 0 -1 64 530 0 0 0 37 1 0 0 16 0 8 0 171144996 937709568 14634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5124] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5124/stat : 5124 (java) S 5115 5117 4828 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171144996 937709568 14634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5125] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5125/stat : 5125 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171144996 937709568 14634 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) 915732
[startup+12.7589 s]
/proc/loadavg: 1.93 1.95 1.89 3/95 5125
/proc/meminfo: memFree=1676320/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915732 CPUtime=12.69
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 14895 0 10 0 1242 27 0 0 25 0 8 0 171144986 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074123991 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228933 14635 2544 14 0 215403 0
[pid=5117/tid=5119] ppid=5115 vsize=915732 CPUtime=0.07
/proc/5117/task/5119/stat : 5119 (java) S 5115 5117 4828 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171144992 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5120] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5120/stat : 5120 (java) S 5115 5117 4828 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5121] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5121/stat : 5121 (java) S 5115 5117 4828 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5122] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5122/stat : 5122 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171144996 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5123] ppid=5115 vsize=915732 CPUtime=0.38
/proc/5117/task/5123/stat : 5123 (java) S 5115 5117 4828 0 -1 64 531 0 0 0 37 1 0 0 17 0 8 0 171144996 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5124] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5124/stat : 5124 (java) S 5115 5117 4828 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171144996 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5125] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5125/stat : 5125 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171144996 937709568 14635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915732
[startup+25.635 s]
/proc/loadavg: 1.95 1.96 1.89 3/95 5125
/proc/meminfo: memFree=1676384/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915732 CPUtime=25.47
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 14896 0 10 0 2520 27 0 0 25 0 8 0 171144986 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480264 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228933 14636 2544 14 0 215403 0
[pid=5117/tid=5119] ppid=5115 vsize=915732 CPUtime=0.07
/proc/5117/task/5119/stat : 5119 (java) S 5115 5117 4828 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171144992 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5120] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5120/stat : 5120 (java) S 5115 5117 4828 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5121] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5121/stat : 5121 (java) S 5115 5117 4828 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5122] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5122/stat : 5122 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171144996 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5123] ppid=5115 vsize=915732 CPUtime=0.39
/proc/5117/task/5123/stat : 5123 (java) S 5115 5117 4828 0 -1 64 532 0 0 0 38 1 0 0 16 0 8 0 171144996 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5124] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5124/stat : 5124 (java) S 5115 5117 4828 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171144996 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5125] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5125/stat : 5125 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171144996 937709568 14636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915732
[startup+51.2577 s]
/proc/loadavg: 1.96 1.96 1.89 3/95 5125
/proc/meminfo: memFree=1676448/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915732 CPUtime=50.97
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 14898 0 10 0 5070 27 0 0 25 0 8 0 171144986 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074092472 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228933 14637 2544 14 0 215403 0
[pid=5117/tid=5119] ppid=5115 vsize=915732 CPUtime=0.07
/proc/5117/task/5119/stat : 5119 (java) S 5115 5117 4828 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171144992 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5120] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5120/stat : 5120 (java) S 5115 5117 4828 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5121] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5121/stat : 5121 (java) S 5115 5117 4828 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5122] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5122/stat : 5122 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5123] ppid=5115 vsize=915732 CPUtime=0.39
/proc/5117/task/5123/stat : 5123 (java) S 5115 5117 4828 0 -1 64 533 0 0 0 38 1 0 0 16 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5124] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5124/stat : 5124 (java) S 5115 5117 4828 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5125] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5125/stat : 5125 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915732
[startup+102.502 s]
/proc/loadavg: 2.05 1.98 1.90 3/95 5125
/proc/meminfo: memFree=1676256/2055920 swapFree=4192812/4192956
[pid=5117] ppid=5115 vsize=915732 CPUtime=101.94
/proc/5117/stat : 5117 (java) R 5115 5117 4828 0 -1 0 14898 0 10 0 10167 27 0 0 25 0 8 0 171144986 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074084961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5117/statm: 228933 14637 2544 14 0 215403 0
[pid=5117/tid=5119] ppid=5115 vsize=915732 CPUtime=0.07
/proc/5117/task/5119/stat : 5119 (java) S 5115 5117 4828 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171144992 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5120] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5120/stat : 5120 (java) S 5115 5117 4828 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5121] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5121/stat : 5121 (java) S 5115 5117 4828 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171144992 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5122] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5122/stat : 5122 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5123] ppid=5115 vsize=915732 CPUtime=0.39
/proc/5117/task/5123/stat : 5123 (java) S 5115 5117 4828 0 -1 64 533 0 0 0 38 1 0 0 16 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5117/tid=5124] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5124/stat : 5124 (java) S 5115 5117 4828 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5117/tid=5125] ppid=5115 vsize=915732 CPUtime=0
/proc/5117/task/5125/stat : 5125 (java) S 5115 5117 4828 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171144996 937709568 14637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915732
Child status: 0
Real time (s): 107.812
CPU time (s): 107.188
CPU user time (s): 106.898
CPU system time (s): 0.289955
CPU usage (%): 99.4208
Max. virtual memory (cumulated for all children) (KiB): 915732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106.898
system time used= 0.289955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14909
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3971
involuntary context switches= 3861
runsolver used 0.136979 s user time and 0.353946 s system time
The end
Begin job on node7 on Mon Jan 8 03:38:16 UTC 2007
IDJOB= 213949
IDBENCH= 4887
FILE ID= node7/213949-1168227495
PBS_JOBID= 3481052
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-16-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213949-1168227495/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-213949-1168227495 -o ROOT/results/node7/solver-213949-1168227495 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213949-1168227495/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b2c1e60b5d6560b6adf6904a2b6ef697
RANDOM SEED= 550285182
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.220
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.220
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: 1727672 kB
Buffers: 49652 kB
Cached: 152716 kB
SwapCached: 0 kB
Active: 158316 kB
Inactive: 117752 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1727672 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2512 kB
Writeback: 0 kB
Mapped: 93468 kB
Slab: 36748 kB
Committed_AS: 4921756 kB
PageTables: 2400 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= 66557 MiB
End job on node7 on Mon Jan 8 03:40:03 UTC 2007