0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/215406-1168078456/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.57 nbVariables=3456 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.57 => wckTime=0.256 cpuTime=0.17 mem=11M778
0.57
0.57 predicates being loaded...
0.57
0.57 constraints being loaded...
3.95 nbConstraints=26512 nbMergedConstraints=8 nbConvertedConstraints=25408 nbConvertConstraintsChecks=131336
3.95 nbExtensionStructures=2 nbSharedExtensionStructures=25406 nbConflictsStructures=5
3.95 nbSharedConflictsStructures=26507 nbSharedBinaryRepresentations=5 nbEvaluationManagers=3
3.95 nbSharedEvaluationManagers=1101 maxDegree=121 maxArity=16
3.96 => wckTime=3.643 cpuTime=3.19 mem=60M734
4.17
4.17 solver IterativeSystematicSolver being built...
4.63 => wckTime=4.317 cpuTime=3.54 mem=50M915
4.69
4.69 preprocessing
4.69 nbConstraintChecks=0 nbPropagations=3456 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
4.69 detectedInconsistency=no
4.69 => wckTime=0.053 cpuTime=0.06 mem=51M923
8.44
8.44 search
8.44 run=0 nbConstraintChecks=52764 nbValidityChecks=148 nbPropagations=6186 nbRevisions=27681
8.44 nbUselessRevisions=25171 nbAssignments=450 nbFailedAssignments=2 nbBacktracks=11 nbVisitedNodes=455
8.44 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
8.44 => wckTime=3.808 cpuTime=3.76 mem=51M923
12.31
12.31 search
12.31 run=1 nbConstraintChecks=110965 nbValidityChecks=1597 nbPropagations=16365 nbRevisions=87379
12.31 nbUselessRevisions=78580 nbAssignments=911 nbFailedAssignments=6 nbBacktracks=36 nbVisitedNodes=923
12.31 nbRestartNogoods=1 mapSize=9 nbInferences=0 nbTooLargeKeys=0
12.31 => wckTime=7.679 cpuTime=7.6 mem=52M932
16.15
16.15 search
16.15 run=2 nbConstraintChecks=173304 nbValidityChecks=5165 nbPropagations=31655 nbRevisions=183651
16.15 nbUselessRevisions=163662 nbAssignments=1373 nbFailedAssignments=11 nbBacktracks=58 nbVisitedNodes=1394
16.15 nbRestartNogoods=2 mapSize=16 nbInferences=0 nbTooLargeKeys=0
16.15 => wckTime=11.519 cpuTime=11.42 mem=52M932
20.12
20.12 search
20.12 run=3 nbConstraintChecks=249558 nbValidityChecks=7657 nbPropagations=54469 nbRevisions=323119
20.12 nbUselessRevisions=284590 nbAssignments=1840 nbFailedAssignments=19 nbBacktracks=97 nbVisitedNodes=1877
20.12 nbRestartNogoods=4 mapSize=31 nbInferences=0 nbTooLargeKeys=0
20.12 => wckTime=15.484 cpuTime=15.35 mem=52M932
24.30
24.30 search
24.30 run=4 nbConstraintChecks=327591 nbValidityChecks=12478 nbPropagations=85103 nbRevisions=509188
24.30 nbUselessRevisions=444469 nbAssignments=2309 nbFailedAssignments=27 nbBacktracks=154 nbVisitedNodes=2362
24.30 nbRestartNogoods=5 mapSize=46 nbInferences=0 nbTooLargeKeys=0
24.30 => wckTime=19.663 cpuTime=19.51 mem=53M940
28.03
28.03 search
28.03 run=5 nbConstraintChecks=467473 nbValidityChecks=19461 nbPropagations=129355 nbRevisions=778509
28.03 nbUselessRevisions=673963 nbAssignments=2744 nbFailedAssignments=42 nbBacktracks=230 nbVisitedNodes=2827
28.03 nbRestartNogoods=6 mapSize=74 nbInferences=0 nbTooLargeKeys=0
28.03 => wckTime=23.396 cpuTime=23.22 mem=53M940
31.78
31.78 search
31.78 run=6 nbConstraintChecks=766923 nbValidityChecks=29925 nbPropagations=196029 nbRevisions=1226080
31.78 nbUselessRevisions=1058726 nbAssignments=3189 nbFailedAssignments=87 nbBacktracks=346 nbVisitedNodes=3340
31.78 nbRestartNogoods=8 mapSize=141 nbInferences=0 nbTooLargeKeys=0
31.78 => wckTime=27.145 cpuTime=26.95 mem=53M940
37.09
37.09 search
37.09 run=7 nbConstraintChecks=1212133 nbValidityChecks=47238 nbPropagations=292501 nbRevisions=1942445
37.09 nbUselessRevisions=1681488 nbAssignments=3688 nbFailedAssignments=146 nbBacktracks=523 nbVisitedNodes=3939
37.09 nbRestartNogoods=9 mapSize=234 nbInferences=0 nbTooLargeKeys=0
37.09 => wckTime=32.459 cpuTime=32.23 mem=54M949
45.10
45.10 search
45.10 run=8 nbConstraintChecks=2141557 nbValidityChecks=93465 nbPropagations=450551 nbRevisions=3239551
45.10 nbUselessRevisions=2821099 nbAssignments=4375 nbFailedAssignments=274 nbBacktracks=780 nbVisitedNodes=4816
45.10 nbRestartNogoods=10 mapSize=410 nbInferences=0 nbTooLargeKeys=0
45.10 => wckTime=40.467 cpuTime=40.2 mem=56M966
56.83
56.83 search
56.83 run=9 nbConstraintChecks=4104926 nbValidityChecks=131619 nbPropagations=723006 nbRevisions=5810001
56.83 nbUselessRevisions=5114610 nbAssignments=5347 nbFailedAssignments=555 nbBacktracks=1170 nbVisitedNodes=6115
56.83 nbRestartNogoods=18 mapSize=717 nbInferences=9 nbTooLargeKeys=0
56.83 => wckTime=52.196 cpuTime=51.87 mem=58M983
72.49
72.49 search
72.49 run=10 nbConstraintChecks=8264515 nbValidityChecks=399057 nbPropagations=1189607 nbRevisions=11320706
72.49 nbUselessRevisions=10145632 nbAssignments=6625 nbFailedAssignments=991 nbBacktracks=1768 nbVisitedNodes=7876
72.49 nbRestartNogoods=25 mapSize=1180 nbInferences=11 nbTooLargeKeys=0
72.49 => wckTime=67.86 cpuTime=67.45 mem=62M8
94.80
94.80 search
94.80 run=11 nbConstraintChecks=14884871 nbValidityChecks=672504 nbPropagations=1934508 nbRevisions=21282107
94.80 nbUselessRevisions=19335484 nbAssignments=8365 nbFailedAssignments=1630 nbBacktracks=2649 nbVisitedNodes=10329
94.80 nbRestartNogoods=33 mapSize=1875 nbInferences=14 nbTooLargeKeys=0
94.80 => wckTime=90.171 cpuTime=89.66 mem=65M34
125.62
125.62 search
125.62 run=12 nbConstraintChecks=19507519 nbValidityChecks=856048 nbPropagations=2875237 nbRevisions=34404124
125.62 nbUselessRevisions=31481092 nbAssignments=10318 nbFailedAssignments=2092 nbBacktracks=3971 nbVisitedNodes=12774
125.62 nbRestartNogoods=34 mapSize=2360 nbInferences=17 nbTooLargeKeys=0
125.62 => wckTime=120.984 cpuTime=120.33 mem=71M85
169.93
169.93 search
169.93 run=13 nbConstraintChecks=32140947 nbValidityChecks=1074406 nbPropagations=4355698 nbRevisions=55915617
169.93 nbUselessRevisions=51449138 nbAssignments=13634 nbFailedAssignments=3338 nbBacktracks=5933 nbVisitedNodes=17469
169.93 nbRestartNogoods=35 mapSize=3678 nbInferences=62 nbTooLargeKeys=0
169.93 => wckTime=165.297 cpuTime=164.42 mem=78M144
229.90
229.90 search
229.90 run=14 nbConstraintChecks=55826209 nbValidityChecks=1919018 nbPropagations=6690244 nbRevisions=92244807
229.90 nbUselessRevisions=85328084 nbAssignments=18960 nbFailedAssignments=5612 nbBacktracks=8866 nbVisitedNodes=25407
229.90 nbRestartNogoods=36 mapSize=6256 nbInferences=99 nbTooLargeKeys=0
229.90 => wckTime=225.263 cpuTime=224.22 mem=88M229
339.20
339.20 search
339.20 run=15 nbConstraintChecks=94180632 nbValidityChecks=3407868 nbPropagations=10645514 nbRevisions=154652948
339.20 nbUselessRevisions=143586956 nbAssignments=26885 nbFailedAssignments=9011 nbBacktracks=13245
339.20 nbVisitedNodes=37370 nbRestartNogoods=40 mapSize=10265 nbInferences=99 nbTooLargeKeys=0
339.20 => wckTime=334.571 cpuTime=333.2 mem=80M324
487.88
487.88 search
487.88 run=16 nbConstraintChecks=146435916 nbValidityChecks=4413565 nbPropagations=16539129 nbRevisions=249385832
487.88 nbUselessRevisions=232121477 nbAssignments=38540 nbFailedAssignments=14019 nbBacktracks=19825
487.88 nbVisitedNodes=54702 nbRestartNogoods=68 mapSize=15919 nbInferences=100 nbTooLargeKeys=0
487.88 => wckTime=483.245 cpuTime=481.06 mem=102M511
598.12
598.12 INFO : Stopping hyperNogood (mapSize=20042, nbTooLargekeys=0, mem=111M238)
629.08
629.08 search
629.08 run=17 nbConstraintChecks=225517503 nbValidityChecks=6457910 nbPropagations=25279616 nbRevisions=392832061
629.08 nbUselessRevisions=366361713 nbAssignments=58588 nbFailedAssignments=21437 nbBacktracks=28999
629.08 nbVisitedNodes=83358 nbRestartNogoods=77
629.08 => wckTime=624.45 cpuTime=621.27 mem=111M238
629.08
629.08 global
629.08 nbConstraintChecks=225517503 nbValidityChecks=6457910 nbPropagations=25283072 nbRevisions=392832061
629.08 nbUselessRevisions=366361713 nbRestartNogoods=77 solvingWckTime=624.451 solvingCpuTime=621.27 expiredTime=no
629.08 totalExploration=no nbFoundSolutions=1 globalCpuTime=624.86
629.08 => wckTime=628.773 cpuTime=624.81 mem=111M238
629.09
629.09 s SATISFIABLE
629.09 v 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 0 1 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 1 0 1 0 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 1 0 1 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 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 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 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 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 1 0 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 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 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 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 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 1 0 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 1 0 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 1 0 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 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 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 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 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 1 0 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 1 0 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 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 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 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 1 0 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 1 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 1 0 1 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 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 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 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 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 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 1 0 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 0 1 1 0 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 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 1 0 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 1 0 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 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 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 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 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 1 0 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 0 1 0 1 0 1 1 0 0 1
629.09 d NODES 58588
629.09 d CHECKS 225517503
629.09
629.09 totalWckTime=628.855 totalCpuTime=624.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-215406-1168078456 -o ROOT/results/node14/solver-215406-1168078456 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215406-1168078456/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.84 1.95 1.98 4/93 26025
/proc/meminfo: memFree=1375072/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=906644 CPUtime=0.02
/proc/26024/stat : 26024 (java) S 26022 26024 25217 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 156240556 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 226661 1817 1036 14 0 214244 0
[pid=26024/tid=26026] ppid=26022 vsize=906644 CPUtime=0
/proc/26024/task/26026/stat : 26026 (java) R 26022 26024 25217 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 156240560 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103352 s]
/proc/loadavg: 1.84 1.95 1.98 4/93 26025
/proc/meminfo: memFree=1375072/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=914988 CPUtime=0.08
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 3005 0 1 0 7 1 0 0 18 0 8 0 156240556 936947712 2751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020604 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228747 2751 1430 14 0 215242 0
[pid=26024/tid=26026] ppid=26022 vsize=914988 CPUtime=0
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156240560 936947712 2751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511392 s]
/proc/loadavg: 1.84 1.95 1.98 4/93 26025
/proc/meminfo: memFree=1375072/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915328 CPUtime=0.49
/proc/26024/stat : 26024 (java) S 26022 26024 25217 0 -1 0 6592 0 1 0 44 5 0 0 17 0 8 0 156240556 937295872 6331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228832 6331 2135 14 0 215302 0
[pid=26024/tid=26026] ppid=26022 vsize=915328 CPUtime=0
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156240560 937295872 6331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33247 s]
/proc/loadavg: 1.84 1.95 1.98 3/100 26032
/proc/meminfo: memFree=1314920/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915636 CPUtime=1.31
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 18094 0 1 0 120 11 0 0 21 0 8 0 156240556 937611264 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228909 17831 2157 14 0 215379 0
[pid=26024/tid=26026] ppid=26022 vsize=915636 CPUtime=0.05
/proc/26024/task/26026/stat : 26026 (java) R 26022 26024 25217 0 -1 64 1561 0 0 0 5 0 0 0 16 0 8 0 156240560 937611264 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937611264 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156240561 937611264 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937611264 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915636 CPUtime=0.16
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 405 0 0 0 15 1 0 0 16 0 8 0 156240564 937611264 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937611264 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937611264 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915636
[startup+2.97063 s]
/proc/loadavg: 1.84 1.95 1.98 3/100 26032
/proc/meminfo: memFree=1306792/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915636 CPUtime=2.94
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 24238 0 1 0 226 68 0 0 25 0 8 0 156240556 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228909 23974 2178 14 0 215379 0
[pid=26024/tid=26026] ppid=26022 vsize=915636 CPUtime=0.21
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 7610 0 0 0 19 2 0 0 18 0 8 0 156240560 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156240561 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915636 CPUtime=0.21
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 435 0 0 0 20 1 0 0 16 0 8 0 156240564 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915636
[startup+6.17493 s]
/proc/loadavg: 1.85 1.95 1.98 3/100 26032
/proc/meminfo: memFree=1270120/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=6.13
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 28944 0 1 0 491 122 0 0 25 0 8 0 156240556 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074171738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228968 28614 2534 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.45
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 11786 0 0 0 41 4 0 0 17 0 8 0 156240560 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.36
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 519 0 0 0 34 2 0 0 15 0 8 0 156240564 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915872
[startup+12.6505 s]
/proc/loadavg: 1.87 1.95 1.98 3/100 26032
/proc/meminfo: memFree=1270264/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=12.57
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 28966 0 1 0 1134 123 0 0 25 0 8 0 156240556 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074192303 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228968 28632 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.45
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 11786 0 0 0 41 4 0 0 17 0 8 0 156240560 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.39
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 534 0 0 0 37 2 0 0 15 0 8 0 156240564 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915872
[startup+25.5288 s]
/proc/loadavg: 1.89 1.95 1.98 3/100 26032
/proc/meminfo: memFree=1270392/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=25.39
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 28977 0 1 0 2416 123 0 0 25 0 8 0 156240556 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228968 28640 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.45
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 11786 0 0 0 41 4 0 0 16 0 8 0 156240560 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.4
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 543 0 0 0 38 2 0 0 16 0 8 0 156240564 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915872
[startup+51.1642 s]
/proc/loadavg: 1.93 1.96 1.98 3/100 26032
/proc/meminfo: memFree=1270456/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=50.89
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 28981 0 1 0 4966 123 0 0 25 0 8 0 156240556 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228968 28642 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.45
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 11786 0 0 0 41 4 0 0 16 0 8 0 156240560 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.41
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 546 0 0 0 39 2 0 0 16 0 8 0 156240564 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915872
[startup+102.428 s]
/proc/loadavg: 1.97 1.96 1.98 3/100 26032
/proc/meminfo: memFree=1270456/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=101.92
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 28993 0 1 0 10068 124 0 0 25 0 8 0 156240556 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074173889 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228968 28648 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.45
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 11786 0 0 0 41 4 0 0 16 0 8 0 156240560 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 553 0 0 0 40 2 0 0 17 0 8 0 156240564 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915872
################
# More data... #
################
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 915872
[startup+222.532 s]
/proc/loadavg: 1.94 1.96 1.97 3/100 26088
/proc/meminfo: memFree=1288752/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=221.55
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 28994 0 1 0 22030 125 0 0 25 0 8 0 156240556 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228968 28649 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.45
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 11786 0 0 0 41 4 0 0 16 0 8 0 156240560 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.55
Current children cumulated vsize (KiB) 915872
[startup+282.597 s]
/proc/loadavg: 1.97 1.96 1.97 3/100 26090
/proc/meminfo: memFree=1265776/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=281.53
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 34700 0 1 0 28026 127 0 0 25 0 8 0 156240556 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074171738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228968 34354 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.51
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 17491 0 0 0 45 6 0 0 16 0 8 0 156240560 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.53
Current children cumulated vsize (KiB) 915872
[startup+342.659 s]
/proc/loadavg: 1.99 1.97 1.97 3/100 26090
/proc/meminfo: memFree=1265840/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=341.36
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 34700 0 1 0 34009 127 0 0 25 0 8 0 156240556 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228968 34354 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.51
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 17491 0 0 0 45 6 0 0 16 0 8 0 156240560 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.36
Current children cumulated vsize (KiB) 915872
[startup+402.717 s]
/proc/loadavg: 2.07 1.99 1.98 3/100 26090
/proc/meminfo: memFree=1265904/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=401.11
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 34700 0 1 0 39983 128 0 0 25 0 8 0 156240556 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074171738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228968 34354 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.51
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 17491 0 0 0 45 6 0 0 16 0 8 0 156240560 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.11
Current children cumulated vsize (KiB) 915872
[startup+462.778 s]
/proc/loadavg: 2.02 1.99 1.98 4/100 26090
/proc/meminfo: memFree=1265904/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=460.83
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 34700 0 1 0 45955 128 0 0 25 0 8 0 156240556 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074171738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228968 34354 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.51
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 17491 0 0 0 45 6 0 0 16 0 8 0 156240560 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.83
Current children cumulated vsize (KiB) 915872
[startup+522.837 s]
/proc/loadavg: 2.01 1.99 1.98 3/100 26090
/proc/meminfo: memFree=1265840/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=520.57
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 34700 0 1 0 51929 128 0 0 25 0 8 0 156240556 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073865546 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228968 34354 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.51
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 17491 0 0 0 45 6 0 0 16 0 8 0 156240560 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.57
Current children cumulated vsize (KiB) 915872
[startup+582.903 s]
/proc/loadavg: 2.00 1.99 1.98 3/100 26090
/proc/meminfo: memFree=1223664/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=580.32
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 45275 0 1 0 57900 132 0 0 25 0 8 0 156240556 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074171738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228968 44928 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.6
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 28065 0 0 0 51 9 0 0 16 0 8 0 156240560 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.32
Current children cumulated vsize (KiB) 915872
Child status: 0
Real time (s): 629.146
CPU time (s): 626.15
CPU user time (s): 624.788
CPU system time (s): 1.36179
CPU usage (%): 99.5238
Max. virtual memory (cumulated for all children) (KiB): 915992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 624.788
system time used= 1.36179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45285
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= 14380
involuntary context switches= 26817
runsolver used 0.793879 s user time and 2.00069 s system time
The end
Begin job on node14 on Sat Jan 6 10:14:16 UTC 2007
IDJOB= 215406
IDBENCH= 4999
FILE ID= node14/215406-1168078456
PBS_JOBID= 3475803
Free space on /tmp= 66324 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 mac.xml 1 XSax /tmp/evaluation/215406-1168078456/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-215406-1168078456 -o ROOT/results/node14/solver-215406-1168078456 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215406-1168078456/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4163ccc10de5ab641614c8f6bd263422
RANDOM SEED= 302987041
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: 1375552 kB
Buffers: 57856 kB
Cached: 389356 kB
SwapCached: 3696 kB
Active: 218460 kB
Inactive: 361636 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1375552 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 5168 kB
Writeback: 0 kB
Mapped: 152324 kB
Slab: 84936 kB
Committed_AS: 5496936 kB
PageTables: 2380 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= 66325 MiB
End job on node14 on Sat Jan 6 10:24:47 UTC 2007