Trace number 4259816

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)488 252.17 217.953

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-37.xml
MD5SUM45cb885f577274590a53a0b26d80d877
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark636
Best CPU time to get the best result obtained on this benchmark1884.33
Satisfiable
(Un)Satisfiability was proved
Number of variables3082
Number of constraints1747
Number of domains4
Minimum domain size2
Maximum domain size3043
Distribution of domain sizes[{"size":2,"count":1521},{"size":3,"count":1521},{"size":1370,"count":1},{"size":3043,"count":39}]
Minimum variable degree1
Maximum variable degree40
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1518},{"degree":3,"count":42},{"degree":4,"count":148},{"degree":8,"count":144},{"degree":9,"count":1225},{"degree":40,"count":1}]
Minimum constraint arity2
Maximum constraint arity41
Distribution of constraint arities[{"arity":2,"count":187},{"arity":3,"count":148},{"arity":10,"count":1369},{"arity":39,"count":4},{"arity":40,"count":1},{"arity":41,"count":38}]
Number of extensional constraints1517
Number of intensional constraints186
Distribution of constraint types[{"type":"extension","count":1517},{"type":"intension","count":186},{"type":"sum","count":40},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


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

Solver Data 

3.15/2.19	c Concrete v3.4 running
17.74/7.74	% 18:41:11.810 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9257. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 628402659, 3 edges, 4 vertices, 1 tuples
17.74/7.76	% 18:41:11.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9365. 'extension(false, x[1][37]: {[0?1]}, x[2][37]: {[0?1]}) :: init: true :: relation: MDD 1071977170, 3 edges, 4 vertices, 1 tuples
17.74/7.76	% 18:41:11.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9370. 'extension(x[36][1]: {[0?1]}, x[37][1]: {[0?1]}, false) :: init: true :: relation: MDD 628402659, 3 edges, 4 vertices, 1 tuples
17.74/7.79	% 18:41:11.860 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9478. 'extension(x[36][37]: {[0?1]}, x[37][37]: {[0?1]}, false) :: init: true :: relation: MDD 1071977170, 3 edges, 4 vertices, 1 tuples
17.74/7.79	% 18:41:11.862 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9482. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 1963906615, 3 edges, 4 vertices, 1 tuples
18.06/7.80	% 18:41:11.876 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9590. 'extension(false, x[37][1]: {[0?1]}, x[37][2]: {[0?1]}) :: init: true :: relation: MDD 104298781, 3 edges, 4 vertices, 1 tuples
18.06/7.80	% 18:41:11.877 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9593. 'extension(x[1][36]: {[0?1]}, x[1][37]: {[0?1]}, false) :: init: true :: relation: MDD 1963906615, 3 edges, 4 vertices, 1 tuples
18.06/7.82	% 18:41:11.893 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9701. 'extension(x[37][36]: {[0?1]}, x[37][37]: {[0?1]}, false) :: init: true :: relation: MDD 104298781, 3 edges, 4 vertices, 1 tuples
18.06/7.82	% 18:41:11.895 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9705. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
18.06/7.82	% 18:41:11.900 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9775. 'extension(x[1][37]: {[0?1]}, x[2][37]: {[0?1]}) :: init: true :: relation: Empty MDD
18.06/7.83	% 18:41:11.901 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9779. 'extension(x[36][1]: {[0?1]}, x[37][1]: {[0?1]}) :: init: true :: relation: Empty MDD
18.06/7.83	% 18:41:11.906 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9849. 'extension(x[36][37]: {[0?1]}, x[37][37]: {[0?1]}) :: init: true :: relation: Empty MDD
18.06/7.83	% 18:41:11.906 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9853. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
18.06/7.84	% 18:41:11.912 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9925. 'extension(x[37][1]: {[0?1]}, x[37][2]: {[0?1]}) :: init: true :: relation: Empty MDD
18.06/7.84	% 18:41:11.913 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9931. 'extension(x[1][36]: {[0?1]}, x[1][37]: {[0?1]}) :: init: true :: relation: Empty MDD
18.06/7.84	% 18:41:11.919 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 10003. 'extension(x[37][36]: {[0?1]}, x[37][37]: {[0?1]}) :: init: true :: relation: Empty MDD
80.96/57.78	o 8
81.84/58.06	o 9
82.69/58.33	o 10
83.29/58.58	o 11
84.19/58.81	o 12
84.82/59.05	o 13
85.90/59.47	o 14
86.21/59.69	o 15
86.63/59.93	o 16
87.07/60.22	o 17
87.28/60.49	o 18
87.60/60.74	o 19
87.81/60.96	o 169
88.12/61.29	o 170
88.44/61.58	o 171
88.75/61.87	o 172
89.18/62.21	o 173
89.50/62.55	o 174
89.72/62.79	o 175
90.03/63.05	o 176
90.34/63.36	o 177
90.78/63.78	o 178
91.14/64.05	o 179
91.35/64.29	o 180
91.66/64.57	o 181
91.99/64.83	o 182
92.31/65.14	o 183
92.61/65.43	o 184
93.03/65.85	o 185
93.24/66.08	o 186
93.54/66.33	o 187
93.86/66.63	o 188
94.32/67.08	o 189
94.62/67.39	o 190
94.95/67.63	o 191
95.28/67.95	o 192
95.69/68.35	o 193
96.15/68.71	o 194
96.50/69.03	o 195
97.13/69.64	o 196
97.46/69.94	o 197
97.82/70.23	o 198
98.03/70.48	o 199
98.34/70.71	o 200
98.85/71.15	o 201
99.15/71.45	o 202
99.55/71.89	o 203
100.01/72.25	o 230
100.36/72.55	o 231
100.67/72.83	o 232
101.00/73.12	o 233
101.29/73.42	o 234
101.61/73.72	o 235
102.78/74.83	o 236
103.11/75.14	o 237
103.41/75.48	o 238
104.18/76.14	o 239
104.70/76.63	o 240
105.01/76.94	o 241
105.49/77.30	o 242
106.01/77.81	o 243
106.23/78.10	o 244
106.65/78.46	o 245
106.96/78.78	o 246
107.40/79.11	o 247
107.80/79.55	o 248
108.11/79.83	o 249
108.53/80.29	o 250
108.95/80.62	o 251
109.26/80.91	o 252
109.68/81.36	o 253
109.99/81.65	o 254
110.30/81.93	o 255
110.61/82.24	o 256
111.14/82.70	o 257
111.48/83.04	o 258
112.21/83.71	o 259
112.53/84.02	o 260
112.84/84.31	o 261
113.41/84.82	o 262
114.54/85.93	o 263
115.06/86.42	o 264
115.37/86.73	o 265
115.58/86.99	o 266
116.09/87.41	o 267
116.71/88.01	o 268
117.03/88.34	o 269
117.44/88.78	o 270
118.12/89.31	o 271
118.52/89.79	o 272
119.25/90.22	o 273
119.56/90.54	o 274
119.88/90.82	o 275
120.09/91.10	o 276
120.62/91.59	o 277
121.26/92.19	o 278
121.84/92.62	o 296
122.16/92.95	o 297
122.57/93.30	o 298
123.11/93.82	o 299
123.43/94.13	o 300
123.95/94.67	o 301
124.87/95.53	o 302
125.19/95.88	o 303
125.52/96.18	o 304
125.93/96.50	o 305
126.24/96.84	o 306
126.78/97.32	o 324
127.09/97.65	o 325
127.63/98.12	o 326
128.30/98.79	o 327
128.73/99.11	o 328
129.04/99.42	o 329
129.34/99.71	o 330
129.96/100.35	o 331
130.32/100.63	o 332
130.64/101.00	o 333
130.97/101.29	o 334
131.39/101.61	o 335
131.93/102.14	o 336
132.23/102.47	o 337
132.64/102.84	o 338
133.60/103.75	o 339
133.92/104.07	o 340
134.23/104.39	o 341
134.75/104.89	o 342
135.26/105.38	o 343
135.69/105.71	o 344
136.58/106.51	o 345
137.00/106.97	o 346
137.40/107.39	o 347
137.91/107.89	o 348
138.41/108.23	o 349
138.92/108.74	o 350
139.25/109.04	o 351
139.55/109.33	o 352
140.59/110.37	o 353
140.90/110.66	o 354
141.22/110.95	o 355
141.52/111.22	o 356
142.04/111.78	o 357
142.37/112.08	o 358
142.87/112.59	o 359
143.29/112.94	o 360
143.59/113.28	o 361
144.33/113.97	o 362
144.63/114.25	o 363
144.94/114.54	o 364
145.26/114.89	o 365
145.67/115.21	o 366
146.09/115.67	o 367
146.51/116.01	o 368
147.12/116.59	o 369
147.52/116.96	o 370
148.36/117.71	o 371
149.08/118.41	o 372
149.40/118.74	o 373
150.22/119.53	o 374
151.15/120.49	o 375
151.78/121.02	o 376
152.60/121.82	o 377
153.19/122.31	o 378
153.50/122.68	o 379
155.87/124.84	o 380
156.20/125.17	o 381
156.71/125.65	o 382
157.02/125.94	o 383
157.34/126.29	o 384
158.46/127.36	o 385
159.70/128.56	o 386
160.12/128.95	o 387
160.84/129.62	o 388
161.36/130.19	o 389
162.68/131.47	o 390
163.05/131.79	o 391
163.57/132.20	o 392
163.87/132.51	o 393
164.59/133.21	o 394
165.00/133.64	o 395
165.31/133.99	o 396
165.73/134.32	o 397
166.95/135.50	o 398
167.51/136.10	o 399
170.18/138.59	o 400
170.59/138.91	o 401
171.21/139.51	o 402
171.52/139.84	o 403
171.84/140.15	o 404
172.44/140.75	o 405
174.39/142.61	o 406
175.21/143.45	o 407
175.53/143.79	o 408
176.15/144.39	o 409
178.89/146.94	o 410
179.73/147.63	o 411
180.05/147.93	o 412
180.70/148.57	o 413
181.11/148.91	o 414
181.41/149.23	o 415
181.93/149.78	o 416
182.86/150.61	o 417
184.48/152.15	o 418
185.70/153.35	o 419
186.53/154.11	o 420
187.03/154.60	o 421
187.96/155.59	o 422
188.59/156.19	o 423
188.89/156.50	o 424
189.30/156.85	o 425
189.62/157.16	o 426
190.69/158.13	o 427
191.61/159.03	o 428
192.02/159.41	o 429
197.48/164.64	o 430
201.82/168.89	o 431
202.75/169.71	o 432
203.07/170.07	o 433
203.78/170.70	o 434
204.60/171.58	o 435
207.43/174.22	o 436
207.74/174.59	o 437
208.87/175.62	o 438
211.39/178.04	o 439
212.61/179.27	o 440
213.33/179.91	o 441
213.64/180.28	o 442
214.15/180.76	o 443
214.47/181.10	o 444
214.88/181.48	o 445
216.79/183.22	o 446
217.41/183.85	o 447
217.92/184.33	o 448
218.85/185.24	o 449
219.16/185.59	o 450
219.87/186.24	o 451
221.27/187.63	o 452
222.45/188.72	o 453
223.65/189.95	o 454
223.95/190.27	o 455
224.55/190.84	o 456
225.55/191.88	o 457
225.86/192.17	o 458
226.25/192.50	o 459
226.45/192.80	o 460
227.19/193.49	o 461
227.59/193.82	o 462
228.09/194.33	o 463
229.39/195.65	o 464
229.80/196.05	o 465
230.09/196.37	o 466
231.24/197.49	o 467
233.05/199.21	o 468
233.35/199.59	o 469
233.75/199.91	o 470
234.45/200.69	o 471
234.87/201.06	o 472
235.27/201.41	o 473
236.12/202.27	o 474
240.12/206.17	o 475
241.21/207.23	o 476
242.31/208.34	o 477
242.61/208.68	o 478
243.26/209.29	o 479
245.46/211.46	o 480
245.76/211.78	o 481
246.36/212.31	o 482
247.51/213.47	o 483
248.41/214.32	o 484
248.81/214.72	o 485
250.59/216.43	o 486
251.20/217.06	o 487
251.79/217.64	o 488
252.09/217.90	java.util.concurrent.TimeoutException
252.09/217.90		at concrete.MAC.mac(MAC.scala:74)
252.09/217.90		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.09/217.90		at scala.util.Try$.apply(Try.scala:209)
252.09/217.90		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.09/217.90		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.09/217.90		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.09/217.90		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.09/217.90		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.09/217.90		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.09/217.90		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.09/217.90		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.09/217.90		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.09/217.90		at concrete.MAC.oneRun(MAC.scala:146)
252.09/217.90		at concrete.MAC.nextSolution(MAC.scala:166)
252.09/217.90		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.09/217.90		at concrete.ProblemState.map(ProblemState.scala:203)
252.09/217.90		at concrete.ProblemState.map(ProblemState.scala:188)
252.09/217.90		at concrete.MAC.nextSolution(MAC.scala:195)
252.09/217.90		at concrete.Solver.hasNext(Solver.scala:202)
252.09/217.90		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.09/217.90		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.09/217.90		at concrete.Solver.toStream(Solver.scala:73)
252.09/217.90		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.09/217.90		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.09/217.90		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.09/217.90		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.09/217.90		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.09/217.90		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.09/217.90		at scala.util.Success.map(Try.scala:209)
252.09/217.90		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.09/217.90		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.09/217.90		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.09/217.90		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.09/217.90		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.09/217.90		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.09/217.90		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.09/217.90		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.09/217.90		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.09/217.90		at scala.collection.immutable.List.foreach(List.scala:389)
252.09/217.90		at scala.App.main(App.scala:76)
252.09/217.90		at scala.App.main$(App.scala:74)
252.09/217.90		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.09/217.90		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.09/217.91	v <instantiation cost="488">
252.09/217.91	v       <list>
252.09/217.91	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] z
252.09/217.91	v       </list>
252.09/217.91	v       <values>
252.09/217.91	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 1 1 1 1 1 0 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 2 0 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 2 0 0 0 0 2 2 2 2 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 2 1 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 2 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 1 1 0 0 0 0 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 2 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 2 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 2 1 1 2 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 2 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 2 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 2 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 2 0 1 1 0 1 1 0 0 1 0 1 2 2 2 1 1 2 1 2 1 1 2 1 1 2 1 1 2 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 35 110 186 262 334 410 486 560 566 603 615 623 632 644 652 659 668 680 686 695 708 722 734 743 754 766 779 789 801 811 816 820 829 835 846 859 869 906 934 488
252.09/217.91	v       </values>
252.09/217.91	v     </instantiation>
252.09/217.91	s SATISFIABLE

