Trace number 277254

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.08 2412.5

General information on the benchmark

Nametaillard/
js-taillard-20/js-taillard-20-95-1.xml
MD5SUMf240dec7122bf59a4eab757b8046c3d9
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints4074
Best CPU time to get the best result obtained on this benchmark2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1545
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.40	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=pfc.xml
0.43	   
0.43	   instance
0.43	     name=/tmp/evaluation/277254-1169262659/unknown.xml
0.46	   
0.46	   domains being loaded...
0.53	   
0.53	   variables being loaded...
0.65	     nbVariables=400  nbDomainTypes=400  minDomainSize=1447  maxDomainSize=1545
0.65	       =>  wckTime=0.25  cpuTime=0.18  mem=22M623
0.65	   
0.65	   predicates being loaded...
0.65	   
0.65	   constraints being loaded...
61.16	   
61.16	   INFO : Stopping converting binary constraints (cpu=60.05, mem = 91M902)
61.89	     nbConstraints=4180  nbConvertedConstraints=110  nbConvertConstraintsChecks=246350671  nbExtensionStructures=110
61.89	     nbSharedExtensionStructures=0  nbConflictsStructures=110  nbSharedConflictsStructures=0
61.89	     nbSharedBinaryRepresentations=75069  nbEvaluationManagers=4070  nbSharedEvaluationManagers=0  maxDegree=21
61.89	     maxArity=2
61.89	       =>  wckTime=61.491  cpuTime=60.44  mem=102M365
62.11	   
62.11	   solver LocalSearchSolver being built... 
62.15	       =>  wckTime=61.75  cpuTime=60.49  mem=93M34
62.31	
62.31	s SATISFIABLE
62.31	o 3741
62.31	c 439
62.60	o 3746
62.60	c 434
62.86	o 3751
62.86	c 429
63.07	o 3756
63.07	c 424
63.26	o 3761
63.26	c 419
63.44	o 3766
63.44	c 414
63.65	o 3771
63.65	c 409
63.79	o 3776
63.79	c 404
63.87	o 3780
63.87	c 400
63.95	o 3784
63.95	c 396
64.12	o 3788
64.12	c 392
64.32	o 3792
64.32	c 388
64.53	o 3796
64.53	c 384
64.88	o 3800
64.88	c 380
65.23	o 3804
65.24	c 376
65.62	o 3808
65.62	c 372
66.03	o 3811
66.03	c 369
66.45	o 3814
66.45	c 366
66.89	o 3817
66.89	c 363
67.09	o 3820
67.09	c 360
67.30	o 3823
67.30	c 357
68.04	o 3826
68.04	c 354
68.32	o 3828
68.32	c 352
69.10	o 3831
69.10	c 349
69.77	o 3834
69.77	c 346
70.45	o 3837
70.45	c 343
71.15	o 3840
71.15	c 340
71.78	o 3843
71.78	c 337
72.43	o 3846
72.43	c 334
73.05	o 3849
73.05	c 331
73.64	o 3852
73.64	c 328
74.22	o 3855
74.22	c 325
74.89	o 3858
74.89	c 322
75.44	o 3861
75.44	c 319
76.02	o 3864
76.02	c 316
76.60	o 3867
76.60	c 313
77.16	o 3870
77.16	c 310
77.71	o 3873
77.71	c 307
78.18	o 3876
78.18	c 304
78.73	o 3879
78.73	c 301
79.18	o 3882
79.18	c 298
79.68	o 3885
79.68	c 295
80.25	o 3887
80.25	c 293
80.80	o 3889
80.80	c 291
81.39	o 3891
81.39	c 289
81.98	o 3893
81.98	c 287
82.52	o 3895
82.52	c 285
82.98	o 3897
82.98	c 283
83.51	o 3899
83.51	c 281
83.95	o 3901
83.95	c 279
84.47	o 3903
84.47	c 277
84.95	o 3905
84.95	c 275
85.45	o 3907
85.45	c 273
85.91	o 3909
85.91	c 271
86.31	o 3911
86.31	c 269
86.61	o 3913
86.61	c 267
87.08	o 3914
87.08	c 266
87.54	o 3915
87.54	c 265
87.89	o 3917
87.89	c 263
88.33	o 3919
88.33	c 261
89.02	o 3921
89.02	c 259
89.45	o 3923
89.45	c 257
90.32	o 3925
90.32	c 255
91.47	o 3927
91.47	c 253
92.57	o 3929
92.57	c 251
93.63	o 3931
93.63	c 249
94.69	o 3933
94.69	c 247
95.75	o 3935
95.75	c 245
96.78	o 3937
96.78	c 243
97.80	o 3939
97.80	c 241
98.77	o 3941
98.77	c 239
99.74	o 3943
99.74	c 237
100.67	o 3945
100.67	c 235
101.63	o 3947
101.63	c 233
102.53	o 3949
102.53	c 231
103.47	o 3951
103.47	c 229
104.33	o 3953
104.33	c 227
105.19	o 3955
105.19	c 225
106.01	o 3957
106.01	c 223
106.87	o 3959
106.87	c 221
107.66	o 3961
107.66	c 219
108.43	o 3963
108.43	c 217
109.28	o 3965
109.28	c 215
110.17	o 3967
110.17	c 213
110.89	o 3969
110.89	c 211
111.63	o 3971
111.63	c 209
112.36	o 3973
112.36	c 207
113.02	o 3975
113.02	c 205
113.88	o 3977
113.88	c 203
114.48	o 3979
114.48	c 201
115.24	o 3981
115.24	c 199
116.18	o 3982
116.18	c 198
117.18	o 3983
117.18	c 197
118.10	o 3984
118.10	c 196
118.96	o 3985
118.96	c 195
119.72	o 3987
119.72	c 193
120.50	o 3988
120.50	c 192
121.27	o 3989
121.27	c 191
122.00	o 3990
122.00	c 190
122.75	o 3991
122.75	c 189
123.50	o 3992
123.50	c 188
124.20	o 3993
124.20	c 187
124.91	o 3994
124.91	c 186
125.52	o 3995
125.53	c 185
126.17	o 3996
126.17	c 184
126.85	o 3997
126.85	c 183
127.45	o 3998
127.45	c 182
128.00	o 3999
128.00	c 181
128.54	o 4000
128.54	c 180
129.05	o 4001
129.05	c 179
129.56	o 4002
129.56	c 178
130.09	o 4003
130.09	c 177
130.57	o 4004
130.57	c 176
131.01	o 4005
131.01	c 175
131.57	o 4006
131.57	c 174
132.04	o 4007
132.04	c 173
132.47	o 4008
132.47	c 172
132.94	o 4009
132.94	c 171
135.85	o 4010
135.85	c 170
137.60	o 4011
137.60	c 169
138.01	o 4013
138.01	c 167
138.86	o 4014
138.86	c 166
139.99	o 4015
139.99	c 165
141.21	o 4017
141.21	c 163
142.18	o 4019
142.18	c 161
143.49	o 4020
143.49	c 160
144.25	o 4021
144.25	c 159
144.70	o 4022
144.70	c 158
145.35	o 4023
145.35	c 157
146.51	o 4024
146.51	c 156
147.71	o 4025
147.71	c 155
148.94	o 4026
148.94	c 154
150.19	o 4027
150.19	c 153
151.39	o 4028
151.39	c 152
152.50	o 4029
152.50	c 151
153.71	o 4030
153.71	c 150
154.88	o 4031
154.88	c 149
155.97	o 4032
155.97	c 148
157.04	o 4033
157.04	c 147
158.17	o 4034
158.17	c 146
159.23	o 4035
159.23	c 145
160.33	o 4036
160.33	c 144
161.35	o 4037
161.35	c 143
162.41	o 4038
162.41	c 142
163.38	o 4039
163.38	c 141
164.37	o 4040
164.37	c 140
165.36	o 4041
165.36	c 139
166.30	o 4042
166.30	c 138
167.25	o 4043
167.25	c 137
168.17	o 4044
168.17	c 136
169.23	o 4045
169.23	c 135
170.15	o 4046
170.15	c 134
171.05	o 4047
171.05	c 133
171.92	o 4048
171.92	c 132
172.93	o 4049
172.93	c 131
173.78	o 4050
173.78	c 130
174.88	o 4051
174.88	c 129
175.70	o 4052
175.70	c 128
176.76	o 4053
176.76	c 127
177.63	o 4054
177.63	c 126
178.72	o 4055
178.72	c 125
179.82	o 4056
179.82	c 124
180.59	o 4057
180.59	c 123
181.45	o 4058
181.45	c 122
182.38	o 4059
182.38	c 121
183.18	o 4060
183.18	c 120
187.09	o 4061
187.09	c 119
194.01	o 4062
194.01	c 118
221.19	o 4063
221.19	c 117
225.03	o 4064
225.03	c 116
229.15	o 4065
229.15	c 115
240.19	o 4066
240.19	c 114
241.00	o 4067
241.00	c 113
241.70	o 4068
241.70	c 112
244.10	o 4069
244.10	c 111
248.54	o 4071
248.54	c 109
250.37	o 4072
250.37	c 108
254.06	o 4073
254.06	c 107
285.42	   
285.42	   search
285.42	     run=0  nbConstraintChecks=493826880  nbAssignments=309
285.42	       =>  wckTime=223.272  cpuTime=222.02  mem=93M34
285.42	   
285.42	   global
285.42	     nbConstraintChecks=493826880  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
285.42	     solvingWckTime=223.245  solvingCpuTime=221.99  expiredTime=no  totalExploration=no  nbFoundSolutions=0
285.42	     globalCpuTime=282.55
285.42	       =>  wckTime=285.022  cpuTime=282.5  mem=93M34
285.42	   
285.42	   solver IterativeSystematicSolver being built... 
285.81	       =>  wckTime=285.408  cpuTime=282.72  mem=171M316
408.26	   
408.26	   preprocessing
408.26	     nbConstraintChecks=522897460  nbValidityChecks=736512  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
408.26	     nbRemovedValues=0  detectedInconsistency=no
408.26	       =>  wckTime=122.446  cpuTime=121.87  mem=171M316
1514.57	o 4074
1514.57	c 106
1570.64	   
1570.64	   search
1570.64	     run=0  nbConstraintChecks=4288149140  nbValidityChecks=2004778580  nbPropagations=0  nbRevisions=0
1570.64	     nbUselessRevisions=0  nbAssignments=443  nbFailedAssignments=43  nbBacktracks=289  nbVisitedNodes=702
1570.64	     nbRestartNogoods=0
1570.64	       =>  wckTime=1284.829  cpuTime=1278.28  mem=171M316
2412.44	v 357 259 460 472 540 580 664 260 376 99 779 832 887 352 473 0 475 1065 318 871 98 271 1153 0 88 320 517 1066 188 641 676 0 94 173 785 0 99 361 516 598 566 644 0 99 297 522 99 196 322 500 1092 1183 0 592 680 714 0 933 1000 1072 631 761 0 390 469 624 739 196 761 794 906 1182 184 359 0 276 940 178 470 640 334 539 609 264 432 1112 0 338 419 677 797 257 970 1065 1069 0 97 430 940 1007 483 804 93 512 0 98 171 430 517 550 556 624 640 652 701 0 496 594 640 727 0 296 598 98 363 430 467 612 676 760 817 887 0 1085 1153 283 477 559 664 736 503 0 97 173 424 710 193 862 906 933 987 1011 97 569 813 88 315 0 99 309 660 883 326 804 363 467 479 550 606 675 86 745 832 272 518 582 97 196 289 410 0 92 178 338 458 493 794 380 754 89 576 600 807 908 89 185 363 431 259 738 0 346 398 724 94 395 894 913 1028 186 472 987 248 744 261 503 0 478 566 675 0 238 450 0 833 1045 194 564 675 761 1052 183 407 432 520 603 644 660 246 727 360 538 624 1183 248 984 97 718 168 840 195 595 287 619 0 535 674 736 351 922 330 377 701 0 467 550 610 694 859 169 496 671 738 799 248 838 929 967 323 381 357 407 456 496 559 564 644 714 289 391 435 697 742 794 862 92 693 754 816 948 640 721 772 797 97 801 894 967 1028 289 575 595 322 494 339 411 556 185 572 624 799 871 368 466 511 657 742 822 261 394 945 0 554 631 772 277 391 431 734 913 434 467 664 931 1007 402 454 511 599 674 675 277 456 497 915 984 265 396 460 779 0 411 466 534 739 997 186 886 423 506 553 87 314 315 502 174 457 99 487 580 0 179 264 353 702 829 848 1085 97 338 453 191 759 838 89 541 652 1001 178 534

