Trace number 277260

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.09 2400.99

General information on the benchmark

Nametaillard/
js-taillard-20/js-taillard-20-95-8.xml
MD5SUM06acadaa04457724e64ccc767794c510
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints4070
Best CPU time to get the best result obtained on this benchmark2400.09
SatisfiableNO
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1553
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=pfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/277260-1169262836/unknown.xml
0.36	   
0.36	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.54	     nbVariables=400  nbDomainTypes=400  minDomainSize=1455  maxDomainSize=1553
0.54	       =>  wckTime=0.239  cpuTime=0.17  mem=22M611
0.54	   
0.54	   predicates being loaded...
0.54	   
0.54	   constraints being loaded...
60.81	   
60.81	   INFO : Stopping converting binary constraints (cpu=60.07, mem = 97M69)
61.59	     nbConstraints=4180  nbConvertedConstraints=108  nbConvertConstraintsChecks=244734654  nbExtensionStructures=108
61.59	     nbSharedExtensionStructures=0  nbConflictsStructures=108  nbSharedConflictsStructures=0
61.59	     nbSharedBinaryRepresentations=37950  nbEvaluationManagers=4072  nbSharedEvaluationManagers=0  maxDegree=21
61.59	     maxArity=2
61.59	       =>  wckTime=61.297  cpuTime=60.49  mem=111M826
61.83	   
61.83	   solver LocalSearchSolver being built... 
61.87	       =>  wckTime=61.57  cpuTime=60.54  mem=100M871
62.15	
62.15	s SATISFIABLE
62.15	o 3715
62.15	c 465
62.37	o 3720
62.37	c 460
62.58	o 3725
62.58	c 455
62.78	o 3730
62.78	c 450
62.93	o 3735
62.93	c 445
63.19	o 3739
63.19	c 441
63.42	o 3743
63.42	c 437
63.67	o 3747
63.67	c 433
63.92	o 3751
63.92	c 429
64.38	o 3755
64.38	c 425
64.84	o 3759
64.84	c 421
65.27	o 3763
65.27	c 417
65.69	o 3767
65.69	c 413
66.11	o 3771
66.11	c 409
66.53	o 3775
66.53	c 405
66.91	o 3779
66.91	c 401
67.34	o 3783
67.34	c 397
67.59	o 3787
67.59	c 393
68.01	o 3791
68.01	c 389
68.26	o 3795
68.26	c 385
68.50	o 3799
68.50	c 381
68.85	o 3802
68.91	c 378
69.15	o 3805
69.15	c 375
69.41	o 3808
69.41	c 372
69.72	o 3811
69.72	c 369
70.18	o 3814
70.18	c 366
70.51	o 3817
70.51	c 363
70.78	o 3819
70.78	c 361
71.03	o 3821
71.03	c 359
71.65	o 3823
71.65	c 357
72.41	o 3825
72.41	c 355
73.13	o 3828
73.13	c 352
73.86	o 3831
73.86	c 349
74.53	o 3834
74.53	c 346
75.22	o 3837
75.22	c 343
75.86	o 3840
75.86	c 340
76.58	o 3843
76.58	c 337
77.26	o 3846
77.26	c 334
77.93	o 3849
77.93	c 331
78.49	o 3852
78.49	c 328
78.99	o 3855
78.99	c 325
79.61	o 3858
79.61	c 322
80.15	o 3861
80.15	c 319
80.60	o 3864
80.60	c 316
81.12	o 3867
81.12	c 313
81.59	o 3870
81.59	c 310
82.20	o 3873
82.20	c 307
82.81	o 3876
82.81	c 304
83.46	o 3878
83.46	c 302
84.04	o 3880
84.04	c 300
84.56	o 3882
84.56	c 298
85.05	o 3884
85.05	c 296
85.72	o 3886
85.72	c 294
86.14	o 3888
86.14	c 292
86.66	o 3890
86.66	c 290
87.20	o 3892
87.20	c 288
87.72	o 3894
87.72	c 286
88.13	o 3896
88.13	c 284
88.62	o 3898
88.62	c 282
89.17	o 3900
89.17	c 280
89.85	o 3901
89.85	c 279
90.53	o 3902
90.53	c 278
91.01	o 3904
91.01	c 276
91.48	o 3906
91.48	c 274
92.28	o 3907
92.28	c 273
93.56	o 3909
93.56	c 271
94.82	o 3911
94.82	c 269
96.10	o 3913
96.10	c 267
97.32	o 3915
97.32	c 265
98.52	o 3917
98.52	c 263
99.74	o 3919
99.74	c 261
100.95	o 3921
100.95	c 259
102.09	o 3923
102.09	c 257
103.31	o 3925
103.31	c 255
104.44	o 3927
104.44	c 253
105.54	o 3929
105.54	c 251
106.62	o 3931
106.62	c 249
107.75	o 3933
107.75	c 247
108.81	o 3935
108.81	c 245
109.83	o 3937
109.83	c 243
110.87	o 3939
110.87	c 241
111.91	o 3941
111.91	c 239
112.89	o 3943
112.89	c 237
113.93	o 3945
113.93	c 235
114.86	o 3947
114.86	c 233
115.86	o 3949
115.86	c 231
116.73	o 3951
116.73	c 229
117.59	o 3953
117.59	c 227
118.47	o 3955
118.47	c 225
119.32	o 3957
119.32	c 223
120.18	o 3959
120.18	c 221
120.97	o 3961
120.97	c 219
121.80	o 3963
121.80	c 217
122.63	o 3965
122.63	c 215
123.36	o 3967
123.36	c 213
124.12	o 3969
124.12	c 211
124.83	o 3971
124.83	c 209
125.59	o 3973
125.59	c 207
126.42	o 3975
126.42	c 205
127.14	o 3977
127.14	c 203
127.94	o 3979
127.94	c 201
128.60	o 3981
128.60	c 199
129.54	o 3983
129.54	c 197
130.27	o 3985
130.27	c 195
130.95	o 3987
130.95	c 193
131.88	o 3988
131.88	c 192
132.74	o 3989
132.74	c 191
133.59	o 3990
133.59	c 190
134.38	o 3992
134.38	c 188
135.18	o 3993
135.18	c 187
136.05	o 3994
136.05	c 186
136.91	o 3995
136.91	c 185
137.65	o 3996
137.65	c 184
138.45	o 3997
138.45	c 183
139.20	o 3998
139.20	c 182
139.89	o 3999
139.90	c 181
140.56	o 4000
140.56	c 180
141.19	o 4001
141.19	c 179
141.83	o 4002
141.83	c 178
142.43	o 4003
142.43	c 177
143.03	o 4004
143.03	c 176
143.65	o 4005
143.65	c 175
144.16	o 4006
144.16	c 174
144.64	o 4007
144.64	c 173
145.20	o 4008
145.20	c 172
145.65	o 4009
145.65	c 171
146.18	o 4010
146.18	c 170
148.53	o 4011
148.53	c 169
148.99	o 4012
148.99	c 168
149.45	o 4014
149.45	c 166
149.93	o 4015
149.93	c 165
151.06	o 4016
151.06	c 164
151.51	o 4017
151.51	c 163
152.36	o 4018
152.36	c 162
153.76	o 4019
153.76	c 161
154.15	o 4021
154.15	c 159
154.64	o 4022
154.64	c 158
155.29	o 4024
155.29	c 156
155.96	o 4025
155.96	c 155
157.67	o 4026
157.67	c 154
159.92	o 4027
159.92	c 153
161.22	o 4028
161.22	c 152
162.54	o 4029
162.54	c 151
163.83	o 4030
163.83	c 150
165.13	o 4031
165.13	c 149
166.40	o 4032
166.40	c 148
167.71	o 4033
167.71	c 147
168.97	o 4034
168.97	c 146
170.20	o 4035
170.20	c 145
171.52	o 4036
171.52	c 144
172.71	o 4037
172.71	c 143
173.88	o 4038
173.88	c 142
175.06	o 4039
175.06	c 141
176.22	o 4040
176.23	c 140
177.36	o 4041
177.36	c 139
178.50	o 4042
178.50	c 138
179.62	o 4043
179.62	c 137
180.69	o 4044
180.69	c 136
181.74	o 4045
181.74	c 135
182.79	o 4046
182.79	c 134
183.84	o 4047
183.84	c 133
184.88	o 4048
184.88	c 132
185.95	o 4049
185.95	c 131
186.95	o 4050
186.95	c 130
187.96	o 4051
187.96	c 129
189.08	o 4052
189.08	c 128
190.07	o 4053
190.07	c 127
191.02	o 4054
191.02	c 126
191.99	o 4055
191.99	c 125
192.98	o 4056
192.98	c 124
193.97	o 4057
193.97	c 123
195.16	o 4058
195.16	c 122
196.17	o 4059
196.17	c 121
196.98	o 4060
196.98	c 120
198.12	o 4061
198.12	c 119
198.92	o 4062
198.92	c 118
199.69	o 4063
199.69	c 117
200.72	o 4064
200.72	c 116
201.72	o 4065
201.72	c 115
202.91	o 4066
202.91	c 114
203.69	o 4067
203.69	c 113
204.61	o 4068
204.61	c 112
205.62	o 4069
205.62	c 111
213.11	o 4070
213.11	c 110
243.30	   
243.30	   search
243.30	     run=0  nbConstraintChecks=391434615  nbAssignments=240
243.30	       =>  wckTime=181.431  cpuTime=181.34  mem=100M871
243.30	   
243.30	   global
243.30	     nbConstraintChecks=391434615  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
243.30	     solvingWckTime=181.403  solvingCpuTime=181.31  expiredTime=no  totalExploration=no  nbFoundSolutions=0
243.30	     globalCpuTime=241.93
243.30	       =>  wckTime=243.001  cpuTime=241.88  mem=100M871
243.30	   
243.30	   solver IterativeSystematicSolver being built... 
243.69	       =>  wckTime=243.393  cpuTime=242.1  mem=179M433
376.78	   
376.78	   preprocessing
376.78	     nbConstraintChecks=531568545  nbValidityChecks=745451  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
376.78	     nbRemovedValues=0  detectedInconsistency=no
376.78	       =>  wckTime=133.084  cpuTime=133.02  mem=179M433
2400.95	v 998 1315 30 233 0 38 1496 447 839 12 77 247 755 926 1075 138 448 753 860 1220 641 1002 452 531 692 885 476 796 1108 668 1276 1351 25 1176 1278 1468 1077 1152 1054 1265 548 660 814 934 771 865 961 1085 1274 4 656 1112 1434 13 173 928 276 691 388 1474 450 676 796 1294 1394 1426 104 330 298 478 641 780 857 449 1148 1200 1233 532 807 1317 499 91 173 184 421 1369 1415 478 876 1041 421 1006 1065 1349 473 595 1362 1430 618 1003 811 1521 679 1098 161 301 523 609 1115 2 34 397 778 8 145 846 1062 1270 1456 347 896 1027 1335 1494 481 1505 62 143 716 1160 74 245 735 1461 69 236 570 806 1129 1482 67 317 433 702 927 318 681 1237 1404 1525 1162 1517 593 857 1057 1194 1291 1046 495 939 123 183 805 1283 215 715 218 616 761 1081 1498 491 587 739 322 789 895 953 998 1193 9 133 256 94 364 453 862 352 1100 329 414 1171 346 1001 1297 629 701 834 937 1343 303 838 969 1045 927 1090 571 723 833 1374 30 344 1404 132 219 826 984 352 823 973 155 435 74 206 1292 1384 1410 123 914 1376 1457 116 746 1274 1358 515 689 34 623 765 530 614 1055 1281 1127 1264 283 706 941 1399 1526 1233 413 594 1053 1383 124 580 28 116 919 1215 717 1190 1533 268 699 1302 257 295 709 1364 4 235 496 630 702 976 1016 1282 10 862 1051 278 573 687 1371 459 945 1174 271 775 855 1092 108 492 204 355 607 1453 81 150 1168 1454 282 1081 1504 1540 226 579 866 1388 896 1379 1397 1417 227 379 1244 1336 1249 1355 184 355 494 647 24 175 1030 1235 208 549 695 13 138 150 379 513 689 871 1423 1027 1340 1416 1487 12 98 290 987 169 326 616 903 604 1137 334 383 29 438 577 93 896 24 97 1090 406 812 1167 1511 171 1182 1393 768 868 1048 1462 320 940 1124 1491 385 654 17 726 971 1361 1387 238 831 1153 264 1172 882 1406 38 479 507 1321 49 188

