0.02/0.09
0.02/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=esac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-2096388-1247410302.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.34
0.29/0.34 variables being loaded...
0.89/0.91 nbVariables=14930 nbDomainTypes=1 minDomainSize=4 maxDomainSize=4 nbTotalValues=59720
0.89/0.91 => wckTime=0.654 cpuTime=0.46 mem=21M717
0.89/0.91
0.89/0.91 predicates being loaded...
0.98/1.03
0.98/1.04 constraints being loaded...
12.80/12.93
12.80/12.93 INFO : Stopping converting binary constraints (cpu=10.36, mem = 400M390)
18.62/18.87 nbConstraints=66120 nbUnaryConstraints=15049 nbGlobalConstraints=4 nbMergedConstraints=5871
18.82/19.00 nbSingletonDomainVariables=119 nbPurgedValues=29979 nbConvertedConstraints=52771
18.82/19.00 nbConvertConstraintsChecks=212448 nbExtensionStructures=390 nbSharedExtensionStructures=52765
18.82/19.00 nbConflictsStructures=486 nbSharedConflictsStructures=64119 nbUnbuiltConflictsStructures=41
18.82/19.00 nbSharedBinaryRepresentations=3113 nbEvaluationManagers=137 nbSharedEvaluationManagers=13208 minDegree=1
18.82/19.00 maxDegree=201 minArity=2 avgArity=2.62 maxArity=19 nbGenerators=4 nbFusions=0 symmetryWckTime=4.113
18.82/19.00 symmetryCpuTime=0.72
18.82/19.00 => wckTime=18.607 cpuTime=12.53 mem=579M786
20.02/20.24
20.02/20.24 solver IterativeSystematicSolver being built...
20.82/21.07
20.82/21.08 INFO : Forward propagation technique limited
21.42/21.66 => wckTime=21.401 cpuTime=13.83 mem=592M190
112.83/113.19
112.83/113.19 INFO : Stopping ESAC
112.83/113.19
112.83/113.20 preprocessing
112.83/113.20 nbConstraintChecks=126908 nbValidityChecks=240056 nbPropagations=20690 nbRevisions=206406
112.83/113.20 nbUselessRevisions=203240 nbSingletonTests=3291 nbEffectiveSingletonTests=0 nbACRemovals=685
112.83/113.20 nbFoundSingletons=0 nbRemovedValues=685 detectedInconsistency=no
112.83/113.20 => wckTime=91.511 cpuTime=91.39 mem=596M182
158.10/158.99
158.10/158.99 search
158.10/158.99 run=0 nbConstraintChecks=419621 nbValidityChecks=338767 minDepth=51 maxDepth=14930 nbPropagations=43768
158.10/158.99 nbRevisions=568603 nbUselessRevisions=557136 nbAssignments=14957 nbFailedAssignments=9 nbBacktracks=18
158.10/158.99 nbVisitedNodes=14976 nbRestartNogoods=0 nbFoundSolutions=1 nbSEliminables=? nbREliminables=? nbIEliminables=?
158.10/158.99 nbDEliminables=? nbPEliminables=?
158.10/158.99 => wckTime=137.314 cpuTime=136.61 mem=597M176
158.10/158.99
158.10/158.99 global
158.10/158.99 nbConstraintChecks=546529 nbValidityChecks=578823 nbPropagations=64458 nbRevisions=775009
158.10/158.99 nbUselessRevisions=760376 nbRestartNogoods=0 solvingWckTime=137.317 solvingCpuTime=136.62 expiredTime=no
158.10/158.99 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=150.28 globalCpuTime=150.51
158.10/158.99 => wckTime=158.736 cpuTime=150.47 mem=597M176
158.20/159.00
158.20/159.00 s SATISFIABLE
158.20/159.00 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 1 1 1 1 1 1 1 1 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 1 1 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 1 0 0 0 0 0 0 0 1 0 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 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 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 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 1 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 1 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 1 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 1 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 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 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 0 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 1 1 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 1 0 0 0 0 0 0 0 1 0 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 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 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 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 1 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 1 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 1 0 0 1 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 1 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 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 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 0 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 1 1 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 1 0 0 0 0 0 0 0 1 0 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 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 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 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 1 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 1 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 1 0 0 1 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 1 1 1 1 1 1 1 1 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 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 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 0 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 1 1 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 1 0 0 0 0 0 0 0 1 0 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 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 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 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 1 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 1 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 1 0 0 1 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 1 1 1 1 1 1 1 1 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 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 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 0 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 1 1 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 1 0 0 0 0 0 0 0 1 0 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 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 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 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 1 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 1 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 1 0 0 1 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 1 1 1 1 1 1 1 1 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 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 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 0 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 1 1 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 1 0 0 0 0 0 0 0 1 0 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 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 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 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 1 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 1 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 1 0 0 1 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 1 1 1 1 1 1 1 1 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 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 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 0 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 1 1 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 1 0 0 0 0 0 0 0 1 0 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 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 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 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 1 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 1 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 1 0 0 1 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 1 1 1 1 1 1 1 1 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 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 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 0 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 1 1 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 1 0 0 0 0 0 0 0 1 0 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 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 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 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 1 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 1 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 1 0 0 1 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 1 1 1 1 1 1 1 1 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 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 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 0 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 1 1 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 1 0 0 0 0 0 0 0 1 0 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 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 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 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 1 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 1 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 1 0 0 1 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 1 1 1 1 1 1 1 1 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 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 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 0 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 1 1 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 1 0 0 0 0 0 0 0 1 0 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 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 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 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 1 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 1 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 1 0 0 1 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 1 1 1 1 1 1 1 1 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 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 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 0 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 1 1 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 1 0 0 0 0 0 0 0 1 0 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 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 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 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 1 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 1 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 1 0 0 1 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 1 1 1 1 1 1 1 1 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 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 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 0 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 1 1 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 1 0 0 0 0 0 0 0 1 0 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 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 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 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 1 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 1 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 1 0 0 1 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 1 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 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 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 0 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 1 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 1 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 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
158.20/159.00 d NODES 14957
158.20/159.00 d CHECKS 546529
158.20/159.01
158.20/159.01 totalWckTime=158.815 totalCpuTime=150.51
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2096388-1247410302/watcher-2096388-1247410302 -o /tmp/evaluation-result-2096388-1247410302/solver-2096388-1247410302 -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-2096388-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: 1.93 1.98 1.96 3/80 29298
/proc/meminfo: memFree=1646864/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=10676 CPUtime=0
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 28097286 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 2669 474 207 9 0 1184 0
[pid=29298/tid=29299] ppid=29296 vsize=10676 CPUtime=0
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 28097287 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 10543064 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0416411 s]
/proc/loadavg: 1.93 1.98 1.96 3/80 29298
/proc/meminfo: memFree=1646864/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=861936 CPUtime=0.02
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 2278 0 1 0 1 1 0 0 18 0 5 0 28097286 882622464 1880 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 215484 1894 867 9 0 210399 0
[pid=29298/tid=29299] ppid=29296 vsize=861936 CPUtime=0.02
/proc/29298/task/29299/stat : 29299 (java) D 29296 29298 27929 0 -1 64 1601 0 1 0 1 1 0 0 17 0 5 0 28097287 882622464 1894 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800971 18446744072099781622 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861936
[startup+0.109118 s]
/proc/loadavg: 1.93 1.98 1.96 3/80 29298
/proc/meminfo: memFree=1646864/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=865984 CPUtime=0.09
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 3804 0 1 0 7 2 0 0 18 0 9 0 28097286 886767616 3255 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 216496 3255 1718 9 0 210981 0
[pid=29298/tid=29299] ppid=29296 vsize=865984 CPUtime=0.06
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 2878 0 1 0 5 1 0 0 20 0 9 0 28097287 886767616 3255 996147200 134512640 134550932 4294955968 18446744073709551615 103944487 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301133 s]
/proc/loadavg: 1.93 1.98 1.96 3/80 29298
/proc/meminfo: memFree=1646864/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=866380 CPUtime=0.29
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 5863 0 1 0 25 4 0 0 18 0 9 0 28097286 887173120 5229 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 216595 5229 1981 9 0 211053 0
[pid=29298/tid=29299] ppid=29296 vsize=866380 CPUtime=0.22
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 4882 0 1 0 20 2 0 0 18 0 9 0 28097287 887173120 5229 996147200 134512640 134550932 4294955968 18446744073709551615 104610111 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701176 s]
/proc/loadavg: 1.93 1.98 1.96 3/80 29298
/proc/meminfo: memFree=1646864/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=867532 CPUtime=0.68
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 13391 0 1 0 59 9 0 0 18 0 9 0 28097286 888352768 12753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 216883 12753 2002 9 0 211341 0
[pid=29298/tid=29299] ppid=29296 vsize=867532 CPUtime=0.51
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 12071 0 1 0 44 7 0 0 20 0 9 0 28097287 888352768 12753 996147200 134512640 134550932 4294955968 18446744073709551615 4126551676 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867532
[startup+1.50125 s]
/proc/loadavg: 1.93 1.98 1.96 3/89 29307
/proc/meminfo: memFree=1581704/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=867620 CPUtime=1.47
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 18917 0 1 0 135 12 0 0 18 0 9 0 28097286 888442880 18268 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 216905 18268 2051 9 0 211341 0
[pid=29298/tid=29299] ppid=29296 vsize=867620 CPUtime=1.19
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 15792 0 1 0 109 10 0 0 25 0 9 0 28097287 888442880 18268 996147200 134512640 134550932 4294955968 18446744073709551615 4126761268 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29301] ppid=29296 vsize=867620 CPUtime=0.06
/proc/29298/task/29301/stat : 29301 (java) S 29296 29298 27929 0 -1 64 1773 0 0 0 6 0 0 0 16 0 9 0 28097288 888442880 18268 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29302] ppid=29296 vsize=867620 CPUtime=0
/proc/29298/task/29302/stat : 29302 (java) S 29296 29298 27929 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28097289 888442880 18268 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29303] ppid=29296 vsize=867620 CPUtime=0
/proc/29298/task/29303/stat : 29303 (java) S 29296 29298 27929 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28097289 888442880 18268 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29304] ppid=29296 vsize=867620 CPUtime=0
/proc/29298/task/29304/stat : 29304 (java) S 29296 29298 27929 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28097291 888442880 18268 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29305] ppid=29296 vsize=867620 CPUtime=0.18
/proc/29298/task/29305/stat : 29305 (java) S 29296 29298 27929 0 -1 64 650 0 0 0 18 0 0 0 16 0 9 0 28097291 888442880 18268 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29306] ppid=29296 vsize=867620 CPUtime=0
/proc/29298/task/29306/stat : 29306 (java) S 29296 29298 27929 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28097291 888442880 18268 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29307] ppid=29296 vsize=867620 CPUtime=0
/proc/29298/task/29307/stat : 29307 (java) S 29296 29298 27929 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28097291 888442880 18268 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) 867620
[startup+3.10141 s]
/proc/loadavg: 1.93 1.98 1.96 3/89 29307
/proc/meminfo: memFree=1567112/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=867532 CPUtime=3.06
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 24685 0 1 0 290 16 0 0 18 0 9 0 28097286 888352768 24012 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 216883 24012 2029 9 0 211341 0
[pid=29298/tid=29299] ppid=29296 vsize=867532 CPUtime=2.51
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 15794 0 1 0 240 11 0 0 25 0 9 0 28097287 888352768 24012 996147200 134512640 134550932 4294955968 18446744073709551615 4126934327 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29301] ppid=29296 vsize=867532 CPUtime=0.33
/proc/29298/task/29301/stat : 29301 (java) S 29296 29298 27929 0 -1 64 7536 0 0 0 30 3 0 0 17 0 9 0 28097288 888352768 24012 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29302] ppid=29296 vsize=867532 CPUtime=0
/proc/29298/task/29302/stat : 29302 (java) S 29296 29298 27929 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28097289 888352768 24012 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29303] ppid=29296 vsize=867532 CPUtime=0
/proc/29298/task/29303/stat : 29303 (java) S 29296 29298 27929 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28097289 888352768 24012 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29304] ppid=29296 vsize=867532 CPUtime=0
/proc/29298/task/29304/stat : 29304 (java) S 29296 29298 27929 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28097291 888352768 24012 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29305] ppid=29296 vsize=867532 CPUtime=0.18
/proc/29298/task/29305/stat : 29305 (java) S 29296 29298 27929 0 -1 64 653 0 0 0 18 0 0 0 16 0 9 0 28097291 888352768 24012 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29306] ppid=29296 vsize=867532 CPUtime=0
/proc/29298/task/29306/stat : 29306 (java) S 29296 29298 27929 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28097291 888352768 24012 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29307] ppid=29296 vsize=867532 CPUtime=0
/proc/29298/task/29307/stat : 29307 (java) S 29296 29298 27929 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28097291 888352768 24012 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) 867532
[startup+6.30273 s]
/proc/loadavg: 1.93 1.98 1.96 3/78 29318
/proc/meminfo: memFree=1657776/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=868556 CPUtime=6.27
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 30599 0 1 0 569 58 0 0 18 0 9 0 28097286 889401344 29920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 217139 29920 2032 9 0 211597 0
[pid=29298/tid=29299] ppid=29296 vsize=868556 CPUtime=5.29
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 15834 0 1 0 478 51 0 0 22 0 9 0 28097287 889401344 29920 996147200 134512640 134550932 4294955968 18446744073709551615 4126846349 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29301] ppid=29296 vsize=868556 CPUtime=0.71
/proc/29298/task/29301/stat : 29301 (java) S 29296 29298 27929 0 -1 64 13363 0 0 0 66 5 0 0 17 0 9 0 28097288 889401344 29920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29302] ppid=29296 vsize=868556 CPUtime=0
/proc/29298/task/29302/stat : 29302 (java) S 29296 29298 27929 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28097289 889401344 29920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29303] ppid=29296 vsize=868556 CPUtime=0
/proc/29298/task/29303/stat : 29303 (java) S 29296 29298 27929 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28097289 889401344 29920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29304] ppid=29296 vsize=868556 CPUtime=0
/proc/29298/task/29304/stat : 29304 (java) S 29296 29298 27929 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28097291 889401344 29920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29305] ppid=29296 vsize=868556 CPUtime=0.25
/proc/29298/task/29305/stat : 29305 (java) S 29296 29298 27929 0 -1 64 700 0 0 0 24 1 0 0 16 0 9 0 28097291 889401344 29920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29306] ppid=29296 vsize=868556 CPUtime=0
/proc/29298/task/29306/stat : 29306 (java) S 29296 29298 27929 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28097291 889401344 29920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29307] ppid=29296 vsize=868556 CPUtime=0
/proc/29298/task/29307/stat : 29307 (java) S 29296 29298 27929 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28097291 889401344 29920 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 868556
[startup+12.7024 s]
/proc/loadavg: 2.02 2.00 1.96 3/89 29344
/proc/meminfo: memFree=1325456/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=868556 CPUtime=12.61
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 103221 0 1 0 953 308 0 0 18 0 9 0 28097286 889401344 102530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 217139 102530 2033 9 0 211597 0
[pid=29298/tid=29299] ppid=29296 vsize=868556 CPUtime=10.37
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 15849 0 1 0 769 268 0 0 25 0 9 0 28097287 889401344 102530 996147200 134512640 134550932 4294955968 18446744073709551615 103211131 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29301] ppid=29296 vsize=868556 CPUtime=1.91
/proc/29298/task/29301/stat : 29301 (java) S 29296 29298 27929 0 -1 64 85949 0 0 0 154 37 0 0 16 0 9 0 28097288 889401344 102530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29302] ppid=29296 vsize=868556 CPUtime=0
/proc/29298/task/29302/stat : 29302 (java) S 29296 29298 27929 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28097289 889401344 102530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29303] ppid=29296 vsize=868556 CPUtime=0
/proc/29298/task/29303/stat : 29303 (java) S 29296 29298 27929 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28097289 889401344 102530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29304] ppid=29296 vsize=868556 CPUtime=0
/proc/29298/task/29304/stat : 29304 (java) S 29296 29298 27929 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28097291 889401344 102530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29305] ppid=29296 vsize=868556 CPUtime=0.28
/proc/29298/task/29305/stat : 29305 (java) S 29296 29298 27929 0 -1 64 721 0 0 0 27 1 0 0 15 0 9 0 28097291 889401344 102530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29306] ppid=29296 vsize=868556 CPUtime=0
/proc/29298/task/29306/stat : 29306 (java) S 29296 29298 27929 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28097291 889401344 102530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29307] ppid=29296 vsize=868556 CPUtime=0
/proc/29298/task/29307/stat : 29307 (java) S 29296 29298 27929 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28097291 889401344 102530 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 868556
[startup+25.5016 s]
/proc/loadavg: 2.09 2.02 1.97 4/89 29352
/proc/meminfo: memFree=502960/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=869292 CPUtime=25.29
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 212687 4345 1 0 1869 353 297 10 18 0 9 0 28097286 890155008 163378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 217323 163378 2664 9 0 211759 0
[pid=29298/tid=29299] ppid=29296 vsize=869292 CPUtime=20.88
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 32800 4345 1 0 1504 277 297 10 25 0 9 0 28097287 890155008 163378 996147200 134512640 134550932 4294955968 18446744073709551615 4125952315 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29298/tid=29301] ppid=29296 vsize=869292 CPUtime=6.95
/proc/29298/task/29301/stat : 29301 (java) S 29296 29298 27929 0 -1 64 177934 4345 0 0 320 68 297 10 17 0 9 0 28097288 890155008 163378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29298/tid=29302] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29302/stat : 29302 (java) S 29296 29298 27929 0 -1 64 22 4345 0 0 0 0 297 10 15 0 9 0 28097289 890155008 163378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29303] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29303/stat : 29303 (java) S 29296 29298 27929 0 -1 64 20 4345 0 0 0 0 297 10 16 0 9 0 28097289 890155008 163378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29304] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29304/stat : 29304 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 18 0 9 0 28097291 890155008 163378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29305] ppid=29296 vsize=869292 CPUtime=3.52
/proc/29298/task/29305/stat : 29305 (java) S 29296 29298 27929 0 -1 64 1064 4345 0 0 44 1 297 10 16 0 9 0 28097291 890155008 163378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29306] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29306/stat : 29306 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 19 0 9 0 28097291 890155008 163378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29307] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29307/stat : 29307 (java) S 29296 29298 27929 0 -1 64 30 4345 0 0 0 0 297 10 15 0 9 0 28097291 890155008 163378 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 869292
[startup+51.1012 s]
/proc/loadavg: 2.12 2.03 1.97 3/89 29352
/proc/meminfo: memFree=426488/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=869292 CPUtime=50.86
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 212689 4345 1 0 4426 353 297 10 18 0 9 0 28097286 890155008 163379 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 217323 163379 2664 9 0 211759 0
[pid=29298/tid=29299] ppid=29296 vsize=869292 CPUtime=46.45
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 32801 4345 1 0 4061 277 297 10 25 0 9 0 28097287 890155008 163379 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29298/tid=29301] ppid=29296 vsize=869292 CPUtime=6.95
/proc/29298/task/29301/stat : 29301 (java) S 29296 29298 27929 0 -1 64 177934 4345 0 0 320 68 297 10 16 0 9 0 28097288 890155008 163379 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/29298/task/29303/stat : 29303 (java) S 29296 29298 27929 0 -1 64 20 4345 0 0 0 0 297 10 16 0 9 0 28097289 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29304] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29304/stat : 29304 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 18 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29305] ppid=29296 vsize=869292 CPUtime=3.57
/proc/29298/task/29305/stat : 29305 (java) S 29296 29298 27929 0 -1 64 1094 4345 0 0 49 1 297 10 16 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29306] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29306/stat : 29306 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 19 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29307] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29307/stat : 29307 (java) S 29296 29298 27929 0 -1 64 30 4345 0 0 0 0 297 10 15 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 127.54
Current children cumulated vsize (KiB) 869292
[startup+140.703 s]
/proc/loadavg: 2.02 2.02 1.97 3/89 29430
/proc/meminfo: memFree=1035336/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=869292 CPUtime=140.18
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 212733 4345 1 0 13356 355 297 10 18 0 9 0 28097286 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 217323 163412 2664 9 0 211759 0
[pid=29298/tid=29299] ppid=29296 vsize=869292 CPUtime=135.71
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 32816 4345 1 0 12985 279 297 10 25 0 9 0 28097287 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29301] ppid=29296 vsize=869292 CPUtime=6.95
/proc/29298/task/29301/stat : 29301 (java) S 29296 29298 27929 0 -1 64 177934 4345 0 0 320 68 297 10 16 0 9 0 28097288 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29302] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29302/stat : 29302 (java) S 29296 29298 27929 0 -1 64 22 4345 0 0 0 0 297 10 15 0 9 0 28097289 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29303] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29303/stat : 29303 (java) S 29296 29298 27929 0 -1 64 20 4345 0 0 0 0 297 10 16 0 9 0 28097289 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29304] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29304/stat : 29304 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 18 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29305] ppid=29296 vsize=869292 CPUtime=3.57
/proc/29298/task/29305/stat : 29305 (java) S 29296 29298 27929 0 -1 64 1094 4345 0 0 49 1 297 10 16 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29306] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29306/stat : 29306 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 19 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29307] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29307/stat : 29307 (java) S 29296 29298 27929 0 -1 64 30 4345 0 0 0 0 297 10 15 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 140.18
Current children cumulated vsize (KiB) 869292
[startup+147.102 s]
/proc/loadavg: 2.02 2.02 1.97 4/89 29430
/proc/meminfo: memFree=1035336/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=869292 CPUtime=146.48
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 212733 4345 1 0 13986 355 297 10 18 0 9 0 28097286 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 217323 163412 2664 9 0 211759 0
[pid=29298/tid=29299] ppid=29296 vsize=869292 CPUtime=142.01
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 32816 4345 1 0 13615 279 297 10 25 0 9 0 28097287 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29301] ppid=29296 vsize=869292 CPUtime=6.95
/proc/29298/task/29301/stat : 29301 (java) S 29296 29298 27929 0 -1 64 177934 4345 0 0 320 68 297 10 16 0 9 0 28097288 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29302] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29302/stat : 29302 (java) S 29296 29298 27929 0 -1 64 22 4345 0 0 0 0 297 10 15 0 9 0 28097289 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29303] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29303/stat : 29303 (java) S 29296 29298 27929 0 -1 64 20 4345 0 0 0 0 297 10 16 0 9 0 28097289 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29304] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29304/stat : 29304 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 18 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29305] ppid=29296 vsize=869292 CPUtime=3.57
/proc/29298/task/29305/stat : 29305 (java) S 29296 29298 27929 0 -1 64 1094 4345 0 0 49 1 297 10 16 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29306] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29306/stat : 29306 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 19 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29307] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29307/stat : 29307 (java) S 29296 29298 27929 0 -1 64 30 4345 0 0 0 0 297 10 15 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 146.48
Current children cumulated vsize (KiB) 869292
[startup+153.501 s]
/proc/loadavg: 2.02 2.02 1.97 3/89 29430
/proc/meminfo: memFree=1035208/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=869292 CPUtime=152.78
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 212733 4345 1 0 14616 355 297 10 18 0 9 0 28097286 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 217323 163412 2664 9 0 211759 0
[pid=29298/tid=29299] ppid=29296 vsize=869292 CPUtime=148.32
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 32816 4345 1 0 14246 279 297 10 25 0 9 0 28097287 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29301] ppid=29296 vsize=869292 CPUtime=6.95
/proc/29298/task/29301/stat : 29301 (java) S 29296 29298 27929 0 -1 64 177934 4345 0 0 320 68 297 10 16 0 9 0 28097288 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29302] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29302/stat : 29302 (java) S 29296 29298 27929 0 -1 64 22 4345 0 0 0 0 297 10 15 0 9 0 28097289 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29303] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29303/stat : 29303 (java) S 29296 29298 27929 0 -1 64 20 4345 0 0 0 0 297 10 16 0 9 0 28097289 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29304] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29304/stat : 29304 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 18 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29305] ppid=29296 vsize=869292 CPUtime=3.57
/proc/29298/task/29305/stat : 29305 (java) S 29296 29298 27929 0 -1 64 1094 4345 0 0 49 1 297 10 16 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29306] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29306/stat : 29306 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 19 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29307] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29307/stat : 29307 (java) S 29296 29298 27929 0 -1 64 30 4345 0 0 0 0 297 10 15 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 152.78
Current children cumulated vsize (KiB) 869292
[startup+156.702 s]
/proc/loadavg: 2.02 2.02 1.97 4/89 29430
/proc/meminfo: memFree=1035208/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=869292 CPUtime=155.93
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 212733 4345 1 0 14931 355 297 10 18 0 9 0 28097286 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 217323 163412 2664 9 0 211759 0
[pid=29298/tid=29299] ppid=29296 vsize=869292 CPUtime=151.47
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 32816 4345 1 0 14561 279 297 10 25 0 9 0 28097287 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4127741852 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29301] ppid=29296 vsize=869292 CPUtime=6.95
/proc/29298/task/29301/stat : 29301 (java) S 29296 29298 27929 0 -1 64 177934 4345 0 0 320 68 297 10 16 0 9 0 28097288 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29302] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29302/stat : 29302 (java) S 29296 29298 27929 0 -1 64 22 4345 0 0 0 0 297 10 15 0 9 0 28097289 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29303] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29303/stat : 29303 (java) S 29296 29298 27929 0 -1 64 20 4345 0 0 0 0 297 10 16 0 9 0 28097289 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29304] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29304/stat : 29304 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 18 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29305] ppid=29296 vsize=869292 CPUtime=3.57
/proc/29298/task/29305/stat : 29305 (java) S 29296 29298 27929 0 -1 64 1094 4345 0 0 49 1 297 10 16 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29306] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29306/stat : 29306 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 19 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29307] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29307/stat : 29307 (java) S 29296 29298 27929 0 -1 64 30 4345 0 0 0 0 297 10 15 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 155.93
Current children cumulated vsize (KiB) 869292
[startup+158.302 s]
/proc/loadavg: 2.02 2.02 1.97 3/89 29430
/proc/meminfo: memFree=1035208/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=869292 CPUtime=157.52
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 212733 4345 1 0 15090 355 297 10 18 0 9 0 28097286 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 217323 163412 2664 9 0 211759 0
[pid=29298/tid=29299] ppid=29296 vsize=869292 CPUtime=153.05
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 32816 4345 1 0 14719 279 297 10 25 0 9 0 28097287 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4127741852 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29301] ppid=29296 vsize=869292 CPUtime=6.95
/proc/29298/task/29301/stat : 29301 (java) S 29296 29298 27929 0 -1 64 177934 4345 0 0 320 68 297 10 16 0 9 0 28097288 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29302] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29302/stat : 29302 (java) S 29296 29298 27929 0 -1 64 22 4345 0 0 0 0 297 10 15 0 9 0 28097289 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29303] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29303/stat : 29303 (java) S 29296 29298 27929 0 -1 64 20 4345 0 0 0 0 297 10 16 0 9 0 28097289 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29304] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29304/stat : 29304 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 18 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29305] ppid=29296 vsize=869292 CPUtime=3.57
/proc/29298/task/29305/stat : 29305 (java) S 29296 29298 27929 0 -1 64 1094 4345 0 0 49 1 297 10 16 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29306] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29306/stat : 29306 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 19 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29307] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29307/stat : 29307 (java) S 29296 29298 27929 0 -1 64 30 4345 0 0 0 0 297 10 15 0 9 0 28097291 890155008 163412 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 157.52
Current children cumulated vsize (KiB) 869292
[startup+158.703 s]
/proc/loadavg: 2.02 2.02 1.97 3/89 29430
/proc/meminfo: memFree=1035208/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=869292 CPUtime=157.91
/proc/29298/stat : 29298 (java) S 29296 29298 27929 0 -1 0 212735 4345 1 0 15129 355 297 10 18 0 9 0 28097286 890155008 163414 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 217323 163414 2664 9 0 211759 0
[pid=29298/tid=29299] ppid=29296 vsize=869292 CPUtime=153.44
/proc/29298/task/29299/stat : 29299 (java) R 29296 29298 27929 0 -1 64 32816 4345 1 0 14758 279 297 10 25 0 9 0 28097287 890155008 163414 996147200 134512640 134550932 4294955968 18446744073709551615 4127733848 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29301] ppid=29296 vsize=869292 CPUtime=6.95
/proc/29298/task/29301/stat : 29301 (java) S 29296 29298 27929 0 -1 64 177934 4345 0 0 320 68 297 10 16 0 9 0 28097288 890155008 163414 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29302] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29302/stat : 29302 (java) S 29296 29298 27929 0 -1 64 22 4345 0 0 0 0 297 10 15 0 9 0 28097289 890155008 163414 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29303] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29303/stat : 29303 (java) S 29296 29298 27929 0 -1 64 20 4345 0 0 0 0 297 10 16 0 9 0 28097289 890155008 163414 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29304] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29304/stat : 29304 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 18 0 9 0 28097291 890155008 163414 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29305] ppid=29296 vsize=869292 CPUtime=3.58
/proc/29298/task/29305/stat : 29305 (java) S 29296 29298 27929 0 -1 64 1096 4345 0 0 50 1 297 10 16 0 9 0 28097291 890155008 163414 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29306] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29306/stat : 29306 (java) S 29296 29298 27929 0 -1 64 1 4345 0 0 0 0 297 10 19 0 9 0 28097291 890155008 163414 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29298/tid=29307] ppid=29296 vsize=869292 CPUtime=3.07
/proc/29298/task/29307/stat : 29307 (java) S 29296 29298 27929 0 -1 64 30 4345 0 0 0 0 297 10 15 0 9 0 28097291 890155008 163414 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 157.91
Current children cumulated vsize (KiB) 869292
[startup+159.103 s]
/proc/loadavg: 2.02 2.02 1.97 3/89 29430
/proc/meminfo: memFree=1035208/2055920 swapFree=4192812/4192956
[pid=29298] ppid=29296 vsize=0 CPUtime=158.3
/proc/29298/stat : 29298 (java) Z 29296 29298 27929 0 -1 12 212779 4345 1 0 15159 364 297 10 16 0 2 0 28097286 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29298/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 158.3
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 159.111
CPU time (s): 158.323
CPU user time (s): 154.57
CPU system time (s): 3.75343
CPU usage (%): 99.5047
Max. virtual memory (cumulated for all children) (KiB): 895452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 154.57
system time used= 3.75343
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217124
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= 5613
involuntary context switches= 6915
runsolver used 0.234964 second user time and 0.597909 second system time
The end
Begin job on node12 at 2009-07-12 16:51:43
IDJOB=2096388
IDBENCH=56317
IDSOLVER=774
FILE ID=node12/2096388-1247410302
PBS_JOBID= 9510619
Free space on /tmp= 66200 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/bmc/normalized-bmc-ibm-03-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-2096388-1247410302/watcher-2096388-1247410302 -o /tmp/evaluation-result-2096388-1247410302/solver-2096388-1247410302 -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-2096388-1247410302.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0b0ab2cae40e5a74bbe573d42fb3dcd8
RANDOM SEED=1667135433
node12.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.240
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.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1647344 kB
Buffers: 42188 kB
Cached: 158204 kB
SwapCached: 140 kB
Active: 247256 kB
Inactive: 91484 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1647344 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 14356 kB
Writeback: 0 kB
Mapped: 158624 kB
Slab: 54876 kB
Committed_AS: 995364 kB
PageTables: 2012 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= 66200 MiB
End job on node12 at 2009-07-12 16:54:22