Verifier Data (download as text)

106 unsatisfied constraints, 4074 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/node6/watcher-277254-1169262659 -o ROOT/results/node6/solver-277254-1169262659 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277254-1169262659/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.01 1.96 4/93 20517
/proc/meminfo: memFree=1246376/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=18540 CPUtime=0
/proc/20516/stat : 20516 (runsolver) D 20514 20516 19330 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 274661359 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 268582841639 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/20516/statm: 4635 279 244 17 0 2626 0

[startup+0.103449 s]
/proc/loadavg: 2.00 2.01 1.96 4/93 20517
/proc/meminfo: memFree=1246376/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=12076 CPUtime=0
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 796 0 1 0 0 0 0 0 17 0 1 0 274661359 12365824 545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 0 0 0 17 1 0 0
/proc/20516/statm: 3019 545 450 14 0 1602 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12076

[startup+0.511494 s]
/proc/loadavg: 2.00 2.01 1.96 4/93 20517
/proc/meminfo: memFree=1246376/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915332 CPUtime=0.39
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 5890 0 1 0 36 3 0 0 18 0 8 0 274661359 937299968 5629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072935665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20516/statm: 228833 5629 2107 14 0 215303 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915332

[startup+1.33259 s]
/proc/loadavg: 2.00 2.01 1.96 3/100 20524
/proc/meminfo: memFree=1191280/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915636 CPUtime=1.21
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 16111 0 1 0 112 9 0 0 24 0 8 0 274661359 937611264 15850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20516/statm: 228909 15850 2168 14 0 215379 0
[pid=20516/tid=20518] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20518/stat : 20518 (java) S 20514 20516 19330 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 274661372 937611264 15850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20519] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20519/stat : 20519 (java) S 20514 20516 19330 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 274661373 937611264 15850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20520] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20520/stat : 20520 (java) S 20514 20516 19330 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 274661373 937611264 15850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20521] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20521/stat : 20521 (java) S 20514 20516 19330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274661376 937611264 15850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20522] ppid=20514 vsize=915636 CPUtime=0.14
/proc/20516/task/20522/stat : 20522 (java) S 20514 20516 19330 0 -1 64 400 0 0 0 14 0 0 0 16 0 8 0 274661376 937611264 15850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20523] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20523/stat : 20523 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274661376 937611264 15850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20524] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20524/stat : 20524 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274661376 937611264 15850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915636