Verifier Data (download as text)

110 unsatisfied constraints, 4070 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node2/watcher-277260-1169262836 -o ROOT/results/node2/solver-277260-1169262836 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277260-1169262836/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.00 1.00 1.17 4/78 18417
/proc/meminfo: memFree=1255072/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=308 CPUtime=0
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 57 0 0 0 0 0 0 0 19 0 1 0 274679209 315392 40 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10535716 0 0 4096 0 0 0 0 17 1 0 0
/proc/18416/statm: 77 40 31 14 0 5 0

[startup+0.102772 s]
/proc/loadavg: 1.00 1.00 1.17 4/78 18417
/proc/meminfo: memFree=1255072/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=914988 CPUtime=0.08
/proc/18416/stat : 18416 (java) S 18414 18416 16793 0 -1 0 2997 0 1 0 6 2 0 0 22 0 8 0 274679209 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18416/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510843 s]
/proc/loadavg: 1.00 1.00 1.17 4/78 18417
/proc/meminfo: memFree=1255072/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915332 CPUtime=0.49
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 9047 0 1 0 44 5 0 0 16 0 8 0 274679209 937299968 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18416/statm: 228833 8786 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33199 s]
/proc/loadavg: 1.00 1.00 1.17 2/85 18424
/proc/meminfo: memFree=1200040/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915636 CPUtime=1.3
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 16126 0 1 0 122 8 0 0 17 0 8 0 274679209 937611264 15865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785221 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18416/statm: 228909 15865 2168 14 0 215379 0
[pid=18416/tid=18418] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 16793 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 274679213 937611264 15865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18419] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 16793 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 274679214 937611264 15865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18420] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 16793 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 274679214 937611264 15865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18421] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274679217 937611264 15865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=915636 CPUtime=0.14
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 16793 0 -1 64 401 0 0 0 14 0 0 0 16 0 8 0 274679217 937611264 15865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18423] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274679217 937611264 15865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274679217 937611264 15865 18446744073709551615 134512640 134570532 4294956480 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) 915636

