0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/281639-1169313359/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.099 cpuTime=0.09 mem=6M910
0.41
0.41 relations being loaded...
0.45
0.45 constraints being loaded...
0.49 nbConstraints=63 nbRelationTypes=63 nbExtensionStructures=63 nbSharedExtensionStructures=0
0.49 nbConflictsStructures=63 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1065 maxDegree=9
0.49 maxArity=2
0.49 => wckTime=0.182 cpuTime=0.14 mem=7M950
0.53
0.53 solver LocalSearchSolver being built...
0.58 => wckTime=0.265 cpuTime=0.18 mem=5M428
0.58
0.58 s SATISFIABLE
0.58 o 15
0.58 c 48
0.58 o 18
0.58 c 45
0.58 o 20
0.58 c 43
0.59 o 22
0.59 c 41
0.59 o 24
0.59 c 39
0.59 o 26
0.59 c 37
0.59 o 28
0.59 c 35
0.59 o 29
0.59 c 34
0.59 o 31
0.59 c 32
0.59 o 32
0.59 c 31
0.59 o 33
0.59 c 30
0.60 o 34
0.60 c 29
0.60 o 35
0.60 c 28
0.60 o 36
0.60 c 27
0.60 o 37
0.60 c 26
0.60 o 38
0.60 c 25
0.61 o 39
0.61 c 24
0.61 o 40
0.61 c 23
0.61 o 41
0.61 c 22
0.73 o 42
0.73 c 21
2.03
2.03 search
2.03 run=0 nbConstraintChecks=7184904 nbAssignments=10000
2.03 => wckTime=1.458 cpuTime=1.43 mem=5M428
3.43
3.43 search
3.43 run=1 nbConstraintChecks=14393512 nbAssignments=20000
3.43 => wckTime=2.851 cpuTime=2.8 mem=5M428
4.82
4.82 search
4.82 run=2 nbConstraintChecks=21598388 nbAssignments=30000
4.82 => wckTime=4.24 cpuTime=4.18 mem=5M428
6.20
6.20 search
6.20 run=3 nbConstraintChecks=28761996 nbAssignments=40000
6.20 => wckTime=5.628 cpuTime=5.56 mem=5M428
7.60
7.60 search
7.60 run=4 nbConstraintChecks=35962590 nbAssignments=50000
7.60 => wckTime=7.02 cpuTime=6.94 mem=5M428
8.97
8.97 search
8.97 run=5 nbConstraintChecks=43023464 nbAssignments=60000
8.97 => wckTime=8.395 cpuTime=8.3 mem=5M428
10.35
10.35 search
10.35 run=6 nbConstraintChecks=50115684 nbAssignments=70000
10.35 => wckTime=9.778 cpuTime=9.67 mem=5M428
11.75
11.75 search
11.75 run=7 nbConstraintChecks=57434960 nbAssignments=80000
11.75 => wckTime=11.172 cpuTime=11.05 mem=5M428
13.13
13.13 search
13.13 run=8 nbConstraintChecks=64690252 nbAssignments=90000
13.13 => wckTime=12.556 cpuTime=12.42 mem=5M428
14.49
14.49 search
14.49 run=9 nbConstraintChecks=71710405 nbAssignments=100000
14.49 => wckTime=13.915 cpuTime=13.77 mem=5M428
15.86
15.86 search
15.86 run=10 nbConstraintChecks=78729947 nbAssignments=110000
15.86 => wckTime=15.281 cpuTime=15.12 mem=5M428
17.24
17.24 search
17.24 run=11 nbConstraintChecks=85930805 nbAssignments=120000
17.24 => wckTime=16.66 cpuTime=16.49 mem=5M428
18.61
18.61 search
18.61 run=12 nbConstraintChecks=93051090 nbAssignments=130000
18.61 => wckTime=18.037 cpuTime=17.86 mem=5M428
20.00
20.00 search
20.00 run=13 nbConstraintChecks=100366200 nbAssignments=140000
20.00 => wckTime=19.426 cpuTime=19.23 mem=5M428
21.38
21.38 search
21.38 run=14 nbConstraintChecks=107451791 nbAssignments=150000
21.38 => wckTime=20.802 cpuTime=20.6 mem=5M428
22.77
22.77 search
22.77 run=15 nbConstraintChecks=114536227 nbAssignments=160000
22.77 => wckTime=22.19 cpuTime=21.97 mem=5M428
24.17
24.17 search
24.17 run=16 nbConstraintChecks=121789250 nbAssignments=170000
24.17 => wckTime=23.591 cpuTime=23.35 mem=5M428
25.54
25.54 search
25.54 run=17 nbConstraintChecks=128815181 nbAssignments=180000
25.54 => wckTime=24.965 cpuTime=24.72 mem=5M428
26.93
26.93 search
26.93 run=18 nbConstraintChecks=135992667 nbAssignments=190000
26.93 => wckTime=26.352 cpuTime=26.09 mem=5M428
28.33
28.33 search
28.33 run=19 nbConstraintChecks=143184472 nbAssignments=200000
28.33 => wckTime=27.748 cpuTime=27.47 mem=5M428
29.71
29.71 search
29.71 run=20 nbConstraintChecks=150275090 nbAssignments=210000
29.71 => wckTime=29.137 cpuTime=28.84 mem=5M428
31.04
31.04 search
31.04 run=21 nbConstraintChecks=157054580 nbAssignments=219741
31.04 => wckTime=30.461 cpuTime=30.16 mem=5M428
31.04
31.04 global
31.04 nbConstraintChecks=157054580 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.04 solvingWckTime=30.46 solvingCpuTime=30.16 expiredTime=no totalExploration=no nbFoundSolutions=0
31.04 globalCpuTime=30.38
31.04 => wckTime=30.727 cpuTime=30.35 mem=5M428
31.04
31.04 solver IterativeSystematicSolver being built...
31.17 => wckTime=30.86 cpuTime=30.46 mem=16M434
31.18
31.18 preprocessing
31.18 nbConstraintChecks=1100 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.18 detectedInconsistency=no
31.18 => wckTime=0.0060 cpuTime=0.0 mem=16M434
31.23
31.23 search
31.23 run=0 nbConstraintChecks=58189 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43
31.23 nbFailedAssignments=24 nbBacktracks=10 nbVisitedNodes=78 nbRestartNogoods=0
31.23 => wckTime=0.058 cpuTime=0.03 mem=16M434
31.26
31.26 search
31.26 run=1 nbConstraintChecks=118230 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=83
31.26 nbFailedAssignments=41 nbBacktracks=25 nbVisitedNodes=150 nbRestartNogoods=2
31.26 => wckTime=0.089 cpuTime=0.05 mem=16M434
31.32
31.32 search
31.32 run=2 nbConstraintChecks=306632 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=192
31.32 nbFailedAssignments=121 nbBacktracks=47 nbVisitedNodes=360 nbRestartNogoods=5
31.32 => wckTime=0.15 cpuTime=0.11 mem=16M434
31.36
31.36 search
31.36 run=3 nbConstraintChecks=437878 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=278
31.36 nbFailedAssignments=166 nbBacktracks=80 nbVisitedNodes=524 nbRestartNogoods=16
31.36 => wckTime=0.186 cpuTime=0.14 mem=16M434
31.44
31.44 search
31.44 run=4 nbConstraintChecks=737408 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=453
31.44 nbFailedAssignments=284 nbBacktracks=131 nbVisitedNodes=866 nbRestartNogoods=32
31.44 => wckTime=0.271 cpuTime=0.23 mem=16M434
31.52
31.52 search
31.52 run=5 nbConstraintChecks=1076364 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=667
31.52 nbFailedAssignments=414 nbBacktracks=207 nbVisitedNodes=1285 nbRestartNogoods=35
31.52 => wckTime=0.347 cpuTime=0.3 mem=16M434
31.63
31.63 search
31.63 run=6 nbConstraintChecks=1479114 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=902
31.63 nbFailedAssignments=527 nbBacktracks=320 nbVisitedNodes=1744 nbRestartNogoods=40
31.63 => wckTime=0.456 cpuTime=0.41 mem=16M434
32.00
32.00 search
32.00 run=7 nbConstraintChecks=2870476 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1758
32.00 nbFailedAssignments=1204 nbBacktracks=490 nbVisitedNodes=3442 nbRestartNogoods=47
32.00 => wckTime=0.83 cpuTime=0.75 mem=16M434
32.43
32.43 search
32.43 run=8 nbConstraintChecks=4397590 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2697
32.43 nbFailedAssignments=1880 nbBacktracks=746 nbVisitedNodes=5297 nbRestartNogoods=73
32.43 => wckTime=1.254 cpuTime=1.17 mem=16M434
32.86
32.86 search
32.86 run=9 nbConstraintChecks=6158156 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3841
32.86 nbFailedAssignments=2631 nbBacktracks=1130 nbVisitedNodes=7574 nbRestartNogoods=86
32.86 => wckTime=1.689 cpuTime=1.6 mem=16M434
33.55
33.55 search
33.55 run=10 nbConstraintChecks=8933339 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5584
33.55 nbFailedAssignments=3791 nbBacktracks=1706 nbVisitedNodes=11053 nbRestartNogoods=94
33.55 => wckTime=2.378 cpuTime=2.28 mem=16M434
34.62
34.62 search
34.62 run=11 nbConstraintChecks=13231825 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8316
34.62 nbFailedAssignments=5652 nbBacktracks=2570 nbVisitedNodes=16509 nbRestartNogoods=103
34.62 => wckTime=3.444 cpuTime=3.33 mem=16M434
36.01
36.01 search
36.01 run=12 nbConstraintChecks=18249504 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11604
36.01 nbFailedAssignments=7634 nbBacktracks=3867 nbVisitedNodes=23071 nbRestartNogoods=112
36.01 => wckTime=4.837 cpuTime=4.71 mem=16M434
38.75
38.75 search
38.75 run=13 nbConstraintChecks=29152478 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18683
38.75 nbFailedAssignments=12759 nbBacktracks=5813 nbVisitedNodes=37129 nbRestartNogoods=125
38.75 => wckTime=7.576 cpuTime=7.42 mem=16M434
43.28
43.28 search
43.28 run=14 nbConstraintChecks=47547076 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29780
43.28 nbFailedAssignments=20931 nbBacktracks=8732 nbVisitedNodes=59305 nbRestartNogoods=146
43.28 => wckTime=12.112 cpuTime=11.92 mem=16M434
48.63
48.63 search
48.63 run=15 nbConstraintChecks=68139404 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42886
48.63 nbFailedAssignments=29651 nbBacktracks=13110 nbVisitedNodes=85267 nbRestartNogoods=152
48.63 => wckTime=17.462 cpuTime=17.22 mem=16M434
58.24
58.24 search
58.24 run=16 nbConstraintChecks=106677755 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68146
58.24 nbFailedAssignments=48335 nbBacktracks=19678 nbVisitedNodes=135748 nbRestartNogoods=167
58.24 => wckTime=27.073 cpuTime=26.74 mem=16M434
71.42
71.42 search
71.42 run=17 nbConstraintChecks=157191258 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=103678
71.42 nbFailedAssignments=74007 nbBacktracks=29530 nbVisitedNodes=206388 nbRestartNogoods=176
71.42 => wckTime=40.244 cpuTime=39.79 mem=16M434
92.23
92.23 search
92.23 run=18 nbConstraintChecks=240149809 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=156001
92.23 nbFailedAssignments=111547 nbBacktracks=44308 nbVisitedNodes=310284 nbRestartNogoods=203
92.23 => wckTime=61.058 cpuTime=60.41 mem=16M434
120.00
120.00 search
120.00 run=19 nbConstraintChecks=351719929 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=229568
120.00 nbFailedAssignments=162937 nbBacktracks=66476 nbVisitedNodes=456150 nbRestartNogoods=234
120.00 => wckTime=88.823 cpuTime=87.93 mem=16M434
160.48
160.48 search
160.48 run=20 nbConstraintChecks=506533607 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=338081
160.48 nbFailedAssignments=238189 nbBacktracks=99729 nbVisitedNodes=671292 nbRestartNogoods=261
160.48 => wckTime=129.304 cpuTime=128.04 mem=16M434
224.94
224.94 search
224.94 run=21 nbConstraintChecks=750471928 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=498642
224.94 nbFailedAssignments=348867 nbBacktracks=149607 nbVisitedNodes=988235 nbRestartNogoods=285
224.94 => wckTime=193.771 cpuTime=191.92 mem=16M434
320.53
320.53 search
320.53 run=22 nbConstraintChecks=1117611549 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=738325
320.53 nbFailedAssignments=513727 nbBacktracks=224425 nbVisitedNodes=1460953 nbRestartNogoods=299
320.53 => wckTime=289.353 cpuTime=286.63 mem=16M434
465.57
465.57 search
465.57 run=23 nbConstraintChecks=1672538069 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1096641
465.57 nbFailedAssignments=759810 nbBacktracks=336652 nbVisitedNodes=2168277 nbRestartNogoods=309
465.57 => wckTime=434.403 cpuTime=430.37 mem=16M434
545.03
545.03 search
545.03 run=24 nbConstraintChecks=1994752891 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1301674
545.03 nbFailedAssignments=902526 nbBacktracks=398970 nbVisitedNodes=2573414 nbRestartNogoods=322
545.03 => wckTime=513.857 cpuTime=509.48 mem=16M434
545.03
545.03 global
545.03 nbConstraintChecks=1994753991 nbRestartNogoods=322 solvingWckTime=513.857 solvingCpuTime=509.48 expiredTime=no
545.03 totalExploration=yes nbFoundSolutions=0 globalCpuTime=539.98
545.03 => wckTime=544.718 cpuTime=539.94 mem=16M434
545.03
545.03 s OPTIMUM FOUND
545.03 v 5 9 6 7 6 7 3 2 6 3 5 1 4 2 9 8 7 6 6 8 6 4 9 1 1
545.03
545.03 totalWckTime=544.802 totalCpuTime=539.98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-281639-1169313359 -o ROOT/results/node72/solver-281639-1169313359 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281639-1169313359/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.02 1.01 1.00 4/93 29945
/proc/meminfo: memFree=1654112/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=9788 CPUtime=0
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 461 0 0 0 0 0 0 0 19 0 1 0 279744739 10022912 248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2505970 0 0 4096 0 0 0 0 17 1 0 0
/proc/29944/statm: 2447 248 181 14 0 1138 0
[startup+0.105998 s]
/proc/loadavg: 1.02 1.01 1.00 4/93 29945
/proc/meminfo: memFree=1654112/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=914988 CPUtime=0.09
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 3018 0 1 0 8 1 0 0 17 0 8 0 279744739 936947712 2764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609883 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29944/statm: 228747 2764 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514035 s]
/proc/loadavg: 1.02 1.01 1.00 4/93 29945
/proc/meminfo: memFree=1654112/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=915332 CPUtime=0.49
/proc/29944/stat : 29944 (java) S 29942 29944 29703 0 -1 0 6472 0 1 0 45 4 0 0 18 0 8 0 279744739 937299968 6210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29944/statm: 228833 6210 2162 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33509 s]
/proc/loadavg: 1.02 1.01 1.00 3/100 29952
/proc/meminfo: memFree=1636968/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=915436 CPUtime=1.3
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 6950 0 1 0 102 28 0 0 23 0 8 0 279744739 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073644969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29944/statm: 228859 6688 2476 14 0 215329 0
[pid=29944/tid=29946] ppid=29942 vsize=915436 CPUtime=0.02
/proc/29944/task/29946/stat : 29946 (java) S 29942 29944 29703 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279744743 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29947] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29947/stat : 29947 (java) S 29942 29944 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279744743 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29948] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29948/stat : 29948 (java) S 29942 29944 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279744743 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29949] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29949/stat : 29949 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279744746 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29950] ppid=29942 vsize=915436 CPUtime=0.11
/proc/29944/task/29950/stat : 29950 (java) S 29942 29944 29703 0 -1 64 326 0 0 0 11 0 0 0 19 0 8 0 279744746 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29951] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29951/stat : 29951 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279744746 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29952] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29952/stat : 29952 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279744746 937406464 6688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915436
[startup+2.97222 s]
/proc/loadavg: 1.02 1.01 1.00 3/100 29952
/proc/meminfo: memFree=1636904/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=915436 CPUtime=2.92
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 6953 0 1 0 216 76 0 0 25 0 8 0 279744739 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073646772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29944/statm: 228859 6690 2476 14 0 215329 0
[pid=29944/tid=29946] ppid=29942 vsize=915436 CPUtime=0.02
/proc/29944/task/29946/stat : 29946 (java) S 29942 29944 29703 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279744743 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29947] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29947/stat : 29947 (java) S 29942 29944 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279744743 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29948] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29948/stat : 29948 (java) S 29942 29944 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279744743 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29949] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29949/stat : 29949 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279744746 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29950] ppid=29942 vsize=915436 CPUtime=0.11
/proc/29944/task/29950/stat : 29950 (java) S 29942 29944 29703 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 279744746 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29951] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29951/stat : 29951 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279744746 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29952] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29952/stat : 29952 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279744746 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915436
[startup+6.26947 s]
/proc/loadavg: 1.10 1.02 1.01 3/100 29952
/proc/meminfo: memFree=1636904/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=915436 CPUtime=6.19
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 6953 0 1 0 449 170 0 0 25 0 8 0 279744739 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073644969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29944/statm: 228859 6690 2476 14 0 215329 0
[pid=29944/tid=29946] ppid=29942 vsize=915436 CPUtime=0.02
/proc/29944/task/29946/stat : 29946 (java) S 29942 29944 29703 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279744743 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29947] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29947/stat : 29947 (java) S 29942 29944 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279744743 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29948] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29948/stat : 29948 (java) S 29942 29944 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279744743 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29949] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29949/stat : 29949 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279744746 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29950] ppid=29942 vsize=915436 CPUtime=0.11
/proc/29944/task/29950/stat : 29950 (java) S 29942 29944 29703 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 279744746 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29951] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29951/stat : 29951 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279744746 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29952] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29952/stat : 29952 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279744746 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915436
[startup+12.74 s]
/proc/loadavg: 1.17 1.04 1.01 3/100 29952
/proc/meminfo: memFree=1636904/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=915436 CPUtime=12.6
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 6953 0 1 0 901 359 0 0 25 0 8 0 279744739 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073649719 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29944/statm: 228859 6690 2476 14 0 215329 0
[pid=29944/tid=29946] ppid=29942 vsize=915436 CPUtime=0.02
/proc/29944/task/29946/stat : 29946 (java) S 29942 29944 29703 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279744743 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29947] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29947/stat : 29947 (java) S 29942 29944 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279744743 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29948] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29948/stat : 29948 (java) S 29942 29944 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279744743 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29949] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29949/stat : 29949 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279744746 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29950] ppid=29942 vsize=915436 CPUtime=0.11
/proc/29944/task/29950/stat : 29950 (java) S 29942 29944 29703 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 279744746 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29951] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29951/stat : 29951 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279744746 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29952] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29952/stat : 29952 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279744746 937406464 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915436
[startup+25.608 s]
/proc/loadavg: 1.35 1.09 1.02 3/100 29952
/proc/meminfo: memFree=1636968/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=915436 CPUtime=25.35
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 6955 0 1 0 1799 736 0 0 25 0 8 0 279744739 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29944/statm: 228859 6691 2476 14 0 215329 0
[pid=29944/tid=29946] ppid=29942 vsize=915436 CPUtime=0.02
/proc/29944/task/29946/stat : 29946 (java) S 29942 29944 29703 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279744743 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29947] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29947/stat : 29947 (java) S 29942 29944 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279744743 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29948] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29948/stat : 29948 (java) S 29942 29944 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279744743 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29949] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29949/stat : 29949 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279744746 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29950] ppid=29942 vsize=915436 CPUtime=0.11
/proc/29944/task/29950/stat : 29950 (java) S 29942 29944 29703 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 279744746 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29951] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29951/stat : 29951 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279744746 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29952] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29952/stat : 29952 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279744746 937406464 6691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915436
[startup+51.212 s]
/proc/loadavg: 1.57 1.16 1.05 3/100 29952
/proc/meminfo: memFree=1621288/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=915436 CPUtime=50.72
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 8995 0 1 0 4174 898 0 0 25 0 8 0 279744739 937406464 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073651384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29944/statm: 228859 8727 2527 14 0 215329 0
[pid=29944/tid=29946] ppid=29942 vsize=915436 CPUtime=0.02
/proc/29944/task/29946/stat : 29946 (java) S 29942 29944 29703 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279744743 937406464 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29947] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29947/stat : 29947 (java) S 29942 29944 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279744743 937406464 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29948] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29948/stat : 29948 (java) S 29942 29944 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279744743 937406464 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29949] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29949/stat : 29949 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279744746 937406464 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29950] ppid=29942 vsize=915436 CPUtime=0.22
/proc/29944/task/29950/stat : 29950 (java) S 29942 29944 29703 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 279744746 937406464 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29951] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29951/stat : 29951 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279744746 937406464 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29952] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29952/stat : 29952 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279744746 937406464 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915436
[startup+102.413 s]
/proc/loadavg: 1.81 1.29 1.10 3/100 29952
/proc/meminfo: memFree=1621224/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=915436 CPUtime=101.46
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 9006 0 1 0 9247 899 0 0 25 0 8 0 279744739 937406464 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29944/statm: 228859 8737 2527 14 0 215329 0
[pid=29944/tid=29946] ppid=29942 vsize=915436 CPUtime=0.02
/proc/29944/task/29946/stat : 29946 (java) S 29942 29944 29703 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279744743 937406464 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29947] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29947/stat : 29947 (java) S 29942 29944 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279744743 937406464 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29948] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29948/stat : 29948 (java) S 29942 29944 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279744743 937406464 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29949] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29949/stat : 29949 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279744746 937406464 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29950] ppid=29942 vsize=915436 CPUtime=0.22
/proc/29944/task/29950/stat : 29950 (java) S 29942 29944 29703 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 279744746 937406464 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29951] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29951/stat : 29951 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279744746 937406464 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29952] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29952/stat : 29952 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279744746 937406464 8737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915436
[startup+162.457 s]
/proc/loadavg: 1.93 1.41 1.15 3/100 29952
/proc/meminfo: memFree=1621160/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=915436 CPUtime=160.95
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 9011 0 1 0 15196 899 0 0 25 0 8 0 279744739 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073651392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29944/statm: 228859 8742 2527 14 0 215329 0
[pid=29944/tid=29946] ppid=29942 vsize=915436 CPUtime=0.02
/proc/29944/task/29946/stat : 29946 (java) S 29942 29944 29703 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279744743 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29947] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29947/stat : 29947 (java) S 29942 29944 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279744743 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29948] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29948/stat : 29948 (java) S 29942 29944 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279744743 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29949] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29949/stat : 29949 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279744746 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29950] ppid=29942 vsize=915436 CPUtime=0.22
/proc/29944/task/29950/stat : 29950 (java) S 29942 29944 29703 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 279744746 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29951] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29951/stat : 29951 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279744746 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29952] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29952/stat : 29952 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279744746 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (KiB) 915436
[startup+222.498 s]
/proc/loadavg: 1.97 1.52 1.20 3/100 29954
/proc/meminfo: memFree=1620840/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=915436 CPUtime=220.45
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 9011 0 1 0 21145 900 0 0 25 0 8 0 279744739 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757880 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29944/statm: 228859 8742 2527 14 0 215329 0
[pid=29944/tid=29946] ppid=29942 vsize=915436 CPUtime=0.02
/proc/29944/task/29946/stat : 29946 (java) S 29942 29944 29703 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279744743 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29947] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29947/stat : 29947 (java) S 29942 29944 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279744743 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29948] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29948/stat : 29948 (java) S 29942 29944 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279744743 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29949] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29949/stat : 29949 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279744746 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29950] ppid=29942 vsize=915436 CPUtime=0.22
/proc/29944/task/29950/stat : 29950 (java) S 29942 29944 29703 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 279744746 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29951] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29951/stat : 29951 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279744746 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29952] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29952/stat : 29952 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279744746 937406464 8742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.45
Current children cumulated vsize (KiB) 915436
[startup+282.54 s]
/proc/loadavg: 1.99 1.60 1.25 3/100 29954
/proc/meminfo: memFree=1620904/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=915436 CPUtime=279.95
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 9014 0 1 0 27095 900 0 0 25 0 8 0 279744739 937406464 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753769 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29944/statm: 228859 8744 2527 14 0 215329 0
[pid=29944/tid=29946] ppid=29942 vsize=915436 CPUtime=0.02
/proc/29944/task/29946/stat : 29946 (java) S 29942 29944 29703 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279744743 937406464 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29947] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29947/stat : 29947 (java) S 29942 29944 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279744743 937406464 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29948] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29948/stat : 29948 (java) S 29942 29944 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279744743 937406464 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29949] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29949/stat : 29949 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279744746 937406464 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29950] ppid=29942 vsize=915436 CPUtime=0.22
/proc/29944/task/29950/stat : 29950 (java) S 29942 29944 29703 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 279744746 937406464 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29951] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29951/stat : 29951 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279744746 937406464 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29952] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29952/stat : 29952 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279744746 937406464 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.95
Current children cumulated vsize (KiB) 915436
[startup+342.583 s]
/proc/loadavg: 1.99 1.67 1.29 3/100 29954
/proc/meminfo: memFree=1620904/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=915436 CPUtime=339.45
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 9017 0 1 0 33045 900 0 0 25 0 8 0 279744739 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29944/statm: 228859 8747 2527 14 0 215329 0
[pid=29944/tid=29946] ppid=29942 vsize=915436 CPUtime=0.02
/proc/29944/task/29946/stat : 29946 (java) S 29942 29944 29703 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279744743 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29947] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29947/stat : 29947 (java) S 29942 29944 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279744743 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29948] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29948/stat : 29948 (java) S 29942 29944 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279744743 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29949] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29949/stat : 29949 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279744746 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29950] ppid=29942 vsize=915436 CPUtime=0.22
/proc/29944/task/29950/stat : 29950 (java) S 29942 29944 29703 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 279744746 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29951] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29951/stat : 29951 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279744746 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29952] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29952/stat : 29952 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279744746 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.45
Current children cumulated vsize (KiB) 915436
[startup+402.624 s]
/proc/loadavg: 1.99 1.73 1.33 3/100 29954
/proc/meminfo: memFree=1620904/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=915436 CPUtime=398.95
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 9017 0 1 0 38994 901 0 0 25 0 8 0 279744739 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29944/statm: 228859 8747 2527 14 0 215329 0
[pid=29944/tid=29946] ppid=29942 vsize=915436 CPUtime=0.02
/proc/29944/task/29946/stat : 29946 (java) S 29942 29944 29703 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279744743 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29947] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29947/stat : 29947 (java) S 29942 29944 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279744743 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29948] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29948/stat : 29948 (java) S 29942 29944 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279744743 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29949] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29949/stat : 29949 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279744746 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29950] ppid=29942 vsize=915436 CPUtime=0.22
/proc/29944/task/29950/stat : 29950 (java) S 29942 29944 29703 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 279744746 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29951] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29951/stat : 29951 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279744746 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29952] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29952/stat : 29952 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279744746 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.95
Current children cumulated vsize (KiB) 915436
[startup+462.672 s]
/proc/loadavg: 1.99 1.78 1.37 3/100 29954
/proc/meminfo: memFree=1620904/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=915436 CPUtime=458.45
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 9017 0 1 0 44944 901 0 0 25 0 8 0 279744739 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29944/statm: 228859 8747 2527 14 0 215329 0
[pid=29944/tid=29946] ppid=29942 vsize=915436 CPUtime=0.02
/proc/29944/task/29946/stat : 29946 (java) S 29942 29944 29703 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279744743 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29947] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29947/stat : 29947 (java) S 29942 29944 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279744743 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29948] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29948/stat : 29948 (java) S 29942 29944 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279744743 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29949] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29949/stat : 29949 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279744746 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29950] ppid=29942 vsize=915436 CPUtime=0.22
/proc/29944/task/29950/stat : 29950 (java) S 29942 29944 29703 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 279744746 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29951] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29951/stat : 29951 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279744746 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29952] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29952/stat : 29952 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279744746 937406464 8747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.45
Current children cumulated vsize (KiB) 915436
[startup+522.719 s]
/proc/loadavg: 1.94 1.80 1.40 2/88 30010
/proc/meminfo: memFree=1645704/2055920 swapFree=4191880/4192956
[pid=29944] ppid=29942 vsize=915436 CPUtime=518.15
/proc/29944/stat : 29944 (java) R 29942 29944 29703 0 -1 0 9019 0 1 0 50913 902 0 0 25 0 8 0 279744739 937406464 8749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817113 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29944/statm: 228859 8749 2527 14 0 215329 0
[pid=29944/tid=29946] ppid=29942 vsize=915436 CPUtime=0.02
/proc/29944/task/29946/stat : 29946 (java) S 29942 29944 29703 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279744743 937406464 8749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29947] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29947/stat : 29947 (java) S 29942 29944 29703 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279744743 937406464 8749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29948] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29948/stat : 29948 (java) S 29942 29944 29703 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279744743 937406464 8749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29949] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29949/stat : 29949 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279744746 937406464 8749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29950] ppid=29942 vsize=915436 CPUtime=0.22
/proc/29944/task/29950/stat : 29950 (java) S 29942 29944 29703 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 279744746 937406464 8749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29951] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29951/stat : 29951 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279744746 937406464 8749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29944/tid=29952] ppid=29942 vsize=915436 CPUtime=0
/proc/29944/task/29952/stat : 29952 (java) S 29942 29944 29703 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279744746 937406464 8749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.15
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 545.086
CPU time (s): 540.458
CPU user time (s): 531.404
CPU system time (s): 9.05362
CPU usage (%): 99.1509
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 531.404
system time used= 9.05362
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9114
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= 11925
involuntary context switches= 31339
runsolver used 0.638902 s user time and 1.78173 s system time
The end
Begin job on node72 on Sat Jan 20 17:15:59 UTC 2007
IDJOB= 281639
IDBENCH= 12235
IDSOLVER= 69
FILE ID= node72/281639-1169313359
PBS_JOBID= 3610291
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseTight/vcsp-25-10-21-85-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281639-1169313359/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-281639-1169313359 -o ROOT/results/node72/solver-281639-1169313359 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281639-1169313359/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bd392f599d534b408a810699ea831df5
RANDOM SEED= 61898060
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1654528 kB
Buffers: 38668 kB
Cached: 232248 kB
SwapCached: 268 kB
Active: 137636 kB
Inactive: 198152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1654528 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3756 kB
Writeback: 0 kB
Mapped: 92308 kB
Slab: 50320 kB
Committed_AS: 5793452 kB
PageTables: 2360 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 node72 on Sat Jan 20 17:25:04 UTC 2007