[startup+2.97078 s]
/proc/loadavg: 2.00 2.01 1.96 4/100 20524
/proc/meminfo: memFree=1189744/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915636 CPUtime=2.85
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 21137 0 1 0 274 11 0 0 25 0 8 0 274661359 937611264 20873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20516/statm: 228909 20873 2179 14 0 215379 0
[pid=20516/tid=20518] ppid=20514 vsize=915636 CPUtime=0.05
/proc/20516/task/20518/stat : 20518 (java) S 20514 20516 19330 0 -1 64 4535 0 0 0 4 1 0 0 16 0 8 0 274661372 937611264 20873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20519] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20519/stat : 20519 (java) S 20514 20516 19330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 20873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20520] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20520/stat : 20520 (java) S 20514 20516 19330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 20873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20521] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20521/stat : 20521 (java) S 20514 20516 19330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274661376 937611264 20873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20522] ppid=20514 vsize=915636 CPUtime=0.15
/proc/20516/task/20522/stat : 20522 (java) S 20514 20516 19330 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 274661376 937611264 20873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20523] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20523/stat : 20523 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274661376 937611264 20873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20524] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20524/stat : 20524 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274661376 937611264 20873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915636

[startup+6.17815 s]
/proc/loadavg: 2.00 2.01 1.96 3/100 20524
/proc/meminfo: memFree=1171120/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915636 CPUtime=6.04
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 21139 0 1 0 593 11 0 0 25 0 8 0 274661359 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20516/statm: 228909 20875 2179 14 0 215379 0
[pid=20516/tid=20518] ppid=20514 vsize=915636 CPUtime=0.05
/proc/20516/task/20518/stat : 20518 (java) S 20514 20516 19330 0 -1 64 4535 0 0 0 4 1 0 0 16 0 8 0 274661372 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20519] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20519/stat : 20519 (java) S 20514 20516 19330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20520] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20520/stat : 20520 (java) S 20514 20516 19330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20521] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20521/stat : 20521 (java) S 20514 20516 19330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274661376 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20522] ppid=20514 vsize=915636 CPUtime=0.15
/proc/20516/task/20522/stat : 20522 (java) S 20514 20516 19330 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 274661376 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20523] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20523/stat : 20523 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274661376 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20524] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20524/stat : 20524 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274661376 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 915636