[startup+2.98029 s]
/proc/loadavg: 1.00 1.00 1.17 2/85 18424
/proc/meminfo: memFree=1198440/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915636 CPUtime=2.96
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 21140 0 1 0 286 10 0 0 16 0 8 0 274679209 937611264 20876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18416/statm: 228909 20876 2179 14 0 215379 0
[pid=18416/tid=18418] ppid=18414 vsize=915636 CPUtime=0.05
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 16793 0 -1 64 4537 0 0 0 4 1 0 0 16 0 8 0 274679213 937611264 20876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18419] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 16793 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 20876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18420] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 16793 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 20876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18421] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274679217 937611264 20876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=915636 CPUtime=0.14
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 16793 0 -1 64 404 0 0 0 14 0 0 0 15 0 8 0 274679217 937611264 20876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18423] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274679217 937611264 20876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274679217 937611264 20876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915636

[startup+6.2629 s]
/proc/loadavg: 1.00 1.00 1.17 3/85 18424
/proc/meminfo: memFree=1179880/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915636 CPUtime=6.24
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 21142 0 1 0 614 10 0 0 20 0 8 0 274679209 937611264 20878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18416/statm: 228909 20878 2179 14 0 215379 0
[pid=18416/tid=18418] ppid=18414 vsize=915636 CPUtime=0.05
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 16793 0 -1 64 4537 0 0 0 4 1 0 0 16 0 8 0 274679213 937611264 20878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18419] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 16793 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 20878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18420] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 16793 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 20878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18421] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274679217 937611264 20878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=915636 CPUtime=0.14
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 16793 0 -1 64 404 0 0 0 14 0 0 0 15 0 8 0 274679217 937611264 20878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18423] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274679217 937611264 20878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274679217 937611264 20878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915636

