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/215405-1168234771/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.56 nbVariables=3456 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.56 => wckTime=0.239 cpuTime=0.17 mem=11M778
0.56
0.56 predicates being loaded...
0.56
0.56 constraints being loaded...
3.67 nbConstraints=26512 nbMergedConstraints=8 nbConvertedConstraints=25408 nbConvertConstraintsChecks=131336
3.67 nbExtensionStructures=2 nbSharedExtensionStructures=25406 nbConflictsStructures=5
3.67 nbSharedConflictsStructures=26507 nbSharedBinaryRepresentations=5 nbEvaluationManagers=3
3.67 nbSharedEvaluationManagers=1101 maxDegree=121 maxArity=16
3.67 => wckTime=3.358 cpuTime=2.97 mem=60M734
3.87
3.87 solver IterativeSystematicSolver being built...
4.30 => wckTime=3.983 cpuTime=3.29 mem=51M34
21.22
21.22 preprocessing
21.22 nbConstraintChecks=330134 nbValidityChecks=1620 nbPropagations=21054 nbRevisions=183340
21.22 nbUselessRevisions=169062 nbSingletonTests=3506 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0
21.22 detectedInconsistency=no
21.22 => wckTime=16.905 cpuTime=16.86 mem=52M42
24.71
24.71 search
24.71 run=0 nbConstraintChecks=52829 nbValidityChecks=292 nbPropagations=23784 nbRevisions=211063
24.71 nbUselessRevisions=194275 nbAssignments=451 nbFailedAssignments=2 nbBacktracks=11 nbVisitedNodes=456
24.71 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
24.71 => wckTime=20.406 cpuTime=20.34 mem=53M51
28.31
28.31 search
28.31 run=1 nbConstraintChecks=111094 nbValidityChecks=1864 nbPropagations=51561 nbRevisions=454207
28.31 nbUselessRevisions=416852 nbAssignments=913 nbFailedAssignments=6 nbBacktracks=36 nbVisitedNodes=925
28.31 nbRestartNogoods=1 mapSize=9 nbInferences=0 nbTooLargeKeys=0
28.31 => wckTime=24.009 cpuTime=23.94 mem=53M51
31.84
31.84 search
31.84 run=2 nbConstraintChecks=175022 nbValidityChecks=4471 nbPropagations=84365 nbRevisions=733475
31.84 nbUselessRevisions=670728 nbAssignments=1371 nbFailedAssignments=12 nbBacktracks=60 nbVisitedNodes=1394
31.84 nbRestartNogoods=2 mapSize=19 nbInferences=0 nbTooLargeKeys=0
31.84 => wckTime=27.536 cpuTime=27.46 mem=53M51
35.41
35.41 search
35.41 run=3 nbConstraintChecks=246134 nbValidityChecks=6747 nbPropagations=123225 nbRevisions=1052393
35.41 nbUselessRevisions=958375 nbAssignments=1826 nbFailedAssignments=19 nbBacktracks=101 nbVisitedNodes=1863
35.41 nbRestartNogoods=3 mapSize=32 nbInferences=0 nbTooLargeKeys=0
35.41 => wckTime=31.107 cpuTime=30.99 mem=54M59
39.15
39.15 search
39.16 run=4 nbConstraintChecks=345656 nbValidityChecks=11463 nbPropagations=172315 nbRevisions=1429568
39.16 nbUselessRevisions=1294162 nbAssignments=2286 nbFailedAssignments=31 nbBacktracks=157 nbVisitedNodes=2348
39.16 nbRestartNogoods=4 mapSize=55 nbInferences=0 nbTooLargeKeys=0
39.16 => wckTime=34.851 cpuTime=34.73 mem=54M59
42.63
42.63 search
42.63 run=5 nbConstraintChecks=507244 nbValidityChecks=17689 nbPropagations=235996 nbRevisions=1903579
42.63 nbUselessRevisions=1712080 nbAssignments=2714 nbFailedAssignments=48 nbBacktracks=234 nbVisitedNodes=2811
42.63 nbRestartNogoods=6 mapSize=89 nbInferences=0 nbTooLargeKeys=0
42.63 => wckTime=38.326 cpuTime=38.2 mem=54M59
45.96
45.96 search
45.96 run=6 nbConstraintChecks=798239 nbValidityChecks=35406 nbPropagations=320345 nbRevisions=2560978
45.96 nbUselessRevisions=2292146 nbAssignments=3134 nbFailedAssignments=91 nbBacktracks=352 nbVisitedNodes=3296
45.96 nbRestartNogoods=7 mapSize=153 nbInferences=0 nbTooLargeKeys=0
45.96 => wckTime=41.658 cpuTime=41.54 mem=55M68
51.00
51.00 search
51.00 run=7 nbConstraintChecks=1252781 nbValidityChecks=47148 nbPropagations=433907 nbRevisions=3481125
51.00 nbUselessRevisions=3104739 nbAssignments=3642 nbFailedAssignments=145 nbBacktracks=523 nbVisitedNodes=3901
51.00 nbRestartNogoods=8 mapSize=243 nbInferences=0 nbTooLargeKeys=0
51.00 => wckTime=46.697 cpuTime=46.57 mem=56M76
58.93
58.93 search
58.93 run=8 nbConstraintChecks=2330870 nbValidityChecks=127225 nbPropagations=621111 nbRevisions=5135990
58.93 nbUselessRevisions=4574801 nbAssignments=4379 nbFailedAssignments=329 nbBacktracks=786 nbVisitedNodes=4851
58.93 nbRestartNogoods=9 mapSize=453 nbInferences=0 nbTooLargeKeys=0
58.93 => wckTime=54.623 cpuTime=54.48 mem=57M85
69.46
69.46 search
69.46 run=9 nbConstraintChecks=4485842 nbValidityChecks=186936 nbPropagations=934378 nbRevisions=8230506
69.46 nbUselessRevisions=7353163 nbAssignments=5326 nbFailedAssignments=612 nbBacktracks=1185 nbVisitedNodes=6126
69.46 nbRestartNogoods=10 mapSize=765 nbInferences=0 nbTooLargeKeys=0
69.46 => wckTime=65.158 cpuTime=65.01 mem=60M110
80.83
80.83 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=61M119)
82.19
82.19 search
82.19 run=10 nbConstraintChecks=9433281 nbValidityChecks=435431 nbPropagations=1464450 nbRevisions=14527678
82.19 nbUselessRevisions=13110301 nbAssignments=8835 nbFailedAssignments=1061 nbBacktracks=1766 nbVisitedNodes=7887
82.19 nbRestartNogoods=21
82.19 => wckTime=77.889 cpuTime=77.7 mem=61M119
86.83
86.83 search
86.83 run=11 nbConstraintChecks=15623005 nbValidityChecks=562862 nbPropagations=2265015 nbRevisions=24922681
86.83 nbUselessRevisions=22681668 nbAssignments=10662 nbFailedAssignments=1636 nbBacktracks=2652 nbVisitedNodes=10240
86.83 nbRestartNogoods=24
86.83 => wckTime=82.523 cpuTime=82.33 mem=61M119
89.33
89.33 search
89.33 run=12 nbConstraintChecks=17889425 nbValidityChecks=684529 nbPropagations=3164546 nbRevisions=36904348
89.33 nbUselessRevisions=33735270 nbAssignments=12417 nbFailedAssignments=1823 nbBacktracks=3956 nbVisitedNodes=12222
89.33 nbRestartNogoods=25
89.33 => wckTime=85.026 cpuTime=84.83 mem=61M119
95.06
95.06 search
95.06 run=13 nbConstraintChecks=23730043 nbValidityChecks=773757 nbPropagations=4339166 nbRevisions=52566603
95.06 nbUselessRevisions=48188635 nbAssignments=16782 nbFailedAssignments=2179 nbBacktracks=5914 nbVisitedNodes=15114
95.06 nbRestartNogoods=56
95.06 => wckTime=90.756 cpuTime=90.56 mem=61M119
109.34
109.34 search
109.34 run=14 nbConstraintChecks=42702619 nbValidityChecks=1496346 nbPropagations=6258575 nbRevisions=80527540
109.34 nbUselessRevisions=74156830 nbAssignments=22490 nbFailedAssignments=4024 nbBacktracks=8837 nbVisitedNodes=21901
109.34 nbRestartNogoods=67
109.34 => wckTime=105.038 cpuTime=104.83 mem=61M119
132.57
132.57 search
132.57 run=15 nbConstraintChecks=74253948 nbValidityChecks=2233365 nbPropagations=9308878 nbRevisions=127602740
132.57 nbUselessRevisions=118041755 nbAssignments=32841 nbFailedAssignments=6941 nbBacktracks=12203
132.57 nbVisitedNodes=34971 nbRestartNogoods=83
132.57 => wckTime=128.269 cpuTime=128.02 mem=62M127
132.57
132.57 global
132.57 nbConstraintChecks=74584082 nbValidityChecks=2234985 nbPropagations=9329932 nbRevisions=127786080
132.57 nbUselessRevisions=118210817 nbRestartNogoods=83 solvingWckTime=128.27 solvingCpuTime=128.02 expiredTime=no
132.57 totalExploration=no nbFoundSolutions=1 globalCpuTime=131.35
132.57 => wckTime=132.259 cpuTime=131.31 mem=62M127
132.58
132.58 s SATISFIABLE
132.58 v 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1
132.58 d NODES 32841
132.58 d CHECKS 74584082
132.58
132.58 totalWckTime=132.337 totalCpuTime=131.36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-215405-1168234771 -o ROOT/results/node7/solver-215405-1168234771 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215405-1168234771/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.79 1.95 1.98 4/94 9984
/proc/meminfo: memFree=1676944/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=1784 CPUtime=0
/proc/9983/stat : 9983 (java) D 9981 9983 9494 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 171872509 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10416932 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/9983/statm: 446 163 128 14 0 91 0
[startup+0.10435 s]
/proc/loadavg: 1.79 1.95 1.98 4/94 9984
/proc/meminfo: memFree=1676944/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=912272 CPUtime=0.06
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 2641 0 1 0 5 1 0 0 24 0 8 0 171872509 934166528 2388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228068 2389 1287 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912272
[startup+0.512391 s]
/proc/loadavg: 1.79 1.95 1.98 4/94 9984
/proc/meminfo: memFree=1676944/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915328 CPUtime=0.47
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 6618 0 1 0 43 4 0 0 25 0 8 0 171872509 937295872 6357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228832 6357 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33348 s]
/proc/loadavg: 1.79 1.95 1.98 3/101 9991
/proc/meminfo: memFree=1616984/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915636 CPUtime=1.29
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 19279 0 1 0 118 11 0 0 25 0 8 0 171872509 937611264 19016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073456157 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228909 19016 2157 14 0 215379 0
[pid=9983/tid=9985] ppid=9981 vsize=915636 CPUtime=0.1
/proc/9983/task/9985/stat : 9985 (java) S 9981 9983 9494 0 -1 64 2746 0 0 0 9 1 0 0 16 0 8 0 171872515 937611264 19016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9986] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9986/stat : 9986 (java) S 9981 9983 9494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171872515 937611264 19016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9987] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9987/stat : 9987 (java) S 9981 9983 9494 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171872515 937611264 19016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9988] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9988/stat : 9988 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171872518 937611264 19016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9989] ppid=9981 vsize=915636 CPUtime=0.14
/proc/9983/task/9989/stat : 9989 (java) S 9981 9983 9494 0 -1 64 405 0 0 0 14 0 0 0 16 0 8 0 171872518 937611264 19016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9990] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9990/stat : 9990 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171872518 937611264 19016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9991] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9991/stat : 9991 (java) S 9981 9983 9494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171872518 937611264 19016 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) 915636
[startup+2.97065 s]
/proc/loadavg: 1.79 1.95 1.98 4/101 9991
/proc/meminfo: memFree=1599832/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915640 CPUtime=2.93
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 24239 0 1 0 219 74 0 0 25 0 8 0 171872509 937615360 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228909 23975 2178 14 0 215379 0
[pid=9983/tid=9985] ppid=9981 vsize=915640 CPUtime=0.2
/proc/9983/task/9985/stat : 9985 (java) S 9981 9983 9494 0 -1 64 7610 0 0 0 18 2 0 0 18 0 8 0 171872515 937615360 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9986] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9986/stat : 9986 (java) S 9981 9983 9494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171872515 937611264 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9987] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9987/stat : 9987 (java) S 9981 9983 9494 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171872515 937611264 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9988] ppid=9981 vsize=915640 CPUtime=0
/proc/9983/task/9988/stat : 9988 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171872518 937615360 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9989] ppid=9981 vsize=915640 CPUtime=0.2
/proc/9983/task/9989/stat : 9989 (java) S 9981 9983 9494 0 -1 64 436 0 0 0 20 0 0 0 16 0 8 0 171872518 937615360 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9990] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9990/stat : 9990 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171872518 937611264 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9991] ppid=9981 vsize=915636 CPUtime=0
/proc/9983/task/9991/stat : 9991 (java) S 9981 9983 9494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171872518 937611264 23975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915640
[startup+6.17499 s]
/proc/loadavg: 1.81 1.95 1.98 3/101 9991
/proc/meminfo: memFree=1572184/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915872 CPUtime=6.13
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 28962 0 1 0 499 114 0 0 25 0 8 0 171872509 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074207664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228968 28633 2546 14 0 215438 0
[pid=9983/tid=9985] ppid=9981 vsize=915872 CPUtime=0.41
/proc/9983/task/9985/stat : 9985 (java) S 9981 9983 9494 0 -1 64 11785 0 0 0 37 4 0 0 17 0 8 0 171872515 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9986] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9986/stat : 9986 (java) S 9981 9983 9494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9987] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9987/stat : 9987 (java) S 9981 9983 9494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9988] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9988/stat : 9988 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171872518 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9989] ppid=9981 vsize=915872 CPUtime=0.33
/proc/9983/task/9989/stat : 9989 (java) S 9981 9983 9494 0 -1 64 516 0 0 0 32 1 0 0 16 0 8 0 171872518 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9990] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9990/stat : 9990 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171872518 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9991] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9991/stat : 9991 (java) S 9981 9983 9494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171872518 937852928 28633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915872
[startup+12.6417 s]
/proc/loadavg: 1.82 1.95 1.98 3/101 9991
/proc/meminfo: memFree=1572184/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915872 CPUtime=12.58
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 28964 0 1 0 1144 114 0 0 25 0 8 0 171872509 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074207664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228968 28634 2546 14 0 215438 0
[pid=9983/tid=9985] ppid=9981 vsize=915872 CPUtime=0.41
/proc/9983/task/9985/stat : 9985 (java) S 9981 9983 9494 0 -1 64 11785 0 0 0 37 4 0 0 16 0 8 0 171872515 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9986] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9986/stat : 9986 (java) S 9981 9983 9494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9987] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9987/stat : 9987 (java) S 9981 9983 9494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9988] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9988/stat : 9988 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171872518 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9989] ppid=9981 vsize=915872 CPUtime=0.33
/proc/9983/task/9989/stat : 9989 (java) S 9981 9983 9494 0 -1 64 518 0 0 0 32 1 0 0 16 0 8 0 171872518 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9990] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9990/stat : 9990 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171872518 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9991] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9991/stat : 9991 (java) S 9981 9983 9494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171872518 937852928 28634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915872
[startup+25.502 s]
/proc/loadavg: 1.86 1.95 1.98 3/101 9991
/proc/meminfo: memFree=1572248/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915872 CPUtime=25.44
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 28989 0 1 0 2429 115 0 0 25 0 8 0 171872509 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074272269 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228968 28653 2547 14 0 215438 0
[pid=9983/tid=9985] ppid=9981 vsize=915872 CPUtime=0.41
/proc/9983/task/9985/stat : 9985 (java) S 9981 9983 9494 0 -1 64 11785 0 0 0 37 4 0 0 17 0 8 0 171872515 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9986] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9986/stat : 9986 (java) S 9981 9983 9494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9987] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9987/stat : 9987 (java) S 9981 9983 9494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9988] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9988/stat : 9988 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171872518 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9989] ppid=9981 vsize=915872 CPUtime=0.36
/proc/9983/task/9989/stat : 9989 (java) S 9981 9983 9494 0 -1 64 537 0 0 0 35 1 0 0 15 0 8 0 171872518 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9990] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9990/stat : 9990 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171872518 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9991] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9991/stat : 9991 (java) S 9981 9983 9494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171872518 937852928 28653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915872
[startup+51.1097 s]
/proc/loadavg: 1.91 1.96 1.98 3/101 9991
/proc/meminfo: memFree=1572312/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915872 CPUtime=51.02
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 29004 0 1 0 4987 115 0 0 25 0 8 0 171872509 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074180407 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228968 28663 2547 14 0 215438 0
[pid=9983/tid=9985] ppid=9981 vsize=915872 CPUtime=0.41
/proc/9983/task/9985/stat : 9985 (java) S 9981 9983 9494 0 -1 64 11785 0 0 0 37 4 0 0 16 0 8 0 171872515 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9986] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9986/stat : 9986 (java) S 9981 9983 9494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9987] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9987/stat : 9987 (java) S 9981 9983 9494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9988] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9988/stat : 9988 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171872518 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9989] ppid=9981 vsize=915872 CPUtime=0.39
/proc/9983/task/9989/stat : 9989 (java) S 9981 9983 9494 0 -1 64 549 0 0 0 38 1 0 0 15 0 8 0 171872518 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9990] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9990/stat : 9990 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171872518 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9991] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9991/stat : 9991 (java) S 9981 9983 9494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171872518 937852928 28663 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915872
[startup+102.314 s]
/proc/loadavg: 2.00 1.97 1.99 3/101 9991
/proc/meminfo: memFree=1572248/2055920 swapFree=4192812/4192956
[pid=9983] ppid=9981 vsize=915872 CPUtime=102.16
/proc/9983/stat : 9983 (java) R 9981 9983 9494 0 -1 0 29016 0 1 0 10101 115 0 0 25 0 8 0 171872509 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073865546 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9983/statm: 228968 28671 2547 14 0 215438 0
[pid=9983/tid=9985] ppid=9981 vsize=915872 CPUtime=0.41
/proc/9983/task/9985/stat : 9985 (java) S 9981 9983 9494 0 -1 64 11785 0 0 0 37 4 0 0 16 0 8 0 171872515 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9986] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9986/stat : 9986 (java) S 9981 9983 9494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9987] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9987/stat : 9987 (java) S 9981 9983 9494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171872515 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9988] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9988/stat : 9988 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171872518 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9989] ppid=9981 vsize=915872 CPUtime=0.41
/proc/9983/task/9989/stat : 9989 (java) S 9981 9983 9494 0 -1 64 558 0 0 0 40 1 0 0 15 0 8 0 171872518 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9990] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9990/stat : 9990 (java) S 9981 9983 9494 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171872518 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9983/tid=9991] ppid=9981 vsize=915872 CPUtime=0
/proc/9983/task/9991/stat : 9991 (java) S 9981 9983 9494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171872518 937852928 28671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 915872
Child status: 0
Real time (s): 132.653
CPU time (s): 132.43
CPU user time (s): 131.252
CPU system time (s): 1.17782
CPU usage (%): 99.8321
Max. virtual memory (cumulated for all children) (KiB): 915992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.252
system time used= 1.17782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29028
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= 4555
involuntary context switches= 7999
runsolver used 0.152976 s user time and 0.445932 s system time
The end
Begin job on node7 on Mon Jan 8 05:39:31 UTC 2007
IDJOB= 215405
IDBENCH= 4999
FILE ID= node7/215405-1168234771
PBS_JOBID= 3481227
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-16b1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215405-1168234771/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-215405-1168234771 -o ROOT/results/node7/solver-215405-1168234771 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215405-1168234771/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4163ccc10de5ab641614c8f6bd263422
RANDOM SEED= 149341145
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.220
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.220
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: 1677360 kB
Buffers: 56396 kB
Cached: 169092 kB
SwapCached: 0 kB
Active: 198108 kB
Inactive: 127620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1677360 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5532 kB
Writeback: 0 kB
Mapped: 127956 kB
Slab: 37268 kB
Committed_AS: 5748188 kB
PageTables: 2540 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= 66555 MiB
End job on node7 on Mon Jan 8 05:41:43 UTC 2007