0.03/0.08
0.03/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-2096414-1247410343.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.69/0.71 nbVariables=9685 nbDomainTypes=1 minDomainSize=4 maxDomainSize=4 nbTotalValues=38740
0.69/0.71 => wckTime=0.463 cpuTime=0.37 mem=43M990
0.69/0.71
0.69/0.71 predicates being loaded...
0.88/0.90
0.88/0.90 constraints being loaded...
14.78/14.94 nbConstraints=54689 nbUnaryConstraints=9734 nbMergedConstraints=1132 nbSingletonDomainVariables=49
14.78/14.94 nbPurgedValues=19419 nbConvertedConstraints=47073 nbConvertConstraintsChecks=119168 nbExtensionStructures=164
14.78/14.94 nbSharedExtensionStructures=47066 nbConflictsStructures=230 nbSharedConflictsStructures=51694
14.78/14.94 nbUnbuiltConflictsStructures=111 nbSharedBinaryRepresentations=1304 nbEvaluationManagers=177
14.78/14.94 nbSharedEvaluationManagers=7439 minDegree=2 maxDegree=150 minArity=2 avgArity=2.69 maxArity=39 nbGenerators=0
14.78/14.94 nbFusions=0 symmetryWckTime=3.777 symmetryCpuTime=0.49
14.78/14.94 => wckTime=14.691 cpuTime=9.67 mem=321M59
15.70/15.88
15.80/15.90 solver IterativeSystematicSolver being built...
16.40/16.51
16.40/16.51 INFO : Forward propagation technique limited
16.70/16.88 => wckTime=16.64 cpuTime=10.56 mem=365M938
90.73/91.29
90.73/91.29 INFO : Stopping ESAC
90.73/91.30
90.73/91.30 preprocessing
90.73/91.30 nbConstraintChecks=270277 nbValidityChecks=636091 nbPropagations=23997 nbRevisions=498608
90.73/91.30 nbUselessRevisions=491178 nbSingletonTests=7360 nbEffectiveSingletonTests=0 nbACRemovals=465
90.73/91.30 nbFoundSingletons=0 nbRemovedValues=465 detectedInconsistency=no
90.73/91.30 => wckTime=74.396 cpuTime=73.94 mem=328M563
106.45/107.08
106.45/107.08 search
106.45/107.08 run=0 nbConstraintChecks=201384 nbValidityChecks=437007 minDepth=9686 maxDepth=9685 nbPropagations=38886
106.45/107.08 nbRevisions=856481 nbUselessRevisions=843847 nbAssignments=9685 nbFailedAssignments=0 nbBacktracks=0
106.45/107.08 nbVisitedNodes=9686 nbRestartNogoods=0 nbFoundSolutions=1 nbSEliminables=? nbREliminables=? nbIEliminables=?
106.45/107.08 nbDEliminables=? nbPEliminables=?
106.45/107.08 => wckTime=90.181 cpuTime=89.62 mem=329M560
106.45/107.08
106.45/107.08 global
106.45/107.08 nbConstraintChecks=471661 nbValidityChecks=1073098 nbPropagations=62883 nbRevisions=1355089
106.45/107.08 nbUselessRevisions=1335025 nbRestartNogoods=0 solvingWckTime=90.183 solvingCpuTime=89.62 expiredTime=no
106.45/107.08 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=100.05 globalCpuTime=100.22
106.45/107.08 => wckTime=106.836 cpuTime=100.19 mem=329M560
106.45/107.08
106.45/107.08 s SATISFIABLE
106.45/107.08 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 1 1 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0
106.45/107.09 d NODES 9685
106.45/107.09 d CHECKS 471661
106.45/107.09
106.45/107.09 totalWckTime=106.906 totalCpuTime=100.22
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2096414-1247410343/watcher-2096414-1247410343 -o /tmp/evaluation-result-2096414-1247410343/solver-2096414-1247410343 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2096414-1247410343.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 2.13 2.15 2.06 4/81 32673
/proc/meminfo: memFree=1718064/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=1616 CPUtime=0
/proc/32673/stat : 32673 (java) R 32671 32673 31032 0 -1 0 180 0 0 0 0 0 0 0 19 0 1 0 28099532 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 12284858 0 0 4096 0 0 0 0 17 0 0 0
/proc/32673/statm: 404 148 122 9 0 46 0
[startup+0.0381749 s]
/proc/loadavg: 2.13 2.15 2.06 4/81 32673
/proc/meminfo: memFree=1718064/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=861936 CPUtime=0.03
/proc/32673/stat : 32673 (java) S 32671 32673 31032 0 -1 0 2253 0 1 0 2 1 0 0 19 0 5 0 28099532 882622464 1862 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/32673/statm: 215484 1865 858 9 0 210399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861936
[startup+0.10118 s]
/proc/loadavg: 2.13 2.15 2.06 4/81 32673
/proc/meminfo: memFree=1718064/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=865980 CPUtime=0.09
/proc/32673/stat : 32673 (java) S 32671 32673 31032 0 -1 0 3739 0 1 0 7 2 0 0 19 0 9 0 28099532 886763520 3207 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32673/statm: 216495 3207 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301198 s]
/proc/loadavg: 2.13 2.15 2.06 4/81 32673
/proc/meminfo: memFree=1718064/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=866380 CPUtime=0.28
/proc/32673/stat : 32673 (java) S 32671 32673 31032 0 -1 0 5991 0 1 0 25 3 0 0 19 0 9 0 28099532 887173120 5357 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32673/statm: 216595 5357 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701237 s]
/proc/loadavg: 2.13 2.15 2.06 4/81 32673
/proc/meminfo: memFree=1718064/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=867532 CPUtime=0.69
/proc/32673/stat : 32673 (java) S 32671 32673 31032 0 -1 0 15651 0 1 0 60 9 0 0 19 0 9 0 28099532 888352768 15013 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32673/statm: 216883 15013 2002 9 0 211341 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867532
[startup+1.50132 s]
/proc/loadavg: 2.13 2.15 2.06 3/90 32682
/proc/meminfo: memFree=1653608/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=867532 CPUtime=1.49
/proc/32673/stat : 32673 (java) S 32671 32673 31032 0 -1 0 18743 0 1 0 138 11 0 0 19 0 9 0 28099532 888352768 18072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32673/statm: 216883 18072 2029 9 0 211341 0
[pid=32673/tid=32675] ppid=32671 vsize=867532 CPUtime=1.24
/proc/32673/task/32675/stat : 32675 (java) R 32671 32673 31032 0 -1 64 15787 0 1 0 115 9 0 0 25 0 9 0 28099533 888352768 18072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32676] ppid=32671 vsize=867532 CPUtime=0.04
/proc/32673/task/32676/stat : 32676 (java) S 32671 32673 31032 0 -1 64 1602 0 0 0 4 0 0 0 17 0 9 0 28099534 888352768 18072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32677] ppid=32671 vsize=867532 CPUtime=0
/proc/32673/task/32677/stat : 32677 (java) S 32671 32673 31032 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28099534 888352768 18072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32678] ppid=32671 vsize=867532 CPUtime=0
/proc/32673/task/32678/stat : 32678 (java) S 32671 32673 31032 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 28099535 888352768 18072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32679] ppid=32671 vsize=867532 CPUtime=0
/proc/32673/task/32679/stat : 32679 (java) S 32671 32673 31032 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28099537 888352768 18072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32680] ppid=32671 vsize=867532 CPUtime=0.17
/proc/32673/task/32680/stat : 32680 (java) S 32671 32673 31032 0 -1 64 651 0 0 0 17 0 0 0 16 0 9 0 28099537 888352768 18072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32681] ppid=32671 vsize=867532 CPUtime=0
/proc/32673/task/32681/stat : 32681 (java) S 32671 32673 31032 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28099537 888352768 18072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32682] ppid=32671 vsize=867532 CPUtime=0
/proc/32673/task/32682/stat : 32682 (java) S 32671 32673 31032 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28099537 888352768 18072 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867532
[startup+3.10247 s]
/proc/loadavg: 2.13 2.15 2.06 3/90 32682
/proc/meminfo: memFree=1638504/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=867532 CPUtime=3.08
/proc/32673/stat : 32673 (java) S 32671 32673 31032 0 -1 0 24649 0 1 0 294 14 0 0 19 0 9 0 28099532 888352768 23976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32673/statm: 216883 23976 2029 9 0 211341 0
[pid=32673/tid=32675] ppid=32671 vsize=867532 CPUtime=2.56
/proc/32673/task/32675/stat : 32675 (java) R 32671 32673 31032 0 -1 64 15789 0 1 0 246 10 0 0 25 0 9 0 28099533 888352768 23976 996147200 134512640 134550932 4294955968 18446744073709551615 4126467365 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32676] ppid=32671 vsize=867532 CPUtime=0.31
/proc/32673/task/32676/stat : 32676 (java) S 32671 32673 31032 0 -1 64 7505 0 0 0 29 2 0 0 17 0 9 0 28099534 888352768 23976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32677] ppid=32671 vsize=867532 CPUtime=0
/proc/32673/task/32677/stat : 32677 (java) S 32671 32673 31032 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28099534 888352768 23976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32678] ppid=32671 vsize=867532 CPUtime=0
/proc/32673/task/32678/stat : 32678 (java) S 32671 32673 31032 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 28099535 888352768 23976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32679] ppid=32671 vsize=867532 CPUtime=0
/proc/32673/task/32679/stat : 32679 (java) S 32671 32673 31032 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28099537 888352768 23976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32680] ppid=32671 vsize=867532 CPUtime=0.17
/proc/32673/task/32680/stat : 32680 (java) S 32671 32673 31032 0 -1 64 652 0 0 0 17 0 0 0 16 0 9 0 28099537 888352768 23976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32681] ppid=32671 vsize=867532 CPUtime=0
/proc/32673/task/32681/stat : 32681 (java) S 32671 32673 31032 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28099537 888352768 23976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32682] ppid=32671 vsize=867532 CPUtime=0
/proc/32673/task/32682/stat : 32682 (java) S 32671 32673 31032 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28099537 888352768 23976 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867532
[startup+6.30279 s]
/proc/loadavg: 2.20 2.16 2.06 3/90 32682
/proc/meminfo: memFree=1613864/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=867532 CPUtime=6.26
/proc/32673/stat : 32673 (java) S 32671 32673 31032 0 -1 0 28546 0 1 0 505 121 0 0 19 0 9 0 28099532 888352768 27867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32673/statm: 216884 27867 2032 9 0 211342 0
[pid=32673/tid=32675] ppid=32671 vsize=867532 CPUtime=5.46
/proc/32673/task/32675/stat : 32675 (java) R 32671 32673 31032 0 -1 64 15828 0 1 0 430 116 0 0 25 0 9 0 28099533 888352768 27867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32676] ppid=32671 vsize=867532 CPUtime=0.54
/proc/32673/task/32676/stat : 32676 (java) S 32671 32673 31032 0 -1 64 11313 0 0 0 51 3 0 0 16 0 9 0 28099534 888352768 27867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32677] ppid=32671 vsize=867532 CPUtime=0
/proc/32673/task/32677/stat : 32677 (java) S 32671 32673 31032 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28099534 888352768 27867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32678] ppid=32671 vsize=867536 CPUtime=0
/proc/32673/task/32678/stat : 32678 (java) S 32671 32673 31032 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 28099535 888356864 27867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32679] ppid=32671 vsize=867532 CPUtime=0
/proc/32673/task/32679/stat : 32679 (java) S 32671 32673 31032 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 28099537 888352768 27867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32680] ppid=32671 vsize=867536 CPUtime=0.23
/proc/32673/task/32680/stat : 32680 (java) S 32671 32673 31032 0 -1 64 702 0 0 0 23 0 0 0 15 0 9 0 28099537 888356864 27867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32681] ppid=32671 vsize=867532 CPUtime=0
/proc/32673/task/32681/stat : 32681 (java) S 32671 32673 31032 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28099537 888352768 27867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32682] ppid=32671 vsize=867532 CPUtime=0
/proc/32673/task/32682/stat : 32682 (java) S 32671 32673 31032 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28099537 888352768 27867 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 867532
[startup+12.7024 s]
/proc/loadavg: 2.27 2.17 2.07 3/92 32684
/proc/meminfo: memFree=1357528/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=867856 CPUtime=11.61
/proc/32673/stat : 32673 (java) S 32671 32673 31032 0 -1 0 90801 0 1 0 916 245 0 0 19 0 10 0 28099532 888684544 89936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32673/statm: 216964 89936 2037 9 0 211422 0
[pid=32684] ppid=32673 vsize=22392 CPUtime=0.99
/proc/32684/stat : 32684 (saucy) R 32673 32673 31032 0 -1 4194304 2797 0 0 0 97 2 0 0 25 0 1 0 28100699 22929408 2684 996147200 134512640 134531332 4294956000 18446744073709551615 134521665 0 4 0 0 0 0 0 17 0 0 0
/proc/32684/statm: 5598 2684 95 4 0 5274 0
[pid=32673/tid=32675] ppid=32671 vsize=867856 CPUtime=9.74
/proc/32673/task/32675/stat : 32675 (java) S 32671 32673 31032 0 -1 64 15918 0 1 0 758 216 0 0 24 0 10 0 28099533 888684544 89936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=32673/tid=32676] ppid=32671 vsize=867856 CPUtime=1.55
/proc/32673/task/32676/stat : 32676 (java) S 32671 32673 31032 0 -1 64 73369 0 0 0 129 26 0 0 16 0 10 0 28099534 888684544 89936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32677] ppid=32671 vsize=867856 CPUtime=0
/proc/32673/task/32677/stat : 32677 (java) S 32671 32673 31032 0 -1 64 15 0 0 0 0 0 0 0 16 0 10 0 28099534 888684544 89936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32678] ppid=32671 vsize=867856 CPUtime=0
/proc/32673/task/32678/stat : 32678 (java) S 32671 32673 31032 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 28099535 888684544 89936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32679] ppid=32671 vsize=867856 CPUtime=0
/proc/32673/task/32679/stat : 32679 (java) S 32671 32673 31032 0 -1 64 2 0 0 0 0 0 0 0 24 0 10 0 28099537 888684544 89936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32680] ppid=32671 vsize=867856 CPUtime=0.29
/proc/32673/task/32680/stat : 32680 (java) S 32671 32673 31032 0 -1 64 736 0 0 0 28 1 0 0 15 0 10 0 28099537 888684544 89936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32681] ppid=32671 vsize=867856 CPUtime=0
/proc/32673/task/32681/stat : 32681 (java) S 32671 32673 31032 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 28099537 888684544 89936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32682] ppid=32671 vsize=867856 CPUtime=0
/proc/32673/task/32682/stat : 32682 (java) S 32671 32673 31032 0 -1 64 8 0 0 0 0 0 0 0 15 0 10 0 28099537 888684544 89936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32683] ppid=32671 vsize=867856 CPUtime=0.01
/proc/32673/task/32683/stat : 32683 (java) S 32671 32673 31032 0 -1 64 68 0 0 0 0 1 0 0 23 0 10 0 28100699 888684544 89936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 890248
[startup+25.5017 s]
/proc/loadavg: 2.21 2.17 2.07 3/90 32686
/proc/meminfo: memFree=1332376/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=868180 CPUtime=25.35
/proc/32673/stat : 32673 (java) S 32671 32673 31032 0 -1 0 140682 3614 1 0 1967 259 304 5 19 0 9 0 28099532 889016320 98715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32673/statm: 217045 98715 2642 9 0 211503 0
[pid=32673/tid=32675] ppid=32671 vsize=868180 CPUtime=22.33
/proc/32673/task/32675/stat : 32675 (java) R 32671 32673 31032 0 -1 64 32585 3614 1 0 1704 220 304 5 25 0 9 0 28099533 889016320 98715 996147200 134512640 134550932 4294955968 18446744073709551615 4127505499 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32676] ppid=32671 vsize=868180 CPUtime=5.67
/proc/32673/task/32676/stat : 32676 (java) S 32671 32673 31032 0 -1 64 106279 3614 0 0 224 34 304 5 16 0 9 0 28099534 889016320 98715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32677] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32677/stat : 32677 (java) S 32671 32673 31032 0 -1 64 18 3614 0 0 0 0 304 5 15 0 9 0 28099534 889016320 98715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32678] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32678/stat : 32678 (java) S 32671 32673 31032 0 -1 64 26 3614 0 0 0 0 304 5 16 0 9 0 28099535 889016320 98715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32679] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32679/stat : 32679 (java) S 32671 32673 31032 0 -1 64 2 3614 0 0 0 0 304 5 24 0 9 0 28099537 889016320 98715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32680] ppid=32671 vsize=868180 CPUtime=3.48
/proc/32673/task/32680/stat : 32680 (java) S 32671 32673 31032 0 -1 64 941 3614 0 0 38 1 304 5 17 0 9 0 28099537 889016320 98715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32681] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32681/stat : 32681 (java) S 32671 32673 31032 0 -1 64 1 3614 0 0 0 0 304 5 25 0 9 0 28099537 889016320 98715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32682] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32682/stat : 32682 (java) S 32671 32673 31032 0 -1 64 18 3614 0 0 0 0 304 5 15 0 9 0 28099537 889016320 98715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 868180
[startup+51.1012 s]
/proc/loadavg: 2.14 2.15 2.06 3/90 32686
/proc/meminfo: memFree=1332312/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=868180 CPUtime=50.82
/proc/32673/stat : 32673 (java) S 32671 32673 31032 0 -1 0 140700 3614 1 0 4514 259 304 5 19 0 9 0 28099532 889016320 98728 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32673/statm: 217045 98728 2642 9 0 211503 0
[pid=32673/tid=32675] ppid=32671 vsize=868180 CPUtime=47.78
/proc/32673/task/32675/stat : 32675 (java) R 32671 32673 31032 0 -1 64 32592 3614 1 0 4249 220 304 5 25 0 9 0 28099533 889016320 98728 996147200 134512640 134550932 4294955968 18446744073709551615 4127583418 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32676] ppid=32671 vsize=868180 CPUtime=5.67
/proc/32673/task/32676/stat : 32676 (java) S 32671 32673 31032 0 -1 64 106279 3614 0 0 224 34 304 5 16 0 9 0 28099534 889016320 98728 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32677] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32677/stat : 32677 (java) S 32671 32673 31032 0 -1 64 18 3614 0 0 0 0 304 5 15 0 9 0 28099534 889016320 98728 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32678] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32678/stat : 32678 (java) S 32671 32673 31032 0 -1 64 26 3614 0 0 0 0 304 5 16 0 9 0 28099535 889016320 98728 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32679] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32679/stat : 32679 (java) S 32671 32673 31032 0 -1 64 2 3614 0 0 0 0 304 5 24 0 9 0 28099537 889016320 98728 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32680] ppid=32671 vsize=868180 CPUtime=3.49
/proc/32673/task/32680/stat : 32680 (java) S 32671 32673 31032 0 -1 64 952 3614 0 0 39 1 304 5 16 0 9 0 28099537 889016320 98728 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32681] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32681/stat : 32681 (java) S 32671 32673 31032 0 -1 64 1 3614 0 0 0 0 304 5 25 0 9 0 28099537 889016320 98728 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32682] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32682/stat : 32682 (java) S 32671 32673 31032 0 -1 64 18 3614 0 0 0 0 304 5 15 0 9 0 28099537 889016320 98728 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 868180
[startup+102.306 s]
/proc/loadavg: 2.06 2.13 2.06 3/90 32686
/proc/meminfo: memFree=1332120/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=868180 CPUtime=101.78
/proc/32673/stat : 32673 (java) S 32671 32673 31032 0 -1 0 140717 3614 1 0 9610 259 304 5 19 0 9 0 28099532 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32673/statm: 217045 98742 2642 9 0 211503 0
[pid=32673/tid=32675] ppid=32671 vsize=868180 CPUtime=98.71
/proc/32673/task/32675/stat : 32675 (java) R 32671 32673 31032 0 -1 64 32596 3614 1 0 9342 220 304 5 25 0 9 0 28099533 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32676] ppid=32671 vsize=868180 CPUtime=5.67
/proc/32673/task/32676/stat : 32676 (java) S 32671 32673 31032 0 -1 64 106279 3614 0 0 224 34 304 5 16 0 9 0 28099534 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32677] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32677/stat : 32677 (java) S 32671 32673 31032 0 -1 64 18 3614 0 0 0 0 304 5 15 0 9 0 28099534 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32678] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32678/stat : 32678 (java) S 32671 32673 31032 0 -1 64 26 3614 0 0 0 0 304 5 16 0 9 0 28099535 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32679] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32679/stat : 32679 (java) S 32671 32673 31032 0 -1 64 2 3614 0 0 0 0 304 5 24 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32680] ppid=32671 vsize=868180 CPUtime=3.52
/proc/32673/task/32680/stat : 32680 (java) S 32671 32673 31032 0 -1 64 965 3614 0 0 42 1 304 5 16 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32681] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32681/stat : 32681 (java) S 32671 32673 31032 0 -1 64 1 3614 0 0 0 0 304 5 25 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32682] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32682/stat : 32682 (java) S 32671 32673 31032 0 -1 64 18 3614 0 0 0 0 304 5 15 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 868180
Solver just ended. Dumping a history of the last processes samples
[startup+105.502 s]
/proc/loadavg: 2.05 2.12 2.06 3/90 32686
/proc/meminfo: memFree=1332120/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=868180 CPUtime=104.96
/proc/32673/stat : 32673 (java) S 32671 32673 31032 0 -1 0 140717 3614 1 0 9928 259 304 5 19 0 9 0 28099532 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32673/statm: 217045 98742 2642 9 0 211503 0
[pid=32673/tid=32675] ppid=32671 vsize=868180 CPUtime=101.9
/proc/32673/task/32675/stat : 32675 (java) R 32671 32673 31032 0 -1 64 32596 3614 1 0 9661 220 304 5 25 0 9 0 28099533 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4127604508 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32676] ppid=32671 vsize=868180 CPUtime=5.67
/proc/32673/task/32676/stat : 32676 (java) S 32671 32673 31032 0 -1 64 106279 3614 0 0 224 34 304 5 16 0 9 0 28099534 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32677] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32677/stat : 32677 (java) S 32671 32673 31032 0 -1 64 18 3614 0 0 0 0 304 5 15 0 9 0 28099534 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32678] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32678/stat : 32678 (java) S 32671 32673 31032 0 -1 64 26 3614 0 0 0 0 304 5 16 0 9 0 28099535 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32679] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32679/stat : 32679 (java) S 32671 32673 31032 0 -1 64 2 3614 0 0 0 0 304 5 24 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32680] ppid=32671 vsize=868180 CPUtime=3.52
/proc/32673/task/32680/stat : 32680 (java) S 32671 32673 31032 0 -1 64 965 3614 0 0 42 1 304 5 16 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32681] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32681/stat : 32681 (java) S 32671 32673 31032 0 -1 64 1 3614 0 0 0 0 304 5 25 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32682] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32682/stat : 32682 (java) S 32671 32673 31032 0 -1 64 18 3614 0 0 0 0 304 5 15 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 104.96
Current children cumulated vsize (KiB) 868180
[startup+106.303 s]
/proc/loadavg: 2.05 2.12 2.06 3/90 32686
/proc/meminfo: memFree=1332120/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=868180 CPUtime=105.76
/proc/32673/stat : 32673 (java) S 32671 32673 31032 0 -1 0 140717 3614 1 0 10008 259 304 5 19 0 9 0 28099532 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32673/statm: 217045 98742 2642 9 0 211503 0
[pid=32673/tid=32675] ppid=32671 vsize=868180 CPUtime=102.69
/proc/32673/task/32675/stat : 32675 (java) R 32671 32673 31032 0 -1 64 32596 3614 1 0 9740 220 304 5 25 0 9 0 28099533 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4127598350 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32676] ppid=32671 vsize=868180 CPUtime=5.67
/proc/32673/task/32676/stat : 32676 (java) S 32671 32673 31032 0 -1 64 106279 3614 0 0 224 34 304 5 16 0 9 0 28099534 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32677] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32677/stat : 32677 (java) S 32671 32673 31032 0 -1 64 18 3614 0 0 0 0 304 5 15 0 9 0 28099534 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32678] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32678/stat : 32678 (java) S 32671 32673 31032 0 -1 64 26 3614 0 0 0 0 304 5 16 0 9 0 28099535 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32679] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32679/stat : 32679 (java) S 32671 32673 31032 0 -1 64 2 3614 0 0 0 0 304 5 24 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32680] ppid=32671 vsize=868180 CPUtime=3.52
/proc/32673/task/32680/stat : 32680 (java) S 32671 32673 31032 0 -1 64 965 3614 0 0 42 1 304 5 16 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32681] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32681/stat : 32681 (java) S 32671 32673 31032 0 -1 64 1 3614 0 0 0 0 304 5 25 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32682] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32682/stat : 32682 (java) S 32671 32673 31032 0 -1 64 18 3614 0 0 0 0 304 5 15 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 105.76
Current children cumulated vsize (KiB) 868180
[startup+106.707 s]
/proc/loadavg: 2.05 2.12 2.06 3/90 32686
/proc/meminfo: memFree=1332120/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=868180 CPUtime=106.16
/proc/32673/stat : 32673 (java) S 32671 32673 31032 0 -1 0 140717 3614 1 0 10048 259 304 5 19 0 9 0 28099532 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32673/statm: 217045 98742 2642 9 0 211503 0
[pid=32673/tid=32675] ppid=32671 vsize=868180 CPUtime=103.09
/proc/32673/task/32675/stat : 32675 (java) R 32671 32673 31032 0 -1 64 32596 3614 1 0 9780 220 304 5 25 0 9 0 28099533 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4127600787 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32676] ppid=32671 vsize=868180 CPUtime=5.67
/proc/32673/task/32676/stat : 32676 (java) S 32671 32673 31032 0 -1 64 106279 3614 0 0 224 34 304 5 16 0 9 0 28099534 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32677] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32677/stat : 32677 (java) S 32671 32673 31032 0 -1 64 18 3614 0 0 0 0 304 5 15 0 9 0 28099534 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32678] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32678/stat : 32678 (java) S 32671 32673 31032 0 -1 64 26 3614 0 0 0 0 304 5 16 0 9 0 28099535 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32679] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32679/stat : 32679 (java) S 32671 32673 31032 0 -1 64 2 3614 0 0 0 0 304 5 24 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32680] ppid=32671 vsize=868180 CPUtime=3.52
/proc/32673/task/32680/stat : 32680 (java) S 32671 32673 31032 0 -1 64 965 3614 0 0 42 1 304 5 16 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32681] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32681/stat : 32681 (java) S 32671 32673 31032 0 -1 64 1 3614 0 0 0 0 304 5 25 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32682] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32682/stat : 32682 (java) S 32671 32673 31032 0 -1 64 18 3614 0 0 0 0 304 5 15 0 9 0 28099537 889016320 98742 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 106.16
Current children cumulated vsize (KiB) 868180
[startup+107.103 s]
/proc/loadavg: 2.05 2.12 2.06 3/90 32686
/proc/meminfo: memFree=1332120/2055920 swapFree=4192812/4192956
[pid=32673] ppid=32671 vsize=868180 CPUtime=106.55
/proc/32673/stat : 32673 (java) S 32671 32673 31032 0 -1 0 140736 3614 1 0 10086 260 304 5 19 0 9 0 28099532 889016320 98750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32673/statm: 217045 98750 2642 9 0 211503 0
[pid=32673/tid=32675] ppid=32671 vsize=868180 CPUtime=103.46
/proc/32673/task/32675/stat : 32675 (java) S 32671 32673 31032 0 -1 64 32610 3614 1 0 9817 220 304 5 25 0 9 0 28099533 889016320 98750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32676] ppid=32671 vsize=868180 CPUtime=5.67
/proc/32673/task/32676/stat : 32676 (java) S 32671 32673 31032 0 -1 64 106279 3614 0 0 224 34 304 5 17 0 9 0 28099534 889016320 98750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32677] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32677/stat : 32677 (java) S 32671 32673 31032 0 -1 64 18 3614 0 0 0 0 304 5 15 0 9 0 28099534 889016320 98750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32678] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32678/stat : 32678 (java) S 32671 32673 31032 0 -1 64 26 3614 0 0 0 0 304 5 16 0 9 0 28099535 889016320 98750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32679] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32679/stat : 32679 (java) S 32671 32673 31032 0 -1 64 2 3614 0 0 0 0 304 5 24 0 9 0 28099537 889016320 98750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32680] ppid=32671 vsize=868180 CPUtime=3.53
/proc/32673/task/32680/stat : 32680 (java) S 32671 32673 31032 0 -1 64 970 3614 0 0 43 1 304 5 15 0 9 0 28099537 889016320 98750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32673/tid=32681] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32681/stat : 32681 (java) S 32671 32673 31032 0 -1 64 1 3614 0 0 0 0 304 5 25 0 9 0 28099537 889016320 98750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32673/tid=32682] ppid=32671 vsize=868180 CPUtime=3.09
/proc/32673/task/32682/stat : 32682 (java) S 32671 32673 31032 0 -1 64 18 3614 0 0 0 0 304 5 15 0 9 0 28099537 889016320 98750 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 106.55
Current children cumulated vsize (KiB) 868180
Child status: 0
Real time (s): 107.195
CPU time (s): 106.618
CPU user time (s): 103.904
CPU system time (s): 2.71359
CPU usage (%): 99.4612
Max. virtual memory (cumulated for all children) (KiB): 890248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 103.904
system time used= 2.71359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144379
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= 4605
involuntary context switches= 4778
runsolver used 0.132979 second user time and 0.361944 second system time
The end
Begin job on node89 at 2009-07-12 16:52:24
IDJOB=2096414
IDBENCH=56337
IDSOLVER=774
FILE ID=node89/2096414-1247410343
PBS_JOBID= 9510473
Free space on /tmp= 66256 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/bmc/normalized-bmc-ibm-01-04.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2096414-1247410343/watcher-2096414-1247410343 -o /tmp/evaluation-result-2096414-1247410343/solver-2096414-1247410343 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2096414-1247410343.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 604b057966300916961388b389723dac
RANDOM SEED=357199144
node89.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.213
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.213
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1718552 kB
Buffers: 40288 kB
Cached: 174932 kB
SwapCached: 0 kB
Active: 161688 kB
Inactive: 115544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1718552 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 11036 kB
Writeback: 0 kB
Mapped: 82404 kB
Slab: 45312 kB
Committed_AS: 996680 kB
PageTables: 1872 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= 66256 MiB
End job on node89 at 2009-07-12 16:54:11