Verifier Data 

OK	488

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15150 MiB free)
  memory of node 1: 16384 MiB (13353 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259816-1502643311/watcher-4259816-1502643311 -o /tmp/evaluation-result-4259816-1502643311/solver-4259816-1502643311 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312 bin/concrete HOME/instance-4259816-1502643311.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26508, runsolver pid=26505

[startup+0.100218 s]*
/proc/loadavg: 1.84 1.83 1.90 3/207 26529
/proc/meminfo: memFree=29187592/32770624 swapFree=67108860/67108860
[pid=26508] ppid=26505 vsize=9636 memory=1508 CPUtime=0.01 cores=0,2,4,6
/proc/26508/stat : 26508 (bash) S 26505 26508 8289 0 -1 4202496 893 6486 0 0 0 0 0 1 20 0 1 0 112146322 9867264 377 18446744073709551615 4194304 5098028 140722600729312 140722600723320 139888671153152 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 8 0 0 7196144 7232144 15245312 140722600731124 140722600731209 140722600731209 140722600734698 0
/proc/26508/statm: 2409 377 297 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1508 KiB

[startup+0.210086 s]*
/proc/loadavg: 1.84 1.83 1.90 3/204 26557
/proc/meminfo: memFree=29187108/32770624 swapFree=67108860/67108860
[pid=26508] ppid=26505 vsize=13356508 memory=10664 CPUtime=0.07 cores=0,2,4,6
/proc/26508/stat : 26508 (java) S 26505 26508 8289 0 -1 1077944320 3334 12628 0 0 0 0 5 2 20 0 6 0 112146322 13677064192 2666 18446744073709551615 4194304 4196468 140732981424016 140732981406560 139687777529591 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
/proc/26508/statm: 3339127 2666 1204 1 0 3329097 0
[pid=26508/tid=26558] ppid=26505 vsize=13356508 memory=8316850467074736180 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26558/stat : 26558 (java) R 26505 26508 8289 0 -1 4202560 1193 12628 0 0 0 0 5 2 20 0 6 0 112146343 13677064192 2666 18446744073709551615 4194304 4196468 140732981424016 139687781770568 139687761203197 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26559] ppid=26505 vsize=13356508 memory=8293 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26559/stat : 26559 (java) S 26505 26508 8289 0 -1 1077944384 1 12628 0 0 0 0 5 2 20 0 6 0 112146344 13677064192 2666 18446744073709551615 4194304 4196468 140732981424016 139687711963792 139687777539797 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26560] ppid=26505 vsize=13356508 memory=140648427613923 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26560/stat : 26560 (java) S 26505 26508 8289 0 -1 1077944384 1 12628 0 0 0 0 5 2 20 0 6 0 112146344 13677064192 2666 18446744073709551615 4194304 4196468 140732981424016 139687710910992 139687777539797 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26561] ppid=26505 vsize=13356508 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26561/stat : 26561 (java) S 26505 26508 8289 0 -1 1077944384 2 12628 0 0 0 0 5 2 20 0 6 0 112146344 13677064192 2666 18446744073709551615 4194304 4196468 140732981424016 139687709858192 139687777539797 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26562] ppid=26505 vsize=13356508 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26562/stat : 26562 (java) S 26505 26508 8289 0 -1 1077944384 2 12628 0 0 0 0 5 2 20 0 6 0 112146344 13677064192 2666 18446744073709551615 4194304 4196468 140732981424016 139687708805392 139687777539797 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13356508 KiB
Current children cumulated memory: 10664 KiB

