0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=mac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/229737-1168080995/unknown.xml
0.43
0.43 domains being loaded...
0.43
0.43 variables being loaded...
0.47 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.47 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.47
0.47 relations being loaded...
0.61
0.62 constraints being loaded...
0.75 nbConstraints=473 nbRelationTypes=473 nbExtensionStructures=473 nbSharedExtensionStructures=0
0.75 nbConflictsStructures=473 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2541 maxDegree=25
0.75 maxArity=2
0.75 => wckTime=0.379 cpuTime=0.3 mem=17M744
0.79
0.80 solver IterativeSystematicSolver being built...
0.94 => wckTime=0.571 cpuTime=0.42 mem=15M378
0.95
0.95 preprocessing
0.95 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.95 detectedInconsistency=no
0.95 => wckTime=0.0080 cpuTime=0.0 mem=15M378
1.00
1.00 search
1.00 run=0 nbConstraintChecks=56865 nbPropagations=697 nbRevisions=8899 nbUselessRevisions=7386 nbAssignments=32
1.00 nbFailedAssignments=8 nbBacktracks=15 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=14 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.056 cpuTime=0.03 mem=15M378
1.03
1.03 search
1.03 run=1 nbConstraintChecks=125378 nbPropagations=2115 nbRevisions=27087 nbUselessRevisions=22411
1.03 nbAssignments=69 nbFailedAssignments=19 nbBacktracks=32 nbVisitedNodes=106 nbRestartNogoods=1 mapSize=25
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.082 cpuTime=0.05 mem=15M378
1.04
1.05 search
1.05 run=2 nbConstraintChecks=214274 nbPropagations=4514 nbRevisions=58131 nbUselessRevisions=48002
1.05 nbAssignments=114 nbFailedAssignments=31 nbBacktracks=56 nbVisitedNodes=177 nbRestartNogoods=4 mapSize=43
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.102 cpuTime=0.07 mem=15M378
1.07
1.07 search
1.07 run=3 nbConstraintChecks=315144 nbPropagations=8059 nbRevisions=105326 nbUselessRevisions=86859
1.07 nbAssignments=175 nbFailedAssignments=47 nbBacktracks=92 nbVisitedNodes=270 nbRestartNogoods=10 mapSize=68
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.122 cpuTime=0.09 mem=15M378
1.10
1.10 search
1.10 run=4 nbConstraintChecks=504723 nbPropagations=13560 nbRevisions=183156 nbUselessRevisions=151009
1.10 nbAssignments=274 nbFailedAssignments=85 nbBacktracks=142 nbVisitedNodes=436 nbRestartNogoods=12 mapSize=113
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.155 cpuTime=0.12 mem=15M378
1.14
1.14 search
1.14 run=5 nbConstraintChecks=699455 nbPropagations=21291 nbRevisions=293310 nbUselessRevisions=241532
1.14 nbAssignments=400 nbFailedAssignments=126 nbBacktracks=217 nbVisitedNodes=639 nbRestartNogoods=16 mapSize=168
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.198 cpuTime=0.16 mem=15M378
1.20
1.20 search
1.20 run=6 nbConstraintChecks=1025714 nbPropagations=32935 nbRevisions=461298 nbUselessRevisions=379115
1.20 nbAssignments=605 nbFailedAssignments=205 nbBacktracks=332 nbVisitedNodes=987 nbRestartNogoods=21 mapSize=261
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.256 cpuTime=0.21 mem=15M378
1.27
1.27 search
1.27 run=7 nbConstraintChecks=1467812 nbPropagations=49716 nbRevisions=706415 nbUselessRevisions=579678
1.27 nbAssignments=873 nbFailedAssignments=296 nbBacktracks=502 nbVisitedNodes=1439 nbRestartNogoods=27 mapSize=399
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.331 cpuTime=0.29 mem=15M378
1.40
1.40 search
1.40 run=8 nbConstraintChecks=2205265 nbPropagations=74654 nbRevisions=1083333 nbUselessRevisions=888912
1.40 nbAssignments=1280 nbFailedAssignments=435 nbBacktracks=760 nbVisitedNodes=2132 nbRestartNogoods=29
1.40 mapSize=613 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.456 cpuTime=0.41 mem=15M378
1.57
1.57 search
1.57 run=9 nbConstraintChecks=3174165 nbPropagations=111191 nbRevisions=1631967 nbUselessRevisions=1338221
1.57 nbAssignments=1897 nbFailedAssignments=659 nbBacktracks=1144 nbVisitedNodes=3174 nbRestartNogoods=35
1.57 mapSize=913 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.628 cpuTime=0.56 mem=15M378
1.63
1.63 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=15M378)
1.85
1.85 search
1.85 run=10 nbConstraintChecks=4973152 nbPropagations=167334 nbRevisions=2486284 nbUselessRevisions=2038260
1.85 nbAssignments=2833 nbFailedAssignments=1009 nbBacktracks=1721 nbVisitedNodes=4796 nbRestartNogoods=39
1.85 => wckTime=0.904 cpuTime=0.83 mem=15M378
2.20
2.20 search
2.20 run=11 nbConstraintChecks=7278086 nbPropagations=250254 nbRevisions=3765275 nbUselessRevisions=3088162
2.20 nbAssignments=4223 nbFailedAssignments=1523 nbBacktracks=2586 nbVisitedNodes=7166 nbRestartNogoods=44
2.20 => wckTime=1.253 cpuTime=1.18 mem=15M378
2.69
2.69 search
2.69 run=12 nbConstraintChecks=10748681 nbPropagations=373090 nbRevisions=5669207 nbUselessRevisions=4650378
2.69 nbAssignments=6304 nbFailedAssignments=2295 nbBacktracks=3884 nbVisitedNodes=10692 nbRestartNogoods=50
2.69 => wckTime=1.75 cpuTime=1.67 mem=15M378
3.46
3.46 search
3.46 run=13 nbConstraintChecks=16425279 nbPropagations=557850 nbRevisions=8539828 nbUselessRevisions=7004755
3.46 nbAssignments=9415 nbFailedAssignments=3451 nbBacktracks=5830 nbVisitedNodes=16005 nbRestartNogoods=58
3.46 => wckTime=2.52 cpuTime=2.44 mem=15M378
4.53
4.53 search
4.53 run=14 nbConstraintChecks=24345018 nbPropagations=830437 nbRevisions=12730149 nbUselessRevisions=10427021
4.53 nbAssignments=14092 nbFailedAssignments=5198 nbBacktracks=8751 nbVisitedNodes=23866 nbRestartNogoods=62
4.53 => wckTime=3.59 cpuTime=3.5 mem=15M378
6.18
6.18 search
6.18 run=15 nbConstraintChecks=36337061 nbPropagations=1234329 nbRevisions=18947004 nbUselessRevisions=15496546
6.18 nbAssignments=21003 nbFailedAssignments=7723 nbBacktracks=13129 nbVisitedNodes=35540 nbRestartNogoods=74
6.18 => wckTime=5.236 cpuTime=5.15 mem=15M378
8.82
8.82 search
8.82 run=16 nbConstraintChecks=54628412 nbPropagations=1840276 nbRevisions=28322801 nbUselessRevisions=23148464
8.82 nbAssignments=31633 nbFailedAssignments=11773 nbBacktracks=19699 nbVisitedNodes=53568 nbRestartNogoods=84
8.82 => wckTime=7.878 cpuTime=7.79 mem=15M378
12.80
12.80 search
12.80 run=17 nbConstraintChecks=81309129 nbPropagations=2754009 nbRevisions=42444338 nbUselessRevisions=34679446
12.80 nbAssignments=47364 nbFailedAssignments=17642 nbBacktracks=29551 nbVisitedNodes=80291 nbRestartNogoods=94
12.80 => wckTime=11.859 cpuTime=11.77 mem=15M378
18.75
18.75 search
18.75 run=18 nbConstraintChecks=121685343 nbPropagations=4126601 nbRevisions=63656753 nbUselessRevisions=51998396
18.75 nbAssignments=71305 nbFailedAssignments=26798 nbBacktracks=44330 nbVisitedNodes=121091 nbRestartNogoods=102
18.75 => wckTime=17.808 cpuTime=17.72 mem=15M378
27.70
27.70 search
27.70 run=19 nbConstraintChecks=183822101 nbPropagations=6177255 nbRevisions=95678904 nbUselessRevisions=78204434
27.70 nbAssignments=106707 nbFailedAssignments=40023 nbBacktracks=66499 nbVisitedNodes=181682 nbRestartNogoods=113
27.70 => wckTime=26.753 cpuTime=26.66 mem=15M378
40.64
40.64 search
40.64 run=20 nbConstraintChecks=272102854 nbPropagations=9231621 nbRevisions=143113643 nbUselessRevisions=117003378
40.64 nbAssignments=159084 nbFailedAssignments=59135 nbBacktracks=99754 nbVisitedNodes=270121 nbRestartNogoods=123
40.64 => wckTime=39.696 cpuTime=39.59 mem=15M378
60.80
60.80 search
60.81 run=21 nbConstraintChecks=411773812 nbPropagations=13811851 nbRevisions=214768813 nbUselessRevisions=175654588
60.81 nbAssignments=238675 nbFailedAssignments=88839 nbBacktracks=149634 nbVisitedNodes=406148 nbRestartNogoods=133
60.81 => wckTime=59.862 cpuTime=59.73 mem=15M378
88.97
88.97 search
88.97 run=22 nbConstraintChecks=600061209 nbPropagations=20622638 nbRevisions=320234507 nbUselessRevisions=261921689
88.97 nbAssignments=356892 nbFailedAssignments=132227 nbBacktracks=224453 nbVisitedNodes=605741 nbRestartNogoods=141
88.97 => wckTime=88.03 cpuTime=87.88 mem=15M378
133.04
133.04 search
133.04 run=23 nbConstraintChecks=896624654 nbPropagations=30796009 nbRevisions=478957917 nbUselessRevisions=391994512
133.04 nbAssignments=534377 nbFailedAssignments=197472 nbBacktracks=336682 nbVisitedNodes=907151 nbRestartNogoods=154
133.04 => wckTime=132.093 cpuTime=131.92 mem=15M378
198.39
198.39 search
198.39 run=24 nbConstraintChecks=1334596559 nbPropagations=46098482 nbRevisions=717087917 nbUselessRevisions=587204379
198.39 nbAssignments=804265 nbFailedAssignments=299007 nbBacktracks=505024 nbVisitedNodes=1366909 nbRestartNogoods=171
198.39 => wckTime=197.448 cpuTime=197.23 mem=15M378
299.41
299.41 search
299.41 run=25 nbConstraintChecks=2021539883 nbPropagations=69132272 nbRevisions=1076839192
299.41 nbUselessRevisions=882170805 nbAssignments=1208164 nbFailedAssignments=450387 nbBacktracks=757535
299.41 nbVisitedNodes=2054505 nbRestartNogoods=183
299.41 => wckTime=298.47 cpuTime=298.1 mem=15M378
451.14
451.14 search
451.14 run=26 nbConstraintChecks=3053297568 nbPropagations=103895169 nbRevisions=1620035354
451.14 nbUselessRevisions=1327641027 nbAssignments=1817664 nbFailedAssignments=681110 nbBacktracks=1136302
451.14 nbVisitedNodes=3095151 nbRestartNogoods=201
451.14 => wckTime=450.196 cpuTime=449.72 mem=15M378
676.44
676.44 search
676.44 run=27 nbConstraintChecks=4582979206 nbPropagations=155933674 nbRevisions=2433517592
676.44 nbUselessRevisions=1994616988 nbAssignments=2716451 nbFailedAssignments=1011732 nbBacktracks=1704456
676.44 nbVisitedNodes=4620189 nbRestartNogoods=216
676.44 => wckTime=675.496 cpuTime=674.93 mem=15M378
680.23
680.23 search
680.23 run=28 nbConstraintChecks=4608631011 nbPropagations=208265676 nbRevisions=3251591168
680.23 nbUselessRevisions=2665358448 nbAssignments=2731527 nbFailedAssignments=1017537 nbBacktracks=1713677
680.23 nbVisitedNodes=4646021 nbRestartNogoods=236
680.23 => wckTime=679.29 cpuTime=678.72 mem=15M378
680.23
680.23 global
680.23 nbConstraintChecks=4608631011 nbPropagations=208265726 nbRevisions=3251591168 nbUselessRevisions=2665358448
680.24 nbRestartNogoods=236 solvingWckTime=679.291 solvingCpuTime=678.72 expiredTime=no totalExploration=no
680.24 nbFoundSolutions=1 globalCpuTime=679.19
680.24 => wckTime=679.865 cpuTime=679.14 mem=15M378
680.24
680.24 s SATISFIABLE
680.24 v 22 21 19 5 11 20 2 16 20 16 11 20 21 0 16 13 20 18 18 0 15 1 9 7 22 8 21 2 20 20 18 1 12 1 12 9 22 20 7 13 7 21 5 14 4 14 12 4 10 16
680.24 d NODES 2731527
680.24 d CHECKS 4608631011
680.24
680.24 totalWckTime=679.941 totalCpuTime=679.19
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-229737-1168080995 -o ROOT/results/node33/solver-229737-1168080995 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229737-1168080995/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.31 0.79 1.07 4/68 11557
/proc/meminfo: memFree=1147712/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=168 CPUtime=0
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 156495184 172032 23 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 10945316 0 0 4096 0 0 0 0 17 1 0 0
/proc/11556/statm: 54 30 25 14 0 2 0
[startup+0.105356 s]
/proc/loadavg: 0.31 0.79 1.07 4/68 11557
/proc/meminfo: memFree=1147712/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=907676 CPUtime=0.02
/proc/11556/stat : 11556 (java) S 11554 11556 11488 0 -1 0 2189 0 1 0 2 0 0 0 20 0 4 0 156495184 929460224 1937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/11556/statm: 226919 1937 1098 14 0 214502 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 907676
[startup+0.513439 s]
/proc/loadavg: 0.31 0.79 1.07 4/68 11557
/proc/meminfo: memFree=1147712/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915328 CPUtime=0.41
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 6345 0 1 0 39 2 0 0 17 0 8 0 156495184 937295872 6084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072897342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11556/statm: 228832 6084 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.33561 s]
/proc/loadavg: 0.36 0.79 1.06 2/75 11564
/proc/meminfo: memFree=1119944/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915460 CPUtime=1.23
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 9625 0 1 0 118 5 0 0 17 0 8 0 156495184 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916832 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11556/statm: 228865 9363 2513 14 0 215335 0
[pid=11556/tid=11558] ppid=11554 vsize=915460 CPUtime=0.03
/proc/11556/task/11558/stat : 11558 (java) S 11554 11556 11488 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 156495194 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11556/tid=11559] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11559/stat : 11559 (java) S 11554 11556 11488 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156495195 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11560] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11560/stat : 11560 (java) S 11554 11556 11488 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495195 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11561] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11561/stat : 11561 (java) S 11554 11556 11488 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156495199 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11562] ppid=11554 vsize=915460 CPUtime=0.17
/proc/11556/task/11562/stat : 11562 (java) S 11554 11556 11488 0 -1 64 379 0 0 0 17 0 0 0 15 0 8 0 156495199 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11563] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11563/stat : 11563 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156495199 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11564] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11564/stat : 11564 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495199 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915460
[startup+2.97995 s]
/proc/loadavg: 0.36 0.79 1.06 2/75 11564
/proc/meminfo: memFree=1119888/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915460 CPUtime=2.86
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 9642 0 1 0 281 5 0 0 17 0 8 0 156495184 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838836 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11556/statm: 228865 9379 2513 14 0 215335 0
[pid=11556/tid=11558] ppid=11554 vsize=915460 CPUtime=0.03
/proc/11556/task/11558/stat : 11558 (java) S 11554 11556 11488 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 156495194 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11556/tid=11559] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11559/stat : 11559 (java) S 11554 11556 11488 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156495195 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11560] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11560/stat : 11560 (java) S 11554 11556 11488 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495195 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11561] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11561/stat : 11561 (java) S 11554 11556 11488 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156495199 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11562] ppid=11554 vsize=915460 CPUtime=0.2
/proc/11556/task/11562/stat : 11562 (java) S 11554 11556 11488 0 -1 64 395 0 0 0 20 0 0 0 15 0 8 0 156495199 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11563] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11563/stat : 11563 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156495199 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11564] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11564/stat : 11564 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495199 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915460
[startup+6.26563 s]
/proc/loadavg: 0.41 0.79 1.06 2/75 11564
/proc/meminfo: memFree=1119888/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915460 CPUtime=6.15
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 9645 0 1 0 609 6 0 0 20 0 8 0 156495184 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814223 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11556/statm: 228865 9380 2513 14 0 215335 0
[pid=11556/tid=11558] ppid=11554 vsize=915460 CPUtime=0.03
/proc/11556/task/11558/stat : 11558 (java) S 11554 11556 11488 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 156495194 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11556/tid=11559] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11559/stat : 11559 (java) S 11554 11556 11488 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156495195 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11560] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11560/stat : 11560 (java) S 11554 11556 11488 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495195 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11561] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11561/stat : 11561 (java) S 11554 11556 11488 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11562] ppid=11554 vsize=915460 CPUtime=0.2
/proc/11556/task/11562/stat : 11562 (java) S 11554 11556 11488 0 -1 64 397 0 0 0 20 0 0 0 16 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11563] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11563/stat : 11563 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11564] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11564/stat : 11564 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915460
[startup+12.7488 s]
/proc/loadavg: 0.46 0.80 1.06 2/75 11565
/proc/meminfo: memFree=1119632/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915460 CPUtime=12.63
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 9645 0 1 0 1257 6 0 0 25 0 8 0 156495184 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850420 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11556/statm: 228865 9380 2513 14 0 215335 0
[pid=11556/tid=11558] ppid=11554 vsize=915460 CPUtime=0.03
/proc/11556/task/11558/stat : 11558 (java) S 11554 11556 11488 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 156495194 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11556/tid=11559] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11559/stat : 11559 (java) S 11554 11556 11488 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156495195 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11560] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11560/stat : 11560 (java) S 11554 11556 11488 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495195 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11561] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11561/stat : 11561 (java) S 11554 11556 11488 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11562] ppid=11554 vsize=915460 CPUtime=0.2
/proc/11556/task/11562/stat : 11562 (java) S 11554 11556 11488 0 -1 64 397 0 0 0 20 0 0 0 16 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11563] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11563/stat : 11563 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11564] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11564/stat : 11564 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495199 937431040 9380 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.5854 s]
/proc/loadavg: 0.54 0.80 1.06 2/75 11566
/proc/meminfo: memFree=1119696/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915460 CPUtime=25.46
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 9645 0 1 0 2540 6 0 0 25 0 8 0 156495184 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825401 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11556/statm: 228865 9380 2513 14 0 215335 0
[pid=11556/tid=11558] ppid=11554 vsize=915460 CPUtime=0.03
/proc/11556/task/11558/stat : 11558 (java) S 11554 11556 11488 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 156495194 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11556/tid=11559] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11559/stat : 11559 (java) S 11554 11556 11488 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156495195 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11560] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11560/stat : 11560 (java) S 11554 11556 11488 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495195 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11561] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11561/stat : 11561 (java) S 11554 11556 11488 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11562] ppid=11554 vsize=915460 CPUtime=0.2
/proc/11556/task/11562/stat : 11562 (java) S 11554 11556 11488 0 -1 64 397 0 0 0 20 0 0 0 16 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11563] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11563/stat : 11563 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11564] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11564/stat : 11564 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915460
[startup+51.2737 s]
/proc/loadavg: 0.72 0.82 1.06 2/75 11611
/proc/meminfo: memFree=1117456/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915460 CPUtime=51.12
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 9646 0 1 0 5106 6 0 0 25 0 8 0 156495184 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11556/statm: 228865 9380 2513 14 0 215335 0
[pid=11556/tid=11558] ppid=11554 vsize=915460 CPUtime=0.03
/proc/11556/task/11558/stat : 11558 (java) S 11554 11556 11488 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 156495194 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11556/tid=11559] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11559/stat : 11559 (java) S 11554 11556 11488 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156495195 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11560] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11560/stat : 11560 (java) S 11554 11556 11488 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495195 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11561] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11561/stat : 11561 (java) S 11554 11556 11488 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11562] ppid=11554 vsize=915460 CPUtime=0.2
/proc/11556/task/11562/stat : 11562 (java) S 11554 11556 11488 0 -1 64 397 0 0 0 20 0 0 0 16 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11563] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11563/stat : 11563 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11564] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11564/stat : 11564 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915460
[startup+102.532 s]
/proc/loadavg: 0.88 0.85 1.06 2/75 11619
/proc/meminfo: memFree=1117584/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915460 CPUtime=102.35
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 9646 0 1 0 10228 7 0 0 25 0 8 0 156495184 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11556/statm: 228865 9380 2513 14 0 215335 0
[pid=11556/tid=11558] ppid=11554 vsize=915460 CPUtime=0.03
/proc/11556/task/11558/stat : 11558 (java) S 11554 11556 11488 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 156495194 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11556/tid=11559] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11559/stat : 11559 (java) S 11554 11556 11488 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156495195 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11560] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11560/stat : 11560 (java) S 11554 11556 11488 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495195 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11561] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11561/stat : 11561 (java) S 11554 11556 11488 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11562] ppid=11554 vsize=915460 CPUtime=0.2
/proc/11556/task/11562/stat : 11562 (java) S 11554 11556 11488 0 -1 64 397 0 0 0 20 0 0 0 16 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11563] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11563/stat : 11563 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11564] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11564/stat : 11564 (java) R 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495199 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 915460
[startup+162.634 s]
/proc/loadavg: 0.95 0.87 1.05 2/75 11655
/proc/meminfo: memFree=1117200/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915460 CPUtime=162.41
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 9646 0 1 0 16234 7 0 0 25 0 8 0 156495184 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832923 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/11556/task/11561/stat : 11561 (java) S 11554 11556 11488 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11562] ppid=11554 vsize=915460 CPUtime=0.21
/proc/11556/task/11562/stat : 11562 (java) S 11554 11556 11488 0 -1 64 398 0 0 0 21 0 0 0 16 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11563] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11563/stat : 11563 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11564] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11564/stat : 11564 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.39
Current children cumulated vsize (KiB) 915460
[startup+282.667 s]
/proc/loadavg: 1.21 0.96 1.05 3/93 11881
/proc/meminfo: memFree=991520/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915460 CPUtime=282.3
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 9647 0 1 0 28221 9 0 0 25 0 8 0 156495184 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834790 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11556/statm: 228865 9381 2513 14 0 215335 0
[pid=11556/tid=11558] ppid=11554 vsize=915460 CPUtime=0.03
/proc/11556/task/11558/stat : 11558 (java) S 11554 11556 11488 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 156495194 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11556/tid=11559] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11559/stat : 11559 (java) S 11554 11556 11488 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156495195 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11560] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11560/stat : 11560 (java) S 11554 11556 11488 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495195 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11561] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11561/stat : 11561 (java) S 11554 11556 11488 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11562] ppid=11554 vsize=915460 CPUtime=0.21
/proc/11556/task/11562/stat : 11562 (java) S 11554 11556 11488 0 -1 64 398 0 0 0 21 0 0 0 16 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11563] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11563/stat : 11563 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11564] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11564/stat : 11564 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 915460
[startup+342.702 s]
/proc/loadavg: 1.71 1.15 1.11 3/87 11955
/proc/meminfo: memFree=992528/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915460 CPUtime=342.23
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 9647 0 1 0 34214 9 0 0 25 0 8 0 156495184 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825401 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11556/statm: 228865 9381 2513 14 0 215335 0
[pid=11556/tid=11558] ppid=11554 vsize=915460 CPUtime=0.03
/proc/11556/task/11558/stat : 11558 (java) S 11554 11556 11488 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 156495194 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11556/tid=11559] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11559/stat : 11559 (java) S 11554 11556 11488 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156495195 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11560] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11560/stat : 11560 (java) S 11554 11556 11488 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495195 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11561] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11561/stat : 11561 (java) S 11554 11556 11488 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11562] ppid=11554 vsize=915460 CPUtime=0.21
/proc/11556/task/11562/stat : 11562 (java) S 11554 11556 11488 0 -1 64 398 0 0 0 21 0 0 0 16 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11563] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11563/stat : 11563 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11564] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11564/stat : 11564 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 915460
[startup+402.711 s]
/proc/loadavg: 1.89 1.30 1.16 3/87 11955
/proc/meminfo: memFree=992536/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915460 CPUtime=402.22
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 9647 0 1 0 40213 9 0 0 25 0 8 0 156495184 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832923 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11556/statm: 228865 9381 2513 14 0 215335 0
[pid=11556/tid=11558] ppid=11554 vsize=915460 CPUtime=0.03
/proc/11556/task/11558/stat : 11558 (java) S 11554 11556 11488 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 156495194 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11556/tid=11559] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11559/stat : 11559 (java) S 11554 11556 11488 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156495195 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11560] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11560/stat : 11560 (java) S 11554 11556 11488 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495195 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11561] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11561/stat : 11561 (java) S 11554 11556 11488 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11562] ppid=11554 vsize=915460 CPUtime=0.21
/proc/11556/task/11562/stat : 11562 (java) S 11554 11556 11488 0 -1 64 398 0 0 0 21 0 0 0 16 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11563] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11563/stat : 11563 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11564] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11564/stat : 11564 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 915460
[startup+462.737 s]
/proc/loadavg: 1.96 1.42 1.21 3/87 11955
/proc/meminfo: memFree=959576/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915460 CPUtime=462.22
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 9647 0 1 0 46213 9 0 0 25 0 8 0 156495184 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11556/statm: 228865 9381 2513 14 0 215335 0
[pid=11556/tid=11558] ppid=11554 vsize=915460 CPUtime=0.03
/proc/11556/task/11558/stat : 11558 (java) S 11554 11556 11488 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 156495194 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11556/tid=11559] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11559/stat : 11559 (java) S 11554 11556 11488 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156495195 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11560] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11560/stat : 11560 (java) S 11554 11556 11488 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495195 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11561] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11561/stat : 11561 (java) S 11554 11556 11488 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11562] ppid=11554 vsize=915460 CPUtime=0.21
/proc/11556/task/11562/stat : 11562 (java) S 11554 11556 11488 0 -1 64 398 0 0 0 21 0 0 0 16 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11563] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11563/stat : 11563 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11564] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11564/stat : 11564 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 915460
[startup+522.799 s]
/proc/loadavg: 1.98 1.53 1.26 3/87 11955
/proc/meminfo: memFree=959576/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915460 CPUtime=522.26
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 9647 0 1 0 52217 9 0 0 25 0 8 0 156495184 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11556/statm: 228865 9381 2513 14 0 215335 0
[pid=11556/tid=11558] ppid=11554 vsize=915460 CPUtime=0.03
/proc/11556/task/11558/stat : 11558 (java) S 11554 11556 11488 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 156495194 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11556/tid=11559] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11559/stat : 11559 (java) S 11554 11556 11488 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156495195 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11560] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11560/stat : 11560 (java) S 11554 11556 11488 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495195 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11561] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11561/stat : 11561 (java) S 11554 11556 11488 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11562] ppid=11554 vsize=915460 CPUtime=0.21
/proc/11556/task/11562/stat : 11562 (java) S 11554 11556 11488 0 -1 64 398 0 0 0 21 0 0 0 16 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11563] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11563/stat : 11563 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11564] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11564/stat : 11564 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 915460
[startup+582.874 s]
/proc/loadavg: 2.04 1.62 1.31 3/87 11955
/proc/meminfo: memFree=959576/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915460 CPUtime=582.31
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 9647 0 1 0 58222 9 0 0 25 0 8 0 156495184 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11556/statm: 228865 9381 2513 14 0 215335 0
[pid=11556/tid=11558] ppid=11554 vsize=915460 CPUtime=0.03
/proc/11556/task/11558/stat : 11558 (java) S 11554 11556 11488 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 156495194 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11556/tid=11559] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11559/stat : 11559 (java) S 11554 11556 11488 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156495195 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11560] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11560/stat : 11560 (java) S 11554 11556 11488 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495195 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11561] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11561/stat : 11561 (java) S 11554 11556 11488 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11562] ppid=11554 vsize=915460 CPUtime=0.21
/proc/11556/task/11562/stat : 11562 (java) S 11554 11556 11488 0 -1 64 398 0 0 0 21 0 0 0 16 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11563] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11563/stat : 11563 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11564] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11564/stat : 11564 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 915460
[startup+642.939 s]
/proc/loadavg: 2.06 1.70 1.35 4/87 11955
/proc/meminfo: memFree=959576/2055920 swapFree=4192224/4192956
[pid=11556] ppid=11554 vsize=915460 CPUtime=642.36
/proc/11556/stat : 11556 (java) R 11554 11556 11488 0 -1 0 9647 0 1 0 64226 10 0 0 25 0 8 0 156495184 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838809 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11556/statm: 228865 9381 2513 14 0 215335 0
[pid=11556/tid=11558] ppid=11554 vsize=915460 CPUtime=0.03
/proc/11556/task/11558/stat : 11558 (java) S 11554 11556 11488 0 -1 64 412 0 0 0 3 0 0 0 16 0 8 0 156495194 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11556/tid=11559] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11559/stat : 11559 (java) S 11554 11556 11488 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156495195 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11560] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11560/stat : 11560 (java) S 11554 11556 11488 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495195 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11561] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11561/stat : 11561 (java) S 11554 11556 11488 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11562] ppid=11554 vsize=915460 CPUtime=0.21
/proc/11556/task/11562/stat : 11562 (java) S 11554 11556 11488 0 -1 64 398 0 0 0 21 0 0 0 16 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11563] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11563/stat : 11563 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11556/tid=11564] ppid=11554 vsize=915460 CPUtime=0
/proc/11556/task/11564/stat : 11564 (java) S 11554 11556 11488 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495199 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 680.293
CPU time (s): 679.658
CPU user time (s): 679.548
CPU system time (s): 0.109983
CPU usage (%): 99.9066
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 679.548
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9655
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= 14649
involuntary context switches= 2737
runsolver used 0.715891 s user time and 1.82872 s system time
The end
Begin job on node33 on Sat Jan 6 10:56:46 UTC 2007
IDJOB= 229737
IDBENCH= 6354
FILE ID= node33/229737-1168080995
PBS_JOBID= 3476114
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229737-1168080995/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-229737-1168080995 -o ROOT/results/node33/solver-229737-1168080995 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229737-1168080995/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 490b8aa1a619c5217d8bb153ce031a76
RANDOM SEED= 926650334
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.281
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.281
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: 1146336 kB
Buffers: 43872 kB
Cached: 762500 kB
SwapCached: 448 kB
Active: 112968 kB
Inactive: 713816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1146336 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 2096 kB
Writeback: 0 kB
Mapped: 29900 kB
Slab: 68548 kB
Committed_AS: 2656824 kB
PageTables: 1616 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= 66552 MiB
End job on node33 on Sat Jan 6 11:08:14 UTC 2007