0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-2096389-1247410302.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.32
0.28/0.33 variables being loaded...
0.68/0.74 nbVariables=14930 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=29860
0.68/0.74 => wckTime=0.489 cpuTime=0.4 mem=48M480
0.68/0.74
0.68/0.74 predicates being loaded...
0.88/0.92
0.88/0.92 constraints being loaded...
12.32/12.87
12.32/12.87 INFO : Stopping converting binary constraints (cpu=10.14, mem = 400M712)
20.24/20.85 nbConstraints=66120 nbUnaryConstraints=15049 nbGlobalConstraints=4 nbMergedConstraints=5871
20.24/20.85 nbSingletonDomainVariables=119 nbPurgedValues=119 nbConvertedConstraints=52771 nbConvertConstraintsChecks=25080
20.24/20.85 nbExtensionStructures=390 nbSharedExtensionStructures=52765 nbConflictsStructures=520
20.24/20.85 nbSharedConflictsStructures=65303 nbUnbuiltConflictsStructures=7 nbSharedBinaryRepresentations=1557
20.24/20.85 nbEvaluationManagers=137 nbSharedEvaluationManagers=13208 minDegree=1 maxDegree=201 minArity=2 avgArity=2.62
20.24/20.85 maxArity=19 nbGenerators=4 nbFusions=0 symmetryWckTime=6.202 symmetryCpuTime=0.73
20.24/20.85 => wckTime=20.598 cpuTime=12.25 mem=562M690
22.16/22.74
22.16/22.75 solver IterativeSystematicSolver being built...
22.76/23.31
22.76/23.31 INFO : Forward propagation technique limited
23.26/23.80 => wckTime=23.55 cpuTime=14.0 mem=595M818
23.46/24.01
23.46/24.01 preprocessing
23.46/24.01 nbConstraintChecks=29511 nbValidityChecks=32711 nbPropagations=15331 nbRevisions=32629 nbUselessRevisions=31944
23.46/24.01 nbRemovedValues=804 detectedInconsistency=no
23.46/24.01 => wckTime=0.192 cpuTime=0.17 mem=598M865
56.92/57.60
56.92/57.60 search
56.92/57.60 run=0 nbConstraintChecks=407425 nbValidityChecks=247974 minDepth=51 maxDepth=14930 nbPropagations=38440
56.92/57.60 nbRevisions=346583 nbUselessRevisions=337566 nbAssignments=14957 nbFailedAssignments=9 nbBacktracks=18
56.92/57.60 nbVisitedNodes=14976 nbRestartNogoods=0 nbFoundSolutions=1 nbSEliminables=? nbREliminables=? nbIEliminables=?
56.92/57.60 nbDEliminables=? nbPEliminables=?
56.92/57.60 => wckTime=33.786 cpuTime=33.35 mem=600M945
56.92/57.60
56.92/57.60 global
56.92/57.60 nbConstraintChecks=436936 nbValidityChecks=280685 nbPropagations=53771 nbRevisions=379212
56.92/57.60 nbUselessRevisions=369510 nbRestartNogoods=0 solvingWckTime=33.788 solvingCpuTime=33.35 expiredTime=no
56.92/57.60 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=47.19 globalCpuTime=47.39
56.92/57.60 => wckTime=57.352 cpuTime=47.36 mem=600M945
56.92/57.61
56.92/57.61 s SATISFIABLE
56.92/57.61 v 1 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 1 1 1 0 1 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 0 1 1 1 1 0 1 1 1 0 0 0 0 1 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 1 1 1 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 0 0 0 1 1 0 0 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 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 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 1 0 1 1 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0
56.92/57.61 d NODES 14957
56.92/57.61 d CHECKS 436936
56.92/57.61
56.92/57.61 totalWckTime=57.426 totalCpuTime=47.39
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2096389-1247410302/watcher-2096389-1247410302 -o /tmp/evaluation-result-2096389-1247410302/solver-2096389-1247410302 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2096389-1247410302.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.16 2.19 2.09 4/80 32265
/proc/meminfo: memFree=1623196/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=152 CPUtime=0
/proc/32265/stat : 32265 (java) R 32263 32265 29977 0 -1 0 41 0 0 0 0 0 0 0 20 0 1 0 28094965 155648 26 996147200 134512640 134550932 4294956128 18446744073709551615 10261284 0 0 4096 0 0 0 0 17 0 0 0
/proc/32265/statm: 38 26 19 9 0 4 0
[startup+0.104106 s]
/proc/loadavg: 2.16 2.19 2.09 4/80 32265
/proc/meminfo: memFree=1623196/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=867008 CPUtime=0.08
/proc/32265/stat : 32265 (java) S 32263 32265 29977 0 -1 0 3743 0 1 0 6 2 0 0 20 0 9 0 28094965 887816192 3211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32265/statm: 216752 3211 1700 9 0 211237 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 867008
[startup+0.201117 s]
/proc/loadavg: 2.16 2.19 2.09 4/80 32265
/proc/meminfo: memFree=1623196/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=867168 CPUtime=0.18
/proc/32265/stat : 32265 (java) S 32263 32265 29977 0 -1 0 4816 0 1 0 15 3 0 0 20 0 9 0 28094965 887980032 4233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32265/statm: 216792 4233 1888 9 0 211270 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 867168
[startup+0.301128 s]
/proc/loadavg: 2.16 2.19 2.09 4/80 32265
/proc/meminfo: memFree=1623196/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=867404 CPUtime=0.28
/proc/32265/stat : 32265 (java) S 32263 32265 29977 0 -1 0 5955 0 1 0 24 4 0 0 20 0 9 0 28094965 888221696 5321 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32265/statm: 216851 5321 1983 9 0 211309 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 867404
[startup+0.701171 s]
/proc/loadavg: 2.16 2.19 2.09 4/80 32265
/proc/meminfo: memFree=1623196/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=868548 CPUtime=0.68
/proc/32265/stat : 32265 (java) S 32263 32265 29977 0 -1 0 15734 0 1 0 60 8 0 0 20 0 9 0 28094965 889393152 15096 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32265/statm: 217137 15096 2000 9 0 211595 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 868548
[startup+1.50125 s]
/proc/loadavg: 2.16 2.19 2.09 4/89 32274
/proc/meminfo: memFree=1557844/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=868636 CPUtime=1.47
/proc/32265/stat : 32265 (java) S 32263 32265 29977 0 -1 0 18918 0 1 0 137 10 0 0 20 0 9 0 28094965 889483264 18269 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32265/statm: 217159 18269 2049 9 0 211595 0
[pid=32265/tid=32267] ppid=32263 vsize=868636 CPUtime=1.21
/proc/32265/task/32267/stat : 32267 (java) R 32263 32265 29977 0 -1 64 15787 0 1 0 113 8 0 0 25 0 9 0 28094967 889483264 18269 996147200 134512640 134550932 4294955968 18446744073709551615 102724634 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32268] ppid=32263 vsize=868636 CPUtime=0.06
/proc/32265/task/32268/stat : 32268 (java) S 32263 32265 29977 0 -1 64 1785 0 0 0 6 0 0 0 16 0 9 0 28094968 889483264 18269 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32269] ppid=32263 vsize=868636 CPUtime=0
/proc/32265/task/32269/stat : 32269 (java) S 32263 32265 29977 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28094968 889483264 18269 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32270] ppid=32263 vsize=868636 CPUtime=0
/proc/32265/task/32270/stat : 32270 (java) S 32263 32265 29977 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28094968 889483264 18269 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32271] ppid=32263 vsize=868636 CPUtime=0
/proc/32265/task/32271/stat : 32271 (java) S 32263 32265 29977 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28094971 889483264 18269 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32272] ppid=32263 vsize=868636 CPUtime=0.17
/proc/32265/task/32272/stat : 32272 (java) S 32263 32265 29977 0 -1 64 643 0 0 0 17 0 0 0 15 0 9 0 28094971 889483264 18269 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32273] ppid=32263 vsize=868636 CPUtime=0
/proc/32265/task/32273/stat : 32273 (java) S 32263 32265 29977 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28094971 889483264 18269 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32274] ppid=32263 vsize=868636 CPUtime=0
/proc/32265/task/32274/stat : 32274 (java) S 32263 32265 29977 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 28094971 889483264 18269 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 868636
[startup+3.10242 s]
/proc/loadavg: 2.15 2.18 2.09 3/89 32274
/proc/meminfo: memFree=1542996/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=868548 CPUtime=3.06
/proc/32265/stat : 32265 (java) S 32263 32265 29977 0 -1 0 24738 0 1 0 293 13 0 0 20 0 9 0 28094965 889393152 24065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32265/statm: 217137 24065 2027 9 0 211595 0
[pid=32265/tid=32267] ppid=32263 vsize=868548 CPUtime=2.53
/proc/32265/task/32267/stat : 32267 (java) R 32263 32265 29977 0 -1 64 15792 0 1 0 245 8 0 0 25 0 9 0 28094967 889393152 24065 996147200 134512640 134550932 4294955968 18446744073709551615 102897708 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32268] ppid=32263 vsize=868548 CPUtime=0.32
/proc/32265/task/32268/stat : 32268 (java) S 32263 32265 29977 0 -1 64 7598 0 0 0 30 2 0 0 17 0 9 0 28094968 889393152 24065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32269] ppid=32263 vsize=868548 CPUtime=0
/proc/32265/task/32269/stat : 32269 (java) S 32263 32265 29977 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28094968 889393152 24065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32270] ppid=32263 vsize=868548 CPUtime=0
/proc/32265/task/32270/stat : 32270 (java) S 32263 32265 29977 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28094968 889393152 24065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32271] ppid=32263 vsize=868548 CPUtime=0
/proc/32265/task/32271/stat : 32271 (java) S 32263 32265 29977 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28094971 889393152 24065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32272] ppid=32263 vsize=868548 CPUtime=0.17
/proc/32265/task/32272/stat : 32272 (java) S 32263 32265 29977 0 -1 64 645 0 0 0 17 0 0 0 16 0 9 0 28094971 889393152 24065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32273] ppid=32263 vsize=868548 CPUtime=0
/proc/32265/task/32273/stat : 32273 (java) S 32263 32265 29977 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28094971 889393152 24065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32274] ppid=32263 vsize=868548 CPUtime=0
/proc/32265/task/32274/stat : 32274 (java) S 32263 32265 29977 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 28094971 889393152 24065 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868548
[startup+6.30275 s]
/proc/loadavg: 2.15 2.18 2.09 3/89 32274
/proc/meminfo: memFree=1510932/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=868548 CPUtime=6.22
/proc/32265/stat : 32265 (java) S 32263 32265 29977 0 -1 0 30449 0 1 0 557 65 0 0 20 0 9 0 28094965 889393152 29770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32265/statm: 217137 29770 2032 9 0 211595 0
[pid=32265/tid=32267] ppid=32263 vsize=868548 CPUtime=5.28
/proc/32265/task/32267/stat : 32267 (java) R 32263 32265 29977 0 -1 64 15833 0 1 0 469 59 0 0 25 0 9 0 28094967 889393152 29770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32268] ppid=32263 vsize=868548 CPUtime=0.67
/proc/32265/task/32268/stat : 32268 (java) S 32263 32265 29977 0 -1 64 13222 0 0 0 63 4 0 0 16 0 9 0 28094968 889393152 29770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32269] ppid=32263 vsize=868548 CPUtime=0
/proc/32265/task/32269/stat : 32269 (java) S 32263 32265 29977 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28094968 889393152 29770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32270] ppid=32263 vsize=868548 CPUtime=0
/proc/32265/task/32270/stat : 32270 (java) S 32263 32265 29977 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28094968 889393152 29770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32271] ppid=32263 vsize=868548 CPUtime=0
/proc/32265/task/32271/stat : 32271 (java) S 32263 32265 29977 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28094971 889393152 29770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32272] ppid=32263 vsize=868548 CPUtime=0.23
/proc/32265/task/32272/stat : 32272 (java) S 32263 32265 29977 0 -1 64 691 0 0 0 23 0 0 0 16 0 9 0 28094971 889393152 29770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32273] ppid=32263 vsize=868548 CPUtime=0
/proc/32265/task/32273/stat : 32273 (java) S 32263 32265 29977 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28094971 889393152 29770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32274] ppid=32263 vsize=868548 CPUtime=0
/proc/32265/task/32274/stat : 32274 (java) S 32263 32265 29977 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 28094971 889393152 29770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868548
[startup+12.7024 s]
/proc/loadavg: 2.36 2.23 2.11 3/89 32274
/proc/meminfo: memFree=1332508/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=868548 CPUtime=12.23
/proc/32265/stat : 32265 (java) S 32263 32265 29977 0 -1 0 102051 0 1 0 916 307 0 0 20 0 9 0 28094965 889393152 101360 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32265/statm: 217137 101360 2033 9 0 211595 0
[pid=32265/tid=32267] ppid=32263 vsize=868548 CPUtime=10.14
/proc/32265/task/32267/stat : 32267 (java) R 32263 32265 29977 0 -1 64 15846 0 1 0 747 267 0 0 25 0 9 0 28094967 889393152 101360 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32268] ppid=32263 vsize=868548 CPUtime=1.77
/proc/32265/task/32268/stat : 32268 (java) R 32263 32265 29977 0 -1 64 84788 0 0 0 141 36 0 0 16 0 9 0 28094968 889393152 101360 996147200 134512640 134550932 4294955968 18446744073709551615 102709373 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32269] ppid=32263 vsize=868548 CPUtime=0
/proc/32265/task/32269/stat : 32269 (java) S 32263 32265 29977 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28094968 889393152 101360 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32270] ppid=32263 vsize=868548 CPUtime=0
/proc/32265/task/32270/stat : 32270 (java) S 32263 32265 29977 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28094968 889393152 101360 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32271] ppid=32263 vsize=868548 CPUtime=0
/proc/32265/task/32271/stat : 32271 (java) S 32263 32265 29977 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28094971 889393152 101360 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32272] ppid=32263 vsize=868548 CPUtime=0.27
/proc/32265/task/32272/stat : 32272 (java) S 32263 32265 29977 0 -1 64 714 0 0 0 26 1 0 0 15 0 9 0 28094971 889393152 101360 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32273] ppid=32263 vsize=868548 CPUtime=0
/proc/32265/task/32273/stat : 32273 (java) S 32263 32265 29977 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28094971 889393152 101360 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32274] ppid=32263 vsize=868548 CPUtime=0
/proc/32265/task/32274/stat : 32274 (java) S 32263 32265 29977 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 28094971 889393152 101360 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 868548
[startup+25.5017 s]
/proc/loadavg: 2.62 2.29 2.13 3/91 32278
/proc/meminfo: memFree=995524/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=869196 CPUtime=24.93
/proc/32265/stat : 32265 (java) S 32263 32265 29977 0 -1 0 205785 4212 1 0 1631 346 510 6 20 0 10 0 28094965 890056704 157336 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32265/statm: 217299 157336 2642 9 0 211757 0
[pid=32278] ppid=32265 vsize=144 CPUtime=0.02
/proc/32278/stat : 32278 (rm) D 32265 32265 29977 0 -1 4194304 46 0 0 0 0 2 0 0 18 0 1 0 28097019 147456 22 996147200 4194304 4227748 548682068720 18446744073709551615 256362215468 0 4 0 0 18446744072099202260 0 0 17 0 0 0
/proc/32278/statm: 36 22 16 8 0 3 0
[pid=32265/tid=32267] ppid=32263 vsize=869196 CPUtime=20.97
/proc/32265/task/32267/stat : 32267 (java) R 32263 32265 29977 0 -1 64 32809 4212 1 0 1306 275 510 6 25 0 10 0 28094967 890056704 157336 996147200 134512640 134550932 4294955968 18446744073709551615 4127666462 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32268] ppid=32263 vsize=869196 CPUtime=8.57
/proc/32265/task/32268/stat : 32268 (java) S 32263 32265 29977 0 -1 64 171027 4212 0 0 278 63 510 6 17 0 10 0 28094968 890056704 157336 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32269] ppid=32263 vsize=869196 CPUtime=5.16
/proc/32265/task/32269/stat : 32269 (java) S 32263 32265 29977 0 -1 64 18 4212 0 0 0 0 510 6 16 0 10 0 28094968 890056704 157336 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32270] ppid=32263 vsize=869196 CPUtime=5.16
/proc/32265/task/32270/stat : 32270 (java) S 32263 32265 29977 0 -1 64 23 4212 0 0 0 0 510 6 15 0 10 0 28094968 890056704 157336 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32271] ppid=32263 vsize=869196 CPUtime=5.16
/proc/32265/task/32271/stat : 32271 (java) S 32263 32265 29977 0 -1 64 2 4212 0 0 0 0 510 6 18 0 10 0 28094971 890056704 157336 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32272] ppid=32263 vsize=869196 CPUtime=5.62
/proc/32265/task/32272/stat : 32272 (java) S 32263 32265 29977 0 -1 64 1062 4212 0 0 45 1 510 6 15 0 10 0 28094971 890056704 157336 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32273] ppid=32263 vsize=869196 CPUtime=5.16
/proc/32265/task/32273/stat : 32273 (java) S 32263 32265 29977 0 -1 64 1 4212 0 0 0 0 510 6 19 0 10 0 28094971 890056704 157336 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32274] ppid=32263 vsize=869196 CPUtime=5.16
/proc/32265/task/32274/stat : 32274 (java) S 32263 32265 29977 0 -1 64 31 4212 0 0 0 0 510 6 15 0 10 0 28094971 890056704 157336 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32277] ppid=32263 vsize=869196 CPUtime=5.18
/proc/32265/task/32277/stat : 32277 (java) S 32263 32265 29977 0 -1 64 41 4212 0 0 0 2 510 6 18 0 10 0 28097019 890056704 157336 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 869340
[startup+51.1022 s]
/proc/loadavg: 2.70 2.34 2.15 3/89 32280
/proc/meminfo: memFree=1002444/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=869196 CPUtime=50.44
/proc/32265/stat : 32265 (java) S 32263 32265 29977 0 -1 0 205796 4338 1 0 4158 347 510 29 20 0 9 0 28094965 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32265/statm: 217299 157342 2642 9 0 211757 0
[pid=32265/tid=32267] ppid=32263 vsize=869196 CPUtime=46.45
/proc/32265/task/32267/stat : 32267 (java) R 32263 32265 29977 0 -1 64 32810 4338 1 0 3831 275 510 29 25 0 9 0 28094967 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4127205866 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32268] ppid=32263 vsize=869196 CPUtime=8.8
/proc/32265/task/32268/stat : 32268 (java) S 32263 32265 29977 0 -1 64 171027 4338 0 0 278 63 510 29 16 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32269] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32269/stat : 32269 (java) S 32263 32265 29977 0 -1 64 18 4338 0 0 0 0 510 29 16 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32270] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32270/stat : 32270 (java) S 32263 32265 29977 0 -1 64 23 4338 0 0 0 0 510 29 15 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32271] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32271/stat : 32271 (java) S 32263 32265 29977 0 -1 64 2 4338 0 0 0 0 510 29 18 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32272] ppid=32263 vsize=869196 CPUtime=5.86
/proc/32265/task/32272/stat : 32272 (java) S 32263 32265 29977 0 -1 64 1070 4338 0 0 46 1 510 29 16 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32273] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32273/stat : 32273 (java) S 32263 32265 29977 0 -1 64 1 4338 0 0 0 0 510 29 19 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32274] ppid=32263 vsize=869196 CPUtime=5.4
/proc/32265/task/32274/stat : 32274 (java) S 32263 32265 29977 0 -1 64 31 4338 0 0 0 1 510 29 15 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 869196
Solver just ended. Dumping a history of the last processes samples
[startup+51.3023 s]
/proc/loadavg: 2.70 2.34 2.15 3/89 32280
/proc/meminfo: memFree=1002444/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=869196 CPUtime=50.64
/proc/32265/stat : 32265 (java) S 32263 32265 29977 0 -1 0 205796 4338 1 0 4178 347 510 29 20 0 9 0 28094965 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32265/statm: 217299 157342 2642 9 0 211757 0
[pid=32265/tid=32267] ppid=32263 vsize=869196 CPUtime=46.65
/proc/32265/task/32267/stat : 32267 (java) R 32263 32265 29977 0 -1 64 32810 4338 1 0 3851 275 510 29 25 0 9 0 28094967 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4126829146 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32268] ppid=32263 vsize=869196 CPUtime=8.8
/proc/32265/task/32268/stat : 32268 (java) S 32263 32265 29977 0 -1 64 171027 4338 0 0 278 63 510 29 16 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32269] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32269/stat : 32269 (java) S 32263 32265 29977 0 -1 64 18 4338 0 0 0 0 510 29 16 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32270] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32270/stat : 32270 (java) S 32263 32265 29977 0 -1 64 23 4338 0 0 0 0 510 29 15 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32271] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32271/stat : 32271 (java) S 32263 32265 29977 0 -1 64 2 4338 0 0 0 0 510 29 18 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32272] ppid=32263 vsize=869196 CPUtime=5.86
/proc/32265/task/32272/stat : 32272 (java) S 32263 32265 29977 0 -1 64 1070 4338 0 0 46 1 510 29 16 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32273] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32273/stat : 32273 (java) S 32263 32265 29977 0 -1 64 1 4338 0 0 0 0 510 29 19 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32274] ppid=32263 vsize=869196 CPUtime=5.4
/proc/32265/task/32274/stat : 32274 (java) S 32263 32265 29977 0 -1 64 31 4338 0 0 0 1 510 29 15 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 869196
[startup+54.5016 s]
/proc/loadavg: 2.65 2.33 2.15 3/89 32280
/proc/meminfo: memFree=1002444/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=869196 CPUtime=53.83
/proc/32265/stat : 32265 (java) S 32263 32265 29977 0 -1 0 205796 4338 1 0 4497 347 510 29 20 0 9 0 28094965 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32265/statm: 217299 157342 2642 9 0 211757 0
[pid=32265/tid=32267] ppid=32263 vsize=869196 CPUtime=49.84
/proc/32265/task/32267/stat : 32267 (java) R 32263 32265 29977 0 -1 64 32810 4338 1 0 4170 275 510 29 25 0 9 0 28094967 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4127671563 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32268] ppid=32263 vsize=869196 CPUtime=8.8
/proc/32265/task/32268/stat : 32268 (java) S 32263 32265 29977 0 -1 64 171027 4338 0 0 278 63 510 29 16 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32269] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32269/stat : 32269 (java) S 32263 32265 29977 0 -1 64 18 4338 0 0 0 0 510 29 16 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32270] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32270/stat : 32270 (java) S 32263 32265 29977 0 -1 64 23 4338 0 0 0 0 510 29 15 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32271] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32271/stat : 32271 (java) S 32263 32265 29977 0 -1 64 2 4338 0 0 0 0 510 29 18 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32272] ppid=32263 vsize=869196 CPUtime=5.86
/proc/32265/task/32272/stat : 32272 (java) S 32263 32265 29977 0 -1 64 1070 4338 0 0 46 1 510 29 16 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32273] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32273/stat : 32273 (java) S 32263 32265 29977 0 -1 64 1 4338 0 0 0 0 510 29 19 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32274] ppid=32263 vsize=869196 CPUtime=5.4
/proc/32265/task/32274/stat : 32274 (java) S 32263 32265 29977 0 -1 64 31 4338 0 0 0 1 510 29 15 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 53.83
Current children cumulated vsize (KiB) 869196
[startup+56.1028 s]
/proc/loadavg: 2.65 2.33 2.15 3/89 32280
/proc/meminfo: memFree=1002444/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=869196 CPUtime=55.42
/proc/32265/stat : 32265 (java) S 32263 32265 29977 0 -1 0 205796 4338 1 0 4656 347 510 29 20 0 9 0 28094965 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32265/statm: 217299 157342 2642 9 0 211757 0
[pid=32265/tid=32267] ppid=32263 vsize=869196 CPUtime=51.43
/proc/32265/task/32267/stat : 32267 (java) R 32263 32265 29977 0 -1 64 32810 4338 1 0 4329 275 510 29 25 0 9 0 28094967 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4127680538 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32268] ppid=32263 vsize=869196 CPUtime=8.8
/proc/32265/task/32268/stat : 32268 (java) S 32263 32265 29977 0 -1 64 171027 4338 0 0 278 63 510 29 16 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32269] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32269/stat : 32269 (java) S 32263 32265 29977 0 -1 64 18 4338 0 0 0 0 510 29 16 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32270] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32270/stat : 32270 (java) S 32263 32265 29977 0 -1 64 23 4338 0 0 0 0 510 29 15 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32271] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32271/stat : 32271 (java) S 32263 32265 29977 0 -1 64 2 4338 0 0 0 0 510 29 18 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32272] ppid=32263 vsize=869196 CPUtime=5.86
/proc/32265/task/32272/stat : 32272 (java) S 32263 32265 29977 0 -1 64 1070 4338 0 0 46 1 510 29 16 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32273] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32273/stat : 32273 (java) S 32263 32265 29977 0 -1 64 1 4338 0 0 0 0 510 29 19 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32274] ppid=32263 vsize=869196 CPUtime=5.4
/proc/32265/task/32274/stat : 32274 (java) S 32263 32265 29977 0 -1 64 31 4338 0 0 0 1 510 29 15 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 55.42
Current children cumulated vsize (KiB) 869196
[startup+56.9028 s]
/proc/loadavg: 2.65 2.33 2.15 3/89 32280
/proc/meminfo: memFree=1002444/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=869196 CPUtime=56.22
/proc/32265/stat : 32265 (java) S 32263 32265 29977 0 -1 0 205796 4338 1 0 4736 347 510 29 20 0 9 0 28094965 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32265/statm: 217299 157342 2642 9 0 211757 0
[pid=32265/tid=32267] ppid=32263 vsize=869196 CPUtime=52.23
/proc/32265/task/32267/stat : 32267 (java) R 32263 32265 29977 0 -1 64 32810 4338 1 0 4409 275 510 29 25 0 9 0 28094967 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4126829146 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32268] ppid=32263 vsize=869196 CPUtime=8.8
/proc/32265/task/32268/stat : 32268 (java) S 32263 32265 29977 0 -1 64 171027 4338 0 0 278 63 510 29 16 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32269] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32269/stat : 32269 (java) S 32263 32265 29977 0 -1 64 18 4338 0 0 0 0 510 29 16 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32270] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32270/stat : 32270 (java) S 32263 32265 29977 0 -1 64 23 4338 0 0 0 0 510 29 15 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32271] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32271/stat : 32271 (java) S 32263 32265 29977 0 -1 64 2 4338 0 0 0 0 510 29 18 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32272] ppid=32263 vsize=869196 CPUtime=5.86
/proc/32265/task/32272/stat : 32272 (java) S 32263 32265 29977 0 -1 64 1070 4338 0 0 46 1 510 29 16 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32273] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32273/stat : 32273 (java) S 32263 32265 29977 0 -1 64 1 4338 0 0 0 0 510 29 19 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32274] ppid=32263 vsize=869196 CPUtime=5.4
/proc/32265/task/32274/stat : 32274 (java) S 32263 32265 29977 0 -1 64 31 4338 0 0 0 1 510 29 15 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 56.22
Current children cumulated vsize (KiB) 869196
[startup+57.3029 s]
/proc/loadavg: 2.59 2.33 2.15 3/89 32280
/proc/meminfo: memFree=1002444/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=869196 CPUtime=56.62
/proc/32265/stat : 32265 (java) S 32263 32265 29977 0 -1 0 205796 4338 1 0 4776 347 510 29 20 0 9 0 28094965 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32265/statm: 217299 157342 2642 9 0 211757 0
[pid=32265/tid=32267] ppid=32263 vsize=869196 CPUtime=52.63
/proc/32265/task/32267/stat : 32267 (java) R 32263 32265 29977 0 -1 64 32810 4338 1 0 4449 275 510 29 25 0 9 0 28094967 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4127695483 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32268] ppid=32263 vsize=869196 CPUtime=8.8
/proc/32265/task/32268/stat : 32268 (java) S 32263 32265 29977 0 -1 64 171027 4338 0 0 278 63 510 29 16 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32269] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32269/stat : 32269 (java) S 32263 32265 29977 0 -1 64 18 4338 0 0 0 0 510 29 16 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32270] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32270/stat : 32270 (java) S 32263 32265 29977 0 -1 64 23 4338 0 0 0 0 510 29 15 0 9 0 28094968 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32271] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32271/stat : 32271 (java) S 32263 32265 29977 0 -1 64 2 4338 0 0 0 0 510 29 18 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32272] ppid=32263 vsize=869196 CPUtime=5.86
/proc/32265/task/32272/stat : 32272 (java) S 32263 32265 29977 0 -1 64 1070 4338 0 0 46 1 510 29 16 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32265/tid=32273] ppid=32263 vsize=869196 CPUtime=5.39
/proc/32265/task/32273/stat : 32273 (java) S 32263 32265 29977 0 -1 64 1 4338 0 0 0 0 510 29 19 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32265/tid=32274] ppid=32263 vsize=869196 CPUtime=5.4
/proc/32265/task/32274/stat : 32274 (java) S 32263 32265 29977 0 -1 64 31 4338 0 0 0 1 510 29 15 0 9 0 28094971 890056704 157342 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 56.62
Current children cumulated vsize (KiB) 869196
[startup+57.7031 s]
/proc/loadavg: 2.59 2.33 2.15 3/89 32280
/proc/meminfo: memFree=1002444/2055920 swapFree=4192812/4192956
[pid=32265] ppid=32263 vsize=0 CPUtime=56.98
/proc/32265/stat : 32265 (java) Z 32263 32265 29977 0 -1 12 205847 4338 1 0 4806 353 510 29 16 0 2 0 28094965 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32265/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 56.98
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 57.7352
CPU time (s): 57.0363
CPU user time (s): 53.1729
CPU system time (s): 3.86341
CPU usage (%): 98.7896
Max. virtual memory (cumulated for all children) (KiB): 895444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.1729
system time used= 3.86341
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210185
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= 3810
involuntary context switches= 5239
runsolver used 0.224965 second user time and 0.484926 second system time
The end
Begin job on node90 at 2009-07-12 16:51:43
IDJOB=2096389
IDBENCH=56320
IDSOLVER=773
FILE ID=node90/2096389-1247410302
PBS_JOBID= 9510472
Free space on /tmp= 66284 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/bmc/normalized-bmc-ibm-03-02.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2096389-1247410302/watcher-2096389-1247410302 -o /tmp/evaluation-result-2096389-1247410302/solver-2096389-1247410302 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2096389-1247410302.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b956fc5b575edf94b3953059b257fab9
RANDOM SEED=238224259
node90.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.212
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.212
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: 1623612 kB
Buffers: 65512 kB
Cached: 245044 kB
SwapCached: 0 kB
Active: 222628 kB
Inactive: 143532 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1623612 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 14368 kB
Writeback: 0 kB
Mapped: 69856 kB
Slab: 51272 kB
Committed_AS: 1016940 kB
PageTables: 1916 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= 66284 MiB
End job on node90 at 2009-07-12 16:52:41