0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276635-1169243062/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.42 => wckTime=0.107 cpuTime=0.1 mem=6M910
0.42
0.42 relations being loaded...
0.79
0.79 constraints being loaded...
0.93 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.93 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.93 => wckTime=0.61 cpuTime=0.55 mem=35M630
0.98
0.98 solver LocalSearchSolver being built...
1.03 => wckTime=0.71 cpuTime=0.59 mem=7M417
1.04
1.04 s SATISFIABLE
1.04 o 9
1.04 c 75
1.04 o 13
1.04 c 71
1.04 o 16
1.04 c 68
1.05 o 20
1.05 c 64
1.05 o 24
1.05 c 60
1.05 o 27
1.05 c 57
1.05 o 30
1.05 c 54
1.05 o 33
1.05 c 51
1.06 o 35
1.06 c 49
1.06 o 37
1.06 c 47
1.06 o 39
1.06 c 45
1.06 o 41
1.06 c 43
1.06 o 43
1.06 c 41
1.06 o 45
1.06 c 39
1.07 o 47
1.07 c 37
1.07 o 49
1.07 c 35
1.07 o 51
1.07 c 33
1.07 o 52
1.07 c 32
1.07 o 54
1.07 c 30
1.07 o 55
1.07 c 29
1.07 o 56
1.07 c 28
1.07 o 58
1.07 c 26
1.07 o 59
1.07 c 25
1.08 o 60
1.08 c 24
1.08 o 61
1.08 c 23
1.08 o 62
1.08 c 22
1.08 o 63
1.08 c 21
1.10 o 64
1.10 c 20
1.10 o 65
1.10 c 19
1.13 o 66
1.13 c 18
1.13 o 67
1.13 c 17
1.14 o 68
1.14 c 16
1.14 o 69
1.14 c 15
1.14 o 70
1.14 c 14
1.15 o 71
1.15 c 13
1.15 o 72
1.15 c 12
1.15 o 73
1.15 c 11
1.16 o 74
1.16 c 10
1.16 o 75
1.16 c 9
1.18 o 76
1.18 c 8
1.63 o 77
1.63 c 7
1.97 o 78
1.97 c 6
11.51
11.51 search
11.51 run=0 nbConstraintChecks=89215770 nbAssignments=10000
11.51 => wckTime=10.488 cpuTime=10.38 mem=7M417
23.55
23.55 search
23.55 run=1 nbConstraintChecks=189636605 nbAssignments=20000
23.55 => wckTime=22.522 cpuTime=22.31 mem=7M417
25.76 o 79
25.76 c 5
34.32
34.32 search
34.32 run=2 nbConstraintChecks=279308760 nbAssignments=30000
34.32 => wckTime=33.292 cpuTime=32.99 mem=7M417
45.49
45.49 search
45.49 run=3 nbConstraintChecks=371668856 nbAssignments=40000
45.49 => wckTime=44.467 cpuTime=44.07 mem=7M417
46.34 o 80
46.34 c 4
55.71
55.71 search
55.71 run=4 nbConstraintChecks=455059407 nbAssignments=50000
55.71 => wckTime=54.685 cpuTime=54.2 mem=7M417
65.17
65.17 search
65.17 run=5 nbConstraintChecks=532275560 nbAssignments=60000
65.17 => wckTime=64.147 cpuTime=63.58 mem=7M417
74.84
74.84 search
74.84 run=6 nbConstraintChecks=612249976 nbAssignments=70000
74.84 => wckTime=73.82 cpuTime=73.18 mem=7M417
76.60
76.60 search
76.60 run=7 nbConstraintChecks=627090255 nbAssignments=71325
76.60 => wckTime=75.574 cpuTime=74.92 mem=7M417
76.60
76.60 global
76.60 nbConstraintChecks=627090255 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
76.60 solvingWckTime=75.57 solvingCpuTime=74.92 expiredTime=no totalExploration=no nbFoundSolutions=0
76.60 globalCpuTime=75.56
76.60 => wckTime=76.284 cpuTime=75.51 mem=7M417
76.60
76.60 solver IterativeSystematicSolver being built...
76.73 => wckTime=76.413 cpuTime=75.61 mem=18M471
76.74
76.74 preprocessing
76.74 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
76.74 detectedInconsistency=no
76.74 => wckTime=0.0070 cpuTime=0.0 mem=18M471
78.16
78.16 search
78.16 run=0 nbConstraintChecks=5870948 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=251
78.16 nbFailedAssignments=226 nbBacktracks=11 nbVisitedNodes=489 nbRestartNogoods=0
78.16 => wckTime=1.428 cpuTime=1.39 mem=18M471
83.09
83.09 search
83.09 run=1 nbConstraintChecks=38888608 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1299
83.09 nbFailedAssignments=1253 nbBacktracks=26 nbVisitedNodes=2579 nbRestartNogoods=214
83.09 => wckTime=6.363 cpuTime=6.26 mem=18M471
83.28
83.28 search
83.28 run=2 nbConstraintChecks=39717885 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1391
83.28 nbFailedAssignments=1309 nbBacktracks=48 nbVisitedNodes=2749 nbRestartNogoods=408
83.28 => wckTime=6.547 cpuTime=6.44 mem=18M471
83.53
83.53 search
83.53 run=3 nbConstraintChecks=40819255 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1518
83.53 nbFailedAssignments=1389 nbBacktracks=81 nbVisitedNodes=2989 nbRestartNogoods=420
83.53 => wckTime=6.801 cpuTime=6.68 mem=18M471
83.89
83.89 search
83.89 run=4 nbConstraintChecks=42440253 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1708
83.89 nbFailedAssignments=1514 nbBacktracks=132 nbVisitedNodes=3355 nbRestartNogoods=428
83.89 => wckTime=7.164 cpuTime=7.03 mem=18M471
84.39
84.39 search
84.39 run=5 nbConstraintChecks=44759873 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1982
84.39 nbFailedAssignments=1699 nbBacktracks=208 nbVisitedNodes=3890 nbRestartNogoods=438
84.39 => wckTime=7.663 cpuTime=7.52 mem=18M471
100.16
100.16 search
100.16 run=6 nbConstraintChecks=216203354 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8463
100.16 nbFailedAssignments=8061 nbBacktracks=321 nbVisitedNodes=16846 nbRestartNogoods=440
100.16 => wckTime=23.43 cpuTime=23.15 mem=18M471
169.83
169.83 search
169.83 run=7 nbConstraintChecks=669154925 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21557
169.83 nbFailedAssignments=20978 nbBacktracks=491 nbVisitedNodes=43027 nbRestartNogoods=479
169.83 => wckTime=93.096 cpuTime=92.23 mem=18M471
207.77
207.77 search
207.77 run=8 nbConstraintChecks=954686669 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31239
207.77 nbFailedAssignments=30395 nbBacktracks=747 nbVisitedNodes=62382 nbRestartNogoods=548
207.77 => wckTime=131.039 cpuTime=129.87 mem=18M471
272.21
272.21 search
272.21 run=9 nbConstraintChecks=1331217836 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44296
272.21 nbFailedAssignments=43059 nbBacktracks=1131 nbVisitedNodes=88487 nbRestartNogoods=750
272.21 => wckTime=195.479 cpuTime=193.74 mem=18M471
290.13
290.13 search
290.13 run=10 nbConstraintChecks=1418693964 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47343
290.13 nbFailedAssignments=45525 nbBacktracks=1707 nbVisitedNodes=94576 nbRestartNogoods=866
290.13 => wckTime=213.396 cpuTime=211.49 mem=18M471
332.88
332.90 search
332.90 run=11 nbConstraintChecks=1644857481 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=56518
332.90 nbFailedAssignments=53818 nbBacktracks=2571 nbVisitedNodes=112900 nbRestartNogoods=900
332.90 => wckTime=256.151 cpuTime=253.88 mem=18M471
379.05
379.05 search
379.05 run=12 nbConstraintChecks=1917374395 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=67179
379.05 nbFailedAssignments=63179 nbBacktracks=3868 nbVisitedNodes=134189 nbRestartNogoods=1025
379.05 => wckTime=302.323 cpuTime=299.63 mem=18M471
439.08
439.08 search
439.08 run=13 nbConstraintChecks=2182883875 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=75395
439.08 nbFailedAssignments=69443 nbBacktracks=5815 nbVisitedNodes=150559 nbRestartNogoods=1109
439.08 => wckTime=362.347 cpuTime=359.11 mem=18M471
513.20
513.20 search
513.20 run=14 nbConstraintChecks=2459079333 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=83838
513.20 nbFailedAssignments=74960 nbBacktracks=8734 nbVisitedNodes=167297 nbRestartNogoods=1146
513.20 => wckTime=436.467 cpuTime=432.57 mem=18M471
578.65
578.65 search
578.65 run=15 nbConstraintChecks=2768391101 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=101907
578.66 nbFailedAssignments=88627 nbBacktracks=13112 nbVisitedNodes=203250 nbRestartNogoods=1322
578.66 => wckTime=501.925 cpuTime=497.5 mem=18M471
704.02
704.02 search
704.02 run=16 nbConstraintChecks=3324253724 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=122195
704.02 nbFailedAssignments=102341 nbBacktracks=19680 nbVisitedNodes=242857 nbRestartNogoods=1391
704.02 => wckTime=627.286 cpuTime=622.74 mem=18M471
806.47 o 81
806.47 c 3
890.79
890.79 search
890.79 run=17 nbConstraintChecks=4059775647 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=145930
890.79 nbFailedAssignments=116219 nbBacktracks=29532 nbVisitedNodes=289301 nbRestartNogoods=1475
890.79 => wckTime=814.062 cpuTime=809.33 mem=18M471
1045.29 o 82
1045.29 c 2
1186.44
1186.44 search
1186.44 run=18 nbConstraintChecks=5090435091 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=181670
1186.44 nbFailedAssignments=137179 nbBacktracks=44310 nbVisitedNodes=357071 nbRestartNogoods=1512
1186.44 => wckTime=1109.71 cpuTime=1104.57 mem=18M471
1561.13
1561.13 search
1561.13 run=19 nbConstraintChecks=6278698869 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=233657
1561.13 nbFailedAssignments=166995 nbBacktracks=66479 nbVisitedNodes=449714 nbRestartNogoods=1541
1561.13 => wckTime=1484.397 cpuTime=1478.89 mem=18M471
2101.93
2101.93 search
2101.93 run=20 nbConstraintChecks=8025162342 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=310444
2101.93 nbFailedAssignments=210529 nbBacktracks=99731 nbVisitedNodes=586284 nbRestartNogoods=1544
2101.93 => wckTime=2025.199 cpuTime=2019.15 mem=18M471
2188.50
2188.50 search
2188.50 run=21 nbConstraintChecks=8307771802 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=323769
2188.50 nbFailedAssignments=218224 nbBacktracks=105362 nbVisitedNodes=610426 nbRestartNogoods=1667
2188.50 => wckTime=2111.771 cpuTime=2105.62 mem=18M471
2188.50
2188.50 global
2188.50 nbConstraintChecks=8307771802 nbRestartNogoods=1667 solvingWckTime=2111.772 solvingCpuTime=2105.62
2188.50 expiredTime=no totalExploration=yes nbFoundSolutions=2 globalCpuTime=2181.28
2188.50 => wckTime=2188.186 cpuTime=2181.23 mem=18M471
2188.51
2188.51 s OPTIMUM FOUND
2188.51 v 109 144 172 25 94 39 0 21 10 152 67 13 0 8 9 139 54 57 157 173 101 142 55 1 52 27 71 20 137 35 63 15 33 44 12 92 118 17 118 48
2188.51
2188.51 totalWckTime=2188.266 totalCpuTime=2181.29
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-276635-1169243062 -o ROOT/results/node14/solver-276635-1169243062 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276635-1169243062/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
/proc/loadavg: 2.00 2.00 2.00 5/86 20070
/proc/meminfo: memFree=1270416/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=18540 CPUtime=0
/proc/20069/stat : 20069 (runsolver) R 20067 19854 19854 0 -1 4194368 6 0 0 0 0 0 0 0 19 0 1 0 272701126 18984960 277 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464036 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20069/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108184 s]
/proc/loadavg: 2.00 2.00 2.00 5/86 20070
/proc/meminfo: memFree=1270416/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=914988 CPUtime=0.08
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 2988 0 1 0 6 2 0 0 19 0 8 0 272701126 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20069/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516223 s]
/proc/loadavg: 2.00 2.00 2.00 5/86 20070
/proc/meminfo: memFree=1270416/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915332 CPUtime=0.5
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 7319 0 1 0 45 5 0 0 18 0 8 0 272701126 937299968 7058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153440224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20069/statm: 228833 7058 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.3393 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20077
/proc/meminfo: memFree=1224152/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915444 CPUtime=1.3
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 14227 0 1 0 120 10 0 0 25 0 8 0 272701126 937414656 13965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683684 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20069/statm: 228861 13965 2476 14 0 215331 0
[pid=20069/tid=20071] ppid=20067 vsize=915444 CPUtime=0.04
/proc/20069/task/20071/stat : 20071 (java) S 20067 20069 19854 0 -1 64 615 0 0 0 4 0 0 0 17 0 8 0 272701131 937414656 13965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20072] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20072/stat : 20072 (java) S 20067 20069 19854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 13965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20073] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20073/stat : 20073 (java) S 20067 20069 19854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 13965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20074] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20074/stat : 20074 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272701135 937414656 13965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20075] ppid=20067 vsize=915444 CPUtime=0.11
/proc/20069/task/20075/stat : 20075 (java) S 20067 20069 19854 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 272701135 937414656 13965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20076] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20076/stat : 20076 (java) S 20067 20069 19854 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272701135 937414656 13965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20077] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20077/stat : 20077 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272701135 937414656 13965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444
[startup+2.99245 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20077
/proc/meminfo: memFree=1224152/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915444 CPUtime=2.94
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 14233 0 1 0 277 17 0 0 25 0 8 0 272701126 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073691928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20069/statm: 228861 13970 2476 14 0 215331 0
[pid=20069/tid=20071] ppid=20067 vsize=915444 CPUtime=0.04
/proc/20069/task/20071/stat : 20071 (java) S 20067 20069 19854 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272701131 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20072] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20072/stat : 20072 (java) S 20067 20069 19854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20073] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20073/stat : 20073 (java) S 20067 20069 19854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20074] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20074/stat : 20074 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272701135 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20075] ppid=20067 vsize=915444 CPUtime=0.11
/proc/20069/task/20075/stat : 20075 (java) S 20067 20069 19854 0 -1 64 334 0 0 0 11 0 0 0 15 0 8 0 272701135 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20076] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20076/stat : 20076 (java) S 20067 20069 19854 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272701135 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20077] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20077/stat : 20077 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272701135 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444
[startup+6.28477 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20077
/proc/meminfo: memFree=1224024/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915444 CPUtime=6.2
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 14233 0 1 0 590 30 0 0 25 0 8 0 272701126 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20069/statm: 228861 13970 2476 14 0 215331 0
[pid=20069/tid=20071] ppid=20067 vsize=915444 CPUtime=0.04
/proc/20069/task/20071/stat : 20071 (java) S 20067 20069 19854 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272701131 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20072] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20072/stat : 20072 (java) S 20067 20069 19854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20073] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20073/stat : 20073 (java) S 20067 20069 19854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20074] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20074/stat : 20074 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272701135 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20075] ppid=20067 vsize=915444 CPUtime=0.11
/proc/20069/task/20075/stat : 20075 (java) S 20067 20069 19854 0 -1 64 334 0 0 0 11 0 0 0 15 0 8 0 272701135 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20076] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20076/stat : 20076 (java) S 20067 20069 19854 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272701135 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20077] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20077/stat : 20077 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272701135 937414656 13970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915444
[startup+12.7714 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20077
/proc/meminfo: memFree=1224024/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915444 CPUtime=12.64
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 14235 0 1 0 1211 53 0 0 25 0 8 0 272701126 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20069/statm: 228861 13972 2476 14 0 215331 0
[pid=20069/tid=20071] ppid=20067 vsize=915444 CPUtime=0.04
/proc/20069/task/20071/stat : 20071 (java) S 20067 20069 19854 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272701131 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20072] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20072/stat : 20072 (java) S 20067 20069 19854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20073] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20073/stat : 20073 (java) S 20067 20069 19854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20074] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20074/stat : 20074 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272701135 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20075] ppid=20067 vsize=915444 CPUtime=0.12
/proc/20069/task/20075/stat : 20075 (java) S 20067 20069 19854 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272701135 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20076] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20076/stat : 20076 (java) S 20067 20069 19854 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272701135 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20077] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20077/stat : 20077 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272701135 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915444
[startup+25.6086 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20077
/proc/meminfo: memFree=1224152/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915444 CPUtime=25.37
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 14235 0 1 0 2443 94 0 0 25 0 8 0 272701126 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20069/statm: 228861 13972 2476 14 0 215331 0
[pid=20069/tid=20071] ppid=20067 vsize=915444 CPUtime=0.04
/proc/20069/task/20071/stat : 20071 (java) S 20067 20069 19854 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272701131 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20072] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20072/stat : 20072 (java) S 20067 20069 19854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20073] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20073/stat : 20073 (java) S 20067 20069 19854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20074] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20074/stat : 20074 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272701135 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20075] ppid=20067 vsize=915444 CPUtime=0.12
/proc/20069/task/20075/stat : 20075 (java) S 20067 20069 19854 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272701135 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20076] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20076/stat : 20076 (java) S 20067 20069 19854 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272701135 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20077] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20077/stat : 20077 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272701135 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915444
[startup+51.219 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20077
/proc/meminfo: memFree=1224216/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915444 CPUtime=50.77
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 14235 0 1 0 4890 187 0 0 25 0 8 0 272701126 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20069/statm: 228861 13972 2476 14 0 215331 0
[pid=20069/tid=20071] ppid=20067 vsize=915444 CPUtime=0.04
/proc/20069/task/20071/stat : 20071 (java) S 20067 20069 19854 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272701131 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20072] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20072/stat : 20072 (java) S 20067 20069 19854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20073] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20073/stat : 20073 (java) S 20067 20069 19854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20074] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20074/stat : 20074 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272701135 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20075] ppid=20067 vsize=915444 CPUtime=0.12
/proc/20069/task/20075/stat : 20075 (java) S 20067 20069 19854 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272701135 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20076] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20076/stat : 20076 (java) S 20067 20069 19854 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272701135 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20077] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20077/stat : 20077 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272701135 937414656 13972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915444
[startup+102.435 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20077
/proc/meminfo: memFree=1223832/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915444 CPUtime=101.55
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 14393 0 1 0 9868 287 0 0 25 0 8 0 272701126 937414656 14123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795683 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20069/statm: 228861 14123 2527 14 0 215331 0
[pid=20069/tid=20071] ppid=20067 vsize=915444 CPUtime=0.04
/proc/20069/task/20071/stat : 20071 (java) S 20067 20069 19854 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272701131 937414656 14123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20072] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20072/stat : 20072 (java) S 20067 20069 19854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20073] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20073/stat : 20073 (java) S 20067 20069 19854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20074] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20074/stat : 20074 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272701135 937414656 14123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20075] ppid=20067 vsize=915444 CPUtime=0.23
/proc/20069/task/20075/stat : 20075 (java) S 20067 20069 19854 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 272701135 937414656 14123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20076] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20076/stat : 20076 (java) S 20067 20069 19854 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272701135 937414656 14123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20077] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20077/stat : 20077 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272701135 937414656 14123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915444
[startup+162.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20077
/proc/meminfo: memFree=1223832/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915444 CPUtime=161.12
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 14393 0 1 0 15824 288 0 0 25 0 8 0 272701126 937414656 14123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/20069/task/20074/stat : 20074 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20075] ppid=20067 vsize=915444 CPUtime=0.24
/proc/20069/task/20075/stat : 20075 (java) S 20067 20069 19854 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20069/tid=20076] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20076/stat : 20076 (java) S 20067 20069 19854 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20077] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20077/stat : 20077 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1718.08
Current children cumulated vsize (KiB) 915444
[startup+1784.34 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 20384
/proc/meminfo: memFree=1254560/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915444 CPUtime=1778.04
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 14400 0 1 0 177500 304 0 0 25 0 8 0 272701126 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675370 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20069/statm: 228861 14126 2527 14 0 215331 0
[pid=20069/tid=20071] ppid=20067 vsize=915444 CPUtime=0.04
/proc/20069/task/20071/stat : 20071 (java) S 20067 20069 19854 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20069/tid=20072] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20072/stat : 20072 (java) S 20067 20069 19854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20073] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20073/stat : 20073 (java) S 20067 20069 19854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20074] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20074/stat : 20074 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20075] ppid=20067 vsize=915444 CPUtime=0.24
/proc/20069/task/20075/stat : 20075 (java) S 20067 20069 19854 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20069/tid=20076] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20076/stat : 20076 (java) S 20067 20069 19854 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20077] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20077/stat : 20077 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1778.04
Current children cumulated vsize (KiB) 915444
[startup+1844.37 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 20384
/proc/meminfo: memFree=1254496/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915444 CPUtime=1838.02
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 14400 0 1 0 183498 304 0 0 25 0 8 0 272701126 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20069/statm: 228861 14126 2527 14 0 215331 0
[pid=20069/tid=20071] ppid=20067 vsize=915444 CPUtime=0.04
/proc/20069/task/20071/stat : 20071 (java) S 20067 20069 19854 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20069/tid=20072] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20072/stat : 20072 (java) S 20067 20069 19854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20073] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20073/stat : 20073 (java) S 20067 20069 19854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20074] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20074/stat : 20074 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20075] ppid=20067 vsize=915444 CPUtime=0.24
/proc/20069/task/20075/stat : 20075 (java) S 20067 20069 19854 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20069/tid=20076] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20076/stat : 20076 (java) S 20067 20069 19854 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20077] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20077/stat : 20077 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1838.02
Current children cumulated vsize (KiB) 915444
[startup+1904.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 20384
/proc/meminfo: memFree=1254560/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915444 CPUtime=1897.97
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 14400 0 1 0 189493 304 0 0 25 0 8 0 272701126 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20069/statm: 228861 14126 2527 14 0 215331 0
[pid=20069/tid=20071] ppid=20067 vsize=915444 CPUtime=0.04
/proc/20069/task/20071/stat : 20071 (java) S 20067 20069 19854 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20069/tid=20072] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20072/stat : 20072 (java) S 20067 20069 19854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20073] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20073/stat : 20073 (java) S 20067 20069 19854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20074] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20074/stat : 20074 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20075] ppid=20067 vsize=915444 CPUtime=0.24
/proc/20069/task/20075/stat : 20075 (java) S 20067 20069 19854 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20069/tid=20076] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20076/stat : 20076 (java) S 20067 20069 19854 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20077] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20077/stat : 20077 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1897.97
Current children cumulated vsize (KiB) 915444
[startup+1964.43 s]
/proc/loadavg: 2.10 2.03 2.01 3/101 20384
/proc/meminfo: memFree=1254496/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915444 CPUtime=1957.94
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 14400 0 1 0 195490 304 0 0 25 0 8 0 272701126 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793502 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20069/statm: 228861 14126 2527 14 0 215331 0
[pid=20069/tid=20071] ppid=20067 vsize=915444 CPUtime=0.04
/proc/20069/task/20071/stat : 20071 (java) S 20067 20069 19854 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20069/tid=20072] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20072/stat : 20072 (java) S 20067 20069 19854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20073] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20073/stat : 20073 (java) S 20067 20069 19854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20074] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20074/stat : 20074 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20075] ppid=20067 vsize=915444 CPUtime=0.24
/proc/20069/task/20075/stat : 20075 (java) S 20067 20069 19854 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20069/tid=20076] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20076/stat : 20076 (java) S 20067 20069 19854 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20077] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20077/stat : 20077 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1957.94
Current children cumulated vsize (KiB) 915444
[startup+2024.46 s]
/proc/loadavg: 2.04 2.02 2.00 3/101 20384
/proc/meminfo: memFree=1254560/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915444 CPUtime=2017.91
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 14400 0 1 0 201487 304 0 0 25 0 8 0 272701126 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20069/statm: 228861 14126 2527 14 0 215331 0
[pid=20069/tid=20071] ppid=20067 vsize=915444 CPUtime=0.04
/proc/20069/task/20071/stat : 20071 (java) S 20067 20069 19854 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20069/tid=20072] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20072/stat : 20072 (java) S 20067 20069 19854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20073] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20073/stat : 20073 (java) S 20067 20069 19854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20074] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20074/stat : 20074 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20075] ppid=20067 vsize=915444 CPUtime=0.24
/proc/20069/task/20075/stat : 20075 (java) S 20067 20069 19854 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20069/tid=20076] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20076/stat : 20076 (java) S 20067 20069 19854 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20077] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20077/stat : 20077 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2017.91
Current children cumulated vsize (KiB) 915444
[startup+2084.48 s]
/proc/loadavg: 2.09 2.03 2.01 3/101 20384
/proc/meminfo: memFree=1254496/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915444 CPUtime=2077.87
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 14400 0 1 0 207483 304 0 0 25 0 8 0 272701126 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20069/statm: 228861 14126 2527 14 0 215331 0
[pid=20069/tid=20071] ppid=20067 vsize=915444 CPUtime=0.04
/proc/20069/task/20071/stat : 20071 (java) S 20067 20069 19854 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20069/tid=20072] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20072/stat : 20072 (java) S 20067 20069 19854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20073] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20073/stat : 20073 (java) S 20067 20069 19854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20074] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20074/stat : 20074 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20075] ppid=20067 vsize=915444 CPUtime=0.24
/proc/20069/task/20075/stat : 20075 (java) S 20067 20069 19854 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20069/tid=20076] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20076/stat : 20076 (java) S 20067 20069 19854 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20077] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20077/stat : 20077 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2077.87
Current children cumulated vsize (KiB) 915444
[startup+2144.53 s]
/proc/loadavg: 2.03 2.03 2.00 3/101 20384
/proc/meminfo: memFree=1254496/2055920 swapFree=4158792/4192956
[pid=20069] ppid=20067 vsize=915444 CPUtime=2137.87
/proc/20069/stat : 20069 (java) R 20067 20069 19854 0 -1 0 14400 0 1 0 213482 305 0 0 25 0 8 0 272701126 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794215 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20069/statm: 228861 14126 2527 14 0 215331 0
[pid=20069/tid=20071] ppid=20067 vsize=915444 CPUtime=0.04
/proc/20069/task/20071/stat : 20071 (java) S 20067 20069 19854 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20069/tid=20072] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20072/stat : 20072 (java) S 20067 20069 19854 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20073] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20073/stat : 20073 (java) S 20067 20069 19854 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272701131 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20074] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20074/stat : 20074 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20075] ppid=20067 vsize=915444 CPUtime=0.24
/proc/20069/task/20075/stat : 20075 (java) S 20067 20069 19854 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20069/tid=20076] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20076/stat : 20076 (java) S 20067 20069 19854 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20069/tid=20077] ppid=20067 vsize=915444 CPUtime=0
/proc/20069/task/20077/stat : 20077 (java) S 20067 20069 19854 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272701135 937414656 14126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2137.87
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 2188.57
CPU time (s): 2181.81
CPU user time (s): 2178.75
CPU system time (s): 3.06453
CPU usage (%): 99.6914
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2178.75
system time used= 3.06453
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14412
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= 45461
involuntary context switches= 69927
runsolver used 2.97355 s user time and 6.71998 s system time
The end
Begin job on node14 on Fri Jan 19 21:44:22 UTC 2007
IDJOB= 276635
IDBENCH= 5912
IDSOLVER= 69
FILE ID= node14/276635-1169243062
PBS_JOBID= 3589029
Free space on /tmp= 66555 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-18_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276635-1169243062/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-276635-1169243062 -o ROOT/results/node14/solver-276635-1169243062 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276635-1169243062/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 72dbfb712f00f9ef9cf42feeefee423d
RANDOM SEED= 121997626
TIME LIMIT= 2400 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.227
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.227
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: 1270896 kB
Buffers: 51048 kB
Cached: 591000 kB
SwapCached: 3272 kB
Active: 222420 kB
Inactive: 486140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1270896 kB
SwapTotal: 4192956 kB
SwapFree: 4158792 kB
Dirty: 3484 kB
Writeback: 0 kB
Mapped: 75468 kB
Slab: 61368 kB
Committed_AS: 8726564 kB
PageTables: 2204 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= 66561 MiB
End job on node14 on Fri Jan 19 22:20:51 UTC 2007