0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/215327-1168234348/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.57 nbVariables=3160 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.57 => wckTime=0.253 cpuTime=0.18 mem=11M778
0.57
0.57 predicates being loaded...
0.58
0.58 constraints being loaded...
3.09 nbConstraints=18047 nbConvertedConstraints=16940 nbConvertConstraintsChecks=65544 nbExtensionStructures=2
3.09 nbSharedExtensionStructures=16938 nbConflictsStructures=3 nbSharedConflictsStructures=17997
3.09 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2
3.09 nbSharedEvaluationManagers=1105 maxDegree=37 maxArity=20
3.09 => wckTime=2.771 cpuTime=2.29 mem=33M317
3.20
3.20 solver IterativeSystematicSolver being built...
3.65 => wckTime=3.337 cpuTime=2.64 mem=48M245
13.13
13.13 preprocessing
13.13 nbConstraintChecks=160628 nbValidityChecks=104725 nbPropagations=13519 nbRevisions=150595
13.13 nbUselessRevisions=143365 nbSingletonTests=3253 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0
13.13 detectedInconsistency=no
13.13 => wckTime=9.464 cpuTime=9.33 mem=49M261
14.38
14.38 search
14.38 run=0 nbConstraintChecks=61710 nbValidityChecks=29308 nbPropagations=16838 nbRevisions=204806
14.38 nbUselessRevisions=193957 nbAssignments=262 nbFailedAssignments=17 nbBacktracks=16 nbVisitedNodes=282
14.38 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
14.38 => wckTime=10.725 cpuTime=10.56 mem=50M309
16.48
16.48 search
16.49 run=1 nbConstraintChecks=375332 nbValidityChecks=231754 nbPropagations=51459 nbRevisions=703876
16.49 nbUselessRevisions=665261 nbAssignments=1993 nbFailedAssignments=34 nbBacktracks=34 nbVisitedNodes=616
16.49 nbRestartNogoods=8 mapSize=23 nbInferences=0 nbTooLargeKeys=0
16.49 => wckTime=12.822 cpuTime=12.63 mem=50M309
19.16
19.16 search
19.16 run=2 nbConstraintChecks=751586 nbValidityChecks=473758 nbPropagations=107753 nbRevisions=1558956
19.16 nbUselessRevisions=1471665 nbAssignments=3936 nbFailedAssignments=63 nbBacktracks=66 nbVisitedNodes=1052
19.16 nbRestartNogoods=16 mapSize=48 nbInferences=0 nbTooLargeKeys=0
19.16 => wckTime=15.503 cpuTime=15.29 mem=51M325
22.56
22.56 search
22.56 run=3 nbConstraintChecks=1155685 nbValidityChecks=735356 nbPropagations=187294 nbRevisions=2795986
22.56 nbUselessRevisions=2637549 nbAssignments=6241 nbFailedAssignments=104 nbBacktracks=114 nbVisitedNodes=1608
22.56 nbRestartNogoods=24 mapSize=86 nbInferences=0 nbTooLargeKeys=0
22.56 => wckTime=18.9 cpuTime=18.65 mem=52M340
26.92
26.92 search
26.92 run=4 nbConstraintChecks=1606087 nbValidityChecks=1024825 nbPropagations=292799 nbRevisions=4458747
26.92 nbUselessRevisions=4203900 nbAssignments=8877 nbFailedAssignments=157 nbBacktracks=176 nbVisitedNodes=2287
26.92 nbRestartNogoods=32 mapSize=137 nbInferences=0 nbTooLargeKeys=0
26.92 => wckTime=23.259 cpuTime=22.96 mem=53M356
32.55
32.55 search
32.55 run=5 nbConstraintChecks=2109700 nbValidityChecks=1339846 nbPropagations=427538 nbRevisions=6599054
32.55 nbUselessRevisions=6219577 nbAssignments=12381 nbFailedAssignments=222 nbBacktracks=254 nbVisitedNodes=3088
32.55 nbRestartNogoods=40 mapSize=201 nbInferences=0 nbTooLargeKeys=0
32.55 => wckTime=28.894 cpuTime=28.54 mem=54M372
39.72
39.72 search
39.72 run=6 nbConstraintChecks=2687423 nbValidityChecks=1681647 nbPropagations=595348 nbRevisions=9280799
39.72 nbUselessRevisions=8743961 nbAssignments=16050 nbFailedAssignments=323 nbBacktracks=376 nbVisitedNodes=4083
39.72 nbRestartNogoods=48 mapSize=302 nbInferences=0 nbTooLargeKeys=0
39.72 => wckTime=36.059 cpuTime=35.64 mem=55M387
49.10
49.10 search
49.10 run=7 nbConstraintChecks=3334132 nbValidityChecks=2043624 nbPropagations=799951 nbRevisions=12564205
49.10 nbUselessRevisions=11833033 nbAssignments=19861 nbFailedAssignments=456 nbBacktracks=557 nbVisitedNodes=5285
49.10 nbRestartNogoods=56 mapSize=436 nbInferences=0 nbTooLargeKeys=0
49.10 => wckTime=45.441 cpuTime=44.93 mem=57M419
60.61
60.61 search
60.61 run=8 nbConstraintChecks=4263083 nbValidityChecks=2418149 nbPropagations=1051201 nbRevisions=16632233
60.61 nbUselessRevisions=15656723 nbAssignments=23385 nbFailedAssignments=685 nbBacktracks=814 nbVisitedNodes=6800
60.61 nbRestartNogoods=63 mapSize=653 nbInferences=0 nbTooLargeKeys=0
60.61 => wckTime=56.949 cpuTime=56.33 mem=60M466
74.67
74.67 search
74.67 run=9 nbConstraintChecks=6157684 nbValidityChecks=3369645 nbPropagations=1404881 nbRevisions=22397365
74.67 nbUselessRevisions=21073044 nbAssignments=30441 nbFailedAssignments=1025 nbBacktracks=1207 nbVisitedNodes=8556
74.67 nbRestartNogoods=85 mapSize=997 nbInferences=0 nbTooLargeKeys=0
74.67 => wckTime=71.009 cpuTime=70.26 mem=62M497
84.53
84.53 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=64M528)
85.74
85.74 search
85.74 run=10 nbConstraintChecks=7390907 nbValidityChecks=3708084 nbPropagations=1823707 nbRevisions=29195228
85.74 nbUselessRevisions=27451263 nbAssignments=32938 nbFailedAssignments=1413 nbBacktracks=1787 nbVisitedNodes=10610
85.74 nbRestartNogoods=88
85.74 => wckTime=82.083 cpuTime=81.22 mem=64M528
91.32
91.32 search
91.32 run=11 nbConstraintChecks=9928218 nbValidityChecks=4592464 nbPropagations=2381166 nbRevisions=38196150
91.32 nbUselessRevisions=35886538 nbAssignments=42012 nbFailedAssignments=2080 nbBacktracks=2677 nbVisitedNodes=13495
91.32 nbRestartNogoods=100
91.32 => wckTime=87.657 cpuTime=86.74 mem=64M528
95.07
95.07 search
95.07 run=12 nbConstraintChecks=12664607 nbValidityChecks=5134756 nbPropagations=3077302 nbRevisions=49386441
95.07 nbUselessRevisions=46351241 nbAssignments=44837 nbFailedAssignments=3116 nbBacktracks=3975 nbVisitedNodes=17404
95.07 nbRestartNogoods=101
95.07 => wckTime=91.412 cpuTime=90.46 mem=64M528
100.44
100.45 search
100.45 run=13 nbConstraintChecks=15637935 nbValidityChecks=5774259 nbPropagations=3923789 nbRevisions=63022312
100.45 nbUselessRevisions=59086913 nbAssignments=50905 nbFailedAssignments=4241 nbBacktracks=5758 nbVisitedNodes=24664
100.45 nbRestartNogoods=102
100.45 => wckTime=96.786 cpuTime=95.78 mem=64M528
100.45
100.45 global
100.45 nbConstraintChecks=15798563 nbValidityChecks=5878984 nbPropagations=3937308 nbRevisions=63172907
100.45 nbUselessRevisions=59230278 nbRestartNogoods=102 solvingWckTime=96.787 solvingCpuTime=95.78 expiredTime=no
100.45 totalExploration=no nbFoundSolutions=1 globalCpuTime=98.47
100.45 => wckTime=100.13 cpuTime=98.42 mem=64M528
100.45
100.45 s SATISFIABLE
100.45 v 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 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 1 0 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 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 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 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 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 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 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 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 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 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 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 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 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
100.45 d NODES 50905
100.45 d CHECKS 15798563
100.45
100.45 totalWckTime=100.212 totalCpuTime=98.47
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-215327-1168234348 -o ROOT/results/node45/solver-215327-1168234348 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215327-1168234348/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.07 1.99 1.62 4/81 6560
/proc/meminfo: memFree=1795456/2055920 swapFree=4184048/4192956
[pid=6559] ppid=6557 vsize=18540 CPUtime=0
/proc/6559/stat : 6559 (runsolver) R 6557 6559 5985 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 171833829 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6559/statm: 4635 279 244 17 0 2626 0
[startup+0.10294 s]
/proc/loadavg: 2.07 1.99 1.62 4/81 6560
/proc/meminfo: memFree=1795456/2055920 swapFree=4184048/4192956
[pid=6559] ppid=6557 vsize=914988 CPUtime=0.08
/proc/6559/stat : 6559 (java) R 6557 6559 5985 0 -1 0 2954 0 1 0 7 1 0 0 19 0 8 0 171833829 936947712 2700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6559/statm: 228747 2700 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.5136 s]
/proc/loadavg: 2.07 1.99 1.62 4/81 6560
/proc/meminfo: memFree=1795456/2055920 swapFree=4184048/4192956
[pid=6559] ppid=6557 vsize=915328 CPUtime=0.48
/proc/6559/stat : 6559 (java) R 6557 6559 5985 0 -1 0 6536 0 1 0 45 3 0 0 18 0 8 0 171833829 937295872 6275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6559/statm: 228832 6275 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34518 s]
/proc/loadavg: 2.06 1.99 1.63 3/88 6567
/proc/meminfo: memFree=1735880/2055920 swapFree=4184048/4192956
[pid=6559] ppid=6557 vsize=915636 CPUtime=1.31
/proc/6559/stat : 6559 (java) R 6557 6559 5985 0 -1 0 18955 0 1 0 120 11 0 0 23 0 8 0 171833829 937611264 18692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380209 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6559/statm: 228909 18692 2157 14 0 215379 0
[pid=6559/tid=6561] ppid=6557 vsize=915636 CPUtime=0.09
/proc/6559/task/6561/stat : 6561 (java) S 6557 6559 5985 0 -1 64 2421 0 0 0 9 0 0 0 16 0 8 0 171833833 937611264 18692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6562] ppid=6557 vsize=915636 CPUtime=0
/proc/6559/task/6562/stat : 6562 (java) S 6557 6559 5985 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171833834 937611264 18692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6563] ppid=6557 vsize=915636 CPUtime=0
/proc/6559/task/6563/stat : 6563 (java) S 6557 6559 5985 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171833834 937611264 18692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6564] ppid=6557 vsize=915636 CPUtime=0
/proc/6559/task/6564/stat : 6564 (java) S 6557 6559 5985 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171833837 937611264 18692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6565] ppid=6557 vsize=915636 CPUtime=0.15
/proc/6559/task/6565/stat : 6565 (java) S 6557 6559 5985 0 -1 64 406 0 0 0 15 0 0 0 16 0 8 0 171833837 937611264 18692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6566] ppid=6557 vsize=915636 CPUtime=0
/proc/6559/task/6566/stat : 6566 (java) S 6557 6559 5985 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171833837 937611264 18692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6567] ppid=6557 vsize=915636 CPUtime=0
/proc/6559/task/6567/stat : 6567 (java) S 6557 6559 5985 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171833837 937611264 18692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915636
[startup+2.98546 s]
/proc/loadavg: 2.06 1.99 1.63 3/88 6567
/proc/meminfo: memFree=1728584/2055920 swapFree=4184048/4192956
[pid=6559] ppid=6557 vsize=915636 CPUtime=2.93
/proc/6559/stat : 6559 (java) R 6557 6559 5985 0 -1 0 23993 0 1 0 208 85 0 0 25 0 8 0 171833829 937611264 23728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6559/statm: 228909 23728 2188 14 0 215379 0
[pid=6559/tid=6561] ppid=6557 vsize=915636 CPUtime=0.18
/proc/6559/task/6561/stat : 6561 (java) R 6557 6559 5985 0 -1 64 7338 0 0 0 16 2 0 0 16 0 8 0 171833833 937611264 23728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153681262 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6562] ppid=6557 vsize=915636 CPUtime=0
/proc/6559/task/6562/stat : 6562 (java) S 6557 6559 5985 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171833834 937611264 23728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6563] ppid=6557 vsize=915636 CPUtime=0
/proc/6559/task/6563/stat : 6563 (java) S 6557 6559 5985 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171833834 937611264 23728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6564] ppid=6557 vsize=915636 CPUtime=0
/proc/6559/task/6564/stat : 6564 (java) S 6557 6559 5985 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171833837 937611264 23728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6565] ppid=6557 vsize=915636 CPUtime=0.21
/proc/6559/task/6565/stat : 6565 (java) S 6557 6559 5985 0 -1 64 441 0 0 0 20 1 0 0 16 0 8 0 171833837 937611264 23728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6566] ppid=6557 vsize=915636 CPUtime=0
/proc/6559/task/6566/stat : 6566 (java) S 6557 6559 5985 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171833837 937611264 23728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6567] ppid=6557 vsize=915636 CPUtime=0
/proc/6559/task/6567/stat : 6567 (java) S 6557 6559 5985 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171833837 937611264 23728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915636
[startup+6.28406 s]
/proc/loadavg: 2.06 1.99 1.63 3/88 6567
/proc/meminfo: memFree=1694472/2055920 swapFree=4184048/4192956
[pid=6559] ppid=6557 vsize=915872 CPUtime=6.2
/proc/6559/stat : 6559 (java) R 6557 6559 5985 0 -1 0 27956 0 1 0 532 88 0 0 25 0 8 0 171833829 937852928 27664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074213433 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6559/statm: 228968 27664 2546 14 0 215438 0
[pid=6559/tid=6561] ppid=6557 vsize=915872 CPUtime=0.39
/proc/6559/task/6561/stat : 6561 (java) S 6557 6559 5985 0 -1 64 10775 0 0 0 35 4 0 0 17 0 8 0 171833833 937852928 27664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6562] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6562/stat : 6562 (java) S 6557 6559 5985 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171833834 937852928 27664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6563] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6563/stat : 6563 (java) S 6557 6559 5985 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171833834 937852928 27664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6564] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6564/stat : 6564 (java) S 6557 6559 5985 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171833837 937852928 27664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6565] ppid=6557 vsize=915872 CPUtime=0.33
/proc/6559/task/6565/stat : 6565 (java) S 6557 6559 5985 0 -1 64 519 0 0 0 32 1 0 0 15 0 8 0 171833837 937852928 27664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6566] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6566/stat : 6566 (java) S 6557 6559 5985 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171833837 937852928 27664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6567] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6567/stat : 6567 (java) S 6557 6559 5985 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171833837 937852928 27664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915872
[startup+12.7682 s]
/proc/loadavg: 2.05 1.99 1.63 3/88 6567
/proc/meminfo: memFree=1694472/2055920 swapFree=4184048/4192956
[pid=6559] ppid=6557 vsize=915872 CPUtime=12.62
/proc/6559/stat : 6559 (java) R 6557 6559 5985 0 -1 0 27966 0 1 0 1174 88 0 0 25 0 8 0 171833829 937852928 27672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074209434 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6559/statm: 228968 27672 2547 14 0 215438 0
[pid=6559/tid=6561] ppid=6557 vsize=915872 CPUtime=0.39
/proc/6559/task/6561/stat : 6561 (java) S 6557 6559 5985 0 -1 64 10775 0 0 0 35 4 0 0 17 0 8 0 171833833 937852928 27672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6562] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6562/stat : 6562 (java) S 6557 6559 5985 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171833834 937852928 27672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6563] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6563/stat : 6563 (java) S 6557 6559 5985 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171833834 937852928 27672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6564] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6564/stat : 6564 (java) S 6557 6559 5985 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171833837 937852928 27672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6565] ppid=6557 vsize=915872 CPUtime=0.34
/proc/6559/task/6565/stat : 6565 (java) S 6557 6559 5985 0 -1 64 526 0 0 0 33 1 0 0 15 0 8 0 171833837 937852928 27672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6566] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6566/stat : 6566 (java) S 6557 6559 5985 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171833837 937852928 27672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6567] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6567/stat : 6567 (java) S 6557 6559 5985 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171833837 937852928 27672 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915872
[startup+25.6316 s]
/proc/loadavg: 2.04 1.99 1.63 3/88 6567
/proc/meminfo: memFree=1694600/2055920 swapFree=4184048/4192956
[pid=6559] ppid=6557 vsize=915872 CPUtime=25.37
/proc/6559/stat : 6559 (java) R 6557 6559 5985 0 -1 0 27993 0 1 0 2448 89 0 0 25 0 8 0 171833829 937852928 27694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074271278 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6559/statm: 228968 27694 2548 14 0 215438 0
[pid=6559/tid=6561] ppid=6557 vsize=915872 CPUtime=0.39
/proc/6559/task/6561/stat : 6561 (java) S 6557 6559 5985 0 -1 64 10775 0 0 0 35 4 0 0 16 0 8 0 171833833 937852928 27694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6562] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6562/stat : 6562 (java) S 6557 6559 5985 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171833834 937852928 27694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6563] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6563/stat : 6563 (java) S 6557 6559 5985 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171833834 937852928 27694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6564] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6564/stat : 6564 (java) S 6557 6559 5985 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171833837 937852928 27694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6565] ppid=6557 vsize=915872 CPUtime=0.39
/proc/6559/task/6565/stat : 6565 (java) S 6557 6559 5985 0 -1 64 547 0 0 0 38 1 0 0 15 0 8 0 171833837 937852928 27694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6566] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6566/stat : 6566 (java) S 6557 6559 5985 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171833837 937852928 27694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6567] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6567/stat : 6567 (java) S 6557 6559 5985 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171833837 937852928 27694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915872
[startup+51.2642 s]
/proc/loadavg: 2.02 1.99 1.64 3/88 6567
/proc/meminfo: memFree=1694216/2055920 swapFree=4184048/4192956
[pid=6559] ppid=6557 vsize=915872 CPUtime=50.76
/proc/6559/stat : 6559 (java) R 6557 6559 5985 0 -1 0 27994 0 1 0 4987 89 0 0 25 0 8 0 171833829 937852928 27695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074271278 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6559/statm: 228968 27695 2548 14 0 215438 0
[pid=6559/tid=6561] ppid=6557 vsize=915872 CPUtime=0.39
/proc/6559/task/6561/stat : 6561 (java) S 6557 6559 5985 0 -1 64 10775 0 0 0 35 4 0 0 16 0 8 0 171833833 937852928 27695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6562] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6562/stat : 6562 (java) S 6557 6559 5985 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171833834 937852928 27695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6563] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6563/stat : 6563 (java) S 6557 6559 5985 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171833834 937852928 27695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6564] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6564/stat : 6564 (java) S 6557 6559 5985 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171833837 937852928 27695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6565] ppid=6557 vsize=915872 CPUtime=0.39
/proc/6559/task/6565/stat : 6565 (java) S 6557 6559 5985 0 -1 64 548 0 0 0 38 1 0 0 16 0 8 0 171833837 937852928 27695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6566] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6566/stat : 6566 (java) S 6557 6559 5985 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171833837 937852928 27695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6559/tid=6567] ppid=6557 vsize=915872 CPUtime=0
/proc/6559/task/6567/stat : 6567 (java) S 6557 6559 5985 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171833837 937852928 27695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915872
Child status: 0
Real time (s): 100.478
CPU time (s): 99.5269
CPU user time (s): 98.613
CPU system time (s): 0.913861
CPU usage (%): 99.0529
Max. virtual memory (cumulated for all children) (KiB): 915968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.613
system time used= 0.913861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28016
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= 3870
involuntary context switches= 6011
runsolver used 0.144977 s user time and 0.306953 s system time
The end
Begin job on node45 on Mon Jan 8 05:32:29 UTC 2007
IDJOB= 215327
IDBENCH= 4993
FILE ID= node45/215327-1168234348
PBS_JOBID= 3481426
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-16c1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215327-1168234348/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-215327-1168234348 -o ROOT/results/node45/solver-215327-1168234348 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215327-1168234348/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7c876d86592b8718a3a6affab636ecfd
RANDOM SEED= 744644660
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.259
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.259
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: 1795936 kB
Buffers: 36728 kB
Cached: 125140 kB
SwapCached: 3168 kB
Active: 120636 kB
Inactive: 85720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1795936 kB
SwapTotal: 4192956 kB
SwapFree: 4184048 kB
Dirty: 4124 kB
Writeback: 0 kB
Mapped: 58024 kB
Slab: 38872 kB
Committed_AS: 3414032 kB
PageTables: 1888 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= 66551 MiB
End job on node45 on Mon Jan 8 05:34:09 UTC 2007