0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=mac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/229813-1168081002/unknown.xml
0.43
0.43 domains being loaded...
0.44
0.44 variables being loaded...
0.47 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.47 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.47
0.47 relations being loaded...
0.62
0.62 constraints being loaded...
0.76 nbConstraints=485 nbRelationTypes=485 nbExtensionStructures=485 nbSharedExtensionStructures=0
0.76 nbConflictsStructures=485 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2711 maxDegree=27
0.76 maxArity=2
0.76 => wckTime=0.384 cpuTime=0.3 mem=17M712
0.80
0.80 solver IterativeSystematicSolver being built...
0.95 => wckTime=0.577 cpuTime=0.43 mem=15M401
0.96
0.96 preprocessing
0.96 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.96 detectedInconsistency=no
0.96 => wckTime=0.0080 cpuTime=0.01 mem=15M401
1.01
1.01 search
1.01 run=0 nbConstraintChecks=46378 nbPropagations=616 nbRevisions=7298 nbUselessRevisions=6116 nbAssignments=27
1.01 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.053 cpuTime=0.04 mem=15M401
1.03
1.03 search
1.03 run=1 nbConstraintChecks=99499 nbPropagations=1824 nbRevisions=22463 nbUselessRevisions=18647 nbAssignments=58
1.03 nbFailedAssignments=14 nbBacktracks=28 nbVisitedNodes=85 nbRestartNogoods=2 mapSize=20 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.077 cpuTime=0.06 mem=15M401
1.05
1.05 search
1.05 run=2 nbConstraintChecks=172996 nbPropagations=3931 nbRevisions=49931 nbUselessRevisions=41480
1.05 nbAssignments=107 nbFailedAssignments=30 nbBacktracks=50 nbVisitedNodes=158 nbRestartNogoods=3 mapSize=36
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.098 cpuTime=0.08 mem=15M401
1.07
1.07 search
1.07 run=3 nbConstraintChecks=285310 nbPropagations=7374 nbRevisions=96941 nbUselessRevisions=80486
1.07 nbAssignments=176 nbFailedAssignments=55 nbBacktracks=83 nbVisitedNodes=268 nbRestartNogoods=6 mapSize=64
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.121 cpuTime=0.1 mem=15M401
1.10
1.10 search
1.10 run=4 nbConstraintChecks=432034 nbPropagations=12690 nbRevisions=172715 nbUselessRevisions=143600
1.11 nbAssignments=275 nbFailedAssignments=90 nbBacktracks=137 nbVisitedNodes=434 nbRestartNogoods=11 mapSize=109
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.151 cpuTime=0.13 mem=15M401
1.16
1.16 search
1.16 run=5 nbConstraintChecks=653781 nbPropagations=20739 nbRevisions=290931 nbUselessRevisions=242273
1.16 nbAssignments=412 nbFailedAssignments=141 nbBacktracks=212 nbVisitedNodes=664 nbRestartNogoods=14 mapSize=172
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.2 cpuTime=0.17 mem=15M401
1.21
1.21 search
1.21 run=6 nbConstraintChecks=940535 nbPropagations=32379 nbRevisions=467691 nbUselessRevisions=389960
1.21 nbAssignments=612 nbFailedAssignments=218 nbBacktracks=325 nbVisitedNodes=1005 nbRestartNogoods=18 mapSize=270
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.254 cpuTime=0.22 mem=15M401
1.28
1.28 search
1.28 run=7 nbConstraintChecks=1398261 nbPropagations=49219 nbRevisions=725897 nbUselessRevisions=604785
1.28 nbAssignments=897 nbFailedAssignments=323 nbBacktracks=495 nbVisitedNodes=1483 nbRestartNogoods=20 mapSize=407
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.331 cpuTime=0.3 mem=15M401
1.40
1.40 search
1.40 run=8 nbConstraintChecks=2020169 nbPropagations=74172 nbRevisions=1112734 nbUselessRevisions=927111
1.40 nbAssignments=1335 nbFailedAssignments=493 nbBacktracks=751 nbVisitedNodes=2231 nbRestartNogoods=24
1.40 mapSize=616 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.449 cpuTime=0.41 mem=15M401
1.57
1.57 search
1.57 run=9 nbConstraintChecks=2935151 nbPropagations=110286 nbRevisions=1676233 nbUselessRevisions=1396509
1.57 nbAssignments=1967 nbFailedAssignments=727 nbBacktracks=1136 nbVisitedNodes=3290 nbRestartNogoods=32
1.57 mapSize=933 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.62 cpuTime=0.57 mem=15M401
1.64
1.64 INFO : Stopping hyperNogood (mapSize=1034, nbTooLargekeys=0, mem=15M401)
1.84
1.84 search
1.84 run=10 nbConstraintChecks=4614981 nbPropagations=165193 nbRevisions=2555423 nbUselessRevisions=2128984
1.84 nbAssignments=2934 nbFailedAssignments=1106 nbBacktracks=1712 nbVisitedNodes=4947 nbRestartNogoods=39
1.84 => wckTime=0.89 cpuTime=0.83 mem=15M401
2.19
2.19 search
2.19 run=11 nbConstraintChecks=6849022 nbPropagations=246566 nbRevisions=3850740 nbUselessRevisions=3203538
2.19 nbAssignments=4350 nbFailedAssignments=1647 nbBacktracks=2578 nbVisitedNodes=7360 nbRestartNogoods=48
2.19 => wckTime=1.239 cpuTime=1.17 mem=15M401
2.70
2.70 search
2.70 run=12 nbConstraintChecks=10236252 nbPropagations=369360 nbRevisions=5818044 nbUselessRevisions=4836449
2.70 nbAssignments=6490 nbFailedAssignments=2477 nbBacktracks=3876 nbVisitedNodes=11056 nbRestartNogoods=53
2.70 => wckTime=1.749 cpuTime=1.67 mem=15M401
3.43
3.43 search
3.43 run=13 nbConstraintChecks=15266132 nbPropagations=551472 nbRevisions=8759406 nbUselessRevisions=7278220
3.43 nbAssignments=9686 nbFailedAssignments=3715 nbBacktracks=5823 nbVisitedNodes=16514 nbRestartNogoods=62
3.43 => wckTime=2.48 cpuTime=2.4 mem=15M401
4.55
4.55 search
4.55 run=14 nbConstraintChecks=23091036 nbPropagations=826192 nbRevisions=13192643 nbUselessRevisions=10954276
4.55 nbAssignments=14449 nbFailedAssignments=5545 nbBacktracks=8745 nbVisitedNodes=24718 nbRestartNogoods=70
4.55 => wckTime=3.601 cpuTime=3.52 mem=15M401
6.13
6.13 search
6.13 run=15 nbConstraintChecks=33816237 nbPropagations=1232327 nbRevisions=19761612 nbUselessRevisions=16409876
6.13 nbAssignments=21469 nbFailedAssignments=8174 nbBacktracks=13124 nbVisitedNodes=36645 nbRestartNogoods=76
6.13 => wckTime=5.178 cpuTime=5.1 mem=15M401
8.68
8.68 search
8.68 run=16 nbConstraintChecks=51585224 nbPropagations=1847943 nbRevisions=29730926 nbUselessRevisions=24676139
8.68 nbAssignments=32232 nbFailedAssignments=12357 nbBacktracks=19693 nbVisitedNodes=55262 nbRestartNogoods=92
8.68 => wckTime=7.723 cpuTime=7.64 mem=15M401
12.43
12.43 search
12.43 run=17 nbConstraintChecks=77384424 nbPropagations=2771291 nbRevisions=44775944 nbUselessRevisions=37163898
12.43 nbAssignments=48274 nbFailedAssignments=18535 nbBacktracks=29549 nbVisitedNodes=82785 nbRestartNogoods=100
12.43 => wckTime=11.476 cpuTime=11.39 mem=15M401
17.55
17.55 search
17.55 run=18 nbConstraintChecks=112415542 nbPropagations=4124668 nbRevisions=66741555 nbUselessRevisions=55401614
17.55 nbAssignments=71691 nbFailedAssignments=27162 nbBacktracks=44328 nbVisitedNodes=122446 nbRestartNogoods=105
17.55 => wckTime=16.599 cpuTime=16.51 mem=15M401
26.09
26.09 search
26.09 run=19 nbConstraintChecks=173312005 nbPropagations=6182274 nbRevisions=99976415 nbUselessRevisions=82918132
26.09 nbAssignments=107936 nbFailedAssignments=41228 nbBacktracks=66496 nbVisitedNodes=184920 nbRestartNogoods=114
26.09 => wckTime=25.141 cpuTime=25.05 mem=15M401
38.27
38.27 search
38.27 run=20 nbConstraintChecks=257028881 nbPropagations=9241153 nbRevisions=149756356 nbUselessRevisions=124223200
38.27 nbAssignments=161531 nbFailedAssignments=61561 nbBacktracks=99748 nbVisitedNodes=276744 nbRestartNogoods=121
38.27 => wckTime=37.313 cpuTime=37.22 mem=15M401
56.82
56.82 search
56.82 run=21 nbConstraintChecks=387671837 nbPropagations=13823206 nbRevisions=224253678 nbUselessRevisions=186000764
56.82 nbAssignments=240800 nbFailedAssignments=90941 nbBacktracks=149627 nbVisitedNodes=412211 nbRestartNogoods=130
56.82 => wckTime=55.865 cpuTime=55.75 mem=15M401
85.13
85.13 search
85.13 run=22 nbConstraintChecks=586154286 nbPropagations=20744212 nbRevisions=336589965 nbUselessRevisions=279132495
85.13 nbAssignments=361631 nbFailedAssignments=136943 nbBacktracks=224446 nbVisitedNodes=620073 nbRestartNogoods=145
85.13 => wckTime=84.173 cpuTime=84.03 mem=15M401
127.11
127.12 search
127.12 run=23 nbConstraintChecks=882588952 nbPropagations=31148489 nbRevisions=504274941 nbUselessRevisions=417875306
127.12 nbAssignments=541925 nbFailedAssignments=204999 nbBacktracks=336673 nbVisitedNodes=928384 nbRestartNogoods=160
127.12 => wckTime=126.161 cpuTime=126.0 mem=15M401
190.62
190.62 search
190.62 run=24 nbConstraintChecks=1327820052 nbPropagations=46745153 nbRevisions=758396290 nbUselessRevisions=628683141
190.62 nbAssignments=813883 nbFailedAssignments=308601 nbBacktracks=505016 nbVisitedNodes=1395287 nbRestartNogoods=173
190.62 => wckTime=189.67 cpuTime=189.46 mem=15M401
286.14
286.14 search
286.14 run=25 nbConstraintChecks=2003704743 nbPropagations=70162142 nbRevisions=1139927772
286.14 nbUselessRevisions=945073712 nbAssignments=1218698 nbFailedAssignments=460893 nbBacktracks=757527
286.14 nbVisitedNodes=2089904 nbRestartNogoods=189
286.14 => wckTime=285.191 cpuTime=284.87 mem=15M401
430.47
430.47 search
430.47 run=26 nbConstraintChecks=3012934661 nbPropagations=105385893 nbRevisions=1717193336
430.47 nbUselessRevisions=1424515575 nbAssignments=1832964 nbFailedAssignments=696380 nbBacktracks=1136295
430.47 nbVisitedNodes=3146227 nbRestartNogoods=200
430.47 => wckTime=429.515 cpuTime=429.09 mem=15M401
637.19
637.19 search
637.19 run=27 nbConstraintChecks=4456388785 nbPropagations=157625660 nbRevisions=2570913346
637.19 nbUselessRevisions=2133492537 nbAssignments=2729646 nbFailedAssignments=1024900 nbBacktracks=1704447
637.19 nbVisitedNodes=4671446 nbRestartNogoods=213
637.19 => wckTime=636.236 cpuTime=635.6 mem=15M401
677.53
677.53 search
677.53 run=28 nbConstraintChecks=4739119516 nbPropagations=213185716 nbRevisions=3479140320
677.53 nbUselessRevisions=2887765023 nbAssignments=2900247 nbFailedAssignments=1090721 nbBacktracks=1809177
677.53 nbVisitedNodes=4966090 nbRestartNogoods=227
677.53 => wckTime=676.572 cpuTime=675.91 mem=15M401
677.53
677.53 global
677.53 nbConstraintChecks=4739119516 nbPropagations=213185766 nbRevisions=3479140320 nbUselessRevisions=2887765023
677.53 nbRestartNogoods=227 solvingWckTime=676.573 solvingCpuTime=675.91 expiredTime=no totalExploration=no
677.53 nbFoundSolutions=1 globalCpuTime=676.39
677.53 => wckTime=677.153 cpuTime=676.34 mem=15M401
677.53
677.53 s SATISFIABLE
677.53 v 1 2 20 12 16 12 12 19 12 17 1 7 13 9 10 7 11 4 18 18 5 21 10 9 15 0 20 19 18 5 19 14 7 2 12 21 18 15 12 11 4 9 11 17 2 2 5 1 8 14
677.53 d NODES 2900247
677.53 d CHECKS 4739119516
677.53
677.53 totalWckTime=677.229 totalCpuTime=676.39
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-229813-1168081002 -o ROOT/results/node59/solver-229813-1168081002 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229813-1168081002/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.10 1.03 1.55 3/68 25046
/proc/meminfo: memFree=1495032/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=1784 CPUtime=0
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 156499275 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 1100447918080 0 0 17 1 0 0
/proc/25045/statm: 446 136 102 14 0 91 0
[startup+0.106509 s]
/proc/loadavg: 0.10 1.03 1.55 3/68 25046
/proc/meminfo: memFree=1495032/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=906128 CPUtime=0.02
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 1967 0 1 0 1 1 0 0 18 0 1 0 156499275 927875072 1716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153788138 0 4 0 7368 0 0 0 17 0 0 0
/proc/25045/statm: 226532 1719 990 14 0 214115 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 906128
[startup+0.514554 s]
/proc/loadavg: 0.10 1.03 1.55 3/68 25046
/proc/meminfo: memFree=1495032/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915328 CPUtime=0.42
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 6323 0 1 0 38 4 0 0 16 0 8 0 156499275 937295872 6062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073587947 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25045/statm: 228832 6062 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328
[startup+1.33664 s]
/proc/loadavg: 0.10 1.03 1.55 2/75 25053
/proc/meminfo: memFree=1467136/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915460 CPUtime=1.25
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 9675 0 1 0 119 6 0 0 17 0 8 0 156499275 937431040 9413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25045/statm: 228865 9413 2513 14 0 215335 0
[pid=25045/tid=25047] ppid=25043 vsize=915460 CPUtime=0.03
/proc/25045/task/25047/stat : 25047 (java) S 25043 25045 24349 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 156499286 937431040 9413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25045/tid=25048] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25048/stat : 25048 (java) S 25043 25045 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25049] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25049/stat : 25049 (java) S 25043 25045 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25050] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25050/stat : 25050 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156499290 937431040 9413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25051] ppid=25043 vsize=915460 CPUtime=0.2
/proc/25045/task/25051/stat : 25051 (java) S 25043 25045 24349 0 -1 64 380 0 0 0 19 1 0 0 15 0 8 0 156499290 937431040 9413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25052] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25052/stat : 25052 (java) S 25043 25045 24349 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156499290 937431040 9413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25053] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25053/stat : 25053 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499290 937431040 9413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915460
[startup+2.98882 s]
/proc/loadavg: 0.25 1.04 1.55 2/75 25053
/proc/meminfo: memFree=1466944/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915460 CPUtime=2.9
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 9692 0 1 0 283 7 0 0 17 0 8 0 156499275 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828008 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25045/statm: 228865 9429 2513 14 0 215335 0
[pid=25045/tid=25047] ppid=25043 vsize=915460 CPUtime=0.03
/proc/25045/task/25047/stat : 25047 (java) S 25043 25045 24349 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 156499286 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25045/tid=25048] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25048/stat : 25048 (java) S 25043 25045 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25049] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25049/stat : 25049 (java) S 25043 25045 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25050] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25050/stat : 25050 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156499290 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25051] ppid=25043 vsize=915460 CPUtime=0.22
/proc/25045/task/25051/stat : 25051 (java) S 25043 25045 24349 0 -1 64 396 0 0 0 21 1 0 0 15 0 8 0 156499290 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25052] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25052/stat : 25052 (java) S 25043 25045 24349 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156499290 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25053] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25053/stat : 25053 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499290 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915460
[startup+6.27118 s]
/proc/loadavg: 0.25 1.04 1.55 2/75 25053
/proc/meminfo: memFree=1466944/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915460 CPUtime=6.18
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 9693 0 1 0 611 7 0 0 23 0 8 0 156499275 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25045/statm: 228865 9429 2513 14 0 215335 0
[pid=25045/tid=25047] ppid=25043 vsize=915460 CPUtime=0.03
/proc/25045/task/25047/stat : 25047 (java) S 25043 25045 24349 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 156499286 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25045/tid=25048] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25048/stat : 25048 (java) S 25043 25045 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25049] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25049/stat : 25049 (java) S 25043 25045 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25050] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25050/stat : 25050 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156499290 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25051] ppid=25043 vsize=915460 CPUtime=0.22
/proc/25045/task/25051/stat : 25051 (java) S 25043 25045 24349 0 -1 64 396 0 0 0 21 1 0 0 15 0 8 0 156499290 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25052] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25052/stat : 25052 (java) S 25043 25045 24349 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156499290 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25053] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25053/stat : 25053 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499290 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7559 s]
/proc/loadavg: 0.37 1.04 1.54 2/75 25054
/proc/meminfo: memFree=1466752/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915460 CPUtime=12.66
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 9693 0 1 0 1259 7 0 0 25 0 8 0 156499275 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25045/statm: 228865 9429 2513 14 0 215335 0
[pid=25045/tid=25047] ppid=25043 vsize=915460 CPUtime=0.03
/proc/25045/task/25047/stat : 25047 (java) S 25043 25045 24349 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 156499286 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25045/tid=25048] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25048/stat : 25048 (java) S 25043 25045 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25049] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25049/stat : 25049 (java) S 25043 25045 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25050] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25050/stat : 25050 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156499290 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25051] ppid=25043 vsize=915460 CPUtime=0.22
/proc/25045/task/25051/stat : 25051 (java) S 25043 25045 24349 0 -1 64 396 0 0 0 21 1 0 0 15 0 8 0 156499290 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25052] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25052/stat : 25052 (java) S 25043 25045 24349 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156499290 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25053] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25053/stat : 25053 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499290 937431040 9429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460
[startup+25.5873 s]
/proc/loadavg: 0.46 1.04 1.54 2/75 25055
/proc/meminfo: memFree=1466752/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915460 CPUtime=25.49
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 9694 0 1 0 2542 7 0 0 25 0 8 0 156499275 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841302 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25045/statm: 228865 9430 2513 14 0 215335 0
[pid=25045/tid=25047] ppid=25043 vsize=915460 CPUtime=0.03
/proc/25045/task/25047/stat : 25047 (java) S 25043 25045 24349 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 156499286 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25045/tid=25048] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25048/stat : 25048 (java) S 25043 25045 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25049] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25049/stat : 25049 (java) S 25043 25045 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25050] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25050/stat : 25050 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156499290 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25051] ppid=25043 vsize=915460 CPUtime=0.23
/proc/25045/task/25051/stat : 25051 (java) S 25043 25045 24349 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 156499290 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25052] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25052/stat : 25052 (java) S 25043 25045 24349 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156499290 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25053] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25053/stat : 25053 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499290 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915460
[startup+51.2861 s]
/proc/loadavg: 0.65 1.04 1.52 3/87 25100
/proc/meminfo: memFree=1438688/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915460 CPUtime=51.16
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 9695 0 1 0 5109 7 0 0 25 0 8 0 156499275 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851293 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25045/statm: 228865 9430 2513 14 0 215335 0
[pid=25045/tid=25047] ppid=25043 vsize=915460 CPUtime=0.03
/proc/25045/task/25047/stat : 25047 (java) S 25043 25045 24349 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 156499286 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25045/tid=25048] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25048/stat : 25048 (java) S 25043 25045 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25049] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25049/stat : 25049 (java) S 25043 25045 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25050] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25050/stat : 25050 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156499290 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25051] ppid=25043 vsize=915460 CPUtime=0.23
/proc/25045/task/25051/stat : 25051 (java) S 25043 25045 24349 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 156499290 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25052] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25052/stat : 25052 (java) S 25043 25045 24349 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156499290 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25053] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25053/stat : 25053 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499290 937431040 9430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915460
[startup+102.497 s]
/proc/loadavg: 1.46 1.20 1.55 3/87 25100
/proc/meminfo: memFree=1438752/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915460 CPUtime=102.33
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 9696 0 1 0 10226 7 0 0 25 0 8 0 156499275 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25045/statm: 228865 9431 2513 14 0 215335 0
[pid=25045/tid=25047] ppid=25043 vsize=915460 CPUtime=0.03
/proc/25045/task/25047/stat : 25047 (java) S 25043 25045 24349 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 156499286 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25045/tid=25048] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25048/stat : 25048 (java) S 25043 25045 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25049] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25049/stat : 25049 (java) S 25043 25045 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25050] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25050/stat : 25050 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25051] ppid=25043 vsize=915460 CPUtime=0.23
/proc/25045/task/25051/stat : 25051 (java) S 25043 25045 24349 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25052] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25052/stat : 25052 (java) S 25043 25045 24349 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25053] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25053/stat : 25053 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 915460
[startup+162.523 s]
/proc/loadavg: 1.23 1.18 1.52 2/75 25109
/proc/meminfo: memFree=1466560/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915460 CPUtime=162.33
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 9696 0 1 0 16225 8 0 0 25 0 8 0 156499275 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814843 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/25045/task/25050/stat : 25050 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25051] ppid=25043 vsize=915460 CPUtime=0.23
/proc/25045/task/25051/stat : 25051 (java) S 25043 25045 24349 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25052] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25052/stat : 25052 (java) S 25043 25045 24349 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25053] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25053/stat : 25053 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 915460
[startup+282.609 s]
/proc/loadavg: 1.80 1.36 1.54 3/93 25314
/proc/meminfo: memFree=1438824/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915460 CPUtime=282.28
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 9696 0 1 0 28215 13 0 0 25 0 8 0 156499275 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841291 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25045/statm: 228865 9431 2513 14 0 215335 0
[pid=25045/tid=25047] ppid=25043 vsize=915460 CPUtime=0.03
/proc/25045/task/25047/stat : 25047 (java) S 25043 25045 24349 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 156499286 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25045/tid=25048] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25048/stat : 25048 (java) S 25043 25045 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25049] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25049/stat : 25049 (java) S 25043 25045 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25050] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25050/stat : 25050 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25051] ppid=25043 vsize=915460 CPUtime=0.23
/proc/25045/task/25051/stat : 25051 (java) S 25043 25045 24349 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25052] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25052/stat : 25052 (java) S 25043 25045 24349 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25053] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25053/stat : 25053 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 915460
[startup+342.667 s]
/proc/loadavg: 1.32 1.30 1.51 2/75 25399
/proc/meminfo: memFree=1466304/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915460 CPUtime=342.3
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 9696 0 1 0 34211 19 0 0 25 0 8 0 156499275 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25045/statm: 228865 9431 2513 14 0 215335 0
[pid=25045/tid=25047] ppid=25043 vsize=915460 CPUtime=0.03
/proc/25045/task/25047/stat : 25047 (java) S 25043 25045 24349 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 156499286 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25045/tid=25048] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25048/stat : 25048 (java) S 25043 25045 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25049] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25049/stat : 25049 (java) S 25043 25045 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25050] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25050/stat : 25050 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25051] ppid=25043 vsize=915460 CPUtime=0.23
/proc/25045/task/25051/stat : 25051 (java) S 25043 25045 24349 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25052] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25052/stat : 25052 (java) S 25043 25045 24349 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25053] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25053/stat : 25053 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 915460
[startup+402.727 s]
/proc/loadavg: 1.64 1.38 1.52 3/87 25444
/proc/meminfo: memFree=1361696/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915460 CPUtime=402.31
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 9696 0 1 0 40211 20 0 0 25 0 8 0 156499275 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827897 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25045/statm: 228865 9431 2513 14 0 215335 0
[pid=25045/tid=25047] ppid=25043 vsize=915460 CPUtime=0.03
/proc/25045/task/25047/stat : 25047 (java) S 25043 25045 24349 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 156499286 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25045/tid=25048] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25048/stat : 25048 (java) S 25043 25045 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25049] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25049/stat : 25049 (java) S 25043 25045 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25050] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25050/stat : 25050 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25051] ppid=25043 vsize=915460 CPUtime=0.23
/proc/25045/task/25051/stat : 25051 (java) S 25043 25045 24349 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25052] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25052/stat : 25052 (java) S 25043 25045 24349 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25053] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25053/stat : 25053 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 915460
[startup+462.82 s]
/proc/loadavg: 1.87 1.49 1.55 4/87 25444
/proc/meminfo: memFree=1361696/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915460 CPUtime=462.35
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 9696 0 1 0 46215 20 0 0 25 0 8 0 156499275 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073876618 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25045/statm: 228865 9431 2513 14 0 215335 0
[pid=25045/tid=25047] ppid=25043 vsize=915460 CPUtime=0.03
/proc/25045/task/25047/stat : 25047 (java) S 25043 25045 24349 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 156499286 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25045/tid=25048] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25048/stat : 25048 (java) S 25043 25045 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25049] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25049/stat : 25049 (java) S 25043 25045 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25050] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25050/stat : 25050 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25051] ppid=25043 vsize=915460 CPUtime=0.23
/proc/25045/task/25051/stat : 25051 (java) S 25043 25045 24349 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25052] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25052/stat : 25052 (java) S 25043 25045 24349 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25053] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25053/stat : 25053 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 915460
[startup+522.824 s]
/proc/loadavg: 1.95 1.58 1.57 5/87 25444
/proc/meminfo: memFree=1361632/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915460 CPUtime=522.3
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 9696 0 1 0 52210 20 0 0 25 0 8 0 156499275 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879805 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25045/statm: 228865 9431 2513 14 0 215335 0
[pid=25045/tid=25047] ppid=25043 vsize=915460 CPUtime=0.03
/proc/25045/task/25047/stat : 25047 (java) S 25043 25045 24349 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 156499286 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25045/tid=25048] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25048/stat : 25048 (java) S 25043 25045 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25049] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25049/stat : 25049 (java) S 25043 25045 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25050] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25050/stat : 25050 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25051] ppid=25043 vsize=915460 CPUtime=0.23
/proc/25045/task/25051/stat : 25051 (java) S 25043 25045 24349 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25052] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25052/stat : 25052 (java) S 25043 25045 24349 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25053] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25053/stat : 25053 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 915460
[startup+582.922 s]
/proc/loadavg: 1.98 1.66 1.60 3/87 25444
/proc/meminfo: memFree=1361632/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915460 CPUtime=582.33
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 9696 0 1 0 58213 20 0 0 25 0 8 0 156499275 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827923 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25045/statm: 228865 9431 2513 14 0 215335 0
[pid=25045/tid=25047] ppid=25043 vsize=915460 CPUtime=0.03
/proc/25045/task/25047/stat : 25047 (java) S 25043 25045 24349 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 156499286 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25045/tid=25048] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25048/stat : 25048 (java) S 25043 25045 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25049] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25049/stat : 25049 (java) S 25043 25045 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25050] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25050/stat : 25050 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25051] ppid=25043 vsize=915460 CPUtime=0.23
/proc/25045/task/25051/stat : 25051 (java) S 25043 25045 24349 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25052] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25052/stat : 25052 (java) S 25043 25045 24349 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25053] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25053/stat : 25053 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 915460
[startup+643.02 s]
/proc/loadavg: 1.99 1.72 1.62 3/87 25444
/proc/meminfo: memFree=1361632/2055920 swapFree=4192812/4192956
[pid=25045] ppid=25043 vsize=915460 CPUtime=642.37
/proc/25045/stat : 25045 (java) R 25043 25045 24349 0 -1 0 9696 0 1 0 64217 20 0 0 25 0 8 0 156499275 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073878197 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25045/statm: 228865 9431 2513 14 0 215335 0
[pid=25045/tid=25047] ppid=25043 vsize=915460 CPUtime=0.03
/proc/25045/task/25047/stat : 25047 (java) S 25043 25045 24349 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 156499286 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25045/tid=25048] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25048/stat : 25048 (java) S 25043 25045 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25049] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25049/stat : 25049 (java) S 25043 25045 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499287 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25050] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25050/stat : 25050 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25051] ppid=25043 vsize=915460 CPUtime=0.23
/proc/25045/task/25051/stat : 25051 (java) S 25043 25045 24349 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25052] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25052/stat : 25052 (java) S 25043 25045 24349 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25045/tid=25053] ppid=25043 vsize=915460 CPUtime=0
/proc/25045/task/25053/stat : 25053 (java) S 25043 25045 24349 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156499290 937431040 9431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 677.569
CPU time (s): 676.876
CPU user time (s): 676.66
CPU system time (s): 0.215967
CPU usage (%): 99.8978
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 676.66
system time used= 0.215967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9704
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= 14597
involuntary context switches= 15751
runsolver used 0.842871 s user time and 2.00769 s system time
The end
Begin job on node59 on Sat Jan 6 10:56:51 UTC 2007
IDJOB= 229813
IDBENCH= 6361
FILE ID= node59/229813-1168081002
PBS_JOBID= 3476054
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229813-1168081002/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-229813-1168081002 -o ROOT/results/node59/solver-229813-1168081002 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229813-1168081002/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2eeb2adecc305b0db93e86ea3cbf860e
RANDOM SEED= 273586420
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.239
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.239
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: 1495512 kB
Buffers: 45308 kB
Cached: 419540 kB
SwapCached: 0 kB
Active: 74324 kB
Inactive: 411872 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1495512 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2148 kB
Writeback: 0 kB
Mapped: 31528 kB
Slab: 59896 kB
Committed_AS: 2895948 kB
PageTables: 1696 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= 66547 MiB
End job on node59 on Sat Jan 6 11:08:11 UTC 2007