Trace number 277238

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 EPFCMSAT (TO) 2400.11 2425.57

General information on the benchmark

Nametaillard/
js-taillard-20/js-taillard-20-95-6.xml
MD5SUMe7f314495f795a42e6623c58e98048b2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints4072
Best CPU time to get the best result obtained on this benchmark2400.11
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1619
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/277238-1169261874/unknown.xml
0.38	   
0.38	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.57	     nbVariables=400  nbDomainTypes=400  minDomainSize=1521  maxDomainSize=1619
0.57	       =>  wckTime=0.25  cpuTime=0.17  mem=23M588
0.57	   
0.57	   predicates being loaded...
0.57	   
0.57	   constraints being loaded...
61.39	   
61.39	   INFO : Stopping converting binary constraints (cpu=60.07, mem = 98M176)
62.21	     nbConstraints=4180  nbConvertedConstraints=95  nbConvertConstraintsChecks=237769505  nbExtensionStructures=95
62.21	     nbSharedExtensionStructures=0  nbConflictsStructures=95  nbSharedConflictsStructures=0
62.21	     nbSharedBinaryRepresentations=11835  nbEvaluationManagers=4085  nbSharedEvaluationManagers=0  maxDegree=21
62.21	     maxArity=2
62.21	       =>  wckTime=61.892  cpuTime=60.5  mem=113M485
62.46	   
62.46	   solver LocalSearchSolver being built... 
62.50	       =>  wckTime=62.179  cpuTime=60.55  mem=104M323
62.78	
62.78	s SATISFIABLE
62.78	o 3742
62.78	c 438
62.98	o 3747
62.98	c 433
63.13	o 3752
63.13	c 428
63.35	o 3757
63.35	c 423
63.59	o 3762
63.59	c 418
63.86	o 3767
63.86	c 413
64.25	o 3772
64.25	c 408
64.48	o 3777
64.48	c 403
64.94	o 3781
64.94	c 399
65.35	o 3785
65.35	c 395
65.72	o 3789
65.72	c 391
66.08	o 3793
66.08	c 387
66.40	o 3797
66.40	c 383
66.67	o 3801
66.67	c 379
66.97	o 3805
66.97	c 375
67.22	o 3809
67.22	c 371
67.45	o 3813
67.45	c 367
67.78	o 3817
67.78	c 363
67.95	o 3821
67.95	c 359
68.13	o 3825
68.13	c 355
68.40	o 3828
68.40	c 352
68.93	o 3831
68.93	c 349
69.65	o 3834
69.65	c 346
69.90	o 3837
69.90	c 343
70.09	o 3841
70.09	c 339
70.80	o 3844
70.80	c 336
71.48	o 3847
71.48	c 333
72.20	o 3850
72.20	c 330
72.85	o 3853
72.85	c 327
73.45	o 3856
73.45	c 324
74.04	o 3859
74.04	c 321
74.64	o 3862
74.64	c 318
75.31	o 3865
75.31	c 315
75.88	o 3868
75.88	c 312
76.47	o 3871
76.47	c 309
77.06	o 3874
77.06	c 306
77.60	o 3877
77.60	c 303
78.14	o 3880
78.14	c 300
78.69	o 3883
78.69	c 297
79.15	o 3886
79.15	c 294
79.58	o 3889
79.58	c 291
80.01	o 3892
80.01	c 288
80.57	o 3895
80.57	c 285
80.94	o 3898
80.94	c 282
81.60	o 3900
81.60	c 280
82.26	o 3902
82.26	c 278
82.84	o 3904
82.84	c 276
83.40	o 3906
83.40	c 274
84.10	o 3908
84.10	c 272
84.65	o 3910
84.65	c 270
85.20	o 3912
85.20	c 268
85.82	o 3914
85.82	c 266
86.52	o 3916
86.52	c 264
87.21	o 3918
87.21	c 262
87.94	o 3920
87.94	c 260
88.30	o 3922
88.30	c 258
88.91	o 3923
88.91	c 257
89.54	o 3924
89.54	c 256
90.04	o 3926
90.04	c 254
90.92	o 3927
90.92	c 253
92.19	o 3929
92.19	c 251
93.37	o 3931
93.37	c 249
94.56	o 3933
94.56	c 247
95.73	o 3935
95.73	c 245
96.87	o 3937
96.87	c 243
98.01	o 3939
98.01	c 241
99.20	o 3941
99.20	c 239
100.26	o 3943
100.26	c 237
101.42	o 3945
101.42	c 235
102.52	o 3947
102.52	c 233
103.54	o 3949
103.54	c 231
104.50	o 3951
104.50	c 229
105.52	o 3953
105.52	c 227
106.51	o 3955
106.51	c 225
107.44	o 3957
107.44	c 223
108.40	o 3959
108.40	c 221
109.30	o 3961
109.30	c 219
110.19	o 3963
110.19	c 217
111.05	o 3965
111.05	c 215
112.03	o 3967
112.03	c 213
112.91	o 3969
112.91	c 211
113.70	o 3971
113.70	c 209
114.68	o 3973
114.68	c 207
115.44	o 3975
115.44	c 205
116.25	o 3977
116.25	c 203
117.03	o 3979
117.03	c 201
117.76	o 3981
117.76	c 199
118.43	o 3983
118.43	c 197
119.21	o 3985
119.21	c 195
119.93	o 3987
119.93	c 193
120.60	o 3989
120.60	c 191
121.49	o 3991
121.49	c 189
122.56	o 3992
122.56	c 188
123.54	o 3993
123.54	c 187
124.56	o 3994
124.56	c 186
125.53	o 3995
125.53	c 185
126.45	o 3996
126.45	c 184
127.40	o 3997
127.40	c 183
128.28	o 3998
128.28	c 182
129.18	o 3999
129.18	c 181
130.04	o 4000
130.04	c 180
130.95	o 4001
130.95	c 179
131.79	o 4002
131.79	c 178
132.66	o 4003
132.66	c 177
133.49	o 4004
133.49	c 176
134.27	o 4005
134.27	c 175
135.04	o 4006
135.04	c 174
135.74	o 4007
135.74	c 173
136.49	o 4008
136.49	c 172
137.14	o 4009
137.14	c 171
137.96	o 4010
137.96	c 170
138.52	o 4011
138.52	c 169
139.06	o 4012
139.06	c 168
139.71	o 4013
139.71	c 167
140.19	o 4014
140.19	c 166
140.81	o 4015
140.81	c 165
141.40	o 4016
141.40	c 164
144.94	o 4017
144.94	c 163
145.46	o 4018
145.46	c 162
146.06	o 4019
146.06	c 161
146.59	o 4020
146.59	c 160
147.29	o 4021
147.29	c 159
149.12	o 4023
149.12	c 157
150.03	o 4024
150.03	c 156
150.44	o 4025
150.44	c 155
151.89	o 4026
151.89	c 154
153.25	o 4027
153.25	c 153
154.74	o 4028
154.74	c 152
156.22	o 4029
156.22	c 151
157.64	o 4030
157.64	c 150
159.07	o 4031
159.07	c 149
160.46	o 4032
160.46	c 148
161.85	o 4033
161.85	c 147
163.24	o 4034
163.24	c 146
164.59	o 4035
164.59	c 145
165.91	o 4036
165.91	c 144
167.24	o 4037
167.24	c 143
168.53	o 4038
168.53	c 142
169.84	o 4039
169.84	c 141
171.14	o 4040
171.14	c 140
171.89	o 4042
171.89	c 138
173.11	o 4043
173.11	c 137
174.43	o 4044
174.43	c 136
175.71	o 4045
175.71	c 135
176.93	o 4046
176.93	c 134
178.14	o 4047
178.14	c 133
179.39	o 4048
179.39	c 132
180.50	o 4049
180.50	c 131
181.63	o 4050
181.63	c 130
182.88	o 4051
182.88	c 129
184.03	o 4052
184.03	c 128
185.15	o 4053
185.15	c 127
187.27	o 4054
187.27	c 126
188.35	o 4055
188.35	c 125
189.53	o 4056
189.53	c 124
190.59	o 4057
190.59	c 123
191.66	o 4058
191.66	c 122
192.66	o 4059
192.66	c 121
193.89	o 4060
193.89	c 120
194.89	o 4061
194.89	c 119
195.92	o 4062
195.92	c 118
197.29	o 4063
197.29	c 117
198.38	o 4064
198.38	c 116
198.82	o 4065
198.83	c 115
200.01	o 4066
200.01	c 114
201.62	o 4067
201.62	c 113
202.58	o 4068
202.58	c 112
203.66	o 4069
203.66	c 111
206.29	o 4070
206.29	c 110
224.75	o 4071
224.75	c 109
229.47	o 4072
229.47	c 108
263.85	   
263.85	   search
263.85	     run=0  nbConstraintChecks=410733857  nbAssignments=259
263.85	       =>  wckTime=201.351  cpuTime=195.45  mem=104M323
263.85	   
263.85	   global
263.85	     nbConstraintChecks=410733857  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
263.85	     solvingWckTime=201.323  solvingCpuTime=195.42  expiredTime=no  totalExploration=no  nbFoundSolutions=0
263.85	     globalCpuTime=256.06
263.85	       =>  wckTime=263.532  cpuTime=256.0  mem=104M323
263.85	   
263.85	   solver IterativeSystematicSolver being built... 
264.26	       =>  wckTime=263.943  cpuTime=256.23  mem=187M575
2425.50	v 694 1316 1441 0 99 503 689 833 890 128 343 499 625 691 765 822 78 343 1105 1181 43 696 1514 374 529 70 348 1111 1366 90 681 786 1157 1380 967 1334 1451 482 602 1137 1100 1339 58 1101 356 879 1054 65 138 10 259 1133 1375 390 495 702 1000 1133 1104 1360 19 180 689 698 1248 1336 1566 487 884 1404 1555 773 1175 3 242 657 929 1004 1435 1511 467 683 801 1184 1425 10 169 634 836 1105 1513 0 132 177 236 639 1023 290 573 1228 32 739 1119 1229 1569 563 1271 1393 37 203 1213 1355 85 157 849 1197 1392 1497 121 903 811 870 1010 365 1428 1530 209 302 805 914 1413 244 1101 274 734 49 489 594 704 1197 997 31 221 1307 1450 571 1164 200 416 512 538 1367 1456 407 454 478 980 1206 893 1322 851 1189 1463 176 337 507 96 165 351 505 236 610 1114 269 891 1320 369 1036 1090 1428 1129 206 464 712 1379 15 143 420 760 1539 513 870 981 1283 683 842 918 1120 1262 1340 1282 352 669 908 1025 1272 1579 21 455 710 1216 594 1260 71 100 339 422 466 2 248 468 820 997 150 583 1491 242 423 1409 1499 2 250 14 105 1073 1530 1606 1168 188 406 312 389 585 1050 1208 1527 65 232 1253 157 474 534 1332 466 751 1359 1569 1184 1323 1478 287 911 182 749 1331 278 1003 732 1026 1310 457 922 243 571 1171 1394 702 779 902 1452 777 1422 1524 1586 1 100 236 369 516 605 1227 188 246 628 716 870 949 1135 1423 1534 11 135 255 1391 1001 4 448 511 657 752 822 1093 1267 1316 360 441 443 868 1374 1557 334 418 742 1464 1505 654 615 715 345 450 941 1014 1262 970 1394 1422 615 399 550 1505 94 609 1071 1168 1339 886 1170 1246 8 513 678 801 981 131 222 499 901 1134 1352 1512 58 186 1142 1520 1581 297 21 323 524 889 1014 1094 1145 1429 874 1277 1356 1504 662 718 384 511 685 1168 1582 263 783 1063 136 229 771 2 122 299 300 752 799 1141 15 406 