[startup+12.6647 s]
/proc/loadavg: 1.92 2.00 1.96 3/101 20598
/proc/meminfo: memFree=1171952/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915636 CPUtime=12.51
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 21139 0 1 0 1239 12 0 0 25 0 8 0 274661359 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802148 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20516/statm: 228909 20875 2179 14 0 215379 0
[pid=20516/tid=20518] ppid=20514 vsize=915636 CPUtime=0.05
/proc/20516/task/20518/stat : 20518 (java) S 20514 20516 19330 0 -1 64 4535 0 0 0 4 1 0 0 16 0 8 0 274661372 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20519] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20519/stat : 20519 (java) S 20514 20516 19330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20520] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20520/stat : 20520 (java) S 20514 20516 19330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20521] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20521/stat : 20521 (java) S 20514 20516 19330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274661376 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20522] ppid=20514 vsize=915636 CPUtime=0.15
/proc/20516/task/20522/stat : 20522 (java) S 20514 20516 19330 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 274661376 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20523] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20523/stat : 20523 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274661376 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20524] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20524/stat : 20524 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274661376 937611264 20875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915636

[startup+25.5362 s]
/proc/loadavg: 1.93 2.00 1.96 3/101 20598
/proc/meminfo: memFree=512688/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915636 CPUtime=25.31
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 21145 0 1 0 2519 12 0 0 25 0 8 0 274661359 937611264 20881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802366 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20516/statm: 228909 20881 2179 14 0 215379 0
[pid=20516/tid=20518] ppid=20514 vsize=915636 CPUtime=0.05
/proc/20516/task/20518/stat : 20518 (java) S 20514 20516 19330 0 -1 64 4535 0 0 0 4 1 0 0 16 0 8 0 274661372 937611264 20881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20519] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20519/stat : 20519 (java) S 20514 20516 19330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 20881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20520] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20520/stat : 20520 (java) S 20514 20516 19330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 20881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20521] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20521/stat : 20521 (java) S 20514 20516 19330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274661376 937611264 20881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20522] ppid=20514 vsize=915636 CPUtime=0.15
/proc/20516/task/20522/stat : 20522 (java) S 20514 20516 19330 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 274661376 937611264 20881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20523] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20523/stat : 20523 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274661376 937611264 20881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20524] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20524/stat : 20524 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274661376 937611264 20881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915636