[startup+0.317369 s]*
/proc/loadavg: 1.84 1.83 1.90 5/218 26571
/proc/meminfo: memFree=29172048/32770624 swapFree=67108860/67108860
[pid=26508] ppid=26505 vsize=13974356 memory=29708 CPUtime=0.19 cores=0,2,4,6
/proc/26508/stat : 26508 (java) S 26505 26508 8289 0 -1 1077944320 6821 12628 0 0 11 1 5 2 20 0 15 0 112146322 14309740544 7427 18446744073709551615 4194304 4196468 140732981424016 140732981406560 139687777529591 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
/proc/26508/statm: 3493589 7427 2888 1 0 3482965 0
[pid=26508/tid=26558] ppid=26505 vsize=13974356 memory=8316850467074736180 CPUtime=0.15 cores=0,2,4,6
/proc/26508/task/26558/stat : 26558 (java) R 26505 26508 8289 0 -1 4202560 3423 12628 0 0 7 1 5 2 20 0 15 0 112146343 14309740544 7427 18446744073709551615 4194304 4196468 140732981424016 139687781761416 139687385779053 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26559] ppid=26505 vsize=13974356 memory=8293 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26559/stat : 26559 (java) S 26505 26508 8289 0 -1 1077944384 1 12628 0 0 0 0 5 2 20 0 15 0 112146344 14309740544 7427 18446744073709551615 4194304 4196468 140732981424016 139687711963792 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26560] ppid=26505 vsize=13974356 memory=140648427613923 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26560/stat : 26560 (java) S 26505 26508 8289 0 -1 1077944384 1 12628 0 0 0 0 5 2 20 0 15 0 112146344 14309740544 7427 18446744073709551615 4194304 4196468 140732981424016 139687710910992 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26561] ppid=26505 vsize=13974356 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26561/stat : 26561 (java) S 26505 26508 8289 0 -1 1077944384 2 12628 0 0 0 0 5 2 20 0 15 0 112146344 14309740544 7427 18446744073709551615 4194304 4196468 140732981424016 139687709858192 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26562] ppid=26505 vsize=13974356 memory=3472328296227680299 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26562/stat : 26562 (java) S 26505 26508 8289 0 -1 1077944384 2 12628 0 0 0 0 5 2 20 0 15 0 112146344 14309740544 7427 18446744073709551615 4194304 4196468 140732981424016 139687708805392 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26563] ppid=26505 vsize=13974356 memory=3472468944654210736 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26563/stat : 26563 (java) S 26505 26508 8289 0 -1 1077944384 2 12628 0 0 0 0 5 2 20 0 15 0 112146345 14309740544 7427 18446744073709551615 4194304 4196468 140732981424016 139687256083312 139687777540738 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26564] ppid=26505 vsize=13974356 memory=8607328266676888414 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26564/stat : 26564 (java) S 26505 26508 8289 0 -1 1077944384 33 12628 0 0 0 0 5 2 20 0 15 0 112146345 14309740544 7427 18446744073709551615 4194304 4196468 140732981424016 139687255029280 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26565] ppid=26505 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26565/stat : 26565 (java) S 26505 26508 8289 0 -1 1077944384 21 12628 0 0 0 0 5 2 20 0 15 0 112146346 14309740544 7427 18446744073709551615 4194304 4196468 140732981424016 139687253976432 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26566] ppid=26505 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26566/stat : 26566 (java) S 26505 26508 8289 0 -1 1077944384 3 12628 0 0 0 0 5 2 20 0 15 0 112146348 14309740544 7427 18446744073709551615 4194304 4196468 140732981424016 139687252924752 139687777548187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26567] ppid=26505 vsize=13974356 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26508/task/26567/stat : 26567 (java) R 26505 26508 8289 0 -1 4202560 114 12628 0 0 1 0 5 2 20 0 15 0 112146348 14309740544 7427 18446744073709551615 4194304 4196468 140732981424016 139687251863440 139687769819040 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26568] ppid=26505 vsize=13974356 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26568/stat : 26568 (java) R 26505 26508 8289 0 -1 1077944384 584 12628 0 0 0 0 5 2 20 0 15 0 112146348 14309740544 7427 18446744073709551615 4194304 4196468 140732981424016 139687250819312 139687777540738 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26569] ppid=26505 vsize=13974356 memory=140648426792576 CPUtime=0.09 cores=0,2,4,6
/proc/26508/task/26569/stat : 26569 (java) R 26505 26508 8289 0 -1 4202560 489 12628 0 0 2 0 5 2 20 0 15 0 112146348 14309740544 7427 18446744073709551615 4194304 4196468 140732981424016 139687249763384 139687756499016 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26570] ppid=26505 vsize=13974356 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26570/stat : 26570 (java) S 26505 26508 8289 0 -1 1077944384 3 12628 0 0 0 0 5 2 20 0 15 0 112146349 14309740544 7427 18446744073709551615 4194304 4196468 140732981424016 139687248713952 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26571] ppid=26505 vsize=13974356 memory=140648426792576 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26571/stat : 26571 (java) S 26505 26508 8289 0 -1 1077944384 1 12628 0 0 0 0 5 2 20 0 15 0 112146351 14309740544 7427 18446744073709551615 4194304 4196468 140732981424016 139687247662256 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 13974356 KiB
Current children cumulated memory: 29708 KiB