Verifier Data (download as text)

108 unsatisfied constraints, 4072 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/node17/watcher-277238-1169261874 -o ROOT/results/node17/solver-277238-1169261874 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277238-1169261874/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.05 2.02 1.92 2/93 11930
/proc/meminfo: memFree=1252320/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=18540 CPUtime=0
/proc/11929/stat : 11929 (runsolver) R 11927 11929 11317 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 274582169 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11929/statm: 4635 279 244 17 0 2626 0

[startup+0.103168 s]
/proc/loadavg: 2.05 2.02 1.92 2/93 11930
/proc/meminfo: memFree=1252320/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=914988 CPUtime=0.08
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 2962 0 1 0 6 2 0 0 17 0 8 0 274582169 936947712 2708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072923405 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11929/statm: 228747 2708 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515224 s]
/proc/loadavg: 2.05 2.02 1.92 2/93 11930
/proc/meminfo: memFree=1252320/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915332 CPUtime=0.5
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 7969 0 1 0 44 6 0 0 18 0 8 0 274582169 937299968 7708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11929/statm: 228833 7708 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.33629 s]
/proc/loadavg: 2.05 2.02 1.92 3/100 11937
/proc/meminfo: memFree=1196456/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915636 CPUtime=1.31
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 16304 0 1 0 122 9 0 0 25 0 8 0 274582169 937611264 16043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11929/statm: 228909 16043 2171 14 0 215379 0
[pid=11929/tid=11931] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11931/stat : 11931 (java) S 11927 11929 11317 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 274582174 937611264 16043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11932] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11932/stat : 11932 (java) S 11927 11929 11317 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 274582174 937611264 16043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11933] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11933/stat : 11933 (java) S 11927 11929 11317 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 274582174 937611264 16043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11934] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11934/stat : 11934 (java) S 11927 11929 11317 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274582177 937611264 16043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11935] ppid=11927 vsize=915636 CPUtime=0.16
/proc/11929/task/11935/stat : 11935 (java) S 11927 11929 11317 0 -1 64 400 0 0 0 16 0 0 0 16 0 8 0 274582177 937611264 16043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11936] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11936/stat : 11936 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274582177 937611264 16043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11937] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11937/stat : 11937 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274582177 937611264 16043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915636