[startup+51.1382 s]
/proc/loadavg: 1.89 1.98 1.95 3/100 20656
/proc/meminfo: memFree=1076856/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915636 CPUtime=50.77
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 32024 0 1 0 5061 16 0 0 25 0 8 0 274661359 937611264 31759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783926 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20516/statm: 228909 31759 2179 14 0 215379 0
[pid=20516/tid=20518] ppid=20514 vsize=915636 CPUtime=0.31
/proc/20516/task/20518/stat : 20518 (java) S 20514 20516 19330 0 -1 64 15411 0 0 0 27 4 0 0 16 0 8 0 274661372 937611264 31759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20519] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20519/stat : 20519 (java) S 20514 20516 19330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 31759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20520] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20520/stat : 20520 (java) S 20514 20516 19330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 31759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20521] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20521/stat : 20521 (java) S 20514 20516 19330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274661376 937611264 31759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20522] ppid=20514 vsize=915636 CPUtime=0.15
/proc/20516/task/20522/stat : 20522 (java) S 20514 20516 19330 0 -1 64 405 0 0 0 15 0 0 0 17 0 8 0 274661376 937611264 31759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20523] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20523/stat : 20523 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274661376 937611264 31759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20524] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20524/stat : 20524 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274661376 937611264 31759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915636