[startup+0.701459 s]
/proc/loadavg: 1.84 1.83 1.90 3/218 26571
/proc/meminfo: memFree=29146188/32770624 swapFree=67108860/67108860
[pid=26508] ppid=26505 vsize=13974784 memory=59612 CPUtime=0.7 cores=0,2,4,6
/proc/26508/stat : 26508 (java) S 26505 26508 8289 0 -1 1077944320 13975 12628 0 0 58 5 5 2 20 0 15 0 112146322 14310178816 14903 18446744073709551615 4194304 4196468 140732981424016 140732981406560 139687777529591 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
/proc/26508/statm: 3493696 14903 3103 1 0 3482965 0
[pid=26508/tid=26558] ppid=26505 vsize=13974784 memory=1716 CPUtime=0.52 cores=0,2,4,6
/proc/26508/task/26558/stat : 26558 (java) R 26505 26508 8289 0 -1 4202560 10410 12628 0 0 41 4 5 2 20 0 15 0 112146343 14310178816 14903 18446744073709551615 4194304 4196468 140732981424016 139687781744976 139687762965536 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26559] ppid=26505 vsize=13974784 memory=1228 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26559/stat : 26559 (java) S 26505 26508 8289 0 -1 1077944384 1 12628 0 0 0 0 5 2 20 0 15 0 112146344 14310178816 14903 18446744073709551615 4194304 4196468 140732981424016 139687711963792 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26560] ppid=26505 vsize=13974784 memory=14356 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26560/stat : 26560 (java) S 26505 26508 8289 0 -1 1077944384 1 12628 0 0 0 0 5 2 20 0 15 0 112146344 14310178816 14903 18446744073709551615 4194304 4196468 140732981424016 139687710910992 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26561] ppid=26505 vsize=13974784 memory=1008 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26561/stat : 26561 (java) S 26505 26508 8289 0 -1 1077944384 2 12628 0 0 0 0 5 2 20 0 15 0 112146344 14310178816 14903 18446744073709551615 4194304 4196468 140732981424016 139687709858192 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26562] ppid=26505 vsize=13974784 memory=2012 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26562/stat : 26562 (java) S 26505 26508 8289 0 -1 1077944384 2 12628 0 0 0 0 5 2 20 0 15 0 112146344 14310178816 14903 18446744073709551615 4194304 4196468 140732981424016 139687708805392 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26563] ppid=26505 vsize=13974784 memory=11136 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26563/stat : 26563 (java) S 26505 26508 8289 0 -1 1077944384 5 12628 0 0 0 0 5 2 20 0 15 0 112146345 14310178816 14903 18446744073709551615 4194304 4196468 140732981424016 139687256083312 139687777540738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26564] ppid=26505 vsize=13974784 memory=5788 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26564/stat : 26564 (java) S 26505 26508 8289 0 -1 1077944384 33 12628 0 0 0 0 5 2 20 0 15 0 112146345 14310178816 14903 18446744073709551615 4194304 4196468 140732981424016 139687255029280 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26565] ppid=26505 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26565/stat : 26565 (java) S 26505 26508 8289 0 -1 1077944384 21 12628 0 0 0 0 5 2 20 0 15 0 112146346 14310178816 14903 18446744073709551615 4194304 4196468 140732981424016 139687253976432 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26566] ppid=26505 vsize=13974784 memory=20036 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26566/stat : 26566 (java) S 26505 26508 8289 0 -1 1077944384 3 12628 0 0 0 0 5 2 20 0 15 0 112146348 14310178816 14903 18446744073709551615 4194304 4196468 140732981424016 139687252924752 139687777548187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26567] ppid=26505 vsize=13974784 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26508/task/26567/stat : 26567 (java) S 26505 26508 8289 0 -1 1077944384 192 12628 0 0 3 0 5 2 20 0 15 0 112146348 14310178816 14903 18446744073709551615 4194304 4196468 140732981424016 139687251872112 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26568] ppid=26505 vsize=13974784 memory=844 CPUtime=0.09 cores=0,2,4,6
/proc/26508/task/26568/stat : 26568 (java) S 26505 26508 8289 0 -1 1077944384 609 12628 0 0 2 0 5 2 20 0 15 0 112146348 14310178816 14903 18446744073709551615 4194304 4196468 140732981424016 139687250819312 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26569] ppid=26505 vsize=13974784 memory=18484 CPUtime=0.17 cores=0,2,4,6
/proc/26508/task/26569/stat : 26569 (java) S 26505 26508 8289 0 -1 1077944384 543 12628 0 0 10 0 5 2 20 0 15 0 112146348 14310178816 14903 18446744073709551615 4194304 4196468 140732981424016 139687249766512 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26570] ppid=26505 vsize=13974784 memory=3912 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26570/stat : 26570 (java) S 26505 26508 8289 0 -1 1077944384 3 12628 0 0 0 0 5 2 20 0 15 0 112146349 14310178816 14903 18446744073709551615 4194304 4196468 140732981424016 139687248713952 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26571] ppid=26505 vsize=13974784 memory=2760 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26571/stat : 26571 (java) S 26505 26508 8289 0 -1 1077944384 1 12628 0 0 0 0 5 2 20 0 15 0 112146351 14310178816 14903 18446744073709551615 4194304 4196468 140732981424016 139687247662256 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 59612 KiB

