0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/237965-1168083376/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.50 nbVariables=1225 nbDomainTypes=1 minDomainSize=35 maxDomainSize=35
0.50 => wckTime=0.198 cpuTime=0.16 mem=9M812
0.50
0.50 predicates being loaded...
0.50
0.50 constraints being loaded...
2.90 nbConstraints=20859 nbConvertedConstraints=20859 nbConvertConstraintsChecks=4900 nbExtensionStructures=4
2.90 nbSharedExtensionStructures=20855 nbConflictsStructures=4 nbSharedConflictsStructures=20855
2.90 nbSharedBinaryRepresentations=209 maxDegree=35 maxArity=2
2.90 => wckTime=2.601 cpuTime=2.27 mem=38M192
3.05
3.05 solver IterativeSystematicSolver being built...
3.28 => wckTime=2.985 cpuTime=2.46 mem=34M883
3.41
3.41 preprocessing
3.41 nbConstraintChecks=0 nbPropagations=1225 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.41 detectedInconsistency=no
3.41 => wckTime=0.111 cpuTime=0.09 mem=34M883
3.64
3.64 search
3.64 run=0 nbConstraintChecks=82953 nbPropagations=4262 nbRevisions=3052 nbUselessRevisions=66 nbAssignments=114
3.64 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=131 nbRestartNogoods=0 mapSize=8 nbInferences=0
3.64 nbTooLargeKeys=0
3.64 => wckTime=0.35 cpuTime=0.31 mem=35M875
3.76
3.76 search
3.76 run=1 nbConstraintChecks=166242 nbPropagations=11629 nbRevisions=9244 nbUselessRevisions=211 nbAssignments=240
3.76 nbFailedAssignments=22 nbBacktracks=25 nbVisitedNodes=285 nbRestartNogoods=3 mapSize=23 nbInferences=0
3.76 nbTooLargeKeys=0
3.76 => wckTime=0.47 cpuTime=0.43 mem=36M868
3.88
3.88 search
3.88 run=2 nbConstraintChecks=249761 nbPropagations=22166 nbRevisions=18650 nbUselessRevisions=440
3.88 nbAssignments=379 nbFailedAssignments=42 nbBacktracks=47 nbVisitedNodes=464 nbRestartNogoods=6 mapSize=45
3.88 nbInferences=0 nbTooLargeKeys=0
3.88 => wckTime=0.594 cpuTime=0.55 mem=36M868
4.02
4.02 search
4.02 run=3 nbConstraintChecks=333604 nbPropagations=35955 nbRevisions=31352 nbUselessRevisions=755
4.02 nbAssignments=537 nbFailedAssignments=69 nbBacktracks=80 nbVisitedNodes=677 nbRestartNogoods=11 mapSize=78
4.02 nbInferences=1 nbTooLargeKeys=0
4.02 => wckTime=0.727 cpuTime=0.68 mem=37M860
4.16
4.16 search
4.16 run=4 nbConstraintChecks=417829 nbPropagations=53130 nbRevisions=47477 nbUselessRevisions=1155
4.16 nbAssignments=725 nbFailedAssignments=106 nbBacktracks=131 nbVisitedNodes=944 nbRestartNogoods=15 mapSize=129
4.16 nbInferences=6 nbTooLargeKeys=0
4.16 => wckTime=0.875 cpuTime=0.83 mem=38M853
4.35
4.35 search
4.35 run=5 nbConstraintChecks=502771 nbPropagations=73920 nbRevisions=67230 nbUselessRevisions=1640
4.35 nbAssignments=961 nbFailedAssignments=155 nbBacktracks=206 nbVisitedNodes=1295 nbRestartNogoods=19 mapSize=204
4.35 nbInferences=23 nbTooLargeKeys=0
4.35 => wckTime=1.058 cpuTime=1.01 mem=39M845
4.57
4.57 search
4.57 run=6 nbConstraintChecks=588568 nbPropagations=98645 nbRevisions=90925 nbUselessRevisions=2215
4.57 nbAssignments=1268 nbFailedAssignments=230 nbBacktracks=320 nbVisitedNodes=1774 nbRestartNogoods=21
4.57 mapSize=318 nbInferences=45 nbTooLargeKeys=0
4.57 => wckTime=1.279 cpuTime=1.22 mem=41M830
4.85
4.85 search
4.85 run=7 nbConstraintChecks=675724 nbPropagations=127805 nbRevisions=119021 nbUselessRevisions=2880
4.85 nbAssignments=1684 nbFailedAssignments=337 nbBacktracks=490 nbVisitedNodes=2446 nbRestartNogoods=27
4.85 mapSize=488 nbInferences=87 nbTooLargeKeys=0
4.85 => wckTime=1.564 cpuTime=1.49 mem=43M814
5.22
5.22 search
5.22 run=8 nbConstraintChecks=765042 nbPropagations=162184 nbRevisions=152225 nbUselessRevisions=3639
5.22 nbAssignments=2270 nbFailedAssignments=488 nbBacktracks=746 nbVisitedNodes=3417 nbRestartNogoods=35
5.22 mapSize=744 nbInferences=170 nbTooLargeKeys=0
5.22 => wckTime=1.935 cpuTime=1.86 mem=46M792
5.75
5.75 search
5.75 run=9 nbConstraintChecks=857783 nbPropagations=203063 nbRevisions=191674 nbUselessRevisions=4495
5.75 nbAssignments=3125 nbFailedAssignments=706 nbBacktracks=1130 nbVisitedNodes=4864 nbRestartNogoods=42
5.75 mapSize=1128 nbInferences=326 nbTooLargeKeys=0
5.75 => wckTime=2.46 cpuTime=2.37 mem=51M753
6.52
6.52 search
6.52 run=10 nbConstraintChecks=955787 nbPropagations=252444 nbRevisions=239083 nbUselessRevisions=5448
6.52 nbAssignments=4407 nbFailedAssignments=1016 nbBacktracks=1707 nbVisitedNodes=7067 nbRestartNogoods=47
6.52 mapSize=1705 nbInferences=627 nbTooLargeKeys=0
6.52 => wckTime=3.228 cpuTime=3.13 mem=58M700
7.75
7.75 search
7.75 run=11 nbConstraintChecks=1063856 nbPropagations=313863 nbRevisions=297551 nbUselessRevisions=6625
7.75 nbAssignments=6404 nbFailedAssignments=1433 nbBacktracks=2571 nbVisitedNodes=10518 nbRestartNogoods=50
7.75 mapSize=2569 nbInferences=1247 nbTooLargeKeys=0
7.75 => wckTime=4.46 cpuTime=4.33 mem=42M856
9.30
9.30 search
9.30 run=12 nbConstraintChecks=1181956 nbPropagations=390662 nbRevisions=370190 nbUselessRevisions=7943
9.30 nbAssignments=9153 nbFailedAssignments=2140 nbBacktracks=3868 nbVisitedNodes=15339 nbRestartNogoods=66
9.30 mapSize=3862 nbInferences=1905 nbTooLargeKeys=0
9.30 => wckTime=6.014 cpuTime=5.87 mem=57M846
11.33
11.33 search
11.33 run=13 nbConstraintChecks=1345801 nbPropagations=493909 nbRevisions=466396 nbUselessRevisions=9875
11.33 nbAssignments=13858 nbFailedAssignments=3036 nbBacktracks=5816 nbVisitedNodes=23667 nbRestartNogoods=71
11.33 mapSize=5770 nbInferences=3736 nbTooLargeKeys=0
11.33 => wckTime=8.045 cpuTime=7.89 mem=61M843
15.33
15.33 search
15.33 run=14 nbConstraintChecks=1621981 nbPropagations=637367 nbRevisions=598394 nbUselessRevisions=12600
15.33 nbAssignments=20911 nbFailedAssignments=4349 nbBacktracks=8735 nbVisitedNodes=36038 nbRestartNogoods=83
15.33 mapSize=8646 nbInferences=6428 nbTooLargeKeys=0
15.33 => wckTime=12.041 cpuTime=11.81 mem=77M356
23.33
23.39 search
23.39 run=15 nbConstraintChecks=2050994 nbPropagations=857058 nbRevisions=793677 nbUselessRevisions=16554
23.39 nbAssignments=33854 nbFailedAssignments=5686 nbBacktracks=13113 nbVisitedNodes=58756 nbRestartNogoods=94
23.39 mapSize=12990 nbInferences=13529 nbTooLargeKeys=0
23.39 => wckTime=20.039 cpuTime=19.68 mem=102M751
35.14
35.14 search
35.14 run=16 nbConstraintChecks=2574408 nbPropagations=1185542 nbRevisions=1077979 nbUselessRevisions=21841
35.14 nbAssignments=53094 nbFailedAssignments=7646 nbBacktracks=19682 nbVisitedNodes=92502 nbRestartNogoods=118
35.14 mapSize=19519 nbInferences=24115 nbTooLargeKeys=0
35.14 => wckTime=31.851 cpuTime=31.34 mem=172M383
55.93
55.93 search
55.93 run=17 nbConstraintChecks=3404066 nbPropagations=1705177 nbRevisions=1516304 nbUselessRevisions=30208
55.93 nbAssignments=85771 nbFailedAssignments=9950 nbBacktracks=29535 nbVisitedNodes=150183 nbRestartNogoods=136
55.93 mapSize=29338 nbInferences=44511 nbTooLargeKeys=0
55.93 => wckTime=52.637 cpuTime=51.84 mem=245M274
76.46
76.46 search
76.46 run=18 nbConstraintChecks=4246713 nbPropagations=2422100 nbRevisions=2121118 nbUselessRevisions=40273
76.46 nbAssignments=123059 nbFailedAssignments=16043 nbBacktracks=44313 nbVisitedNodes=215912 nbRestartNogoods=145
76.46 mapSize=44039 nbInferences=60767 nbTooLargeKeys=0
76.46 => wckTime=73.167 cpuTime=72.1 mem=323M826
125.32
125.32 search
125.32 run=19 nbConstraintChecks=6485093 nbPropagations=3621553 nbRevisions=3116024 nbUselessRevisions=60436
125.32 nbAssignments=201755 nbFailedAssignments=20527 nbBacktracks=66481 nbVisitedNodes=355459 nbRestartNogoods=161
125.32 mapSize=66061 nbInferences=112651 nbTooLargeKeys=0
125.32 => wckTime=122.035 cpuTime=120.32 mem=497M592
152.26
152.26 INFO : Stopping hyperNogood (mapSize=79856, nbTooLargekeys=0, mem=600M226)
161.62
161.62 search
161.62 run=20 nbConstraintChecks=7992775 nbPropagations=5224255 nbRevisions=4465733 nbUselessRevisions=85428
161.62 nbAssignments=278835 nbFailedAssignments=37250 nbBacktracks=99734 nbVisitedNodes=492927 nbRestartNogoods=182
161.62 => wckTime=158.332 cpuTime=156.23 mem=600M226
185.88
185.88 search
185.88 run=21 nbConstraintChecks=9244119 nbPropagations=7212373 nbRevisions=6202421 nbUselessRevisions=111963
185.88 nbAssignments=363221 nbFailedAssignments=71598 nbBacktracks=149614 nbVisitedNodes=646008 nbRestartNogoods=206
185.88 => wckTime=182.592 cpuTime=180.36 mem=600M226
221.36
221.37 search
221.37 run=22 nbConstraintChecks=11184812 nbPropagations=9780309 nbRevisions=8522724 nbUselessRevisions=142266
221.37 nbAssignments=489892 nbFailedAssignments=123259 nbBacktracks=224432 nbVisitedNodes=875998 nbRestartNogoods=224
221.37 => wckTime=218.076 cpuTime=215.69 mem=600M226
274.48
274.48 search
274.48 run=23 nbConstraintChecks=13727174 nbPropagations=13208583 nbRevisions=11705978 nbUselessRevisions=175187
274.48 nbAssignments=680007 nbFailedAssignments=200953 nbBacktracks=336660 nbVisitedNodes=1221499 nbRestartNogoods=241
274.48 => wckTime=271.186 cpuTime=268.56 mem=600M226
354.07
354.07 search
354.08 run=24 nbConstraintChecks=17406070 nbPropagations=17922876 nbRevisions=16178326 nbUselessRevisions=211180
354.08 nbAssignments=964981 nbFailedAssignments=317393 nbBacktracks=505001 nbVisitedNodes=1739350 nbRestartNogoods=265
354.08 => wckTime=350.786 cpuTime=347.8 mem=600M226
473.25
473.25 search
473.25 run=25 nbConstraintChecks=22625605 nbPropagations=24553874 nbRevisions=22578935 nbUselessRevisions=255886
473.25 nbAssignments=1391561 nbFailedAssignments=491272 nbBacktracks=757514 nbVisitedNodes=2513688
473.25 nbRestartNogoods=294
473.25 => wckTime=469.965 cpuTime=466.45 mem=600M226
646.62
646.62 search
646.62 run=26 nbConstraintChecks=34066210 nbPropagations=34096836 nbRevisions=31984102 nbUselessRevisions=318463
646.62 nbAssignments=2030844 nbFailedAssignments=751560 nbBacktracks=1136281 nbVisitedNodes=3673201
646.62 nbRestartNogoods=319
646.62 => wckTime=643.333 cpuTime=639.03 mem=600M226
906.23
906.23 search
906.23 run=27 nbConstraintChecks=45733572 nbPropagations=47944068 nbRevisions=45713307 nbUselessRevisions=396936
906.23 nbAssignments=2989535 nbFailedAssignments=1141873 nbBacktracks=1704432 nbVisitedNodes=5412515
906.23 nbRestartNogoods=347
906.23 => wckTime=902.944 cpuTime=897.47 mem=600M226
1294.87
1294.87 search
1294.87 run=28 nbConstraintChecks=62490647 nbPropagations=68245905 nbRevisions=65903601 nbUselessRevisions=481614
1294.87 nbAssignments=4431942 nbFailedAssignments=1731830 nbBacktracks=2556659 nbVisitedNodes=8034826
1294.87 nbRestartNogoods=372
1294.87 => wckTime=1291.577 cpuTime=1284.34 mem=600M226
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-237965-1168083376 -o ROOT/results/node75/solver-237965-1168083376 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237965-1168083376/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: 0.75 1.22 1.52 4/80 24968
/proc/meminfo: memFree=1439520/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=18540 CPUtime=0
/proc/24967/stat : 24967 (runsolver) R 24965 24967 24900 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156737708 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/24967/statm: 4635 279 244 17 0 2626 0
[startup+0.104477 s]
/proc/loadavg: 0.75 1.22 1.52 4/80 24968
/proc/meminfo: memFree=1439520/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=914988 CPUtime=0.08
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 3006 0 1 0 7 1 0 0 25 0 8 0 156737708 936947712 2752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020604 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24967/statm: 228747 2752 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512526 s]
/proc/loadavg: 0.75 1.22 1.52 4/80 24968
/proc/meminfo: memFree=1439520/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915328 CPUtime=0.48
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 6825 0 1 0 45 3 0 0 25 0 8 0 156737708 937295872 6564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073577296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24967/statm: 228832 6564 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33462 s]
/proc/loadavg: 0.75 1.22 1.52 3/87 24975
/proc/meminfo: memFree=1377320/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915632 CPUtime=1.3
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 17965 0 1 0 118 12 0 0 25 0 8 0 156737708 937607168 17703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24967/statm: 228908 17703 2180 14 0 215378 0
[pid=24967/tid=24969] ppid=24965 vsize=915632 CPUtime=0.04
/proc/24967/task/24969/stat : 24969 (java) S 24965 24967 24900 0 -1 64 1362 0 0 0 4 0 0 0 17 0 8 0 156737712 937607168 17703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=915632 CPUtime=0
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 24900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737713 937607168 17703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=915632 CPUtime=0
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 24900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737713 937607168 17703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=915632 CPUtime=0
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937607168 17703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=915632 CPUtime=0.15
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 24900 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 156737716 937607168 17703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=915632 CPUtime=0
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937607168 17703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=915632 CPUtime=0
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 24900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737716 937607168 17703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632
[startup+2.98686 s]
/proc/loadavg: 0.75 1.22 1.52 3/87 24975
/proc/meminfo: memFree=1365096/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915952 CPUtime=2.95
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 21025 0 1 0 205 90 0 0 25 0 8 0 156737708 937934848 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24967/statm: 228988 20761 2189 14 0 215458 0
[pid=24967/tid=24969] ppid=24965 vsize=915952 CPUtime=0.23
/proc/24967/task/24969/stat : 24969 (java) R 24965 24967 24900 0 -1 64 4384 0 0 0 22 1 0 0 17 0 8 0 156737712 937934848 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525097 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=915952 CPUtime=0
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 24900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737713 937934848 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=915952 CPUtime=0
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 24900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737713 937934848 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=915952 CPUtime=0
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937934848 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=915952 CPUtime=0.19
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 24900 0 -1 64 431 0 0 0 19 0 0 0 15 0 8 0 156737716 937934848 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=915952 CPUtime=0
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937934848 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=915952 CPUtime=0
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 24900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737716 937934848 20761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915952
[startup+6.27221 s]
/proc/loadavg: 0.85 1.23 1.52 3/87 24975
/proc/meminfo: memFree=1355176/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915856 CPUtime=6.22
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 23820 0 1 0 530 92 0 0 25 0 8 0 156737708 937836544 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074098584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24967/statm: 228964 23538 2535 14 0 215434 0
[pid=24967/tid=24969] ppid=24965 vsize=915856 CPUtime=0.29
/proc/24967/task/24969/stat : 24969 (java) S 24965 24967 24900 0 -1 64 6679 0 0 0 27 2 0 0 17 0 8 0 156737712 937836544 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 24900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 24900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=915856 CPUtime=0.32
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 24900 0 -1 64 509 0 0 0 31 1 0 0 16 0 8 0 156737716 937836544 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 24900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737716 937836544 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915856
[startup+12.763 s]
/proc/loadavg: 0.94 1.24 1.52 3/87 24975
/proc/meminfo: memFree=1297640/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915856 CPUtime=12.68
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 27233 0 1 0 1174 94 0 0 25 0 8 0 156737708 937836544 26948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074114906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24967/statm: 228964 26948 2535 14 0 215434 0
[pid=24967/tid=24969] ppid=24965 vsize=915856 CPUtime=0.32
/proc/24967/task/24969/stat : 24969 (java) S 24965 24967 24900 0 -1 64 10086 0 0 0 28 4 0 0 17 0 8 0 156737712 937836544 26948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 24900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 26948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 24900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 26948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 26948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=915856 CPUtime=0.33
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 24900 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156737716 937836544 26948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 26948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 24900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737716 937836544 26948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915856
[startup+25.6015 s]
/proc/loadavg: 1.18 1.28 1.53 3/87 24975
/proc/meminfo: memFree=1190056/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915856 CPUtime=25.46
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 43094 0 1 0 2446 100 0 0 25 0 8 0 156737708 937836544 42805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074074016 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24967/statm: 228964 42805 2535 14 0 215434 0
[pid=24967/tid=24969] ppid=24965 vsize=915856 CPUtime=0.47
/proc/24967/task/24969/stat : 24969 (java) S 24965 24967 24900 0 -1 64 25943 0 0 0 37 10 0 0 16 0 8 0 156737712 937836544 42805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 24900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 42805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 24900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 42805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 42805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=915856 CPUtime=0.33
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 24900 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156737716 937836544 42805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 42805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 24900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737716 937836544 42805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915856
[startup+51.2095 s]
/proc/loadavg: 1.46 1.34 1.54 3/87 24975
/proc/meminfo: memFree=976872/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915856 CPUtime=50.94
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 69317 0 1 0 4983 111 0 0 25 0 8 0 156737708 937836544 69022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074085677 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24967/statm: 228964 69022 2535 14 0 215434 0
[pid=24967/tid=24969] ppid=24965 vsize=915856 CPUtime=0.72
/proc/24967/task/24969/stat : 24969 (java) S 24965 24967 24900 0 -1 64 52160 0 0 0 51 21 0 0 16 0 8 0 156737712 937836544 69022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 24900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 69022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 24900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 69022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 69022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=915856 CPUtime=0.33
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 24900 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156737716 937836544 69022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 69022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 24900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737716 937836544 69022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915856
[startup+102.446 s]
/proc/loadavg: 1.76 1.44 1.56 3/87 24975
/proc/meminfo: memFree=601000/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915856 CPUtime=101.93
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 117050 0 1 0 10064 129 0 0 25 0 8 0 156737708 937836544 116744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24967/statm: 228964 116744 2535 14 0 215434 0
[pid=24967/tid=24969] ppid=24965 vsize=915856 CPUtime=1.17
/proc/24967/task/24969/stat : 24969 (java) S 24965 24967 24900 0 -1 64 99882 0 0 0 78 39 0 0 16 0 8 0 156737712 937836544 116744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 24900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 116744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 24900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 116744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 116744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=915856 CPUtime=0.33
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 24900 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156737716 937836544 116744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 116744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 24900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737716 937836544 116744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915856
[startup+162.51 s]
/proc/loadavg: 1.91 1.54 1.59 3/87 24975
/proc/meminfo: memFree=447592/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915856 CPUtime=161.72
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 155324 0 1 0 16027 145 0 0 25 0 8 0 156737708 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.56
Current children cumulated vsize (KiB) 915856
[startup+1483.06 s]
/proc/loadavg: 2.01 1.99 1.87 3/93 25039
/proc/meminfo: memFree=445264/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915856 CPUtime=1476.27
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 155324 0 1 0 147478 149 0 0 25 0 8 0 156737708 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074083616 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24967/statm: 228964 155006 2535 14 0 215434 0
[pid=24967/tid=24969] ppid=24965 vsize=915856 CPUtime=1.56
/proc/24967/task/24969/stat : 24969 (java) S 24965 24967 24900 0 -1 64 138144 0 0 0 102 54 0 0 16 0 8 0 156737712 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 24900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 24900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=915856 CPUtime=0.33
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 24900 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 24900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.27
Current children cumulated vsize (KiB) 915856
[startup+1543.11 s]
/proc/loadavg: 2.00 1.99 1.88 3/93 25131
/proc/meminfo: memFree=445168/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915856 CPUtime=1535.93
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 155324 0 1 0 153440 153 0 0 25 0 8 0 156737708 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074114934 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24967/statm: 228964 155006 2535 14 0 215434 0
[pid=24967/tid=24969] ppid=24965 vsize=915856 CPUtime=1.56
/proc/24967/task/24969/stat : 24969 (java) S 24965 24967 24900 0 -1 64 138144 0 0 0 102 54 0 0 16 0 8 0 156737712 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 24900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 24900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=915856 CPUtime=0.33
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 24900 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 24900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.93
Current children cumulated vsize (KiB) 915856
[startup+1603.15 s]
/proc/loadavg: 2.00 1.99 1.88 3/87 25173
/proc/meminfo: memFree=446184/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915856 CPUtime=1595.65
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 155324 0 1 0 159409 156 0 0 25 0 8 0 156737708 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074085600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24967/statm: 228964 155006 2535 14 0 215434 0
[pid=24967/tid=24969] ppid=24965 vsize=915856 CPUtime=1.56
/proc/24967/task/24969/stat : 24969 (java) S 24965 24967 24900 0 -1 64 138144 0 0 0 102 54 0 0 16 0 8 0 156737712 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 24900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 24900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=915856 CPUtime=0.33
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 24900 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 24900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.65
Current children cumulated vsize (KiB) 915856
[startup+1663.18 s]
/proc/loadavg: 2.00 1.99 1.89 3/87 25173
/proc/meminfo: memFree=446120/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915856 CPUtime=1655.39
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 155324 0 1 0 165383 156 0 0 25 0 8 0 156737708 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074085627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24967/statm: 228964 155006 2535 14 0 215434 0
[pid=24967/tid=24969] ppid=24965 vsize=915856 CPUtime=1.56
/proc/24967/task/24969/stat : 24969 (java) S 24965 24967 24900 0 -1 64 138144 0 0 0 102 54 0 0 16 0 8 0 156737712 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 24900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 24900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=915856 CPUtime=0.33
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 24900 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 24900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.39
Current children cumulated vsize (KiB) 915856
[startup+1723.2 s]
/proc/loadavg: 2.00 1.99 1.89 3/87 25173
/proc/meminfo: memFree=446056/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915856 CPUtime=1715.15
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 155324 0 1 0 171359 156 0 0 25 0 8 0 156737708 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074090666 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24967/statm: 228964 155006 2535 14 0 215434 0
[pid=24967/tid=24969] ppid=24965 vsize=915856 CPUtime=1.56
/proc/24967/task/24969/stat : 24969 (java) S 24965 24967 24900 0 -1 64 138144 0 0 0 102 54 0 0 16 0 8 0 156737712 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 24900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 24900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=915856 CPUtime=0.33
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 24900 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 24900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.15
Current children cumulated vsize (KiB) 915856
[startup+1783.23 s]
/proc/loadavg: 1.72 1.92 1.88 3/87 25231
/proc/meminfo: memFree=1029424/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915856 CPUtime=1774.92
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 155324 0 1 0 177335 157 0 0 25 0 8 0 156737708 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24967/statm: 228964 155006 2535 14 0 215434 0
[pid=24967/tid=24969] ppid=24965 vsize=915856 CPUtime=1.56
/proc/24967/task/24969/stat : 24969 (java) S 24965 24967 24900 0 -1 64 138144 0 0 0 102 54 0 0 16 0 8 0 156737712 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 24900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 24900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=915856 CPUtime=0.33
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 24900 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 24900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.92
Current children cumulated vsize (KiB) 915856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.4 s]
/proc/loadavg: 1.53 1.86 1.86 2/75 25240
/proc/meminfo: memFree=1068376/2055920 swapFree=4184496/4192956
[pid=24967] ppid=24965 vsize=915856 CPUtime=1800.08
/proc/24967/stat : 24967 (java) R 24965 24967 24900 0 -1 0 155324 0 1 0 179851 157 0 0 25 0 8 0 156737708 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074049830 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24967/statm: 228964 155006 2535 14 0 215434 0
[pid=24967/tid=24969] ppid=24965 vsize=915856 CPUtime=1.56
/proc/24967/task/24969/stat : 24969 (java) S 24965 24967 24900 0 -1 64 138144 0 0 0 102 54 0 0 16 0 8 0 156737712 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24970] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24970/stat : 24970 (java) S 24965 24967 24900 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24971] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24971/stat : 24971 (java) S 24965 24967 24900 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156737713 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24972] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24972/stat : 24972 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24973] ppid=24965 vsize=915856 CPUtime=0.33
/proc/24967/task/24973/stat : 24973 (java) S 24965 24967 24900 0 -1 64 512 0 0 0 32 1 0 0 16 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24974] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24974/stat : 24974 (java) S 24965 24967 24900 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24967/tid=24975] ppid=24965 vsize=915856 CPUtime=0
/proc/24967/task/24975/stat : 24975 (java) S 24965 24967 24900 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156737716 937836544 155006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915856
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.52
CPU time (s): 1800.22
CPU user time (s): 1798.55
CPU system time (s): 1.66775
CPU usage (%): 99.541
Max. virtual memory (cumulated for all children) (KiB): 915952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.55
system time used= 1.66775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155340
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= 38324
involuntary context switches= 73923
runsolver used 1.63675 s user time and 4.91025 s system time
The end
Begin job on node75 on Sat Jan 6 11:36:21 UTC 2007
IDJOB= 237965
IDBENCH= 6974
FILE ID= node75/237965-1168083376
PBS_JOBID= 3476275
Free space on /tmp= 66536 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_35.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237965-1168083376/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-237965-1168083376 -o ROOT/results/node75/solver-237965-1168083376 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237965-1168083376/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 37be264f8704e2fcc7ac75041ad15073
RANDOM SEED= 896662891
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1464192 kB
Buffers: 8304 kB
Cached: 310256 kB
SwapCached: 2468 kB
Active: 312892 kB
Inactive: 227700 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1464192 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 4220 kB
Writeback: 0 kB
Mapped: 238160 kB
Slab: 36024 kB
Committed_AS: 3968532 kB
PageTables: 2244 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= 66546 MiB
End job on node75 on Sat Jan 6 12:06:33 UTC 2007