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/217297-1168079358/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.40 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.54
0.54 constraints being loaded...
0.66 nbConstraints=430 nbRelationTypes=430 nbExtensionStructures=430 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=430 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1289 maxDegree=24
0.66 maxArity=2
0.66 => wckTime=0.36 cpuTime=0.28 mem=16M802
0.70
0.70 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.55 cpuTime=0.41 mem=15M307
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.0080 cpuTime=0.0 mem=15M307
0.91
0.91 search
0.91 run=0 nbConstraintChecks=54095 nbPropagations=686 nbRevisions=7803 nbUselessRevisions=6439 nbAssignments=31
0.91 nbFailedAssignments=9 nbBacktracks=13 nbVisitedNodes=49 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.055 cpuTime=0.03 mem=15M307
0.93
0.93 search
0.93 run=1 nbConstraintChecks=109988 nbPropagations=2031 nbRevisions=24166 nbUselessRevisions=19901
0.93 nbAssignments=64 nbFailedAssignments=18 nbBacktracks=28 nbVisitedNodes=100 nbRestartNogoods=1 mapSize=22
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.079 cpuTime=0.05 mem=15M307
0.95
0.95 search
0.95 run=2 nbConstraintChecks=191209 nbPropagations=4335 nbRevisions=52695 nbUselessRevisions=43486
0.95 nbAssignments=111 nbFailedAssignments=30 nbBacktracks=50 nbVisitedNodes=173 nbRestartNogoods=2 mapSize=42
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.1 cpuTime=0.06 mem=15M307
0.98
0.98 search
0.98 run=3 nbConstraintChecks=316287 nbPropagations=8132 nbRevisions=102131 nbUselessRevisions=84240
0.98 nbAssignments=181 nbFailedAssignments=56 nbBacktracks=84 nbVisitedNodes=291 nbRestartNogoods=5 mapSize=73
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.122 cpuTime=0.09 mem=15M307
1.01
1.01 search
1.01 run=4 nbConstraintChecks=489343 nbPropagations=13933 nbRevisions=179368 nbUselessRevisions=147480
1.01 nbAssignments=274 nbFailedAssignments=89 nbBacktracks=134 nbVisitedNodes=448 nbRestartNogoods=9 mapSize=115
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.154 cpuTime=0.11 mem=15M307
1.05
1.05 search
1.05 run=5 nbConstraintChecks=680219 nbPropagations=22171 nbRevisions=290215 nbUselessRevisions=238256
1.05 nbAssignments=400 nbFailedAssignments=129 nbBacktracks=210 nbVisitedNodes=651 nbRestartNogoods=11 mapSize=166
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.192 cpuTime=0.15 mem=15M307
1.10
1.10 search
1.10 run=6 nbConstraintChecks=981344 nbPropagations=34110 nbRevisions=453065 nbUselessRevisions=371347
1.10 nbAssignments=595 nbFailedAssignments=199 nbBacktracks=327 nbVisitedNodes=977 nbRestartNogoods=14 mapSize=261
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.245 cpuTime=0.2 mem=15M307
1.20
1.20 search
1.20 run=7 nbConstraintChecks=1577909 nbPropagations=52602 nbRevisions=710914 nbUselessRevisions=580801
1.20 nbAssignments=910 nbFailedAssignments=334 nbBacktracks=497 nbVisitedNodes=1526 nbRestartNogoods=18 mapSize=404
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.348 cpuTime=0.29 mem=15M307
1.30
1.30 search
1.30 run=8 nbConstraintChecks=2130287 nbPropagations=78349 nbRevisions=1072915 nbUselessRevisions=875080
1.31 nbAssignments=1314 nbFailedAssignments=472 nbBacktracks=753 nbVisitedNodes=2194 nbRestartNogoods=22
1.31 mapSize=603 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.451 cpuTime=0.39 mem=15M307
1.49
1.49 search
1.49 run=9 nbConstraintChecks=3227726 nbPropagations=117191 nbRevisions=1624748 nbUselessRevisions=1322977
1.49 nbAssignments=2001 nbFailedAssignments=766 nbBacktracks=1138 nbVisitedNodes=3376 nbRestartNogoods=26
1.49 mapSize=917 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.632 cpuTime=0.56 mem=15M307
1.55
1.55 INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=15M307)
1.70
1.70 search
1.70 run=10 nbConstraintChecks=4483141 nbPropagations=173501 nbRevisions=2426346 nbUselessRevisions=1975224
1.70 nbAssignments=2976 nbFailedAssignments=1154 nbBacktracks=1716 nbVisitedNodes=5028 nbRestartNogoods=34
1.70 => wckTime=0.844 cpuTime=0.76 mem=15M307
2.03
2.03 search
2.03 run=11 nbConstraintChecks=6821339 nbPropagations=258347 nbRevisions=3629678 nbUselessRevisions=2951413
2.03 nbAssignments=4404 nbFailedAssignments=1708 nbBacktracks=2580 nbVisitedNodes=7497 nbRestartNogoods=38
2.03 => wckTime=1.173 cpuTime=1.09 mem=15M307
2.53
2.53 search
2.53 run=12 nbConstraintChecks=10329696 nbPropagations=385345 nbRevisions=5451264 nbUselessRevisions=4429413
2.53 nbAssignments=6554 nbFailedAssignments=2553 nbBacktracks=3877 nbVisitedNodes=11182 nbRestartNogoods=43
2.53 => wckTime=1.672 cpuTime=1.58 mem=15M307
3.27
3.27 search
3.27 run=13 nbConstraintChecks=15914096 nbPropagations=576243 nbRevisions=8182740 nbUselessRevisions=6638411
3.27 nbAssignments=9769 nbFailedAssignments=3813 nbBacktracks=5824 nbVisitedNodes=16688 nbRestartNogoods=52
3.27 => wckTime=2.419 cpuTime=2.32 mem=15M307
4.30
4.30 search
4.30 run=14 nbConstraintChecks=22987525 nbPropagations=857010 nbRevisions=12232124 nbUselessRevisions=9919742
4.30 nbAssignments=14581 nbFailedAssignments=5695 nbBacktracks=8746 nbVisitedNodes=24873 nbRestartNogoods=59
4.30 => wckTime=3.45 cpuTime=3.35 mem=15M307
6.07
6.07 search
6.07 run=15 nbConstraintChecks=35763987 nbPropagations=1288418 nbRevisions=18459465 nbUselessRevisions=14959399
6.07 nbAssignments=22070 nbFailedAssignments=8796 nbBacktracks=13127 nbVisitedNodes=37952 nbRestartNogoods=64
6.07 => wckTime=5.217 cpuTime=5.09 mem=15M307
8.47
8.47 search
8.47 run=16 nbConstraintChecks=53363887 nbPropagations=1926363 nbRevisions=27710017 nbUselessRevisions=22447588
8.47 nbAssignments=32609 nbFailedAssignments=12759 nbBacktracks=19696 nbVisitedNodes=55900 nbRestartNogoods=70
8.47 => wckTime=7.616 cpuTime=7.48 mem=15M307
12.36
12.36 search
12.36 run=17 nbConstraintChecks=81726369 nbPropagations=2889163 nbRevisions=41658270 nbUselessRevisions=33719473
12.37 nbAssignments=48646 nbFailedAssignments=18933 nbBacktracks=29551 nbVisitedNodes=83245 nbRestartNogoods=77
12.37 => wckTime=11.511 cpuTime=11.34 mem=15M307
17.76
17.76 search
17.76 run=18 nbConstraintChecks=120956215 nbPropagations=4321077 nbRevisions=62508071 nbUselessRevisions=50596928
17.76 nbAssignments=72583 nbFailedAssignments=28083 nbBacktracks=44329 nbVisitedNodes=124059 nbRestartNogoods=87
17.76 => wckTime=16.91 cpuTime=16.71 mem=15M307
26.80
26.80 search
26.80 run=19 nbConstraintChecks=188059563 nbPropagations=6525409 nbRevisions=94623735 nbUselessRevisions=76568195
26.80 nbAssignments=110508 nbFailedAssignments=43833 nbBacktracks=66497 nbVisitedNodes=190148 nbRestartNogoods=100
26.80 => wckTime=25.941 cpuTime=25.71 mem=15M307
39.51
39.51 search
39.51 run=20 nbConstraintChecks=280823127 nbPropagations=9838121 nbRevisions=142898221 nbUselessRevisions=115626995
39.51 nbAssignments=165247 nbFailedAssignments=65309 nbBacktracks=99752 nbVisitedNodes=284322 nbRestartNogoods=115
39.51 => wckTime=38.652 cpuTime=38.37 mem=15M307
58.83
58.83 search
58.83 run=21 nbConstraintChecks=421649728 nbPropagations=14833573 nbRevisions=215596142 nbUselessRevisions=174463191
58.83 nbAssignments=248498 nbFailedAssignments=98670 nbBacktracks=149632 nbVisitedNodes=428162 nbRestartNogoods=128
58.83 => wckTime=57.975 cpuTime=57.59 mem=15M307
88.76
88.76 search
88.76 run=22 nbConstraintChecks=639949784 nbPropagations=22425912 nbRevisions=326816775 nbUselessRevisions=264607084
88.76 nbAssignments=375531 nbFailedAssignments=150876 nbBacktracks=224450 nbVisitedNodes=649570 nbRestartNogoods=139
88.76 => wckTime=87.907 cpuTime=87.39 mem=15M307
131.69
131.69 search
131.69 run=23 nbConstraintChecks=957374819 nbPropagations=33719884 nbRevisions=492071065 nbUselessRevisions=398457904
131.69 nbAssignments=558945 nbFailedAssignments=222052 nbBacktracks=336678 nbVisitedNodes=964291 nbRestartNogoods=152
131.69 => wckTime=130.836 cpuTime=130.12 mem=15M307
195.20
195.20 search
195.20 run=24 nbConstraintChecks=1418197509 nbPropagations=50516424 nbRevisions=738335971 nbUselessRevisions=598054602
195.20 nbAssignments=833661 nbFailedAssignments=328421 nbBacktracks=505019 nbVisitedNodes=1435055 nbRestartNogoods=168
195.20 => wckTime=194.347 cpuTime=193.33 mem=15M307
297.78
297.78 search
297.78 run=25 nbConstraintChecks=2181609142 nbPropagations=76113888 nbRevisions=1113498626
297.78 nbUselessRevisions=901857550 nbAssignments=1263091 nbFailedAssignments=505332 nbBacktracks=757531
297.78 nbVisitedNodes=2181913 nbRestartNogoods=177
297.78 => wckTime=296.923 cpuTime=295.44 mem=15M307
444.56
444.56 search
444.56 run=26 nbConstraintChecks=3266780521 nbPropagations=114306820 nbRevisions=1674761572
444.56 nbUselessRevisions=1356602125 nbAssignments=1883913 nbFailedAssignments=747379 nbBacktracks=1136298
444.56 nbVisitedNodes=3246861 nbRestartNogoods=194
444.56 => wckTime=443.701 cpuTime=441.55 mem=15M307
678.74
678.74 search
678.74 run=27 nbConstraintChecks=5007470387 nbPropagations=172626528 nbRevisions=2530197135
678.74 nbUselessRevisions=2048968580 nbAssignments=2861310 nbFailedAssignments=1156618 nbBacktracks=1704449
678.74 nbVisitedNodes=4955840 nbRestartNogoods=209
678.74 => wckTime=677.888 cpuTime=674.67 mem=15M307
764.50
764.50 search
764.50 run=28 nbConstraintChecks=5620777249 nbPropagations=238444788 nbRevisions=3495566526
764.50 nbUselessRevisions=2830771859 nbAssignments=3240075 nbFailedAssignments=1299581 nbBacktracks=1940201
764.50 nbVisitedNodes=5602386 nbRestartNogoods=227
764.50 => wckTime=763.649 cpuTime=760.04 mem=15M307
764.50
764.50 global
764.50 nbConstraintChecks=5620777249 nbPropagations=238444838 nbRevisions=3495566526 nbUselessRevisions=2830771859
764.50 nbRestartNogoods=227 solvingWckTime=763.65 solvingCpuTime=760.04 expiredTime=no totalExploration=no
764.50 nbFoundSolutions=1 globalCpuTime=760.49
764.50 => wckTime=764.204 cpuTime=760.45 mem=16M282
764.51
764.51 s SATISFIABLE
764.51 v 6 5 2 13 20 4 10 21 2 9 12 2 9 14 0 1 1 19 14 13 20 5 8 7 4 13 8 9 8 9 22 14 17 7 19 5 22 5 14 21 8 8 22 9 2 4 19 22 13 17
764.51 d NODES 3240075
764.51 d CHECKS 5620777249
764.51
764.51 totalWckTime=764.281 totalCpuTime=760.49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-217297-1168079358 -o ROOT/results/node43/solver-217297-1168079358 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217297-1168079358/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.82 1.67 1.73 3/80 9454
/proc/meminfo: memFree=1607776/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=18540 CPUtime=0
/proc/9453/stat : 9453 (runsolver) R 9451 9453 9225 0 -1 4194368 17 0 0 0 0 0 0 0 22 0 1 0 156335097 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 216849247527 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/9453/statm: 4635 279 244 17 0 2626 0
[startup+0.106971 s]
/proc/loadavg: 0.82 1.67 1.73 3/80 9454
/proc/meminfo: memFree=1607776/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=914988 CPUtime=0.08
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 3002 0 1 0 7 1 0 0 24 0 8 0 156335097 936947712 2748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155586080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228747 2748 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515039 s]
/proc/loadavg: 0.82 1.67 1.73 3/80 9454
/proc/meminfo: memFree=1607776/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915328 CPUtime=0.49
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 7295 0 1 0 45 4 0 0 25 0 8 0 156335097 937295872 7034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228832 7034 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33717 s]
/proc/loadavg: 0.91 1.68 1.73 3/87 9461
/proc/meminfo: memFree=1580392/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915460 CPUtime=1.3
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 9537 0 1 0 124 6 0 0 25 0 8 0 156335097 937431040 9275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828521 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228865 9275 2513 14 0 215335 0
[pid=9453/tid=9455] ppid=9451 vsize=915460 CPUtime=0.03
/proc/9453/task/9455/stat : 9455 (java) S 9451 9453 9225 0 -1 64 392 0 0 0 3 0 0 0 16 0 8 0 156335101 937431040 9275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9456] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9456/stat : 9456 (java) S 9451 9453 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335102 937431040 9275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9457] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9457/stat : 9457 (java) S 9451 9453 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335102 937431040 9275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9458] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9458/stat : 9458 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156335105 937431040 9275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9459] ppid=9451 vsize=915460 CPUtime=0.2
/proc/9453/task/9459/stat : 9459 (java) S 9451 9453 9225 0 -1 64 378 0 0 0 19 1 0 0 15 0 8 0 156335105 937431040 9275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9460] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9460/stat : 9460 (java) S 9451 9453 9225 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156335105 937431040 9275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9461] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9461/stat : 9461 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335105 937431040 9275 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) 915460
[startup+2.98944 s]
/proc/loadavg: 0.91 1.68 1.73 3/87 9461
/proc/meminfo: memFree=1580264/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915460 CPUtime=2.94
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 9553 0 1 0 288 6 0 0 25 0 8 0 156335097 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838524 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228865 9289 2513 14 0 215335 0
[pid=9453/tid=9455] ppid=9451 vsize=915460 CPUtime=0.03
/proc/9453/task/9455/stat : 9455 (java) S 9451 9453 9225 0 -1 64 392 0 0 0 3 0 0 0 17 0 8 0 156335101 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9456] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9456/stat : 9456 (java) S 9451 9453 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335102 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9457] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9457/stat : 9457 (java) S 9451 9453 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335102 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9458] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9458/stat : 9458 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9459] ppid=9451 vsize=915460 CPUtime=0.22
/proc/9453/task/9459/stat : 9459 (java) S 9451 9453 9225 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9460] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9460/stat : 9460 (java) S 9451 9453 9225 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9461] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9461/stat : 9461 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.26999 s]
/proc/loadavg: 1.00 1.68 1.73 3/87 9461
/proc/meminfo: memFree=1580264/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915460 CPUtime=6.2
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 9554 0 1 0 613 7 0 0 25 0 8 0 156335097 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815088 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228865 9289 2513 14 0 215335 0
[pid=9453/tid=9455] ppid=9451 vsize=915460 CPUtime=0.03
/proc/9453/task/9455/stat : 9455 (java) S 9451 9453 9225 0 -1 64 392 0 0 0 3 0 0 0 17 0 8 0 156335101 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9456] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9456/stat : 9456 (java) S 9451 9453 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335102 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9457] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9457/stat : 9457 (java) S 9451 9453 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335102 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9458] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9458/stat : 9458 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9459] ppid=9451 vsize=915460 CPUtime=0.23
/proc/9453/task/9459/stat : 9459 (java) S 9451 9453 9225 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9460] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9460/stat : 9460 (java) S 9451 9453 9225 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9461] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9461/stat : 9461 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460
[startup+12.7511 s]
/proc/loadavg: 1.00 1.67 1.73 3/87 9517
/proc/meminfo: memFree=1584104/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915460 CPUtime=12.63
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 9554 0 1 0 1255 8 0 0 25 0 8 0 156335097 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847347 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228865 9289 2513 14 0 215335 0
[pid=9453/tid=9455] ppid=9451 vsize=915460 CPUtime=0.03
/proc/9453/task/9455/stat : 9455 (java) S 9451 9453 9225 0 -1 64 392 0 0 0 3 0 0 0 16 0 8 0 156335101 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9456] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9456/stat : 9456 (java) S 9451 9453 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335102 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9457] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9457/stat : 9457 (java) S 9451 9453 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335102 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9458] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9458/stat : 9458 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9459] ppid=9451 vsize=915460 CPUtime=0.23
/proc/9453/task/9459/stat : 9459 (java) S 9451 9453 9225 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9460] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9460/stat : 9460 (java) S 9451 9453 9225 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9461] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9461/stat : 9461 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915460
[startup+25.5942 s]
/proc/loadavg: 1.15 1.68 1.73 3/87 9517
/proc/meminfo: memFree=1545576/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915460 CPUtime=25.41
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 9554 0 1 0 2533 8 0 0 25 0 8 0 156335097 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228865 9289 2513 14 0 215335 0
[pid=9453/tid=9455] ppid=9451 vsize=915460 CPUtime=0.03
/proc/9453/task/9455/stat : 9455 (java) S 9451 9453 9225 0 -1 64 392 0 0 0 3 0 0 0 16 0 8 0 156335101 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9456] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9456/stat : 9456 (java) S 9451 9453 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335102 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9457] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9457/stat : 9457 (java) S 9451 9453 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335102 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9458] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9458/stat : 9458 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9459] ppid=9451 vsize=915460 CPUtime=0.23
/proc/9453/task/9459/stat : 9459 (java) S 9451 9453 9225 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9460] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9460/stat : 9460 (java) S 9451 9453 9225 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9461] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9461/stat : 9461 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915460
[startup+51.2915 s]
/proc/loadavg: 1.48 1.71 1.74 3/87 9517
/proc/meminfo: memFree=1544616/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915460 CPUtime=51
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 9554 0 1 0 5092 8 0 0 25 0 8 0 156335097 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828588 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228865 9289 2513 14 0 215335 0
[pid=9453/tid=9455] ppid=9451 vsize=915460 CPUtime=0.03
/proc/9453/task/9455/stat : 9455 (java) S 9451 9453 9225 0 -1 64 392 0 0 0 3 0 0 0 16 0 8 0 156335101 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9456] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9456/stat : 9456 (java) S 9451 9453 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335102 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9457] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9457/stat : 9457 (java) S 9451 9453 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335102 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9458] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9458/stat : 9458 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9459] ppid=9451 vsize=915460 CPUtime=0.23
/proc/9453/task/9459/stat : 9459 (java) S 9451 9453 9225 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9460] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9460/stat : 9460 (java) S 9451 9453 9225 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9461] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9461/stat : 9461 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915460
[startup+102.578 s]
/proc/loadavg: 1.77 1.75 1.75 3/87 9517
/proc/meminfo: memFree=1544680/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915460 CPUtime=102.04
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 9554 0 1 0 10196 8 0 0 25 0 8 0 156335097 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823557 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228865 9289 2513 14 0 215335 0
[pid=9453/tid=9455] ppid=9451 vsize=915460 CPUtime=0.03
/proc/9453/task/9455/stat : 9455 (java) S 9451 9453 9225 0 -1 64 392 0 0 0 3 0 0 0 16 0 8 0 156335101 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9456] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9456/stat : 9456 (java) S 9451 9453 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335102 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9457] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9457/stat : 9457 (java) S 9451 9453 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335102 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9458] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9458/stat : 9458 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9459] ppid=9451 vsize=915460 CPUtime=0.23
/proc/9453/task/9459/stat : 9459 (java) S 9451 9453 9225 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9460] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9460/stat : 9460 (java) S 9451 9453 9225 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9461] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9461/stat : 9461 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335105 937431040 9289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 915460
[startup+162.6 s]
/proc/loadavg: 1.91 1.79 1.76 3/87 9517
/proc/meminfo: memFree=1544680/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915460 CPUtime=161.8
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 9555 0 1 0 16171 9 0 0 25 0 8 0 156335097 937431040 9290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826630 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/9453/task/9458/stat : 9458 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156335105 937431040 9290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9459] ppid=9451 vsize=915460 CPUtime=0.23
/proc/9453/task/9459/stat : 9459 (java) S 9451 9453 9225 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 156335105 937431040 9290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9460] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9460/stat : 9460 (java) S 9451 9453 9225 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156335105 937431040 9290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9461] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9461/stat : 9461 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335105 937431040 9290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 341.04
Current children cumulated vsize (KiB) 915460
[startup+402.684 s]
/proc/loadavg: 2.00 1.91 1.81 3/87 9517
/proc/meminfo: memFree=1544552/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915460 CPUtime=400.79
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 9555 0 1 0 40070 9 0 0 25 0 8 0 156335097 937431040 9290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804078 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228865 9290 2513 14 0 215335 0
[pid=9453/tid=9455] ppid=9451 vsize=915460 CPUtime=0.03
/proc/9453/task/9455/stat : 9455 (java) S 9451 9453 9225 0 -1 64 392 0 0 0 3 0 0 0 16 0 8 0 156335101 937431040 9290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9456] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9456/stat : 9456 (java) S 9451 9453 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335102 937431040 9290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9457] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9457/stat : 9457 (java) S 9451 9453 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335102 937431040 9290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9458] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9458/stat : 9458 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156335105 937431040 9290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9459] ppid=9451 vsize=915460 CPUtime=0.23
/proc/9453/task/9459/stat : 9459 (java) S 9451 9453 9225 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 156335105 937431040 9290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9460] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9460/stat : 9460 (java) S 9451 9453 9225 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156335105 937431040 9290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9461] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9461/stat : 9461 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335105 937431040 9290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 400.79
Current children cumulated vsize (KiB) 915460
[startup+462.711 s]
/proc/loadavg: 2.00 1.92 1.82 3/87 9517
/proc/meminfo: memFree=1544552/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915460 CPUtime=460.52
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 9556 0 1 0 46043 9 0 0 25 0 8 0 156335097 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813170 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228865 9291 2513 14 0 215335 0
[pid=9453/tid=9455] ppid=9451 vsize=915460 CPUtime=0.03
/proc/9453/task/9455/stat : 9455 (java) S 9451 9453 9225 0 -1 64 392 0 0 0 3 0 0 0 16 0 8 0 156335101 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9456] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9456/stat : 9456 (java) S 9451 9453 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335102 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9457] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9457/stat : 9457 (java) S 9451 9453 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335102 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9458] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9458/stat : 9458 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9459] ppid=9451 vsize=915460 CPUtime=0.23
/proc/9453/task/9459/stat : 9459 (java) S 9451 9453 9225 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9460] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9460/stat : 9460 (java) S 9451 9453 9225 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9461] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9461/stat : 9461 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 460.52
Current children cumulated vsize (KiB) 915460
[startup+522.735 s]
/proc/loadavg: 2.16 1.97 1.84 3/87 9517
/proc/meminfo: memFree=1544552/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915460 CPUtime=520.28
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 9556 0 1 0 52019 9 0 0 25 0 8 0 156335097 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228865 9291 2513 14 0 215335 0
[pid=9453/tid=9455] ppid=9451 vsize=915460 CPUtime=0.03
/proc/9453/task/9455/stat : 9455 (java) S 9451 9453 9225 0 -1 64 392 0 0 0 3 0 0 0 16 0 8 0 156335101 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9456] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9456/stat : 9456 (java) S 9451 9453 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335102 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9457] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9457/stat : 9457 (java) S 9451 9453 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335102 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9458] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9458/stat : 9458 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9459] ppid=9451 vsize=915460 CPUtime=0.23
/proc/9453/task/9459/stat : 9459 (java) S 9451 9453 9225 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9460] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9460/stat : 9460 (java) S 9451 9453 9225 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9461] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9461/stat : 9461 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 520.28
Current children cumulated vsize (KiB) 915460
[startup+582.757 s]
/proc/loadavg: 2.11 1.99 1.85 4/87 9517
/proc/meminfo: memFree=1544552/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915460 CPUtime=580.03
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 9556 0 1 0 57994 9 0 0 25 0 8 0 156335097 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814989 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228865 9291 2513 14 0 215335 0
[pid=9453/tid=9455] ppid=9451 vsize=915460 CPUtime=0.03
/proc/9453/task/9455/stat : 9455 (java) S 9451 9453 9225 0 -1 64 392 0 0 0 3 0 0 0 16 0 8 0 156335101 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9456] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9456/stat : 9456 (java) S 9451 9453 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335102 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9457] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9457/stat : 9457 (java) S 9451 9453 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335102 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9458] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9458/stat : 9458 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9459] ppid=9451 vsize=915460 CPUtime=0.23
/proc/9453/task/9459/stat : 9459 (java) S 9451 9453 9225 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9460] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9460/stat : 9460 (java) S 9451 9453 9225 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9461] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9461/stat : 9461 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 580.03
Current children cumulated vsize (KiB) 915460
[startup+642.776 s]
/proc/loadavg: 2.04 1.99 1.85 3/87 9517
/proc/meminfo: memFree=1544552/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915460 CPUtime=639.76
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 9556 0 1 0 63967 9 0 0 25 0 8 0 156335097 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805397 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228865 9291 2513 14 0 215335 0
[pid=9453/tid=9455] ppid=9451 vsize=915460 CPUtime=0.03
/proc/9453/task/9455/stat : 9455 (java) S 9451 9453 9225 0 -1 64 392 0 0 0 3 0 0 0 16 0 8 0 156335101 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9456] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9456/stat : 9456 (java) S 9451 9453 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335102 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9457] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9457/stat : 9457 (java) S 9451 9453 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335102 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9458] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9458/stat : 9458 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9459] ppid=9451 vsize=915460 CPUtime=0.23
/proc/9453/task/9459/stat : 9459 (java) S 9451 9453 9225 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9460] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9460/stat : 9460 (java) S 9451 9453 9225 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9461] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9461/stat : 9461 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 639.76
Current children cumulated vsize (KiB) 915460
[startup+702.791 s]
/proc/loadavg: 2.01 1.99 1.86 3/87 9517
/proc/meminfo: memFree=1544552/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915460 CPUtime=699.51
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 9556 0 1 0 69942 9 0 0 25 0 8 0 156335097 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805068 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228865 9291 2513 14 0 215335 0
[pid=9453/tid=9455] ppid=9451 vsize=915460 CPUtime=0.03
/proc/9453/task/9455/stat : 9455 (java) S 9451 9453 9225 0 -1 64 392 0 0 0 3 0 0 0 16 0 8 0 156335101 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9456] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9456/stat : 9456 (java) S 9451 9453 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335102 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9457] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9457/stat : 9457 (java) S 9451 9453 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335102 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9458] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9458/stat : 9458 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9459] ppid=9451 vsize=915460 CPUtime=0.23
/proc/9453/task/9459/stat : 9459 (java) S 9451 9453 9225 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9460] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9460/stat : 9460 (java) S 9451 9453 9225 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9461] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9461/stat : 9461 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 699.51
Current children cumulated vsize (KiB) 915460
[startup+762.811 s]
/proc/loadavg: 2.00 1.99 1.87 3/87 9517
/proc/meminfo: memFree=1544552/2055920 swapFree=4192812/4192956
[pid=9453] ppid=9451 vsize=915460 CPUtime=759.26
/proc/9453/stat : 9453 (java) R 9451 9453 9225 0 -1 0 9556 0 1 0 75917 9 0 0 25 0 8 0 156335097 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867959 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9453/statm: 228865 9291 2513 14 0 215335 0
[pid=9453/tid=9455] ppid=9451 vsize=915460 CPUtime=0.03
/proc/9453/task/9455/stat : 9455 (java) S 9451 9453 9225 0 -1 64 392 0 0 0 3 0 0 0 16 0 8 0 156335101 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9456] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9456/stat : 9456 (java) S 9451 9453 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156335102 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9457] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9457/stat : 9457 (java) S 9451 9453 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156335102 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9458] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9458/stat : 9458 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9459] ppid=9451 vsize=915460 CPUtime=0.23
/proc/9453/task/9459/stat : 9459 (java) S 9451 9453 9225 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9460] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9460/stat : 9460 (java) S 9451 9453 9225 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9453/tid=9461] ppid=9451 vsize=915460 CPUtime=0
/proc/9453/task/9461/stat : 9461 (java) S 9451 9453 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156335105 937431040 9291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 759.26
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 764.551
CPU time (s): 760.972
CPU user time (s): 760.868
CPU system time (s): 0.103984
CPU usage (%): 99.5319
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 760.868
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9563
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= 16616
involuntary context switches= 27632
runsolver used 0.701893 s user time and 2.01569 s system time
The end
Begin job on node43 on Sat Jan 6 10:29:20 UTC 2007
IDJOB= 217297
IDBENCH= 5128
FILE ID= node43/217297-1168079358
PBS_JOBID= 3476129
Free space on /tmp= 66481 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb50-23/frb50-23-1-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217297-1168079358/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-217297-1168079358 -o ROOT/results/node43/solver-217297-1168079358 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217297-1168079358/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d4620c593bffc95d2822e817d09ebd03
RANDOM SEED= 795923883
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.278
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.278
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: 1608192 kB
Buffers: 27584 kB
Cached: 307452 kB
SwapCached: 0 kB
Active: 100872 kB
Inactive: 279536 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1608192 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4200 kB
Writeback: 0 kB
Mapped: 65548 kB
Slab: 52732 kB
Committed_AS: 3772356 kB
PageTables: 1848 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= 66481 MiB
End job on node43 on Sat Jan 6 10:42:04 UTC 2007