0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/275392-1169221267/unknown.xml
0.37
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.53
0.53 constraints being loaded...
0.64 nbConstraints=335 nbRelationTypes=335 nbExtensionStructures=335 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=335 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2933 maxDegree=22
0.64 maxArity=2
0.64 => wckTime=0.326 cpuTime=0.24 mem=12M747
0.68
0.68 solver LocalSearchSolver being built...
0.73 => wckTime=0.415 cpuTime=0.28 mem=6M54
0.73
0.73 s SATISFIABLE
0.73 o 250
0.73 c 85
0.74 o 256
0.74 c 79
0.74 o 260
0.74 c 75
0.74 o 263
0.74 c 72
0.74 o 268
0.74 c 67
0.74 o 271
0.74 c 64
0.74 o 275
0.74 c 60
0.74 o 276
0.74 c 59
0.74 o 279
0.74 c 56
0.74 o 281
0.74 c 54
0.75 o 286
0.75 c 49
0.75 o 287
0.75 c 48
0.75 o 290
0.75 c 45
0.75 o 291
0.75 c 44
0.75 o 293
0.75 c 42
0.75 o 295
0.75 c 40
0.75 o 296
0.75 c 39
0.75 o 301
0.75 c 34
0.75 o 302
0.75 c 33
0.76 o 303
0.76 c 32
0.76 o 304
0.76 c 31
0.76 o 306
0.76 c 29
0.76 o 307
0.76 c 28
0.77 o 308
0.77 c 27
0.77 o 309
0.77 c 26
0.77 o 310
0.77 c 25
0.77 o 313
0.77 c 22
0.77 o 314
0.77 c 21
0.77 o 317
0.77 c 18
0.77 o 318
0.77 c 17
0.77 o 319
0.77 c 16
0.77 o 320
0.77 c 15
0.77 o 322
0.77 c 13
0.80 o 323
0.80 c 12
0.80 o 324
0.80 c 11
0.82 o 325
0.82 c 10
0.82 o 326
0.82 c 9
0.82 o 328
0.82 c 7
0.82 o 329
0.82 c 6
0.82 o 330
0.82 c 5
0.97 o 331
0.97 c 4
0.98 o 332
0.98 c 3
1.68 o 333
1.68 c 2
3.92
3.92 search
3.92 run=0 nbConstraintChecks=22404384 nbAssignments=10000
3.92 => wckTime=3.195 cpuTime=3.14 mem=6M54
7.34
7.34 search
7.34 run=1 nbConstraintChecks=47080391 nbAssignments=20000
7.34 => wckTime=6.612 cpuTime=6.52 mem=6M54
10.46
10.46 search
10.46 run=2 nbConstraintChecks=69102691 nbAssignments=30000
10.46 => wckTime=9.73 cpuTime=9.6 mem=6M54
13.72
13.72 search
13.72 run=3 nbConstraintChecks=92497252 nbAssignments=40000
13.72 => wckTime=12.995 cpuTime=12.83 mem=6M54
16.80
16.80 search
16.80 run=4 nbConstraintChecks=114379491 nbAssignments=50000
16.80 => wckTime=16.073 cpuTime=15.89 mem=6M54
20.14
20.14 search
20.14 run=5 nbConstraintChecks=138556423 nbAssignments=60000
20.14 => wckTime=19.409 cpuTime=19.2 mem=6M54
23.26
23.26 search
23.26 run=6 nbConstraintChecks=160915896 nbAssignments=70000
23.26 => wckTime=22.537 cpuTime=22.29 mem=6M54
26.54
26.54 search
26.54 run=7 nbConstraintChecks=184462313 nbAssignments=80000
26.54 => wckTime=25.809 cpuTime=25.54 mem=6M54
27.08 o 334
27.08 c 1
27.08
27.08 search
27.08 run=8 nbConstraintChecks=188247946 nbAssignments=81922
27.08 => wckTime=26.358 cpuTime=26.08 mem=6M54
27.09
27.09 global
27.09 nbConstraintChecks=188247946 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
27.09 solvingWckTime=26.355 solvingCpuTime=26.08 expiredTime=no totalExploration=no nbFoundSolutions=0
27.09 globalCpuTime=26.42
27.09 => wckTime=26.774 cpuTime=26.36 mem=6M54
27.09
27.09 solver IterativeSystematicSolver being built...
27.22 => wckTime=26.911 cpuTime=26.47 mem=16M962
27.32
27.32 preprocessing
27.32 nbConstraintChecks=139516 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
27.32 detectedInconsistency=no
27.32 => wckTime=0.099 cpuTime=0.07 mem=16M962
27.38
27.38 search
27.38 run=0 nbConstraintChecks=188838 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38
27.38 nbFailedAssignments=22 nbBacktracks=10 nbVisitedNodes=71 nbRestartNogoods=0
27.38 => wckTime=0.156 cpuTime=0.13 mem=16M962
27.46
27.46 search
27.46 run=1 nbConstraintChecks=461865 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=93
27.46 nbFailedAssignments=55 nbBacktracks=25 nbVisitedNodes=173 nbRestartNogoods=17
27.46 => wckTime=0.239 cpuTime=0.2 mem=16M962
27.56
27.56 search
27.56 run=2 nbConstraintChecks=857564 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=164
27.56 nbFailedAssignments=98 nbBacktracks=47 nbVisitedNodes=308 nbRestartNogoods=29
27.56 => wckTime=0.334 cpuTime=0.29 mem=16M962
27.67
27.67 search
27.68 run=3 nbConstraintChecks=1324734 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=258
27.68 nbFailedAssignments=151 nbBacktracks=80 nbVisitedNodes=484 nbRestartNogoods=59
27.68 => wckTime=0.451 cpuTime=0.4 mem=16M962
27.86
27.86 search
27.86 run=4 nbConstraintChecks=2029350 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=401
27.86 nbFailedAssignments=240 nbBacktracks=131 nbVisitedNodes=762 nbRestartNogoods=79
27.86 => wckTime=0.637 cpuTime=0.59 mem=16M962
28.09
28.09 search
28.09 run=5 nbConstraintChecks=3008483 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=610
28.09 nbFailedAssignments=367 nbBacktracks=207 nbVisitedNodes=1172 nbRestartNogoods=81
28.09 => wckTime=0.867 cpuTime=0.82 mem=16M962
28.50
28.50 search
28.50 run=6 nbConstraintChecks=4492288 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=900
28.50 nbFailedAssignments=540 nbBacktracks=320 nbVisitedNodes=1734 nbRestartNogoods=89
28.50 => wckTime=1.272 cpuTime=1.21 mem=16M962
29.07
29.07 search
29.07 run=7 nbConstraintChecks=7133529 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1382
29.07 nbFailedAssignments=845 nbBacktracks=490 nbVisitedNodes=2691 nbRestartNogoods=107
29.07 => wckTime=1.846 cpuTime=1.78 mem=16M962
29.97
29.97 search
29.97 run=8 nbConstraintChecks=10729444 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2109
29.97 nbFailedAssignments=1309 nbBacktracks=746 nbVisitedNodes=4127 nbRestartNogoods=127
29.97 => wckTime=2.747 cpuTime=2.65 mem=16M962
31.42
31.42 search
31.42 run=9 nbConstraintChecks=17028569 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3199
31.42 nbFailedAssignments=2010 nbBacktracks=1130 nbVisitedNodes=6249 nbRestartNogoods=145
31.42 => wckTime=4.198 cpuTime=4.09 mem=16M962
33.46
33.47 search
33.47 run=10 nbConstraintChecks=25383158 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4697
33.47 nbFailedAssignments=2926 nbBacktracks=1706 nbVisitedNodes=9109 nbRestartNogoods=154
33.47 => wckTime=6.241 cpuTime=6.11 mem=16M962
36.30
36.30 search
36.30 run=11 nbConstraintChecks=37503213 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6820
36.30 nbFailedAssignments=4179 nbBacktracks=2571 nbVisitedNodes=13113 nbRestartNogoods=173
36.30 => wckTime=9.076 cpuTime=8.91 mem=16M962
39.99
39.99 search
39.99 run=12 nbConstraintChecks=52932334 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9698
39.99 nbFailedAssignments=5754 nbBacktracks=3868 nbVisitedNodes=18292 nbRestartNogoods=210
39.99 => wckTime=12.767 cpuTime=12.57 mem=16M962
45.65
45.65 search
45.65 run=13 nbConstraintChecks=76434447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14009
45.65 nbFailedAssignments=8113 nbBacktracks=5815 nbVisitedNodes=25990 nbRestartNogoods=226
45.65 => wckTime=18.425 cpuTime=18.17 mem=16M962
53.41
53.41 search
53.41 run=14 nbConstraintChecks=108096977 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19842
53.41 nbFailedAssignments=11023 nbBacktracks=8735 nbVisitedNodes=35730 nbRestartNogoods=243
53.41 => wckTime=26.184 cpuTime=25.86 mem=16M962
64.07
64.07 search
64.07 run=15 nbConstraintChecks=150567905 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27878
64.07 nbFailedAssignments=14674 nbBacktracks=13114 nbVisitedNodes=48580 nbRestartNogoods=262
64.07 => wckTime=36.846 cpuTime=36.42 mem=16M962
78.31
78.31 search
78.31 run=16 nbConstraintChecks=213965530 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40270
78.31 nbFailedAssignments=20490 nbBacktracks=19684 nbVisitedNodes=68592 nbRestartNogoods=273
78.31 => wckTime=51.087 cpuTime=50.63 mem=16M962
98.11
98.11 search
98.11 run=17 nbConstraintChecks=303237597 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=58228
98.11 nbFailedAssignments=28589 nbBacktracks=29537 nbVisitedNodes=97169 nbRestartNogoods=298
98.11 => wckTime=70.883 cpuTime=70.42 mem=16M962
131.98
131.98 search
131.98 run=18 nbConstraintChecks=450830914 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85388
131.98 nbFailedAssignments=40963 nbBacktracks=44315 nbVisitedNodes=140635 nbRestartNogoods=316
131.98 => wckTime=104.757 cpuTime=104.24 mem=16M962
178.04
178.04 search
178.04 run=19 nbConstraintChecks=652779372 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=124888
178.04 nbFailedAssignments=58290 nbBacktracks=66483 nbVisitedNodes=202805 nbRestartNogoods=344
178.04 => wckTime=150.82 cpuTime=150.26 mem=16M962
246.27
246.27 search
246.27 run=20 nbConstraintChecks=953082833 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=183549
246.27 nbFailedAssignments=83693 nbBacktracks=99737 nbVisitedNodes=294764 nbRestartNogoods=373
246.27 => wckTime=219.047 cpuTime=218.44 mem=16M962
353.43
353.43 search
353.43 run=21 nbConstraintChecks=1419276080 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=272864
353.43 nbFailedAssignments=123125 nbBacktracks=149616 nbVisitedNodes=435196 nbRestartNogoods=416
353.43 => wckTime=326.211 cpuTime=325.47 mem=16M962
506.62
506.62 search
506.62 run=22 nbConstraintChecks=2093207392 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=406398
506.62 nbFailedAssignments=181836 nbBacktracks=224434 nbVisitedNodes=644569 nbRestartNogoods=461
506.62 => wckTime=479.398 cpuTime=478.52 mem=16M962
740.52
740.52 search
740.52 run=23 nbConstraintChecks=3125991217 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=606674
740.52 nbFailedAssignments=269881 nbBacktracks=336661 nbVisitedNodes=959644 nbRestartNogoods=499
740.52 => wckTime=713.297 cpuTime=712.21 mem=16M962
1093.97
1093.97 search
1093.97 run=24 nbConstraintChecks=4672272756 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=905350
1093.97 nbFailedAssignments=400211 nbBacktracks=505003 nbVisitedNodes=1428962 nbRestartNogoods=532
1093.97 => wckTime=1066.75 cpuTime=1065.3 mem=16M962
1618.44
1618.44 search
1618.44 run=25 nbConstraintChecks=6967332847 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1352690
1618.44 nbFailedAssignments=595036 nbBacktracks=757515 nbVisitedNodes=2131538 nbRestartNogoods=593
1618.44 => wckTime=1591.218 cpuTime=1589.17 mem=16M962
2385.43
2385.43 search
2385.43 run=26 nbConstraintChecks=10352175996 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2385.43 nbAssignments=2021453 nbFailedAssignments=885027 nbBacktracks=1136283 nbVisitedNodes=3178487
2385.43 nbRestartNogoods=625
2385.43 => wckTime=2358.201 cpuTime=2355.38 mem=16M962
2403.02 v 9 16 18 12 16 17 17 11 3 7 18 14 11 3 18 12 6 4 2 16 13 14 3 12 5 0 9 17 18 15 3 11 13 14 4 6 0 4 17 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-275392-1169221267 -o ROOT/results/node4/solver-275392-1169221267 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275392-1169221267/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 2.01 1.99 4/93 24318
/proc/meminfo: memFree=1235248/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=11820 CPUtime=0
/proc/24317/stat : 24317 (java) D 24315 24317 23464 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 270522295 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588964 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/24317/statm: 2955 510 421 14 0 1602 0
[startup+0.103225 s]
/proc/loadavg: 1.92 2.01 1.99 4/93 24318
/proc/meminfo: memFree=1235248/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=914988 CPUtime=0.09
/proc/24317/stat : 24317 (java) D 24315 24317 23464 0 -1 0 2988 0 1 0 7 2 0 0 18 0 8 0 270522295 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24317/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511253 s]
/proc/loadavg: 1.92 2.01 1.99 4/93 24318
/proc/meminfo: memFree=1235248/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915332 CPUtime=0.5
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 6774 0 1 0 45 5 0 0 18 0 8 0 270522295 937299968 6513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24317/statm: 228833 6513 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33233 s]
/proc/loadavg: 1.92 2.01 1.99 3/100 24325
/proc/meminfo: memFree=1212600/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915464 CPUtime=1.29
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 8346 0 1 0 116 13 0 0 25 0 8 0 270522295 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24317/statm: 228866 8084 2479 14 0 215336 0
[pid=24317/tid=24319] ppid=24315 vsize=915464 CPUtime=0.03
/proc/24317/task/24319/stat : 24319 (java) S 24315 24317 23464 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270522299 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24320] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24320/stat : 24320 (java) S 24315 24317 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270522300 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24321] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24321/stat : 24321 (java) S 24315 24317 23464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270522300 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24322] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24322/stat : 24322 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270522303 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24323] ppid=24315 vsize=915464 CPUtime=0.15
/proc/24317/task/24323/stat : 24323 (java) S 24315 24317 23464 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 270522303 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24324] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24324/stat : 24324 (java) S 24315 24317 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270522303 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24325] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24325/stat : 24325 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270522303 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.98148 s]
/proc/loadavg: 1.92 2.01 1.99 3/100 24325
/proc/meminfo: memFree=1212536/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915464 CPUtime=2.94
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 8347 0 1 0 261 33 0 0 25 0 8 0 270522295 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743639 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24317/statm: 228866 8084 2479 14 0 215336 0
[pid=24317/tid=24319] ppid=24315 vsize=915464 CPUtime=0.03
/proc/24317/task/24319/stat : 24319 (java) S 24315 24317 23464 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270522299 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24320] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24320/stat : 24320 (java) S 24315 24317 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270522300 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24321] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24321/stat : 24321 (java) S 24315 24317 23464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270522300 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24322] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24322/stat : 24322 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270522303 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24323] ppid=24315 vsize=915464 CPUtime=0.15
/proc/24317/task/24323/stat : 24323 (java) S 24315 24317 23464 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 270522303 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24324] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24324/stat : 24324 (java) S 24315 24317 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270522303 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24325] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24325/stat : 24325 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270522303 937435136 8084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.2798 s]
/proc/loadavg: 1.93 2.01 1.99 3/100 24325
/proc/meminfo: memFree=1212472/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915464 CPUtime=6.21
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 8350 0 1 0 552 69 0 0 25 0 8 0 270522295 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24317/statm: 228866 8087 2479 14 0 215336 0
[pid=24317/tid=24319] ppid=24315 vsize=915464 CPUtime=0.03
/proc/24317/task/24319/stat : 24319 (java) S 24315 24317 23464 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270522299 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24320] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24320/stat : 24320 (java) S 24315 24317 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270522300 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24321] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24321/stat : 24321 (java) S 24315 24317 23464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270522300 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24322] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24322/stat : 24322 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270522303 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24323] ppid=24315 vsize=915464 CPUtime=0.15
/proc/24317/task/24323/stat : 24323 (java) S 24315 24317 23464 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 270522303 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24324] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24324/stat : 24324 (java) S 24315 24317 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270522303 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24325] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24325/stat : 24325 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270522303 937435136 8087 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) 915464
[startup+12.7594 s]
/proc/loadavg: 1.93 2.01 1.99 3/100 24325
/proc/meminfo: memFree=1212472/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915464 CPUtime=12.62
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 8350 0 1 0 1114 148 0 0 25 0 8 0 270522295 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24317/statm: 228866 8087 2479 14 0 215336 0
[pid=24317/tid=24319] ppid=24315 vsize=915464 CPUtime=0.03
/proc/24317/task/24319/stat : 24319 (java) S 24315 24317 23464 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270522299 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24320] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24320/stat : 24320 (java) S 24315 24317 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270522300 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24321] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24321/stat : 24321 (java) S 24315 24317 23464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270522300 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24322] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24322/stat : 24322 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270522303 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24323] ppid=24315 vsize=915464 CPUtime=0.15
/proc/24317/task/24323/stat : 24323 (java) S 24315 24317 23464 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 270522303 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24324] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24324/stat : 24324 (java) S 24315 24317 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270522303 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24325] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24325/stat : 24325 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270522303 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464
[startup+25.6036 s]
/proc/loadavg: 1.95 2.00 1.99 3/100 24325
/proc/meminfo: memFree=1212536/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915464 CPUtime=25.35
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 8350 0 1 0 2232 303 0 0 25 0 8 0 270522295 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24317/statm: 228866 8087 2479 14 0 215336 0
[pid=24317/tid=24319] ppid=24315 vsize=915464 CPUtime=0.03
/proc/24317/task/24319/stat : 24319 (java) S 24315 24317 23464 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 270522299 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24320] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24320/stat : 24320 (java) S 24315 24317 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270522300 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24321] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24321/stat : 24321 (java) S 24315 24317 23464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270522300 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24322] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24322/stat : 24322 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270522303 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24323] ppid=24315 vsize=915464 CPUtime=0.15
/proc/24317/task/24323/stat : 24323 (java) S 24315 24317 23464 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 270522303 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24324] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24324/stat : 24324 (java) S 24315 24317 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270522303 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24325] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24325/stat : 24325 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270522303 937435136 8087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915464
[startup+51.2121 s]
/proc/loadavg: 1.96 2.00 1.99 3/100 24325
/proc/meminfo: memFree=1209400/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915464 CPUtime=50.71
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 9203 0 1 0 4747 324 0 0 25 0 8 0 270522295 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073917093 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24317/statm: 228866 8934 2532 14 0 215336 0
[pid=24317/tid=24319] ppid=24315 vsize=915464 CPUtime=0.03
/proc/24317/task/24319/stat : 24319 (java) S 24315 24317 23464 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 270522299 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24320] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24320/stat : 24320 (java) S 24315 24317 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270522300 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24321] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24321/stat : 24321 (java) S 24315 24317 23464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270522300 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24322] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24322/stat : 24322 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270522303 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24323] ppid=24315 vsize=915464 CPUtime=0.27
/proc/24317/task/24323/stat : 24323 (java) S 24315 24317 23464 0 -1 64 409 0 0 0 26 1 0 0 15 0 8 0 270522303 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24324] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24324/stat : 24324 (java) S 24315 24317 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270522303 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24325] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24325/stat : 24325 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270522303 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915464
[startup+102.432 s]
/proc/loadavg: 1.93 1.98 1.98 3/93 24373
/proc/meminfo: memFree=1352504/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915464 CPUtime=101.77
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 9215 0 1 0 9847 330 0 0 25 0 8 0 270522295 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24317/statm: 228866 8945 2532 14 0 215336 0
[pid=24317/tid=24319] ppid=24315 vsize=915464 CPUtime=0.03
/proc/24317/task/24319/stat : 24319 (java) S 24315 24317 23464 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 270522299 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24320] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24320/stat : 24320 (java) S 24315 24317 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270522300 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24321] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24321/stat : 24321 (java) S 24315 24317 23464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270522300 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24322] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24322/stat : 24322 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270522303 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24323] ppid=24315 vsize=915464 CPUtime=0.27
/proc/24317/task/24323/stat : 24323 (java) S 24315 24317 23464 0 -1 64 410 0 0 0 26 1 0 0 16 0 8 0 270522303 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24324] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24324/stat : 24324 (java) S 24315 24317 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270522303 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24325] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24325/stat : 24325 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270522303 937435136 8945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 915464
[startup+162.496 s]
/proc/loadavg: 1.97 1.98 1.98 3/93 24373
/proc/meminfo: memFree=1352568/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915464 CPUtime=161.76
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 9220 0 1 0 15845 331 0 0 25 0 8 0 270522295 937435136 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2021.91
Current children cumulated vsize (KiB) 915464
[startup+2084.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 24571
/proc/meminfo: memFree=1352376/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915464 CPUtime=2081.92
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 9240 0 1 0 207852 340 0 0 25 0 8 0 270522295 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916945 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24317/statm: 228866 8967 2532 14 0 215336 0
[pid=24317/tid=24319] ppid=24315 vsize=915464 CPUtime=0.03
/proc/24317/task/24319/stat : 24319 (java) S 24315 24317 23464 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 270522299 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24317/tid=24320] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24320/stat : 24320 (java) S 24315 24317 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270522300 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24321] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24321/stat : 24321 (java) S 24315 24317 23464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270522300 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24322] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24322/stat : 24322 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24323] ppid=24315 vsize=915464 CPUtime=0.27
/proc/24317/task/24323/stat : 24323 (java) S 24315 24317 23464 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24317/tid=24324] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24324/stat : 24324 (java) S 24315 24317 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24325] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24325/stat : 24325 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2081.92
Current children cumulated vsize (KiB) 915464
[startup+2144.67 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 24571
/proc/meminfo: memFree=1352376/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915464 CPUtime=2141.9
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 9240 0 1 0 213850 340 0 0 25 0 8 0 270522295 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863351 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24317/statm: 228866 8967 2532 14 0 215336 0
[pid=24317/tid=24319] ppid=24315 vsize=915464 CPUtime=0.03
/proc/24317/task/24319/stat : 24319 (java) S 24315 24317 23464 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 270522299 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24317/tid=24320] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24320/stat : 24320 (java) S 24315 24317 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270522300 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24321] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24321/stat : 24321 (java) S 24315 24317 23464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270522300 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24322] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24322/stat : 24322 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24323] ppid=24315 vsize=915464 CPUtime=0.27
/proc/24317/task/24323/stat : 24323 (java) S 24315 24317 23464 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24317/tid=24324] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24324/stat : 24324 (java) S 24315 24317 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24325] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24325/stat : 24325 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2141.9
Current children cumulated vsize (KiB) 915464
[startup+2204.74 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 24571
/proc/meminfo: memFree=1352376/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915464 CPUtime=2201.91
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 9240 0 1 0 219851 340 0 0 25 0 8 0 270522295 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24317/statm: 228866 8967 2532 14 0 215336 0
[pid=24317/tid=24319] ppid=24315 vsize=915464 CPUtime=0.03
/proc/24317/task/24319/stat : 24319 (java) S 24315 24317 23464 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 270522299 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24317/tid=24320] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24320/stat : 24320 (java) S 24315 24317 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270522300 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24321] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24321/stat : 24321 (java) S 24315 24317 23464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270522300 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24322] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24322/stat : 24322 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24323] ppid=24315 vsize=915464 CPUtime=0.27
/proc/24317/task/24323/stat : 24323 (java) S 24315 24317 23464 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24317/tid=24324] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24324/stat : 24324 (java) S 24315 24317 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24325] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24325/stat : 24325 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2201.91
Current children cumulated vsize (KiB) 915464
[startup+2264.79 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 24571
/proc/meminfo: memFree=1352376/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915464 CPUtime=2261.92
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 9240 0 1 0 225852 340 0 0 25 0 8 0 270522295 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747635 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24317/statm: 228866 8967 2532 14 0 215336 0
[pid=24317/tid=24319] ppid=24315 vsize=915464 CPUtime=0.03
/proc/24317/task/24319/stat : 24319 (java) S 24315 24317 23464 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 270522299 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24317/tid=24320] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24320/stat : 24320 (java) S 24315 24317 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270522300 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24321] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24321/stat : 24321 (java) S 24315 24317 23464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270522300 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24322] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24322/stat : 24322 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24323] ppid=24315 vsize=915464 CPUtime=0.27
/proc/24317/task/24323/stat : 24323 (java) S 24315 24317 23464 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24317/tid=24324] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24324/stat : 24324 (java) S 24315 24317 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24325] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24325/stat : 24325 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2261.92
Current children cumulated vsize (KiB) 915464
[startup+2324.85 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 24571
/proc/meminfo: memFree=1352376/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915464 CPUtime=2321.89
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 9240 0 1 0 231849 340 0 0 25 0 8 0 270522295 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863567 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24317/statm: 228866 8967 2532 14 0 215336 0
[pid=24317/tid=24319] ppid=24315 vsize=915464 CPUtime=0.03
/proc/24317/task/24319/stat : 24319 (java) S 24315 24317 23464 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 270522299 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24317/tid=24320] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24320/stat : 24320 (java) S 24315 24317 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270522300 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24321] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24321/stat : 24321 (java) S 24315 24317 23464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270522300 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24322] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24322/stat : 24322 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24323] ppid=24315 vsize=915464 CPUtime=0.27
/proc/24317/task/24323/stat : 24323 (java) S 24315 24317 23464 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24317/tid=24324] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24324/stat : 24324 (java) S 24315 24317 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24325] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24325/stat : 24325 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2321.89
Current children cumulated vsize (KiB) 915464
[startup+2384.92 s]
/proc/loadavg: 2.08 2.02 2.00 3/93 24573
/proc/meminfo: memFree=1352376/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915464 CPUtime=2381.91
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 9240 0 1 0 237851 340 0 0 25 0 8 0 270522295 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863428 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24317/statm: 228866 8967 2532 14 0 215336 0
[pid=24317/tid=24319] ppid=24315 vsize=915464 CPUtime=0.03
/proc/24317/task/24319/stat : 24319 (java) S 24315 24317 23464 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 270522299 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24317/tid=24320] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24320/stat : 24320 (java) S 24315 24317 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270522300 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24321] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24321/stat : 24321 (java) S 24315 24317 23464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270522300 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24322] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24322/stat : 24322 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24323] ppid=24315 vsize=915464 CPUtime=0.27
/proc/24317/task/24323/stat : 24323 (java) S 24315 24317 23464 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24317/tid=24324] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24324/stat : 24324 (java) S 24315 24317 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24325] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24325/stat : 24325 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270522303 937435136 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2381.91
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2403.01 s]
/proc/loadavg: 2.06 2.02 2.00 3/93 24573
/proc/meminfo: memFree=1352376/2055920 swapFree=4182144/4192956
[pid=24317] ppid=24315 vsize=915464 CPUtime=2400
/proc/24317/stat : 24317 (java) R 24315 24317 23464 0 -1 0 9242 0 1 0 239660 340 0 0 25 0 8 0 270522295 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24317/statm: 228866 8969 2532 14 0 215336 0
[pid=24317/tid=24319] ppid=24315 vsize=915464 CPUtime=0.03
/proc/24317/task/24319/stat : 24319 (java) S 24315 24317 23464 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 270522299 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24317/tid=24320] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24320/stat : 24320 (java) S 24315 24317 23464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270522300 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24321] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24321/stat : 24321 (java) S 24315 24317 23464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270522300 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24322] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24322/stat : 24322 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270522303 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24323] ppid=24315 vsize=915464 CPUtime=0.27
/proc/24317/task/24323/stat : 24323 (java) S 24315 24317 23464 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 270522303 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24317/tid=24324] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24324/stat : 24324 (java) S 24315 24317 23464 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270522303 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24317/tid=24325] ppid=24315 vsize=915464 CPUtime=0
/proc/24317/task/24325/stat : 24325 (java) S 24315 24317 23464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270522303 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2403.07
CPU time (s): 2400.06
CPU user time (s): 2396.65
CPU system time (s): 3.41348
CPU usage (%): 99.8749
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.65
system time used= 3.41348
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9264
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= 49842
involuntary context switches= 63885
runsolver used 3.3105 s user time and 7.35888 s system time
The end
Begin job on node4 on Fri Jan 19 15:41:07 UTC 2007
IDJOB= 275392
IDBENCH= 3868
IDSOLVER= 68
FILE ID= node4/275392-1169221267
PBS_JOBID= 3588931
Free space on /tmp= 66557 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-14_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275392-1169221267/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-275392-1169221267 -o ROOT/results/node4/solver-275392-1169221267 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275392-1169221267/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ac03b51534da75c4097af0cf439053ab
RANDOM SEED= 352927359
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
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.223
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: 1235728 kB
Buffers: 63044 kB
Cached: 488736 kB
SwapCached: 2148 kB
Active: 299716 kB
Inactive: 437840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1235728 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 2000 kB
Writeback: 0 kB
Mapped: 205704 kB
Slab: 67012 kB
Committed_AS: 8127700 kB
PageTables: 2724 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= 66560 MiB
End job on node4 on Fri Jan 19 16:21:10 UTC 2007