0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/275810-1169227466/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.41 nbVariables=200 nbDomainTypes=2 minDomainSize=18 maxDomainSize=21
0.41 => wckTime=0.12 cpuTime=0.09 mem=6M877
0.41
0.41 predicates being loaded...
0.42
0.42 constraints being loaded...
0.78 nbConstraints=1235 nbConvertedConstraints=1235 nbConvertConstraintsChecks=32211 nbExtensionStructures=83
0.78 nbSharedExtensionStructures=1152 nbConflictsStructures=83 nbSharedConflictsStructures=1152
0.78 nbSharedBinaryRepresentations=3107 maxDegree=44 maxArity=2
0.78 => wckTime=0.485 cpuTime=0.35 mem=13M704
0.83
0.83 solver LocalSearchSolver being built...
0.86 => wckTime=0.57 cpuTime=0.4 mem=6M166
0.87
0.87 s SATISFIABLE
0.87 o 913
0.87 c 322
0.87 o 919
0.87 c 316
0.87 o 923
0.87 c 312
0.88 o 930
0.88 c 305
0.88 o 936
0.88 c 299
0.88 o 942
0.88 c 293
0.88 o 945
0.88 c 290
0.88 o 948
0.88 c 287
0.88 o 953
0.88 c 282
0.89 o 958
0.89 c 277
0.89 o 963
0.89 c 272
0.89 o 967
0.89 c 268
0.89 o 971
0.89 c 264
0.89 o 975
0.89 c 260
0.89 o 977
0.89 c 258
0.89 o 982
0.89 c 253
0.89 o 984
0.89 c 251
0.89 o 985
0.89 c 250
0.89 o 988
0.89 c 247
0.89 o 990
0.89 c 245
0.89 o 994
0.89 c 241
0.89 o 995
0.89 c 240
0.89 o 1000
0.89 c 235
0.89 o 1004
0.89 c 231
0.89 o 1008
0.89 c 227
0.90 o 1009
0.90 c 226
0.90 o 1010
0.90 c 225
0.90 o 1013
0.90 c 222
0.90 o 1014
0.90 c 221
0.90 o 1017
0.90 c 218
0.90 o 1022
0.90 c 213
0.90 o 1026
0.90 c 209
0.90 o 1027
0.90 c 208
0.90 o 1028
0.90 c 207
0.90 o 1031
0.90 c 204
0.90 o 1033
0.90 c 202
0.90 o 1034
0.90 c 201
0.90 o 1038
0.90 c 197
0.90 o 1041
0.90 c 194
0.91 o 1045
0.91 c 190
0.91 o 1048
0.91 c 187
0.91 o 1051
0.91 c 184
0.91 o 1054
0.91 c 181
0.91 o 1057
0.91 c 178
0.91 o 1061
0.91 c 174
0.91 o 1064
0.91 c 171
0.91 o 1067
0.91 c 168
0.91 o 1069
0.91 c 166
0.91 o 1070
0.91 c 165
0.91 o 1071
0.91 c 164
0.91 o 1072
0.91 c 163
0.91 o 1076
0.91 c 159
0.91 o 1077
0.91 c 158
0.91 o 1080
0.91 c 155
0.92 o 1081
0.92 c 154
0.92 o 1084
0.92 c 151
0.92 o 1087
0.92 c 148
0.92 o 1088
0.92 c 147
0.92 o 1091
0.92 c 144
0.92 o 1094
0.92 c 141
0.92 o 1098
0.92 c 137
0.92 o 1100
0.92 c 135
0.92 o 1102
0.92 c 133
0.92 o 1104
0.92 c 131
0.92 o 1108
0.92 c 127
0.92 o 1110
0.92 c 125
0.92 o 1112
0.92 c 123
0.92 o 1114
0.93 c 121
0.93 o 1116
0.93 c 119
0.93 o 1118
0.93 c 117
0.93 o 1120
0.93 c 115
0.93 o 1122
0.93 c 113
0.93 o 1124
0.93 c 111
0.93 o 1126
0.93 c 109
0.93 o 1127
0.93 c 108
0.93 o 1128
0.93 c 107
0.93 o 1130
0.93 c 105
0.93 o 1131
0.93 c 104
0.93 o 1133
0.93 c 102
0.93 o 1134
0.93 c 101
0.93 o 1136
0.93 c 99
0.93 o 1138
0.93 c 97
0.93 o 1140
0.93 c 95
0.93 o 1142
0.93 c 93
0.93 o 1143
0.94 c 92
0.94 o 1145
0.94 c 90
0.94 o 1149
0.94 c 86
0.94 o 1150
0.94 c 85
0.94 o 1152
0.94 c 83
0.94 o 1153
0.94 c 82
0.94 o 1154
0.94 c 81
0.94 o 1156
0.94 c 79
0.94 o 1158
0.94 c 77
0.94 o 1159
0.94 c 76
0.94 o 1160
0.94 c 75
0.94 o 1161
0.94 c 74
0.94 o 1162
0.94 c 73
0.94 o 1163
0.94 c 72
0.94 o 1164
0.94 c 71
0.94 o 1165
0.94 c 70
0.94 o 1166
0.94 c 69
0.95 o 1167
0.95 c 68
0.95 o 1168
0.95 c 67
0.95 o 1169
0.95 c 66
0.95 o 1172
0.95 c 63
0.95 o 1173
0.95 c 62
0.95 o 1174
0.95 c 61
0.95 o 1175
0.95 c 60
0.95 o 1176
0.95 c 59
0.95 o 1177
0.95 c 58
0.95 o 1178
0.95 c 57
0.95 o 1179
0.95 c 56
0.95 o 1180
0.95 c 55
0.95 o 1181
0.95 c 54
0.95 o 1182
0.95 c 53
0.96 o 1183
0.96 c 52
0.96 o 1185
0.96 c 50
0.96 o 1186
0.96 c 49
0.96 o 1187
0.96 c 48
0.96 o 1189
0.96 c 46
0.97 o 1190
0.97 c 45
0.97 o 1191
0.97 c 44
0.97 o 1193
0.97 c 42
0.97 o 1194
0.97 c 41
0.97 o 1196
0.98 c 39
0.98 o 1198
0.98 c 37
0.98 o 1202
0.98 c 33
0.99 o 1203
0.99 c 32
0.99 o 1204
0.99 c 31
0.99 o 1207
0.99 c 28
0.99 o 1208
0.99 c 27
1.00 o 1210
1.00 c 25
1.00 o 1213
1.00 c 22
1.09 o 1215
1.09 c 20
1.10 o 1217
1.10 c 18
1.10 o 1219
1.10 c 16
1.14 o 1221
1.14 c 14
1.14 o 1222
1.14 c 13
1.14 o 1223
1.14 c 12
1.18 o 1225
1.18 c 10
1.18 o 1226
1.18 c 9
1.18 o 1229
1.18 c 6
1.23 o 1231
1.23 c 4
1.28 o 1233
1.28 c 2
12.52
12.52 search
12.52 run=0 nbConstraintChecks=115379425 nbAssignments=10000
12.52 => wckTime=11.655 cpuTime=11.56 mem=6M166
25.32
25.32 search
25.32 run=1 nbConstraintChecks=242057900 nbAssignments=20000
25.32 => wckTime=24.461 cpuTime=24.31 mem=6M166
31.45
31.45 search
31.45 run=2 nbConstraintChecks=301992812 nbAssignments=25573
31.45 => wckTime=30.587 cpuTime=30.41 mem=6M166
31.45
31.45 global
31.45 nbConstraintChecks=301992812 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.45 solvingWckTime=30.586 solvingCpuTime=30.4 expiredTime=no totalExploration=no nbFoundSolutions=0
31.45 globalCpuTime=30.85
31.45 => wckTime=31.158 cpuTime=30.8 mem=6M166
31.45
31.45 solver IterativeSystematicSolver being built...
31.59 => wckTime=31.299 cpuTime=30.91 mem=18M114
32.68
32.68 preprocessing
32.68 nbConstraintChecks=975753 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.68 detectedInconsistency=no
32.68 => wckTime=1.09 cpuTime=1.05 mem=18M114
33.32
33.32 search
33.32 run=0 nbConstraintChecks=1362491 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=154
33.32 nbFailedAssignments=74 nbBacktracks=10 nbVisitedNodes=239 nbRestartNogoods=0
33.32 => wckTime=1.724 cpuTime=1.68 mem=18M114
34.12
34.12 search
34.12 run=1 nbConstraintChecks=2484378 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=254
34.12 nbFailedAssignments=148 nbBacktracks=26 nbVisitedNodes=429 nbRestartNogoods=15
34.12 => wckTime=2.525 cpuTime=2.46 mem=18M114
35.31
35.31 search
35.31 run=2 nbConstraintChecks=5202203 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=480
35.31 nbFailedAssignments=276 nbBacktracks=48 nbVisitedNodes=800 nbRestartNogoods=26
35.31 => wckTime=3.717 cpuTime=3.65 mem=18M114
36.87
36.87 search
36.87 run=3 nbConstraintChecks=9478572 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=765
36.87 nbFailedAssignments=483 nbBacktracks=81 nbVisitedNodes=1325 nbRestartNogoods=59
36.87 => wckTime=5.274 cpuTime=5.2 mem=18M114
38.88
38.88 search
38.88 run=4 nbConstraintChecks=11469543 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=943
38.88 nbFailedAssignments=597 nbBacktracks=132 nbVisitedNodes=1668 nbRestartNogoods=103
38.88 => wckTime=7.288 cpuTime=7.2 mem=18M114
42.00
42.00 search
42.00 run=5 nbConstraintChecks=14688078 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1187
42.00 nbFailedAssignments=748 nbBacktracks=207 nbVisitedNodes=2138 nbRestartNogoods=107
42.00 => wckTime=10.409 cpuTime=10.3 mem=18M114
43.69
43.69 search
43.69 run=6 nbConstraintChecks=17010528 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1515
43.69 nbFailedAssignments=891 nbBacktracks=320 nbVisitedNodes=2646 nbRestartNogoods=126
43.69 => wckTime=12.099 cpuTime=11.98 mem=18M114
49.40
49.40 search
49.40 run=7 nbConstraintChecks=25523558 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2126
49.40 nbFailedAssignments=1247 nbBacktracks=490 nbVisitedNodes=3783 nbRestartNogoods=133
49.40 => wckTime=17.81 cpuTime=17.63 mem=18M114
60.67
60.67 search
60.67 run=8 nbConstraintChecks=36259223 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3013
60.67 nbFailedAssignments=1835 nbBacktracks=746 nbVisitedNodes=5510 nbRestartNogoods=182
60.67 => wckTime=29.078 cpuTime=28.85 mem=18M114
69.79
69.79 search
69.79 run=9 nbConstraintChecks=48351803 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3916
69.79 nbFailedAssignments=2267 nbBacktracks=1130 nbVisitedNodes=7226 nbRestartNogoods=216
69.79 => wckTime=38.195 cpuTime=37.93 mem=18M114
76.34
76.34 search
76.34 run=10 nbConstraintChecks=59241287 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5063
76.34 nbFailedAssignments=2698 nbBacktracks=1707 nbVisitedNodes=9359 nbRestartNogoods=238
76.34 => wckTime=44.749 cpuTime=44.45 mem=18M114
90.72
90.72 search
90.72 run=11 nbConstraintChecks=79919054 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6711
90.72 nbFailedAssignments=3353 nbBacktracks=2588 nbVisitedNodes=12534 nbRestartNogoods=292
90.72 => wckTime=59.13 cpuTime=58.77 mem=18M114
105.46
105.46 search
105.46 run=12 nbConstraintChecks=101110056 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8579
105.46 nbFailedAssignments=3829 nbBacktracks=3885 nbVisitedNodes=16124 nbRestartNogoods=323
105.46 => wckTime=73.87 cpuTime=73.43 mem=18M114
125.61
125.61 search
125.61 run=13 nbConstraintChecks=134840428 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11775
125.61 nbFailedAssignments=4948 nbBacktracks=5832 nbVisitedNodes=22144 nbRestartNogoods=362
125.61 => wckTime=94.02 cpuTime=93.5 mem=18M114
194.01
194.01 search
194.01 run=14 nbConstraintChecks=217358978 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17096
194.01 nbFailedAssignments=7322 nbBacktracks=8753 nbVisitedNodes=32241 nbRestartNogoods=390
194.01 => wckTime=162.417 cpuTime=161.57 mem=18M114
290.96
290.96 search
290.96 run=15 nbConstraintChecks=332113122 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25054
290.96 nbFailedAssignments=10875 nbBacktracks=13136 nbVisitedNodes=48010 nbRestartNogoods=448
290.96 => wckTime=259.369 cpuTime=258.08 mem=18M114
472.33
472.33 search
472.33 run=16 nbConstraintChecks=494489039 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41563
472.33 nbFailedAssignments=20811 nbBacktracks=19704 nbVisitedNodes=80242 nbRestartNogoods=465
472.33 => wckTime=440.735 cpuTime=438.62 mem=18M114
542.66
542.66 search
542.66 run=17 nbConstraintChecks=543944523 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47442
542.66 nbFailedAssignments=24488 nbBacktracks=21907 nbVisitedNodes=91792 nbRestartNogoods=472
542.66 => wckTime=511.07 cpuTime=508.64 mem=18M114
542.66
542.66 global
542.66 nbConstraintChecks=544920276 nbRestartNogoods=472 solvingWckTime=511.071 solvingCpuTime=508.64 expiredTime=no
542.66 totalExploration=yes nbFoundSolutions=0 globalCpuTime=539.6
542.66 => wckTime=542.371 cpuTime=539.55 mem=18M114
542.67
542.67 s OPTIMUM FOUND
542.67 v 268 30 282 44 58 296 72 310 100 338 254 16 142 380 142 380 254 16 254 16 254 16 254 16 296 58 128 366 100 338 100 338 58 296 128 366 30 268 44 282 16 254 30 268 30 268 142 380 296 58 296 58 30 268 352 114 16 254 86 324 268 30 338 100 380 142 44 282 16 254 30 268 44 282 44 282 268 30 44 282 114 352 86 324 380 142 128 366 296 58 324 86 380 142 128 366 352 114 100 338 380 142 310 72 100 338 268 30 142 380 142 380 282 44 366 128 296 58 352 114 58 296 114 352 100 338 366 128 366 128 338 100 268 30 30 268 100 338 30 268 58 296 58 296 44 282 142 380 338 100 310 72 142 380 16 254 380 142 142 380 30 268 114 352 128 366 254 16 30 268 282 44 282 44 128 366 352 114 380 142 310 72 142 380 282 44 128 366 282 44 86 324 338 100 268 30 324 86 324 86
542.67
542.67 totalWckTime=542.448 totalCpuTime=539.61
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-275810-1169227466 -o ROOT/results/node61/solver-275810-1169227466 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275810-1169227466/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: 2.00 2.00 1.91 3/81 25362
/proc/meminfo: memFree=1371224/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=18540 CPUtime=0
/proc/25361/stat : 25361 (runsolver) R 25359 25361 24880 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 271144470 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 246406507815 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/25361/statm: 4635 279 244 17 0 2626 0
[startup+0.101781 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 25362
/proc/meminfo: memFree=1371224/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=914988 CPUtime=0.08
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 3029 0 1 0 7 1 0 0 25 0 8 0 271144470 936947712 2775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155769955 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228747 2775 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.50986 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 25362
/proc/meminfo: memFree=1371224/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=915332 CPUtime=0.48
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 6490 0 1 0 44 4 0 0 25 0 8 0 271144470 937299968 6229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073610304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228833 6229 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33099 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25369
/proc/meminfo: memFree=1347616/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=915448 CPUtime=1.3
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 8596 0 1 0 116 14 0 0 25 0 8 0 271144470 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228862 8334 2499 14 0 215332 0
[pid=25361/tid=25363] ppid=25359 vsize=915448 CPUtime=0.03
/proc/25361/task/25363/stat : 25363 (java) S 25359 25361 24880 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 271144474 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25364] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25359 25361 24880 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271144474 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25359 25361 24880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271144474 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25366] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25366/stat : 25366 (java) S 25359 25361 24880 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25367] ppid=25359 vsize=915448 CPUtime=0.18
/proc/25361/task/25367/stat : 25367 (java) S 25359 25361 24880 0 -1 64 379 0 0 0 18 0 0 0 16 0 8 0 271144477 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25369/stat : 25369 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271144477 937418752 8334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915448
[startup+2.96928 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25369
/proc/meminfo: memFree=1347552/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=915448 CPUtime=2.93
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 8599 0 1 0 273 20 0 0 25 0 8 0 271144470 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228862 8336 2499 14 0 215332 0
[pid=25361/tid=25363] ppid=25359 vsize=915448 CPUtime=0.03
/proc/25361/task/25363/stat : 25363 (java) S 25359 25361 24880 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 271144474 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25364] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25359 25361 24880 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271144474 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25359 25361 24880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271144474 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25366] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25366/stat : 25366 (java) S 25359 25361 24880 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25367] ppid=25359 vsize=915448 CPUtime=0.2
/proc/25361/task/25367/stat : 25367 (java) S 25359 25361 24880 0 -1 64 381 0 0 0 19 1 0 0 15 0 8 0 271144477 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25369/stat : 25369 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271144477 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915448
[startup+6.26386 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25369
/proc/meminfo: memFree=1347232/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=915448 CPUtime=6.19
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 8599 0 1 0 588 31 0 0 25 0 8 0 271144470 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847125 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228862 8336 2499 14 0 215332 0
[pid=25361/tid=25363] ppid=25359 vsize=915448 CPUtime=0.03
/proc/25361/task/25363/stat : 25363 (java) S 25359 25361 24880 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 271144474 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25364] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25359 25361 24880 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271144474 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25359 25361 24880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271144474 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25366] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25366/stat : 25366 (java) S 25359 25361 24880 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25367] ppid=25359 vsize=915448 CPUtime=0.2
/proc/25361/task/25367/stat : 25367 (java) S 25359 25361 24880 0 -1 64 381 0 0 0 19 1 0 0 15 0 8 0 271144477 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25369/stat : 25369 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271144477 937418752 8336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915448
[startup+12.737 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25369
/proc/meminfo: memFree=1347112/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=915448 CPUtime=12.63
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 8601 0 1 0 1210 53 0 0 25 0 8 0 271144470 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844821 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228862 8338 2499 14 0 215332 0
[pid=25361/tid=25363] ppid=25359 vsize=915448 CPUtime=0.03
/proc/25361/task/25363/stat : 25363 (java) S 25359 25361 24880 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 271144474 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25364] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25359 25361 24880 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271144474 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25359 25361 24880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271144474 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25366] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25366/stat : 25366 (java) S 25359 25361 24880 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25367] ppid=25359 vsize=915448 CPUtime=0.2
/proc/25361/task/25367/stat : 25367 (java) S 25359 25361 24880 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 271144477 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25369/stat : 25369 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271144477 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915448
[startup+25.5893 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25369
/proc/meminfo: memFree=1347176/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=915448 CPUtime=25.43
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 8601 0 1 0 2451 92 0 0 25 0 8 0 271144470 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844855 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228862 8338 2499 14 0 215332 0
[pid=25361/tid=25363] ppid=25359 vsize=915448 CPUtime=0.03
/proc/25361/task/25363/stat : 25363 (java) S 25359 25361 24880 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 271144474 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25364] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25359 25361 24880 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271144474 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25359 25361 24880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271144474 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25366] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25366/stat : 25366 (java) S 25359 25361 24880 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25367] ppid=25359 vsize=915448 CPUtime=0.2
/proc/25361/task/25367/stat : 25367 (java) S 25359 25361 24880 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 271144477 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25369/stat : 25369 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271144477 937418752 8338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915448
[startup+51.2898 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25369
/proc/meminfo: memFree=1343912/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=915448 CPUtime=51
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 9526 0 1 0 4987 113 0 0 25 0 8 0 271144470 937418752 9253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073997367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228862 9253 2549 14 0 215332 0
[pid=25361/tid=25363] ppid=25359 vsize=915448 CPUtime=0.03
/proc/25361/task/25363/stat : 25363 (java) S 25359 25361 24880 0 -1 64 323 0 0 0 3 0 0 0 17 0 8 0 271144474 937418752 9253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25364] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25359 25361 24880 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271144474 937418752 9253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25359 25361 24880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271144474 937418752 9253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25366] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25366/stat : 25366 (java) S 25359 25361 24880 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25367] ppid=25359 vsize=915448 CPUtime=0.3
/proc/25361/task/25367/stat : 25367 (java) S 25359 25361 24880 0 -1 64 450 0 0 0 29 1 0 0 16 0 8 0 271144477 937418752 9253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25369/stat : 25369 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271144477 937418752 9253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915448
[startup+102.575 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25369
/proc/meminfo: memFree=1343784/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=915448 CPUtime=102.05
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 9547 0 1 0 10092 113 0 0 25 0 8 0 271144470 937418752 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074032732 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228862 9273 2549 14 0 215332 0
[pid=25361/tid=25363] ppid=25359 vsize=915448 CPUtime=0.03
/proc/25361/task/25363/stat : 25363 (java) S 25359 25361 24880 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 271144474 937418752 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25364] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25359 25361 24880 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271144474 937418752 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25359 25361 24880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271144474 937418752 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25366] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25366/stat : 25366 (java) S 25359 25361 24880 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25367] ppid=25359 vsize=915448 CPUtime=0.31
/proc/25361/task/25367/stat : 25367 (java) S 25359 25361 24880 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 271144477 937418752 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25369/stat : 25369 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271144477 937418752 9273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 915448
[startup+162.605 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25369
/proc/meminfo: memFree=1343784/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=915448 CPUtime=161.82
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 9555 0 1 0 16068 114 0 0 25 0 8 0 271144470 937418752 9281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073996674 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228862 9281 2549 14 0 215332 0
[pid=25361/tid=25363] ppid=25359 vsize=915448 CPUtime=0.03
/proc/25361/task/25363/stat : 25363 (java) S 25359 25361 24880 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 271144474 937418752 9281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25364] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25359 25361 24880 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271144474 937418752 9281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25359 25361 24880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271144474 937418752 9281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25366] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25366/stat : 25366 (java) S 25359 25361 24880 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25367] ppid=25359 vsize=915448 CPUtime=0.31
/proc/25361/task/25367/stat : 25367 (java) S 25359 25361 24880 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 271144477 937418752 9281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25369/stat : 25369 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271144477 937418752 9281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.82
Current children cumulated vsize (KiB) 915448
[startup+222.633 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25369
/proc/meminfo: memFree=1343720/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=915448 CPUtime=221.59
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 9559 0 1 0 22045 114 0 0 25 0 8 0 271144470 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074032703 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228862 9285 2549 14 0 215332 0
[pid=25361/tid=25363] ppid=25359 vsize=915448 CPUtime=0.03
/proc/25361/task/25363/stat : 25363 (java) S 25359 25361 24880 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 271144474 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25364] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25359 25361 24880 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271144474 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25359 25361 24880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271144474 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25366] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25366/stat : 25366 (java) S 25359 25361 24880 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25367] ppid=25359 vsize=915448 CPUtime=0.31
/proc/25361/task/25367/stat : 25367 (java) S 25359 25361 24880 0 -1 64 454 0 0 0 30 1 0 0 16 0 8 0 271144477 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25369/stat : 25369 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271144477 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.59
Current children cumulated vsize (KiB) 915448
[startup+282.656 s]
/proc/loadavg: 2.00 2.00 1.91 3/88 25369
/proc/meminfo: memFree=1343720/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=915448 CPUtime=281.32
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 9561 0 1 0 28018 114 0 0 25 0 8 0 271144470 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228862 9285 2549 14 0 215332 0
[pid=25361/tid=25363] ppid=25359 vsize=915448 CPUtime=0.03
/proc/25361/task/25363/stat : 25363 (java) S 25359 25361 24880 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 271144474 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25364] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25359 25361 24880 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271144474 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25359 25361 24880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271144474 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25366] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25366/stat : 25366 (java) S 25359 25361 24880 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25367] ppid=25359 vsize=915448 CPUtime=0.31
/proc/25361/task/25367/stat : 25367 (java) S 25359 25361 24880 0 -1 64 455 0 0 0 30 1 0 0 16 0 8 0 271144477 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25369/stat : 25369 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271144477 937418752 9285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.32
Current children cumulated vsize (KiB) 915448
[startup+342.688 s]
/proc/loadavg: 2.08 2.02 1.91 3/88 25369
/proc/meminfo: memFree=1343656/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=915448 CPUtime=341.08
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 9563 0 1 0 33994 114 0 0 25 0 8 0 271144470 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073996576 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228862 9287 2549 14 0 215332 0
[pid=25361/tid=25363] ppid=25359 vsize=915448 CPUtime=0.03
/proc/25361/task/25363/stat : 25363 (java) S 25359 25361 24880 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 271144474 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25364] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25359 25361 24880 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271144474 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25359 25361 24880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271144474 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25366] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25366/stat : 25366 (java) S 25359 25361 24880 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25367] ppid=25359 vsize=915448 CPUtime=0.31
/proc/25361/task/25367/stat : 25367 (java) S 25359 25361 24880 0 -1 64 455 0 0 0 30 1 0 0 16 0 8 0 271144477 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25369/stat : 25369 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271144477 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 341.08
Current children cumulated vsize (KiB) 915448
[startup+402.716 s]
/proc/loadavg: 2.03 2.01 1.91 3/88 25369
/proc/meminfo: memFree=1343656/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=915448 CPUtime=400.84
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 9563 0 1 0 39970 114 0 0 25 0 8 0 271144470 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073996631 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228862 9287 2549 14 0 215332 0
[pid=25361/tid=25363] ppid=25359 vsize=915448 CPUtime=0.03
/proc/25361/task/25363/stat : 25363 (java) S 25359 25361 24880 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 271144474 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25364] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25359 25361 24880 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271144474 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25359 25361 24880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271144474 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25366] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25366/stat : 25366 (java) S 25359 25361 24880 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25367] ppid=25359 vsize=915448 CPUtime=0.31
/proc/25361/task/25367/stat : 25367 (java) S 25359 25361 24880 0 -1 64 455 0 0 0 30 1 0 0 16 0 8 0 271144477 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25369/stat : 25369 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271144477 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 400.84
Current children cumulated vsize (KiB) 915448
[startup+462.742 s]
/proc/loadavg: 2.09 2.02 1.92 3/88 25369
/proc/meminfo: memFree=1343592/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=915448 CPUtime=460.57
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 9563 0 1 0 45943 114 0 0 25 0 8 0 271144470 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073996576 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228862 9287 2549 14 0 215332 0
[pid=25361/tid=25363] ppid=25359 vsize=915448 CPUtime=0.03
/proc/25361/task/25363/stat : 25363 (java) S 25359 25361 24880 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 271144474 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25364] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25359 25361 24880 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271144474 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25359 25361 24880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271144474 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25366] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25366/stat : 25366 (java) S 25359 25361 24880 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25367] ppid=25359 vsize=915448 CPUtime=0.31
/proc/25361/task/25367/stat : 25367 (java) S 25359 25361 24880 0 -1 64 455 0 0 0 30 1 0 0 16 0 8 0 271144477 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25369/stat : 25369 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271144477 937418752 9287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 460.57
Current children cumulated vsize (KiB) 915448
[startup+522.769 s]
/proc/loadavg: 2.03 2.02 1.92 3/88 25369
/proc/meminfo: memFree=1343592/2055920 swapFree=4191892/4192956
[pid=25361] ppid=25359 vsize=915448 CPUtime=520.32
/proc/25361/stat : 25361 (java) R 25359 25361 24880 0 -1 0 9566 0 1 0 51918 114 0 0 25 0 8 0 271144470 937418752 9290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073996580 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25361/statm: 228862 9290 2549 14 0 215332 0
[pid=25361/tid=25363] ppid=25359 vsize=915448 CPUtime=0.03
/proc/25361/task/25363/stat : 25363 (java) S 25359 25361 24880 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 271144474 937418752 9290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25364] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25359 25361 24880 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271144474 937418752 9290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25359 25361 24880 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271144474 937418752 9290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25366] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25366/stat : 25366 (java) S 25359 25361 24880 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25367] ppid=25359 vsize=915448 CPUtime=0.31
/proc/25361/task/25367/stat : 25367 (java) S 25359 25361 24880 0 -1 64 455 0 0 0 30 1 0 0 16 0 8 0 271144477 937418752 9290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 271144477 937418752 9290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25359 vsize=915448 CPUtime=0
/proc/25361/task/25369/stat : 25369 (java) S 25359 25361 24880 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271144477 937418752 9290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 520.32
Current children cumulated vsize (KiB) 915448
Child status: 0
Real time (s): 542.685
CPU time (s): 540.168
CPU user time (s): 539.015
CPU system time (s): 1.15282
CPU usage (%): 99.5362
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 539.015
system time used= 1.15282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9667
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= 12427
involuntary context switches= 20243
runsolver used 0.551916 s user time and 1.38979 s system time
The end
Begin job on node61 on Fri Jan 19 17:24:26 UTC 2007
IDJOB= 275810
IDBENCH= 5094
IDSOLVER= 68
FILE ID= node61/275810-1169227466
PBS_JOBID= 3589227
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScensMod/scen2-f25.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275810-1169227466/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-275810-1169227466 -o ROOT/results/node61/solver-275810-1169227466 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275810-1169227466/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 18eb3b456200d1fcc3d57ecd11adb7db
RANDOM SEED= 240366565
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.259
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.259
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: 1371704 kB
Buffers: 52332 kB
Cached: 515192 kB
SwapCached: 480 kB
Active: 138644 kB
Inactive: 467052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1371704 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2340 kB
Writeback: 0 kB
Mapped: 54824 kB
Slab: 63812 kB
Committed_AS: 5179104 kB
PageTables: 1864 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node61 on Fri Jan 19 17:33:29 UTC 2007