0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/282412-1169319043/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.40 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.40 => wckTime=0.091 cpuTime=0.08 mem=6M885
0.40
0.40 relations being loaded...
0.45
0.45 constraints being loaded...
0.52 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.52 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1282 maxDegree=12
0.52 maxArity=2
0.52 => wckTime=0.209 cpuTime=0.14 mem=8M836
0.56
0.56 solver LocalSearchSolver being built...
0.60 => wckTime=0.289 cpuTime=0.18 mem=5M499
0.60
0.60 s SATISFIABLE
0.60 o 60
0.60 c 49
0.60 o 65
0.60 c 44
0.60 o 70
0.60 c 39
0.61 o 72
0.61 c 37
0.61 o 76
0.61 c 33
0.61 o 78
0.61 c 31
0.61 o 80
0.61 c 29
0.61 o 81
0.61 c 28
0.61 o 83
0.61 c 26
0.61 o 86
0.61 c 23
0.61 o 87
0.61 c 22
0.61 o 89
0.61 c 20
0.61 o 90
0.61 c 19
0.62 o 91
0.62 c 18
0.62 o 92
0.62 c 17
0.62 o 93
0.62 c 16
0.62 o 94
0.62 c 15
0.62 o 95
0.62 c 14
0.62 o 96
0.62 c 13
0.63 o 98
0.63 c 11
0.63 o 99
0.63 c 10
0.63 o 100
0.63 c 9
0.63 o 101
0.63 c 8
0.63 o 102
0.63 c 7
0.63 o 103
0.63 c 6
0.63 o 104
0.63 c 5
0.64 o 105
0.64 c 4
0.73 o 106
0.73 c 3
1.98
1.98 search
1.98 run=0 nbConstraintChecks=5991177 nbAssignments=10000
1.98 => wckTime=1.378 cpuTime=1.35 mem=5M499
3.31
3.31 search
3.31 run=1 nbConstraintChecks=12236208 nbAssignments=20000
3.31 => wckTime=2.716 cpuTime=2.68 mem=5M499
4.59
4.60 search
4.60 run=2 nbConstraintChecks=17984898 nbAssignments=30000
4.60 => wckTime=3.996 cpuTime=3.95 mem=5M499
5.93
5.93 search
5.93 run=3 nbConstraintChecks=24218974 nbAssignments=40000
5.94 => wckTime=5.336 cpuTime=5.29 mem=5M499
7.22
7.22 search
7.22 run=4 nbConstraintChecks=30069243 nbAssignments=50000
7.22 => wckTime=6.621 cpuTime=6.57 mem=5M499
8.52
8.52 search
8.52 run=5 nbConstraintChecks=36079457 nbAssignments=60000
8.52 => wckTime=7.918 cpuTime=7.85 mem=5M499
9.79
9.79 search
9.79 run=6 nbConstraintChecks=41856971 nbAssignments=70000
9.79 => wckTime=9.188 cpuTime=9.12 mem=5M499
11.11
11.11 search
11.11 run=7 nbConstraintChecks=48112709 nbAssignments=80000
11.11 => wckTime=10.516 cpuTime=10.45 mem=5M499
12.40
12.40 search
12.40 run=8 nbConstraintChecks=53998447 nbAssignments=90000
12.40 => wckTime=11.798 cpuTime=11.72 mem=5M499
13.68
13.68 search
13.68 run=9 nbConstraintChecks=59797547 nbAssignments=100000
13.68 => wckTime=13.081 cpuTime=12.99 mem=5M499
14.94
14.94 search
14.94 run=10 nbConstraintChecks=65451385 nbAssignments=110000
14.94 => wckTime=14.337 cpuTime=14.24 mem=5M499
16.20
16.20 search
16.20 run=11 nbConstraintChecks=71157005 nbAssignments=120000
16.20 => wckTime=15.604 cpuTime=15.5 mem=5M499
17.49
17.49 search
17.49 run=12 nbConstraintChecks=77035927 nbAssignments=130000
17.49 => wckTime=16.889 cpuTime=16.79 mem=5M499
18.76
18.76 search
18.76 run=13 nbConstraintChecks=82728049 nbAssignments=140000
18.76 => wckTime=18.161 cpuTime=18.05 mem=5M499
20.04
20.04 search
20.04 run=14 nbConstraintChecks=88517210 nbAssignments=150000
20.04 => wckTime=19.444 cpuTime=19.32 mem=5M499
21.32
21.32 search
21.32 run=15 nbConstraintChecks=94276483 nbAssignments=160000
21.32 => wckTime=20.725 cpuTime=20.6 mem=5M499
22.61
22.62 search
22.62 run=16 nbConstraintChecks=100073641 nbAssignments=170000
22.62 => wckTime=22.009 cpuTime=21.88 mem=5M499
23.92
23.92 search
23.93 run=17 nbConstraintChecks=106110962 nbAssignments=180000
23.93 => wckTime=23.326 cpuTime=23.18 mem=5M499
25.20
25.20 search
25.20 run=18 nbConstraintChecks=111870587 nbAssignments=190000
25.20 => wckTime=24.606 cpuTime=24.46 mem=5M499
26.48
26.48 search
26.48 run=19 nbConstraintChecks=117618109 nbAssignments=200000
26.48 => wckTime=25.883 cpuTime=25.73 mem=5M499
27.75
27.75 search
27.75 run=20 nbConstraintChecks=123318511 nbAssignments=210000
27.75 => wckTime=27.147 cpuTime=26.99 mem=5M499
29.04
29.04 search
29.05 run=21 nbConstraintChecks=129338987 nbAssignments=220000
29.05 => wckTime=28.446 cpuTime=28.28 mem=5M499
30.34
30.34 search
30.34 run=22 nbConstraintChecks=135337485 nbAssignments=230000
30.34 => wckTime=29.741 cpuTime=29.57 mem=5M499
30.90
30.90 search
30.90 run=23 nbConstraintChecks=137998729 nbAssignments=234180
30.90 => wckTime=30.305 cpuTime=30.13 mem=5M499
30.91
30.91 global
30.91 nbConstraintChecks=137998729 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.91 solvingWckTime=30.304 solvingCpuTime=30.13 expiredTime=no totalExploration=no nbFoundSolutions=0
30.91 globalCpuTime=30.36
30.91 => wckTime=30.595 cpuTime=30.31 mem=5M499
30.91
30.91 solver IterativeSystematicSolver being built...
31.05 => wckTime=30.736 cpuTime=30.42 mem=16M583
31.09
31.09 preprocessing
31.09 nbConstraintChecks=17938 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.09 detectedInconsistency=no
31.09 => wckTime=0.044 cpuTime=0.02 mem=16M583
31.13
31.13 search
31.13 run=0 nbConstraintChecks=83138 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57
31.13 nbFailedAssignments=40 nbBacktracks=10 nbVisitedNodes=108 nbRestartNogoods=0
31.13 => wckTime=0.085 cpuTime=0.06 mem=16M583
31.19
31.19 search
31.19 run=1 nbConstraintChecks=208337 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=137
31.19 nbFailedAssignments=98 nbBacktracks=25 nbVisitedNodes=261 nbRestartNogoods=8
31.19 => wckTime=0.146 cpuTime=0.11 mem=16M583
31.27
31.27 search
31.27 run=2 nbConstraintChecks=401651 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=265
31.27 nbFailedAssignments=196 nbBacktracks=47 nbVisitedNodes=509 nbRestartNogoods=19
31.27 => wckTime=0.221 cpuTime=0.18 mem=16M583
31.35
31.35 search
31.35 run=3 nbConstraintChecks=673952 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=442
31.35 nbFailedAssignments=334 nbBacktracks=80 nbVisitedNodes=857 nbRestartNogoods=36
31.35 => wckTime=0.304 cpuTime=0.26 mem=16M583
31.49
31.49 search
31.49 run=4 nbConstraintChecks=1027117 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=700
31.49 nbFailedAssignments=535 nbBacktracks=130 nbVisitedNodes=1364 nbRestartNogoods=42
31.49 => wckTime=0.441 cpuTime=0.4 mem=16M583
31.71
31.71 search
31.71 run=5 nbConstraintChecks=1690730 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1137
31.71 nbFailedAssignments=894 nbBacktracks=205 nbVisitedNodes=2223 nbRestartNogoods=57
31.71 => wckTime=0.66 cpuTime=0.61 mem=16M583
31.91
31.92 search
31.92 run=6 nbConstraintChecks=2324053 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1531
31.92 nbFailedAssignments=1167 nbBacktracks=318 nbVisitedNodes=3003 nbRestartNogoods=67
31.92 => wckTime=0.867 cpuTime=0.8 mem=16M583
32.30
32.30 search
32.30 run=7 nbConstraintChecks=3635502 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2331
32.30 nbFailedAssignments=1792 nbBacktracks=488 nbVisitedNodes=4597 nbRestartNogoods=72
32.30 => wckTime=1.257 cpuTime=1.18 mem=16M583
32.82
32.82 search
32.82 run=8 nbConstraintChecks=5479564 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3488
32.82 nbFailedAssignments=2684 nbBacktracks=744 nbVisitedNodes=6901 nbRestartNogoods=85
32.82 => wckTime=1.772 cpuTime=1.69 mem=16M583
33.63
33.63 search
33.63 run=9 nbConstraintChecks=8261912 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5360
33.63 nbFailedAssignments=4168 nbBacktracks=1128 nbVisitedNodes=10576 nbRestartNogoods=120
33.63 => wckTime=2.581 cpuTime=2.5 mem=16M583
34.76
34.76 search
34.76 run=10 nbConstraintChecks=12050486 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7919
34.76 nbFailedAssignments=6145 nbBacktracks=1704 nbVisitedNodes=15659 nbRestartNogoods=126
34.76 => wckTime=3.717 cpuTime=3.62 mem=16M583
36.36
36.36 search
36.36 run=11 nbConstraintChecks=17180578 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11337
36.36 nbFailedAssignments=8689 nbBacktracks=2569 nbVisitedNodes=22460 nbRestartNogoods=146
36.36 => wckTime=5.312 cpuTime=5.21 mem=16M583
38.95
38.95 search
38.95 run=12 nbConstraintChecks=26916828 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17377
38.95 nbFailedAssignments=13424 nbBacktracks=3866 nbVisitedNodes=34450 nbRestartNogoods=173
38.95 => wckTime=7.903 cpuTime=7.79 mem=16M583
42.26
42.26 search
42.26 run=13 nbConstraintChecks=38060238 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24493
42.26 nbFailedAssignments=18587 nbBacktracks=5812 nbVisitedNodes=48573 nbRestartNogoods=188
42.26 => wckTime=11.217 cpuTime=11.08 mem=16M583
47.00
47.00 search
47.00 run=14 nbConstraintChecks=53328778 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34972
47.00 nbFailedAssignments=26140 nbBacktracks=8731 nbVisitedNodes=69466 nbRestartNogoods=197
47.00 => wckTime=15.951 cpuTime=15.79 mem=16M583
53.24
53.24 search
53.24 run=15 nbConstraintChecks=71524640 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47793
53.24 nbFailedAssignments=34576 nbBacktracks=13110 nbVisitedNodes=94896 nbRestartNogoods=205
53.24 => wckTime=22.195 cpuTime=22.01 mem=16M583
62.70
62.71 search
62.71 run=16 nbConstraintChecks=98570322 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=66553
62.71 nbFailedAssignments=46760 nbBacktracks=19678 nbVisitedNodes=132094 nbRestartNogoods=230
62.71 => wckTime=31.658 cpuTime=31.43 mem=16M583
75.17
75.17 search
75.17 run=17 nbConstraintChecks=133875362 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=91943
75.17 nbFailedAssignments=62295 nbBacktracks=29530 nbVisitedNodes=182230 nbRestartNogoods=244
75.17 => wckTime=44.124 cpuTime=43.84 mem=16M583
93.19
93.19 search
93.19 run=18 nbConstraintChecks=183934649 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=127557
93.19 nbFailedAssignments=83127 nbBacktracks=44308 nbVisitedNodes=252446 nbRestartNogoods=259
93.19 => wckTime=62.145 cpuTime=61.77 mem=16M583
118.70
118.70 search
118.70 run=19 nbConstraintChecks=255076469 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=178294
118.70 nbFailedAssignments=111690 nbBacktracks=66477 nbVisitedNodes=352160 nbRestartNogoods=273
118.70 => wckTime=87.656 cpuTime=87.16 mem=16M583
134.79
134.79 search
134.79 run=20 nbConstraintChecks=299889847 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=210381
134.79 nbFailedAssignments=129460 nbBacktracks=80795 nbVisitedNodes=414917 nbRestartNogoods=289
134.79 => wckTime=103.745 cpuTime=103.17 mem=16M583
134.79
134.79 global
134.79 nbConstraintChecks=299907785 nbRestartNogoods=289 solvingWckTime=103.746 solvingCpuTime=103.17 expiredTime=no
134.79 totalExploration=yes nbFoundSolutions=0 globalCpuTime=133.64
134.79 => wckTime=134.482 cpuTime=133.59 mem=16M583
134.80
134.80 s OPTIMUM FOUND
134.80 v 6 2 5 4 5 3 7 5 6 5 1 8 6 1 8 10 9 4 7 4 2 1 8 2 1 6 2 8 4 2
134.80
134.80 totalWckTime=134.564 totalCpuTime=133.64
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-282412-1169319043 -o ROOT/results/node21/solver-282412-1169319043 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282412-1169319043/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.01 1.00 1.00 4/87 24191
/proc/meminfo: memFree=1239952/2055920 swapFree=4156356/4192956
[pid=24190] ppid=24188 vsize=906644 CPUtime=0.02
/proc/24190/stat : 24190 (java) S 24188 24190 23880 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 280298931 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/24190/statm: 226661 1818 1036 14 0 214244 0
[pid=24190/tid=24192] ppid=24188 vsize=906644 CPUtime=0
/proc/24190/task/24192/stat : 24192 (java) R 24188 24190 23880 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 280298934 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104786 s]
/proc/loadavg: 1.01 1.00 1.00 4/87 24191
/proc/meminfo: memFree=1239952/2055920 swapFree=4156356/4192956
[pid=24190] ppid=24188 vsize=914988 CPUtime=0.09
/proc/24190/stat : 24190 (java) R 24188 24190 23880 0 -1 0 3002 0 1 0 7 2 0 0 20 0 8 0 280298931 936947712 2748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154008560 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24190/statm: 228747 2748 1428 14 0 215242 0
[pid=24190/tid=24192] ppid=24188 vsize=914988 CPUtime=0
/proc/24190/task/24192/stat : 24192 (java) S 24188 24190 23880 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 280298934 936947712 2748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512864 s]
/proc/loadavg: 1.01 1.00 1.00 4/87 24191
/proc/meminfo: memFree=1239952/2055920 swapFree=4156356/4192956
[pid=24190] ppid=24188 vsize=915332 CPUtime=0.5
/proc/24190/stat : 24190 (java) R 24188 24190 23880 0 -1 0 6487 0 1 0 45 5 0 0 18 0 8 0 280298931 937299968 6226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24190/statm: 228833 6226 2152 14 0 215303 0
[pid=24190/tid=24192] ppid=24188 vsize=915332 CPUtime=0
/proc/24190/task/24192/stat : 24192 (java) S 24188 24190 23880 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 280298934 937299968 6226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33701 s]
/proc/loadavg: 1.01 1.00 1.00 3/94 24198
/proc/meminfo: memFree=1222424/2055920 swapFree=4156356/4192956
[pid=24190] ppid=24188 vsize=915444 CPUtime=1.31
/proc/24190/stat : 24190 (java) R 24188 24190 23880 0 -1 0 7048 0 1 0 105 26 0 0 25 0 8 0 280298931 937414656 6786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073655302 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24190/statm: 228861 6786 2479 14 0 215331 0
[pid=24190/tid=24192] ppid=24188 vsize=915444 CPUtime=0.02
/proc/24190/task/24192/stat : 24192 (java) S 24188 24190 23880 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280298934 937414656 6786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24193] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24193/stat : 24193 (java) S 24188 24190 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280298935 937414656 6786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24194] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24194/stat : 24194 (java) S 24188 24190 23880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280298935 937414656 6786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24195] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24195/stat : 24195 (java) S 24188 24190 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280298938 937414656 6786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24196] ppid=24188 vsize=915444 CPUtime=0.13
/proc/24190/task/24196/stat : 24196 (java) S 24188 24190 23880 0 -1 64 328 0 0 0 13 0 0 0 16 0 8 0 280298938 937414656 6786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24197] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24197/stat : 24197 (java) S 24188 24190 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280298939 937414656 6786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24198] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24198/stat : 24198 (java) S 24188 24190 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280298939 937414656 6786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.98032 s]
/proc/loadavg: 1.01 1.00 1.00 3/94 24198
/proc/meminfo: memFree=1222424/2055920 swapFree=4156356/4192956
[pid=24190] ppid=24188 vsize=915444 CPUtime=2.95
/proc/24190/stat : 24190 (java) R 24188 24190 23880 0 -1 0 7051 0 1 0 218 77 0 0 25 0 8 0 280298931 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073655317 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24190/statm: 228861 6788 2479 14 0 215331 0
[pid=24190/tid=24192] ppid=24188 vsize=915444 CPUtime=0.02
/proc/24190/task/24192/stat : 24192 (java) S 24188 24190 23880 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280298934 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24193] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24193/stat : 24193 (java) S 24188 24190 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280298935 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24194] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24194/stat : 24194 (java) S 24188 24190 23880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280298935 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24195] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24195/stat : 24195 (java) S 24188 24190 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280298938 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24196] ppid=24188 vsize=915444 CPUtime=0.13
/proc/24190/task/24196/stat : 24196 (java) S 24188 24190 23880 0 -1 64 330 0 0 0 13 0 0 0 16 0 8 0 280298938 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24197] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24197/stat : 24197 (java) S 24188 24190 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280298939 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24198] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24198/stat : 24198 (java) S 24188 24190 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280298939 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444
[startup+6.26995 s]
/proc/loadavg: 1.08 1.02 1.01 4/94 24198
/proc/meminfo: memFree=1222424/2055920 swapFree=4156356/4192956
[pid=24190] ppid=24188 vsize=915444 CPUtime=6.22
/proc/24190/stat : 24190 (java) R 24188 24190 23880 0 -1 0 7051 0 1 0 445 177 0 0 25 0 8 0 280298931 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073655232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24190/statm: 228861 6788 2479 14 0 215331 0
[pid=24190/tid=24192] ppid=24188 vsize=915444 CPUtime=0.02
/proc/24190/task/24192/stat : 24192 (java) S 24188 24190 23880 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280298934 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24193] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24193/stat : 24193 (java) S 24188 24190 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280298935 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24194] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24194/stat : 24194 (java) S 24188 24190 23880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280298935 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24195] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24195/stat : 24195 (java) S 24188 24190 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280298938 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24196] ppid=24188 vsize=915444 CPUtime=0.13
/proc/24190/task/24196/stat : 24196 (java) S 24188 24190 23880 0 -1 64 330 0 0 0 13 0 0 0 16 0 8 0 280298938 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24197] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24197/stat : 24197 (java) S 24188 24190 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280298939 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24198] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24198/stat : 24198 (java) S 24188 24190 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280298939 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915444
[startup+12.7552 s]
/proc/loadavg: 1.16 1.03 1.01 3/94 24198
/proc/meminfo: memFree=1222488/2055920 swapFree=4156356/4192956
[pid=24190] ppid=24188 vsize=915444 CPUtime=12.67
/proc/24190/stat : 24190 (java) R 24188 24190 23880 0 -1 0 7051 0 1 0 891 376 0 0 25 0 8 0 280298931 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24190/statm: 228861 6788 2479 14 0 215331 0
[pid=24190/tid=24192] ppid=24188 vsize=915444 CPUtime=0.02
/proc/24190/task/24192/stat : 24192 (java) S 24188 24190 23880 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280298934 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24193] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24193/stat : 24193 (java) S 24188 24190 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280298935 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24194] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24194/stat : 24194 (java) S 24188 24190 23880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280298935 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24195] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24195/stat : 24195 (java) S 24188 24190 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280298938 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24196] ppid=24188 vsize=915444 CPUtime=0.13
/proc/24190/task/24196/stat : 24196 (java) S 24188 24190 23880 0 -1 64 330 0 0 0 13 0 0 0 16 0 8 0 280298938 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24197] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24197/stat : 24197 (java) S 24188 24190 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280298939 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24198] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24198/stat : 24198 (java) S 24188 24190 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280298939 937414656 6788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915444
[startup+25.5986 s]
/proc/loadavg: 1.34 1.08 1.02 3/94 24198
/proc/meminfo: memFree=1222552/2055920 swapFree=4156356/4192956
[pid=24190] ppid=24188 vsize=915444 CPUtime=25.45
/proc/24190/stat : 24190 (java) R 24188 24190 23880 0 -1 0 7052 0 1 0 1769 776 0 0 25 0 8 0 280298931 937414656 6789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073659192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24190/statm: 228861 6789 2479 14 0 215331 0
[pid=24190/tid=24192] ppid=24188 vsize=915444 CPUtime=0.02
/proc/24190/task/24192/stat : 24192 (java) S 24188 24190 23880 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280298934 937414656 6789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24193] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24193/stat : 24193 (java) S 24188 24190 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280298935 937414656 6789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24194] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24194/stat : 24194 (java) S 24188 24190 23880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280298935 937414656 6789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24195] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24195/stat : 24195 (java) S 24188 24190 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280298938 937414656 6789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24196] ppid=24188 vsize=915444 CPUtime=0.13
/proc/24190/task/24196/stat : 24196 (java) S 24188 24190 23880 0 -1 64 331 0 0 0 13 0 0 0 16 0 8 0 280298938 937414656 6789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24197] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24197/stat : 24197 (java) S 24188 24190 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280298939 937414656 6789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24198] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24198/stat : 24198 (java) S 24188 24190 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280298939 937414656 6789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915444
[startup+51.2075 s]
/proc/loadavg: 1.57 1.15 1.05 3/94 24198
/proc/meminfo: memFree=1214680/2055920 swapFree=4156356/4192956
[pid=24190] ppid=24188 vsize=915444 CPUtime=50.93
/proc/24190/stat : 24190 (java) R 24188 24190 23880 0 -1 0 9115 0 1 0 4161 932 0 0 25 0 8 0 280298931 937414656 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24190/statm: 228861 8848 2532 14 0 215331 0
[pid=24190/tid=24192] ppid=24188 vsize=915444 CPUtime=0.02
/proc/24190/task/24192/stat : 24192 (java) S 24188 24190 23880 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 280298934 937414656 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24193] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24193/stat : 24193 (java) S 24188 24190 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280298935 937414656 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24194] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24194/stat : 24194 (java) S 24188 24190 23880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280298935 937414656 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24195] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24195/stat : 24195 (java) S 24188 24190 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280298938 937414656 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24196] ppid=24188 vsize=915444 CPUtime=0.24
/proc/24190/task/24196/stat : 24196 (java) S 24188 24190 23880 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 280298938 937414656 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24197] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24197/stat : 24197 (java) S 24188 24190 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280298939 937414656 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24198] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24198/stat : 24198 (java) S 24188 24190 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280298939 937414656 8848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915444
[startup+102.419 s]
/proc/loadavg: 1.81 1.28 1.10 3/94 24198
/proc/meminfo: memFree=1214680/2055920 swapFree=4156356/4192956
[pid=24190] ppid=24188 vsize=915444 CPUtime=101.9
/proc/24190/stat : 24190 (java) R 24188 24190 23880 0 -1 0 9129 0 1 0 9258 932 0 0 25 0 8 0 280298931 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24190/statm: 228861 8860 2532 14 0 215331 0
[pid=24190/tid=24192] ppid=24188 vsize=915444 CPUtime=0.02
/proc/24190/task/24192/stat : 24192 (java) S 24188 24190 23880 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 280298934 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24193] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24193/stat : 24193 (java) S 24188 24190 23880 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280298935 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24194] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24194/stat : 24194 (java) S 24188 24190 23880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280298935 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24195] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24195/stat : 24195 (java) S 24188 24190 23880 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280298938 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24196] ppid=24188 vsize=915444 CPUtime=0.24
/proc/24190/task/24196/stat : 24196 (java) S 24188 24190 23880 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 280298938 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24197] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24197/stat : 24197 (java) S 24188 24190 23880 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280298939 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24190/tid=24198] ppid=24188 vsize=915444 CPUtime=0
/proc/24190/task/24198/stat : 24198 (java) S 24188 24190 23880 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280298939 937414656 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 134.845
CPU time (s): 134.141
CPU user time (s): 124.803
CPU system time (s): 9.33758
CPU usage (%): 99.4774
Max. virtual memory (cumulated for all children) (KiB): 915960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.803
system time used= 9.33758
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9227
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= 3855
involuntary context switches= 5880
runsolver used 0.175973 s user time and 0.444932 s system time
The end
Begin job on node21 on Sat Jan 20 18:50:43 UTC 2007
IDJOB= 282412
IDBENCH= 12761
IDSOLVER= 68
FILE ID= node21/282412-1169319043
PBS_JOBID= 3610352
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-30-10-25-t48/pi-30-10-197-52-91.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282412-1169319043/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-282412-1169319043 -o ROOT/results/node21/solver-282412-1169319043 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282412-1169319043/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 364028af20c4b1dbb4759d2918d86288
RANDOM SEED= 911052080
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
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.261
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: 1240368 kB
Buffers: 48960 kB
Cached: 590832 kB
SwapCached: 7704 kB
Active: 283992 kB
Inactive: 454564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1240368 kB
SwapTotal: 4192956 kB
SwapFree: 4156356 kB
Dirty: 3976 kB
Writeback: 0 kB
Mapped: 107476 kB
Slab: 61720 kB
Committed_AS: 5503804 kB
PageTables: 2272 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= 66561 MiB
End job on node21 on Sat Jan 20 18:52:59 UTC 2007