0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/212779-1168223997/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.54 nbVariables=1436 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.54 => wckTime=0.227 cpuTime=0.16 mem=9M844
0.54
0.54 predicates being loaded...
0.55
0.55 constraints being loaded...
1.34 nbConstraints=4516 nbMergedConstraints=1008 nbSingletonDomainVariables=354 nbConvertedConstraints=2191
1.34 nbConvertConstraintsChecks=335 nbExtensionStructures=13 nbSharedExtensionStructures=2178
1.34 nbConflictsStructures=66 nbSharedConflictsStructures=4450 nbSharedBinaryRepresentations=32
1.34 nbEvaluationManagers=53 nbSharedEvaluationManagers=2272 maxDegree=25 maxArity=7
1.34 => wckTime=1.024 cpuTime=0.85 mem=40M75
1.43
1.43 solver IterativeSystematicSolver being built...
1.72 => wckTime=1.402 cpuTime=1.08 mem=35M318
2.42
2.42 preprocessing
2.42 nbConstraintChecks=18871 nbValidityChecks=4628 nbPropagations=5964 nbRevisions=21044 nbUselessRevisions=18325
2.42 nbSingletonTests=1908 nbEffectiveSingletonTests=0 nbESACBranches=10 nbRemovedValues=0 detectedInconsistency=no
2.42 => wckTime=0.696 cpuTime=0.64 mem=35M318
2.62
2.62 search
2.62 run=0 nbConstraintChecks=7585 nbValidityChecks=2459 nbPropagations=7362 nbRevisions=28836
2.62 nbUselessRevisions=24700 nbAssignments=190 nbFailedAssignments=4 nbBacktracks=19 nbVisitedNodes=198
2.62 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
2.62 => wckTime=0.89 cpuTime=0.82 mem=36M292
2.79
2.79 search
2.79 run=1 nbConstraintChecks=13352 nbValidityChecks=4948 nbPropagations=15922 nbRevisions=64114
2.80 nbUselessRevisions=54724 nbAssignments=466 nbFailedAssignments=6 nbBacktracks=43 nbVisitedNodes=386
2.80 nbRestartNogoods=3 mapSize=6 nbInferences=0 nbTooLargeKeys=0
2.80 => wckTime=1.066 cpuTime=0.99 mem=36M292
2.98
2.98 search
2.98 run=2 nbConstraintChecks=18152 nbValidityChecks=6912 nbPropagations=25428 nbRevisions=104882
2.98 nbUselessRevisions=89292 nbAssignments=669 nbFailedAssignments=9 nbBacktracks=67 nbVisitedNodes=594
2.98 nbRestartNogoods=4 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.98 => wckTime=1.258 cpuTime=1.18 mem=36M292
3.19
3.19 search
3.19 run=3 nbConstraintChecks=23324 nbValidityChecks=8991 nbPropagations=35937 nbRevisions=151534
3.19 nbUselessRevisions=128742 nbAssignments=887 nbFailedAssignments=12 nbBacktracks=114 nbVisitedNodes=817
3.19 nbRestartNogoods=6 mapSize=12 nbInferences=0 nbTooLargeKeys=0
3.19 => wckTime=1.463 cpuTime=1.38 mem=36M292
3.41
3.41 search
3.41 run=4 nbConstraintChecks=29723 nbValidityChecks=11538 nbPropagations=47644 nbRevisions=205563
3.41 nbUselessRevisions=174335 nbAssignments=1115 nbFailedAssignments=17 nbBacktracks=194 nbVisitedNodes=1054
3.41 nbRestartNogoods=8 mapSize=20 nbInferences=0 nbTooLargeKeys=0
3.41 => wckTime=1.687 cpuTime=1.6 mem=36M292
3.53
3.53 search
3.53 run=5 nbConstraintChecks=37880 nbValidityChecks=15083 nbPropagations=61073 nbRevisions=269016
3.53 nbUselessRevisions=227542 nbAssignments=1285 nbFailedAssignments=23 nbBacktracks=281 nbVisitedNodes=1236
3.53 nbRestartNogoods=9 mapSize=30 nbInferences=0 nbTooLargeKeys=0
3.53 => wckTime=1.802 cpuTime=1.7 mem=36M292
3.85
3.85 search
3.85 run=6 nbConstraintChecks=47738 nbValidityChecks=18816 nbPropagations=76260 nbRevisions=343161
3.85 nbUselessRevisions=289603 nbAssignments=1584 nbFailedAssignments=30 nbBacktracks=401 nbVisitedNodes=1548
3.85 nbRestartNogoods=11 mapSize=39 nbInferences=0 nbTooLargeKeys=0
3.85 => wckTime=2.12 cpuTime=2.02 mem=36M292
4.17
4.17 search
4.17 run=7 nbConstraintChecks=61332 nbValidityChecks=24298 nbPropagations=93923 nbRevisions=432136
4.17 nbUselessRevisions=363984 nbAssignments=2035 nbFailedAssignments=41 nbBacktracks=579 nbVisitedNodes=1899
4.17 nbRestartNogoods=15 mapSize=57 nbInferences=0 nbTooLargeKeys=0
4.17 => wckTime=2.443 cpuTime=2.33 mem=36M292
4.57
4.57 search
4.57 run=8 nbConstraintChecks=80970 nbValidityChecks=32706 nbPropagations=115355 nbRevisions=543667
4.57 nbUselessRevisions=457051 nbAssignments=2603 nbFailedAssignments=57 nbBacktracks=852 nbVisitedNodes=2359
4.57 nbRestartNogoods=18 mapSize=81 nbInferences=0 nbTooLargeKeys=0
4.57 => wckTime=2.841 cpuTime=2.72 mem=36M292
5.13
5.13 search
5.13 run=9 nbConstraintChecks=104858 nbValidityChecks=43411 nbPropagations=141564 nbRevisions=683923
5.13 nbUselessRevisions=573819 nbAssignments=3177 nbFailedAssignments=77 nbBacktracks=1237 nbVisitedNodes=2973
5.13 nbRestartNogoods=21 mapSize=117 nbInferences=0 nbTooLargeKeys=0
5.13 => wckTime=3.406 cpuTime=3.28 mem=37M266
6.11
6.11 search
6.11 run=10 nbConstraintChecks=157713 nbValidityChecks=69664 nbPropagations=179589 nbRevisions=891361
6.11 nbUselessRevisions=745671 nbAssignments=3950 nbFailedAssignments=107 nbBacktracks=1821 nbVisitedNodes=3798
6.11 nbRestartNogoods=25 mapSize=165 nbInferences=1 nbTooLargeKeys=0
6.11 => wckTime=4.386 cpuTime=4.24 mem=37M266
7.29
7.29 search
7.29 run=11 nbConstraintChecks=230293 nbValidityChecks=109894 nbPropagations=234107 nbRevisions=1198472
7.29 nbUselessRevisions=1000035 nbAssignments=4955 nbFailedAssignments=152 nbBacktracks=2695 nbVisitedNodes=4882
7.29 nbRestartNogoods=29 mapSize=242 nbInferences=1 nbTooLargeKeys=0
7.29 => wckTime=5.564 cpuTime=5.41 mem=38M240
9.48
9.48 search
9.48 run=12 nbConstraintChecks=334029 nbValidityChecks=165057 nbPropagations=310776 nbRevisions=1643228
9.48 nbUselessRevisions=1369019 nbAssignments=6487 nbFailedAssignments=221 nbBacktracks=4013 nbVisitedNodes=6538
9.48 nbRestartNogoods=31 mapSize=359 nbInferences=1 nbTooLargeKeys=0
9.48 => wckTime=7.757 cpuTime=7.58 mem=38M240
12.23
12.23 search
12.23 run=13 nbConstraintChecks=662194 nbValidityChecks=339186 nbPropagations=456098 nbRevisions=2525063
12.23 nbUselessRevisions=2103878 nbAssignments=8685 nbFailedAssignments=378 nbBacktracks=5959 nbVisitedNodes=9023
12.23 nbRestartNogoods=38 mapSize=641 nbInferences=1 nbTooLargeKeys=0
12.23 => wckTime=10.502 cpuTime=10.3 mem=40M188
16.38
16.38 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=42M137)
16.44
16.44 search
16.44 run=14 nbConstraintChecks=1023915 nbValidityChecks=544601 nbPropagations=679176 nbRevisions=3906459
16.44 nbUselessRevisions=3256978 nbAssignments=11912 nbFailedAssignments=566 nbBacktracks=8901 nbVisitedNodes=12629
16.44 nbRestartNogoods=43
16.44 => wckTime=14.713 cpuTime=14.46 mem=42M137
18.39
18.39 search
18.39 run=15 nbConstraintChecks=1447499 nbValidityChecks=776928 nbPropagations=991490 nbRevisions=5871225
18.39 nbUselessRevisions=4900041 nbAssignments=16675 nbFailedAssignments=854 nbBacktracks=13283 nbVisitedNodes=17879
18.39 nbRestartNogoods=46
18.39 => wckTime=16.669 cpuTime=16.4 mem=42M137
21.06
21.06 search
21.06 run=16 nbConstraintChecks=1945023 nbValidityChecks=1028302 nbPropagations=1406857 nbRevisions=8494765
21.06 nbUselessRevisions=7093677 nbAssignments=23763 nbFailedAssignments=1235 nbBacktracks=19890 nbVisitedNodes=25703
21.06 nbRestartNogoods=52
21.06 => wckTime=19.337 cpuTime=19.05 mem=42M137
25.59
25.59 search
25.59 run=17 nbConstraintChecks=3012088 nbValidityChecks=1583444 nbPropagations=2044514 nbRevisions=12584269
25.59 nbUselessRevisions=10518401 nbAssignments=34494 nbFailedAssignments=2002 nbBacktracks=29751
25.59 nbVisitedNodes=37780 nbRestartNogoods=58
25.59 => wckTime=23.86 cpuTime=23.53 mem=42M137
33.41
33.41 search
33.41 run=18 nbConstraintChecks=5235655 nbValidityChecks=2713111 nbPropagations=3138937 nbRevisions=19751392
33.41 nbUselessRevisions=16540120 nbAssignments=50997 nbFailedAssignments=3469 nbBacktracks=44531
33.41 nbVisitedNodes=56948 nbRestartNogoods=67
33.41 => wckTime=31.686 cpuTime=31.28 mem=42M137
46.84
46.84 search
46.84 run=19 nbConstraintChecks=9428375 nbValidityChecks=4976850 nbPropagations=5110431 nbRevisions=32957514
46.84 nbUselessRevisions=27674047 nbAssignments=75473 nbFailedAssignments=5700 nbBacktracks=66701
46.84 nbVisitedNodes=85588 nbRestartNogoods=77
46.84 => wckTime=45.116 cpuTime=44.59 mem=42M137
62.18
62.18 search
62.18 run=20 nbConstraintChecks=12867724 nbValidityChecks=6846829 nbPropagations=7786159 nbRevisions=51254060
62.18 nbUselessRevisions=43157534 nbAssignments=111380 nbFailedAssignments=8152 nbBacktracks=99964
62.18 nbVisitedNodes=125891 nbRestartNogoods=88
62.18 => wckTime=60.453 cpuTime=59.79 mem=42M137
86.69
86.69 search
86.69 run=21 nbConstraintChecks=19150469 nbValidityChecks=9993203 nbPropagations=11713630 nbRevisions=78437480
86.69 nbUselessRevisions=66209368 nbAssignments=166132 nbFailedAssignments=12901 nbBacktracks=149865
86.69 nbVisitedNodes=188489 nbRestartNogoods=93
86.69 => wckTime=84.964 cpuTime=84.07 mem=42M137
120.47
120.47 search
120.47 run=22 nbConstraintChecks=26677718 nbValidityChecks=13937190 nbPropagations=17214140 nbRevisions=116575366
120.47 nbUselessRevisions=98573463 nbAssignments=246013 nbFailedAssignments=17623 nbBacktracks=224695
120.47 nbVisitedNodes=277015 nbRestartNogoods=110
120.47 => wckTime=118.749 cpuTime=117.54 mem=42M137
177.33
177.33 search
177.33 run=23 nbConstraintChecks=41677914 nbValidityChecks=21910649 nbPropagations=25835941 nbRevisions=176239216
177.33 nbUselessRevisions=149174093 nbAssignments=367268 nbFailedAssignments=26473 nbBacktracks=336930
177.33 nbVisitedNodes=414703 nbRestartNogoods=117
177.33 => wckTime=175.604 cpuTime=173.88 mem=42M137
254.32
254.32 search
254.32 run=24 nbConstraintChecks=59366085 nbValidityChecks=31262671 nbPropagations=38098255 nbRevisions=261297082
254.32 nbUselessRevisions=221335503 nbAssignments=547066 nbFailedAssignments=37846 nbBacktracks=505290
254.32 nbVisitedNodes=616096 nbRestartNogoods=127
254.32 => wckTime=252.594 cpuTime=250.17 mem=42M137
366.58
366.58 search
366.58 run=25 nbConstraintChecks=84738196 nbValidityChecks=44498677 nbPropagations=55562366 nbRevisions=382745345
366.58 nbUselessRevisions=324398054 nbAssignments=815880 nbFailedAssignments=54086 nbBacktracks=757802
366.58 nbVisitedNodes=917741 nbRestartNogoods=136
366.58 => wckTime=364.851 cpuTime=361.39 mem=42M137
551.76
551.76 search
551.76 run=26 nbConstraintChecks=132405021 nbValidityChecks=69439764 nbPropagations=82575904 nbRevisions=573049490
551.76 nbUselessRevisions=486212608 nbAssignments=1227308 nbFailedAssignments=86603 nbBacktracks=1136569
551.76 nbVisitedNodes=1388765 nbRestartNogoods=147
551.76 => wckTime=550.034 cpuTime=544.87 mem=42M137
841.75
841.75 search
841.75 run=27 nbConstraintChecks=216673853 nbValidityChecks=113651548 nbPropagations=126470681 nbRevisions=885992795
841.75 nbUselessRevisions=752826957 nbAssignments=1851137 nbFailedAssignments=142044 nbBacktracks=1704740
841.75 nbVisitedNodes=2116173 nbRestartNogoods=161
841.75 => wckTime=840.022 cpuTime=832.93 mem=42M137
1246.21
1246.21 search
1246.21 run=28 nbConstraintChecks=344421794 nbValidityChecks=177303444 nbPropagations=195232309 nbRevisions=1380334278
1246.21 nbUselessRevisions=1174458733 nbAssignments=2788696 nbFailedAssignments=227255 nbBacktracks=2556984
1246.21 nbVisitedNodes=3215678 nbRestartNogoods=172
1246.21 => wckTime=1244.483 cpuTime=1237.2 mem=42M137
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-212779-1168223997 -o ROOT/results/node1/solver-212779-1168223997 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212779-1168223997/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: 2.03 2.02 2.00 4/94 2830
/proc/meminfo: memFree=1530448/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=906644 CPUtime=0.02
/proc/2829/stat : 2829 (java) S 2827 2829 2050 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 170795430 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/2829/statm: 226661 1818 1036 14 0 214244 0
[pid=2829/tid=2831] ppid=2827 vsize=906644 CPUtime=0
/proc/2829/task/2831/stat : 2831 (java) R 2827 2829 2050 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 170795434 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.102799 s]
/proc/loadavg: 2.03 2.02 2.00 4/94 2830
/proc/meminfo: memFree=1530448/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=914988 CPUtime=0.09
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 2980 0 1 0 8 1 0 0 17 0 8 0 170795430 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153930879 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2829/statm: 228747 2726 1423 14 0 215242 0
[pid=2829/tid=2831] ppid=2827 vsize=914988 CPUtime=0
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 170795434 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514846 s]
/proc/loadavg: 2.03 2.02 2.00 4/94 2830
/proc/meminfo: memFree=1530448/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=915328 CPUtime=0.5
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 6530 0 1 0 45 5 0 0 18 0 8 0 170795430 937295872 6269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072943000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2829/statm: 228832 6269 2136 14 0 215302 0
[pid=2829/tid=2831] ppid=2827 vsize=915328 CPUtime=0
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 170795434 937295872 6269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33694 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 2837
/proc/meminfo: memFree=1487512/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=915632 CPUtime=1.31
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 14409 0 1 0 103 28 0 0 25 0 8 0 170795430 937607168 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2829/statm: 228908 14147 2177 14 0 215378 0
[pid=2829/tid=2831] ppid=2827 vsize=915632 CPUtime=0
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 170795434 937607168 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2832] ppid=2827 vsize=915632 CPUtime=0
/proc/2829/task/2832/stat : 2832 (java) S 2827 2829 2050 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 170795434 937607168 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2833] ppid=2827 vsize=915632 CPUtime=0
/proc/2829/task/2833/stat : 2833 (java) S 2827 2829 2050 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 170795434 937607168 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2834] ppid=2827 vsize=915632 CPUtime=0
/proc/2829/task/2834/stat : 2834 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170795437 937607168 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2835] ppid=2827 vsize=915632 CPUtime=0.21
/proc/2829/task/2835/stat : 2835 (java) R 2827 2829 2050 0 -1 64 426 0 0 0 20 1 0 0 16 0 8 0 170795438 937607168 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153028762 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2836] ppid=2827 vsize=915632 CPUtime=0
/proc/2829/task/2836/stat : 2836 (java) S 2827 2829 2050 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170795438 937607168 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2837] ppid=2827 vsize=915632 CPUtime=0
/proc/2829/task/2837/stat : 2837 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170795438 937607168 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915632
[startup+2.97514 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 2837
/proc/meminfo: memFree=1477656/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=915720 CPUtime=2.92
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 15940 0 1 0 262 30 0 0 25 0 8 0 170795430 937697280 15676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074021467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2829/statm: 228930 15676 2543 14 0 215400 0
[pid=2829/tid=2831] ppid=2827 vsize=915720 CPUtime=0.07
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 170795434 937697280 15676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2832] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2832/stat : 2832 (java) S 2827 2829 2050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2833] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2833/stat : 2833 (java) S 2827 2829 2050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2834] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2834/stat : 2834 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170795437 937697280 15676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2835] ppid=2827 vsize=915720 CPUtime=0.35
/proc/2829/task/2835/stat : 2835 (java) S 2827 2829 2050 0 -1 64 493 0 0 0 33 2 0 0 15 0 8 0 170795438 937697280 15676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2836] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2836/stat : 2836 (java) S 2827 2829 2050 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170795438 937697280 15676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2837] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2837/stat : 2837 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170795438 937697280 15676 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915720
[startup+6.26552 s]
/proc/loadavg: 2.02 2.02 2.00 4/101 2837
/proc/meminfo: memFree=1477400/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=915720 CPUtime=6.19
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 15958 0 1 0 588 31 0 0 25 0 8 0 170795430 937697280 15691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074128336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2829/statm: 228930 15691 2543 14 0 215400 0
[pid=2829/tid=2831] ppid=2827 vsize=915720 CPUtime=0.07
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 944 0 0 0 7 0 0 0 17 0 8 0 170795434 937697280 15691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2832] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2832/stat : 2832 (java) S 2827 2829 2050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2833] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2833/stat : 2833 (java) S 2827 2829 2050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2834] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2834/stat : 2834 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170795437 937697280 15691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2835] ppid=2827 vsize=915720 CPUtime=0.38
/proc/2829/task/2835/stat : 2835 (java) S 2827 2829 2050 0 -1 64 510 0 0 0 36 2 0 0 15 0 8 0 170795438 937697280 15691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2836] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2836/stat : 2836 (java) S 2827 2829 2050 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170795438 937697280 15691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2837] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2837/stat : 2837 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170795438 937697280 15691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915720
[startup+12.7513 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 2837
/proc/meminfo: memFree=1477408/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=915720 CPUtime=12.61
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 15962 0 1 0 1230 31 0 0 25 0 8 0 170795430 937697280 15693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074128295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2829/statm: 228930 15693 2543 14 0 215400 0
[pid=2829/tid=2831] ppid=2827 vsize=915720 CPUtime=0.07
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 170795434 937697280 15693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2832] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2832/stat : 2832 (java) S 2827 2829 2050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2833] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2833/stat : 2833 (java) S 2827 2829 2050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2834] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2834/stat : 2834 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170795437 937697280 15693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2835] ppid=2827 vsize=915720 CPUtime=0.38
/proc/2829/task/2835/stat : 2835 (java) S 2827 2829 2050 0 -1 64 512 0 0 0 36 2 0 0 16 0 8 0 170795438 937697280 15693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2836] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2836/stat : 2836 (java) S 2827 2829 2050 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170795438 937697280 15693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2837] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2837/stat : 2837 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170795438 937697280 15693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915720
[startup+25.6298 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 2837
/proc/meminfo: memFree=1477536/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=915720 CPUtime=25.37
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 15966 0 1 0 2506 31 0 0 25 0 8 0 170795430 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074106430 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2829/statm: 228930 15695 2543 14 0 215400 0
[pid=2829/tid=2831] ppid=2827 vsize=915720 CPUtime=0.07
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 170795434 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2832] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2832/stat : 2832 (java) S 2827 2829 2050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2833] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2833/stat : 2833 (java) S 2827 2829 2050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2834] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2834/stat : 2834 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170795437 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2835] ppid=2827 vsize=915720 CPUtime=0.38
/proc/2829/task/2835/stat : 2835 (java) S 2827 2829 2050 0 -1 64 516 0 0 0 36 2 0 0 17 0 8 0 170795438 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2836] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2836/stat : 2836 (java) S 2827 2829 2050 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170795438 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2837] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2837/stat : 2837 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170795438 937697280 15695 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) 915720
[startup+51.2598 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 2837
/proc/meminfo: memFree=1477536/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=915720 CPUtime=50.76
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 15966 0 1 0 5045 31 0 0 25 0 8 0 170795430 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074113972 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2829/statm: 228930 15695 2543 14 0 215400 0
[pid=2829/tid=2831] ppid=2827 vsize=915720 CPUtime=0.07
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 170795434 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2832] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2832/stat : 2832 (java) S 2827 2829 2050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2833] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2833/stat : 2833 (java) S 2827 2829 2050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2834] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2834/stat : 2834 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170795437 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2835] ppid=2827 vsize=915720 CPUtime=0.38
/proc/2829/task/2835/stat : 2835 (java) S 2827 2829 2050 0 -1 64 516 0 0 0 36 2 0 0 17 0 8 0 170795438 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2836] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2836/stat : 2836 (java) S 2827 2829 2050 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170795438 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2837] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2837/stat : 2837 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170795438 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915720
[startup+102.519 s]
/proc/loadavg: 2.04 2.03 2.00 3/101 2837
/proc/meminfo: memFree=1477600/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=915720 CPUtime=101.55
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 15966 0 1 0 10123 32 0 0 25 0 8 0 170795430 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074070999 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2829/statm: 228930 15695 2543 14 0 215400 0
[pid=2829/tid=2831] ppid=2827 vsize=915720 CPUtime=0.07
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 170795434 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2832] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2832/stat : 2832 (java) S 2827 2829 2050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2833] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2833/stat : 2833 (java) S 2827 2829 2050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2834] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2834/stat : 2834 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170795437 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2835] ppid=2827 vsize=915720 CPUtime=0.38
/proc/2829/task/2835/stat : 2835 (java) S 2827 2829 2050 0 -1 64 516 0 0 0 36 2 0 0 16 0 8 0 170795438 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2836] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2836/stat : 2836 (java) S 2827 2829 2050 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170795438 937697280 15695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2837] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2837/stat : 2837 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170795438 937697280 15695 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) 915720
################
# More data... #
################
Current children cumulated CPU time (s) 1415.61
Current children cumulated vsize (KiB) 915720
[startup+1483.05 s]
/proc/loadavg: 1.02 1.13 1.46 2/88 4343
/proc/meminfo: memFree=1494480/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=915720 CPUtime=1475.61
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 15969 0 1 0 147497 64 0 0 25 0 8 0 170795430 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074029888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2829/statm: 228930 15697 2543 14 0 215400 0
[pid=2829/tid=2831] ppid=2827 vsize=915720 CPUtime=0.07
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2832] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2832/stat : 2832 (java) S 2827 2829 2050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2833] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2833/stat : 2833 (java) S 2827 2829 2050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2834] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2834/stat : 2834 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170795437 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2835] ppid=2827 vsize=915720 CPUtime=0.39
/proc/2829/task/2835/stat : 2835 (java) S 2827 2829 2050 0 -1 64 518 0 0 0 37 2 0 0 16 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2836] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2836/stat : 2836 (java) S 2827 2829 2050 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2837] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2837/stat : 2837 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1475.61
Current children cumulated vsize (KiB) 915720
[startup+1543.09 s]
/proc/loadavg: 1.06 1.12 1.44 2/88 4425
/proc/meminfo: memFree=1494672/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=915720 CPUtime=1535.62
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 15969 0 1 0 153496 66 0 0 25 0 8 0 170795430 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074029914 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2829/statm: 228930 15697 2543 14 0 215400 0
[pid=2829/tid=2831] ppid=2827 vsize=915720 CPUtime=0.07
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2832] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2832/stat : 2832 (java) S 2827 2829 2050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2833] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2833/stat : 2833 (java) S 2827 2829 2050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2834] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2834/stat : 2834 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170795437 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2835] ppid=2827 vsize=915720 CPUtime=0.39
/proc/2829/task/2835/stat : 2835 (java) S 2827 2829 2050 0 -1 64 518 0 0 0 37 2 0 0 16 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2836] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2836/stat : 2836 (java) S 2827 2829 2050 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2837] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2837/stat : 2837 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.62
Current children cumulated vsize (KiB) 915720
[startup+1603.12 s]
/proc/loadavg: 1.09 1.11 1.41 2/88 4488
/proc/meminfo: memFree=1497296/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=915720 CPUtime=1595.61
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 15969 0 1 0 159494 67 0 0 25 0 8 0 170795430 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074046961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2829/statm: 228930 15697 2543 14 0 215400 0
[pid=2829/tid=2831] ppid=2827 vsize=915720 CPUtime=0.07
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2832] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2832/stat : 2832 (java) S 2827 2829 2050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2833] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2833/stat : 2833 (java) S 2827 2829 2050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2834] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2834/stat : 2834 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170795437 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2835] ppid=2827 vsize=915720 CPUtime=0.39
/proc/2829/task/2835/stat : 2835 (java) S 2827 2829 2050 0 -1 64 518 0 0 0 37 2 0 0 16 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2836] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2836/stat : 2836 (java) S 2827 2829 2050 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2837] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2837/stat : 2837 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.61
Current children cumulated vsize (KiB) 915720
[startup+1663.16 s]
/proc/loadavg: 1.03 1.09 1.38 2/88 4541
/proc/meminfo: memFree=1494992/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=915720 CPUtime=1655.61
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 15969 0 1 0 165493 68 0 0 25 0 8 0 170795430 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2829/statm: 228930 15697 2543 14 0 215400 0
[pid=2829/tid=2831] ppid=2827 vsize=915720 CPUtime=0.07
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2832] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2832/stat : 2832 (java) S 2827 2829 2050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2833] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2833/stat : 2833 (java) S 2827 2829 2050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2834] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2834/stat : 2834 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170795437 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2835] ppid=2827 vsize=915720 CPUtime=0.39
/proc/2829/task/2835/stat : 2835 (java) S 2827 2829 2050 0 -1 64 518 0 0 0 37 2 0 0 16 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2836] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2836/stat : 2836 (java) S 2827 2829 2050 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2837] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2837/stat : 2837 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.61
Current children cumulated vsize (KiB) 915720
[startup+1723.2 s]
/proc/loadavg: 1.01 1.07 1.36 2/88 4657
/proc/meminfo: memFree=1493976/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=915720 CPUtime=1715.61
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 15969 0 1 0 171492 69 0 0 25 0 8 0 170795430 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074032254 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2829/statm: 228930 15697 2543 14 0 215400 0
[pid=2829/tid=2831] ppid=2827 vsize=915720 CPUtime=0.07
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2832] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2832/stat : 2832 (java) S 2827 2829 2050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2833] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2833/stat : 2833 (java) S 2827 2829 2050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2834] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2834/stat : 2834 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170795437 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2835] ppid=2827 vsize=915720 CPUtime=0.39
/proc/2829/task/2835/stat : 2835 (java) S 2827 2829 2050 0 -1 64 518 0 0 0 37 2 0 0 16 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2836] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2836/stat : 2836 (java) S 2827 2829 2050 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2837] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2837/stat : 2837 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.61
Current children cumulated vsize (KiB) 915720
[startup+1783.25 s]
/proc/loadavg: 1.05 1.07 1.34 2/88 4718
/proc/meminfo: memFree=1494744/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=915720 CPUtime=1775.63
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 15969 0 1 0 177492 71 0 0 25 0 8 0 170795430 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074029924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2829/statm: 228930 15697 2543 14 0 215400 0
[pid=2829/tid=2831] ppid=2827 vsize=915720 CPUtime=0.07
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2832] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2832/stat : 2832 (java) S 2827 2829 2050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2833] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2833/stat : 2833 (java) S 2827 2829 2050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2834] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2834/stat : 2834 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170795437 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2835] ppid=2827 vsize=915720 CPUtime=0.39
/proc/2829/task/2835/stat : 2835 (java) S 2827 2829 2050 0 -1 64 518 0 0 0 37 2 0 0 16 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2836] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2836/stat : 2836 (java) S 2827 2829 2050 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2837] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2837/stat : 2837 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.63
Current children cumulated vsize (KiB) 915720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.72 s]
/proc/loadavg: 1.03 1.06 1.33 2/88 4719
/proc/meminfo: memFree=1497240/2055920 swapFree=4165612/4192956
[pid=2829] ppid=2827 vsize=915720 CPUtime=1800.08
/proc/2829/stat : 2829 (java) R 2827 2829 2050 0 -1 0 15969 0 1 0 179937 71 0 0 25 0 8 0 170795430 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074030814 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2829/statm: 228930 15697 2543 14 0 215400 0
[pid=2829/tid=2831] ppid=2827 vsize=915720 CPUtime=0.07
/proc/2829/task/2831/stat : 2831 (java) S 2827 2829 2050 0 -1 64 944 0 0 0 7 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2832] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2832/stat : 2832 (java) S 2827 2829 2050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2833] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2833/stat : 2833 (java) S 2827 2829 2050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170795434 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2834] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2834/stat : 2834 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170795437 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2835] ppid=2827 vsize=915720 CPUtime=0.39
/proc/2829/task/2835/stat : 2835 (java) S 2827 2829 2050 0 -1 64 518 0 0 0 37 2 0 0 16 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2836] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2836/stat : 2836 (java) S 2827 2829 2050 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2829/tid=2837] ppid=2827 vsize=915720 CPUtime=0
/proc/2829/task/2837/stat : 2837 (java) S 2827 2829 2050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170795438 937697280 15697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.79
CPU time (s): 1800.14
CPU user time (s): 1799.41
CPU system time (s): 0.725889
CPU usage (%): 99.5769
Max. virtual memory (cumulated for all children) (KiB): 915720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.725889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15985
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= 38194
involuntary context switches= 67579
runsolver used 2.03069 s user time and 5.2812 s system time
The end
Begin job on node1 on Mon Jan 8 02:39:57 UTC 2007
IDJOB= 212779
IDBENCH= 4797
FILE ID= node1/212779-1168223997
PBS_JOBID= 3480662
Free space on /tmp= 66309 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/hanoi4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212779-1168223997/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-212779-1168223997 -o ROOT/results/node1/solver-212779-1168223997 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212779-1168223997/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 63d8a4e667e9df67ca231acecc60e095
RANDOM SEED= 510986870
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.234
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.234
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: 1530928 kB
Buffers: 46864 kB
Cached: 333104 kB
SwapCached: 3620 kB
Active: 238200 kB
Inactive: 229856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1530928 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 2408 kB
Writeback: 0 kB
Mapped: 105912 kB
Slab: 41420 kB
Committed_AS: 5016048 kB
PageTables: 2512 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= 66312 MiB
End job on node1 on Mon Jan 8 03:10:06 UTC 2007