[startup+1.50076 s]
/proc/loadavg: 1.84 1.83 1.90 3/218 26571
/proc/meminfo: memFree=29105624/32770624 swapFree=67108860/67108860
[pid=26508] ppid=26505 vsize=13985408 memory=160620 CPUtime=1.9 cores=0,2,4,6
/proc/26508/stat : 26508 (java) S 26505 26508 8289 0 -1 1077944320 29303 12628 0 0 172 11 5 2 20 0 15 0 112146322 14321057792 40155 18446744073709551615 4194304 4196468 140732981424016 140732981406560 139687777529591 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
/proc/26508/statm: 3496352 40155 3365 1 0 3485525 0
[pid=26508/tid=26558] ppid=26505 vsize=13985408 memory=56 CPUtime=1.29 cores=0,2,4,6
/proc/26508/task/26558/stat : 26558 (java) S 26505 26508 8289 0 -1 1077944384 22433 12628 0 0 115 7 5 2 20 0 15 0 112146343 14321057792 40155 18446744073709551615 4194304 4196468 140732981424016 139687781746896 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26559] ppid=26505 vsize=13985408 memory=18484 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26559/stat : 26559 (java) S 26505 26508 8289 0 -1 1077944384 50 12628 0 0 0 0 5 2 20 0 15 0 112146344 14321057792 40155 18446744073709551615 4194304 4196468 140732981424016 139687711963792 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26560] ppid=26505 vsize=13985408 memory=3912 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26560/stat : 26560 (java) S 26505 26508 8289 0 -1 1077944384 13 12628 0 0 0 0 5 2 20 0 15 0 112146344 14321057792 40155 18446744073709551615 4194304 4196468 140732981424016 139687710910992 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26561] ppid=26505 vsize=13985408 memory=-8774313645642428999 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26561/stat : 26561 (java) S 26505 26508 8289 0 -1 1077944384 65 12628 0 0 0 0 5 2 20 0 15 0 112146344 14321057792 40155 18446744073709551615 4194304 4196468 140732981424016 139687709858192 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26562] ppid=26505 vsize=13985408 memory=-7966001967256141664 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26562/stat : 26562 (java) S 26505 26508 8289 0 -1 1077944384 226 12628 0 0 0 0 5 2 20 0 15 0 112146344 14321057792 40155 18446744073709551615 4194304 4196468 140732981424016 139687708805392 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26563] ppid=26505 vsize=13985408 memory=-7019007802211091872 CPUtime=0.08 cores=0,2,4,6
/proc/26508/task/26563/stat : 26563 (java) R 26505 26508 8289 0 -1 4202560 1333 12628 0 0 1 0 5 2 20 0 15 0 112146345 14321057792 40155 18446744073709551615 4194304 4196468 140732981424016 139687256081600 139687761885962 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26564] ppid=26505 vsize=13985408 memory=-7887927021948682183 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26564/stat : 26564 (java) S 26505 26508 8289 0 -1 1077944384 33 12628 0 0 0 0 5 2 20 0 15 0 112146345 14321057792 40155 18446744073709551615 4194304 4196468 140732981424016 139687255029280 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26565] ppid=26505 vsize=13985408 memory=-9123011406873178988 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26565/stat : 26565 (java) S 26505 26508 8289 0 -1 1077944384 21 12628 0 0 0 0 5 2 20 0 15 0 112146346 14321057792 40155 18446744073709551615 4194304 4196468 140732981424016 139687253976432 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26566] ppid=26505 vsize=13985408 memory=7533807675690544519 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26566/stat : 26566 (java) S 26505 26508 8289 0 -1 1077944384 3 12628 0 0 0 0 5 2 20 0 15 0 112146348 14321057792 40155 18446744073709551615 4194304 4196468 140732981424016 139687252924752 139687777548187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26567] ppid=26505 vsize=13985408 memory=8551153264151074435 CPUtime=0.2 cores=0,2,4,6
/proc/26508/task/26567/stat : 26567 (java) S 26505 26508 8289 0 -1 1077944384 491 12628 0 0 13 0 5 2 20 0 15 0 112146348 14321057792 40155 18446744073709551615 4194304 4196468 140732981424016 139687251872112 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26568] ppid=26505 vsize=13985408 memory=7521671563228703076 CPUtime=0.24 cores=0,2,4,6
/proc/26508/task/26568/stat : 26568 (java) S 26505 26508 8289 0 -1 1077944384 1183 12628 0 0 16 1 5 2 20 0 15 0 112146348 14321057792 40155 18446744073709551615 4194304 4196468 140732981424016 139687250819312 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26569] ppid=26505 vsize=13985408 memory=7084563984026332007 CPUtime=0.3 cores=0,2,4,6
/proc/26508/task/26569/stat : 26569 (java) S 26505 26508 8289 0 -1 1077944384 1293 12628 0 0 23 0 5 2 20 0 15 0 112146348 14321057792 40155 18446744073709551615 4194304 4196468 140732981424016 139687249762384 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26570] ppid=26505 vsize=13985408 memory=6298681356529260640 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26570/stat : 26570 (java) S 26505 26508 8289 0 -1 1077944384 3 12628 0 0 0 0 5 2 20 0 15 0 112146349 14321057792 40155 18446744073709551615 4194304 4196468 140732981424016 139687248713952 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26571] ppid=26505 vsize=13985408 memory=124088 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26571/stat : 26571 (java) S 26505 26508 8289 0 -1 1077944384 6 12628 0 0 0 0 5 2 20 0 15 0 112146351 14321057792 40155 18446744073709551615 4194304 4196468 140732981424016 139687247662256 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 160620 KiB

[startup+3.11137 s]
/proc/loadavg: 1.85 1.84 1.91 3/217 26571
/proc/meminfo: memFree=28973940/32770624 swapFree=67108860/67108860
[pid=26508] ppid=26505 vsize=13997884 memory=234772 CPUtime=5.55 cores=0,2,4,6
/proc/26508/stat : 26508 (java) S 26505 26508 8289 0 -1 1077944320 48940 12628 0 0 532 16 5 2 20 0 15 0 112146322 14333833216 58693 18446744073709551615 4194304 4196468 140732981424016 140732981406560 139687777529591 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
/proc/26508/statm: 3499471 58693 3455 1 0 3488085 0
[pid=26508/tid=26558] ppid=26505 vsize=13997884 memory=7 CPUtime=2.88 cores=0,2,4,6
/proc/26508/task/26558/stat : 26558 (java) R 26505 26508 8289 0 -1 4202560 35307 12628 0 0 272 9 5 2 20 0 15 0 112146343 14333833216 58693 18446744073709551615 4194304 4196468 140732981424016 139687781759760 139687758935890 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26559] ppid=26505 vsize=13997884 memory=52932 CPUtime=0.08 cores=0,2,4,6
/proc/26508/task/26559/stat : 26559 (java) S 26505 26508 8289 0 -1 1077944384 55 12628 0 0 1 0 5 2 20 0 15 0 112146344 14333833216 58693 18446744073709551615 4194304 4196468 140732981424016 139687711963792 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26560] ppid=26505 vsize=13997884 memory=-8774313645642428999 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26560/stat : 26560 (java) S 26505 26508 8289 0 -1 1077944384 13 12628 0 0 0 0 5 2 20 0 15 0 112146344 14333833216 58693 18446744073709551615 4194304 4196468 140732981424016 139687710910992 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26561] ppid=26505 vsize=13997884 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/26508/task/26561/stat : 26561 (java) S 26505 26508 8289 0 -1 1077944384 67 12628 0 0 1 0 5 2 20 0 15 0 112146344 14333833216 58693 18446744073709551615 4194304 4196468 140732981424016 139687709858192 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26562] ppid=26505 vsize=13997884 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26508/task/26562/stat : 26562 (java) S 26505 26508 8289 0 -1 1077944384 228 12628 0 0 1 0 5 2 20 0 15 0 112146344 14333833216 58693 18446744073709551615 4194304 4196468 140732981424016 139687708805392 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26563] ppid=26505 vsize=13997884 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26508/task/26563/stat : 26563 (java) S 26505 26508 8289 0 -1 1077944384 1540 12628 0 0 1 0 5 2 20 0 15 0 112146345 14333833216 58693 18446744073709551615 4194304 4196468 140732981424016 139687256083312 139687777540738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26564] ppid=26505 vsize=13997884 memory=-8774313645642428999 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26564/stat : 26564 (java) S 26505 26508 8289 0 -1 1077944384 56 12628 0 0 0 0 5 2 20 0 15 0 112146345 14333833216 58693 18446744073709551615 4194304 4196468 140732981424016 139687255029344 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26565] ppid=26505 vsize=13997884 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26565/stat : 26565 (java) S 26505 26508 8289 0 -1 1077944384 44 12628 0 0 0 0 5 2 20 0 15 0 112146346 14333833216 58693 18446744073709551615 4194304 4196468 140732981424016 139687253976432 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26566] ppid=26505 vsize=13997884 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26566/stat : 26566 (java) S 26505 26508 8289 0 -1 1077944384 3 12628 0 0 0 0 5 2 20 0 15 0 112146348 14333833216 58693 18446744073709551615 4194304 4196468 140732981424016 139687252924752 139687777548187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26567] ppid=26505 vsize=13997884 memory=1724 CPUtime=0.82 cores=0,2,4,6
/proc/26508/task/26567/stat : 26567 (java) R 26505 26508 8289 0 -1 4202560 1977 12628 0 0 75 0 5 2 20 0 15 0 112146348 14333833216 58693 18446744073709551615 4194304 4196468 140732981424016 139687251853248 139687761815764 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0

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