[startup+2.97346 s]
/proc/loadavg: 2.05 2.02 1.92 3/100 11937
/proc/meminfo: memFree=1177064/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915636 CPUtime=2.93
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 21161 0 1 0 282 11 0 0 25 0 8 0 274582169 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11929/statm: 228909 20897 2182 14 0 215379 0
[pid=11929/tid=11931] ppid=11927 vsize=915636 CPUtime=0.04
/proc/11929/task/11931/stat : 11931 (java) S 11927 11929 11317 0 -1 64 4551 0 0 0 3 1 0 0 16 0 8 0 274582174 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11932] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11932/stat : 11932 (java) S 11927 11929 11317 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11933] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11933/stat : 11933 (java) S 11927 11929 11317 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11934] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11934/stat : 11934 (java) S 11927 11929 11317 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274582177 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11935] ppid=11927 vsize=915636 CPUtime=0.17
/proc/11929/task/11935/stat : 11935 (java) S 11927 11929 11317 0 -1 64 403 0 0 0 17 0 0 0 16 0 8 0 274582177 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11936] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11936/stat : 11936 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274582177 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11937] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11937/stat : 11937 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274582177 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915636

[startup+6.2568 s]
/proc/loadavg: 2.05 2.02 1.92 3/100 11937
/proc/meminfo: memFree=1176936/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915636 CPUtime=6.18
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 21164 0 1 0 607 11 0 0 25 0 8 0 274582169 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783955 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11929/statm: 228909 20900 2182 14 0 215379 0
[pid=11929/tid=11931] ppid=11927 vsize=915636 CPUtime=0.04
/proc/11929/task/11931/stat : 11931 (java) S 11927 11929 11317 0 -1 64 4551 0 0 0 3 1 0 0 16 0 8 0 274582174 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11932] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11932/stat : 11932 (java) S 11927 11929 11317 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11933] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11933/stat : 11933 (java) S 11927 11929 11317 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11934] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11934/stat : 11934 (java) S 11927 11929 11317 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274582177 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11935] ppid=11927 vsize=915636 CPUtime=0.17
/proc/11929/task/11935/stat : 11935 (java) S 11927 11929 11317 0 -1 64 403 0 0 0 17 0 0 0 16 0 8 0 274582177 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11936] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11936/stat : 11936 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274582177 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11937] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11937/stat : 11937 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274582177 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915636