[startup+102.438 s]
/proc/loadavg: 1.95 1.98 1.95 3/100 20656
/proc/meminfo: memFree=954424/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915636 CPUtime=101.77
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 41292 0 1 0 10156 21 0 0 25 0 8 0 274661359 937611264 41024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789862 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20516/statm: 228909 41024 2501 14 0 215379 0
[pid=20516/tid=20518] ppid=20514 vsize=915636 CPUtime=0.76
/proc/20516/task/20518/stat : 20518 (java) S 20514 20516 19330 0 -1 64 24286 0 0 0 69 7 0 0 16 0 8 0 274661372 937611264 41024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20519] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20519/stat : 20519 (java) S 20514 20516 19330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 41024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20520] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20520/stat : 20520 (java) S 20514 20516 19330 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 41024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20521] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20521/stat : 20521 (java) S 20514 20516 19330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274661376 937611264 41024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20522] ppid=20514 vsize=915636 CPUtime=0.22
/proc/20516/task/20522/stat : 20522 (java) S 20514 20516 19330 0 -1 64 446 0 0 0 21 1 0 0 16 0 8 0 274661376 937611264 41024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20523] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20523/stat : 20523 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274661376 937611264 41024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20524] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20524/stat : 20524 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274661376 937611264 41024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 915636

[startup+162.486 s]
/proc/loadavg: 1.98 1.98 1.95 3/100 20656
/proc/meminfo: memFree=954488/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915636 CPUtime=161.5
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 41292 0 1 0 16128 22 0 0 25 0 8 0 274661359 937611264 41024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783974 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2083.59 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 20658
/proc/meminfo: memFree=827704/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915636 CPUtime=2072.85
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 57126 0 1 0 207247 38 0 0 25 0 8 0 274661359 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783842 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20516/statm: 228909 56831 2551 14 0 215379 0
[pid=20516/tid=20518] ppid=20514 vsize=915636 CPUtime=0.88
/proc/20516/task/20518/stat : 20518 (java) S 20514 20516 19330 0 -1 64 39944 0 0 0 76 12 0 0 16 0 8 0 274661372 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20519] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20519/stat : 20519 (java) S 20514 20516 19330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20520] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20520/stat : 20520 (java) S 20514 20516 19330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274661373 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20521] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20521/stat : 20521 (java) S 20514 20516 19330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20522] ppid=20514 vsize=915636 CPUtime=0.32
/proc/20516/task/20522/stat : 20522 (java) S 20514 20516 19330 0 -1 64 515 0 0 0 31 1 0 0 16 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20523] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20523/stat : 20523 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20524] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20524/stat : 20524 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2072.85
Current children cumulated vsize (KiB) 915636