/proc/26508/task/26558/stat : 26558 (java) R 26505 26508 8289 0 -1 4202560 67994 12628 0 0 10030 34 5 2 20 0 15 0 112146343 14409330688 579760 18446744073709551615 4194304 4196468 140732981424016 139687781763736 139687407499660 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26559] ppid=26505 vsize=14071612 memory=2319040 CPUtime=1.02 cores=0,2,4,6
/proc/26508/task/26559/stat : 26559 (java) S 26505 26508 8289 0 -1 1077944384 1045 12628 0 0 80 15 5 2 20 0 15 0 112146344 14409330688 579760 18446744073709551615 4194304 4196468 140732981424016 139687711963792 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26560] ppid=26505 vsize=14071612 memory=2319040 CPUtime=1.04 cores=0,2,4,6
/proc/26508/task/26560/stat : 26560 (java) S 26505 26508 8289 0 -1 1077944384 3616 12628 0 0 81 16 5 2 20 0 15 0 112146344 14409330688 579760 18446744073709551615 4194304 4196468 140732981424016 139687710910992 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26561] ppid=26505 vsize=14071612 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/26508/task/26561/stat : 26561 (java) S 26505 26508 8289 0 -1 1077944384 1136 12628 0 0 82 16 5 2 20 0 15 0 112146344 14409330688 579760 18446744073709551615 4194304 4196468 140732981424016 139687709858192 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26562] ppid=26505 vsize=14071612 memory=2182500 CPUtime=1.05 cores=0,2,4,6
/proc/26508/task/26562/stat : 26562 (java) S 26505 26508 8289 0 -1 1077944384 1554 12628 0 0 82 16 5 2 20 0 15 0 112146344 14409330688 579760 18446744073709551615 4194304 4196468 140732981424016 139687708805392 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26563] ppid=26505 vsize=14071612 memory=6082794541963046225 CPUtime=0.28 cores=0,2,4,6
/proc/26508/task/26563/stat : 26563 (java) S 26505 26508 8289 0 -1 1077944384 10785 12628 0 0 20 1 5 2 20 0 15 0 112146345 14409330688 579760 18446744073709551615 4194304 4196468 140732981424016 139687256083312 139687777540738 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26564] ppid=26505 vsize=14071612 memory=2300460 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26564/stat : 26564 (java) S 26505 26508 8289 0 -1 1077944384 77 12628 0 0 0 0 5 2 20 0 15 0 112146345 14409330688 579760 18446744073709551615 4194304 4196468 140732981424016 139687255029344 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26565] ppid=26505 vsize=14071612 memory=2300456 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26565/stat : 26565 (java) S 26505 26508 8289 0 -1 1077944384 57 12628 0 0 0 0 5 2 20 0 15 0 112146346 14409330688 579760 18446744073709551615 4194304 4196468 140732981424016 139687253976448 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26566] ppid=26505 vsize=14071612 memory=2300456 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26566/stat : 26566 (java) S 26505 26508 8289 0 -1 1077944384 3 12628 0 0 0 0 5 2 20 0 15 0 112146348 14409330688 579760 18446744073709551615 4194304 4196468 140732981424016 139687252924752 139687777548187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26567] ppid=26505 vsize=14071612 memory=2300456 CPUtime=11.91 cores=0,2,4,6
/proc/26508/task/26567/stat : 26567 (java) S 26505 26508 8289 0 -1 1077944384 18951 12628 0 0 1179 5 5 2 20 0 15 0 112146348 14409330688 579760 18446744073709551615 4194304 4196468 140732981424016 139687251872112 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26568] ppid=26505 vsize=14071612 memory=0 CPUtime=11.8 cores=0,2,4,6
/proc/26508/task/26568/stat : 26568 (java) S 26505 26508 8289 0 -1 1077944384 20731 12628 0 0 1167 6 5 2 20 0 15 0 112146348 14409330688 579760 18446744073709551615 4194304 4196468 140732981424016 139687250819312 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26569] ppid=26505 vsize=14071612 memory=4943152110743886954 CPUtime=3.65 cores=0,2,4,6
/proc/26508/task/26569/stat : 26569 (java) S 26505 26508 8289 0 -1 1077944384 19504 12628 0 0 351 7 5 2 20 0 15 0 112146348 14409330688 579760 18446744073709551615 4194304 4196468 140732981424016 139687249766512 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26570] ppid=26505 vsize=14071612 memory=2319040 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26570/stat : 26570 (java) S 26505 26508 8289 0 -1 1077944384 3 12628 0 0 0 0 5 2 20 0 15 0 112146349 14409330688 579760 18446744073709551615 4194304 4196468 140732981424016 139687248713952 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26571] ppid=26505 vsize=14071612 memory=1200 CPUtime=0.11 cores=0,2,4,6
/proc/26508/task/26571/stat : 26571 (java) S 26505 26508 8289 0 -1 1077944384 81 12628 0 0 3 1 5 2 20 0 15 0 112146351 14409330688 579760 18446744073709551615 4194304 4196468 140732981424016 139687247662256 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
Current children cumulated CPU time: 132.12 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 2319040 KiB