[startup+12.7425 s]
/proc/loadavg: 2.04 2.02 1.92 3/100 11937
/proc/meminfo: memFree=1146160/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915636 CPUtime=12.61
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 21164 0 1 0 1250 11 0 0 25 0 8 0 274582169 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11929/statm: 228909 20900 2182 14 0 215379 0
[pid=11929/tid=11931] ppid=11927 vsize=915636 CPUtime=0.04
/proc/11929/task/11931/stat : 11931 (java) S 11927 11929 11317 0 -1 64 4551 0 0 0 3 1 0 0 16 0 8 0 274582174 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11932] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11932/stat : 11932 (java) S 11927 11929 11317 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11933] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11933/stat : 11933 (java) S 11927 11929 11317 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11934] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11934/stat : 11934 (java) S 11927 11929 11317 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274582177 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11935] ppid=11927 vsize=915636 CPUtime=0.17
/proc/11929/task/11935/stat : 11935 (java) S 11927 11929 11317 0 -1 64 403 0 0 0 17 0 0 0 16 0 8 0 274582177 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11936] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11936/stat : 11936 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274582177 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11937] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11937/stat : 11937 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274582177 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915636

[startup+25.6078 s]
/proc/loadavg: 2.03 2.02 1.92 3/100 11937
/proc/meminfo: memFree=1146160/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915636 CPUtime=25.35
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 21167 0 1 0 2524 11 0 0 25 0 8 0 274582169 937611264 20903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796421 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11929/statm: 228909 20903 2182 14 0 215379 0
[pid=11929/tid=11931] ppid=11927 vsize=915636 CPUtime=0.04
/proc/11929/task/11931/stat : 11931 (java) S 11927 11929 11317 0 -1 64 4551 0 0 0 3 1 0 0 16 0 8 0 274582174 937611264 20903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11932] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11932/stat : 11932 (java) S 11927 11929 11317 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 20903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11933] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11933/stat : 11933 (java) S 11927 11929 11317 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 20903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11934] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11934/stat : 11934 (java) S 11927 11929 11317 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274582177 937611264 20903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11935] ppid=11927 vsize=915636 CPUtime=0.17
/proc/11929/task/11935/stat : 11935 (java) S 11927 11929 11317 0 -1 64 403 0 0 0 17 0 0 0 16 0 8 0 274582177 937611264 20903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11936] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11936/stat : 11936 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274582177 937611264 20903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11937] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11937/stat : 11937 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274582177 937611264 20903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915636

