0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/204105-1168165286/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
1.29 nbVariables=3000 nbDomainTypes=1 minDomainSize=3000 maxDomainSize=3000
1.29 => wckTime=0.974 cpuTime=0.54 mem=220M923
1.29
1.29 predicates being loaded...
1.29
1.29 constraints being loaded...
5.34 nbConstraints=3000 nbConvertedConstraints=3000 nbConvertConstraintsChecks=18000000 nbExtensionStructures=2
5.34 nbSharedExtensionStructures=2998 nbConflictsStructures=2 nbSharedConflictsStructures=2998
5.34 nbSharedBinaryRepresentations=8998 maxDegree=2 maxArity=2
5.34 => wckTime=5.031 cpuTime=4.39 mem=227M69
5.42
5.42 solver IterativeSystematicSolver being built...
6.14 => wckTime=5.828 cpuTime=4.87 mem=442M213
351.09
351.09 preprocessing
351.09 nbConstraintChecks=853302295 nbPropagations=9000001 nbRevisions=9003000 nbUselessRevisions=6000
351.09 nbSingletonTests=3000 nbEffectiveSingletonTests=0 nbESACBranches=1 nbRemovedValues=8997000
351.09 detectedInconsistency=no
351.09 => wckTime=344.595 cpuTime=341.1 mem=442M213
351.10
351.10 global
351.10 nbConstraintChecks=853302295 nbPropagations=9000001 nbRevisions=9003000 nbUselessRevisions=6000
351.10 nbRestartNogoods=0 solvingWckTime=344.599 solvingCpuTime=341.11 expiredTime=no totalExploration=no
351.10 nbFoundSolutions=1 globalCpuTime=346.38
351.10 => wckTime=350.784 cpuTime=346.33 mem=442M213
351.52
351.52 s SATISFIABLE
351.52 v 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999 2999
351.52 d NODES 0
351.52 d CHECKS 853302295
351.52
351.52 totalWckTime=351.284 totalCpuTime=346.78
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-204105-1168165286 -o ROOT/results/node15/solver-204105-1168165286 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/204105-1168165286/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.36 1.80 1.92 5/94 12717
/proc/meminfo: memFree=1793096/2055920 swapFree=4174172/4192956
[pid=12716] ppid=12714 vsize=18540 CPUtime=0
/proc/12716/stat : 12716 (runsolver) R 12714 12716 12299 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 164923918 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/12716/statm: 4635 279 244 17 0 2626 0
[startup+0.102716 s]
/proc/loadavg: 1.36 1.80 1.92 5/94 12717
/proc/meminfo: memFree=1793096/2055920 swapFree=4174172/4192956
[pid=12716] ppid=12714 vsize=912760 CPUtime=0.06
/proc/12716/stat : 12716 (java) R 12714 12716 12299 0 -1 0 2773 0 1 0 5 1 0 0 25 0 8 0 164923918 934666240 2519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12716/statm: 228190 2519 1386 14 0 215091 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912760
[startup+0.513785 s]
/proc/loadavg: 1.36 1.80 1.92 5/94 12717
/proc/meminfo: memFree=1793096/2055920 swapFree=4174172/4192956
[pid=12716] ppid=12714 vsize=915328 CPUtime=0.47
/proc/12716/stat : 12716 (java) R 12714 12716 12299 0 -1 0 12418 0 1 0 41 6 0 0 25 0 8 0 164923918 937295872 12157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073549896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12716/statm: 228832 12157 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33493 s]
/proc/loadavg: 1.36 1.80 1.92 3/101 12724
/proc/meminfo: memFree=1597328/2055920 swapFree=4174172/4192956
[pid=12716] ppid=12714 vsize=915448 CPUtime=1.29
/proc/12716/stat : 12716 (java) R 12714 12716 12299 0 -1 0 62751 0 1 0 103 26 0 0 25 0 8 0 164923918 937418752 62486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073585809 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12716/statm: 228862 62486 2158 14 0 215332 0
[pid=12716/tid=12718] ppid=12714 vsize=915448 CPUtime=0.32
/proc/12716/task/12718/stat : 12718 (java) S 12714 12716 12299 0 -1 64 46261 0 0 0 15 17 0 0 16 0 8 0 164923923 937418752 62486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12719] ppid=12714 vsize=915448 CPUtime=0
/proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164923924 937418752 62486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12720] ppid=12714 vsize=915448 CPUtime=0
/proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12299 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164923924 937418752 62486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12721] ppid=12714 vsize=915448 CPUtime=0
/proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12299 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164923927 937418752 62486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12722] ppid=12714 vsize=915448 CPUtime=0.15
/proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12299 0 -1 64 359 0 0 0 14 1 0 0 16 0 8 0 164923927 937418752 62486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12723] ppid=12714 vsize=915448 CPUtime=0
/proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164923927 937418752 62486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12724] ppid=12714 vsize=915448 CPUtime=0
/proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 16 0 8 0 164923927 937418752 62486 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915448
[startup+2.9722 s]
/proc/loadavg: 1.36 1.80 1.92 3/101 12724
/proc/meminfo: memFree=1550608/2055920 swapFree=4174172/4192956
[pid=12716] ppid=12714 vsize=915740 CPUtime=2.91
/proc/12716/stat : 12716 (java) R 12714 12716 12299 0 -1 0 72451 0 1 0 250 41 0 0 25 0 8 0 164923918 937717760 72184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12716/statm: 228935 72184 2178 14 0 215405 0
[pid=12716/tid=12718] ppid=12714 vsize=915740 CPUtime=0.4
/proc/12716/task/12718/stat : 12718 (java) S 12714 12716 12299 0 -1 64 55820 0 0 0 20 20 0 0 16 0 8 0 164923923 937717760 72184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12719] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164923924 937717760 72184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12720] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12299 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164923924 937717760 72184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12721] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12299 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164923927 937717760 72184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12722] ppid=12714 vsize=915740 CPUtime=0.22
/proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12299 0 -1 64 439 0 0 0 20 2 0 0 16 0 8 0 164923927 937717760 72184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12723] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164923927 937717760 72184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12724] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164923927 937717760 72184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915740
[startup+6.26878 s]
/proc/loadavg: 1.41 1.80 1.92 4/101 12724
/proc/meminfo: memFree=1474384/2055920 swapFree=4174172/4192956
[pid=12716] ppid=12714 vsize=915740 CPUtime=6.18
/proc/12716/stat : 12716 (java) R 12714 12716 12299 0 -1 0 117222 0 1 0 558 60 0 0 25 0 8 0 164923918 937717760 116950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829967 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12716/statm: 228935 116950 2542 14 0 215405 0
[pid=12716/tid=12718] ppid=12714 vsize=915740 CPUtime=0.64
/proc/12716/task/12718/stat : 12718 (java) S 12714 12716 12299 0 -1 64 82492 0 0 0 34 30 0 0 16 0 8 0 164923923 937717760 116950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12719] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164923924 937717760 116950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12720] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12299 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164923924 937717760 116950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12721] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12299 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164923927 937717760 116950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12722] ppid=12714 vsize=915740 CPUtime=0.28
/proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12299 0 -1 64 486 0 0 0 26 2 0 0 15 0 8 0 164923927 937717760 116950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12723] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164923927 937717760 116950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12724] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164923927 937717760 116950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915740
[startup+12.7479 s]
/proc/loadavg: 1.46 1.80 1.92 3/101 12724
/proc/meminfo: memFree=1334224/2055920 swapFree=4174172/4192956
[pid=12716] ppid=12714 vsize=915740 CPUtime=12.59
/proc/12716/stat : 12716 (java) R 12714 12716 12299 0 -1 0 117237 0 1 0 1199 60 0 0 25 0 8 0 164923918 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074099541 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12716/statm: 228935 116961 2542 14 0 215405 0
[pid=12716/tid=12718] ppid=12714 vsize=915740 CPUtime=0.64
/proc/12716/task/12718/stat : 12718 (java) S 12714 12716 12299 0 -1 64 82492 0 0 0 34 30 0 0 16 0 8 0 164923923 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12719] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12720] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12299 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12721] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12299 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12722] ppid=12714 vsize=915740 CPUtime=0.3
/proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12299 0 -1 64 501 0 0 0 28 2 0 0 16 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12723] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12724] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915740
[startup+25.6131 s]
/proc/loadavg: 1.58 1.81 1.92 3/101 12724
/proc/meminfo: memFree=1334224/2055920 swapFree=4174172/4192956
[pid=12716] ppid=12714 vsize=915740 CPUtime=25.34
/proc/12716/stat : 12716 (java) R 12714 12716 12299 0 -1 0 117237 0 1 0 2474 60 0 0 25 0 8 0 164923918 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074099505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12716/statm: 228935 116961 2542 14 0 215405 0
[pid=12716/tid=12718] ppid=12714 vsize=915740 CPUtime=0.64
/proc/12716/task/12718/stat : 12718 (java) S 12714 12716 12299 0 -1 64 82492 0 0 0 34 30 0 0 16 0 8 0 164923923 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12719] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12720] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12299 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12721] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12299 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12722] ppid=12714 vsize=915740 CPUtime=0.3
/proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12299 0 -1 64 501 0 0 0 28 2 0 0 16 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12723] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12724] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915740
[startup+51.2375 s]
/proc/loadavg: 1.72 1.83 1.92 3/101 12724
/proc/meminfo: memFree=1334288/2055920 swapFree=4174172/4192956
[pid=12716] ppid=12714 vsize=915740 CPUtime=50.7
/proc/12716/stat : 12716 (java) R 12714 12716 12299 0 -1 0 117237 0 1 0 5010 60 0 0 25 0 8 0 164923918 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12716/statm: 228935 116961 2542 14 0 215405 0
[pid=12716/tid=12718] ppid=12714 vsize=915740 CPUtime=0.64
/proc/12716/task/12718/stat : 12718 (java) S 12714 12716 12299 0 -1 64 82492 0 0 0 34 30 0 0 16 0 8 0 164923923 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12719] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12720] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12299 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12721] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12299 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12722] ppid=12714 vsize=915740 CPUtime=0.3
/proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12299 0 -1 64 501 0 0 0 28 2 0 0 16 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12723] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12724] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915740
[startup+102.474 s]
/proc/loadavg: 1.88 1.85 1.92 3/101 12724
/proc/meminfo: memFree=1334288/2055920 swapFree=4174172/4192956
[pid=12716] ppid=12714 vsize=915740 CPUtime=101.43
/proc/12716/stat : 12716 (java) R 12714 12716 12299 0 -1 0 117237 0 1 0 10083 60 0 0 25 0 8 0 164923918 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074099505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12716/statm: 228935 116961 2542 14 0 215405 0
[pid=12716/tid=12718] ppid=12714 vsize=915740 CPUtime=0.64
/proc/12716/task/12718/stat : 12718 (java) S 12714 12716 12299 0 -1 64 82492 0 0 0 34 30 0 0 16 0 8 0 164923923 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12719] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12720] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12299 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12721] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12299 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12722] ppid=12714 vsize=915740 CPUtime=0.3
/proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12299 0 -1 64 501 0 0 0 28 2 0 0 16 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12723] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12724] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 915740
[startup+162.554 s]
/proc/loadavg: 1.95 1.87 1.92 3/101 12724
/proc/meminfo: memFree=1334288/2055920 swapFree=4174172/4192956
[pid=12716] ppid=12714 vsize=915740 CPUtime=160.88
/proc/12716/stat : 12716 (java) R 12714 12716 12299 0 -1 0 117237 0 1 0 16028 60 0 0 25 0 8 0 164923918 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074099805 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12716/statm: 228935 116961 2542 14 0 215405 0
[pid=12716/tid=12718] ppid=12714 vsize=915740 CPUtime=0.64
/proc/12716/task/12718/stat : 12718 (java) S 12714 12716 12299 0 -1 64 82492 0 0 0 34 30 0 0 16 0 8 0 164923923 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12719] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12720] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12299 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12721] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12299 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12722] ppid=12714 vsize=915740 CPUtime=0.3
/proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12299 0 -1 64 501 0 0 0 28 2 0 0 16 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12723] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12724] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 915740
[startup+222.627 s]
/proc/loadavg: 2.04 1.91 1.93 3/101 12724
/proc/meminfo: memFree=1334288/2055920 swapFree=4174172/4192956
[pid=12716] ppid=12714 vsize=915740 CPUtime=220.38
/proc/12716/stat : 12716 (java) R 12714 12716 12299 0 -1 0 117237 0 1 0 21977 61 0 0 25 0 8 0 164923918 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074084408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12716/statm: 228935 116961 2542 14 0 215405 0
[pid=12716/tid=12718] ppid=12714 vsize=915740 CPUtime=0.64
/proc/12716/task/12718/stat : 12718 (java) S 12714 12716 12299 0 -1 64 82492 0 0 0 34 30 0 0 16 0 8 0 164923923 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12719] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12720] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12299 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12721] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12299 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12722] ppid=12714 vsize=915740 CPUtime=0.3
/proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12299 0 -1 64 501 0 0 0 28 2 0 0 16 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12723] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12724] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.38
Current children cumulated vsize (KiB) 915740
[startup+282.702 s]
/proc/loadavg: 2.01 1.92 1.93 3/101 12724
/proc/meminfo: memFree=1334288/2055920 swapFree=4174172/4192956
[pid=12716] ppid=12714 vsize=915740 CPUtime=279.87
/proc/12716/stat : 12716 (java) R 12714 12716 12299 0 -1 0 117237 0 1 0 27926 61 0 0 25 0 8 0 164923918 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074099505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12716/statm: 228935 116961 2542 14 0 215405 0
[pid=12716/tid=12718] ppid=12714 vsize=915740 CPUtime=0.64
/proc/12716/task/12718/stat : 12718 (java) S 12714 12716 12299 0 -1 64 82492 0 0 0 34 30 0 0 16 0 8 0 164923923 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12719] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12720] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12299 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12721] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12299 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12722] ppid=12714 vsize=915740 CPUtime=0.3
/proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12299 0 -1 64 501 0 0 0 28 2 0 0 16 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12723] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12724] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (KiB) 915740
[startup+342.784 s]
/proc/loadavg: 2.00 1.93 1.93 3/101 12724
/proc/meminfo: memFree=1334288/2055920 swapFree=4174172/4192956
[pid=12716] ppid=12714 vsize=915740 CPUtime=339.33
/proc/12716/stat : 12716 (java) R 12714 12716 12299 0 -1 0 117237 0 1 0 33872 61 0 0 25 0 8 0 164923918 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074084408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12716/statm: 228935 116961 2542 14 0 215405 0
[pid=12716/tid=12718] ppid=12714 vsize=915740 CPUtime=0.64
/proc/12716/task/12718/stat : 12718 (java) S 12714 12716 12299 0 -1 64 82492 0 0 0 34 30 0 0 16 0 8 0 164923923 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12719] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12719/stat : 12719 (java) S 12714 12716 12299 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12720] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12720/stat : 12720 (java) S 12714 12716 12299 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164923924 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12721] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12721/stat : 12721 (java) S 12714 12716 12299 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12722] ppid=12714 vsize=915740 CPUtime=0.3
/proc/12716/task/12722/stat : 12722 (java) S 12714 12716 12299 0 -1 64 501 0 0 0 28 2 0 0 16 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12723] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12723/stat : 12723 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12716/tid=12724] ppid=12714 vsize=915740 CPUtime=0
/proc/12716/task/12724/stat : 12724 (java) S 12714 12716 12299 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164923927 937717760 116961 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.33
Current children cumulated vsize (KiB) 915740
Child status: 0
Real time (s): 351.651
CPU time (s): 348.046
CPU user time (s): 347.357
CPU system time (s): 0.688895
CPU usage (%): 98.9749
Max. virtual memory (cumulated for all children) (KiB): 915744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 347.357
system time used= 0.688895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117256
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= 8696
involuntary context switches= 23398
runsolver used 0.420936 s user time and 1.13483 s system time
The end
Begin job on node15 on Sun Jan 7 10:21:29 UTC 2007
IDJOB= 204105
IDBENCH= 4001
FILE ID= node15/204105-1168165286
PBS_JOBID= 3478329
Free space on /tmp= 66328 MiB
BENCH NAME= HOME/pub/bench/CPAI06/domino/domino-3000-3000.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/204105-1168165286/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-204105-1168165286 -o ROOT/results/node15/solver-204105-1168165286 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/204105-1168165286/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2856bb6534c66b8fd5677f0eaa3dd113
RANDOM SEED= 143994779
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.276
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.276
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: 1793576 kB
Buffers: 49792 kB
Cached: 110136 kB
SwapCached: 6400 kB
Active: 104756 kB
Inactive: 102104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1793576 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 2332 kB
Writeback: 0 kB
Mapped: 63796 kB
Slab: 39924 kB
Committed_AS: 4569000 kB
PageTables: 2496 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= 66328 MiB
End job on node15 on Sun Jan 7 10:27:23 UTC 2007