0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/218787-1168253235/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=100 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3
0.43 => wckTime=0.11 cpuTime=0.1 mem=6M951
0.43
0.43 predicates being loaded...
0.44
0.44 constraints being loaded...
1.04 nbConstraints=2025 nbConflictsStructures=1 nbSharedConflictsStructures=2024 nbSharedBinaryRepresentations=0
1.04 nbEvaluationManagers=1 nbSharedEvaluationManagers=2024 maxDegree=81 maxArity=4
1.04 => wckTime=0.719 cpuTime=0.56 mem=46M934
1.11
1.11 solver IterativeSystematicSolver being built...
1.36 => wckTime=1.037 cpuTime=0.76 mem=31M239
1.45
1.45 preprocessing
1.45 nbConstraintChecks=2185 nbValidityChecks=935 nbPropagations=364 nbRevisions=1432 nbUselessRevisions=1272
1.45 nbSingletonTests=129 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.45 => wckTime=0.092 cpuTime=0.06 mem=31M239
1.51
1.51 search
1.51 run=0 nbConstraintChecks=4188 nbValidityChecks=3127 nbPropagations=556 nbRevisions=4291
1.51 nbUselessRevisions=3931 nbAssignments=76 nbFailedAssignments=6 nbBacktracks=14 nbVisitedNodes=89
1.51 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.145 cpuTime=0.1 mem=31M239
1.55
1.55 search
1.55 run=1 nbConstraintChecks=9311 nbValidityChecks=9629 nbPropagations=1445 nbRevisions=12477
1.55 nbUselessRevisions=11481 nbAssignments=229 nbFailedAssignments=11 nbBacktracks=30 nbVisitedNodes=177
1.55 nbRestartNogoods=3 mapSize=16 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.187 cpuTime=0.14 mem=31M239
1.58
1.58 search
1.58 run=2 nbConstraintChecks=15064 nbValidityChecks=15772 nbPropagations=2569 nbRevisions=24444
1.58 nbUselessRevisions=22562 nbAssignments=322 nbFailedAssignments=22 nbBacktracks=52 nbVisitedNodes=288
1.58 nbRestartNogoods=7 mapSize=26 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.221 cpuTime=0.17 mem=31M239
1.65
1.65 search
1.65 run=3 nbConstraintChecks=22297 nbValidityChecks=28587 nbPropagations=4286 nbRevisions=42781
1.65 nbUselessRevisions=39611 nbAssignments=658 nbFailedAssignments=33 nbBacktracks=85 nbVisitedNodes=396
1.65 nbRestartNogoods=14 mapSize=40 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.292 cpuTime=0.24 mem=31M239
1.71
1.71 search
1.71 run=4 nbConstraintChecks=31915 nbValidityChecks=41583 nbPropagations=6526 nbRevisions=67986
1.71 nbUselessRevisions=63018 nbAssignments=886 nbFailedAssignments=54 nbBacktracks=138 nbVisitedNodes=559
1.71 nbRestartNogoods=17 mapSize=70 nbInferences=0 nbTooLargeKeys=0
1.71 => wckTime=0.349 cpuTime=0.29 mem=31M239
1.77
1.77 search
1.77 run=5 nbConstraintChecks=44004 nbValidityChecks=57971 nbPropagations=9335 nbRevisions=102141
1.77 nbUselessRevisions=94758 nbAssignments=1116 nbFailedAssignments=82 nbBacktracks=216 nbVisitedNodes=766
1.77 nbRestartNogoods=21 mapSize=106 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.409 cpuTime=0.35 mem=31M239
1.86
1.86 search
1.86 run=6 nbConstraintChecks=56970 nbValidityChecks=78239 nbPropagations=13138 nbRevisions=146843
1.86 nbUselessRevisions=136217 nbAssignments=1558 nbFailedAssignments=130 nbBacktracks=329 nbVisitedNodes=1063
1.86 nbRestartNogoods=26 mapSize=177 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.501 cpuTime=0.43 mem=31M239
1.94
1.94 search
1.94 run=7 nbConstraintChecks=69846 nbValidityChecks=95207 nbPropagations=17871 nbRevisions=200895
1.94 nbUselessRevisions=186033 nbAssignments=1899 nbFailedAssignments=199 nbBacktracks=499 nbVisitedNodes=1466
1.94 nbRestartNogoods=32 mapSize=283 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.578 cpuTime=0.5 mem=31M239
2.04
2.04 search
2.04 run=8 nbConstraintChecks=90391 nbValidityChecks=121393 nbPropagations=23929 nbRevisions=270348
2.04 nbUselessRevisions=249744 nbAssignments=2298 nbFailedAssignments=308 nbBacktracks=756 nbVisitedNodes=2082
2.04 nbRestartNogoods=35 mapSize=457 nbInferences=0 nbTooLargeKeys=0
2.04 => wckTime=0.682 cpuTime=0.6 mem=31M239
2.28
2.28 search
2.28 run=9 nbConstraintChecks=141478 nbValidityChecks=195514 nbPropagations=32038 nbRevisions=380296
2.28 nbUselessRevisions=351073 nbAssignments=2841 nbFailedAssignments=429 nbBacktracks=1141 nbVisitedNodes=2863
2.28 nbRestartNogoods=42 mapSize=653 nbInferences=0 nbTooLargeKeys=0
2.28 => wckTime=0.916 cpuTime=0.81 mem=32M213
2.63
2.63 search
2.63 run=10 nbConstraintChecks=230680 nbValidityChecks=323116 nbPropagations=43261 nbRevisions=560929
2.63 nbUselessRevisions=518723 nbAssignments=3638 nbFailedAssignments=594 nbBacktracks=1720 nbVisitedNodes=3985
2.63 nbRestartNogoods=45 mapSize=925 nbInferences=0 nbTooLargeKeys=0
2.63 => wckTime=1.273 cpuTime=1.16 mem=32M213
2.75
2.75 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=32M213)
3.01
3.01 search
3.01 run=11 nbConstraintChecks=332987 nbValidityChecks=464469 nbPropagations=59484 nbRevisions=815389
3.01 nbUselessRevisions=753266 nbAssignments=4945 nbFailedAssignments=914 nbBacktracks=2584 nbVisitedNodes=5830
3.01 nbRestartNogoods=53
3.01 => wckTime=1.653 cpuTime=1.54 mem=32M213
3.49
3.49 search
3.49 run=12 nbConstraintChecks=494577 nbValidityChecks=687459 nbPropagations=82358 nbRevisions=1198205
3.49 nbUselessRevisions=1107227 nbAssignments=6700 nbFailedAssignments=1320 nbBacktracks=3893 nbVisitedNodes=8413
3.49 nbRestartNogoods=58
3.49 => wckTime=2.126 cpuTime=2.01 mem=32M213
4.21
4.21 search
4.21 run=13 nbConstraintChecks=753037 nbValidityChecks=1055653 nbPropagations=114248 nbRevisions=1789903
4.21 nbUselessRevisions=1657285 nbAssignments=9233 nbFailedAssignments=1862 nbBacktracks=5840 nbVisitedNodes=11961
4.21 nbRestartNogoods=63
4.21 => wckTime=2.85 cpuTime=2.74 mem=32M213
5.46
5.46 search
5.46 run=14 nbConstraintChecks=1206590 nbValidityChecks=1706476 nbPropagations=162802 nbRevisions=2748551
5.46 nbUselessRevisions=2550804 nbAssignments=13154 nbFailedAssignments=2799 nbBacktracks=8762 nbVisitedNodes=17695
5.46 nbRestartNogoods=71
5.46 => wckTime=4.104 cpuTime=3.99 mem=32M213
7.29
7.29 search
7.29 run=15 nbConstraintChecks=1767243 nbValidityChecks=2545782 nbPropagations=236071 nbRevisions=4189825
7.29 nbUselessRevisions=3893027 nbAssignments=18804 nbFailedAssignments=4030 nbBacktracks=13141 nbVisitedNodes=25670
7.29 nbRestartNogoods=81
7.29 => wckTime=5.928 cpuTime=5.8 mem=32M213
10.39
10.39 search
10.39 run=16 nbConstraintChecks=2875224 nbValidityChecks=4168220 nbPropagations=348619 nbRevisions=6541164
10.39 nbUselessRevisions=6088935 nbAssignments=27524 nbFailedAssignments=6106 nbBacktracks=19709 nbVisitedNodes=38469
10.39 nbRestartNogoods=88
10.39 => wckTime=9.034 cpuTime=8.89 mem=32M213
14.32
14.32 search
14.32 run=17 nbConstraintChecks=4095818 nbValidityChecks=5911184 nbPropagations=514343 nbRevisions=9822732
14.32 nbUselessRevisions=9142421 nbAssignments=40718 nbFailedAssignments=9216 nbBacktracks=29563 nbVisitedNodes=57364
14.32 nbRestartNogoods=96
14.32 => wckTime=12.962 cpuTime=12.8 mem=32M213
20.56
20.56 search
20.56 run=18 nbConstraintChecks=6427262 nbValidityChecks=9204414 nbPropagations=762437 nbRevisions=14951596
20.56 nbUselessRevisions=13926580 nbAssignments=60431 nbFailedAssignments=14100 nbBacktracks=44345
20.56 nbVisitedNodes=86626 nbRestartNogoods=105
20.56 => wckTime=19.2 cpuTime=19.0 mem=32M213
29.94
29.94 search
29.94 run=19 nbConstraintChecks=9711423 nbValidityChecks=13877850 nbPropagations=1133863 nbRevisions=22683783
29.94 nbUselessRevisions=21141080 nbAssignments=89888 nbFailedAssignments=21166 nbBacktracks=66513
29.94 nbVisitedNodes=129820 nbRestartNogoods=113
29.94 => wckTime=28.583 cpuTime=28.34 mem=32M213
40.95
40.95 search
40.95 run=20 nbConstraintChecks=13202579 nbValidityChecks=18588736 nbPropagations=1670065 nbRevisions=33091784
40.95 nbUselessRevisions=30825219 nbAssignments=135631 nbFailedAssignments=33513 nbBacktracks=99765
40.95 nbVisitedNodes=199328 nbRestartNogoods=124
40.95 => wckTime=39.591 cpuTime=39.3 mem=32M213
63.06
63.06 search
63.06 run=21 nbConstraintChecks=21519468 nbValidityChecks=31051691 nbPropagations=2493770 nbRevisions=50532834
63.06 nbUselessRevisions=47124257 nbAssignments=199818 nbFailedAssignments=47762 nbBacktracks=149647
63.06 nbVisitedNodes=291469 nbRestartNogoods=136
63.06 => wckTime=61.7 cpuTime=61.3 mem=32M213
95.56
95.56 search
95.56 run=22 nbConstraintChecks=33377661 nbValidityChecks=48025779 nbPropagations=3746867 nbRevisions=77509703
95.56 nbUselessRevisions=72346382 nbAssignments=299426 nbFailedAssignments=72349 nbBacktracks=224466
95.56 nbVisitedNodes=438294 nbRestartNogoods=154
95.56 => wckTime=94.201 cpuTime=93.64 mem=32M213
147.89
147.90 search
147.90 run=23 nbConstraintChecks=51944322 nbValidityChecks=74939336 nbPropagations=5678450 nbRevisions=119428870
147.90 nbUselessRevisions=111554845 nbAssignments=448118 nbFailedAssignments=108660 nbBacktracks=336694
147.90 nbVisitedNodes=656797 nbRestartNogoods=163
147.90 => wckTime=146.535 cpuTime=145.73 mem=32M213
222.60
222.60 search
222.60 run=24 nbConstraintChecks=78602068 nbValidityChecks=113584785 nbPropagations=8555427 nbRevisions=182995474
222.60 nbUselessRevisions=171041107 nbAssignments=668807 nbFailedAssignments=160681 nbBacktracks=505035
222.60 nbVisitedNodes=978304 nbRestartNogoods=178
222.60 => wckTime=221.238 cpuTime=220.08 mem=32M213
328.84
328.84 search
328.84 run=25 nbConstraintChecks=118164328 nbValidityChecks=168743650 nbPropagations=12815479 nbRevisions=277328381
328.84 nbUselessRevisions=259298449 nbAssignments=1012024 nbFailedAssignments=250947 nbBacktracks=757554
328.84 nbVisitedNodes=1490124 nbRestartNogoods=194
328.84 => wckTime=327.479 cpuTime=325.82 mem=32M213
500.24
500.24 search
500.24 run=26 nbConstraintChecks=180146190 nbValidityChecks=261494656 nbPropagations=19327209 nbRevisions=423842132
500.24 nbUselessRevisions=396535325 nbAssignments=1503180 nbFailedAssignments=363078 nbBacktracks=1136321
500.24 nbVisitedNodes=2201233 nbRestartNogoods=212
500.24 => wckTime=498.883 cpuTime=496.59 mem=32M213
713.89
713.89 search
713.89 run=27 nbConstraintChecks=257379760 nbValidityChecks=371635983 nbPropagations=29140987 nbRevisions=629643919
713.89 nbUselessRevisions=588358474 nbAssignments=2254584 nbFailedAssignments=546275 nbBacktracks=1704472
713.89 nbVisitedNodes=3313163 nbRestartNogoods=227
713.89 => wckTime=712.532 cpuTime=709.99 mem=32M213
1032.07
1032.07 search
1032.07 run=28 nbConstraintChecks=388811047 nbValidityChecks=558501196 nbPropagations=43448945 nbRevisions=941965164
1032.07 nbUselessRevisions=880275692 nbAssignments=3375575 nbFailedAssignments=814895 nbBacktracks=2556700
1032.07 nbVisitedNodes=4960579 nbRestartNogoods=240
1032.07 => wckTime=1030.708 cpuTime=1027.76 mem=32M213
1529.93
1529.99 search
1529.99 run=29 nbConstraintChecks=580980433 nbValidityChecks=832863913 nbPropagations=64870608 nbRevisions=1405139044
1529.99 nbUselessRevisions=1312845408 nbAssignments=5070653 nbFailedAssignments=1231573 nbBacktracks=3835044
1529.99 nbVisitedNodes=7447969 nbRestartNogoods=256
1529.99 => wckTime=1528.574 cpuTime=1524.38 mem=32M213
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-218787-1168253235 -o ROOT/results/node9/solver-218787-1168253235 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218787-1168253235/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.25 1.56 1.81 4/87 17346
/proc/meminfo: memFree=1669512/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=906644 CPUtime=0.02
/proc/17345/stat : 17345 (java) S 17343 17345 16943 0 -1 0 2068 0 1 0 2 0 0 0 18 0 2 0 173718986 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 226661 1817 1036 14 0 214244 0
[pid=17345/tid=17347] ppid=17343 vsize=906644 CPUtime=0
/proc/17345/task/17347/stat : 17347 (java) R 17343 17345 16943 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 173718989 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104736 s]
/proc/loadavg: 1.25 1.56 1.81 4/87 17346
/proc/meminfo: memFree=1669512/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=914988 CPUtime=0.07
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 2942 0 1 0 6 1 0 0 20 0 8 0 173718986 936947712 2688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 228747 2688 1412 14 0 215242 0
[pid=17345/tid=17347] ppid=17343 vsize=914988 CPUtime=0
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 173718989 936947712 2688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.512781 s]
/proc/loadavg: 1.25 1.56 1.81 4/87 17346
/proc/meminfo: memFree=1669512/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=915328 CPUtime=0.49
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 6799 0 1 0 45 4 0 0 18 0 8 0 173718986 937295872 6538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927753 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 228832 6538 2145 14 0 215302 0
[pid=17345/tid=17347] ppid=17343 vsize=915328 CPUtime=0
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 173718989 937295872 6538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33788 s]
/proc/loadavg: 1.25 1.56 1.81 3/94 17353
/proc/meminfo: memFree=1612240/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=915764 CPUtime=1.31
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 17108 0 1 0 113 18 0 0 24 0 8 0 173718986 937742336 16845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152155289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 228941 16845 2533 14 0 215411 0
[pid=17345/tid=17347] ppid=17343 vsize=915764 CPUtime=0.05
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 694 0 0 0 5 0 0 0 17 0 8 0 173718989 937742336 16845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17343 17345 16943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17350/stat : 17350 (java) S 17343 17345 16943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173718994 937742336 16845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17343 vsize=915764 CPUtime=0.24
/proc/17345/task/17351/stat : 17351 (java) S 17343 17345 16943 0 -1 64 449 0 0 0 23 1 0 0 15 0 8 0 173718994 937742336 16845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17352] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173718994 937742336 16845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17353] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17353/stat : 17353 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173718994 937742336 16845 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) 915764
[startup+2.99106 s]
/proc/loadavg: 1.25 1.56 1.81 3/94 17353
/proc/meminfo: memFree=1611472/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=915764 CPUtime=2.95
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 17189 0 1 0 277 18 0 0 25 0 8 0 173718986 937742336 16925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073976833 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 228941 16925 2543 14 0 215411 0
[pid=17345/tid=17347] ppid=17343 vsize=915764 CPUtime=0.05
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 694 0 0 0 5 0 0 0 17 0 8 0 173718989 937742336 16925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17343 17345 16943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17350/stat : 17350 (java) S 17343 17345 16943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173718994 937742336 16925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17343 vsize=915764 CPUtime=0.34
/proc/17345/task/17351/stat : 17351 (java) S 17343 17345 16943 0 -1 64 505 0 0 0 33 1 0 0 16 0 8 0 173718994 937742336 16925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17352] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173718994 937742336 16925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17353] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17353/stat : 17353 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173718994 937742336 16925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915764
[startup+6.27043 s]
/proc/loadavg: 1.31 1.57 1.81 3/94 17353
/proc/meminfo: memFree=1611152/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=915764 CPUtime=6.21
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 17193 0 1 0 603 18 0 0 25 0 8 0 173718986 937742336 16927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073970953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 228941 16927 2543 14 0 215411 0
[pid=17345/tid=17347] ppid=17343 vsize=915764 CPUtime=0.05
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 694 0 0 0 5 0 0 0 17 0 8 0 173718989 937742336 16927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17343 17345 16943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17350/stat : 17350 (java) S 17343 17345 16943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173718994 937742336 16927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17343 vsize=915764 CPUtime=0.34
/proc/17345/task/17351/stat : 17351 (java) S 17343 17345 16943 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 173718994 937742336 16927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17352] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173718994 937742336 16927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17353] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17353/stat : 17353 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173718994 937742336 16927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915764
[startup+12.7692 s]
/proc/loadavg: 1.36 1.58 1.81 3/94 17353
/proc/meminfo: memFree=1610896/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=915764 CPUtime=12.68
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 17195 0 1 0 1250 18 0 0 25 0 8 0 173718986 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074067972 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 228941 16928 2543 14 0 215411 0
[pid=17345/tid=17347] ppid=17343 vsize=915764 CPUtime=0.05
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 694 0 0 0 5 0 0 0 16 0 8 0 173718989 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17343 17345 16943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17350/stat : 17350 (java) S 17343 17345 16943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173718994 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17343 vsize=915764 CPUtime=0.34
/proc/17345/task/17351/stat : 17351 (java) S 17343 17345 16943 0 -1 64 508 0 0 0 33 1 0 0 16 0 8 0 173718994 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17352] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173718994 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17353] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17353/stat : 17353 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173718994 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915764
[startup+25.6306 s]
/proc/loadavg: 1.50 1.60 1.81 3/94 17353
/proc/meminfo: memFree=1610448/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=915764 CPUtime=25.47
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 17195 0 1 0 2529 18 0 0 25 0 8 0 173718986 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073997437 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 228941 16928 2543 14 0 215411 0
[pid=17345/tid=17347] ppid=17343 vsize=915764 CPUtime=0.05
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 694 0 0 0 5 0 0 0 16 0 8 0 173718989 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17343 17345 16943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17350/stat : 17350 (java) S 17343 17345 16943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173718994 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17343 vsize=915764 CPUtime=0.34
/proc/17345/task/17351/stat : 17351 (java) S 17343 17345 16943 0 -1 64 508 0 0 0 33 1 0 0 16 0 8 0 173718994 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17352] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173718994 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17353] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17353/stat : 17353 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173718994 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915764
[startup+51.2705 s]
/proc/loadavg: 1.67 1.63 1.81 3/94 17353
/proc/meminfo: memFree=1609360/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=915764 CPUtime=51
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 17195 0 1 0 5081 19 0 0 25 0 8 0 173718986 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 228941 16928 2543 14 0 215411 0
[pid=17345/tid=17347] ppid=17343 vsize=915764 CPUtime=0.05
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 694 0 0 0 5 0 0 0 16 0 8 0 173718989 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17343 17345 16943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17350/stat : 17350 (java) S 17343 17345 16943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173718994 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17343 vsize=915764 CPUtime=0.34
/proc/17345/task/17351/stat : 17351 (java) S 17343 17345 16943 0 -1 64 508 0 0 0 33 1 0 0 16 0 8 0 173718994 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17352] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173718994 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17353] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17353/stat : 17353 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173718994 937742336 16928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915764
[startup+102.546 s]
/proc/loadavg: 1.85 1.68 1.82 4/94 17353
/proc/meminfo: memFree=1606736/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=915764 CPUtime=102.03
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 17196 0 1 0 10184 19 0 0 25 0 8 0 173718986 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971027 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17345/statm: 228941 16929 2543 14 0 215411 0
[pid=17345/tid=17347] ppid=17343 vsize=915764 CPUtime=0.05
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 694 0 0 0 5 0 0 0 16 0 8 0 173718989 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17343 17345 16943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17350/stat : 17350 (java) S 17343 17345 16943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17343 vsize=915764 CPUtime=0.35
/proc/17345/task/17351/stat : 17351 (java) S 17343 17345 16943 0 -1 64 509 0 0 0 34 1 0 0 16 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17352] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17353] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17353/stat : 17353 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 915764
################
# More data... #
################
Current children cumulated CPU time (s) 1419.7
Current children cumulated vsize (KiB) 915764
[startup+1483.33 s]
/proc/loadavg: 2.03 2.01 1.93 3/94 18304
/proc/meminfo: memFree=1713440/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=915764 CPUtime=1479.47
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 17196 0 1 0 147898 49 0 0 25 0 8 0 173718986 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971014 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17345/statm: 228941 16929 2543 14 0 215411 0
[pid=17345/tid=17347] ppid=17343 vsize=915764 CPUtime=0.05
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 694 0 0 0 5 0 0 0 16 0 8 0 173718989 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17343 17345 16943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17350/stat : 17350 (java) S 17343 17345 16943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17343 vsize=915764 CPUtime=0.35
/proc/17345/task/17351/stat : 17351 (java) S 17343 17345 16943 0 -1 64 509 0 0 0 34 1 0 0 16 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17345/tid=17352] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17353] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17353/stat : 17353 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.47
Current children cumulated vsize (KiB) 915764
[startup+1543.43 s]
/proc/loadavg: 2.01 2.01 1.93 3/95 18305
/proc/meminfo: memFree=1713368/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=915764 CPUtime=1539.21
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 17196 0 1 0 153872 49 0 0 25 0 8 0 173718986 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973132 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17345/statm: 228941 16929 2543 14 0 215411 0
[pid=17345/tid=17347] ppid=17343 vsize=915764 CPUtime=0.05
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 694 0 0 0 5 0 0 0 16 0 8 0 173718989 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17343 17345 16943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17350/stat : 17350 (java) S 17343 17345 16943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17343 vsize=915764 CPUtime=0.35
/proc/17345/task/17351/stat : 17351 (java) S 17343 17345 16943 0 -1 64 509 0 0 0 34 1 0 0 16 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17345/tid=17352] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17353] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17353/stat : 17353 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.21
Current children cumulated vsize (KiB) 915764
[startup+1603.51 s]
/proc/loadavg: 2.00 2.00 1.93 3/95 18305
/proc/meminfo: memFree=1713240/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=915764 CPUtime=1598.98
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 17196 0 1 0 159849 49 0 0 25 0 8 0 173718986 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016178 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17345/statm: 228941 16929 2543 14 0 215411 0
[pid=17345/tid=17347] ppid=17343 vsize=915764 CPUtime=0.05
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 694 0 0 0 5 0 0 0 16 0 8 0 173718989 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17343 17345 16943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17350/stat : 17350 (java) S 17343 17345 16943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17343 vsize=915764 CPUtime=0.35
/proc/17345/task/17351/stat : 17351 (java) S 17343 17345 16943 0 -1 64 509 0 0 0 34 1 0 0 16 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17345/tid=17352] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17353] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17353/stat : 17353 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.98
Current children cumulated vsize (KiB) 915764
[startup+1663.6 s]
/proc/loadavg: 2.00 2.00 1.93 4/95 18305
/proc/meminfo: memFree=1713176/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=915764 CPUtime=1658.75
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 17196 0 1 0 165826 49 0 0 25 0 8 0 173718986 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074000280 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17345/statm: 228941 16929 2543 14 0 215411 0
[pid=17345/tid=17347] ppid=17343 vsize=915764 CPUtime=0.05
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 694 0 0 0 5 0 0 0 16 0 8 0 173718989 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17343 17345 16943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17350/stat : 17350 (java) S 17343 17345 16943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17343 vsize=915764 CPUtime=0.35
/proc/17345/task/17351/stat : 17351 (java) S 17343 17345 16943 0 -1 64 509 0 0 0 34 1 0 0 16 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17345/tid=17352] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17353] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17353/stat : 17353 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.75
Current children cumulated vsize (KiB) 915764
[startup+1723.69 s]
/proc/loadavg: 2.00 2.00 1.93 3/95 18305
/proc/meminfo: memFree=1713112/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=915764 CPUtime=1718.49
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 17196 0 1 0 171800 49 0 0 25 0 8 0 173718986 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973205 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17345/statm: 228941 16929 2543 14 0 215411 0
[pid=17345/tid=17347] ppid=17343 vsize=915764 CPUtime=0.05
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 694 0 0 0 5 0 0 0 16 0 8 0 173718989 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17343 17345 16943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17350/stat : 17350 (java) S 17343 17345 16943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17343 vsize=915764 CPUtime=0.35
/proc/17345/task/17351/stat : 17351 (java) S 17343 17345 16943 0 -1 64 509 0 0 0 34 1 0 0 16 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17345/tid=17352] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17353] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17353/stat : 17353 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.49
Current children cumulated vsize (KiB) 915764
[startup+1783.77 s]
/proc/loadavg: 2.04 2.01 1.93 3/95 18305
/proc/meminfo: memFree=1713048/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=915764 CPUtime=1778.25
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 17196 0 1 0 177776 49 0 0 25 0 8 0 173718986 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073989485 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17345/statm: 228941 16929 2543 14 0 215411 0
[pid=17345/tid=17347] ppid=17343 vsize=915764 CPUtime=0.05
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 694 0 0 0 5 0 0 0 16 0 8 0 173718989 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17343 17345 16943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17350/stat : 17350 (java) S 17343 17345 16943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17343 vsize=915764 CPUtime=0.35
/proc/17345/task/17351/stat : 17351 (java) S 17343 17345 16943 0 -1 64 509 0 0 0 34 1 0 0 16 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17345/tid=17352] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17353] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17353/stat : 17353 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.25
Current children cumulated vsize (KiB) 915764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.67 s]
/proc/loadavg: 2.02 2.01 1.93 3/95 18305
/proc/meminfo: memFree=1712984/2055920 swapFree=4191880/4192956
[pid=17345] ppid=17343 vsize=915764 CPUtime=1800.05
/proc/17345/stat : 17345 (java) R 17343 17345 16943 0 -1 0 17196 0 1 0 179956 49 0 0 25 0 8 0 173718986 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17345/statm: 228941 16929 2543 14 0 215411 0
[pid=17345/tid=17347] ppid=17343 vsize=915764 CPUtime=0.05
/proc/17345/task/17347/stat : 17347 (java) S 17343 17345 16943 0 -1 64 694 0 0 0 5 0 0 0 16 0 8 0 173718989 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17348] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17348/stat : 17348 (java) S 17343 17345 16943 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17349] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17349/stat : 17349 (java) S 17343 17345 16943 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173718990 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17350] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17350/stat : 17350 (java) S 17343 17345 16943 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17351] ppid=17343 vsize=915764 CPUtime=0.35
/proc/17345/task/17351/stat : 17351 (java) S 17343 17345 16943 0 -1 64 509 0 0 0 34 1 0 0 16 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17345/tid=17352] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17352/stat : 17352 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17345/tid=17353] ppid=17343 vsize=915764 CPUtime=0
/proc/17345/task/17353/stat : 17353 (java) S 17343 17345 16943 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173718994 937742336 16929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915764
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1805.75
CPU time (s): 1800.13
CPU user time (s): 1799.62
CPU system time (s): 0.508922
CPU usage (%): 99.6886
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.508922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17213
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= 37982
involuntary context switches= 55478
runsolver used 2.23666 s user time and 5.74413 s system time
The end
Begin job on node9 on Mon Jan 8 10:47:17 UTC 2007
IDJOB= 218787
IDBENCH= 5256
FILE ID= node9/218787-1168253235
PBS_JOBID= 3481700
Free space on /tmp= 66536 MiB
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-10-10-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218787-1168253235/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-218787-1168253235 -o ROOT/results/node9/solver-218787-1168253235 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218787-1168253235/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 41d5b5560d62ba7898a114348faab5c0
RANDOM SEED= 555804803
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.231
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.231
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: 1670056 kB
Buffers: 37684 kB
Cached: 97908 kB
SwapCached: 408 kB
Active: 272176 kB
Inactive: 55124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1670056 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2140 kB
Writeback: 0 kB
Mapped: 204312 kB
Slab: 43100 kB
Committed_AS: 5063232 kB
PageTables: 2584 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= 66542 MiB
End job on node9 on Mon Jan 8 11:17:27 UTC 2007