[startup+51.2186 s]
/proc/loadavg: 2.02 2.02 1.92 3/100 11937
/proc/meminfo: memFree=1095600/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915636 CPUtime=50.73
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 33804 0 1 0 5056 17 0 0 25 0 8 0 274582169 937611264 33539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783917 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11929/statm: 228909 33539 2182 14 0 215379 0
[pid=11929/tid=11931] ppid=11927 vsize=915636 CPUtime=0.34
/proc/11929/task/11931/stat : 11931 (java) S 11927 11929 11317 0 -1 64 17185 0 0 0 28 6 0 0 16 0 8 0 274582174 937611264 33539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11932] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11932/stat : 11932 (java) S 11927 11929 11317 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 33539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11933] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11933/stat : 11933 (java) S 11927 11929 11317 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 33539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11934] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11934/stat : 11934 (java) S 11927 11929 11317 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274582177 937611264 33539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11935] ppid=11927 vsize=915636 CPUtime=0.17
/proc/11929/task/11935/stat : 11935 (java) S 11927 11929 11317 0 -1 64 405 0 0 0 17 0 0 0 17 0 8 0 274582177 937611264 33539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11936] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11936/stat : 11936 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274582177 937611264 33539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11937] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11937/stat : 11937 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274582177 937611264 33539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915636

