0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/214170-1168228548/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.55 nbVariables=2030 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.55 => wckTime=0.251 cpuTime=0.17 mem=10M820
0.55
0.55 predicates being loaded...
0.55
0.55 constraints being loaded...
1.23 nbConstraints=4283 nbSingletonDomainVariables=790 nbConvertedConstraints=1971 nbConvertConstraintsChecks=64
1.23 nbExtensionStructures=7 nbSharedExtensionStructures=1964 nbConflictsStructures=22
1.23 nbSharedConflictsStructures=4261 nbSharedBinaryRepresentations=16 nbEvaluationManagers=15
1.23 nbSharedEvaluationManagers=2297 maxDegree=43 maxArity=3
1.23 => wckTime=0.929 cpuTime=0.77 mem=36M174
1.31
1.31 solver IterativeSystematicSolver being built...
1.61 => wckTime=1.313 cpuTime=1.02 mem=37M6
2.12
2.12 preprocessing
2.12 nbConstraintChecks=7890 nbValidityChecks=1866 nbPropagations=6097 nbRevisions=9580 nbUselessRevisions=7523
2.12 nbSingletonTests=2045 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
2.12 => wckTime=0.5 cpuTime=0.46 mem=37M6
2.20
2.20 search
2.20 run=0 nbConstraintChecks=14311 nbValidityChecks=5972 nbPropagations=10667 nbRevisions=24272
2.20 nbUselessRevisions=17637 nbAssignments=42 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=51
2.20 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
2.20 => wckTime=0.583 cpuTime=0.53 mem=37M996
2.26
2.26 search
2.26 run=1 nbConstraintChecks=27967 nbValidityChecks=12261 nbPropagations=25940 nbRevisions=63136
2.26 nbUselessRevisions=45253 nbAssignments=84 nbFailedAssignments=8 nbBacktracks=30 nbVisitedNodes=101
2.26 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
2.26 => wckTime=0.642 cpuTime=0.58 mem=37M996
2.34
2.34 search
2.34 run=2 nbConstraintChecks=50726 nbValidityChecks=22677 nbPropagations=48829 nbRevisions=126113
2.34 nbUselessRevisions=89341 nbAssignments=141 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=172
2.34 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
2.34 => wckTime=0.726 cpuTime=0.67 mem=37M996
2.44
2.44 search
2.44 run=3 nbConstraintChecks=74093 nbValidityChecks=33474 nbPropagations=79544 nbRevisions=214021
2.44 nbUselessRevisions=150514 nbAssignments=211 nbFailedAssignments=22 nbBacktracks=88 nbVisitedNodes=256
2.44 nbRestartNogoods=5 mapSize=36 nbInferences=0 nbTooLargeKeys=0
2.44 => wckTime=0.823 cpuTime=0.77 mem=37M996
2.56
2.56 search
2.56 run=4 nbConstraintChecks=100138 nbValidityChecks=45437 nbPropagations=119010 nbRevisions=329616
2.56 nbUselessRevisions=230596 nbAssignments=298 nbFailedAssignments=31 nbBacktracks=139 nbVisitedNodes=360
2.56 nbRestartNogoods=8 mapSize=50 nbInferences=0 nbTooLargeKeys=0
2.56 => wckTime=0.94 cpuTime=0.89 mem=37M996
2.72
2.72 search
2.72 run=5 nbConstraintChecks=132619 nbValidityChecks=60562 nbPropagations=169347 nbRevisions=480069
2.72 nbUselessRevisions=334635 nbAssignments=420 nbFailedAssignments=42 nbBacktracks=227 nbVisitedNodes=503
2.72 nbRestartNogoods=11 mapSize=69 nbInferences=0 nbTooLargeKeys=0
2.72 => wckTime=1.097 cpuTime=1.04 mem=37M996
2.96
2.96 search
2.96 run=6 nbConstraintChecks=198586 nbValidityChecks=90735 nbPropagations=241638 nbRevisions=700234
2.96 nbUselessRevisions=486341 nbAssignments=591 nbFailedAssignments=63 nbBacktracks=340 nbVisitedNodes=716
2.96 nbRestartNogoods=13 mapSize=107 nbInferences=0 nbTooLargeKeys=0
2.96 => wckTime=1.341 cpuTime=1.29 mem=37M996
3.23
3.23 search
3.23 run=7 nbConstraintChecks=240519 nbValidityChecks=112235 nbPropagations=327959 nbRevisions=968264
3.23 nbUselessRevisions=671709 nbAssignments=822 nbFailedAssignments=92 nbBacktracks=514 nbVisitedNodes=1009
3.23 nbRestartNogoods=17 mapSize=166 nbInferences=0 nbTooLargeKeys=0
3.23 => wckTime=1.612 cpuTime=1.56 mem=37M996
3.64
3.64 search
3.64 run=8 nbConstraintChecks=312875 nbValidityChecks=148500 nbPropagations=438404 nbRevisions=1317543
3.64 nbUselessRevisions=913931 nbAssignments=1153 nbFailedAssignments=133 nbBacktracks=770 nbVisitedNodes=1431
3.64 nbRestartNogoods=20 mapSize=255 nbInferences=0 nbTooLargeKeys=0
3.64 => wckTime=2.017 cpuTime=1.96 mem=37M996
4.21
4.21 search
4.21 run=9 nbConstraintChecks=409989 nbValidityChecks=201055 nbPropagations=581284 nbRevisions=1781999
4.21 nbUselessRevisions=1238244 nbAssignments=1632 nbFailedAssignments=190 nbBacktracks=1161 nbVisitedNodes=2042
4.21 nbRestartNogoods=22 mapSize=384 nbInferences=0 nbTooLargeKeys=0
4.21 => wckTime=2.597 cpuTime=2.53 mem=37M996
4.96
4.96 search
4.96 run=10 nbConstraintChecks=497547 nbValidityChecks=255784 nbPropagations=753292 nbRevisions=2362262
4.96 nbUselessRevisions=1648099 nbAssignments=2324 nbFailedAssignments=274 nbBacktracks=1738 nbVisitedNodes=2908
4.96 nbRestartNogoods=25 mapSize=554 nbInferences=0 nbTooLargeKeys=0
4.96 => wckTime=3.343 cpuTime=3.26 mem=38M970
6.06
6.06 search
6.06 run=11 nbConstraintChecks=650533 nbValidityChecks=355494 nbPropagations=976360 nbRevisions=3152558
6.06 nbUselessRevisions=2214296 nbAssignments=3368 nbFailedAssignments=410 nbBacktracks=2605 nbVisitedNodes=4225
6.06 nbRestartNogoods=29 mapSize=824 nbInferences=0 nbTooLargeKeys=0
6.06 => wckTime=4.445 cpuTime=4.36 mem=38M970
6.86
6.86 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=38M970)
7.62
7.62 search
7.62 run=12 nbConstraintChecks=1024737 nbValidityChecks=570029 nbPropagations=1324961 nbRevisions=4418946
7.62 nbUselessRevisions=3125865 nbAssignments=4925 nbFailedAssignments=625 nbBacktracks=3916 nbVisitedNodes=6232
7.62 nbRestartNogoods=32
7.62 => wckTime=5.998 cpuTime=5.91 mem=38M970
9.82
9.82 search
9.82 run=13 nbConstraintChecks=1757325 nbValidityChecks=999686 nbPropagations=1923577 nbRevisions=6628235
9.82 nbUselessRevisions=4721016 nbAssignments=7270 nbFailedAssignments=990 nbBacktracks=5869 nbVisitedNodes=9258
9.82 nbRestartNogoods=36
9.82 => wckTime=8.201 cpuTime=8.11 mem=38M970
12.56
12.56 search
12.56 run=14 nbConstraintChecks=2563563 nbValidityChecks=1475154 nbPropagations=2799931 nbRevisions=9886681
12.56 nbUselessRevisions=7076701 nbAssignments=10653 nbFailedAssignments=1436 nbBacktracks=8788 nbVisitedNodes=13567
12.56 nbRestartNogoods=39
12.56 => wckTime=10.94 cpuTime=10.85 mem=38M970
17.23
17.23 search
17.23 run=15 nbConstraintChecks=4082467 nbValidityChecks=2351634 nbPropagations=4180247 nbRevisions=15042397
17.23 nbUselessRevisions=10806435 nbAssignments=15867 nbFailedAssignments=2222 nbBacktracks=13174
17.23 nbVisitedNodes=20338 nbRestartNogoods=40
17.23 => wckTime=15.608 cpuTime=15.51 mem=38M970
23.67
23.67 search
23.67 run=16 nbConstraintChecks=6023408 nbValidityChecks=3531955 nbPropagations=6209968 nbRevisions=22758191
23.67 nbUselessRevisions=16421233 nbAssignments=23554 nbFailedAssignments=3306 nbBacktracks=19750
23.67 nbVisitedNodes=30299 nbRestartNogoods=44
23.67 => wckTime=22.056 cpuTime=21.96 mem=38M970
33.66
33.66 search
33.66 run=17 nbConstraintChecks=9119781 nbValidityChecks=5453228 nbPropagations=9289466 nbRevisions=34620567
33.66 nbUselessRevisions=25087911 nbAssignments=34948 nbFailedAssignments=4817 nbBacktracks=29609
33.66 nbVisitedNodes=44770 nbRestartNogoods=48
33.66 => wckTime=32.046 cpuTime=31.94 mem=38M970
46.51
46.51 search
46.51 run=18 nbConstraintChecks=12602153 nbValidityChecks=7540929 nbPropagations=13541538 nbRevisions=51019717
46.51 nbUselessRevisions=37077180 nbAssignments=51603 nbFailedAssignments=6659 nbBacktracks=44400
46.51 nbVisitedNodes=65050 nbRestartNogoods=53
46.51 => wckTime=44.89 cpuTime=44.79 mem=38M970
67.95
67.95 search
67.95 run=19 nbConstraintChecks=19248292 nbValidityChecks=11365606 nbPropagations=20021573 nbRevisions=75820095
67.95 nbUselessRevisions=55171315 nbAssignments=76558 nbFailedAssignments=9407 nbBacktracks=66573
67.95 nbVisitedNodes=95587 nbRestartNogoods=56
67.95 => wckTime=66.329 cpuTime=66.22 mem=38M970
103.54
103.54 search
103.54 run=20 nbConstraintChecks=30385022 nbValidityChecks=18228847 nbPropagations=30292130 nbRevisions=115449627
103.54 nbUselessRevisions=84163787 nbAssignments=115784 nbFailedAssignments=15333 nbBacktracks=99844
103.54 nbVisitedNodes=145774 nbRestartNogoods=64
103.54 => wckTime=101.92 cpuTime=101.8 mem=38M970
160.53
160.53 search
160.53 run=21 nbConstraintChecks=49944540 nbValidityChecks=29667046 nbPropagations=47144905 nbRevisions=180323389
160.53 nbUselessRevisions=131587894 nbAssignments=174971 nbFailedAssignments=24564 nbBacktracks=149730
160.53 nbVisitedNodes=223072 nbRestartNogoods=73
160.53 => wckTime=158.91 cpuTime=158.77 mem=38M970
233.24
233.24 search
233.24 run=22 nbConstraintChecks=71416873 nbValidityChecks=42529950 nbPropagations=71233720 nbRevisions=273380645
233.24 nbUselessRevisions=199688220 nbAssignments=262323 nbFailedAssignments=37050 nbBacktracks=224573
233.24 nbVisitedNodes=334616 nbRestartNogoods=83
233.24 => wckTime=231.626 cpuTime=231.48 mem=38M970
246.28
246.28 search
246.28 run=23 nbConstraintChecks=75800712 nbValidityChecks=45059106 nbPropagations=96788637 nbRevisions=371996331
246.28 nbUselessRevisions=271833087 nbAssignments=277244 nbFailedAssignments=39168 nbBacktracks=235346
246.28 nbVisitedNodes=353770 nbRestartNogoods=88
246.28 => wckTime=244.666 cpuTime=244.51 mem=38M970
246.29
246.29 global
246.29 nbConstraintChecks=75808602 nbValidityChecks=45060972 nbPropagations=96794734 nbRevisions=372005911
246.29 nbUselessRevisions=271840610 nbRestartNogoods=88 solvingWckTime=244.667 solvingCpuTime=244.52 expiredTime=no
246.29 totalExploration=no nbFoundSolutions=1 globalCpuTime=245.59
246.29 => wckTime=245.987 cpuTime=245.54 mem=38M970
246.29
246.29 s SATISFIABLE
246.29 v 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 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 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 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 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 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 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 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 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 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 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 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 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 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 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 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 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 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 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 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 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 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 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 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 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 1 0 1 0 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 1 0 1 0 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 1 0 1 0 1 0 0 1 0 1 1 0 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 0 1 1 0 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 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 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 0 1 1 0 1 0 1 0 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 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 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 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 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 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 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 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 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 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
246.29 d NODES 277244
246.29 d CHECKS 75808602
246.29
246.29 totalWckTime=246.063 totalCpuTime=245.59
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-214170-1168228548 -o ROOT/results/node34/solver-214170-1168228548 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214170-1168228548/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.00 1.00 1.00 3/65 13811
/proc/meminfo: memFree=1844688/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=1452 CPUtime=0
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 101 0 0 0 0 0 0 0 19 0 1 0 171248671 1486848 73 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 8621995 0 0 4096 0 0 0 0 17 1 0 0
/proc/13810/statm: 363 83 65 14 0 8 0
[startup+0.103099 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 13811
/proc/meminfo: memFree=1844688/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=914988 CPUtime=0.07
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 3000 0 1 0 6 1 0 0 22 0 8 0 171248671 936947712 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072927136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13810/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.51113 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 13811
/proc/meminfo: memFree=1844688/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915328 CPUtime=0.48
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 6761 0 1 0 44 4 0 0 16 0 8 0 171248671 937295872 6500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073648337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228832 6501 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33319 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 13818
/proc/meminfo: memFree=1802712/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=1.29
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14573 0 1 0 103 26 0 0 16 0 8 0 171248671 937709568 14310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14311 2395 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.19
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 435 0 0 0 17 2 0 0 16 0 8 0 171248679 937709568 14311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915732
[startup+2.98233 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 13818
/proc/meminfo: memFree=1796120/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=2.94
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14856 0 1 0 267 27 0 0 16 0 8 0 171248671 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074187464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14592 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.31
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 513 0 0 0 29 2 0 0 15 0 8 0 171248679 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915732
[startup+6.25859 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 13818
/proc/meminfo: memFree=1796064/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=6.22
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14877 0 1 0 594 28 0 0 17 0 8 0 171248671 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074190152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14609 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.34
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 531 0 0 0 31 3 0 0 15 0 8 0 171248679 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915732
[startup+12.7391 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 13818
/proc/meminfo: memFree=1796072/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=12.7
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14881 0 1 0 1242 28 0 0 25 0 8 0 171248671 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14610 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.34
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 532 0 0 0 31 3 0 0 16 0 8 0 171248679 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915732
[startup+25.5652 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 13818
/proc/meminfo: memFree=1796136/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=25.52
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14882 0 1 0 2524 28 0 0 19 0 8 0 171248671 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074081993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14611 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.35
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 533 0 0 0 32 3 0 0 16 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915732
[startup+51.2432 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 13818
/proc/meminfo: memFree=1796072/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=51.2
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14882 0 1 0 5091 29 0 0 25 0 8 0 171248671 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074133479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14611 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.35
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 533 0 0 0 32 3 0 0 16 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915732
[startup+102.49 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 13818
/proc/meminfo: memFree=1796136/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=102.43
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14883 0 1 0 10214 29 0 0 25 0 8 0 171248671 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074189499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14612 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.35
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 534 0 0 0 32 3 0 0 16 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 915732
[startup+162.573 s]
/proc/loadavg: 1.07 1.02 1.00 2/72 13818
/proc/meminfo: memFree=1796072/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=162.5
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14883 0 1 0 16221 29 0 0 25 0 8 0 171248671 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074127364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14612 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.35
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 534 0 0 0 32 3 0 0 16 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.5
Current children cumulated vsize (KiB) 915732
[startup+222.658 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 13818
/proc/meminfo: memFree=1796072/2055920 swapFree=4192812/4192956
[pid=13810] ppid=13808 vsize=915732 CPUtime=222.57
/proc/13810/stat : 13810 (java) R 13808 13810 13296 0 -1 0 14883 0 1 0 22228 29 0 0 25 0 8 0 171248671 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074189549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13810/statm: 228933 14612 2543 14 0 215403 0
[pid=13810/tid=13812] ppid=13808 vsize=915732 CPUtime=0.07
/proc/13810/task/13812/stat : 13812 (java) S 13808 13810 13296 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13813] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13813/stat : 13813 (java) S 13808 13810 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13814] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13814/stat : 13814 (java) S 13808 13810 13296 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171248675 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13815] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13815/stat : 13815 (java) S 13808 13810 13296 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13816] ppid=13808 vsize=915732 CPUtime=0.35
/proc/13810/task/13816/stat : 13816 (java) S 13808 13810 13296 0 -1 64 534 0 0 0 32 3 0 0 16 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13817] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13817/stat : 13817 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13810/tid=13818] ppid=13808 vsize=915732 CPUtime=0
/proc/13810/task/13818/stat : 13818 (java) S 13808 13810 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171248679 937709568 14612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.57
Current children cumulated vsize (KiB) 915732
Child status: 0
Real time (s): 246.33
CPU time (s): 246.22
CPU user time (s): 245.914
CPU system time (s): 0.305953
CPU usage (%): 99.9553
Max. virtual memory (cumulated for all children) (KiB): 915732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.914
system time used= 0.305953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14891
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= 6261
involuntary context switches= 227
runsolver used 0.223965 s user time and 0.659899 s system time
The end
Begin job on node34 on Mon Jan 8 03:55:49 UTC 2007
IDJOB= 214170
IDBENCH= 4904
FILE ID= node34/214170-1168228548
PBS_JOBID= 3481290
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-16-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214170-1168228548/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-214170-1168228548 -o ROOT/results/node34/solver-214170-1168228548 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214170-1168228548/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3b8fc65b25c670efdfb93e76af6cd06b
RANDOM SEED= 255201391
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: 1845168 kB
Buffers: 36452 kB
Cached: 103764 kB
SwapCached: 0 kB
Active: 79136 kB
Inactive: 76412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1845168 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2292 kB
Writeback: 0 kB
Mapped: 25568 kB
Slab: 41264 kB
Committed_AS: 2974328 kB
PageTables: 1396 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= 66553 MiB
End job on node34 on Mon Jan 8 03:59:56 UTC 2007