0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/214028-1168077574/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.60 nbVariables=2030 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.60 => wckTime=0.27 cpuTime=0.18 mem=10M820
0.61
0.61 predicates being loaded...
0.61
0.61 constraints being loaded...
1.32 nbConstraints=4313 nbSingletonDomainVariables=766 nbConvertedConstraints=1941 nbConvertConstraintsChecks=64
1.32 nbExtensionStructures=7 nbSharedExtensionStructures=1934 nbConflictsStructures=22
1.32 nbSharedConflictsStructures=4291 nbSharedBinaryRepresentations=16 nbEvaluationManagers=15
1.32 nbSharedEvaluationManagers=2357 maxDegree=43 maxArity=3
1.32 => wckTime=0.989 cpuTime=0.8 mem=36M174
1.42
1.42 solver IterativeSystematicSolver being built...
1.74 => wckTime=1.409 cpuTime=1.05 mem=36M926
1.78
1.78 preprocessing
1.78 nbConstraintChecks=0 nbPropagations=2030 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.78 detectedInconsistency=no
1.78 => wckTime=0.027 cpuTime=0.02 mem=36M926
1.94
1.94 search
1.94 run=0 nbConstraintChecks=12206 nbValidityChecks=4362 nbPropagations=5941 nbRevisions=13030
1.94 nbUselessRevisions=9108 nbAssignments=41 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=49
1.94 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.184 cpuTime=0.14 mem=37M900
2.03
2.03 search
2.03 run=1 nbConstraintChecks=24381 nbValidityChecks=10518 nbPropagations=16069 nbRevisions=40391
2.03 nbUselessRevisions=28344 nbAssignments=84 nbFailedAssignments=6 nbBacktracks=26 nbVisitedNodes=100
2.03 nbRestartNogoods=2 mapSize=11 nbInferences=0 nbTooLargeKeys=0
2.03 => wckTime=0.284 cpuTime=0.23 mem=37M900
2.15
2.15 search
2.15 run=2 nbConstraintChecks=43048 nbValidityChecks=20046 nbPropagations=32545 nbRevisions=89210
2.15 nbUselessRevisions=62658 nbAssignments=141 nbFailedAssignments=13 nbBacktracks=48 nbVisitedNodes=170
2.15 nbRestartNogoods=4 mapSize=20 nbInferences=0 nbTooLargeKeys=0
2.15 => wckTime=0.405 cpuTime=0.35 mem=37M900
2.31
2.31 search
2.31 run=3 nbConstraintChecks=65728 nbValidityChecks=31758 nbPropagations=56733 nbRevisions=164289
2.31 nbUselessRevisions=115482 nbAssignments=212 nbFailedAssignments=22 nbBacktracks=82 nbVisitedNodes=256
2.31 nbRestartNogoods=8 mapSize=32 nbInferences=0 nbTooLargeKeys=0
2.31 => wckTime=0.56 cpuTime=0.5 mem=37M900
2.49
2.49 search
2.49 run=4 nbConstraintChecks=90266 nbValidityChecks=44454 nbPropagations=89289 nbRevisions=267771
2.49 nbUselessRevisions=188294 nbAssignments=293 nbFailedAssignments=32 nbBacktracks=133 nbVisitedNodes=354
2.49 nbRestartNogoods=11 mapSize=48 nbInferences=0 nbTooLargeKeys=0
2.49 => wckTime=0.734 cpuTime=0.67 mem=37M900
2.77
2.77 search
2.77 run=5 nbConstraintChecks=132325 nbValidityChecks=65916 nbPropagations=135984 nbRevisions=419256
2.77 nbUselessRevisions=294872 nbAssignments=415 nbFailedAssignments=46 nbBacktracks=216 nbVisitedNodes=506
2.77 nbRestartNogoods=12 mapSize=76 nbInferences=0 nbTooLargeKeys=0
2.77 => wckTime=1.024 cpuTime=0.95 mem=37M900
3.15
3.15 search
3.15 run=6 nbConstraintChecks=194094 nbValidityChecks=97570 nbPropagations=203498 nbRevisions=641288
3.15 nbUselessRevisions=451039 nbAssignments=581 nbFailedAssignments=66 nbBacktracks=334 nbVisitedNodes=717
3.15 nbRestartNogoods=14 mapSize=118 nbInferences=0 nbTooLargeKeys=0
3.15 => wckTime=1.399 cpuTime=1.32 mem=37M900
3.64
3.64 search
3.64 run=7 nbConstraintChecks=250467 nbValidityChecks=128507 nbPropagations=290021 nbRevisions=931037
3.64 nbUselessRevisions=655666 nbAssignments=821 nbFailedAssignments=100 nbBacktracks=511 nbVisitedNodes=1022
3.64 nbRestartNogoods=17 mapSize=180 nbInferences=0 nbTooLargeKeys=0
3.64 => wckTime=1.89 cpuTime=1.81 mem=37M900
4.32
4.32 search
4.32 run=8 nbConstraintChecks=327210 nbValidityChecks=171344 nbPropagations=402721 nbRevisions=1317410
4.32 nbUselessRevisions=930071 nbAssignments=1156 nbFailedAssignments=152 nbBacktracks=767 nbVisitedNodes=1454
4.32 nbRestartNogoods=20 mapSize=274 nbInferences=0 nbTooLargeKeys=0
4.32 => wckTime=2.57 cpuTime=2.48 mem=37M900
5.44
5.44 search
5.44 run=9 nbConstraintChecks=471661 nbValidityChecks=251491 nbPropagations=563947 nbRevisions=1878904
5.44 nbUselessRevisions=1330192 nbAssignments=1640 nbFailedAssignments=212 nbBacktracks=1152 nbVisitedNodes=2074
5.44 nbRestartNogoods=23 mapSize=407 nbInferences=0 nbTooLargeKeys=0
5.44 => wckTime=3.689 cpuTime=3.57 mem=37M900
7.03
7.03 search
7.03 run=10 nbConstraintChecks=727135 nbValidityChecks=398189 nbPropagations=811943 nbRevisions=2760294
7.03 nbUselessRevisions=1961368 nbAssignments=2371 nbFailedAssignments=326 nbBacktracks=1736 nbVisitedNodes=3051
7.03 nbRestartNogoods=26 mapSize=648 nbInferences=0 nbTooLargeKeys=0
7.03 => wckTime=5.276 cpuTime=5.12 mem=38M874
9.08
9.08 search
9.08 run=11 nbConstraintChecks=985811 nbValidityChecks=563589 nbPropagations=1147546 nbRevisions=3992495
9.08 nbUselessRevisions=2852018 nbAssignments=3404 nbFailedAssignments=455 nbBacktracks=2604 nbVisitedNodes=4389
9.08 nbRestartNogoods=31 mapSize=948 nbInferences=0 nbTooLargeKeys=0
9.08 => wckTime=7.329 cpuTime=7.15 mem=38M874
9.61
9.61 INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=38M874)
11.30
11.30 search
11.30 run=12 nbConstraintChecks=1462688 nbValidityChecks=828713 nbPropagations=1643220 nbRevisions=5811842
11.30 nbUselessRevisions=4163185 nbAssignments=4982 nbFailedAssignments=699 nbBacktracks=3905 nbVisitedNodes=6438
11.30 nbRestartNogoods=36
11.30 => wckTime=9.549 cpuTime=9.35 mem=38M874
14.35
14.35 search
14.35 run=13 nbConstraintChecks=2234844 nbValidityChecks=1241643 nbPropagations=2398981 nbRevisions=8547407
14.35 nbUselessRevisions=6121137 nbAssignments=7302 nbFailedAssignments=1040 nbBacktracks=5851 nbVisitedNodes=9429
14.35 nbRestartNogoods=41
14.35 => wckTime=12.599 cpuTime=12.37 mem=38M874
18.77
18.77 search
18.77 run=14 nbConstraintChecks=3313611 nbValidityChecks=1859202 nbPropagations=3518077 nbRevisions=12621082
18.77 nbUselessRevisions=9043012 nbAssignments=10735 nbFailedAssignments=1523 nbBacktracks=8772 nbVisitedNodes=13885
18.77 nbRestartNogoods=44
18.77 => wckTime=17.021 cpuTime=16.75 mem=38M874
25.05
25.05 search
25.05 run=15 nbConstraintChecks=4694929 nbValidityChecks=2674432 nbPropagations=5090019 nbRevisions=18436051
25.05 nbUselessRevisions=13233325 nbAssignments=15892 nbFailedAssignments=2254 nbBacktracks=13172
25.05 nbVisitedNodes=20591 nbRestartNogoods=50
25.05 => wckTime=23.301 cpuTime=22.97 mem=38M874
35.17
35.17 search
35.17 run=16 nbConstraintChecks=7160642 nbValidityChecks=4210725 nbPropagations=7510319 nbRevisions=27528176
35.17 nbUselessRevisions=19819362 nbAssignments=23626 nbFailedAssignments=3384 nbBacktracks=19751
35.17 nbVisitedNodes=30590 nbRestartNogoods=56
35.17 => wckTime=33.424 cpuTime=33.0 mem=38M874
50.23
50.23 search
50.23 run=17 nbConstraintChecks=10863186 nbValidityChecks=6457174 nbPropagations=11181635 nbRevisions=41445045
50.23 nbUselessRevisions=29935417 nbAssignments=35186 nbFailedAssignments=5073 nbBacktracks=29604
50.23 nbVisitedNodes=45456 nbRestartNogoods=64
50.23 => wckTime=48.481 cpuTime=47.92 mem=38M874
71.44
71.44 search
71.44 run=18 nbConstraintChecks=15371373 nbValidityChecks=9304024 nbPropagations=16380924 nbRevisions=61424644
71.44 nbUselessRevisions=44527384 nbAssignments=52338 nbFailedAssignments=7396 nbBacktracks=44382
71.44 nbVisitedNodes=66977 nbRestartNogoods=70
71.44 => wckTime=69.686 cpuTime=68.93 mem=38M874
108.82
108.82 search
108.82 run=19 nbConstraintChecks=24660674 nbValidityChecks=14909745 nbPropagations=24726575 nbRevisions=93596517
108.82 nbUselessRevisions=68063702 nbAssignments=78592 nbFailedAssignments=11452 nbBacktracks=66555
108.82 nbVisitedNodes=101604 nbRestartNogoods=82
108.82 => wckTime=107.066 cpuTime=105.82 mem=38M874
160.00
160.00 search
160.00 run=20 nbConstraintChecks=36511551 nbValidityChecks=22225652 nbPropagations=37050812 nbRevisions=141264049
160.00 nbUselessRevisions=102975898 nbAssignments=117510 nbFailedAssignments=17071 nbBacktracks=99831
160.00 nbVisitedNodes=151618 nbRestartNogoods=89
160.00 => wckTime=158.244 cpuTime=156.41 mem=38M874
251.57
251.57 search
251.57 run=21 nbConstraintChecks=61487452 nbValidityChecks=37260246 nbPropagations=57735207 nbRevisions=221403100
251.57 nbUselessRevisions=161703115 nbAssignments=178022 nbFailedAssignments=27681 nbBacktracks=149709
251.57 nbVisitedNodes=231966 nbRestartNogoods=94
251.57 => wckTime=249.819 cpuTime=247.06 mem=38M874
379.46
379.46 search
379.46 run=22 nbConstraintChecks=93321143 nbValidityChecks=56672030 nbPropagations=89184907 nbRevisions=343466456
379.46 nbUselessRevisions=251205355 nbAssignments=267065 nbFailedAssignments=41882 nbBacktracks=224530
379.46 nbVisitedNodes=348554 nbRestartNogoods=101
379.46 => wckTime=377.714 cpuTime=373.75 mem=38M874
492.23
492.23 search
492.23 run=23 nbConstraintChecks=119950676 nbValidityChecks=73298668 nbPropagations=129695831 nbRevisions=501187270
492.23 nbUselessRevisions=366956818 nbAssignments=349378 nbFailedAssignments=54379 nbBacktracks=292316
492.23 nbVisitedNodes=456026 nbRestartNogoods=108
492.23 => wckTime=490.482 cpuTime=485.47 mem=38M874
492.23
492.23 global
492.23 nbConstraintChecks=119950676 nbValidityChecks=73298668 nbPropagations=129697861 nbRevisions=501187270
492.23 nbUselessRevisions=366956818 nbRestartNogoods=108 solvingWckTime=490.483 solvingCpuTime=485.47 expiredTime=no
492.23 totalExploration=no nbFoundSolutions=1 globalCpuTime=486.6
492.23 => wckTime=491.899 cpuTime=486.54 mem=38M874
492.24
492.24 s SATISFIABLE
492.24 v 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 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 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 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 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 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 1 0 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 1 0 0 1 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 1 0 0 1 1 0 1 0 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 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 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 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 1 0 1 0 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 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 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 0 1 0 1 0 1 1 0 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 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 0 1 0 1 1 0 1 0 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 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 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 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 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 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 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 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 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 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 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 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 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 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 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 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 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 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 0 1
492.24 d NODES 349378
492.24 d CHECKS 119950676
492.24
492.24 totalWckTime=491.989 totalCpuTime=486.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-214028-1168077574 -o ROOT/results/node17/solver-214028-1168077574 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214028-1168077574/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.84 1.80 1.88 5/93 12667
/proc/meminfo: memFree=1554664/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=18540 CPUtime=0
/proc/12666/stat : 12666 (runsolver) R 12664 12666 10817 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156152259 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12666/statm: 4635 279 244 17 0 2626 0
[startup+0.107761 s]
/proc/loadavg: 1.84 1.80 1.88 5/93 12667
/proc/meminfo: memFree=1554664/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=914988 CPUtime=0.09
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 2960 0 1 0 7 2 0 0 17 0 8 0 156152259 936947712 2706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2862368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228747 2706 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515797 s]
/proc/loadavg: 1.84 1.80 1.88 5/93 12667
/proc/meminfo: memFree=1554664/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915328 CPUtime=0.49
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 6396 0 1 0 45 4 0 0 18 0 8 0 156152259 937295872 6135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228832 6135 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33689 s]
/proc/loadavg: 1.84 1.80 1.88 3/100 12674
/proc/meminfo: memFree=1513968/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915644 CPUtime=1.3
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 13493 0 1 0 105 25 0 0 24 0 8 0 156152259 937619456 13230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228911 13230 2179 14 0 215381 0
[pid=12666/tid=12668] ppid=12664 vsize=915644 CPUtime=0
/proc/12666/task/12668/stat : 12668 (java) R 12664 12666 10817 0 -1 64 15 0 0 0 0 0 0 0 16 0 8 0 156152263 937619456 13230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915644 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156152264 937619456 13230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915644 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 156152264 937619456 13230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915644 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937619456 13230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915644 CPUtime=0.22
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 435 0 0 0 21 1 0 0 16 0 8 0 156152267 937619456 13230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915644 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937619456 13230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915644 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937619456 13230 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) 915644
[startup+2.97755 s]
/proc/loadavg: 1.85 1.80 1.88 3/100 12674
/proc/meminfo: memFree=1506032/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=2.92
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14883 0 1 0 265 27 0 0 25 0 8 0 156152259 937709568 14619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074136000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14619 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 17 0 8 0 156152263 937709568 14619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.35
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 508 0 0 0 33 2 0 0 15 0 8 0 156152267 937709568 14619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14619 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) 915732
[startup+6.18585 s]
/proc/loadavg: 1.85 1.80 1.88 3/100 12674
/proc/meminfo: memFree=1505840/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=6.1
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14900 0 1 0 582 28 0 0 25 0 8 0 156152259 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074153330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14632 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 17 0 8 0 156152263 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.38
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 523 0 0 0 36 2 0 0 15 0 8 0 156152267 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915732
[startup+12.6611 s]
/proc/loadavg: 1.87 1.81 1.88 3/100 12674
/proc/meminfo: memFree=1505968/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=12.51
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14908 0 1 0 1223 28 0 0 25 0 8 0 156152259 937709568 14636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074104160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14636 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 17 0 8 0 156152263 937709568 14636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 528 0 0 0 37 2 0 0 16 0 8 0 156152267 937709568 14636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915732
[startup+25.5334 s]
/proc/loadavg: 1.89 1.82 1.88 3/100 12674
/proc/meminfo: memFree=1506032/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=25.26
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14911 0 1 0 2498 28 0 0 25 0 8 0 156152259 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074090015 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14638 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 530 0 0 0 37 2 0 0 15 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14638 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) 915732
[startup+51.1661 s]
/proc/loadavg: 1.93 1.83 1.88 3/100 12674
/proc/meminfo: memFree=1506096/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=50.66
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14911 0 1 0 5038 28 0 0 25 0 8 0 156152259 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074092550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14638 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 530 0 0 0 37 2 0 0 15 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14638 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) 915732
[startup+102.432 s]
/proc/loadavg: 2.03 1.87 1.89 3/106 12756
/proc/meminfo: memFree=1504824/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=101.34
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14911 0 1 0 10105 29 0 0 25 0 8 0 156152259 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074158803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14638 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 530 0 0 0 37 2 0 0 15 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 915732
[startup+162.474 s]
/proc/loadavg: 2.01 1.89 1.90 3/106 12840
/proc/meminfo: memFree=1504832/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=160.68
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14912 0 1 0 16039 29 0 0 25 0 8 0 156152259 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074153330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14638 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 530 0 0 0 37 2 0 0 16 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.68
Current children cumulated vsize (KiB) 915732
[startup+222.495 s]
/proc/loadavg: 2.00 1.91 1.90 3/100 12872
/proc/meminfo: memFree=1505904/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=220.08
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14912 0 1 0 21979 29 0 0 25 0 8 0 156152259 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074158803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14638 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 530 0 0 0 37 2 0 0 16 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.08
Current children cumulated vsize (KiB) 915732
[startup+282.504 s]
/proc/loadavg: 2.00 1.92 1.91 3/100 12872
/proc/meminfo: memFree=1505904/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=279.52
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14912 0 1 0 27922 30 0 0 25 0 8 0 156152259 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074110851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14638 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 530 0 0 0 37 2 0 0 16 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.52
Current children cumulated vsize (KiB) 915732
[startup+342.516 s]
/proc/loadavg: 2.00 1.93 1.91 3/100 12872
/proc/meminfo: memFree=1505904/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=338.97
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14913 0 1 0 33866 31 0 0 25 0 8 0 156152259 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074165964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14639 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 531 0 0 0 37 2 0 0 16 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 338.97
Current children cumulated vsize (KiB) 915732
[startup+402.526 s]
/proc/loadavg: 2.03 1.96 1.91 3/100 12872
/proc/meminfo: memFree=1505904/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=398.42
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14913 0 1 0 39810 32 0 0 25 0 8 0 156152259 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074178084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14639 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 531 0 0 0 37 2 0 0 16 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.42
Current children cumulated vsize (KiB) 915732
[startup+462.534 s]
/proc/loadavg: 2.01 1.96 1.91 3/100 12872
/proc/meminfo: memFree=1505904/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=457.87
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14913 0 1 0 45755 32 0 0 25 0 8 0 156152259 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074107334 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14639 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 531 0 0 0 37 2 0 0 16 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 457.87
Current children cumulated vsize (KiB) 915732
Child status: 0
Real time (s): 492.283
CPU time (s): 487.324
CPU user time (s): 486.98
CPU system time (s): 0.343947
CPU usage (%): 98.9926
Max. virtual memory (cumulated for all children) (KiB): 915732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 486.98
system time used= 0.343947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14925
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= 11697
involuntary context switches= 20863
runsolver used 0.661899 s user time and 1.68874 s system time
The end
Begin job on node17 on Sat Jan 6 09:59:35 UTC 2007
IDJOB= 214028
IDBENCH= 4893
FILE ID= node17/214028-1168077574
PBS_JOBID= 3475745
Free space on /tmp= 66317 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-16-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214028-1168077574/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-214028-1168077574 -o ROOT/results/node17/solver-214028-1168077574 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214028-1168077574/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 943f9e56236aca9d1f32a5d4420aad28
RANDOM SEED= 182800029
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: 1555144 kB
Buffers: 46644 kB
Cached: 234604 kB
SwapCached: 0 kB
Active: 206088 kB
Inactive: 205284 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1555144 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2296 kB
Writeback: 0 kB
Mapped: 159152 kB
Slab: 73852 kB
Committed_AS: 4565112 kB
PageTables: 2436 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= 66317 MiB
End job on node17 on Sat Jan 6 10:07:47 UTC 2007