[startup+102.439 s]
/proc/loadavg: 2.01 2.01 1.92 3/100 11937
/proc/meminfo: memFree=1055792/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915636 CPUtime=101.49
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 44061 0 1 0 10126 23 0 0 25 0 8 0 274582169 937611264 43793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785186 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11929/statm: 228909 43793 2504 14 0 215379 0
[pid=11929/tid=11931] ppid=11927 vsize=915636 CPUtime=0.85
/proc/11929/task/11931/stat : 11931 (java) S 11927 11929 11317 0 -1 64 27050 0 0 0 75 10 0 0 16 0 8 0 274582174 937611264 43793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11932] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11932/stat : 11932 (java) S 11927 11929 11317 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 43793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11933] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11933/stat : 11933 (java) S 11927 11929 11317 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 43793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11934] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11934/stat : 11934 (java) S 11927 11929 11317 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274582177 937611264 43793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11935] ppid=11927 vsize=915636 CPUtime=0.24
/proc/11929/task/11935/stat : 11935 (java) S 11927 11929 11317 0 -1 64 445 0 0 0 23 1 0 0 15 0 8 0 274582177 937611264 43793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11936] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11936/stat : 11936 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274582177 937611264 43793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11937] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11937/stat : 11937 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274582177 937611264 43793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915636

[startup+162.504 s]
/proc/loadavg: 2.00 2.01 1.92 3/100 11937
/proc/meminfo: memFree=1055792/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915636 CPUtime=161
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 44062 0 1 0 16075 25 0 0 25 0 8 0 274582169 937611264 43794 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.32 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 12613
/proc/meminfo: memFree=927664/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915636 CPUtime=2061.29
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 60263 0 1 0 206080 49 0 0 25 0 8 0 274582169 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11929/statm: 228909 59976 2551 14 0 215379 0
[pid=11929/tid=11931] ppid=11927 vsize=915636 CPUtime=0.99
/proc/11929/task/11931/stat : 11931 (java) S 11927 11929 11317 0 -1 64 43096 0 0 0 83 16 0 0 16 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11932] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11932/stat : 11932 (java) S 11927 11929 11317 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11933] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11933/stat : 11933 (java) S 11927 11929 11317 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11934] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11934/stat : 11934 (java) S 11927 11929 11317 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11935] ppid=11927 vsize=915636 CPUtime=0.33
/proc/11929/task/11935/stat : 11935 (java) S 11927 11929 11317 0 -1 64 501 0 0 0 32 1 0 0 16 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11936] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11936/stat : 11936 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11937] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11937/stat : 11937 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2061.29
Current children cumulated vsize (KiB) 915636