[startup+2143.61 s]
/proc/loadavg: 2.06 2.02 1.99 3/100 20658
/proc/meminfo: memFree=827640/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915636 CPUtime=2132.58
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 57126 0 1 0 213220 38 0 0 25 0 8 0 274661359 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074069723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20516/statm: 228909 56831 2551 14 0 215379 0
[pid=20516/tid=20518] ppid=20514 vsize=915636 CPUtime=0.88
/proc/20516/task/20518/stat : 20518 (java) S 20514 20516 19330 0 -1 64 39944 0 0 0 76 12 0 0 16 0 8 0 274661372 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20519] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20519/stat : 20519 (java) S 20514 20516 19330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20520] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20520/stat : 20520 (java) S 20514 20516 19330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274661373 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20521] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20521/stat : 20521 (java) S 20514 20516 19330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20522] ppid=20514 vsize=915636 CPUtime=0.32
/proc/20516/task/20522/stat : 20522 (java) S 20514 20516 19330 0 -1 64 515 0 0 0 31 1 0 0 16 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20523] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20523/stat : 20523 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20524] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20524/stat : 20524 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2132.58
Current children cumulated vsize (KiB) 915636

[startup+2203.64 s]
/proc/loadavg: 2.02 2.01 1.99 3/100 20658
/proc/meminfo: memFree=827704/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915636 CPUtime=2192.31
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 57126 0 1 0 219193 38 0 0 25 0 8 0 274661359 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074071754 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20516/statm: 228909 56831 2551 14 0 215379 0
[pid=20516/tid=20518] ppid=20514 vsize=915636 CPUtime=0.88
/proc/20516/task/20518/stat : 20518 (java) S 20514 20516 19330 0 -1 64 39944 0 0 0 76 12 0 0 16 0 8 0 274661372 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20519] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20519/stat : 20519 (java) S 20514 20516 19330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20520] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20520/stat : 20520 (java) S 20514 20516 19330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274661373 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20521] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20521/stat : 20521 (java) S 20514 20516 19330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20522] ppid=20514 vsize=915636 CPUtime=0.32
/proc/20516/task/20522/stat : 20522 (java) S 20514 20516 19330 0 -1 64 515 0 0 0 31 1 0 0 16 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20523] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20523/stat : 20523 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20524] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20524/stat : 20524 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2192.31
Current children cumulated vsize (KiB) 915636

[startup+2263.67 s]
/proc/loadavg: 2.01 2.00 1.99 3/100 20658
/proc/meminfo: memFree=827704/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915636 CPUtime=2252
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 57126 0 1 0 225162 38 0 0 25 0 8 0 274661359 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074071605 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20516/statm: 228909 56831 2551 14 0 215379 0
[pid=20516/tid=20518] ppid=20514 vsize=915636 CPUtime=0.88
/proc/20516/task/20518/stat : 20518 (java) S 20514 20516 19330 0 -1 64 39944 0 0 0 76 12 0 0 16 0 8 0 274661372 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20519] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20519/stat : 20519 (java) S 20514 20516 19330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20520] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20520/stat : 20520 (java) S 20514 20516 19330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274661373 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20521] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20521/stat : 20521 (java) S 20514 20516 19330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20522] ppid=20514 vsize=915636 CPUtime=0.32
/proc/20516/task/20522/stat : 20522 (java) S 20514 20516 19330 0 -1 64 515 0 0 0 31 1 0 0 16 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20523] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20523/stat : 20523 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20524] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20524/stat : 20524 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2252
Current children cumulated vsize (KiB) 915636

[startup+2323.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 20658
/proc/meminfo: memFree=827640/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915636 CPUtime=2311.75
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 57126 0 1 0 231136 39 0 0 25 0 8 0 274661359 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073930729 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20516/statm: 228909 56831 2551 14 0 215379 0
[pid=20516/tid=20518] ppid=20514 vsize=915636 CPUtime=0.88
/proc/20516/task/20518/stat : 20518 (java) S 20514 20516 19330 0 -1 64 39944 0 0 0 76 12 0 0 16 0 8 0 274661372 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20519] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20519/stat : 20519 (java) S 20514 20516 19330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20520] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20520/stat : 20520 (java) S 20514 20516 19330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274661373 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20521] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20521/stat : 20521 (java) S 20514 20516 19330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20522] ppid=20514 vsize=915636 CPUtime=0.32
/proc/20516/task/20522/stat : 20522 (java) S 20514 20516 19330 0 -1 64 515 0 0 0 31 1 0 0 16 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20523] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20523/stat : 20523 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20524] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20524/stat : 20524 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2311.75
Current children cumulated vsize (KiB) 915636