[startup+162.301 s]
/proc/loadavg: 2.05 1.93 1.93 4/214 26705
/proc/meminfo: memFree=26978524/32770624 swapFree=67108860/67108860
[pid=26508] ppid=26505 vsize=14071612 memory=2431060 CPUtime=195.05 cores=0,2,4,6
/proc/26508/stat : 26508 (java) S 26505 26508 8289 0 -1 1077944320 161999 12628 0 0 19351 147 5 2 20 0 15 0 112146322 14409330688 607765 18446744073709551615 4194304 4196468 140732981424016 140732981406560 139687777529591 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
/proc/26508/statm: 3517903 607765 3494 1 0 3506517 0
[pid=26508/tid=26558] ppid=26505 vsize=14071612 memory=2430996 CPUtime=160.52 cores=0,2,4,6
/proc/26508/task/26558/stat : 26558 (java) R 26505 26508 8289 0 -1 4202560 71971 12628 0 0 16008 37 5 2 20 0 15 0 112146343 14409330688 607765 18446744073709551615 4194304 4196468 140732981424016 139687781759808 139687394970934 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26559] ppid=26505 vsize=14071612 memory=1724 CPUtime=1.21 cores=0,2,4,6
/proc/26508/task/26559/stat : 26559 (java) S 26505 26508 8289 0 -1 1077944384 1156 12628 0 0 94 20 5 2 20 0 15 0 112146344 14409330688 607765 18446744073709551615 4194304 4196468 140732981424016 139687711963792 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26560] ppid=26505 vsize=14071612 memory=792 CPUtime=1.24 cores=0,2,4,6
/proc/26508/task/26560/stat : 26560 (java) S 26505 26508 8289 0 -1 1077944384 4546 12628 0 0 96 21 5 2 20 0 15 0 112146344 14409330688 607765 18446744073709551615 4194304 4196468 140732981424016 139687710910992 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26561] ppid=26505 vsize=14071612 memory=2436544 CPUtime=1.24 cores=0,2,4,6
/proc/26508/task/26561/stat : 26561 (java) S 26505 26508 8289 0 -1 1077944384 1751 12628 0 0 96 21 5 2 20 0 15 0 112146344 14409330688 607765 18446744073709551615 4194304 4196468 140732981424016 139687709858192 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26562] ppid=26505 vsize=14071612 memory=2436544 CPUtime=1.24 cores=0,2,4,6
/proc/26508/task/26562/stat : 26562 (java) S 26505 26508 8289 0 -1 1077944384 1778 12628 0 0 96 21 5 2 20 0 15 0 112146344 14409330688 607765 18446744073709551615 4194304 4196468 140732981424016 139687708805392 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26563] ppid=26505 vsize=14071612 memory=2452440 CPUtime=0.29 cores=0,2,4,6
/proc/26508/task/26563/stat : 26563 (java) S 26505 26508 8289 0 -1 1077944384 11083 12628 0 0 21 1 5 2 20 0 15 0 112146345 14409330688 607765 18446744073709551615 4194304 4196468 140732981424016 139687256083312 139687777540738 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26564] ppid=26505 vsize=14071612 memory=2452440 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26564/stat : 26564 (java) S 26505 26508 8289 0 -1 1077944384 82 12628 0 0 0 0 5 2 20 0 15 0 112146345 14409330688 607765 18446744073709551615 4194304 4196468 140732981424016 139687255029344 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26565] ppid=26505 vsize=14071612 memory=2436644 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26565/stat : 26565 (java) S 26505 26508 8289 0 -1 1077944384 57 12628 0 0 0 0 5 2 20 0 15 0 112146346 14409330688 607765 18446744073709551615 4194304 4196468 140732981424016 139687253976448 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26566] ppid=26505 vsize=14071612 memory=341 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26566/stat : 26566 (java) S 26505 26508 8289 0 -1 1077944384 3 12628 0 0 0 0 5 2 20 0 15 0 112146348 14409330688 607765 18446744073709551615 4194304 4196468 140732981424016 139687252924752 139687777548187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26567] ppid=26505 vsize=14071612 memory=2090320 CPUtime=12.93 cores=0,2,4,6
/proc/26508/task/26567/stat : 26567 (java) S 26505 26508 8289 0 -1 1077944384 21834 12628 0 0 1280 6 5 2 20 0 15 0 112146348 14409330688 607765 18446744073709551615 4194304 4196468 140732981424016 139687251872112 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26568] ppid=26505 vsize=14071612 memory=1296 CPUtime=12.59 cores=0,2,4,6
/proc/26508/task/26568/stat : 26568 (java) S 26505 26508 8289 0 -1 1077944384 24007 12628 0 0 1245 7 5 2 20 0 15 0 112146348 14409330688 607765 18446744073709551615 4194304 4196468 140732981424016 139687250819312 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26569] ppid=26505 vsize=14071612 memory=2430944 CPUtime=4.17 cores=0,2,4,6
/proc/26508/task/26569/stat : 26569 (java) S 26505 26508 8289 0 -1 1077944384 21471 12628 0 0 402 8 5 2 20 0 15 0 112146348 14409330688 607765 18446744073709551615 4194304 4196468 140732981424016 139687249766512 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26570] ppid=26505 vsize=14071612 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26570/stat : 26570 (java) S 26505 26508 8289 0 -1 1077944384 3 12628 0 0 0 0 5 2 20 0 15 0 112146349 14409330688 607765 18446744073709551615 4194304 4196468 140732981424016 139687248713952 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26571] ppid=26505 vsize=14071612 memory=2430892 CPUtime=0.15 cores=0,2,4,6
/proc/26508/task/26571/stat : 26571 (java) S 26505 26508 8289 0 -1 1077944384 107 12628 0 0 5 3 5 2 20 0 15 0 112146351 14409330688 607765 18446744073709551615 4194304 4196468 140732981424016 139687247662256 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
Current children cumulated CPU time: 195.05 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 2431060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+217.901 s]
/proc/loadavg: 1.82 1.89 1.92 3/215 26708
/proc/meminfo: memFree=27305104/32770624 swapFree=67108860/67108860
[pid=26508] ppid=26505 vsize=14071612 memory=2274964 CPUtime=252.09 cores=0,2,4,6
/proc/26508/stat : 26508 (java) S 26505 26508 8289 0 -1 1077944320 170146 12628 0 0 25049 153 5 2 20 0 15 0 112146322 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 140732981406560 139687777529591 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
/proc/26508/statm: 3517903 568741 3494 1 0 3506517 0
[pid=26508/tid=26558] ppid=26505 vsize=14071612 memory=-8774313645642428999 CPUtime=215.83 cores=0,2,4,6
/proc/26508/task/26558/stat : 26558 (java) R 26505 26508 8289 0 -1 4202560 73920 12628 0 0 21539 37 5 2 20 0 15 0 112146343 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687781758800 139687386983048 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26559] ppid=26505 vsize=14071612 memory=2274964 CPUtime=1.47 cores=0,2,4,6
/proc/26508/task/26559/stat : 26559 (java) S 26505 26508 8289 0 -1 1077944384 1373 12628 0 0 119 21 5 2 20 0 15 0 112146344 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687711963792 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26560] ppid=26505 vsize=14071612 memory=2291896 CPUtime=1.5 cores=0,2,4,6
/proc/26508/task/26560/stat : 26560 (java) S 26505 26508 8289 0 -1 1077944384 4792 12628 0 0 121 22 5 2 20 0 15 0 112146344 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687710910992 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26561] ppid=26505 vsize=14071612 memory=2291900 CPUtime=1.5 cores=0,2,4,6
/proc/26508/task/26561/stat : 26561 (java) S 26505 26508 8289 0 -1 1077944384 1960 12628 0 0 121 22 5 2 20 0 15 0 112146344 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687709858192 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26562] ppid=26505 vsize=14071612 memory=2274964 CPUtime=1.48 cores=0,2,4,6
/proc/26508/task/26562/stat : 26562 (java) S 26505 26508 8289 0 -1 1077944384 2973 12628 0 0 120 21 5 2 20 0 15 0 112146344 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687708805392 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26563] ppid=26505 vsize=14071612 memory=2274964 CPUtime=0.3 cores=0,2,4,6
/proc/26508/task/26563/stat : 26563 (java) S 26505 26508 8289 0 -1 1077944384 11119 12628 0 0 22 1 5 2 20 0 15 0 112146345 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687256083312 139687777540738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26564] ppid=26505 vsize=14071612 memory=-5153075247754915967 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26564/stat : 26564 (java) S 26505 26508 8289 0 -1 1077944384 84 12628 0 0 0 0 5 2 20 0 15 0 112146345 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687255029344 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26565] ppid=26505 vsize=14071612 memory=2291900 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26565/stat : 26565 (java) S 26505 26508 8289 0 -1 1077944384 57 12628 0 0 0 0 5 2 20 0 15 0 112146346 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687253976448 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26566] ppid=26505 vsize=14071612 memory=2291900 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26566/stat : 26566 (java) S 26505 26508 8289 0 -1 1077944384 3 12628 0 0 0 0 5 2 20 0 15 0 112146348 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687252924752 139687777548187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26567] ppid=26505 vsize=14071612 memory=2326260 CPUtime=13.16 cores=0,2,4,6
/proc/26508/task/26567/stat : 26567 (java) S 26505 26508 8289 0 -1 1077944384 23039 12628 0 0 1303 6 5 2 20 0 15 0 112146348 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687251872112 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26568] ppid=26505 vsize=14071612 memory=2326260 CPUtime=12.81 cores=0,2,4,6
/proc/26508/task/26568/stat : 26568 (java) S 26505 26508 8289 0 -1 1077944384 24954 12628 0 0 1267 7 5 2 20 0 15 0 112146348 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687250819312 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26569] ppid=26505 vsize=14071612 memory=4168 CPUtime=4.37 cores=0,2,4,6
/proc/26508/task/26569/stat : 26569 (java) S 26505 26508 8289 0 -1 1077944384 23609 12628 0 0 422 8 5 2 20 0 15 0 112146348 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687249766512 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26570] ppid=26505 vsize=14071612 memory=4168 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26570/stat : 26570 (java) S 26505 26508 8289 0 -1 1077944384 3 12628 0 0 0 0 5 2 20 0 15 0 112146349 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687248713952 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26571] ppid=26505 vsize=14071612 memory=54288 CPUtime=0.17 cores=0,2,4,6
/proc/26508/task/26571/stat : 26571 (java) S 26505 26508 8289 0 -1 1077944384 110 12628 0 0 6 4 5 2 20 0 15 0 112146351 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687247662256 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 2274964 KiB

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