[startup+2144.37 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 12613
/proc/meminfo: memFree=927664/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915636 CPUtime=2120.79
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 60263 0 1 0 212030 49 0 0 25 0 8 0 274582169 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786706 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11929/statm: 228909 59976 2551 14 0 215379 0
[pid=11929/tid=11931] ppid=11927 vsize=915636 CPUtime=0.99
/proc/11929/task/11931/stat : 11931 (java) S 11927 11929 11317 0 -1 64 43096 0 0 0 83 16 0 0 16 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11932] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11932/stat : 11932 (java) S 11927 11929 11317 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11933] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11933/stat : 11933 (java) S 11927 11929 11317 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11934] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11934/stat : 11934 (java) S 11927 11929 11317 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11935] ppid=11927 vsize=915636 CPUtime=0.33
/proc/11929/task/11935/stat : 11935 (java) S 11927 11929 11317 0 -1 64 501 0 0 0 32 1 0 0 16 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11936] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11936/stat : 11936 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11937] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11937/stat : 11937 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2120.79
Current children cumulated vsize (KiB) 915636

[startup+2204.43 s]
/proc/loadavg: 2.04 2.01 1.99 3/100 12613
/proc/meminfo: memFree=927664/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915636 CPUtime=2180.3
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 60263 0 1 0 217980 50 0 0 25 0 8 0 274582169 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073925616 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11929/statm: 228909 59976 2551 14 0 215379 0
[pid=11929/tid=11931] ppid=11927 vsize=915636 CPUtime=0.99
/proc/11929/task/11931/stat : 11931 (java) S 11927 11929 11317 0 -1 64 43096 0 0 0 83 16 0 0 16 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11932] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11932/stat : 11932 (java) S 11927 11929 11317 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11933] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11933/stat : 11933 (java) S 11927 11929 11317 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11934] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11934/stat : 11934 (java) S 11927 11929 11317 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11935] ppid=11927 vsize=915636 CPUtime=0.33
/proc/11929/task/11935/stat : 11935 (java) S 11927 11929 11317 0 -1 64 501 0 0 0 32 1 0 0 16 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11936] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11936/stat : 11936 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11937] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11937/stat : 11937 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2180.3
Current children cumulated vsize (KiB) 915636

[startup+2264.49 s]
/proc/loadavg: 2.05 2.02 2.00 3/100 12613
/proc/meminfo: memFree=927664/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915636 CPUtime=2239.81
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 60263 0 1 0 223931 50 0 0 25 0 8 0 274582169 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11929/statm: 228909 59976 2551 14 0 215379 0
[pid=11929/tid=11931] ppid=11927 vsize=915636 CPUtime=0.99
/proc/11929/task/11931/stat : 11931 (java) S 11927 11929 11317 0 -1 64 43096 0 0 0 83 16 0 0 16 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11932] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11932/stat : 11932 (java) S 11927 11929 11317 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11933] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11933/stat : 11933 (java) S 11927 11929 11317 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11934] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11934/stat : 11934 (java) S 11927 11929 11317 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11935] ppid=11927 vsize=915636 CPUtime=0.33
/proc/11929/task/11935/stat : 11935 (java) S 11927 11929 11317 0 -1 64 501 0 0 0 32 1 0 0 16 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11936] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11936/stat : 11936 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11937] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11937/stat : 11937 (java) R 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2239.81
Current children cumulated vsize (KiB) 915636

[startup+2324.54 s]
/proc/loadavg: 2.02 2.02 2.00 3/100 12613
/proc/meminfo: memFree=927664/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915636 CPUtime=2299.32
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 60263 0 1 0 229881 51 0 0 25 0 8 0 274582169 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783833 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11929/statm: 228909 59976 2551 14 0 215379 0
[pid=11929/tid=11931] ppid=11927 vsize=915636 CPUtime=0.99
/proc/11929/task/11931/stat : 11931 (java) S 11927 11929 11317 0 -1 64 43096 0 0 0 83 16 0 0 16 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11932] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11932/stat : 11932 (java) S 11927 11929 11317 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11933] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11933/stat : 11933 (java) S 11927 11929 11317 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11934] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11934/stat : 11934 (java) S 11927 11929 11317 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11935] ppid=11927 vsize=915636 CPUtime=0.33
/proc/11929/task/11935/stat : 11935 (java) S 11927 11929 11317 0 -1 64 501 0 0 0 32 1 0 0 16 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11936] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11936/stat : 11936 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11937] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11937/stat : 11937 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2299.32
Current children cumulated vsize (KiB) 915636