[startup+12.7411 s]
/proc/loadavg: 1.00 1.00 1.16 2/85 18424
/proc/meminfo: memFree=1179880/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915636 CPUtime=12.71
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 21146 0 1 0 1261 10 0 0 25 0 8 0 274679209 937611264 20882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786656 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18416/statm: 228909 20882 2179 14 0 215379 0
[pid=18416/tid=18418] ppid=18414 vsize=915636 CPUtime=0.05
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 16793 0 -1 64 4537 0 0 0 4 1 0 0 16 0 8 0 274679213 937611264 20882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18419] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 16793 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 20882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18420] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 16793 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 20882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18421] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274679217 937611264 20882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=915636 CPUtime=0.14
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 16793 0 -1 64 404 0 0 0 14 0 0 0 15 0 8 0 274679217 937611264 20882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18423] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274679217 937611264 20882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274679217 937611264 20882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915636

[startup+25.5804 s]
/proc/loadavg: 1.00 1.00 1.16 2/85 18424
/proc/meminfo: memFree=1179880/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915636 CPUtime=25.55
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 21148 0 1 0 2545 10 0 0 25 0 8 0 274679209 937611264 20884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18416/statm: 228909 20884 2179 14 0 215379 0
[pid=18416/tid=18418] ppid=18414 vsize=915636 CPUtime=0.05
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 16793 0 -1 64 4537 0 0 0 4 1 0 0 16 0 8 0 274679213 937611264 20884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18419] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 16793 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 20884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18420] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 16793 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 20884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18421] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274679217 937611264 20884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=915636 CPUtime=0.14
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 16793 0 -1 64 404 0 0 0 14 0 0 0 15 0 8 0 274679217 937611264 20884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18423] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274679217 937611264 20884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274679217 937611264 20884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915636