[startup+2383.73 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 20658
/proc/meminfo: memFree=827704/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915636 CPUtime=2371.48
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 57126 0 1 0 237109 39 0 0 25 0 8 0 274661359 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786322 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20516/statm: 228909 56831 2551 14 0 215379 0
[pid=20516/tid=20518] ppid=20514 vsize=915636 CPUtime=0.88
/proc/20516/task/20518/stat : 20518 (java) S 20514 20516 19330 0 -1 64 39944 0 0 0 76 12 0 0 16 0 8 0 274661372 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20519] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20519/stat : 20519 (java) S 20514 20516 19330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20520] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20520/stat : 20520 (java) S 20514 20516 19330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274661373 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20521] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20521/stat : 20521 (java) S 20514 20516 19330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20522] ppid=20514 vsize=915636 CPUtime=0.32
/proc/20516/task/20522/stat : 20522 (java) S 20514 20516 19330 0 -1 64 515 0 0 0 31 1 0 0 16 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20523] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20523/stat : 20523 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20524] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20524/stat : 20524 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2371.48
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2412.43 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 20658
/proc/meminfo: memFree=827704/2055924 swapFree=4165736/4192956
[pid=20516] ppid=20514 vsize=915636 CPUtime=2400.02
/proc/20516/stat : 20516 (java) R 20514 20516 19330 0 -1 0 57126 0 1 0 239963 39 0 0 25 0 8 0 274661359 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073929315 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20516/statm: 228909 56831 2551 14 0 215379 0
[pid=20516/tid=20518] ppid=20514 vsize=915636 CPUtime=0.88
/proc/20516/task/20518/stat : 20518 (java) S 20514 20516 19330 0 -1 64 39944 0 0 0 76 12 0 0 16 0 8 0 274661372 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20519] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20519/stat : 20519 (java) S 20514 20516 19330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274661373 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20520] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20520/stat : 20520 (java) S 20514 20516 19330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274661373 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20521] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20521/stat : 20521 (java) S 20514 20516 19330 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20522] ppid=20514 vsize=915636 CPUtime=0.32
/proc/20516/task/20522/stat : 20522 (java) S 20514 20516 19330 0 -1 64 515 0 0 0 31 1 0 0 16 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20516/tid=20523] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20523/stat : 20523 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20516/tid=20524] ppid=20514 vsize=915636 CPUtime=0
/proc/20516/task/20524/stat : 20524 (java) S 20514 20516 19330 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274661376 937611264 56831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2412.5
CPU time (s): 2400.08
CPU user time (s): 2399.65
CPU system time (s): 0.430934
CPU usage (%): 99.4854
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.65
system time used= 0.430934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57149
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= 50267
involuntary context switches= 45038

runsolver used 2.81257 s user time and 6.96094 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Sat Jan 20 03:10:59 UTC 2007


IDJOB= 277254
IDBENCH= 6518
IDSOLVER= 69
FILE ID= node6/277254-1169262659

PBS_JOBID= 3607281

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f240dec7122bf59a4eab757b8046c3d9

RANDOM SEED= 707721863

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.240
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.240
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:      2055924 kB
MemFree:       1246856 kB
Buffers:         61736 kB
Cached:         600360 kB
SwapCached:       2944 kB
Active:         327224 kB
Inactive:       399132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1246856 kB
SwapTotal:     4192956 kB
SwapFree:      4165736 kB
Dirty:            2312 kB
Writeback:           0 kB
Mapped:          83748 kB
Slab:            67400 kB
Committed_AS:  9156828 kB
PageTables:       2468 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= 66560 MiB



End job on node6 on Sat Jan 20 03:51:12 UTC 2007