0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/194396-1168069362/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.45 => wckTime=0.115 cpuTime=0.09 mem=6M951
0.45
0.45 relations being loaded...
0.61
0.61 constraints being loaded...
0.77 nbConstraints=465 nbRelationTypes=465 nbExtensionStructures=465 nbSharedExtensionStructures=0
0.77 nbConflictsStructures=465 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2280 maxDegree=29
0.77 maxArity=2
0.77 => wckTime=0.431 cpuTime=0.33 mem=17M711
0.82
0.82 solver IterativeSystematicSolver being built...
0.99 => wckTime=0.651 cpuTime=0.46 mem=15M365
1.00
1.00 preprocessing
1.00 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.00 detectedInconsistency=no
1.00 => wckTime=0.0090 cpuTime=0.01 mem=15M365
1.06
1.06 search
1.06 run=0 nbConstraintChecks=50391 nbPropagations=671 nbRevisions=8079 nbUselessRevisions=6791 nbAssignments=33
1.06 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.06 nbTooLargeKeys=0
1.06 => wckTime=0.065 cpuTime=0.05 mem=15M365
1.09
1.09 search
1.09 run=1 nbConstraintChecks=115439 nbPropagations=2181 nbRevisions=27129 nbUselessRevisions=22718
1.09 nbAssignments=73 nbFailedAssignments=20 nbBacktracks=27 nbVisitedNodes=111 nbRestartNogoods=4 mapSize=24
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.103 cpuTime=0.07 mem=15M365
1.12
1.12 search
1.12 run=2 nbConstraintChecks=195491 nbPropagations=4783 nbRevisions=60500 nbUselessRevisions=50694
1.12 nbAssignments=125 nbFailedAssignments=34 nbBacktracks=51 nbVisitedNodes=192 nbRestartNogoods=6 mapSize=45
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.126 cpuTime=0.09 mem=15M365
1.15
1.15 search
1.15 run=3 nbConstraintChecks=296245 nbPropagations=8619 nbRevisions=110424 nbUselessRevisions=92167
1.15 nbAssignments=193 nbFailedAssignments=53 nbBacktracks=87 nbVisitedNodes=294 nbRestartNogoods=9 mapSize=70
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.161 cpuTime=0.12 mem=15M365
1.19
1.19 search
1.19 run=4 nbConstraintChecks=428887 nbPropagations=14083 nbRevisions=184500 nbUselessRevisions=153612
1.19 nbAssignments=279 nbFailedAssignments=77 nbBacktracks=138 nbVisitedNodes=432 nbRestartNogoods=13 mapSize=105
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.197 cpuTime=0.15 mem=15M365
1.25
1.25 search
1.25 run=5 nbConstraintChecks=649360 nbPropagations=22147 nbRevisions=298139 nbUselessRevisions=248067
1.25 nbAssignments=413 nbFailedAssignments=123 nbBacktracks=213 nbVisitedNodes=651 nbRestartNogoods=17 mapSize=163
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.257 cpuTime=0.21 mem=15M365
1.31
1.31 search
1.31 run=6 nbConstraintChecks=881353 nbPropagations=33446 nbRevisions=457647 nbUselessRevisions=380571
1.31 nbAssignments=601 nbFailedAssignments=186 nbBacktracks=326 nbVisitedNodes=958 nbRestartNogoods=24 mapSize=248
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.319 cpuTime=0.27 mem=15M365
1.42
1.42 search
1.42 run=7 nbConstraintChecks=1314839 nbPropagations=50030 nbRevisions=699836 nbUselessRevisions=581732
1.42 nbAssignments=887 nbFailedAssignments=289 nbBacktracks=496 nbVisitedNodes=1434 nbRestartNogoods=27 mapSize=383
1.42 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.429 cpuTime=0.38 mem=15M365
1.60
1.60 search
1.60 run=8 nbConstraintChecks=1977320 nbPropagations=75249 nbRevisions=1072903 nbUselessRevisions=890791
1.60 nbAssignments=1339 nbFailedAssignments=470 nbBacktracks=757 nbVisitedNodes=2217 nbRestartNogoods=33
1.60 mapSize=603 nbInferences=0 nbTooLargeKeys=0
1.60 => wckTime=0.609 cpuTime=0.54 mem=15M365
1.86
1.86 search
1.86 run=9 nbConstraintChecks=2974449 nbPropagations=112728 nbRevisions=1640889 nbUselessRevisions=1360913
1.86 nbAssignments=1991 nbFailedAssignments=727 nbBacktracks=1144 nbVisitedNodes=3329 nbRestartNogoods=38
1.86 mapSize=938 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.869 cpuTime=0.79 mem=15M365
1.93
1.93 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=15M365)
2.18
2.18 search
2.18 run=10 nbConstraintChecks=4335232 nbPropagations=168113 nbRevisions=2480477 nbUselessRevisions=2055741
2.18 nbAssignments=2954 nbFailedAssignments=1102 nbBacktracks=1720 nbVisitedNodes=4964 nbRestartNogoods=40
2.18 => wckTime=1.188 cpuTime=1.09 mem=15M365
2.73
2.73 search
2.73 run=11 nbConstraintChecks=6817737 nbPropagations=253023 nbRevisions=3812765 nbUselessRevisions=3159988
2.73 nbAssignments=4560 nbFailedAssignments=1835 nbBacktracks=2585 nbVisitedNodes=7797 nbRestartNogoods=47
2.73 => wckTime=1.741 cpuTime=1.63 mem=15M365
3.32
3.32 search
3.32 run=12 nbConstraintChecks=9489768 nbPropagations=373570 nbRevisions=5670939 nbUselessRevisions=4695737
3.32 nbAssignments=6555 nbFailedAssignments=2519 nbBacktracks=3884 nbVisitedNodes=11100 nbRestartNogoods=52
3.32 => wckTime=2.331 cpuTime=2.23 mem=15M365
4.45
4.45 search
4.45 run=13 nbConstraintChecks=14966193 nbPropagations=556605 nbRevisions=8503846 nbUselessRevisions=7029914
4.45 nbAssignments=9757 nbFailedAssignments=3762 nbBacktracks=5833 nbVisitedNodes=16610 nbRestartNogoods=58
4.45 => wckTime=3.457 cpuTime=3.34 mem=15M365
5.72
5.72 search
5.72 run=14 nbConstraintChecks=20877141 nbPropagations=814588 nbRevisions=12430085 nbUselessRevisions=10255121
5.72 nbAssignments=14057 nbFailedAssignments=5131 nbBacktracks=8757 nbVisitedNodes=23590 nbRestartNogoods=67
5.73 => wckTime=4.736 cpuTime=4.61 mem=15M365
8.41
8.41 search
8.41 run=15 nbConstraintChecks=33943498 nbPropagations=1223172 nbRevisions=18746693 nbUselessRevisions=15444721
8.41 nbAssignments=21559 nbFailedAssignments=8243 nbBacktracks=13135 nbVisitedNodes=36721 nbRestartNogoods=74
8.41 => wckTime=7.418 cpuTime=7.27 mem=15M365
11.52
11.53 search
11.53 run=16 nbConstraintChecks=48121681 nbPropagations=1821172 nbRevisions=27919535 nbUselessRevisions=22995740
11.53 nbAssignments=31788 nbFailedAssignments=11891 nbBacktracks=19704 nbVisitedNodes=54069 nbRestartNogoods=85
11.53 => wckTime=10.535 cpuTime=10.36 mem=15M365
16.32
16.32 search
16.32 run=17 nbConstraintChecks=71049225 nbPropagations=2699634 nbRevisions=41290396 nbUselessRevisions=33973602
16.32 nbAssignments=46794 nbFailedAssignments=17033 nbBacktracks=29557 nbVisitedNodes=78981 nbRestartNogoods=98
16.32 => wckTime=15.328 cpuTime=15.11 mem=15M365
24.63
24.63 search
24.63 run=18 nbConstraintChecks=108537552 nbPropagations=4041719 nbRevisions=62164026 nbUselessRevisions=51180315
24.63 nbAssignments=71264 nbFailedAssignments=26714 nbBacktracks=44338 nbVisitedNodes=121284 nbRestartNogoods=109
24.63 => wckTime=23.641 cpuTime=23.36 mem=15M365
35.41
35.41 search
35.41 run=19 nbConstraintChecks=157849756 nbPropagations=6031735 nbRevisions=92888560 nbUselessRevisions=76516860
35.41 nbAssignments=106466 nbFailedAssignments=39734 nbBacktracks=66508 nbVisitedNodes=181189 nbRestartNogoods=121
35.41 => wckTime=34.424 cpuTime=34.04 mem=15M365
55.21
55.21 search
55.21 run=20 nbConstraintChecks=251911360 nbPropagations=9113597 nbRevisions=141199866 nbUselessRevisions=116346995
55.21 nbAssignments=162811 nbFailedAssignments=62817 nbBacktracks=99760 nbVisitedNodes=279079 nbRestartNogoods=128
55.21 => wckTime=54.225 cpuTime=53.68 mem=15M365
78.63
78.63 search
78.63 run=21 nbConstraintChecks=357637887 nbPropagations=13621369 nbRevisions=210987992 nbUselessRevisions=173886345
78.63 nbAssignments=241194 nbFailedAssignments=91308 nbBacktracks=149640 nbVisitedNodes=411527 nbRestartNogoods=141
78.63 => wckTime=77.637 cpuTime=76.89 mem=15M365
116.04
116.04 search
116.04 run=22 nbConstraintChecks=530024827 nbPropagations=20291000 nbRevisions=313933700 nbUselessRevisions=258728861
116.04 nbAssignments=357850 nbFailedAssignments=133136 nbBacktracks=224461 nbVisitedNodes=607589 nbRestartNogoods=156
116.04 => wckTime=115.053 cpuTime=113.99 mem=15M365
179.39
179.39 search
179.39 run=23 nbConstraintChecks=827201099 nbPropagations=30453729 nbRevisions=472561656 nbUselessRevisions=389493333
179.39 nbAssignments=540511 nbFailedAssignments=203557 nbBacktracks=336691 nbVisitedNodes=921158 nbRestartNogoods=164
179.39 => wckTime=178.403 cpuTime=176.81 mem=15M365
259.84
259.84 search
259.84 run=24 nbConstraintChecks=1192193765 nbPropagations=45441306 nbRevisions=704169734 nbUselessRevisions=580436911
259.84 nbAssignments=803641 nbFailedAssignments=298332 nbBacktracks=505032 nbVisitedNodes=1365081 nbRestartNogoods=176
259.84 => wckTime=258.849 cpuTime=256.54 mem=15M365
377.39
377.39 search
377.39 run=25 nbConstraintChecks=1781366088 nbPropagations=67852068 nbRevisions=1051558582
377.39 nbUselessRevisions=867052361 nbAssignments=1207025 nbFailedAssignments=449193 nbBacktracks=757545
377.39 nbVisitedNodes=2052251 nbRestartNogoods=202
377.39 => wckTime=376.401 cpuTime=373.75 mem=15M365
540.81
540.81 search
540.81 run=26 nbConstraintChecks=2610760176 nbPropagations=101012559 nbRevisions=1562605267
540.81 nbUselessRevisions=1288533127 nbAssignments=1797207 nbFailedAssignments=660595 nbBacktracks=1136313
540.81 nbVisitedNodes=3046716 nbRestartNogoods=218
540.81 => wckTime=539.818 cpuTime=537.0 mem=15M365
855.86
855.86 search
855.86 run=27 nbConstraintChecks=4287607539 nbPropagations=153465712 nbRevisions=2385459400
855.86 nbUselessRevisions=1967555996 nbAssignments=2768656 nbFailedAssignments=1063885 nbBacktracks=1704466
855.86 nbVisitedNodes=4746608 nbRestartNogoods=231
855.86 => wckTime=854.874 cpuTime=851.74 mem=15M365
906.07
906.07 search
906.07 run=28 nbConstraintChecks=4541294022 nbPropagations=209303028 nbRevisions=3258972900
906.07 nbUselessRevisions=2688303627 nbAssignments=2954073 nbFailedAssignments=1129867 nbBacktracks=1823851
906.07 nbVisitedNodes=5058310 nbRestartNogoods=242
906.07 => wckTime=905.085 cpuTime=901.9 mem=15M365
906.08
906.08 global
906.08 nbConstraintChecks=4541294022 nbPropagations=209303078 nbRevisions=3258972900 nbUselessRevisions=2688303627
906.08 nbRestartNogoods=242 solvingWckTime=905.086 solvingCpuTime=901.9 expiredTime=no totalExploration=no
906.08 nbFoundSolutions=1 globalCpuTime=902.4
906.08 => wckTime=905.741 cpuTime=902.36 mem=15M365
906.08
906.08 s SATISFIABLE
906.08 v 1 20 18 12 3 18 15 15 5 10 2 16 3 2 11 11 21 16 14 20 6 17 17 7 3 4 7 2 9 9 6 10 14 12 8 22 5 17 22 16 9 0 17 22 21 15 7 0 12 15
906.08 d NODES 2954073
906.08 d CHECKS 4541294022
906.08
906.08 totalWckTime=905.829 totalCpuTime=902.4
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-194396-1168069362 -o ROOT/results/node13/solver-194396-1168069362 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194396-1168069362/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.11 1.57 1.76 3/86 3374
/proc/meminfo: memFree=1091952/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=18540 CPUtime=0
/proc/3373/stat : 3373 (runsolver) R 3371 3373 3138 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155331592 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3373/statm: 4635 279 244 17 0 2626 0
[startup+0.102371 s]
/proc/loadavg: 1.11 1.57 1.76 3/86 3374
/proc/meminfo: memFree=1091952/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=913068 CPUtime=0.08
/proc/3373/stat : 3373 (java) S 3371 3373 3138 0 -1 0 2859 0 1 0 7 1 0 0 18 0 8 0 155331592 934981632 2605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3373/statm: 228267 2605 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.510429 s]
/proc/loadavg: 1.11 1.57 1.76 3/86 3374
/proc/meminfo: memFree=1091952/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915328 CPUtime=0.48
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 6435 0 1 0 43 5 0 0 18 0 8 0 155331592 937295872 6174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073552013 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3373/statm: 228832 6174 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33353 s]
/proc/loadavg: 1.11 1.57 1.76 3/93 3381
/proc/meminfo: memFree=1064184/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915460 CPUtime=1.29
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 9625 0 1 0 121 8 0 0 23 0 8 0 155331592 937431040 9363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3373/statm: 228865 9363 2513 14 0 215335 0
[pid=3373/tid=3375] ppid=3371 vsize=915460 CPUtime=0.04
/proc/3373/task/3375/stat : 3375 (java) S 3371 3373 3138 0 -1 64 407 0 0 0 4 0 0 0 16 0 8 0 155331596 937431040 9363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3376] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3376/stat : 3376 (java) S 3371 3373 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331597 937431040 9363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3377] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3377/stat : 3377 (java) S 3371 3373 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331597 937431040 9363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3378] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3378/stat : 3378 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331600 937431040 9363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3379] ppid=3371 vsize=915460 CPUtime=0.23
/proc/3373/task/3379/stat : 3379 (java) S 3371 3373 3138 0 -1 64 377 0 0 0 22 1 0 0 15 0 8 0 155331600 937431040 9363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3380] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3380/stat : 3380 (java) S 3371 3373 3138 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155331600 937431040 9363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3381] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3381/stat : 3381 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331600 937431040 9363 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.98175 s]
/proc/loadavg: 1.11 1.57 1.76 3/93 3381
/proc/meminfo: memFree=1063992/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915460 CPUtime=2.93
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 9642 0 1 0 284 9 0 0 25 0 8 0 155331592 937431040 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811054 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3373/statm: 228865 9379 2513 14 0 215335 0
[pid=3373/tid=3375] ppid=3371 vsize=915460 CPUtime=0.04
/proc/3373/task/3375/stat : 3375 (java) S 3371 3373 3138 0 -1 64 407 0 0 0 4 0 0 0 17 0 8 0 155331596 937431040 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3376] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3376/stat : 3376 (java) S 3371 3373 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331597 937431040 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3377] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3377/stat : 3377 (java) S 3371 3373 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331597 937431040 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3378] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3378/stat : 3378 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331600 937431040 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3379] ppid=3371 vsize=915460 CPUtime=0.27
/proc/3373/task/3379/stat : 3379 (java) S 3371 3373 3138 0 -1 64 393 0 0 0 26 1 0 0 16 0 8 0 155331600 937431040 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3380] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3380/stat : 3380 (java) S 3371 3373 3138 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155331600 937431040 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3381] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3381/stat : 3381 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331600 937431040 9379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.26119 s]
/proc/loadavg: 1.18 1.58 1.76 3/93 3381
/proc/meminfo: memFree=1063544/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915460 CPUtime=6.18
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 9644 0 1 0 609 9 0 0 25 0 8 0 155331592 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3373/statm: 228865 9380 2513 14 0 215335 0
[pid=3373/tid=3375] ppid=3371 vsize=915460 CPUtime=0.04
/proc/3373/task/3375/stat : 3375 (java) S 3371 3373 3138 0 -1 64 407 0 0 0 4 0 0 0 16 0 8 0 155331596 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3376] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3376/stat : 3376 (java) S 3371 3373 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331597 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3377] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3377/stat : 3377 (java) S 3371 3373 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331597 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3378] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3378/stat : 3378 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3379] ppid=3371 vsize=915460 CPUtime=0.27
/proc/3373/task/3379/stat : 3379 (java) S 3371 3373 3138 0 -1 64 395 0 0 0 26 1 0 0 15 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3380] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3380/stat : 3380 (java) S 3371 3373 3138 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3381] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3381/stat : 3381 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7521 s]
/proc/loadavg: 1.25 1.58 1.76 3/93 3381
/proc/meminfo: memFree=1062968/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915460 CPUtime=12.62
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 9644 0 1 0 1253 9 0 0 25 0 8 0 155331592 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3373/statm: 228865 9380 2513 14 0 215335 0
[pid=3373/tid=3375] ppid=3371 vsize=915460 CPUtime=0.04
/proc/3373/task/3375/stat : 3375 (java) S 3371 3373 3138 0 -1 64 407 0 0 0 4 0 0 0 16 0 8 0 155331596 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3376] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3376/stat : 3376 (java) S 3371 3373 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331597 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3377] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3377/stat : 3377 (java) S 3371 3373 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331597 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3378] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3378/stat : 3378 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3379] ppid=3371 vsize=915460 CPUtime=0.27
/proc/3373/task/3379/stat : 3379 (java) S 3371 3373 3138 0 -1 64 395 0 0 0 26 1 0 0 15 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3380] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3380/stat : 3380 (java) S 3371 3373 3138 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3381] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3381/stat : 3381 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
[startup+25.6008 s]
/proc/loadavg: 1.41 1.60 1.77 4/93 3381
/proc/meminfo: memFree=1061688/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915460 CPUtime=25.36
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 9644 0 1 0 2527 9 0 0 25 0 8 0 155331592 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3373/statm: 228865 9380 2513 14 0 215335 0
[pid=3373/tid=3375] ppid=3371 vsize=915460 CPUtime=0.04
/proc/3373/task/3375/stat : 3375 (java) S 3371 3373 3138 0 -1 64 407 0 0 0 4 0 0 0 16 0 8 0 155331596 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3376] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3376/stat : 3376 (java) S 3371 3373 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331597 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3377] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3377/stat : 3377 (java) S 3371 3373 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331597 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3378] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3378/stat : 3378 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3379] ppid=3371 vsize=915460 CPUtime=0.27
/proc/3373/task/3379/stat : 3379 (java) S 3371 3373 3138 0 -1 64 395 0 0 0 26 1 0 0 16 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3380] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3380/stat : 3380 (java) S 3371 3373 3138 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3381] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3381/stat : 3381 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915460
[startup+51.2122 s]
/proc/loadavg: 1.61 1.64 1.77 4/93 3381
/proc/meminfo: memFree=1059064/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915460 CPUtime=50.75
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 9645 0 1 0 5066 9 0 0 25 0 8 0 155331592 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3373/statm: 228865 9380 2513 14 0 215335 0
[pid=3373/tid=3375] ppid=3371 vsize=915460 CPUtime=0.04
/proc/3373/task/3375/stat : 3375 (java) S 3371 3373 3138 0 -1 64 407 0 0 0 4 0 0 0 16 0 8 0 155331596 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3376] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3376/stat : 3376 (java) S 3371 3373 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331597 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3377] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3377/stat : 3377 (java) S 3371 3373 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331597 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3378] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3378/stat : 3378 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3379] ppid=3371 vsize=915460 CPUtime=0.27
/proc/3373/task/3379/stat : 3379 (java) S 3371 3373 3138 0 -1 64 395 0 0 0 26 1 0 0 16 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3380] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3380/stat : 3380 (java) S 3371 3373 3138 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3381] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3381/stat : 3381 (java) R 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331600 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915460
[startup+102.43 s]
/proc/loadavg: 1.83 1.69 1.78 3/93 3381
/proc/meminfo: memFree=1054008/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915460 CPUtime=101.54
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 9646 0 1 0 10144 10 0 0 25 0 8 0 155331592 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845421 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3373/statm: 228865 9381 2513 14 0 215335 0
[pid=3373/tid=3375] ppid=3371 vsize=915460 CPUtime=0.04
/proc/3373/task/3375/stat : 3375 (java) S 3371 3373 3138 0 -1 64 407 0 0 0 4 0 0 0 16 0 8 0 155331596 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3376] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3376/stat : 3376 (java) S 3371 3373 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331597 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3377] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3377/stat : 3377 (java) S 3371 3373 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331597 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3378] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3378/stat : 3378 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331600 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3379] ppid=3371 vsize=915460 CPUtime=0.27
/proc/3373/task/3379/stat : 3379 (java) S 3371 3373 3138 0 -1 64 396 0 0 0 26 1 0 0 16 0 8 0 155331600 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3380] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3380/stat : 3380 (java) S 3371 3373 3138 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155331600 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3381] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3381/stat : 3381 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331600 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915460
[startup+162.504 s]
/proc/loadavg: 1.94 1.74 1.79 3/93 3381
/proc/meminfo: memFree=1049848/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915460 CPUtime=161.11
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 9646 0 1 0 16101 10 0 0 25 0 8 0 155331592 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812558 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/3373/task/3378/stat : 3378 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3379] ppid=3371 vsize=915460 CPUtime=0.27
/proc/3373/task/3379/stat : 3379 (java) S 3371 3373 3138 0 -1 64 397 0 0 0 26 1 0 0 16 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3380] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3380/stat : 3380 (java) S 3371 3373 3138 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3381] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3381/stat : 3381 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.17
Current children cumulated vsize (KiB) 915460
[startup+522.894 s]
/proc/loadavg: 1.99 1.91 1.84 3/100 3438
/proc/meminfo: memFree=1265472/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915460 CPUtime=520.15
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 9647 0 1 0 52002 13 0 0 25 0 8 0 155331592 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3373/statm: 228865 9382 2513 14 0 215335 0
[pid=3373/tid=3375] ppid=3371 vsize=915460 CPUtime=0.04
/proc/3373/task/3375/stat : 3375 (java) R 3371 3373 3138 0 -1 64 407 0 0 0 4 0 0 0 16 0 8 0 155331596 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3376] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3376/stat : 3376 (java) S 3371 3373 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331597 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3377] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3377/stat : 3377 (java) S 3371 3373 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331597 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3378] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3378/stat : 3378 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3379] ppid=3371 vsize=915460 CPUtime=0.27
/proc/3373/task/3379/stat : 3379 (java) S 3371 3373 3138 0 -1 64 397 0 0 0 26 1 0 0 16 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3380] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3380/stat : 3380 (java) S 3371 3373 3138 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3381] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3381/stat : 3381 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.15
Current children cumulated vsize (KiB) 915460
[startup+582.965 s]
/proc/loadavg: 2.07 1.95 1.86 3/100 3438
/proc/meminfo: memFree=1265408/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915460 CPUtime=580.16
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 9647 0 1 0 58003 13 0 0 25 0 8 0 155331592 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3373/statm: 228865 9382 2513 14 0 215335 0
[pid=3373/tid=3375] ppid=3371 vsize=915460 CPUtime=0.04
/proc/3373/task/3375/stat : 3375 (java) S 3371 3373 3138 0 -1 64 407 0 0 0 4 0 0 0 16 0 8 0 155331596 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3376] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3376/stat : 3376 (java) S 3371 3373 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331597 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3377] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3377/stat : 3377 (java) S 3371 3373 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331597 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3378] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3378/stat : 3378 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3379] ppid=3371 vsize=915460 CPUtime=0.27
/proc/3373/task/3379/stat : 3379 (java) S 3371 3373 3138 0 -1 64 397 0 0 0 26 1 0 0 16 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3380] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3380/stat : 3380 (java) S 3371 3373 3138 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3381] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3381/stat : 3381 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 580.16
Current children cumulated vsize (KiB) 915460
[startup+643.037 s]
/proc/loadavg: 2.02 1.96 1.86 3/100 3438
/proc/meminfo: memFree=1265472/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915460 CPUtime=640.18
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 9647 0 1 0 64005 13 0 0 25 0 8 0 155331592 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822073 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3373/statm: 228865 9382 2513 14 0 215335 0
[pid=3373/tid=3375] ppid=3371 vsize=915460 CPUtime=0.04
/proc/3373/task/3375/stat : 3375 (java) S 3371 3373 3138 0 -1 64 407 0 0 0 4 0 0 0 16 0 8 0 155331596 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3376] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3376/stat : 3376 (java) S 3371 3373 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331597 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3377] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3377/stat : 3377 (java) S 3371 3373 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331597 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3378] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3378/stat : 3378 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3379] ppid=3371 vsize=915460 CPUtime=0.27
/proc/3373/task/3379/stat : 3379 (java) S 3371 3373 3138 0 -1 64 397 0 0 0 26 1 0 0 16 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3380] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3380/stat : 3380 (java) S 3371 3373 3138 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3381] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3381/stat : 3381 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 640.18
Current children cumulated vsize (KiB) 915460
[startup+703.108 s]
/proc/loadavg: 2.01 1.97 1.87 3/100 3438
/proc/meminfo: memFree=1265408/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915460 CPUtime=700.18
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 9647 0 1 0 70005 13 0 0 25 0 8 0 155331592 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3373/statm: 228865 9382 2513 14 0 215335 0
[pid=3373/tid=3375] ppid=3371 vsize=915460 CPUtime=0.04
/proc/3373/task/3375/stat : 3375 (java) S 3371 3373 3138 0 -1 64 407 0 0 0 4 0 0 0 16 0 8 0 155331596 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3376] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3376/stat : 3376 (java) S 3371 3373 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331597 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3377] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3377/stat : 3377 (java) S 3371 3373 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331597 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3378] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3378/stat : 3378 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3379] ppid=3371 vsize=915460 CPUtime=0.27
/proc/3373/task/3379/stat : 3379 (java) S 3371 3373 3138 0 -1 64 397 0 0 0 26 1 0 0 16 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3380] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3380/stat : 3380 (java) S 3371 3373 3138 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3381] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3381/stat : 3381 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 700.18
Current children cumulated vsize (KiB) 915460
[startup+763.177 s]
/proc/loadavg: 2.05 1.99 1.88 3/100 3438
/proc/meminfo: memFree=1265472/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915460 CPUtime=760.19
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 9647 0 1 0 76006 13 0 0 25 0 8 0 155331592 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822073 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3373/statm: 228865 9382 2513 14 0 215335 0
[pid=3373/tid=3375] ppid=3371 vsize=915460 CPUtime=0.04
/proc/3373/task/3375/stat : 3375 (java) S 3371 3373 3138 0 -1 64 407 0 0 0 4 0 0 0 16 0 8 0 155331596 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3376] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3376/stat : 3376 (java) S 3371 3373 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331597 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3377] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3377/stat : 3377 (java) S 3371 3373 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331597 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3378] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3378/stat : 3378 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3379] ppid=3371 vsize=915460 CPUtime=0.27
/proc/3373/task/3379/stat : 3379 (java) S 3371 3373 3138 0 -1 64 397 0 0 0 26 1 0 0 16 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3380] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3380/stat : 3380 (java) S 3371 3373 3138 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3381] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3381/stat : 3381 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 760.19
Current children cumulated vsize (KiB) 915460
[startup+823.246 s]
/proc/loadavg: 2.02 1.99 1.89 3/100 3438
/proc/meminfo: memFree=1265408/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915460 CPUtime=820.21
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 9647 0 1 0 82007 14 0 0 25 0 8 0 155331592 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809094 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3373/statm: 228865 9382 2513 14 0 215335 0
[pid=3373/tid=3375] ppid=3371 vsize=915460 CPUtime=0.04
/proc/3373/task/3375/stat : 3375 (java) S 3371 3373 3138 0 -1 64 407 0 0 0 4 0 0 0 16 0 8 0 155331596 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3376] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3376/stat : 3376 (java) S 3371 3373 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331597 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3377] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3377/stat : 3377 (java) S 3371 3373 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331597 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3378] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3378/stat : 3378 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3379] ppid=3371 vsize=915460 CPUtime=0.27
/proc/3373/task/3379/stat : 3379 (java) S 3371 3373 3138 0 -1 64 397 0 0 0 26 1 0 0 16 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3380] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3380/stat : 3380 (java) S 3371 3373 3138 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3381] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3381/stat : 3381 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 820.21
Current children cumulated vsize (KiB) 915460
[startup+883.317 s]
/proc/loadavg: 2.00 1.99 1.89 3/100 3438
/proc/meminfo: memFree=1265408/2055920 swapFree=4192812/4192956
[pid=3373] ppid=3371 vsize=915460 CPUtime=880.21
/proc/3373/stat : 3373 (java) R 3371 3373 3138 0 -1 0 9647 0 1 0 88007 14 0 0 25 0 8 0 155331592 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3373/statm: 228865 9382 2513 14 0 215335 0
[pid=3373/tid=3375] ppid=3371 vsize=915460 CPUtime=0.04
/proc/3373/task/3375/stat : 3375 (java) S 3371 3373 3138 0 -1 64 407 0 0 0 4 0 0 0 16 0 8 0 155331596 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3376] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3376/stat : 3376 (java) S 3371 3373 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331597 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3377] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3377/stat : 3377 (java) S 3371 3373 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331597 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3378] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3378/stat : 3378 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3379] ppid=3371 vsize=915460 CPUtime=0.27
/proc/3373/task/3379/stat : 3379 (java) S 3371 3373 3138 0 -1 64 397 0 0 0 26 1 0 0 16 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3380] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3380/stat : 3380 (java) S 3371 3373 3138 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3373/tid=3381] ppid=3371 vsize=915460 CPUtime=0
/proc/3373/task/3381/stat : 3381 (java) S 3371 3373 3138 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331600 937431040 9382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 880.21
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 906.123
CPU time (s): 902.971
CPU user time (s): 902.822
CPU system time (s): 0.148977
CPU usage (%): 99.6521
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 902.822
system time used= 0.148977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9656
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= 19456
involuntary context switches= 34504
runsolver used 1.12383 s user time and 2.89656 s system time
The end
Begin job on node13 on Sat Jan 6 07:42:44 UTC 2007
IDJOB= 194396
IDBENCH= 3212
FILE ID= node13/194396-1168069362
PBS_JOBID= 3475703
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-10_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194396-1168069362/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-194396-1168069362 -o ROOT/results/node13/solver-194396-1168069362 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194396-1168069362/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fed24bf814293fbb51b883238d7e9a01
RANDOM SEED= 512984250
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.247
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.247
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: 1092688 kB
Buffers: 70884 kB
Cached: 517996 kB
SwapCached: 0 kB
Active: 602904 kB
Inactive: 265368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1092688 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2104 kB
Writeback: 0 kB
Mapped: 301892 kB
Slab: 79204 kB
Committed_AS: 3789840 kB
PageTables: 2812 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= 66318 MiB
End job on node13 on Sat Jan 6 07:57:52 UTC 2007