[startup+51.2652 s]
/proc/loadavg: 1.00 1.00 1.16 2/85 18424
/proc/meminfo: memFree=1132328/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915636 CPUtime=51.23
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 33056 0 1 0 5107 16 0 0 24 0 8 0 274679209 937611264 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18416/statm: 228909 32791 2179 14 0 215379 0
[pid=18416/tid=18418] ppid=18414 vsize=915636 CPUtime=0.34
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 16793 0 -1 64 16441 0 0 0 28 6 0 0 16 0 8 0 274679213 937611264 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18419] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 16793 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18420] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 16793 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18421] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274679217 937611264 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=915636 CPUtime=0.15
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 16793 0 -1 64 406 0 0 0 15 0 0 0 16 0 8 0 274679217 937611264 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18423] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274679217 937611264 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274679217 937611264 32791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915636

[startup+102.525 s]
/proc/loadavg: 1.00 1.00 1.15 2/85 18424
/proc/meminfo: memFree=1092904/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915636 CPUtime=102.47
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 43226 0 1 0 10225 22 0 0 25 0 8 0 274679209 937611264 42958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18416/statm: 228909 42958 2501 14 0 215379 0
[pid=18416/tid=18418] ppid=18414 vsize=915636 CPUtime=0.83
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 16793 0 -1 64 26218 0 0 0 74 9 0 0 16 0 8 0 274679213 937611264 42958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18419] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 16793 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 42958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18420] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 16793 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 42958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18421] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274679217 937611264 42958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=915636 CPUtime=0.21
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 16793 0 -1 64 447 0 0 0 20 1 0 0 16 0 8 0 274679217 937611264 42958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18423] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274679217 937611264 42958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274679217 937611264 42958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.47
Current children cumulated vsize (KiB) 915636

