0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/278200-1169279989/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.096 cpuTime=0.08 mem=6M887
0.39
0.39 relations being loaded...
0.40
0.40 constraints being loaded...
0.59 nbConstraints=1386 nbRelationTypes=18 nbExtensionStructures=18 nbSharedExtensionStructures=1368
0.59 nbConflictsStructures=18 nbSharedConflictsStructures=1368 nbSharedBinaryRepresentations=0 maxDegree=66
0.59 maxArity=3
0.59 => wckTime=0.291 cpuTime=0.2 mem=11M763
0.64
0.64 solver LocalSearchSolver being built...
0.67 => wckTime=0.376 cpuTime=0.25 mem=6M102
0.68
0.68 s SATISFIABLE
0.68 o 1216
0.68 c 170
0.68 o 1222
0.68 c 164
0.68 o 1228
0.68 c 158
0.68 o 1231
0.68 c 155
0.68 o 1234
0.68 c 152
0.68 o 1239
0.68 c 147
0.69 o 1242
0.69 c 144
0.69 o 1244
0.69 c 142
0.69 o 1247
0.69 c 139
0.69 o 1248
0.69 c 138
0.69 o 1254
0.69 c 132
0.69 o 1260
0.69 c 126
0.69 o 1262
0.69 c 124
0.69 o 1269
0.69 c 117
0.69 o 1273
0.69 c 113
0.69 o 1275
0.69 c 111
0.69 o 1276
0.69 c 110
0.69 o 1279
0.69 c 107
0.69 o 1281
0.69 c 105
0.70 o 1286
0.70 c 100
0.70 o 1288
0.70 c 98
0.76 o 1291
0.76 c 95
0.76 o 1292
0.76 c 94
0.77 o 1295
0.77 c 91
0.90 o 1296
0.90 c 90
0.92 o 1298
0.92 c 88
0.92 o 1299
0.92 c 87
0.98 o 1301
0.98 c 85
1.38 o 1302
1.38 c 84
1.38 o 1303
1.38 c 83
1.43 o 1305
1.43 c 81
1.43 o 1306
1.43 c 80
4.38 o 1308
4.38 c 78
4.38 o 1309
4.38 c 77
4.52
4.52 search
4.52 run=0 nbConstraintChecks=22473822 nbAssignments=10000
4.52 => wckTime=3.851 cpuTime=3.83 mem=6M102
8.45
8.45 search
8.45 run=1 nbConstraintChecks=46315840 nbAssignments=20000
8.45 => wckTime=7.78 cpuTime=7.76 mem=6M102
12.17
12.17 search
12.17 run=2 nbConstraintChecks=68813125 nbAssignments=30000
12.17 => wckTime=11.496 cpuTime=11.47 mem=6M102
16.09
16.09 search
16.09 run=3 nbConstraintChecks=92598628 nbAssignments=40000
16.09 => wckTime=15.415 cpuTime=15.37 mem=6M102
19.82
19.82 search
19.82 run=4 nbConstraintChecks=115100838 nbAssignments=50000
19.82 => wckTime=19.152 cpuTime=19.1 mem=6M102
23.75
23.75 search
23.75 run=5 nbConstraintChecks=138875367 nbAssignments=60000
23.75 => wckTime=23.079 cpuTime=23.03 mem=6M102
27.50
27.50 search
27.50 run=6 nbConstraintChecks=161314090 nbAssignments=70000
27.50 => wckTime=26.829 cpuTime=26.77 mem=6M102
31.40
31.40 search
31.40 run=7 nbConstraintChecks=185106216 nbAssignments=80000
31.40 => wckTime=30.729 cpuTime=30.67 mem=6M102
34.43
34.43 search
34.43 run=8 nbConstraintChecks=203431410 nbAssignments=88238
34.43 => wckTime=33.762 cpuTime=33.7 mem=6M102
34.44
34.44 global
34.44 nbConstraintChecks=203431410 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.44 solvingWckTime=33.76 solvingCpuTime=33.69 expiredTime=no totalExploration=no nbFoundSolutions=0
34.44 globalCpuTime=33.99
34.44 => wckTime=34.138 cpuTime=33.94 mem=6M102
34.44
34.44 solver IterativeSystematicSolver being built...
34.61 => wckTime=34.316 cpuTime=34.08 mem=24M910
34.76
34.76 preprocessing
34.76 nbConstraintChecks=13275 nbValidityChecks=43783 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.76 nbRemovedValues=0 detectedInconsistency=no
34.76 => wckTime=0.141 cpuTime=0.11 mem=24M910
34.86
34.86 search
34.86 run=0 nbConstraintChecks=18833 nbValidityChecks=70791 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.86 nbAssignments=60 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=78 nbRestartNogoods=0
34.86 => wckTime=0.245 cpuTime=0.21 mem=24M910
34.99
34.99 search
34.99 run=1 nbConstraintChecks=47254 nbValidityChecks=179554 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.99 nbAssignments=131 nbFailedAssignments=20 nbBacktracks=26 nbVisitedNodes=177 nbRestartNogoods=3
34.99 => wckTime=0.375 cpuTime=0.34 mem=24M910
35.12
35.12 search
35.12 run=2 nbConstraintChecks=78973 nbValidityChecks=311030 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.12 nbAssignments=209 nbFailedAssignments=35 nbBacktracks=48 nbVisitedNodes=290 nbRestartNogoods=4
35.12 => wckTime=0.508 cpuTime=0.47 mem=24M910
35.30
35.30 search
35.30 run=3 nbConstraintChecks=128136 nbValidityChecks=499911 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.30 nbAssignments=306 nbFailedAssignments=59 nbBacktracks=81 nbVisitedNodes=443 nbRestartNogoods=5
35.30 => wckTime=0.69 cpuTime=0.65 mem=24M910
35.54
35.54 search
35.54 run=4 nbConstraintChecks=200178 nbValidityChecks=764878 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.54 nbAssignments=431 nbFailedAssignments=87 nbBacktracks=132 nbVisitedNodes=645 nbRestartNogoods=7
35.54 => wckTime=0.925 cpuTime=0.88 mem=24M910
35.94
35.94 search
35.94 run=5 nbConstraintChecks=299236 nbValidityChecks=1185307 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.94 nbAssignments=606 nbFailedAssignments=146 nbBacktracks=207 nbVisitedNodes=951 nbRestartNogoods=9
35.94 => wckTime=1.325 cpuTime=1.28 mem=24M910
36.47
36.47 search
36.47 run=6 nbConstraintChecks=447807 nbValidityChecks=1773865 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.47 nbAssignments=832 nbFailedAssignments=219 nbBacktracks=320 nbVisitedNodes=1360 nbRestartNogoods=13
36.47 => wckTime=1.854 cpuTime=1.81 mem=24M910
37.22
37.22 search
37.22 run=7 nbConstraintChecks=684415 nbValidityChecks=2665452 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.22 nbAssignments=1151 nbFailedAssignments=326 nbBacktracks=491 nbVisitedNodes=1952 nbRestartNogoods=18
37.22 => wckTime=2.606 cpuTime=2.56 mem=24M910
38.47
38.47 search
38.47 run=8 nbConstraintChecks=1025197 nbValidityChecks=4031489 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.47 nbAssignments=1643 nbFailedAssignments=520 nbBacktracks=747 nbVisitedNodes=2868 nbRestartNogoods=22
38.47 => wckTime=3.856 cpuTime=3.79 mem=24M910
40.24
40.24 search
40.24 run=9 nbConstraintChecks=1494990 nbValidityChecks=6052981 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.24 nbAssignments=2337 nbFailedAssignments=793 nbBacktracks=1133 nbVisitedNodes=4209 nbRestartNogoods=25
40.24 => wckTime=5.623 cpuTime=5.55 mem=24M910
42.84
42.84 search
42.84 run=10 nbConstraintChecks=2227095 nbValidityChecks=9052934 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.84 nbAssignments=3389 nbFailedAssignments=1229 nbBacktracks=1709 nbVisitedNodes=6224 nbRestartNogoods=31
42.84 => wckTime=8.226 cpuTime=8.15 mem=24M910
46.55
46.55 search
46.55 run=11 nbConstraintChecks=3397704 nbValidityChecks=13779495 nbPropagations=0 nbRevisions=0
46.55 nbUselessRevisions=0 nbAssignments=4936 nbFailedAssignments=1870 nbBacktracks=2573 nbVisitedNodes=9231
46.55 nbRestartNogoods=34
46.55 => wckTime=11.94 cpuTime=11.86 mem=24M910
52.13
52.13 search
52.13 run=12 nbConstraintChecks=5056269 nbValidityChecks=20710258 nbPropagations=0 nbRevisions=0
52.13 nbUselessRevisions=0 nbAssignments=7198 nbFailedAssignments=2795 nbBacktracks=3870 nbVisitedNodes=13658
52.13 nbRestartNogoods=41
52.13 => wckTime=17.513 cpuTime=17.43 mem=24M910
60.76
60.76 search
60.76 run=13 nbConstraintChecks=7301989 nbValidityChecks=30809484 nbPropagations=0 nbRevisions=0
60.76 nbUselessRevisions=0 nbAssignments=10596 nbFailedAssignments=4208 nbBacktracks=5817 nbVisitedNodes=20271
60.76 nbRestartNogoods=47
60.76 => wckTime=26.147 cpuTime=26.03 mem=24M910
74.26
74.26 search
74.26 run=14 nbConstraintChecks=11061877 nbValidityChecks=46717393 nbPropagations=0 nbRevisions=0
74.26 nbUselessRevisions=0 nbAssignments=15768 nbFailedAssignments=6423 nbBacktracks=8736 nbVisitedNodes=30386
74.26 nbRestartNogoods=52
74.26 => wckTime=39.644 cpuTime=39.51 mem=24M910
93.54
93.54 search
93.54 run=15 nbConstraintChecks=16200785 nbValidityChecks=69507579 nbPropagations=0 nbRevisions=0
93.54 nbUselessRevisions=0 nbAssignments=23483 nbFailedAssignments=9721 nbBacktracks=13115 nbVisitedNodes=45348
93.54 nbRestartNogoods=58
93.54 => wckTime=58.925 cpuTime=58.75 mem=24M910
121.98
121.98 search
121.98 run=16 nbConstraintChecks=23692521 nbValidityChecks=103321696 nbPropagations=0 nbRevisions=0
121.98 nbUselessRevisions=0 nbAssignments=34794 nbFailedAssignments=14427 nbBacktracks=19684 nbVisitedNodes=67354
121.98 nbRestartNogoods=66
121.98 => wckTime=87.365 cpuTime=87.12 mem=24M910
167.14
167.14 search
167.14 run=17 nbConstraintChecks=34556996 nbValidityChecks=154561653 nbPropagations=0 nbRevisions=0
167.14 nbUselessRevisions=0 nbAssignments=52467 nbFailedAssignments=22210 nbBacktracks=29537 nbVisitedNodes=101717
167.14 nbRestartNogoods=73
167.14 => wckTime=132.527 cpuTime=132.22 mem=24M910
232.66
232.67 search
232.67 run=18 nbConstraintChecks=50982580 nbValidityChecks=228952668 nbPropagations=0 nbRevisions=0
232.67 nbUselessRevisions=0 nbAssignments=77426 nbFailedAssignments=32358 nbBacktracks=44317 nbVisitedNodes=150562
232.67 nbRestartNogoods=76
232.67 => wckTime=198.052 cpuTime=197.69 mem=24M910
330.82
330.82 search
330.82 run=19 nbConstraintChecks=76394173 nbValidityChecks=343826278 nbPropagations=0 nbRevisions=0
330.82 nbUselessRevisions=0 nbAssignments=116161 nbFailedAssignments=48894 nbBacktracks=66485 nbVisitedNodes=225986
330.82 nbRestartNogoods=84
330.82 => wckTime=296.209 cpuTime=295.72 mem=24M910
470.46
470.46 search
470.46 run=20 nbConstraintChecks=113279636 nbValidityChecks=509458517 nbPropagations=0 nbRevisions=0
470.46 nbUselessRevisions=0 nbAssignments=171449 nbFailedAssignments=70894 nbBacktracks=99737 nbVisitedNodes=334057
470.46 nbRestartNogoods=94
470.46 => wckTime=435.849 cpuTime=435.23 mem=24M910
671.46
671.46 search
671.46 run=21 nbConstraintChecks=174036199 nbValidityChecks=753180346 nbPropagations=0 nbRevisions=0
671.46 nbUselessRevisions=0 nbAssignments=254735 nbFailedAssignments=104262 nbBacktracks=149618 nbVisitedNodes=494349
671.46 nbRestartNogoods=101
671.46 => wckTime=636.844 cpuTime=636.01 mem=24M910
954.41
954.41 search
954.41 run=22 nbConstraintChecks=256229411 nbValidityChecks=1071810169 nbPropagations=0 nbRevisions=0
954.41 nbUselessRevisions=0 nbAssignments=375391 nbFailedAssignments=150062 nbBacktracks=224436 nbVisitedNodes=719342
954.41 nbRestartNogoods=110
954.41 => wckTime=919.8 cpuTime=918.68 mem=24M910
1308.17
1308.17 search
1308.17 run=23 nbConstraintChecks=365362267 nbValidityChecks=1479155049 nbPropagations=0 nbRevisions=0
1308.17 nbUselessRevisions=0 nbAssignments=549319 nbFailedAssignments=211725 nbBacktracks=336667 nbVisitedNodes=1025658
1308.17 nbRestartNogoods=117
1308.17 => wckTime=1273.553 cpuTime=1272.07 mem=24M910
1776.16
1776.16 search
1776.16 run=24 nbConstraintChecks=531623850 nbValidityChecks=2045845432 nbPropagations=0 nbRevisions=0
1776.16 nbUselessRevisions=0 nbAssignments=795498 nbFailedAssignments=289517 nbBacktracks=505008 nbVisitedNodes=1449783
1776.16 nbRestartNogoods=122
1776.16 => wckTime=1741.544 cpuTime=1738.77 mem=24M910
2406.25 v 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 0 0 1 1 0 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-278200-1169279989 -o ROOT/results/node9/solver-278200-1169279989 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278200-1169279989/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: 0.92 0.98 1.13 2/81 3440
/proc/meminfo: memFree=1275784/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=172 CPUtime=0
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 217 0 0 0 0 0 0 0 19 0 1 0 276394091 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8663844 0 0 4096 0 0 0 0 17 0 0 0
/proc/3439/statm: 43 24 18 14 0 3 0
[startup+0.10736 s]
/proc/loadavg: 0.92 0.98 1.13 2/81 3440
/proc/meminfo: memFree=1275784/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=914988 CPUtime=0.09
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 3062 0 1 0 8 1 0 0 17 0 8 0 276394091 936947712 2808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155166642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228747 2808 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515405 s]
/proc/loadavg: 0.92 0.98 1.13 2/81 3440
/proc/meminfo: memFree=1275784/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915332 CPUtime=0.49
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 6681 0 1 0 45 4 0 0 19 0 8 0 276394091 937299968 6420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228833 6420 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33849 s]
/proc/loadavg: 0.92 0.98 1.13 3/101 3461
/proc/meminfo: memFree=1244776/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915436 CPUtime=1.32
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 7920 0 1 0 119 13 0 0 25 0 8 0 276394091 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228859 7658 2478 14 0 215329 0
[pid=3439/tid=3441] ppid=3437 vsize=915436 CPUtime=0.03
/proc/3439/task/3441/stat : 3441 (java) S 3437 3439 3321 0 -1 64 302 0 0 0 3 0 0 0 16 0 8 0 276394094 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276394095 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276394095 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 276394098 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=915436 CPUtime=0.15
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 3321 0 -1 64 353 0 0 0 14 1 0 0 16 0 8 0 276394098 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 276394098 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276394098 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915436
[startup+2.99169 s]
/proc/loadavg: 0.92 0.98 1.13 3/101 3461
/proc/meminfo: memFree=1244720/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915436 CPUtime=2.97
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 7921 0 1 0 267 30 0 0 25 0 8 0 276394091 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228859 7658 2478 14 0 215329 0
[pid=3439/tid=3441] ppid=3437 vsize=915436 CPUtime=0.03
/proc/3439/task/3441/stat : 3441 (java) S 3437 3439 3321 0 -1 64 302 0 0 0 3 0 0 0 16 0 8 0 276394094 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276394095 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276394095 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 276394098 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=915436 CPUtime=0.15
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 3321 0 -1 64 353 0 0 0 14 1 0 0 16 0 8 0 276394098 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 276394098 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276394098 937406464 7658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915436
[startup+6.27205 s]
/proc/loadavg: 1.01 1.00 1.14 3/101 3461
/proc/meminfo: memFree=1244720/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915436 CPUtime=6.24
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 7923 0 1 0 564 60 0 0 25 0 8 0 276394091 937406464 7660 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228859 7660 2478 14 0 215329 0
[pid=3439/tid=3441] ppid=3437 vsize=915436 CPUtime=0.03
/proc/3439/task/3441/stat : 3441 (java) S 3437 3439 3321 0 -1 64 302 0 0 0 3 0 0 0 16 0 8 0 276394094 937406464 7660 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276394095 937406464 7660 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276394095 937406464 7660 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=915440 CPUtime=0
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 276394098 937410560 7660 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=915436 CPUtime=0.15
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 3321 0 -1 64 355 0 0 0 14 1 0 0 16 0 8 0 276394098 937406464 7660 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 276394098 937406464 7660 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276394098 937406464 7660 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915436
[startup+12.7648 s]
/proc/loadavg: 1.09 1.02 1.14 3/101 3461
/proc/meminfo: memFree=1244720/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915436 CPUtime=12.74
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 7924 0 1 0 1154 120 0 0 25 0 8 0 276394091 937406464 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228859 7661 2478 14 0 215329 0
[pid=3439/tid=3441] ppid=3437 vsize=915436 CPUtime=0.03
/proc/3439/task/3441/stat : 3441 (java) S 3437 3439 3321 0 -1 64 302 0 0 0 3 0 0 0 16 0 8 0 276394094 937406464 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276394095 937406464 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276394095 937406464 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 276394098 937406464 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=915436 CPUtime=0.15
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 3321 0 -1 64 356 0 0 0 14 1 0 0 16 0 8 0 276394098 937406464 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 276394098 937406464 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276394098 937406464 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915436
[startup+25.6092 s]
/proc/loadavg: 1.29 1.06 1.15 3/101 3461
/proc/meminfo: memFree=1244656/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915436 CPUtime=25.55
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 7924 0 1 0 2309 246 0 0 25 0 8 0 276394091 937406464 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745194 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228859 7661 2478 14 0 215329 0
[pid=3439/tid=3441] ppid=3437 vsize=915436 CPUtime=0.03
/proc/3439/task/3441/stat : 3441 (java) S 3437 3439 3321 0 -1 64 302 0 0 0 3 0 0 0 16 0 8 0 276394094 937406464 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276394095 937406464 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=915440 CPUtime=0
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276394095 937410560 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 276394098 937406464 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=915436 CPUtime=0.15
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 3321 0 -1 64 356 0 0 0 14 1 0 0 16 0 8 0 276394098 937406464 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 276394098 937406464 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276394098 937406464 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915436
[startup+51.2231 s]
/proc/loadavg: 1.53 1.14 1.18 3/101 3461
/proc/meminfo: memFree=1232112/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915436 CPUtime=51.15
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 11180 0 1 0 4781 334 0 0 25 0 8 0 276394091 937406464 10909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073913015 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228859 10909 2534 14 0 215329 0
[pid=3439/tid=3441] ppid=3437 vsize=915436 CPUtime=0.03
/proc/3439/task/3441/stat : 3441 (java) S 3437 3439 3321 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 276394094 937406464 10909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276394095 937406464 10909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276394095 937406464 10909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 276394098 937406464 10909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=915436 CPUtime=0.26
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 3321 0 -1 64 424 0 0 0 25 1 0 0 17 0 8 0 276394098 937406464 10909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 276394098 937406464 10909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276394098 937406464 10909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 915436
[startup+102.484 s]
/proc/loadavg: 1.79 1.27 1.22 3/107 3577
/proc/meminfo: memFree=1230632/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915436 CPUtime=102.29
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 11191 0 1 0 9891 338 0 0 25 0 8 0 276394091 937406464 10920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916298 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228859 10920 2534 14 0 215329 0
[pid=3439/tid=3441] ppid=3437 vsize=915436 CPUtime=0.03
/proc/3439/task/3441/stat : 3441 (java) S 3437 3439 3321 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 276394094 937406464 10920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276394095 937406464 10920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276394095 937406464 10920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 276394098 937406464 10920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=915436 CPUtime=0.26
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 3321 0 -1 64 425 0 0 0 25 1 0 0 16 0 8 0 276394098 937406464 10920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 276394098 937406464 10920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276394098 937406464 10920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 915436
[startup+162.509 s]
/proc/loadavg: 1.98 1.41 1.27 3/101 3658
/proc/meminfo: memFree=1231664/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915436 CPUtime=162.22
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 11194 0 1 0 15878 344 0 0 25 0 8 0 276394091 937406464 10923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939760 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2019.39
Current children cumulated vsize (KiB) 915436
[startup+2083.58 s]
/proc/loadavg: 2.00 2.00 1.89 3/101 3660
/proc/meminfo: memFree=1231600/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915436 CPUtime=2079.13
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 11217 0 1 0 207565 348 0 0 25 0 8 0 276394091 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916274 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228859 10945 2534 14 0 215329 0
[pid=3439/tid=3441] ppid=3437 vsize=915436 CPUtime=0.03
/proc/3439/task/3441/stat : 3441 (java) S 3437 3439 3321 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 276394094 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276394095 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276394095 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=915436 CPUtime=0.26
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 3321 0 -1 64 425 0 0 0 25 1 0 0 16 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2079.13
Current children cumulated vsize (KiB) 915436
[startup+2143.67 s]
/proc/loadavg: 2.00 2.00 1.89 3/101 3660
/proc/meminfo: memFree=1231600/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915436 CPUtime=2138.89
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 11217 0 1 0 213541 348 0 0 25 0 8 0 276394091 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073769248 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228859 10945 2534 14 0 215329 0
[pid=3439/tid=3441] ppid=3437 vsize=915436 CPUtime=0.03
/proc/3439/task/3441/stat : 3441 (java) S 3437 3439 3321 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 276394094 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276394095 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276394095 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=915436 CPUtime=0.26
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 3321 0 -1 64 425 0 0 0 25 1 0 0 16 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2138.89
Current children cumulated vsize (KiB) 915436
[startup+2203.75 s]
/proc/loadavg: 2.00 2.00 1.90 3/101 3660
/proc/meminfo: memFree=1231600/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915436 CPUtime=2198.67
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 11217 0 1 0 219518 349 0 0 25 0 8 0 276394091 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073888426 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228859 10945 2534 14 0 215329 0
[pid=3439/tid=3441] ppid=3437 vsize=915436 CPUtime=0.03
/proc/3439/task/3441/stat : 3441 (java) S 3437 3439 3321 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 276394094 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276394095 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276394095 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=915436 CPUtime=0.26
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 3321 0 -1 64 425 0 0 0 25 1 0 0 16 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2198.67
Current children cumulated vsize (KiB) 915436
[startup+2263.84 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 3660
/proc/meminfo: memFree=1231600/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915436 CPUtime=2258.42
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 11217 0 1 0 225493 349 0 0 25 0 8 0 276394091 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073769242 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228859 10945 2534 14 0 215329 0
[pid=3439/tid=3441] ppid=3437 vsize=915436 CPUtime=0.03
/proc/3439/task/3441/stat : 3441 (java) S 3437 3439 3321 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 276394094 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276394095 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276394095 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=915436 CPUtime=0.26
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 3321 0 -1 64 425 0 0 0 25 1 0 0 16 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2258.42
Current children cumulated vsize (KiB) 915436
[startup+2323.93 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 3660
/proc/meminfo: memFree=1231600/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915436 CPUtime=2318.19
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 11217 0 1 0 231470 349 0 0 25 0 8 0 276394091 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853578 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228859 10945 2534 14 0 215329 0
[pid=3439/tid=3441] ppid=3437 vsize=915436 CPUtime=0.03
/proc/3439/task/3441/stat : 3441 (java) S 3437 3439 3321 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 276394094 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276394095 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276394095 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=915436 CPUtime=0.26
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 3321 0 -1 64 425 0 0 0 25 1 0 0 16 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2318.19
Current children cumulated vsize (KiB) 915436
[startup+2384.02 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 3660
/proc/meminfo: memFree=1231600/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915436 CPUtime=2377.95
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 11217 0 1 0 237446 349 0 0 25 0 8 0 276394091 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853547 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228859 10945 2534 14 0 215329 0
[pid=3439/tid=3441] ppid=3437 vsize=915436 CPUtime=0.03
/proc/3439/task/3441/stat : 3441 (java) S 3437 3439 3321 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 276394094 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276394095 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276394095 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=915436 CPUtime=0.26
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 3321 0 -1 64 425 0 0 0 25 1 0 0 16 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2377.95
Current children cumulated vsize (KiB) 915436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2406.25 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 3660
/proc/meminfo: memFree=1231600/2055920 swapFree=4191880/4192956
[pid=3439] ppid=3437 vsize=915436 CPUtime=2400.05
/proc/3439/stat : 3439 (java) R 3437 3439 3321 0 -1 0 11217 0 1 0 239656 349 0 0 25 0 8 0 276394091 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853578 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3439/statm: 228859 10945 2534 14 0 215329 0
[pid=3439/tid=3441] ppid=3437 vsize=915436 CPUtime=0.03
/proc/3439/task/3441/stat : 3441 (java) S 3437 3439 3321 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 276394094 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3442] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3442/stat : 3442 (java) S 3437 3439 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276394095 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3443] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3443/stat : 3443 (java) S 3437 3439 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276394095 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3450] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3450/stat : 3450 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3451] ppid=3437 vsize=915436 CPUtime=0.26
/proc/3439/task/3451/stat : 3451 (java) S 3437 3439 3321 0 -1 64 425 0 0 0 25 1 0 0 16 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3452] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3452/stat : 3452 (java) S 3437 3439 3321 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3439/tid=3453] ppid=3437 vsize=915436 CPUtime=0
/proc/3439/task/3453/stat : 3453 (java) S 3437 3439 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 276394098 937406464 10945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2406.32
CPU time (s): 2400.12
CPU user time (s): 2396.62
CPU system time (s): 3.49847
CPU usage (%): 99.7425
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.62
system time used= 3.49847
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11239
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= 50040
involuntary context switches= 113411
runsolver used 3.10453 s user time and 7.59485 s system time
The end
Begin job on node9 on Sat Jan 20 07:59:49 UTC 2007
IDJOB= 278200
IDBENCH= 8141
IDSOLVER= 68
FILE ID= node9/278200-1169279989
PBS_JOBID= 3609490
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-80-1100-2000/cnf-3-80-1400-169641_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278200-1169279989/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-278200-1169279989 -o ROOT/results/node9/solver-278200-1169279989 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278200-1169279989/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1af75208d20d6b9f4aad41e8ce1717a3
RANDOM SEED= 399451633
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.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: 1276000 kB
Buffers: 59772 kB
Cached: 588340 kB
SwapCached: 268 kB
Active: 285480 kB
Inactive: 409668 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1276000 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2296 kB
Writeback: 0 kB
Mapped: 58776 kB
Slab: 69724 kB
Committed_AS: 8358948 kB
PageTables: 2160 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= 66563 MiB
End job on node9 on Sat Jan 20 08:39:56 UTC 2007