0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/194662-1168069389/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.44 => wckTime=0.107 cpuTime=0.09 mem=6M951
0.44
0.44 relations being loaded...
0.59
0.59 constraints being loaded...
0.74 nbConstraints=461 nbRelationTypes=461 nbExtensionStructures=461 nbSharedExtensionStructures=0
0.74 nbConflictsStructures=461 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2343 maxDegree=28
0.74 maxArity=2
0.74 => wckTime=0.411 cpuTime=0.31 mem=16M966
0.79
0.79 solver IterativeSystematicSolver being built...
0.96 => wckTime=0.626 cpuTime=0.45 mem=15M355
0.97
0.97 preprocessing
0.97 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.97 detectedInconsistency=no
0.97 => wckTime=0.0090 cpuTime=0.0 mem=15M355
1.03
1.03 search
1.03 run=0 nbConstraintChecks=41264 nbPropagations=565 nbRevisions=5911 nbUselessRevisions=4969 nbAssignments=25
1.03 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.065 cpuTime=0.04 mem=15M355
1.05
1.05 search
1.05 run=1 nbConstraintChecks=100437 nbPropagations=1822 nbRevisions=20542 nbUselessRevisions=16972
1.05 nbAssignments=59 nbFailedAssignments=15 nbBacktracks=27 nbVisitedNodes=90 nbRestartNogoods=1 mapSize=20
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.095 cpuTime=0.05 mem=15M355
1.07
1.07 search
1.07 run=2 nbConstraintChecks=154348 nbPropagations=3801 nbRevisions=44045 nbUselessRevisions=36412
1.07 nbAssignments=103 nbFailedAssignments=26 nbBacktracks=49 nbVisitedNodes=153 nbRestartNogoods=2 mapSize=34
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.115 cpuTime=0.07 mem=15M355
1.09
1.09 search
1.09 run=3 nbConstraintChecks=249467 nbPropagations=6898 nbRevisions=82424 nbUselessRevisions=67904
1.09 nbAssignments=162 nbFailedAssignments=42 nbBacktracks=83 nbVisitedNodes=243 nbRestartNogoods=4 mapSize=57
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.134 cpuTime=0.09 mem=15M355
1.13
1.13 search
1.13 run=4 nbConstraintChecks=416047 nbPropagations=12008 nbRevisions=150139 nbUselessRevisions=123478
1.14 nbAssignments=260 nbFailedAssignments=79 nbBacktracks=135 nbVisitedNodes=409 nbRestartNogoods=7 mapSize=104
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.175 cpuTime=0.12 mem=15M355
1.18
1.18 search
1.18 run=5 nbConstraintChecks=610232 nbPropagations=19671 nbRevisions=254989 nbUselessRevisions=209711
1.18 nbAssignments=397 nbFailedAssignments=128 nbBacktracks=212 nbVisitedNodes=634 nbRestartNogoods=9 mapSize=167
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.219 cpuTime=0.16 mem=15M355
1.24
1.24 search
1.24 run=6 nbConstraintChecks=902382 nbPropagations=30965 nbRevisions=411891 nbUselessRevisions=338934
1.24 nbAssignments=589 nbFailedAssignments=195 nbBacktracks=326 nbVisitedNodes=949 nbRestartNogoods=12 mapSize=258
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.276 cpuTime=0.22 mem=15M355
1.32
1.32 search
1.32 run=7 nbConstraintChecks=1367147 nbPropagations=47940 nbRevisions=656428 nbUselessRevisions=540029
1.32 nbAssignments=886 nbFailedAssignments=312 nbBacktracks=498 nbVisitedNodes=1461 nbRestartNogoods=17 mapSize=406
1.32 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.363 cpuTime=0.3 mem=15M355
1.44
1.45 search
1.45 run=8 nbConstraintChecks=1987476 nbPropagations=72812 nbRevisions=1016723 nbUselessRevisions=835694
1.45 nbAssignments=1306 nbFailedAssignments=465 nbBacktracks=754 nbVisitedNodes=2166 nbRestartNogoods=19
1.45 mapSize=612 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.486 cpuTime=0.42 mem=15M355
1.64
1.64 search
1.64 run=9 nbConstraintChecks=3013960 nbPropagations=110089 nbRevisions=1563532 nbUselessRevisions=1283516
1.64 nbAssignments=1945 nbFailedAssignments=710 nbBacktracks=1138 nbVisitedNodes=3262 nbRestartNogoods=23
1.64 mapSize=934 nbInferences=0 nbTooLargeKeys=0
1.64 => wckTime=0.683 cpuTime=0.6 mem=15M355
1.70
1.70 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=15M355)
1.89
1.89 search
1.89 run=10 nbConstraintChecks=4412859 nbPropagations=165455 nbRevisions=2389076 nbUselessRevisions=1961525
1.89 nbAssignments=2906 nbFailedAssignments=1084 nbBacktracks=1714 nbVisitedNodes=4898 nbRestartNogoods=30
1.89 => wckTime=0.933 cpuTime=0.84 mem=15M355
2.25
2.25 search
2.25 run=11 nbConstraintChecks=6549789 nbPropagations=248053 nbRevisions=3616300 nbUselessRevisions=2968011
2.25 nbAssignments=4311 nbFailedAssignments=1612 nbBacktracks=2583 nbVisitedNodes=7280 nbRestartNogoods=35
2.25 => wckTime=1.289 cpuTime=1.19 mem=15M355
2.84
2.84 search
2.84 run=12 nbConstraintChecks=10407191 nbPropagations=374133 nbRevisions=5504493 nbUselessRevisions=4511799
2.84 nbAssignments=6429 nbFailedAssignments=2424 nbBacktracks=3880 nbVisitedNodes=10901 nbRestartNogoods=38
2.84 => wckTime=1.878 cpuTime=1.77 mem=15M355
3.62
3.62 search
3.62 run=13 nbConstraintChecks=15246604 nbPropagations=561031 nbRevisions=8299023 nbUselessRevisions=6798009
3.62 nbAssignments=9596 nbFailedAssignments=3633 nbBacktracks=5828 nbVisitedNodes=16297 nbRestartNogoods=44
3.62 => wckTime=2.66 cpuTime=2.54 mem=15M355
4.72
4.72 search
4.72 run=14 nbConstraintChecks=22048060 nbPropagations=833625 nbRevisions=12389204 nbUselessRevisions=10146140
4.72 nbAssignments=14356 nbFailedAssignments=5462 nbBacktracks=8747 nbVisitedNodes=24345 nbRestartNogoods=52
4.72 => wckTime=3.761 cpuTime=3.63 mem=15M355
6.39
6.39 search
6.39 run=15 nbConstraintChecks=32799503 nbPropagations=1234809 nbRevisions=18394950 nbUselessRevisions=15055779
6.39 nbAssignments=21116 nbFailedAssignments=7833 nbBacktracks=13129 nbVisitedNodes=35625 nbRestartNogoods=60
6.39 => wckTime=5.431 cpuTime=5.29 mem=15M355
9.12
9.12 search
9.12 run=16 nbConstraintChecks=49996673 nbPropagations=1842559 nbRevisions=27618144 nbUselessRevisions=22607831
9.12 nbAssignments=31742 nbFailedAssignments=11879 nbBacktracks=19698 nbVisitedNodes=53874 nbRestartNogoods=70
9.12 => wckTime=8.157 cpuTime=7.98 mem=15M355
12.91
12.91 search
12.91 run=17 nbConstraintChecks=73524568 nbPropagations=2751044 nbRevisions=41321212 nbUselessRevisions=33822612
12.91 nbAssignments=47289 nbFailedAssignments=17561 nbBacktracks=29551 nbVisitedNodes=80233 nbRestartNogoods=79
12.91 => wckTime=11.951 cpuTime=11.75 mem=15M355
18.59
18.59 search
18.59 run=18 nbConstraintChecks=108875896 nbPropagations=4099736 nbRevisions=61875165 nbUselessRevisions=50685799
18.59 nbAssignments=70570 nbFailedAssignments=26051 nbBacktracks=44329 nbVisitedNodes=119560 nbRestartNogoods=86
18.59 => wckTime=17.63 cpuTime=17.38 mem=15M355
27.25
27.25 search
27.25 run=19 nbConstraintChecks=162020113 nbPropagations=6134559 nbRevisions=92820235 nbUselessRevisions=76097933
27.25 nbAssignments=106288 nbFailedAssignments=39591 nbBacktracks=66497 nbVisitedNodes=180690 nbRestartNogoods=103
27.25 => wckTime=26.295 cpuTime=25.97 mem=15M355
41.30
41.30 search
41.30 run=20 nbConstraintChecks=253957575 nbPropagations=9242468 nbRevisions=140126457 nbUselessRevisions=114874073
41.30 nbAssignments=159591 nbFailedAssignments=59631 nbBacktracks=99749 nbVisitedNodes=271905 nbRestartNogoods=106
41.30 => wckTime=40.337 cpuTime=39.88 mem=15M355
61.40
61.40 search
61.40 run=21 nbConstraintChecks=382538484 nbPropagations=13894806 nbRevisions=210968754 nbUselessRevisions=172905328
61.40 nbAssignments=238155 nbFailedAssignments=88308 nbBacktracks=149629 nbVisitedNodes=405151 nbRestartNogoods=120
61.40 => wckTime=60.436 cpuTime=59.81 mem=15M355
89.39
89.39 search
89.39 run=22 nbConstraintChecks=555155872 nbPropagations=20774245 nbRevisions=314932114 nbUselessRevisions=258065413
89.39 nbAssignments=356494 nbFailedAssignments=131818 nbBacktracks=224447 nbVisitedNodes=604984 nbRestartNogoods=129
89.39 => wckTime=88.432 cpuTime=87.54 mem=15M355
133.73
133.73 search
133.73 run=23 nbConstraintChecks=843362398 nbPropagations=31093085 nbRevisions=470983318 nbUselessRevisions=385715557
133.73 nbAssignments=533455 nbFailedAssignments=196542 nbBacktracks=336675 nbVisitedNodes=904369 nbRestartNogoods=141
133.73 => wckTime=132.765 cpuTime=131.54 mem=15M355
194.99
194.99 search
194.99 run=24 nbConstraintChecks=1273279335 nbPropagations=46577118 nbRevisions=707931940 nbUselessRevisions=579926288
194.99 nbAssignments=805359 nbFailedAssignments=300090 nbBacktracks=505019 nbVisitedNodes=1368772 nbRestartNogoods=163
194.99 => wckTime=194.033 cpuTime=192.76 mem=15M355
280.92
280.92 search
280.92 run=25 nbConstraintChecks=1863579844 nbPropagations=69481557 nbRevisions=1056666570
280.92 nbUselessRevisions=865755968 nbAssignments=1201373 nbFailedAssignments=443583 nbBacktracks=757531
280.92 nbVisitedNodes=2035397 nbRestartNogoods=178
280.92 => wckTime=279.965 cpuTime=278.6 mem=15M355
413.27
413.27 search
413.27 run=26 nbConstraintChecks=2782149491 nbPropagations=103800854 nbRevisions=1577057765
413.27 nbUselessRevisions=1292134386 nbAssignments=1794605 nbFailedAssignments=658043 nbBacktracks=1136299
413.27 nbVisitedNodes=3037721 nbRestartNogoods=200
413.27 => wckTime=412.313 cpuTime=410.82 mem=15M355
630.72
630.72 search
630.72 run=27 nbConstraintChecks=4325913174 nbPropagations=156325133 nbRevisions=2378241885
630.72 nbUselessRevisions=1948420146 nbAssignments=2716244 nbFailedAssignments=1011520 nbBacktracks=1704452
630.72 nbVisitedNodes=4617359 nbRestartNogoods=210
630.72 => wckTime=629.761 cpuTime=627.6 mem=15M355
810.06
810.06 search
810.06 run=28 nbConstraintChecks=5537901306 nbPropagations=224415248 nbRevisions=3412064409
810.06 nbUselessRevisions=2795494059 nbAssignments=3548020 nbFailedAssignments=1312007 nbBacktracks=2235691
810.06 nbVisitedNodes=6018314 nbRestartNogoods=227
810.06 => wckTime=809.097 cpuTime=806.04 mem=15M355
810.06
810.06 global
810.06 nbConstraintChecks=5537901306 nbPropagations=224415298 nbRevisions=3412064409 nbUselessRevisions=2795494059
810.06 nbRestartNogoods=227 solvingWckTime=809.098 solvingCpuTime=806.04 expiredTime=no totalExploration=no
810.06 nbFoundSolutions=1 globalCpuTime=806.55
810.06 => wckTime=809.728 cpuTime=806.49 mem=15M355
810.06
810.06 s SATISFIABLE
810.06 v 7 15 20 11 11 20 1 21 11 5 15 18 2 21 0 3 21 16 9 22 20 6 16 19 14 16 1 3 20 1 2 3 6 21 12 1 10 14 7 11 2 14 18 10 18 21 11 13 5 11
810.06 d NODES 3548020
810.06 d CHECKS 5537901306
810.06
810.06 totalWckTime=809.815 totalCpuTime=806.55
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-194662-1168069389 -o ROOT/results/node7/solver-194662-1168069389 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194662-1168069389/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.12 1.63 1.82 4/86 17155
/proc/meminfo: memFree=1200416/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=1816 CPUtime=0
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 175 0 0 0 0 0 0 0 18 0 1 0 155334529 1859584 146 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/17154/statm: 446 145 111 14 0 91 0
[startup+0.107698 s]
/proc/loadavg: 1.12 1.63 1.82 4/86 17155
/proc/meminfo: memFree=1200416/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=914988 CPUtime=0.09
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 2952 0 1 0 7 2 0 0 17 0 8 0 155334529 936947712 2698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819365 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17154/statm: 228747 2698 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515739 s]
/proc/loadavg: 1.12 1.63 1.82 4/86 17155
/proc/meminfo: memFree=1200416/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915328 CPUtime=0.49
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 6675 0 1 0 44 5 0 0 19 0 8 0 155334529 937295872 6414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17154/statm: 228832 6414 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33682 s]
/proc/loadavg: 1.27 1.66 1.82 3/93 17162
/proc/meminfo: memFree=1172712/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915460 CPUtime=1.29
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 9595 0 1 0 122 7 0 0 24 0 8 0 155334529 937431040 9333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17154/statm: 228865 9333 2513 14 0 215335 0
[pid=17154/tid=17156] ppid=17152 vsize=915460 CPUtime=0.04
/proc/17154/task/17156/stat : 17156 (java) S 17152 17154 16975 0 -1 64 405 0 0 0 4 0 0 0 16 0 8 0 155334534 937431040 9333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17157] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17157/stat : 17157 (java) S 17152 17154 16975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155334534 937431040 9333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17158] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17158/stat : 17158 (java) S 17152 17154 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155334534 937431040 9333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17159] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17159/stat : 17159 (java) S 17152 17154 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155334538 937431040 9333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17160] ppid=17152 vsize=915460 CPUtime=0.21
/proc/17154/task/17160/stat : 17160 (java) S 17152 17154 16975 0 -1 64 380 0 0 0 21 0 0 0 15 0 8 0 155334538 937431040 9333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17161] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17161/stat : 17161 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155334538 937431040 9333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17162] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17162/stat : 17162 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155334538 937431040 9333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.97599 s]
/proc/loadavg: 1.27 1.66 1.82 3/93 17162
/proc/meminfo: memFree=1172520/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915460 CPUtime=2.92
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 9613 0 1 0 285 7 0 0 25 0 8 0 155334529 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812640 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17154/statm: 228865 9349 2513 14 0 215335 0
[pid=17154/tid=17156] ppid=17152 vsize=915460 CPUtime=0.04
/proc/17154/task/17156/stat : 17156 (java) S 17152 17154 16975 0 -1 64 405 0 0 0 4 0 0 0 17 0 8 0 155334534 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17157] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17157/stat : 17157 (java) S 17152 17154 16975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155334534 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17158] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17158/stat : 17158 (java) S 17152 17154 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155334534 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17159] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17159/stat : 17159 (java) S 17152 17154 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17160] ppid=17152 vsize=915460 CPUtime=0.25
/proc/17154/task/17160/stat : 17160 (java) S 17152 17154 16975 0 -1 64 397 0 0 0 25 0 0 0 15 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17161] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17161/stat : 17161 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17162] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17162/stat : 17162 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155334538 937431040 9349 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) 915460
[startup+6.18333 s]
/proc/loadavg: 1.27 1.66 1.82 3/93 17162
/proc/meminfo: memFree=1172200/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915460 CPUtime=6.11
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 9613 0 1 0 603 8 0 0 25 0 8 0 155334529 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17154/statm: 228865 9349 2513 14 0 215335 0
[pid=17154/tid=17156] ppid=17152 vsize=915460 CPUtime=0.04
/proc/17154/task/17156/stat : 17156 (java) S 17152 17154 16975 0 -1 64 405 0 0 0 4 0 0 0 16 0 8 0 155334534 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17157] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17157/stat : 17157 (java) S 17152 17154 16975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155334534 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17158] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17158/stat : 17158 (java) S 17152 17154 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155334534 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17159] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17159/stat : 17159 (java) S 17152 17154 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17160] ppid=17152 vsize=915460 CPUtime=0.25
/proc/17154/task/17160/stat : 17160 (java) S 17152 17154 16975 0 -1 64 397 0 0 0 25 0 0 0 15 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17161] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17161/stat : 17161 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17162] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17162/stat : 17162 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915460
[startup+12.651 s]
/proc/loadavg: 1.38 1.67 1.82 3/93 17162
/proc/meminfo: memFree=1171816/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915460 CPUtime=12.51
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 9613 0 1 0 1243 8 0 0 25 0 8 0 155334529 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17154/statm: 228865 9349 2513 14 0 215335 0
[pid=17154/tid=17156] ppid=17152 vsize=915460 CPUtime=0.04
/proc/17154/task/17156/stat : 17156 (java) S 17152 17154 16975 0 -1 64 405 0 0 0 4 0 0 0 16 0 8 0 155334534 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17157] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17157/stat : 17157 (java) S 17152 17154 16975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155334534 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17158] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17158/stat : 17158 (java) S 17152 17154 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155334534 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17159] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17159/stat : 17159 (java) S 17152 17154 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17160] ppid=17152 vsize=915460 CPUtime=0.25
/proc/17154/task/17160/stat : 17160 (java) S 17152 17154 16975 0 -1 64 397 0 0 0 25 0 0 0 15 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17161] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17161/stat : 17161 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17162] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17162/stat : 17162 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915460
[startup+25.5144 s]
/proc/loadavg: 1.48 1.68 1.82 3/93 17162
/proc/meminfo: memFree=1170920/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915460 CPUtime=25.26
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 9613 0 1 0 2518 8 0 0 25 0 8 0 155334529 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830211 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17154/statm: 228865 9349 2513 14 0 215335 0
[pid=17154/tid=17156] ppid=17152 vsize=915460 CPUtime=0.04
/proc/17154/task/17156/stat : 17156 (java) S 17152 17154 16975 0 -1 64 405 0 0 0 4 0 0 0 16 0 8 0 155334534 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17157] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17157/stat : 17157 (java) S 17152 17154 16975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155334534 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17158] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17158/stat : 17158 (java) S 17152 17154 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155334534 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17159] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17159/stat : 17159 (java) S 17152 17154 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17160] ppid=17152 vsize=915460 CPUtime=0.25
/proc/17154/task/17160/stat : 17160 (java) S 17152 17154 16975 0 -1 64 397 0 0 0 25 0 0 0 16 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17161] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17161/stat : 17161 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17162] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17162/stat : 17162 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915460
[startup+51.1341 s]
/proc/loadavg: 1.68 1.71 1.83 3/93 17162
/proc/meminfo: memFree=1169256/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915460 CPUtime=50.65
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 9613 0 1 0 5057 8 0 0 25 0 8 0 155334529 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17154/statm: 228865 9349 2513 14 0 215335 0
[pid=17154/tid=17156] ppid=17152 vsize=915460 CPUtime=0.04
/proc/17154/task/17156/stat : 17156 (java) S 17152 17154 16975 0 -1 64 405 0 0 0 4 0 0 0 16 0 8 0 155334534 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17157] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17157/stat : 17157 (java) S 17152 17154 16975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155334534 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17158] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17158/stat : 17158 (java) S 17152 17154 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155334534 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17159] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17159/stat : 17159 (java) S 17152 17154 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17160] ppid=17152 vsize=915460 CPUtime=0.25
/proc/17154/task/17160/stat : 17160 (java) S 17152 17154 16975 0 -1 64 397 0 0 0 25 0 0 0 16 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17161] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17161/stat : 17161 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17162] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17162/stat : 17162 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155334538 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915460
[startup+102.356 s]
/proc/loadavg: 1.86 1.75 1.83 3/93 17162
/proc/meminfo: memFree=1168488/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915460 CPUtime=101.43
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 9615 0 1 0 10134 9 0 0 25 0 8 0 155334529 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822775 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17154/statm: 228865 9350 2513 14 0 215335 0
[pid=17154/tid=17156] ppid=17152 vsize=915460 CPUtime=0.04
/proc/17154/task/17156/stat : 17156 (java) S 17152 17154 16975 0 -1 64 405 0 0 0 4 0 0 0 16 0 8 0 155334534 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17157] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17157/stat : 17157 (java) S 17152 17154 16975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155334534 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17158] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17158/stat : 17158 (java) S 17152 17154 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155334534 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17159] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17159/stat : 17159 (java) S 17152 17154 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155334538 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17160] ppid=17152 vsize=915460 CPUtime=0.25
/proc/17154/task/17160/stat : 17160 (java) S 17152 17154 16975 0 -1 64 398 0 0 0 25 0 0 0 16 0 8 0 155334538 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17161] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17161/stat : 17161 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155334538 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17162] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17162/stat : 17162 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155334538 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 915460
[startup+162.424 s]
/proc/loadavg: 1.90 1.78 1.83 3/100 17253
/proc/meminfo: memFree=1348144/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915460 CPUtime=161.25
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 9615 0 1 0 16115 10 0 0 25 0 8 0 155334529 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/17154/task/17159/stat : 17159 (java) S 17152 17154 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17160] ppid=17152 vsize=915460 CPUtime=0.25
/proc/17154/task/17160/stat : 17160 (java) S 17152 17154 16975 0 -1 64 399 0 0 0 25 0 0 0 16 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17154/tid=17161] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17161/stat : 17161 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17162] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17162/stat : 17162 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.28
Current children cumulated vsize (KiB) 915460
[startup+402.703 s]
/proc/loadavg: 1.99 1.89 1.86 5/100 17253
/proc/meminfo: memFree=1348208/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915460 CPUtime=401.28
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 9616 0 1 0 40117 11 0 0 25 0 8 0 155334529 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845088 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17154/statm: 228865 9351 2513 14 0 215335 0
[pid=17154/tid=17156] ppid=17152 vsize=915460 CPUtime=0.04
/proc/17154/task/17156/stat : 17156 (java) S 17152 17154 16975 0 -1 64 405 0 0 0 4 0 0 0 16 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17157] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17157/stat : 17157 (java) S 17152 17154 16975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17158] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17158/stat : 17158 (java) S 17152 17154 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17159] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17159/stat : 17159 (java) S 17152 17154 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17160] ppid=17152 vsize=915460 CPUtime=0.25
/proc/17154/task/17160/stat : 17160 (java) S 17152 17154 16975 0 -1 64 399 0 0 0 25 0 0 0 16 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17154/tid=17161] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17161/stat : 17161 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17162] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17162/stat : 17162 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.28
Current children cumulated vsize (KiB) 915460
[startup+462.774 s]
/proc/loadavg: 2.05 1.92 1.87 3/100 17253
/proc/meminfo: memFree=1348144/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915460 CPUtime=461.3
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 9616 0 1 0 46119 11 0 0 25 0 8 0 155334529 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17154/statm: 228865 9351 2513 14 0 215335 0
[pid=17154/tid=17156] ppid=17152 vsize=915460 CPUtime=0.04
/proc/17154/task/17156/stat : 17156 (java) S 17152 17154 16975 0 -1 64 405 0 0 0 4 0 0 0 16 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17157] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17157/stat : 17157 (java) S 17152 17154 16975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17158] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17158/stat : 17158 (java) S 17152 17154 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17159] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17159/stat : 17159 (java) S 17152 17154 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17160] ppid=17152 vsize=915460 CPUtime=0.25
/proc/17154/task/17160/stat : 17160 (java) S 17152 17154 16975 0 -1 64 399 0 0 0 25 0 0 0 16 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17154/tid=17161] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17161/stat : 17161 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17162] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17162/stat : 17162 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.3
Current children cumulated vsize (KiB) 915460
[startup+522.85 s]
/proc/loadavg: 2.02 1.94 1.87 3/100 17253
/proc/meminfo: memFree=1348144/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915460 CPUtime=521.31
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 9616 0 1 0 52120 11 0 0 25 0 8 0 155334529 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17154/statm: 228865 9351 2513 14 0 215335 0
[pid=17154/tid=17156] ppid=17152 vsize=915460 CPUtime=0.04
/proc/17154/task/17156/stat : 17156 (java) S 17152 17154 16975 0 -1 64 405 0 0 0 4 0 0 0 16 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17157] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17157/stat : 17157 (java) S 17152 17154 16975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17158] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17158/stat : 17158 (java) S 17152 17154 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17159] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17159/stat : 17159 (java) S 17152 17154 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17160] ppid=17152 vsize=915460 CPUtime=0.25
/proc/17154/task/17160/stat : 17160 (java) S 17152 17154 16975 0 -1 64 399 0 0 0 25 0 0 0 16 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17154/tid=17161] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17161/stat : 17161 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17162] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17162/stat : 17162 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 521.31
Current children cumulated vsize (KiB) 915460
[startup+582.94 s]
/proc/loadavg: 2.00 1.94 1.88 3/100 17253
/proc/meminfo: memFree=1348208/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915460 CPUtime=581.08
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 9616 0 1 0 58097 11 0 0 25 0 8 0 155334529 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17154/statm: 228865 9351 2513 14 0 215335 0
[pid=17154/tid=17156] ppid=17152 vsize=915460 CPUtime=0.04
/proc/17154/task/17156/stat : 17156 (java) S 17152 17154 16975 0 -1 64 405 0 0 0 4 0 0 0 16 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17157] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17157/stat : 17157 (java) S 17152 17154 16975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17158] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17158/stat : 17158 (java) S 17152 17154 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17159] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17159/stat : 17159 (java) S 17152 17154 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17160] ppid=17152 vsize=915460 CPUtime=0.25
/proc/17154/task/17160/stat : 17160 (java) S 17152 17154 16975 0 -1 64 399 0 0 0 25 0 0 0 16 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17154/tid=17161] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17161/stat : 17161 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17162] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17162/stat : 17162 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 581.08
Current children cumulated vsize (KiB) 915460
[startup+642.974 s]
/proc/loadavg: 2.00 1.95 1.89 3/100 17253
/proc/meminfo: memFree=1348144/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915460 CPUtime=640.83
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 9616 0 1 0 64071 12 0 0 25 0 8 0 155334529 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17154/statm: 228865 9351 2513 14 0 215335 0
[pid=17154/tid=17156] ppid=17152 vsize=915460 CPUtime=0.04
/proc/17154/task/17156/stat : 17156 (java) S 17152 17154 16975 0 -1 64 405 0 0 0 4 0 0 0 16 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17157] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17157/stat : 17157 (java) S 17152 17154 16975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17158] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17158/stat : 17158 (java) S 17152 17154 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17159] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17159/stat : 17159 (java) S 17152 17154 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17160] ppid=17152 vsize=915460 CPUtime=0.25
/proc/17154/task/17160/stat : 17160 (java) S 17152 17154 16975 0 -1 64 399 0 0 0 25 0 0 0 16 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17154/tid=17161] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17161/stat : 17161 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17162] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17162/stat : 17162 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 640.83
Current children cumulated vsize (KiB) 915460
[startup+703.01 s]
/proc/loadavg: 2.00 1.96 1.89 3/100 17253
/proc/meminfo: memFree=1348144/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915460 CPUtime=700.57
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 9616 0 1 0 70045 12 0 0 25 0 8 0 155334529 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847107 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17154/statm: 228865 9351 2513 14 0 215335 0
[pid=17154/tid=17156] ppid=17152 vsize=915460 CPUtime=0.04
/proc/17154/task/17156/stat : 17156 (java) S 17152 17154 16975 0 -1 64 405 0 0 0 4 0 0 0 16 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17157] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17157/stat : 17157 (java) S 17152 17154 16975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17158] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17158/stat : 17158 (java) S 17152 17154 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17159] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17159/stat : 17159 (java) S 17152 17154 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17160] ppid=17152 vsize=915460 CPUtime=0.25
/proc/17154/task/17160/stat : 17160 (java) S 17152 17154 16975 0 -1 64 399 0 0 0 25 0 0 0 16 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17154/tid=17161] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17161/stat : 17161 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17162] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17162/stat : 17162 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 700.57
Current children cumulated vsize (KiB) 915460
[startup+763.047 s]
/proc/loadavg: 2.00 1.96 1.90 3/100 17253
/proc/meminfo: memFree=1348080/2055920 swapFree=4192812/4192956
[pid=17154] ppid=17152 vsize=915460 CPUtime=760.29
/proc/17154/stat : 17154 (java) R 17152 17154 16975 0 -1 0 9616 0 1 0 76017 12 0 0 25 0 8 0 155334529 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17154/statm: 228865 9351 2513 14 0 215335 0
[pid=17154/tid=17156] ppid=17152 vsize=915460 CPUtime=0.04
/proc/17154/task/17156/stat : 17156 (java) S 17152 17154 16975 0 -1 64 405 0 0 0 4 0 0 0 16 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17157] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17157/stat : 17157 (java) S 17152 17154 16975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17158] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17158/stat : 17158 (java) S 17152 17154 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155334534 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17159] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17159/stat : 17159 (java) S 17152 17154 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17160] ppid=17152 vsize=915460 CPUtime=0.25
/proc/17154/task/17160/stat : 17160 (java) S 17152 17154 16975 0 -1 64 399 0 0 0 25 0 0 0 16 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17154/tid=17161] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17161/stat : 17161 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17154/tid=17162] ppid=17152 vsize=915460 CPUtime=0
/proc/17154/task/17162/stat : 17162 (java) S 17152 17154 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155334538 937431040 9351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 760.29
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 810.126
CPU time (s): 807.094
CPU user time (s): 806.956
CPU system time (s): 0.137979
CPU usage (%): 99.6257
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 806.956
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9624
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= 17509
involuntary context switches= 26874
runsolver used 0.938857 s user time and 2.52861 s system time
The end
Begin job on node7 on Sat Jan 6 07:43:11 UTC 2007
IDJOB= 194662
IDBENCH= 3226
FILE ID= node7/194662-1168069389
PBS_JOBID= 3475708
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194662-1168069389/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-194662-1168069389 -o ROOT/results/node7/solver-194662-1168069389 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194662-1168069389/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 876a1509ce5a213d05191b9c1b8c3d90
RANDOM SEED= 841583678
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: 1200832 kB
Buffers: 78524 kB
Cached: 409104 kB
SwapCached: 0 kB
Active: 514132 kB
Inactive: 238032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1200832 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2160 kB
Writeback: 0 kB
Mapped: 286108 kB
Slab: 87312 kB
Committed_AS: 4436784 kB
PageTables: 2736 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 node7 on Sat Jan 6 07:56:41 UTC 2007