[startup+162.622 s]
/proc/loadavg: 1.00 1.00 1.14 2/85 18424
/proc/meminfo: memFree=1092904/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915636 CPUtime=162.53
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 43226 0 1 0 16230 23 0 0 25 0 8 0 274679209 937611264 42958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786720 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

################
# More data... #
################

Current children cumulated CPU time (s) 2024.5
Current children cumulated vsize (KiB) 915636

[startup+2085.36 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 18426
/proc/meminfo: memFree=1029608/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915636 CPUtime=2084.56
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 59065 0 1 0 208415 41 0 0 25 0 8 0 274679209 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074093152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18416/statm: 228909 58775 2548 14 0 215379 0
[pid=18416/tid=18418] ppid=18414 vsize=915636 CPUtime=0.96
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 16793 0 -1 64 41896 0 0 0 81 15 0 0 16 0 8 0 274679213 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18419] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 16793 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274679214 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18420] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 16793 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18421] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=915636 CPUtime=0.29
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 16793 0 -1 64 506 0 0 0 28 1 0 0 16 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18423] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2084.56
Current children cumulated vsize (KiB) 915636

[startup+2145.45 s]
/proc/loadavg: 1.04 1.01 1.00 2/85 18426
/proc/meminfo: memFree=1029544/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915636 CPUtime=2144.63
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 59065 0 1 0 214422 41 0 0 25 0 8 0 274679209 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18416/statm: 228909 58775 2548 14 0 215379 0
[pid=18416/tid=18418] ppid=18414 vsize=915636 CPUtime=0.96
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 16793 0 -1 64 41896 0 0 0 81 15 0 0 16 0 8 0 274679213 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18419] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 16793 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274679214 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18420] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 16793 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18421] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=915636 CPUtime=0.29
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 16793 0 -1 64 506 0 0 0 28 1 0 0 16 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18423] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2144.63
Current children cumulated vsize (KiB) 915636

[startup+2205.55 s]
/proc/loadavg: 1.01 1.01 1.00 2/85 18426
/proc/meminfo: memFree=1029608/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915636 CPUtime=2204.71
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 59065 0 1 0 220429 42 0 0 25 0 8 0 274679209 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18416/statm: 228909 58775 2548 14 0 215379 0
[pid=18416/tid=18418] ppid=18414 vsize=915636 CPUtime=0.96
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 16793 0 -1 64 41896 0 0 0 81 15 0 0 16 0 8 0 274679213 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18419] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 16793 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274679214 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18420] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 16793 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18421] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=915636 CPUtime=0.29
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 16793 0 -1 64 506 0 0 0 28 1 0 0 16 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18423] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2204.71
Current children cumulated vsize (KiB) 915636

[startup+2265.65 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 18426
/proc/meminfo: memFree=1029544/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915636 CPUtime=2264.78
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 59065 0 1 0 226436 42 0 0 25 0 8 0 274679209 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074093104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18416/statm: 228909 58775 2548 14 0 215379 0
[pid=18416/tid=18418] ppid=18414 vsize=915636 CPUtime=0.96
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 16793 0 -1 64 41896 0 0 0 81 15 0 0 16 0 8 0 274679213 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18419] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 16793 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274679214 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18420] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 16793 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18421] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=915636 CPUtime=0.29
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 16793 0 -1 64 506 0 0 0 28 1 0 0 16 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18423] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2264.78
Current children cumulated vsize (KiB) 915636

