0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.29/0.31
0.29/0.31 instance
0.29/0.32 name=HOME/instance-2096397-1247410304.xml
0.29/0.35
0.29/0.35 domains being loaded...
0.29/0.36
0.29/0.36 variables being loaded...
0.78/0.80 nbVariables=9685 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16 nbTotalValues=154960
0.78/0.80 => wckTime=0.561 cpuTime=0.4 mem=45M958
0.78/0.80
0.78/0.80 predicates being loaded...
0.98/1.01
0.98/1.01 constraints being loaded...
16.21/16.49 nbConstraints=54689 nbUnaryConstraints=9734 nbMergedConstraints=1132 nbSingletonDomainVariables=49
16.21/16.50 nbPurgedValues=135639 nbConvertedConstraints=47073 nbConvertConstraintsChecks=78848 nbExtensionStructures=164
16.21/16.50 nbSharedExtensionStructures=47066 nbConflictsStructures=173 nbSharedConflictsStructures=49453
16.21/16.50 nbUnbuiltConflictsStructures=168 nbSharedBinaryRepresentations=5216 nbEvaluationManagers=177
16.21/16.50 nbSharedEvaluationManagers=7439 minDegree=2 maxDegree=150 minArity=2 avgArity=2.69 maxArity=39 nbGenerators=0
16.21/16.50 nbFusions=0 symmetryWckTime=4.12 symmetryCpuTime=0.54
16.21/16.50 => wckTime=16.256 cpuTime=10.66 mem=325M629
17.40/17.68
17.40/17.68 solver IterativeSystematicSolver being built...
18.29/18.58
18.29/18.58 INFO : Forward propagation technique limited
18.78/19.00 => wckTime=18.765 cpuTime=11.85 mem=404M561
31.78/32.01
31.78/32.01 preprocessing
31.78/32.01 nbConstraintChecks=67882 nbValidityChecks=67084 nbPropagations=9685 nbRevisions=66709 nbUselessRevisions=66244
31.78/32.01 nbRemovedValues=465 detectedInconsistency=no
31.78/32.01 => wckTime=12.991 cpuTime=12.96 mem=408M610
48.66/48.91
48.66/48.91 search
48.66/48.91 run=0 nbConstraintChecks=233561 nbValidityChecks=487628 minDepth=9686 maxDepth=9685 nbPropagations=24562
48.66/48.91 nbRevisions=449774 nbUselessRevisions=444117 nbAssignments=9685 nbFailedAssignments=0 nbBacktracks=0
48.66/48.91 nbVisitedNodes=9686 nbRestartNogoods=0 nbFoundSolutions=1 nbSEliminables=? nbREliminables=? nbIEliminables=?
48.66/48.91 nbDEliminables=? nbPEliminables=?
48.66/48.91 => wckTime=29.894 cpuTime=29.8 mem=409M647
48.66/48.91
48.66/48.91 global
48.66/48.91 nbConstraintChecks=301443 nbValidityChecks=554712 nbPropagations=34247 nbRevisions=516483
48.66/48.91 nbUselessRevisions=510361 nbRestartNogoods=0 solvingWckTime=29.896 solvingCpuTime=29.81 expiredTime=no
48.66/48.91 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=41.52 globalCpuTime=41.73
48.66/48.91 => wckTime=48.675 cpuTime=41.67 mem=409M647
48.66/48.92
48.66/48.92 s SATISFIABLE
48.66/48.92 v 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 0 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0
48.66/48.92 d NODES 9685
48.66/48.92 d CHECKS 301443
48.66/48.92
48.66/48.92 totalWckTime=48.736 totalCpuTime=41.73
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2096397-1247410304/watcher-2096397-1247410304 -o /tmp/evaluation-result-2096397-1247410304/solver-2096397-1247410304 -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-2096397-1247410304.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 2.06 2.03 3/80 30881
/proc/meminfo: memFree=1735904/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=10676 CPUtime=0
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 28096934 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 2669 474 207 9 0 1184 0
[pid=30881/tid=30882] ppid=30879 vsize=10676 CPUtime=0
/proc/30881/task/30882/stat : 30882 (java) R 30879 30881 29819 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 28096935 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 9285592 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0435969 s]
/proc/loadavg: 1.93 2.06 2.03 3/80 30881
/proc/meminfo: memFree=1735904/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=861936 CPUtime=0.03
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 2278 0 1 0 2 1 0 0 18 0 5 0 28096934 882622464 1880 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 215484 1894 867 9 0 210399 0
[pid=30881/tid=30882] ppid=30879 vsize=861936 CPUtime=0.02
/proc/30881/task/30882/stat : 30882 (java) D 30879 30881 29819 0 -1 64 1601 0 1 0 2 0 0 0 17 0 5 0 28096935 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.03
Current children cumulated vsize (KiB) 861936
[startup+0.1086 s]
/proc/loadavg: 1.93 2.06 2.03 3/80 30881
/proc/meminfo: memFree=1735904/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=865984 CPUtime=0.09
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 3890 0 1 0 7 2 0 0 18 0 9 0 28096934 886767616 3327 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 216496 3327 1747 9 0 210981 0
[pid=30881/tid=30882] ppid=30879 vsize=865984 CPUtime=0.08
/proc/30881/task/30882/stat : 30882 (java) R 30879 30881 29819 0 -1 64 2983 0 1 0 6 2 0 0 18 0 9 0 28096935 886767616 3327 996147200 134512640 134550932 4294955968 18446744073709551615 104604230 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.301618 s]
/proc/loadavg: 1.93 2.06 2.03 3/80 30881
/proc/meminfo: memFree=1735904/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=866296 CPUtime=0.29
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 5699 0 1 0 25 4 0 0 18 0 9 0 28096934 887087104 5102 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 216574 5102 1927 9 0 211052 0
[pid=30881/tid=30882] ppid=30879 vsize=866296 CPUtime=0.24
/proc/30881/task/30882/stat : 30882 (java) R 30879 30881 29819 0 -1 64 4726 0 1 0 21 3 0 0 19 0 9 0 28096935 887087104 5102 996147200 134512640 134550932 4294955968 18446744073709551615 8438564 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866296
[startup+0.701664 s]
/proc/loadavg: 1.93 2.06 2.03 3/80 30881
/proc/meminfo: memFree=1735904/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=867540 CPUtime=0.68
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 12219 0 1 0 60 8 0 0 18 0 9 0 28096934 888360960 11581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 216885 11581 2002 9 0 211343 0
[pid=30881/tid=30882] ppid=30879 vsize=867540 CPUtime=0.52
/proc/30881/task/30882/stat : 30882 (java) R 30879 30881 29819 0 -1 64 10897 0 1 0 45 7 0 0 21 0 9 0 28096935 888360960 11581 996147200 134512640 134550932 4294955968 18446744073709551615 4126551978 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867540
[startup+1.50275 s]
/proc/loadavg: 1.93 2.06 2.03 3/89 30890
/proc/meminfo: memFree=1669144/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=867540 CPUtime=1.47
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 19292 0 1 0 136 11 0 0 18 0 9 0 28096934 888360960 18621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 216885 18621 2029 9 0 211343 0
[pid=30881/tid=30882] ppid=30879 vsize=867540 CPUtime=1.2
/proc/30881/task/30882/stat : 30882 (java) R 30879 30881 29819 0 -1 64 15792 0 1 0 111 9 0 0 25 0 9 0 28096935 888360960 18621 996147200 134512640 134550932 4294955968 18446744073709551615 4126932073 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30884] ppid=30879 vsize=867540 CPUtime=0.05
/proc/30881/task/30884/stat : 30884 (java) S 30879 30881 29819 0 -1 64 2147 0 0 0 5 0 0 0 17 0 9 0 28096937 888360960 18621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30885] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30885/stat : 30885 (java) S 30879 30881 29819 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28096937 888360960 18621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30886] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30886/stat : 30886 (java) S 30879 30881 29819 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28096937 888360960 18621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30887] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30887/stat : 30887 (java) S 30879 30881 29819 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28096939 888360960 18621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30888] ppid=30879 vsize=867540 CPUtime=0.18
/proc/30881/task/30888/stat : 30888 (java) S 30879 30881 29819 0 -1 64 651 0 0 0 18 0 0 0 16 0 9 0 28096939 888360960 18621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30889] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30889/stat : 30889 (java) S 30879 30881 29819 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28096939 888360960 18621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30890] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30890/stat : 30890 (java) S 30879 30881 29819 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28096940 888360960 18621 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) 867540
[startup+3.10292 s]
/proc/loadavg: 1.93 2.06 2.03 3/89 30890
/proc/meminfo: memFree=1654360/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=867540 CPUtime=3.06
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 25119 0 1 0 292 14 0 0 18 0 9 0 28096934 888360960 24446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 216885 24446 2029 9 0 211343 0
[pid=30881/tid=30882] ppid=30879 vsize=867540 CPUtime=2.5
/proc/30881/task/30882/stat : 30882 (java) R 30879 30881 29819 0 -1 64 15794 0 1 0 241 9 0 0 25 0 9 0 28096935 888360960 24446 996147200 134512640 134550932 4294955968 18446744073709551615 4126551992 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30884] ppid=30879 vsize=867540 CPUtime=0.34
/proc/30881/task/30884/stat : 30884 (java) S 30879 30881 29819 0 -1 64 7970 0 0 0 31 3 0 0 17 0 9 0 28096937 888360960 24446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30885] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30885/stat : 30885 (java) S 30879 30881 29819 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28096937 888360960 24446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30886] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30886/stat : 30886 (java) S 30879 30881 29819 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28096937 888360960 24446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30887] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30887/stat : 30887 (java) S 30879 30881 29819 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28096939 888360960 24446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30888] ppid=30879 vsize=867540 CPUtime=0.19
/proc/30881/task/30888/stat : 30888 (java) S 30879 30881 29819 0 -1 64 653 0 0 0 19 0 0 0 16 0 9 0 28096939 888360960 24446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30889] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30889/stat : 30889 (java) S 30879 30881 29819 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28096939 888360960 24446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30890] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30890/stat : 30890 (java) S 30879 30881 29819 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28096940 888360960 24446 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) 867540
[startup+6.30127 s]
/proc/loadavg: 2.01 2.07 2.03 3/89 30890
/proc/meminfo: memFree=1630104/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=867540 CPUtime=6.22
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 28945 0 1 0 522 100 0 0 18 0 9 0 28096934 888360960 28267 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 216885 28267 2032 9 0 211343 0
[pid=30881/tid=30882] ppid=30879 vsize=867540 CPUtime=5.36
/proc/30881/task/30882/stat : 30882 (java) R 30879 30881 29819 0 -1 64 15834 0 1 0 442 94 0 0 25 0 9 0 28096935 888360960 28267 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30884] ppid=30879 vsize=867540 CPUtime=0.58
/proc/30881/task/30884/stat : 30884 (java) S 30879 30881 29819 0 -1 64 11704 0 0 0 53 5 0 0 16 0 9 0 28096937 888360960 28267 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30885] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30885/stat : 30885 (java) S 30879 30881 29819 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28096937 888360960 28267 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30886] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30886/stat : 30886 (java) S 30879 30881 29819 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28096937 888360960 28267 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30887] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30887/stat : 30887 (java) S 30879 30881 29819 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28096939 888360960 28267 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30888] ppid=30879 vsize=867540 CPUtime=0.25
/proc/30881/task/30888/stat : 30888 (java) S 30879 30881 29819 0 -1 64 705 0 0 0 25 0 0 0 15 0 9 0 28096939 888360960 28267 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30889] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30889/stat : 30889 (java) S 30879 30881 29819 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28096939 888360960 28267 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30890] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30890/stat : 30890 (java) R 30879 30881 29819 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28096940 888360960 28267 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) 867540
[startup+12.703 s]
/proc/loadavg: 2.01 2.07 2.03 3/89 30890
/proc/meminfo: memFree=1412832/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=867540 CPUtime=12.55
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 90038 0 1 0 991 264 0 0 18 0 9 0 28096934 888360960 89349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 216885 89349 2034 9 0 211343 0
[pid=30881/tid=30882] ppid=30879 vsize=867540 CPUtime=10.57
/proc/30881/task/30882/stat : 30882 (java) R 30879 30881 29819 0 -1 64 15852 0 1 0 828 229 0 0 25 0 9 0 28096935 888360960 89349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30884] ppid=30879 vsize=867540 CPUtime=1.65
/proc/30881/task/30884/stat : 30884 (java) R 30879 30881 29819 0 -1 64 72748 0 0 0 132 33 0 0 16 0 9 0 28096937 888360960 89349 996147200 134512640 134550932 4294955968 18446744073709551615 102549398 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30885] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30885/stat : 30885 (java) S 30879 30881 29819 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28096937 888360960 89349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30886] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30886/stat : 30886 (java) S 30879 30881 29819 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28096937 888360960 89349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30887] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30887/stat : 30887 (java) S 30879 30881 29819 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28096939 888360960 89349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30888] ppid=30879 vsize=867540 CPUtime=0.3
/proc/30881/task/30888/stat : 30888 (java) S 30879 30881 29819 0 -1 64 736 0 0 0 30 0 0 0 15 0 9 0 28096939 888360960 89349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30889] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30889/stat : 30889 (java) S 30879 30881 29819 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28096939 888360960 89349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30890] ppid=30879 vsize=867540 CPUtime=0
/proc/30881/task/30890/stat : 30890 (java) R 30879 30881 29819 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28096940 888360960 89349 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867540
[startup+25.5014 s]
/proc/loadavg: 2.01 2.07 2.03 3/89 30894
/proc/meminfo: memFree=1314448/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=868188 CPUtime=25.28
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 150012 3616 1 0 1910 284 328 6 18 0 9 0 28096934 889024512 107655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 217047 107655 2642 9 0 211505 0
[pid=30881/tid=30882] ppid=30879 vsize=868188 CPUtime=21.87
/proc/30881/task/30882/stat : 30882 (java) R 30879 30881 29819 0 -1 64 32627 3616 1 0 1618 235 328 6 21 0 9 0 28096935 889024512 107655 996147200 134512640 134550932 4294955968 18446744073709551615 4127506011 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30881/tid=30884] ppid=30879 vsize=868188 CPUtime=6.27
/proc/30881/task/30884/stat : 30884 (java) S 30879 30881 29819 0 -1 64 115538 3616 0 0 249 44 328 6 16 0 9 0 28096937 889024512 107655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30885] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30885/stat : 30885 (java) S 30879 30881 29819 0 -1 64 18 3616 0 0 0 0 328 6 15 0 9 0 28096937 889024512 107655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30886] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30886/stat : 30886 (java) S 30879 30881 29819 0 -1 64 17 3616 0 0 0 0 328 6 15 0 9 0 28096937 889024512 107655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30887] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30887/stat : 30887 (java) S 30879 30881 29819 0 -1 64 2 3616 0 0 0 0 328 6 18 0 9 0 28096939 889024512 107655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30888] ppid=30879 vsize=868188 CPUtime=3.76
/proc/30881/task/30888/stat : 30888 (java) S 30879 30881 29819 0 -1 64 972 3616 0 0 41 1 328 6 17 0 9 0 28096939 889024512 107655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30881/tid=30889] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30889/stat : 30889 (java) S 30879 30881 29819 0 -1 64 1 3616 0 0 0 0 328 6 19 0 9 0 28096939 889024512 107655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30890] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30890/stat : 30890 (java) S 30879 30881 29819 0 -1 64 26 3616 0 0 0 0 328 6 15 0 9 0 28096940 889024512 107655 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 868188
Solver just ended. Dumping a history of the last processes samples
[startup+38.3027 s]
/proc/loadavg: 2.01 2.06 2.03 3/89 30894
/proc/meminfo: memFree=1314448/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=868188 CPUtime=38.07
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 150032 3616 1 0 3188 285 328 6 18 0 9 0 28096934 889024512 107671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 217047 107671 2642 9 0 211505 0
[pid=30881/tid=30882] ppid=30879 vsize=868188 CPUtime=34.63
/proc/30881/task/30882/stat : 30882 (java) R 30879 30881 29819 0 -1 64 32631 3616 1 0 2894 235 328 6 19 0 9 0 28096935 889024512 107671 996147200 134512640 134550932 4294955968 18446744073709551615 4127553934 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30881/tid=30884] ppid=30879 vsize=868188 CPUtime=6.27
/proc/30881/task/30884/stat : 30884 (java) S 30879 30881 29819 0 -1 64 115538 3616 0 0 249 44 328 6 16 0 9 0 28096937 889024512 107671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30885] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30885/stat : 30885 (java) S 30879 30881 29819 0 -1 64 18 3616 0 0 0 0 328 6 15 0 9 0 28096937 889024512 107671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30886] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30886/stat : 30886 (java) S 30879 30881 29819 0 -1 64 17 3616 0 0 0 0 328 6 15 0 9 0 28096937 889024512 107671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30887] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30887/stat : 30887 (java) S 30879 30881 29819 0 -1 64 2 3616 0 0 0 0 328 6 18 0 9 0 28096939 889024512 107671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30888] ppid=30879 vsize=868188 CPUtime=3.79
/proc/30881/task/30888/stat : 30888 (java) S 30879 30881 29819 0 -1 64 988 3616 0 0 44 1 328 6 15 0 9 0 28096939 889024512 107671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30881/tid=30889] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30889/stat : 30889 (java) S 30879 30881 29819 0 -1 64 1 3616 0 0 0 0 328 6 19 0 9 0 28096939 889024512 107671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30890] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30890/stat : 30890 (java) S 30879 30881 29819 0 -1 64 26 3616 0 0 0 0 328 6 15 0 9 0 28096940 889024512 107671 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 38.07
Current children cumulated vsize (KiB) 868188
[startup+44.7024 s]
/proc/loadavg: 2.00 2.06 2.03 3/89 30894
/proc/meminfo: memFree=1314320/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=868188 CPUtime=44.47
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 150034 3616 1 0 3828 285 328 6 18 0 9 0 28096934 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 217047 107672 2642 9 0 211505 0
[pid=30881/tid=30882] ppid=30879 vsize=868188 CPUtime=41.02
/proc/30881/task/30882/stat : 30882 (java) R 30879 30881 29819 0 -1 64 32632 3616 1 0 3533 235 328 6 25 0 9 0 28096935 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30881/tid=30884] ppid=30879 vsize=868188 CPUtime=6.27
/proc/30881/task/30884/stat : 30884 (java) S 30879 30881 29819 0 -1 64 115538 3616 0 0 249 44 328 6 16 0 9 0 28096937 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30885] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30885/stat : 30885 (java) S 30879 30881 29819 0 -1 64 18 3616 0 0 0 0 328 6 15 0 9 0 28096937 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30886] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30886/stat : 30886 (java) S 30879 30881 29819 0 -1 64 17 3616 0 0 0 0 328 6 15 0 9 0 28096937 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30887] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30887/stat : 30887 (java) S 30879 30881 29819 0 -1 64 2 3616 0 0 0 0 328 6 18 0 9 0 28096939 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30888] ppid=30879 vsize=868188 CPUtime=3.79
/proc/30881/task/30888/stat : 30888 (java) S 30879 30881 29819 0 -1 64 989 3616 0 0 44 1 328 6 16 0 9 0 28096939 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30881/tid=30889] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30889/stat : 30889 (java) S 30879 30881 29819 0 -1 64 1 3616 0 0 0 0 328 6 19 0 9 0 28096939 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30890] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30890/stat : 30890 (java) S 30879 30881 29819 0 -1 64 26 3616 0 0 0 0 328 6 15 0 9 0 28096940 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.47
Current children cumulated vsize (KiB) 868188
[startup+46.3026 s]
/proc/loadavg: 2.00 2.06 2.03 3/89 30894
/proc/meminfo: memFree=1314320/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=868188 CPUtime=46.06
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 150034 3616 1 0 3987 285 328 6 18 0 9 0 28096934 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 217047 107672 2642 9 0 211505 0
[pid=30881/tid=30882] ppid=30879 vsize=868188 CPUtime=42.62
/proc/30881/task/30882/stat : 30882 (java) R 30879 30881 29819 0 -1 64 32632 3616 1 0 3693 235 328 6 25 0 9 0 28096935 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4127556371 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30881/tid=30884] ppid=30879 vsize=868188 CPUtime=6.27
/proc/30881/task/30884/stat : 30884 (java) S 30879 30881 29819 0 -1 64 115538 3616 0 0 249 44 328 6 16 0 9 0 28096937 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30885] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30885/stat : 30885 (java) S 30879 30881 29819 0 -1 64 18 3616 0 0 0 0 328 6 15 0 9 0 28096937 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30886] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30886/stat : 30886 (java) S 30879 30881 29819 0 -1 64 17 3616 0 0 0 0 328 6 15 0 9 0 28096937 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30887] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30887/stat : 30887 (java) S 30879 30881 29819 0 -1 64 2 3616 0 0 0 0 328 6 18 0 9 0 28096939 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30888] ppid=30879 vsize=868188 CPUtime=3.79
/proc/30881/task/30888/stat : 30888 (java) S 30879 30881 29819 0 -1 64 989 3616 0 0 44 1 328 6 16 0 9 0 28096939 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30881/tid=30889] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30889/stat : 30889 (java) S 30879 30881 29819 0 -1 64 1 3616 0 0 0 0 328 6 19 0 9 0 28096939 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30890] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30890/stat : 30890 (java) S 30879 30881 29819 0 -1 64 26 3616 0 0 0 0 328 6 15 0 9 0 28096940 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 46.06
Current children cumulated vsize (KiB) 868188
[startup+47.9028 s]
/proc/loadavg: 2.00 2.06 2.03 3/89 30894
/proc/meminfo: memFree=1314320/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=868188 CPUtime=47.66
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 150034 3616 1 0 4147 285 328 6 18 0 9 0 28096934 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 217047 107672 2642 9 0 211505 0
[pid=30881/tid=30882] ppid=30879 vsize=868188 CPUtime=44.22
/proc/30881/task/30882/stat : 30882 (java) R 30879 30881 29819 0 -1 64 32632 3616 1 0 3853 235 328 6 25 0 9 0 28096935 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4127556361 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30881/tid=30884] ppid=30879 vsize=868188 CPUtime=6.27
/proc/30881/task/30884/stat : 30884 (java) S 30879 30881 29819 0 -1 64 115538 3616 0 0 249 44 328 6 16 0 9 0 28096937 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30885] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30885/stat : 30885 (java) S 30879 30881 29819 0 -1 64 18 3616 0 0 0 0 328 6 15 0 9 0 28096937 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30886] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30886/stat : 30886 (java) S 30879 30881 29819 0 -1 64 17 3616 0 0 0 0 328 6 15 0 9 0 28096937 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30887] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30887/stat : 30887 (java) S 30879 30881 29819 0 -1 64 2 3616 0 0 0 0 328 6 18 0 9 0 28096939 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30888] ppid=30879 vsize=868188 CPUtime=3.79
/proc/30881/task/30888/stat : 30888 (java) S 30879 30881 29819 0 -1 64 989 3616 0 0 44 1 328 6 16 0 9 0 28096939 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30881/tid=30889] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30889/stat : 30889 (java) S 30879 30881 29819 0 -1 64 1 3616 0 0 0 0 328 6 19 0 9 0 28096939 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30890] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30890/stat : 30890 (java) S 30879 30881 29819 0 -1 64 26 3616 0 0 0 0 328 6 15 0 9 0 28096940 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 47.66
Current children cumulated vsize (KiB) 868188
[startup+48.7019 s]
/proc/loadavg: 2.00 2.06 2.03 3/89 30894
/proc/meminfo: memFree=1314320/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=868188 CPUtime=48.46
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 150034 3616 1 0 4227 285 328 6 18 0 9 0 28096934 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 217047 107672 2642 9 0 211505 0
[pid=30881/tid=30882] ppid=30879 vsize=868188 CPUtime=45.02
/proc/30881/task/30882/stat : 30882 (java) R 30879 30881 29819 0 -1 64 32632 3616 1 0 3933 235 328 6 25 0 9 0 28096935 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4127557296 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30881/tid=30884] ppid=30879 vsize=868188 CPUtime=6.27
/proc/30881/task/30884/stat : 30884 (java) S 30879 30881 29819 0 -1 64 115538 3616 0 0 249 44 328 6 16 0 9 0 28096937 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30885] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30885/stat : 30885 (java) S 30879 30881 29819 0 -1 64 18 3616 0 0 0 0 328 6 15 0 9 0 28096937 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30886] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30886/stat : 30886 (java) S 30879 30881 29819 0 -1 64 17 3616 0 0 0 0 328 6 15 0 9 0 28096937 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30887] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30887/stat : 30887 (java) S 30879 30881 29819 0 -1 64 2 3616 0 0 0 0 328 6 18 0 9 0 28096939 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30888] ppid=30879 vsize=868188 CPUtime=3.79
/proc/30881/task/30888/stat : 30888 (java) S 30879 30881 29819 0 -1 64 989 3616 0 0 44 1 328 6 16 0 9 0 28096939 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30881/tid=30889] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30889/stat : 30889 (java) S 30879 30881 29819 0 -1 64 1 3616 0 0 0 0 328 6 19 0 9 0 28096939 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30890] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30890/stat : 30890 (java) S 30879 30881 29819 0 -1 64 26 3616 0 0 0 0 328 6 15 0 9 0 28096940 889024512 107672 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.46
Current children cumulated vsize (KiB) 868188
[startup+48.9019 s]
/proc/loadavg: 2.00 2.06 2.03 3/89 30894
/proc/meminfo: memFree=1314320/2055920 swapFree=4192812/4192956
[pid=30881] ppid=30879 vsize=868188 CPUtime=48.66
/proc/30881/stat : 30881 (java) S 30879 30881 29819 0 -1 0 150042 3616 1 0 4247 285 328 6 18 0 9 0 28096934 889024512 107680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30881/statm: 217047 107680 2642 9 0 211505 0
[pid=30881/tid=30882] ppid=30879 vsize=868188 CPUtime=45.21
/proc/30881/task/30882/stat : 30882 (java) R 30879 30881 29819 0 -1 64 32634 3616 1 0 3952 235 328 6 25 0 9 0 28096935 889024512 107680 996147200 134512640 134550932 4294955968 18446744073709551615 4127625955 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30881/tid=30884] ppid=30879 vsize=868188 CPUtime=6.27
/proc/30881/task/30884/stat : 30884 (java) S 30879 30881 29819 0 -1 64 115538 3616 0 0 249 44 328 6 16 0 9 0 28096937 889024512 107680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30885] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30885/stat : 30885 (java) S 30879 30881 29819 0 -1 64 18 3616 0 0 0 0 328 6 15 0 9 0 28096937 889024512 107680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30886] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30886/stat : 30886 (java) S 30879 30881 29819 0 -1 64 17 3616 0 0 0 0 328 6 15 0 9 0 28096937 889024512 107680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30887] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30887/stat : 30887 (java) S 30879 30881 29819 0 -1 64 2 3616 0 0 0 0 328 6 18 0 9 0 28096939 889024512 107680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30888] ppid=30879 vsize=868188 CPUtime=3.8
/proc/30881/task/30888/stat : 30888 (java) S 30879 30881 29819 0 -1 64 995 3616 0 0 45 1 328 6 16 0 9 0 28096939 889024512 107680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30881/tid=30889] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30889/stat : 30889 (java) S 30879 30881 29819 0 -1 64 1 3616 0 0 0 0 328 6 19 0 9 0 28096939 889024512 107680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30881/tid=30890] ppid=30879 vsize=868188 CPUtime=3.34
/proc/30881/task/30890/stat : 30890 (java) S 30879 30881 29819 0 -1 64 26 3616 0 0 0 0 328 6 15 0 9 0 28096940 889024512 107680 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.66
Current children cumulated vsize (KiB) 868188
Child status: 0
Real time (s): 48.9912
CPU time (s): 48.7656
CPU user time (s): 45.783
CPU system time (s): 2.98255
CPU usage (%): 99.5395
Max. virtual memory (cumulated for all children) (KiB): 890256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.783
system time used= 2.98255
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153694
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= 3114
involuntary context switches= 3582
runsolver used 0.071989 second user time and 0.189971 second system time
The end
Begin job on node21 at 2009-07-12 16:51:45
IDJOB=2096397
IDBENCH=56327
IDSOLVER=773
FILE ID=node21/2096397-1247410304
PBS_JOBID= 9510601
Free space on /tmp= 66396 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/bmc/normalized-bmc-ibm-01-16.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-2096397-1247410304/watcher-2096397-1247410304 -o /tmp/evaluation-result-2096397-1247410304/solver-2096397-1247410304 -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-2096397-1247410304.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6522a7124b0545366bf36f7f7553dc57
RANDOM SEED=697440292
node21.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: 1736384 kB
Buffers: 41340 kB
Cached: 116556 kB
SwapCached: 0 kB
Active: 206652 kB
Inactive: 55628 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1736384 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 11408 kB
Writeback: 0 kB
Mapped: 124836 kB
Slab: 42424 kB
Committed_AS: 985324 kB
PageTables: 1944 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= 66392 MiB
End job on node21 at 2009-07-12 16:52:34