[startup+217.953 s]
# the end of solver process 26508 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.585 s, system=1.58484 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+217.901 s]
/proc/loadavg: 1.82 1.89 1.92 3/215 26708
/proc/meminfo: memFree=27305104/32770624 swapFree=67108860/67108860
[pid=26508] ppid=26505 vsize=14071612 memory=2274964 CPUtime=252.09 cores=0,2,4,6
/proc/26508/stat : 26508 (java) S 26505 26508 8289 0 -1 1077944320 170146 12628 0 0 25049 153 5 2 20 0 15 0 112146322 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 140732981406560 139687777529591 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
/proc/26508/statm: 3517903 568741 3494 1 0 3506517 0
[pid=26508/tid=26558] ppid=26505 vsize=14071612 memory=-8774313645642428999 CPUtime=215.83 cores=0,2,4,6
/proc/26508/task/26558/stat : 26558 (java) R 26505 26508 8289 0 -1 4202560 73920 12628 0 0 21539 37 5 2 20 0 15 0 112146343 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687781758800 139687386983048 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26559] ppid=26505 vsize=14071612 memory=2274964 CPUtime=1.47 cores=0,2,4,6
/proc/26508/task/26559/stat : 26559 (java) S 26505 26508 8289 0 -1 1077944384 1373 12628 0 0 119 21 5 2 20 0 15 0 112146344 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687711963792 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26560] ppid=26505 vsize=14071612 memory=2291896 CPUtime=1.5 cores=0,2,4,6
/proc/26508/task/26560/stat : 26560 (java) S 26505 26508 8289 0 -1 1077944384 4792 12628 0 0 121 22 5 2 20 0 15 0 112146344 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687710910992 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26561] ppid=26505 vsize=14071612 memory=2291900 CPUtime=1.5 cores=0,2,4,6
/proc/26508/task/26561/stat : 26561 (java) S 26505 26508 8289 0 -1 1077944384 1960 12628 0 0 121 22 5 2 20 0 15 0 112146344 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687709858192 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26562] ppid=26505 vsize=14071612 memory=2274964 CPUtime=1.48 cores=0,2,4,6
/proc/26508/task/26562/stat : 26562 (java) S 26505 26508 8289 0 -1 1077944384 2973 12628 0 0 120 21 5 2 20 0 15 0 112146344 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687708805392 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26563] ppid=26505 vsize=14071612 memory=2274964 CPUtime=0.3 cores=0,2,4,6
/proc/26508/task/26563/stat : 26563 (java) S 26505 26508 8289 0 -1 1077944384 11119 12628 0 0 22 1 5 2 20 0 15 0 112146345 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687256083312 139687777540738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26564] ppid=26505 vsize=14071612 memory=-5153075247754915967 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26564/stat : 26564 (java) S 26505 26508 8289 0 -1 1077944384 84 12628 0 0 0 0 5 2 20 0 15 0 112146345 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687255029344 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26565] ppid=26505 vsize=14071612 memory=2291900 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26565/stat : 26565 (java) S 26505 26508 8289 0 -1 1077944384 57 12628 0 0 0 0 5 2 20 0 15 0 112146346 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687253976448 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26566] ppid=26505 vsize=14071612 memory=2291900 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26566/stat : 26566 (java) S 26505 26508 8289 0 -1 1077944384 3 12628 0 0 0 0 5 2 20 0 15 0 112146348 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687252924752 139687777548187 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26567] ppid=26505 vsize=14071612 memory=2326260 CPUtime=13.16 cores=0,2,4,6
/proc/26508/task/26567/stat : 26567 (java) S 26505 26508 8289 0 -1 1077944384 23039 12628 0 0 1303 6 5 2 20 0 15 0 112146348 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687251872112 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26568] ppid=26505 vsize=14071612 memory=2326260 CPUtime=12.81 cores=0,2,4,6
/proc/26508/task/26568/stat : 26568 (java) S 26505 26508 8289 0 -1 1077944384 24954 12628 0 0 1267 7 5 2 20 0 15 0 112146348 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687250819312 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26569] ppid=26505 vsize=14071612 memory=4168 CPUtime=4.37 cores=0,2,4,6
/proc/26508/task/26569/stat : 26569 (java) S 26505 26508 8289 0 -1 1077944384 23609 12628 0 0 422 8 5 2 20 0 15 0 112146348 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687249766512 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26570] ppid=26505 vsize=14071612 memory=4168 CPUtime=0.07 cores=0,2,4,6
/proc/26508/task/26570/stat : 26570 (java) S 26505 26508 8289 0 -1 1077944384 3 12628 0 0 0 0 5 2 20 0 15 0 112146349 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687248713952 139687777539797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
[pid=26508/tid=26571] ppid=26505 vsize=14071612 memory=54288 CPUtime=0.17 cores=0,2,4,6
/proc/26508/task/26571/stat : 26571 (java) S 26505 26508 8289 0 -1 1077944384 110 12628 0 0 6 4 5 2 20 0 15 0 112146351 14409330688 568741 18446744073709551615 4194304 4196468 140732981424016 139687247662256 139687777540738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 14442496 140732981426096 140732981428881 140732981428881 140732981432271 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 2274964 KiB

Child status: 143
Real time (s): 217.953
CPU time (s): 252.17
CPU user time (s): 250.585
CPU system time (s): 1.58484
CPU usage (%): 115.699
Max. virtual memory (cumulated for all children) (KiB): 14071612
Max. memory (cumulated for all children) (KiB): 2457032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.585
system time used= 1.58483
maximum resident set size= 2473828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184819
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23679
involuntary context switches= 527


# summary of solver processes directly reported to runsolver:
#   pid: 26508
#   total CPU time (s): 252.17
#   total CPU user time (s): 250.585
#   total CPU system time (s): 1.58484

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42603 second user time and 2.01908 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-13 18:41:03
IDJOB=4259816
IDBENCH=115896
IDSOLVER=2646
FILE ID=node133/4259816-1502643311
RUNJOBID= node133-1502641620-25473
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-37.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259816-1502643311/watcher-4259816-1502643311 -o /tmp/evaluation-result-4259816-1502643311/solver-4259816-1502643311 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312  bin/concrete HOME/instance-4259816-1502643311.xml

TIME LIMIT= 252 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877
RANDOM SEED=414084946

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29189060 kB
MemAvailable:   29824096 kB
Buffers:          235792 kB
Cached:           694496 kB
SwapCached:            0 kB
Active:          2945600 kB
Inactive:         182628 kB
Active(anon):    2138912 kB
Inactive(anon):   100820 kB
Active(file):     806688 kB
Inactive(file):    81808 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24360 kB
Writeback:             0 kB
AnonPages:       2198076 kB
Mapped:            70800 kB
Shmem:             41660 kB
Slab:             152544 kB
SReclaimable:     124748 kB
SUnreclaim:        27796 kB
KernelStack:        3552 kB
PageTables:         9784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3097296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1943552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61984 MiB
End job on node133 at 2017-08-13 18:44:42