0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/215145-1168233578/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.53 nbVariables=3300 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.53 => wckTime=0.241 cpuTime=0.17 mem=11M778
0.53
0.53 predicates being loaded...
0.54
0.54 constraints being loaded...
2.98 nbConstraints=21018 nbConvertedConstraints=20610 nbConvertConstraintsChecks=98312 nbExtensionStructures=2
2.98 nbSharedExtensionStructures=20608 nbConflictsStructures=4 nbSharedConflictsStructures=21014
2.99 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2 nbSharedEvaluationManagers=406 maxDegree=53 maxArity=16
2.99 => wckTime=2.691 cpuTime=2.35 mem=43M889
3.16
3.16 solver IterativeSystematicSolver being built...
3.52 => wckTime=3.225 cpuTime=2.63 mem=61M810
27.20
27.20 preprocessing
27.20 nbConstraintChecks=274132 nbValidityChecks=1831 nbPropagations=19330 nbRevisions=152519
27.20 nbUselessRevisions=140978 nbSingletonTests=4648 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0
27.20 detectedInconsistency=no
27.20 => wckTime=23.667 cpuTime=23.51 mem=62M807
30.00
30.00 search
30.00 run=0 nbConstraintChecks=42912 nbValidityChecks=457 nbPropagations=21900 nbRevisions=174966
30.00 nbUselessRevisions=161211 nbAssignments=440 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=447
30.00 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
30.00 => wckTime=26.475 cpuTime=26.29 mem=63M804
32.88
32.88 search
32.88 run=1 nbConstraintChecks=88043 nbValidityChecks=1012 nbPropagations=46772 nbRevisions=373514
32.88 nbUselessRevisions=343379 nbAssignments=892 nbFailedAssignments=7 nbBacktracks=28 nbVisitedNodes=907
32.88 nbRestartNogoods=2 mapSize=9 nbInferences=0 nbTooLargeKeys=0
32.88 => wckTime=29.36 cpuTime=29.16 mem=63M804
35.94
35.94 search
35.94 run=2 nbConstraintChecks=137233 nbValidityChecks=1815 nbPropagations=75284 nbRevisions=598113
35.94 nbUselessRevisions=548292 nbAssignments=1361 nbFailedAssignments=13 nbBacktracks=52 nbVisitedNodes=1387
35.94 nbRestartNogoods=5 mapSize=18 nbInferences=0 nbTooLargeKeys=0
35.94 => wckTime=32.418 cpuTime=32.18 mem=63M804
39.11
39.11 search
39.11 run=3 nbConstraintChecks=188693 nbValidityChecks=3015 nbPropagations=107760 nbRevisions=850382
39.11 nbUselessRevisions=777226 nbAssignments=1846 nbFailedAssignments=20 nbBacktracks=100 nbVisitedNodes=1886
39.11 nbRestartNogoods=7 mapSize=31 nbInferences=0 nbTooLargeKeys=0
39.11 => wckTime=35.585 cpuTime=35.32 mem=64M801
42.33
42.33 search
42.33 run=4 nbConstraintChecks=242078 nbValidityChecks=4569 nbPropagations=144479 nbRevisions=1131710
42.33 nbUselessRevisions=1031280 nbAssignments=2344 nbFailedAssignments=28 nbBacktracks=152 nbVisitedNodes=2400
42.33 nbRestartNogoods=8 mapSize=46 nbInferences=0 nbTooLargeKeys=0
42.33 => wckTime=38.808 cpuTime=38.52 mem=64M801
46.11
46.11 search
46.11 run=5 nbConstraintChecks=307601 nbValidityChecks=7483 nbPropagations=187369 nbRevisions=1450059
46.11 nbUselessRevisions=1316440 nbAssignments=2896 nbFailedAssignments=41 nbBacktracks=228 nbVisitedNodes=2978
46.11 nbRestartNogoods=9 mapSize=69 nbInferences=0 nbTooLargeKeys=0
46.11 => wckTime=42.589 cpuTime=42.29 mem=65M798
50.69
50.69 search
50.69 run=6 nbConstraintChecks=389545 nbValidityChecks=13005 nbPropagations=238986 nbRevisions=1817003
50.69 nbUselessRevisions=1641655 nbAssignments=3518 nbFailedAssignments=61 nbBacktracks=341 nbVisitedNodes=3640
50.69 nbRestartNogoods=12 mapSize=105 nbInferences=0 nbTooLargeKeys=0
50.69 => wckTime=47.166 cpuTime=46.82 mem=65M798
55.84
55.84 search
55.84 run=7 nbConstraintChecks=480143 nbValidityChecks=21660 nbPropagations=300726 nbRevisions=2240591
55.84 nbUselessRevisions=2013535 nbAssignments=4199 nbFailedAssignments=86 nbBacktracks=521 nbVisitedNodes=4370
55.84 nbRestartNogoods=16 mapSize=153 nbInferences=0 nbTooLargeKeys=0
55.84 => wckTime=52.314 cpuTime=51.95 mem=66M795
62.62
62.62 search
62.62 run=8 nbConstraintChecks=591247 nbValidityChecks=36400 nbPropagations=375937 nbRevisions=2738241
62.62 nbUselessRevisions=2446059 nbAssignments=5040 nbFailedAssignments=117 nbBacktracks=778 nbVisitedNodes=5277
62.62 nbRestartNogoods=17 mapSize=216 nbInferences=0 nbTooLargeKeys=0
62.62 => wckTime=59.098 cpuTime=58.7 mem=67M792
70.66
70.66 search
70.66 run=9 nbConstraintChecks=784874 nbValidityChecks=52215 nbPropagations=476272 nbRevisions=3355768
70.66 nbUselessRevisions=2972993 nbAssignments=6006 nbFailedAssignments=176 nbBacktracks=1162 nbVisitedNodes=6362
70.66 nbRestartNogoods=20 mapSize=332 nbInferences=0 nbTooLargeKeys=0
70.66 => wckTime=67.139 cpuTime=66.69 mem=68M788
85.18
85.18 search
85.18 run=10 nbConstraintChecks=1326575 nbValidityChecks=102633 nbPropagations=635640 nbRevisions=4325593
85.18 nbUselessRevisions=3790822 nbAssignments=7337 nbFailedAssignments=359 nbBacktracks=1738 nbVisitedNodes=8030
85.18 nbRestartNogoods=23 mapSize=659 nbInferences=1 nbTooLargeKeys=0
85.18 => wckTime=81.661 cpuTime=81.13 mem=71M345
107.49
107.49 search
107.49 run=11 nbConstraintChecks=2446069 nbValidityChecks=174198 nbPropagations=882573 nbRevisions=5982543
107.49 nbUselessRevisions=5202466 nbAssignments=9294 nbFailedAssignments=820 nbBacktracks=2606 nbVisitedNodes=10627
107.49 nbRestartNogoods=29 mapSize=1276 nbInferences=14 nbTooLargeKeys=0
107.49 => wckTime=103.966 cpuTime=103.28 mem=33M412
136.79
136.79 search
136.79 run=12 nbConstraintChecks=6201219 nbValidityChecks=486859 nbPropagations=1344733 nbRevisions=10352145
136.79 nbUselessRevisions=9091749 nbAssignments=12254 nbFailedAssignments=1945 nbBacktracks=3903 nbVisitedNodes=14798
136.79 nbRestartNogoods=35 mapSize=2436 nbInferences=22 nbTooLargeKeys=0
136.79 => wckTime=133.269 cpuTime=132.43 mem=39M435
208.24
208.24 search
208.24 run=13 nbConstraintChecks=10635130 nbValidityChecks=638378 nbPropagations=1987171 nbRevisions=17476803
208.24 nbUselessRevisions=15531957 nbAssignments=17845 nbFailedAssignments=2949 nbBacktracks=5185 nbVisitedNodes=21532
208.24 nbRestartNogoods=36 mapSize=3548 nbInferences=27 nbTooLargeKeys=0
208.24 => wckTime=204.721 cpuTime=203.48 mem=46M462
208.24
208.24 global
208.24 nbConstraintChecks=10909262 nbValidityChecks=640209 nbPropagations=2006501 nbRevisions=17629322
208.24 nbUselessRevisions=15672935 nbRestartNogoods=36 solvingWckTime=204.722 solvingCpuTime=203.48 expiredTime=no
208.24 totalExploration=no nbFoundSolutions=1 globalCpuTime=206.16
208.24 => wckTime=207.952 cpuTime=206.11 mem=46M462
208.25
208.25 s SATISFIABLE
208.25 v 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 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 1 0 0 1 0 1 1 0 0 1 1 0 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 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 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 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 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 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 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 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 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 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 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 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 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 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 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 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 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 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 1 0 0 1 0 1 1 0 0 1 1 0 0 1 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 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 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 1 0 1 1 0 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 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 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 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 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 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 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 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 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 0 1 1 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1
208.25 d NODES 17845
208.25 d CHECKS 10909262
208.25
208.25 totalWckTime=208.028 totalCpuTime=206.16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-215145-1168233578 -o ROOT/results/node14/solver-215145-1168233578 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215145-1168233578/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.92 1.95 1.97 4/94 15143
/proc/meminfo: memFree=1662096/2055920 swapFree=4182236/4192956
[pid=15142] ppid=15140 vsize=172 CPUtime=0
/proc/15142/stat : 15142 (java) R 15140 15142 14047 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 171752739 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6927140 0 0 4096 0 0 0 0 17 0 0 0
/proc/15142/statm: 43 24 18 14 0 3 0
[startup+0.108397 s]
/proc/loadavg: 1.92 1.95 1.97 4/94 15143
/proc/meminfo: memFree=1662096/2055920 swapFree=4182236/4192956
[pid=15142] ppid=15140 vsize=914988 CPUtime=0.09
/proc/15142/stat : 15142 (java) R 15140 15142 14047 0 -1 0 3080 0 1 0 8 1 0 0 24 0 8 0 171752739 936947712 2826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155770466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15142/statm: 228747 2826 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516433 s]
/proc/loadavg: 1.92 1.95 1.97 4/94 15143
/proc/meminfo: memFree=1662096/2055920 swapFree=4182236/4192956
[pid=15142] ppid=15140 vsize=915328 CPUtime=0.49
/proc/15142/stat : 15142 (java) R 15140 15142 14047 0 -1 0 6640 0 1 0 45 4 0 0 25 0 8 0 171752739 937295872 6379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15142/statm: 228832 6379 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33751 s]
/proc/loadavg: 1.92 1.95 1.97 3/101 15150
/proc/meminfo: memFree=1600728/2055920 swapFree=4182236/4192956
[pid=15142] ppid=15140 vsize=915636 CPUtime=1.31
/proc/15142/stat : 15142 (java) R 15140 15142 14047 0 -1 0 17737 0 1 0 119 12 0 0 25 0 8 0 171752739 937611264 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828055 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15142/statm: 228909 17475 2178 14 0 215379 0
[pid=15142/tid=15144] ppid=15140 vsize=915636 CPUtime=0.04
/proc/15142/task/15144/stat : 15144 (java) S 15140 15142 14047 0 -1 64 1131 0 0 0 4 0 0 0 17 0 8 0 171752743 937611264 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15145] ppid=15140 vsize=915636 CPUtime=0
/proc/15142/task/15145/stat : 15145 (java) S 15140 15142 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171752743 937611264 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15146] ppid=15140 vsize=915636 CPUtime=0
/proc/15142/task/15146/stat : 15146 (java) S 15140 15142 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171752743 937611264 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15147] ppid=15140 vsize=915636 CPUtime=0
/proc/15142/task/15147/stat : 15147 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171752746 937611264 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15148] ppid=15140 vsize=915636 CPUtime=0.14
/proc/15142/task/15148/stat : 15148 (java) S 15140 15142 14047 0 -1 64 417 0 0 0 14 0 0 0 16 0 8 0 171752746 937611264 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15149] ppid=15140 vsize=915636 CPUtime=0
/proc/15142/task/15149/stat : 15149 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171752746 937611264 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15150] ppid=15140 vsize=915636 CPUtime=0
/proc/15142/task/15150/stat : 15150 (java) S 15140 15142 14047 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171752746 937611264 17475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915636
[startup+2.98867 s]
/proc/loadavg: 1.92 1.95 1.97 3/101 15150
/proc/meminfo: memFree=1587096/2055920 swapFree=4182236/4192956
[pid=15142] ppid=15140 vsize=915636 CPUtime=2.93
/proc/15142/stat : 15142 (java) R 15140 15142 14047 0 -1 0 21117 0 1 0 203 90 0 0 25 0 8 0 171752739 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15142/statm: 228909 20854 2188 14 0 215379 0
[pid=15142/tid=15144] ppid=15140 vsize=915636 CPUtime=0.13
/proc/15142/task/15144/stat : 15144 (java) S 15140 15142 14047 0 -1 64 4463 0 0 0 11 2 0 0 16 0 8 0 171752743 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15145] ppid=15140 vsize=915636 CPUtime=0
/proc/15142/task/15145/stat : 15145 (java) S 15140 15142 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171752743 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15146] ppid=15140 vsize=915640 CPUtime=0
/proc/15142/task/15146/stat : 15146 (java) S 15140 15142 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171752743 937615360 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15147] ppid=15140 vsize=915636 CPUtime=0
/proc/15142/task/15147/stat : 15147 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171752746 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15148] ppid=15140 vsize=915636 CPUtime=0.18
/proc/15142/task/15148/stat : 15148 (java) S 15140 15142 14047 0 -1 64 442 0 0 0 18 0 0 0 16 0 8 0 171752746 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15149] ppid=15140 vsize=915636 CPUtime=0
/proc/15142/task/15149/stat : 15149 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171752746 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15150] ppid=15140 vsize=915636 CPUtime=0
/proc/15142/task/15150/stat : 15150 (java) S 15140 15142 14047 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171752746 937611264 20854 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) 915636
[startup+6.28698 s]
/proc/loadavg: 1.93 1.95 1.97 3/101 15150
/proc/meminfo: memFree=1571416/2055920 swapFree=4182236/4192956
[pid=15142] ppid=15140 vsize=915872 CPUtime=6.2
/proc/15142/stat : 15142 (java) R 15140 15142 14047 0 -1 0 25407 0 1 0 528 92 0 0 25 0 8 0 171752739 937852928 25085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074198777 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15142/statm: 228968 25085 2546 14 0 215438 0
[pid=15142/tid=15144] ppid=15140 vsize=915872 CPUtime=0.3
/proc/15142/task/15144/stat : 15144 (java) S 15140 15142 14047 0 -1 64 8234 0 0 0 27 3 0 0 16 0 8 0 171752743 937852928 25085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15145] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15145/stat : 15145 (java) S 15140 15142 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171752743 937852928 25085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15146] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15146/stat : 15146 (java) S 15140 15142 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171752743 937852928 25085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15147] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15147/stat : 15147 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171752746 937852928 25085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15148] ppid=15140 vsize=915872 CPUtime=0.29
/proc/15142/task/15148/stat : 15148 (java) S 15140 15142 14047 0 -1 64 514 0 0 0 28 1 0 0 15 0 8 0 171752746 937852928 25085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15149] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15149/stat : 15149 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171752746 937852928 25085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15150] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15150/stat : 15150 (java) S 15140 15142 14047 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171752746 937852928 25085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915872
[startup+12.7686 s]
/proc/loadavg: 1.93 1.95 1.97 3/101 15150
/proc/meminfo: memFree=1571352/2055920 swapFree=4182236/4192956
[pid=15142] ppid=15140 vsize=915872 CPUtime=12.66
/proc/15142/stat : 15142 (java) R 15140 15142 14047 0 -1 0 25410 0 1 0 1174 92 0 0 25 0 8 0 171752739 937852928 25087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074198766 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15142/statm: 228968 25087 2546 14 0 215438 0
[pid=15142/tid=15144] ppid=15140 vsize=915872 CPUtime=0.3
/proc/15142/task/15144/stat : 15144 (java) S 15140 15142 14047 0 -1 64 8234 0 0 0 27 3 0 0 17 0 8 0 171752743 937852928 25087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15145] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15145/stat : 15145 (java) S 15140 15142 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171752743 937852928 25087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15146] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15146/stat : 15146 (java) S 15140 15142 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171752743 937852928 25087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15147] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15147/stat : 15147 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171752746 937852928 25087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15148] ppid=15140 vsize=915872 CPUtime=0.3
/proc/15142/task/15148/stat : 15148 (java) S 15140 15142 14047 0 -1 64 517 0 0 0 29 1 0 0 16 0 8 0 171752746 937852928 25087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15149] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15149/stat : 15149 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171752746 937852928 25087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15150] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15150/stat : 15150 (java) S 15140 15142 14047 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171752746 937852928 25087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915872
[startup+25.6158 s]
/proc/loadavg: 2.02 1.97 1.97 3/101 15150
/proc/meminfo: memFree=1571416/2055920 swapFree=4182236/4192956
[pid=15142] ppid=15140 vsize=915872 CPUtime=25.45
/proc/15142/stat : 15142 (java) R 15140 15142 14047 0 -1 0 25421 0 1 0 2452 93 0 0 25 0 8 0 171752739 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074186029 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15142/statm: 228968 25095 2546 14 0 215438 0
[pid=15142/tid=15144] ppid=15140 vsize=915872 CPUtime=0.3
/proc/15142/task/15144/stat : 15144 (java) S 15140 15142 14047 0 -1 64 8234 0 0 0 27 3 0 0 16 0 8 0 171752743 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15145] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15145/stat : 15145 (java) S 15140 15142 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171752743 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15146] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15146/stat : 15146 (java) S 15140 15142 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171752743 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15147] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15147/stat : 15147 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171752746 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15148] ppid=15140 vsize=915872 CPUtime=0.31
/proc/15142/task/15148/stat : 15148 (java) S 15140 15142 14047 0 -1 64 527 0 0 0 30 1 0 0 16 0 8 0 171752746 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15149] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15149/stat : 15149 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171752746 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15150] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15150/stat : 15150 (java) S 15140 15142 14047 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171752746 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915872
[startup+51.2272 s]
/proc/loadavg: 2.01 1.97 1.97 3/101 15150
/proc/meminfo: memFree=1571416/2055920 swapFree=4182236/4192956
[pid=15142] ppid=15140 vsize=915872 CPUtime=50.9
/proc/15142/stat : 15142 (java) R 15140 15142 14047 0 -1 0 25450 0 1 0 4996 94 0 0 25 0 8 0 171752739 937852928 25116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074267747 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15142/statm: 228968 25116 2548 14 0 215438 0
[pid=15142/tid=15144] ppid=15140 vsize=915872 CPUtime=0.3
/proc/15142/task/15144/stat : 15144 (java) S 15140 15142 14047 0 -1 64 8234 0 0 0 27 3 0 0 16 0 8 0 171752743 937852928 25116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15145] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15145/stat : 15145 (java) S 15140 15142 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171752743 937852928 25116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15146] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15146/stat : 15146 (java) S 15140 15142 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171752743 937852928 25116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15147] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15147/stat : 15147 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171752746 937852928 25116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15148] ppid=15140 vsize=915872 CPUtime=0.36
/proc/15142/task/15148/stat : 15148 (java) S 15140 15142 14047 0 -1 64 548 0 0 0 34 2 0 0 16 0 8 0 171752746 937852928 25116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15149] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15149/stat : 15149 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171752746 937852928 25116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15150] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15150/stat : 15150 (java) S 15140 15142 14047 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171752746 937852928 25116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915872
[startup+102.439 s]
/proc/loadavg: 2.00 1.97 1.97 3/101 15150
/proc/meminfo: memFree=1570328/2055920 swapFree=4182236/4192956
[pid=15142] ppid=15140 vsize=915872 CPUtime=101.83
/proc/15142/stat : 15142 (java) R 15140 15142 14047 0 -1 0 25772 0 1 0 10089 94 0 0 25 0 8 0 171752739 937852928 25434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074166707 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15142/statm: 228968 25434 2548 14 0 215438 0
[pid=15142/tid=15144] ppid=15140 vsize=915872 CPUtime=0.32
/proc/15142/task/15144/stat : 15144 (java) S 15140 15142 14047 0 -1 64 8546 0 0 0 29 3 0 0 16 0 8 0 171752743 937852928 25434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15145] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15145/stat : 15145 (java) S 15140 15142 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171752743 937852928 25434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15146] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15146/stat : 15146 (java) S 15140 15142 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171752743 937852928 25434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15147] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15147/stat : 15147 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171752746 937852928 25434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15148] ppid=15140 vsize=915872 CPUtime=0.37
/proc/15142/task/15148/stat : 15148 (java) S 15140 15142 14047 0 -1 64 553 0 0 0 35 2 0 0 16 0 8 0 171752746 937852928 25434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15149] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15149/stat : 15149 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171752746 937852928 25434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15150] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15150/stat : 15150 (java) S 15140 15142 14047 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171752746 937852928 25434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 915872
[startup+162.498 s]
/proc/loadavg: 2.00 1.97 1.97 3/101 15150
/proc/meminfo: memFree=1570328/2055920 swapFree=4182236/4192956
[pid=15142] ppid=15140 vsize=915872 CPUtime=161.56
/proc/15142/stat : 15142 (java) R 15140 15142 14047 0 -1 0 25776 0 1 0 16062 94 0 0 25 0 8 0 171752739 937852928 25436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074266896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15142/statm: 228968 25436 2548 14 0 215438 0
[pid=15142/tid=15144] ppid=15140 vsize=915872 CPUtime=0.32
/proc/15142/task/15144/stat : 15144 (java) S 15140 15142 14047 0 -1 64 8546 0 0 0 29 3 0 0 16 0 8 0 171752743 937852928 25436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15145] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15145/stat : 15145 (java) S 15140 15142 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171752743 937852928 25436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15146] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15146/stat : 15146 (java) S 15140 15142 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171752743 937852928 25436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15147] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15147/stat : 15147 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171752746 937852928 25436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15148] ppid=15140 vsize=915872 CPUtime=0.37
/proc/15142/task/15148/stat : 15148 (java) S 15140 15142 14047 0 -1 64 555 0 0 0 35 2 0 0 16 0 8 0 171752746 937852928 25436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15149] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15149/stat : 15149 (java) S 15140 15142 14047 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 171752746 937852928 25436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15142/tid=15150] ppid=15140 vsize=915872 CPUtime=0
/proc/15142/task/15150/stat : 15150 (java) S 15140 15142 14047 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 171752746 937852928 25436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.56
Current children cumulated vsize (KiB) 915872
Child status: 0
Real time (s): 208.305
CPU time (s): 207.102
CPU user time (s): 206.137
CPU system time (s): 0.964853
CPU usage (%): 99.4223
Max. virtual memory (cumulated for all children) (KiB): 916000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 206.137
system time used= 0.964853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25786
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= 6110
involuntary context switches= 13610
runsolver used 0.264959 s user time and 0.672897 s system time
The end
Begin job on node14 on Mon Jan 8 05:19:38 UTC 2007
IDJOB= 215145
IDBENCH= 4979
FILE ID= node14/215145-1168233578
PBS_JOBID= 3481182
Free space on /tmp= 66339 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-16a1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215145-1168233578/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-215145-1168233578 -o ROOT/results/node14/solver-215145-1168233578 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215145-1168233578/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8ecf8c3b7c7aed56c5fe90cde69ab01e
RANDOM SEED= 350095170
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.227
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.227
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: 1662512 kB
Buffers: 50008 kB
Cached: 127752 kB
SwapCached: 4208 kB
Active: 238336 kB
Inactive: 102552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1662512 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 4408 kB
Writeback: 0 kB
Mapped: 179956 kB
Slab: 37032 kB
Committed_AS: 5667696 kB
PageTables: 2468 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= 66339 MiB
End job on node14 on Mon Jan 8 05:23:06 UTC 2007