0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/210737-1168075188/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.62 nbVariables=4622 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.62 => wckTime=0.29 cpuTime=0.2 mem=14M704
0.62
0.62 predicates being loaded...
0.63
0.63 constraints being loaded...
2.70 nbConstraints=11909 nbMergedConstraints=659 nbSingletonDomainVariables=27 nbConvertedConstraints=7752
2.70 nbConvertConstraintsChecks=42043 nbExtensionStructures=8 nbSharedExtensionStructures=7744
2.70 nbConflictsStructures=42 nbSharedConflictsStructures=11867 nbSharedBinaryRepresentations=19
2.70 nbEvaluationManagers=34 nbSharedEvaluationManagers=4123 maxDegree=187 maxArity=11
2.70 => wckTime=2.37 cpuTime=1.94 mem=28M808
2.81
2.81 solver IterativeSystematicSolver being built...
3.27 => wckTime=2.943 cpuTime=2.31 mem=33M879
3.32
3.32 preprocessing
3.32 nbConstraintChecks=0 nbPropagations=4622 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.32 detectedInconsistency=no
3.32 => wckTime=0.037 cpuTime=0.02 mem=34M895
5.81
5.81 search
5.81 run=0 nbConstraintChecks=43392 nbValidityChecks=41541 nbPropagations=8817 nbRevisions=40589
5.81 nbUselessRevisions=36440 nbAssignments=271 nbFailedAssignments=6 nbBacktracks=14 nbVisitedNodes=289
5.81 nbRestartNogoods=0 mapSize=14 nbInferences=0 nbTooLargeKeys=0
5.81 => wckTime=2.529 cpuTime=2.45 mem=35M910
8.20
8.20 search
8.20 run=1 nbConstraintChecks=74013 nbValidityChecks=88528 nbPropagations=21831 nbRevisions=121375
8.20 nbUselessRevisions=108939 nbAssignments=543 nbFailedAssignments=10 nbBacktracks=31 nbVisitedNodes=578
8.20 nbRestartNogoods=3 mapSize=30 nbInferences=0 nbTooLargeKeys=0
8.20 => wckTime=4.926 cpuTime=4.82 mem=35M910
10.47
10.47 search
10.47 run=2 nbConstraintChecks=100228 nbValidityChecks=130894 nbPropagations=38857 nbRevisions=239560
10.47 nbUselessRevisions=214899 nbAssignments=801 nbFailedAssignments=12 nbBacktracks=58 nbVisitedNodes=842
10.47 nbRestartNogoods=4 mapSize=35 nbInferences=0 nbTooLargeKeys=0
10.47 => wckTime=7.192 cpuTime=7.07 mem=36M926
13.03
13.03 search
13.03 run=3 nbConstraintChecks=129014 nbValidityChecks=177451 nbPropagations=59976 nbRevisions=397848
13.03 nbUselessRevisions=356939 nbAssignments=1088 nbFailedAssignments=15 nbBacktracks=110 nbVisitedNodes=1140
13.03 nbRestartNogoods=5 mapSize=44 nbInferences=1 nbTooLargeKeys=0
13.03 => wckTime=9.753 cpuTime=9.6 mem=36M926
15.62
15.62 search
15.62 run=4 nbConstraintChecks=157058 nbValidityChecks=220758 nbPropagations=85055 nbRevisions=593951
15.62 nbUselessRevisions=532897 nbAssignments=1380 nbFailedAssignments=19 nbBacktracks=165 nbVisitedNodes=1446
15.62 nbRestartNogoods=7 mapSize=56 nbInferences=3 nbTooLargeKeys=0
15.62 => wckTime=12.345 cpuTime=12.17 mem=36M926
18.53
18.53 search
18.53 run=5 nbConstraintChecks=188530 nbValidityChecks=266435 nbPropagations=114206 nbRevisions=829476
18.53 nbUselessRevisions=744256 nbAssignments=1704 nbFailedAssignments=27 nbBacktracks=247 nbVisitedNodes=1791
18.53 nbRestartNogoods=9 mapSize=74 nbInferences=6 nbTooLargeKeys=0
18.53 => wckTime=15.255 cpuTime=15.03 mem=37M942
21.77
21.77 search
21.77 run=6 nbConstraintChecks=220651 nbValidityChecks=317053 nbPropagations=147550 nbRevisions=1107854
21.77 nbUselessRevisions=994339 nbAssignments=2064 nbFailedAssignments=36 nbBacktracks=361 nbVisitedNodes=2168
21.77 nbRestartNogoods=12 mapSize=87 nbInferences=10 nbTooLargeKeys=0
21.77 => wckTime=18.49 cpuTime=18.24 mem=37M942
25.42
25.42 search
25.42 run=7 nbConstraintChecks=308777 nbValidityChecks=408643 nbPropagations=188205 nbRevisions=1463164
25.42 nbUselessRevisions=1313932 nbAssignments=2477 nbFailedAssignments=68 nbBacktracks=551 nbVisitedNodes=2676
25.42 nbRestartNogoods=16 mapSize=181 nbInferences=10 nbTooLargeKeys=0
25.42 => wckTime=22.146 cpuTime=21.86 mem=38M958
28.78
28.78 search
28.78 run=8 nbConstraintChecks=351104 nbValidityChecks=453979 nbPropagations=235172 nbRevisions=1868361
28.78 nbUselessRevisions=1677019 nbAssignments=2891 nbFailedAssignments=100 nbBacktracks=810 nbVisitedNodes=3162
28.78 nbRestartNogoods=17 mapSize=252 nbInferences=10 nbTooLargeKeys=0
28.78 => wckTime=25.507 cpuTime=25.19 mem=39M973
32.40
32.40 search
32.40 run=9 nbConstraintChecks=394096 nbValidityChecks=492654 nbPropagations=287272 nbRevisions=2315789
32.40 nbUselessRevisions=2077087 nbAssignments=3365 nbFailedAssignments=129 nbBacktracks=1199 nbVisitedNodes=3706
32.40 nbRestartNogoods=18 mapSize=321 nbInferences=10 nbTooLargeKeys=0
32.40 => wckTime=29.121 cpuTime=28.78 mem=39M973
37.31
37.31 search
37.31 run=10 nbConstraintChecks=471739 nbValidityChecks=538742 nbPropagations=348233 nbRevisions=2825824
37.31 nbUselessRevisions=2530674 nbAssignments=4024 nbFailedAssignments=170 nbBacktracks=1778 nbVisitedNodes=4487
37.31 nbRestartNogoods=19 mapSize=440 nbInferences=10 nbTooLargeKeys=0
37.31 => wckTime=34.034 cpuTime=33.63 mem=40M989
46.65
46.65 search
46.65 run=11 nbConstraintChecks=758290 nbValidityChecks=733807 nbPropagations=446410 nbRevisions=3581091
46.65 nbUselessRevisions=3189228 nbAssignments=5152 nbFailedAssignments=283 nbBacktracks=2655 nbVisitedNodes=5961
46.65 nbRestartNogoods=22 mapSize=778 nbInferences=10 nbTooLargeKeys=0
46.65 => wckTime=43.374 cpuTime=42.89 mem=43M20
59.08
59.08 search
59.08 run=12 nbConstraintChecks=1010184 nbValidityChecks=894805 nbPropagations=577820 nbRevisions=4558929
59.08 nbUselessRevisions=4034705 nbAssignments=6758 nbFailedAssignments=478 nbBacktracks=3960 nbVisitedNodes=7936
59.08 nbRestartNogoods=30 mapSize=1145 nbInferences=10 nbTooLargeKeys=0
59.08 => wckTime=55.801 cpuTime=55.2 mem=46M67
79.64
79.64 search
79.64 run=13 nbConstraintChecks=1924809 nbValidityChecks=1643963 nbPropagations=762716 nbRevisions=6180107
79.64 nbUselessRevisions=5462324 nbAssignments=9201 nbFailedAssignments=788 nbBacktracks=5930 nbVisitedNodes=11122
79.64 nbRestartNogoods=32 mapSize=1861 nbInferences=39 nbTooLargeKeys=0
79.64 => wckTime=76.367 cpuTime=75.59 mem=49M115
106.46
106.46 search
106.46 run=14 nbConstraintChecks=2498018 nbValidityChecks=1998781 nbPropagations=1031640 nbRevisions=8366980
106.46 nbUselessRevisions=7366320 nbAssignments=12587 nbFailedAssignments=1014 nbBacktracks=8862 nbVisitedNodes=15026
106.46 nbRestartNogoods=39 mapSize=2370 nbInferences=40 nbTooLargeKeys=0
106.46 => wckTime=103.184 cpuTime=102.16 mem=55M209
147.45
147.45 search
147.45 run=15 nbConstraintChecks=3297536 nbValidityChecks=2725138 nbPropagations=1425239 nbRevisions=11482152
147.45 nbUselessRevisions=10067149 nbAssignments=17420 nbFailedAssignments=1364 nbBacktracks=13250
147.45 nbVisitedNodes=20678 nbRestartNogoods=48 mapSize=3185 nbInferences=41 nbTooLargeKeys=0
147.45 => wckTime=144.174 cpuTime=142.79 mem=62M319
243.31
243.31 search
243.31 run=16 nbConstraintChecks=3837693 nbValidityChecks=3386405 nbPropagations=1874028 nbRevisions=15193035
243.31 nbUselessRevisions=13311869 nbAssignments=26490 nbFailedAssignments=1405 nbBacktracks=19820
243.31 nbVisitedNodes=32005 nbRestartNogoods=52 mapSize=5434 nbInferences=2176 nbTooLargeKeys=0
243.31 => wckTime=240.038 cpuTime=237.77 mem=34M816
396.41
396.41 search
396.41 run=17 nbConstraintChecks=4544969 nbValidityChecks=4341810 nbPropagations=2381920 nbRevisions=19667811
396.41 nbUselessRevisions=17268979 nbAssignments=40453 nbFailedAssignments=1418 nbBacktracks=29672
396.41 nbVisitedNodes=49773 nbRestartNogoods=60 mapSize=9232 nbInferences=5962 nbTooLargeKeys=0
396.41 => wckTime=393.138 cpuTime=389.51 mem=48M936
617.42
617.42 search
617.42 run=18 nbConstraintChecks=5603156 nbValidityChecks=5739791 nbPropagations=2981641 nbRevisions=25282308
617.42 nbUselessRevisions=22284955 nbAssignments=61142 nbFailedAssignments=1454 nbBacktracks=44452
617.42 nbVisitedNodes=76071 nbRestartNogoods=67 mapSize=14836 nbInferences=11501 nbTooLargeKeys=0
617.42 => wckTime=614.147 cpuTime=608.81 mem=71M126
863.32
863.32 search
863.32 run=19 nbConstraintChecks=11406253 nbValidityChecks=9645113 nbPropagations=4354971 nbRevisions=36286715
863.32 nbUselessRevisions=31890345 nbAssignments=87216 nbFailedAssignments=3081 nbBacktracks=66620
863.32 nbVisitedNodes=108088 nbRestartNogoods=72 mapSize=20770 nbInferences=13545 nbTooLargeKeys=0
863.32 => wckTime=860.041 cpuTime=853.39 mem=66M978
1213.92
1213.92 search
1213.92 run=20 nbConstraintChecks=24546938 nbValidityChecks=19037541 nbPropagations=7638647 nbRevisions=61465657
1213.92 nbUselessRevisions=53579475 nbAssignments=125835 nbFailedAssignments=7509 nbBacktracks=99872
1213.92 nbVisitedNodes=159843 nbRestartNogoods=81 mapSize=33895 nbInferences=14265 nbTooLargeKeys=0
1213.92 => wckTime=1210.641 cpuTime=1202.13 mem=84M115
1657.79
1657.79 search
1657.79 run=21 nbConstraintChecks=36234300 nbValidityChecks=25096281 nbPropagations=12704642 nbRevisions=97946238
1657.79 nbUselessRevisions=84624032 nbAssignments=180481 nbFailedAssignments=11952 nbBacktracks=149755
1657.79 nbVisitedNodes=224443 nbRestartNogoods=90 mapSize=43840 nbInferences=14448 nbTooLargeKeys=0
1657.79 => wckTime=1654.514 cpuTime=1643.67 mem=121M981
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-210737-1168075188 -o ROOT/results/node16/solver-210737-1168075188 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210737-1168075188/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.98 1.91 1.91 4/93 21709
/proc/meminfo: memFree=1237776/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=47976 CPUtime=0
/proc/21708/stat : 21708 (java) D 21706 21708 21529 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 155913622 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/21708/statm: 11994 972 769 14 0 1707 0
[startup+0.103777 s]
/proc/loadavg: 1.98 1.91 1.91 4/93 21709
/proc/meminfo: memFree=1237776/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=912908 CPUtime=0.08
/proc/21708/stat : 21708 (java) S 21706 21708 21529 0 -1 0 2819 0 1 0 6 2 0 0 18 0 8 0 155913622 934817792 2565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228227 2565 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912908
[startup+0.515703 s]
/proc/loadavg: 1.98 1.91 1.91 4/93 21709
/proc/meminfo: memFree=1237776/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915328 CPUtime=0.48
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 6451 0 1 0 44 4 0 0 18 0 8 0 155913622 937295872 6190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228832 6190 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33856 s]
/proc/loadavg: 1.98 1.91 1.91 3/100 21716
/proc/meminfo: memFree=1176280/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915644 CPUtime=1.3
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 17755 0 1 0 116 14 0 0 24 0 8 0 155913622 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228911 17493 2178 14 0 215381 0
[pid=21708/tid=21710] ppid=21706 vsize=915644 CPUtime=0.05
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 1150 0 0 0 5 0 0 0 17 0 8 0 155913626 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915644 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915644 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915644 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915644 CPUtime=0.18
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 413 0 0 0 17 1 0 0 16 0 8 0 155913631 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915644 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915644 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915644
[startup+2.97526 s]
/proc/loadavg: 1.98 1.91 1.91 3/100 21716
/proc/meminfo: memFree=1168600/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=2.92
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 24221 0 1 0 227 65 0 0 25 0 8 0 155913622 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073594613 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228935 23932 2498 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.3
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 7204 0 0 0 28 2 0 0 17 0 8 0 155913626 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.26
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 465 0 0 0 25 1 0 0 15 0 8 0 155913631 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915740
[startup+6.26666 s]
/proc/loadavg: 1.98 1.91 1.91 3/100 21716
/proc/meminfo: memFree=1151128/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=6.18
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 24350 0 1 0 552 66 0 0 25 0 8 0 155913622 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074152408 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228935 24057 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.33
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 7205 0 0 0 30 3 0 0 16 0 8 0 155913626 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.37
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 522 0 0 0 35 2 0 0 15 0 8 0 155913631 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915740
[startup+12.7505 s]
/proc/loadavg: 2.06 1.93 1.91 3/100 21716
/proc/meminfo: memFree=1151064/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=12.61
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 24356 0 1 0 1195 66 0 0 25 0 8 0 155913622 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074152345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228935 24060 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.33
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 7205 0 0 0 30 3 0 0 16 0 8 0 155913626 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.38
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 526 0 0 0 36 2 0 0 15 0 8 0 155913631 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915740
[startup+25.6282 s]
/proc/loadavg: 2.05 1.93 1.91 3/100 21716
/proc/meminfo: memFree=1151256/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=25.37
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 24370 0 1 0 2471 66 0 0 25 0 8 0 155913622 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074162348 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228935 24069 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.33
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 7205 0 0 0 30 3 0 0 16 0 8 0 155913626 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.4
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 538 0 0 0 38 2 0 0 16 0 8 0 155913631 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915740
[startup+51.2585 s]
/proc/loadavg: 2.03 1.94 1.91 3/100 21716
/proc/meminfo: memFree=1151192/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=50.77
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 24382 0 1 0 5011 66 0 0 25 0 8 0 155913622 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074220585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228935 24076 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.33
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 7205 0 0 0 30 3 0 0 16 0 8 0 155913626 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.41
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 547 0 0 0 39 2 0 0 16 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915740
[startup+102.512 s]
/proc/loadavg: 2.05 1.96 1.92 3/100 21716
/proc/meminfo: memFree=1151256/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=101.57
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 24383 0 1 0 10090 67 0 0 25 0 8 0 155913622 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074214755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228935 24076 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.33
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 7205 0 0 0 30 3 0 0 16 0 8 0 155913626 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.41
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 547 0 0 0 39 2 0 0 16 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 915740
[startup+162.516 s]
/proc/loadavg: 2.02 1.97 1.92 3/100 21716
/proc/meminfo: memFree=1151256/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=161.04
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 24383 0 1 0 16037 67 0 0 25 0 8 0 155913622 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074182726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1413.72
Current children cumulated vsize (KiB) 915740
[startup+1483.18 s]
/proc/loadavg: 2.00 2.02 1.96 3/100 21774
/proc/meminfo: memFree=1080352/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=1473.46
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 37826 0 1 0 147267 79 0 0 25 0 8 0 155913622 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074152328 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21708/statm: 228935 37515 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.52
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 20642 0 0 0 45 7 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.42
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1473.46
Current children cumulated vsize (KiB) 915740
[startup+1543.22 s]
/proc/loadavg: 2.00 2.01 1.96 3/100 21774
/proc/meminfo: memFree=1080288/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=1533.18
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 37826 0 1 0 153239 79 0 0 25 0 8 0 155913622 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074221508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21708/statm: 228935 37515 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.52
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 20642 0 0 0 45 7 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.42
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) R 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1533.18
Current children cumulated vsize (KiB) 915740
[startup+1603.27 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21774
/proc/meminfo: memFree=1080288/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=1592.93
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 37826 0 1 0 159214 79 0 0 25 0 8 0 155913622 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074162266 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21708/statm: 228935 37515 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.52
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 20642 0 0 0 45 7 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.42
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.93
Current children cumulated vsize (KiB) 915740
[startup+1663.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21774
/proc/meminfo: memFree=1080224/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=1652.67
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 37826 0 1 0 165188 79 0 0 25 0 8 0 155913622 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074179178 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21708/statm: 228935 37515 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.52
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 20642 0 0 0 45 7 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.42
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.67
Current children cumulated vsize (KiB) 915740
[startup+1723.35 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21774
/proc/meminfo: memFree=1071264/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=1712.39
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 40099 0 1 0 171159 80 0 0 25 0 8 0 155913622 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850662 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21708/statm: 228935 39787 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.56
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 22914 0 0 0 48 8 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.42
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.39
Current children cumulated vsize (KiB) 915740
[startup+1783.39 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21774
/proc/meminfo: memFree=1071264/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=1772.13
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 40099 0 1 0 177133 80 0 0 25 0 8 0 155913622 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21708/statm: 228935 39787 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.56
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 22914 0 0 0 48 8 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.42
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.13
Current children cumulated vsize (KiB) 915740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.46 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21774
/proc/meminfo: memFree=1071200/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=1800.07
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 40099 0 1 0 179927 80 0 0 25 0 8 0 155913622 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074162340 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21708/statm: 228935 39787 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.56
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 22914 0 0 0 48 8 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.42
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1811.52
CPU time (s): 1800.13
CPU user time (s): 1799.3
CPU system time (s): 0.824874
CPU usage (%): 99.371
Max. virtual memory (cumulated for all children) (KiB): 915984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.824874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40113
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= 38477
involuntary context switches= 57319
runsolver used 2.00669 s user time and 6.02508 s system time
The end
Begin job on node16 on Sat Jan 6 09:19:48 UTC 2007
IDJOB= 210737
IDBENCH= 4642
FILE ID= node16/210737-1168075188
PBS_JOBID= 3475792
Free space on /tmp= 66493 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-burch-dill-3-accl.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210737-1168075188/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-210737-1168075188 -o ROOT/results/node16/solver-210737-1168075188 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210737-1168075188/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bffe4df83243320da15e0cb4f79702b5
RANDOM SEED= 583608909
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1238192 kB
Buffers: 64152 kB
Cached: 486788 kB
SwapCached: 268 kB
Active: 321316 kB
Inactive: 398624 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1238192 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3544 kB
Writeback: 0 kB
Mapped: 197436 kB
Slab: 82244 kB
Committed_AS: 4660240 kB
PageTables: 2640 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= 66498 MiB
End job on node16 on Sat Jan 6 09:49:59 UTC 2007