[startup+2325.75 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 18426
/proc/meminfo: memFree=1029608/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915636 CPUtime=2324.86
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 59065 0 1 0 232444 42 0 0 25 0 8 0 274679209 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073929228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18416/statm: 228909 58775 2548 14 0 215379 0
[pid=18416/tid=18418] ppid=18414 vsize=915636 CPUtime=0.96
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 16793 0 -1 64 41896 0 0 0 81 15 0 0 16 0 8 0 274679213 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18419] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 16793 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274679214 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18420] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 16793 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18421] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=915636 CPUtime=0.29
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 16793 0 -1 64 506 0 0 0 28 1 0 0 16 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18423] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2324.86
Current children cumulated vsize (KiB) 915636

[startup+2385.84 s]
/proc/loadavg: 1.04 1.01 1.00 2/85 18426
/proc/meminfo: memFree=1029544/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915636 CPUtime=2384.94
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 59065 0 1 0 238451 43 0 0 25 0 8 0 274679209 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073929331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18416/statm: 228909 58775 2548 14 0 215379 0
[pid=18416/tid=18418] ppid=18414 vsize=915636 CPUtime=0.96
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 16793 0 -1 64 41896 0 0 0 81 15 0 0 16 0 8 0 274679213 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18419] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 16793 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274679214 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18420] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 16793 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18421] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=915636 CPUtime=0.29
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 16793 0 -1 64 506 0 0 0 28 1 0 0 16 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18423] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2384.94
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.94 s]
/proc/loadavg: 1.03 1.01 1.00 2/85 18426
/proc/meminfo: memFree=1029544/2055920 swapFree=4180552/4192956
[pid=18416] ppid=18414 vsize=915636 CPUtime=2400.03
/proc/18416/stat : 18416 (java) R 18414 18416 16793 0 -1 0 59065 0 1 0 239960 43 0 0 25 0 8 0 274679209 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18416/statm: 228909 58775 2548 14 0 215379 0
[pid=18416/tid=18418] ppid=18414 vsize=915636 CPUtime=0.96
/proc/18416/task/18418/stat : 18418 (java) S 18414 18416 16793 0 -1 64 41896 0 0 0 81 15 0 0 16 0 8 0 274679213 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18419] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18419/stat : 18419 (java) S 18414 18416 16793 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 274679214 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18420] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18420/stat : 18420 (java) S 18414 18416 16793 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274679214 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18421] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18421/stat : 18421 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18422] ppid=18414 vsize=915636 CPUtime=0.29
/proc/18416/task/18422/stat : 18422 (java) S 18414 18416 16793 0 -1 64 506 0 0 0 28 1 0 0 16 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18416/tid=18423] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18423/stat : 18423 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18416/tid=18424] ppid=18414 vsize=915636 CPUtime=0
/proc/18416/task/18424/stat : 18424 (java) S 18414 18416 16793 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274679217 937611264 58775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915636

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 2400.99
CPU time (s): 2400.09
CPU user time (s): 2399.62
CPU system time (s): 0.468928
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.62
system time used= 0.468928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59089
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= 49724
involuntary context switches= 93930

runsolver used 2.93555 s user time and 5.59015 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Sat Jan 20 03:13:56 UTC 2007


IDJOB= 277260
IDBENCH= 6521
IDSOLVER= 69
FILE ID= node2/277260-1169262836

PBS_JOBID= 3607274

Free space on /tmp= 66562 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20/js-taillard-20-95-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277260-1169262836/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-277260-1169262836 -o ROOT/results/node2/solver-277260-1169262836 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277260-1169262836/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  06acadaa04457724e64ccc767794c510

RANDOM SEED= 263632506

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	: 5931.00
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:       1255552 kB
Buffers:         46656 kB
Cached:         636196 kB
SwapCached:        548 kB
Active:         192592 kB
Inactive:       535188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1255552 kB
SwapTotal:     4192956 kB
SwapFree:      4180552 kB
Dirty:            2248 kB
Writeback:           0 kB
Mapped:          56244 kB
Slab:            57856 kB
Committed_AS:  7281112 kB
PageTables:       1992 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= 66562 MiB



End job on node2 on Sat Jan 20 03:53:57 UTC 2007