[startup+2384.58 s]
/proc/loadavg: 1.56 1.90 1.96 2/85 12630
/proc/meminfo: memFree=1151344/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915636 CPUtime=2359.12
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 60263 0 1 0 235861 51 0 0 25 0 8 0 274582169 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11929/statm: 228909 59976 2551 14 0 215379 0
[pid=11929/tid=11931] ppid=11927 vsize=915636 CPUtime=0.99
/proc/11929/task/11931/stat : 11931 (java) S 11927 11929 11317 0 -1 64 43096 0 0 0 83 16 0 0 16 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11932] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11932/stat : 11932 (java) S 11927 11929 11317 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11933] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11933/stat : 11933 (java) S 11927 11929 11317 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11934] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11934/stat : 11934 (java) S 11927 11929 11317 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11935] ppid=11927 vsize=915636 CPUtime=0.33
/proc/11929/task/11935/stat : 11935 (java) S 11927 11929 11317 0 -1 64 501 0 0 0 32 1 0 0 16 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11936] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11936/stat : 11936 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11937] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11937/stat : 11937 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2359.12
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2425.49 s]
/proc/loadavg: 1.29 1.79 1.91 2/85 12630
/proc/meminfo: memFree=1151408/2055920 swapFree=4192812/4192956
[pid=11929] ppid=11927 vsize=915636 CPUtime=2400.02
/proc/11929/stat : 11929 (java) R 11927 11929 11317 0 -1 0 60263 0 1 0 239951 51 0 0 25 0 8 0 274582169 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788147 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11929/statm: 228909 59976 2551 14 0 215379 0
[pid=11929/tid=11931] ppid=11927 vsize=915636 CPUtime=0.99
/proc/11929/task/11931/stat : 11931 (java) S 11927 11929 11317 0 -1 64 43096 0 0 0 83 16 0 0 16 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11932] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11932/stat : 11932 (java) S 11927 11929 11317 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11933] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11933/stat : 11933 (java) S 11927 11929 11317 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274582174 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11934] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11934/stat : 11934 (java) S 11927 11929 11317 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11935] ppid=11927 vsize=915636 CPUtime=0.33
/proc/11929/task/11935/stat : 11935 (java) S 11927 11929 11317 0 -1 64 501 0 0 0 32 1 0 0 16 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11936] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11936/stat : 11936 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11929/tid=11937] ppid=11927 vsize=915636 CPUtime=0
/proc/11929/task/11937/stat : 11937 (java) S 11927 11929 11317 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274582177 937611264 59976 18446744073709551615 134512640 134570532 4294956464 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): 2425.57
CPU time (s): 2400.11
CPU user time (s): 2399.55
CPU system time (s): 0.553915
CPU usage (%): 98.9502
Max. virtual memory (cumulated for all children) (KiB): 915640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.55
system time used= 0.553915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60289
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= 50448
involuntary context switches= 122319

runsolver used 3.01354 s user time and 7.67483 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Jan 20 02:57:54 UTC 2007


IDJOB= 277238
IDBENCH= 6510
IDSOLVER= 68
FILE ID= node17/277238-1169261874

PBS_JOBID= 3607286

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e7f314495f795a42e6623c58e98048b2

RANDOM SEED= 855539582

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.236
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.236
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:       1252800 kB
Buffers:         46596 kB
Cached:         500668 kB
SwapCached:          0 kB
Active:         378500 kB
Inactive:       348912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1252800 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2316 kB
Writeback:           0 kB
Mapped:         208388 kB
Slab:            60284 kB
Committed_AS:  8887408 kB
PageTables:       2524 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 node17 on Sat Jan 20 03:38:19 UTC 2007