Trace number 4244765

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
R1: Concrete 3.4SAT (TO)609 2400.07 2316.04

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 benchmark686
Best CPU time to get the best result obtained on this benchmark2400.02
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.93/2.20	c Concrete v3.4 running
21.49/7.78	% 06:14:21.777 [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
21.49/7.80	% 06:14:21.805 [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
21.49/7.80	% 06:14:21.807 [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
21.97/7.82	% 06:14:21.828 [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
21.97/7.83	% 06:14:21.829 [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
21.97/7.84	% 06:14:21.843 [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
21.97/7.84	% 06:14:21.844 [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
21.97/7.85	% 06:14:21.858 [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
21.97/7.86	% 06:14:21.859 [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
21.97/7.86	% 06:14:21.864 [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
21.97/7.86	% 06:14:21.865 [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
21.97/7.87	% 06:14:21.870 [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
21.97/7.87	% 06:14:21.871 [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
21.97/7.87	% 06:14:21.876 [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
21.97/7.87	% 06:14:21.877 [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
21.97/7.88	% 06:14:21.883 [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
91.58/57.87	o 8
92.24/58.14	o 9
92.66/58.38	o 10
93.11/58.62	o 11
93.36/58.83	o 12
93.57/59.05	o 13
94.06/59.44	o 14
94.27/59.66	o 15
94.82/59.91	o 16
95.62/60.20	o 17
96.04/60.46	o 18
96.25/60.70	o 19
96.56/60.92	o 169
96.89/61.23	o 170
97.21/61.51	o 171
97.42/61.79	o 172
97.87/62.11	o 173
98.21/62.43	o 174
98.41/62.67	o 175
98.73/62.92	o 176
99.05/63.21	o 177
99.47/63.60	o 178
99.69/63.86	o 179
100.14/64.13	o 180
100.49/64.40	o 181
100.70/64.65	o 182
101.02/64.94	o 183
101.34/65.22	o 184
101.79/65.63	o 185
102.00/65.86	o 186
102.20/66.10	o 187
102.53/66.39	o 188
103.09/66.82	o 189
103.44/67.12	o 190
103.65/67.35	o 191
103.99/67.66	o 192
104.40/68.05	o 193
104.78/68.39	o 194
105.11/68.69	o 195
105.75/69.28	o 196
106.11/69.57	o 197
106.42/69.83	o 198
106.65/70.07	o 199
107.06/70.32	o 200
107.58/70.74	o 201
107.91/71.03	o 202
108.33/71.45	o 203
108.67/71.79	o 230
109.01/72.07	o 231
109.37/72.34	o 232
109.69/72.61	o 233
110.02/72.91	o 234
110.22/73.18	o 235
111.42/74.25	o 236
111.76/74.54	o 237
112.10/74.86	o 238
112.71/75.48	o 239
113.30/75.95	o 240
113.64/76.25	o 241
113.97/76.56	o 242
114.52/77.04	o 243
114.82/77.32	o 244
115.16/77.67	o 245
115.75/78.00	o 246
116.11/78.32	o 247
116.51/78.73	o 248
116.81/79.00	o 249
117.26/79.43	o 250
117.59/79.74	o 251
117.93/80.02	o 252
118.37/80.45	o 253
118.70/80.72	o 254
118.90/80.98	o 255
119.22/81.27	o 256
119.78/81.71	o 257
120.15/82.03	o 258
120.82/82.67	o 259
121.14/82.96	o 260
121.45/83.24	o 261
121.90/83.70	o 262
123.07/84.76	o 263
123.58/85.23	o 264
124.12/85.57	o 265
124.45/85.82	o 266
124.86/86.22	o 267
125.39/86.79	o 268
125.73/87.09	o 269
126.28/87.52	o 270
126.84/88.02	o 271
127.27/88.48	o 272
127.86/88.89	o 273
128.18/89.19	o 274
128.52/89.45	o 275
128.84/89.72	o 276
129.27/90.18	o 277
129.92/90.76	o 278
130.34/91.14	o 296
130.70/91.45	o 297
131.02/91.78	o 298
131.56/92.27	o 299
131.90/92.57	o 300
132.42/93.08	o 301
133.54/93.94	o 302
133.89/94.27	o 303
134.21/94.56	o 304
134.57/94.86	o 305
134.88/95.18	o 306
135.43/95.63	o 324
135.76/95.94	o 325
136.20/96.39	o 326
137.01/97.03	o 327
137.35/97.33	o 328
137.68/97.63	o 329
137.89/97.89	o 330
138.54/98.50	o 331
138.84/98.76	o 332
139.31/99.11	o 333
139.51/99.38	o 334
139.84/99.67	o 335
140.39/100.18	o 336
140.72/100.49	o 337
141.15/100.83	o 338
142.32/101.73	o 339
142.64/102.03	o 340
142.97/102.33	o 341
143.50/102.80	o 342
143.93/103.28	o 343
144.27/103.59	o 344
145.11/104.34	o 345
145.56/104.78	o 346
146.06/105.20	o 347
146.48/105.68	o 348
146.79/105.97	o 349
147.33/106.45	o 350
147.64/106.74	o 351
147.96/107.02	o 352
149.02/108.01	o 353
149.23/108.28	o 354
149.55/108.56	o 355
149.87/108.82	o 356
150.74/109.40	o 357
150.96/109.68	o 358
151.49/110.17	o 359
151.80/110.50	o 360
152.23/110.81	o 361
152.88/111.47	o 362
153.20/111.73	o 363
153.52/112.00	o 364
153.84/112.33	o 365
154.15/112.63	o 366
154.57/113.06	o 367
154.90/113.39	o 368
155.52/113.90	o 369
155.84/114.24	o 370
156.62/114.95	o 371
157.36/115.61	o 372
157.68/115.92	o 373
158.41/116.68	o 374
159.37/117.59	o 375
160.19/118.12	o 376
160.94/118.89	o 377
161.46/119.35	o 378
161.78/119.69	o 379
163.98/121.80	o 380
164.40/122.11	o 381
164.82/122.56	o 382
165.13/122.84	o 383
165.44/123.16	o 384
166.49/124.18	o 385
167.74/125.34	o 386
168.06/125.70	o 387
168.79/126.33	o 388
169.56/126.91	o 389
170.80/128.10	o 390
171.12/128.41	o 391
171.43/128.80	o 392
171.74/129.09	o 393
172.45/129.77	o 394
172.87/130.18	o 395
173.28/130.51	o 396
173.59/130.82	o 397
174.74/131.96	o 398
175.43/132.53	o 399
177.91/134.90	o 400
178.39/135.23	o 401
179.02/135.80	o 402
179.32/136.11	o 403
179.63/136.40	o 404
180.15/136.97	o 405
182.00/138.74	o 406
182.79/139.53	o 407
183.10/139.85	o 408
183.69/140.41	o 409
186.09/142.83	o 410
187.14/143.54	o 411
187.44/143.82	o 412
188.04/144.43	o 413
188.34/144.74	o 414
188.64/145.04	o 415
189.14/145.55	o 416
190.11/146.33	o 417
191.53/147.77	o 418
192.76/148.91	o 419
193.46/149.63	o 420
193.86/150.09	o 421
194.86/151.05	o 422
195.58/151.64	o 423
195.88/151.92	o 424
196.18/152.25	o 425
196.48/152.54	o 426
197.38/153.42	o 427
198.18/154.24	o 428
198.48/154.58	o 429
203.78/159.53	o 430
207.79/163.57	o 431
208.58/164.33	o 432
208.88/164.66	o 433
209.58/165.29	o 434
210.47/166.10	o 435
212.88/168.59	o 436
213.27/168.92	o 437
214.17/169.88	o 438
216.68/172.26	o 439
217.78/173.39	o 440
218.39/173.97	o 441
218.78/174.31	o 442
219.18/174.75	o 443
219.49/175.06	o 444
219.88/175.40	o 445
221.48/177.01	o 446
221.98/177.58	o 447
222.48/178.04	o 448
223.35/178.88	o 449
223.75/179.20	o 450
224.25/179.80	o 451
225.65/181.11	o 452
226.56/182.09	o 453
227.76/183.26	o 454
228.07/183.55	o 455
228.57/184.08	o 456
229.75/185.08	o 457
230.04/185.35	o 458
230.34/185.65	o 459
230.64/185.93	o 460
231.24/186.55	o 461
231.54/186.86	o 462
232.04/187.33	o 463
233.24/188.58	o 464
233.64/188.95	o 465
233.94/189.25	o 466
234.94/190.29	o 467
236.77/191.93	o 468
237.07/192.28	o 469
237.37/192.57	o 470
238.18/193.31	o 471
238.49/193.64	o 472
238.79/193.96	o 473
239.60/194.75	o 474
243.42/198.49	o 475
244.42/199.48	o 476
245.52/200.52	o 477
245.82/200.84	o 478
246.32/201.39	o 479
248.51/203.46	o 480
248.82/203.75	o 481
249.31/204.26	o 482
250.41/205.32	o 483
251.21/206.12	o 484
251.51/206.48	o 485
253.21/208.09	o 486
253.80/208.67	o 487
254.41/209.22	o 488
255.20/210.00	o 489
256.30/211.19	o 490
258.52/213.24	o 491
259.52/214.28	o 492
259.93/214.62	o 493
260.62/215.39	o 494
261.13/215.87	o 495
262.24/216.88	o 496
264.13/218.78	o 497
264.73/219.35	o 498
265.64/220.23	o 499
277.95/232.11	o 500
279.26/233.46	o 501
280.45/234.63	o 502
282.87/236.91	o 503
283.17/237.24	o 504
285.17/239.23	o 505
285.57/239.57	o 506
285.98/239.94	o 507
286.27/240.29	o 508
286.67/240.62	o 509
287.57/241.51	o 510
288.07/242.06	o 511
288.37/242.38	o 512
289.38/243.37	o 513
289.85/243.77	o 514
290.15/244.07	o 515
294.08/247.86	o 516
294.68/248.44	o 517
297.42/251.01	o 518
297.71/251.33	o 519
300.54/254.07	o 520
302.04/255.55	o 521
304.27/257.53	o 522
304.87/258.17	o 523
307.74/260.82	o 524
308.84/261.97	o 525
309.24/262.34	o 526
309.65/262.60	o 527
309.95/262.93	o 528
310.56/263.50	o 529
310.86/263.83	o 530
311.36/264.32	o 531
311.66/264.66	o 532
312.07/265.01	o 533
312.80/265.70	o 534
313.70/266.52	o 535
314.30/267.13	o 536
315.11/267.90	o 537
315.95/268.52	o 538
316.34/268.99	o 539
316.94/269.54	o 540
317.84/270.42	o 541
318.34/270.97	o 542
318.74/271.36	o 543
319.83/272.21	o 544
321.33/273.71	o 545
321.64/274.03	o 546
322.80/274.91	o 547
323.90/276.01	o 548
324.60/276.70	o 549
328.83/280.73	o 550
330.36/281.92	o 551
330.86/282.48	o 552
342.61/293.55	o 553
342.92/293.85	o 554
344.38/295.06	o 555
345.48/296.15	o 556
347.50/298.13	o 557
347.80/298.48	o 558
349.20/299.81	o 559
349.74/300.16	o 560
350.05/300.49	o 561
350.44/300.83	o 562
352.25/302.63	o 563
352.55/302.95	o 564
353.85/304.21	o 565
364.85/314.43	o 566
366.27/315.83	o 567
367.26/316.88	o 568
368.07/317.68	o 569
368.87/318.47	o 570
369.57/319.14	o 571
371.48/320.86	o 572
371.78/321.16	o 573
372.09/321.45	o 574
372.38/321.76	o 575
374.48/323.86	o 576
375.18/324.51	o 577
375.48/324.83	o 578
375.78/325.14	o 579
376.28/325.61	o 580
377.81/326.87	o 581
378.21/327.21	o 582
382.31/331.31	o 583
383.60/332.34	o 584
384.99/333.71	o 585
386.49/335.26	o 586
386.90/335.62	o 587
387.39/336.16	o 588
414.43/361.25	o 589
428.73/374.68	o 590
429.13/375.04	o 591
429.92/375.74	o 592
435.30/380.85	o 593
437.19/382.34	o 594
437.80/382.94	o 595
440.00/385.15	o 596
446.63/391.33	o 597
452.16/396.43	o 598
452.46/396.79	o 599
453.08/397.38	o 600
457.36/401.10	o 601
459.16/403.00	o 602
461.36/405.17	o 603
468.86/412.20	o 604
469.16/412.56	o 605
473.40/416.42	o 606
473.70/416.73	o 607
475.00/418.05	o 608
492.63/434.80	o 609
2400.01/2316.00	java.util.concurrent.TimeoutException
2400.01/2316.01		at concrete.MAC.mac(MAC.scala:74)
2400.01/2316.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.01/2316.01		at scala.util.Try$.apply(Try.scala:209)
2400.01/2316.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.01/2316.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.01/2316.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.01/2316.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.01/2316.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.01/2316.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.01/2316.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.01/2316.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.01/2316.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.01/2316.01		at concrete.MAC.oneRun(MAC.scala:146)
2400.01/2316.01		at concrete.MAC.nextSolution(MAC.scala:166)
2400.01/2316.01		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.01/2316.01		at concrete.ProblemState.map(ProblemState.scala:203)
2400.01/2316.01		at concrete.ProblemState.map(ProblemState.scala:188)
2400.01/2316.01		at concrete.MAC.nextSolution(MAC.scala:195)
2400.01/2316.01		at concrete.Solver.hasNext(Solver.scala:202)
2400.01/2316.01		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.01/2316.01		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.01/2316.01		at concrete.Solver.toStream(Solver.scala:73)
2400.01/2316.01		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.01/2316.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.01/2316.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.01/2316.01		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.01/2316.01		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.01/2316.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.01/2316.01		at scala.util.Success.map(Try.scala:209)
2400.01/2316.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.01/2316.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.01/2316.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.01/2316.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.01/2316.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.01/2316.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.01/2316.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.01/2316.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.01/2316.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.01/2316.01		at scala.collection.immutable.List.foreach(List.scala:389)
2400.01/2316.01		at scala.App.main(App.scala:76)
2400.01/2316.01		at scala.App.main$(App.scala:74)
2400.01/2316.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.01/2316.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.01/2316.01	v <instantiation cost="609">
2400.01/2316.01	v       <list>
2400.01/2316.01	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
2400.01/2316.02	v       </list>
2400.01/2316.02	v       <values>
2400.01/2316.02	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 0 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 0 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 0 1 1 1 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 1 0 0 0 0 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 1 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 0 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 0 1 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 1 1 1 0 1 0 1 0 0 0 1 0 1 0 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 0 0 1 0 1 0 1 0 1 0 1 0 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 1 0 1 0 1 0 0 1 0 1 1 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 1 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 0 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 1 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 1 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 1 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 1 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 0 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 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 1 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 1 0 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 0 1 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 1 1 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 0 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 0 0 1 0 0 1 0 0 0 0 1 2 2 2 1 1 2 1 1 2 2 2 2 2 2 2 1 1 2 1 1 2 0 0 0 0 1 2 2 1 1 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 1 1 0 2 2 2 2 1 1 1 0 0 0 0 0 1 0 0 0 1 0 2 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 1 0 1 1 1 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 0 0 0 0 0 0 0 2 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 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 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 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 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 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 1 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 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 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 0 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 0 2 0 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 0 0 0 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 0 0 0 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 0 0 0 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 1 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 1 1 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 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 0 0 1 1 1 1 2 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 1 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 0 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 2 0 0 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 0 0 0 0 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 0 0 1 0 0 1 0 0 0 31 74 96 114 123 128 137 142 148 154 166 175 182 191 199 206 215 226 232 241 250 260 270 280 291 299 309 315 325 335 340 344 353 359 370 382 392 424 450 609
2400.01/2316.02	v       </values>
2400.01/2316.02	v     </instantiation>
2400.01/2316.02	s SATISFIABLE

Verifier Data 

OK	609

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244765-1500696853/watcher-4244765-1500696853 -o /tmp/evaluation-result-4244765-1500696853/solver-4244765-1500696853 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500696853-12413 --watchdog 2560 bin/concrete HOME/instance-4244765-1500696853.xml 

pid=12437
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 9.86 12.56 12.76 2/244 12440
/proc/meminfo: memFree=31764392/32770624 swapFree=5724/269176
[pid=12440] ppid=12437 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (bash) S 12437 12440 16473 0 -1 4202496 653 0 0 0 0 0 0 0 20 0 1 0 4954491 9736192 350 33554432000 4194304 5098028 140732236349344 140732236346984 140433462598656 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 37609472 140732236350734 140732236350819 140732236350819 140732236353518 0
/proc/12440/statm: 2377 350 278 221 0 86 0

[startup+0.100118 s]
/proc/loadavg: 9.86 12.56 12.76 2/244 12440
/proc/meminfo: memFree=31764392/32770624 swapFree=5724/269176
[pid=12440] ppid=12437 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (bash) S 12437 12440 16473 0 -1 4202496 878 6421 0 1 0 0 0 1 20 0 1 0 4954491 9871360 377 33554432000 4194304 5098028 140732236349344 140732236343352 140433462598656 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 0 0 0 7196144 7232144 37609472 140732236350734 140732236350819 140732236350819 140732236353518 0
/proc/12440/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200415 s]
/proc/loadavg: 9.86 12.56 12.76 2/244 12440
/proc/meminfo: memFree=31764392/32770624 swapFree=5724/269176
[pid=12440] ppid=12437 vsize=10369296 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (java) S 12437 12440 16473 0 -1 1077944320 4765 12273 0 1 3 1 9 3 20 0 12 0 4954491 10618159104 4624 33554432000 4194304 4196468 140736849838240 140736849820784 139890368052983 0 0 0 16784584 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
/proc/12440/statm: 2592324 4624 2076 1 0 2580762 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10369296

[startup+0.300306 s]
/proc/loadavg: 9.86 12.56 12.76 2/244 12440
/proc/meminfo: memFree=31764392/32770624 swapFree=5724/269176
[pid=12440] ppid=12437 vsize=10902392 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (java) S 12437 12440 16473 0 -1 1077944320 6934 12273 0 1 19 2 9 3 20 0 20 0 4954491 11164049408 8637 33554432000 4194304 4196468 140736849838240 140736849820784 139890368052983 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
/proc/12440/statm: 2725598 8637 2982 1 0 2713890 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 10902392

[startup+0.700212 s]
/proc/loadavg: 9.86 12.56 12.76 2/244 12440
/proc/meminfo: memFree=31764392/32770624 swapFree=5724/269176
[pid=12440] ppid=12437 vsize=10902720 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (java) S 12437 12440 16473 0 -1 1077944320 12091 12273 0 1 70 4 9 3 20 0 20 0 4954491 11164385280 14923 33554432000 4194304 4196468 140736849838240 140736849820784 139890368052983 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
/proc/12440/statm: 2725680 14923 3160 1 0 2713890 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10902720

[startup+1.50077 s]
/proc/loadavg: 9.23 12.39 12.70 3/286 12591
/proc/meminfo: memFree=31564852/32770624 swapFree=5724/268888
[pid=12440] ppid=12437 vsize=10913344 CPUtime=2.22 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (java) S 12437 12440 16473 0 -1 1077944320 27038 12273 0 1 199 11 9 3 20 0 20 0 4954491 11175264256 43942 33554432000 4194304 4196468 140736849838240 140736849820784 139890368052983 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
/proc/12440/statm: 2728336 43942 3405 1 0 2716450 0
[pid=12440/tid=12555] ppid=12437 vsize=10913344 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12555/stat : 12555 (java) R 12437 12440 16473 0 -1 4202560 19357 12273 0 1 122 5 9 3 20 0 20 0 4954507 11175264256 43942 33554432000 4194304 4196468 140736849838240 139890372273008 139890353746449 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12564] ppid=12437 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12564/stat : 12564 (java) S 12437 12440 16473 0 -1 1077944384 37 12273 0 1 1 0 9 3 20 0 20 0 4954507 11175264256 43942 33554432000 4194304 4196468 140736849838240 139890310057104 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12565] ppid=12437 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12565/stat : 12565 (java) S 12437 12440 16473 0 -1 1077944384 8 12273 0 1 1 0 9 3 20 0 20 0 4954507 11175264256 43942 33554432000 4194304 4196468 140736849838240 139890309004304 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12566] ppid=12437 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12566/stat : 12566 (java) S 12437 12440 16473 0 -1 1077944384 27 12273 0 1 1 0 9 3 20 0 20 0 4954508 11175264256 43942 33554432000 4194304 4196468 140736849838240 139890307951504 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12567] ppid=12437 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12567/stat : 12567 (java) S 12437 12440 16473 0 -1 1077944384 129 12273 0 1 1 0 9 3 20 0 20 0 4954508 11175264256 43942 33554432000 4194304 4196468 140736849838240 139889971354384 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12568] ppid=12437 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12568/stat : 12568 (java) S 12437 12440 16473 0 -1 1077944384 19 12273 0 1 1 0 9 3 20 0 20 0 4954508 11175264256 43942 33554432000 4194304 4196468 140736849838240 139889970301584 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12569] ppid=12437 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12569/stat : 12569 (java) S 12437 12440 16473 0 -1 1077944384 48 12273 0 1 1 0 9 3 20 0 20 0 4954508 11175264256 43942 33554432000 4194304 4196468 140736849838240 139889969248784 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12570] ppid=12437 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12570/stat : 12570 (java) S 12437 12440 16473 0 -1 1077944384 30 12273 0 1 1 0 9 3 20 0 20 0 4954508 11175264256 43942 33554432000 4194304 4196468 140736849838240 139889968195984 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12571] ppid=12437 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12571/stat : 12571 (java) S 12437 12440 16473 0 -1 1077944384 32 12273 0 1 1 0 9 3 20 0 20 0 4954508 11175264256 43942 33554432000 4194304 4196468 140736849838240 139889967143184 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12573] ppid=12437 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12573/stat : 12573 (java) S 12437 12440 16473 0 -1 1077944384 1646 12273 0 1 1 0 9 3 20 0 20 0 4954510 11175264256 43942 33554432000 4194304 4196468 140736849838240 139889909853040 139890368064130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12575] ppid=12437 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12575/stat : 12575 (java) S 12437 12440 16473 0 -1 1077944384 55 12273 0 1 0 0 9 3 20 0 20 0 4954511 11175264256 43942 33554432000 4194304 4196468 140736849838240 139889908799008 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12577] ppid=12437 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12577/stat : 12577 (java) S 12437 12440 16473 0 -1 1077944384 43 12273 0 1 0 0 9 3 20 0 20 0 4954511 11175264256 43942 33554432000 4194304 4196468 140736849838240 139889907746160 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12581] ppid=12437 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12581/stat : 12581 (java) S 12437 12440 16473 0 -1 1077944384 1 12273 0 1 0 0 9 3 20 0 20 0 4954515 11175264256 43942 33554432000 4194304 4196468 140736849838240 139889906694480 139890368071579 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12582] ppid=12437 vsize=10913344 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12582/stat : 12582 (java) S 12437 12440 16473 0 -1 1077944384 902 12273 0 1 16 0 9 3 20 0 20 0 4954515 11175264256 43942 33554432000 4194304 4196468 140736849838240 139889905641840 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12584] ppid=12437 vsize=10913344 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12584/stat : 12584 (java) S 12437 12440 16473 0 -1 1077944384 292 12273 0 1 8 0 9 3 20 0 20 0 4954515 11175264256 43942 33554432000 4194304 4196468 140736849838240 139889904589040 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12586] ppid=12437 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12586/stat : 12586 (java) S 12437 12440 16473 0 -1 1077944384 1287 12273 0 1 13 0 9 3 20 0 20 0 4954515 11175264256 43942 33554432000 4194304 4196468 140736849838240 139889836288112 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12587] ppid=12437 vsize=10913344 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12587/stat : 12587 (java) S 12437 12440 16473 0 -1 1077944384 991 12273 0 1 25 0 9 3 20 0 20 0 4954515 11175264256 43942 33554432000 4194304 4196468 140736849838240 139889835235312 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12588] ppid=12437 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12588/stat : 12588 (java) S 12437 12440 16473 0 -1 1077944384 3 12273 0 1 0 0 9 3 20 0 20 0 4954515 11175264256 43942 33554432000 4194304 4196468 140736849838240 139889834183776 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12590] ppid=12437 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12590/stat : 12590 (java) S 12437 12440 16473 0 -1 1077944384 3 12273 0 1 0 0 9 3 20 0 20 0 4954515 11175264256 43942 33554432000 4194304 4196468 140736849838240 139889833131056 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 10913344

[startup+3.10109 s]
/proc/loadavg: 9.23 12.39 12.70 7/286 12591
/proc/meminfo: memFree=31405176/32770624 swapFree=5720/269680
[pid=12440] ppid=12437 vsize=10925820 CPUtime=6.59 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (java) S 12437 12440 16473 0 -1 1077944320 49154 12273 0 1 629 18 9 3 20 0 20 0 4954491 11188039680 59978 33554432000 4194304 4196468 140736849838240 140736849820784 139890368052983 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
/proc/12440/statm: 2731455 59978 3477 1 0 2719010 0
[pid=12440/tid=12555] ppid=12437 vsize=10925820 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12555/stat : 12555 (java) R 12437 12440 16473 0 -1 4202560 31565 12273 0 1 277 9 9 3 20 0 20 0 4954507 11188039680 59978 33554432000 4194304 4196468 140736849838240 139890372241184 139890352133470 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12564] ppid=12437 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12564/stat : 12564 (java) S 12437 12440 16473 0 -1 1077944384 37 12273 0 1 1 0 9 3 20 0 20 0 4954507 11188039680 59978 33554432000 4194304 4196468 140736849838240 139890310057104 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12565] ppid=12437 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12565/stat : 12565 (java) S 12437 12440 16473 0 -1 1077944384 8 12273 0 1 1 0 9 3 20 0 20 0 4954507 11188039680 59978 33554432000 4194304 4196468 140736849838240 139890309004304 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12566] ppid=12437 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12566/stat : 12566 (java) S 12437 12440 16473 0 -1 1077944384 27 12273 0 1 1 0 9 3 20 0 20 0 4954508 11188039680 59978 33554432000 4194304 4196468 140736849838240 139890307951504 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12567] ppid=12437 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12567/stat : 12567 (java) S 12437 12440 16473 0 -1 1077944384 129 12273 0 1 1 0 9 3 20 0 20 0 4954508 11188039680 59978 33554432000 4194304 4196468 140736849838240 139889971354384 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12568] ppid=12437 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12568/stat : 12568 (java) S 12437 12440 16473 0 -1 1077944384 19 12273 0 1 1 0 9 3 20 0 20 0 4954508 11188039680 59978 33554432000 4194304 4196468 140736849838240 139889970301584 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12569] ppid=12437 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12569/stat : 12569 (java) S 12437 12440 16473 0 -1 1077944384 48 12273 0 1 1 0 9 3 20 0 20 0 4954508 11188039680 59978 33554432000 4194304 4196468 140736849838240 139889969248784 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12570] ppid=12437 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12570/stat : 12570 (java) S 12437 12440 16473 0 -1 1077944384 30 12273 0 1 1 0 9 3 20 0 20 0 4954508 11188039680 59978 33554432000 4194304 4196468 140736849838240 139889968195984 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12571] ppid=12437 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12571/stat : 12571 (java) S 12437 12440 16473 0 -1 1077944384 32 12273 0 1 1 0 9 3 20 0 20 0 4954508 11188039680 59978 33554432000 4194304 4196468 140736849838240 139889967143184 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12573] ppid=12437 vsize=10925820 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12573/stat : 12573 (java) S 12437 12440 16473 0 -1 1077944384 1987 12273 0 1 1 0 9 3 20 0 20 0 4954510 11188039680 59978 33554432000 4194304 4196468 140736849838240 139889909853040 139890368064130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12575] ppid=12437 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12575/stat : 12575 (java) S 12437 12440 16473 0 -1 1077944384 55 12273 0 1 0 0 9 3 20 0 20 0 4954511 11188039680 59978 33554432000 4194304 4196468 140736849838240 139889908799008 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12577] ppid=12437 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12577/stat : 12577 (java) S 12437 12440 16473 0 -1 1077944384 43 12273 0 1 0 0 9 3 20 0 20 0 4954511 11188039680 59978 33554432000 4194304 4196468 140736849838240 139889907746160 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12581] ppid=12437 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12581/stat : 12581 (java) S 12437 12440 16473 0 -1 1077944384 1 12273 0 1 0 0 9 3 20 0 20 0 4954515 11188039680 59978 33554432000 4194304 4196468 140736849838240 139889906694480 139890368071579 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12582] ppid=12437 vsize=10925820 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12582/stat : 12582 (java) S 12437 12440 16473 0 -1 1077944384 2643 12273 0 1 78 1 9 3 20 0 20 0 4954515 11188039680 59978 33554432000 4194304 4196468 140736849838240 139889905641840 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12584] ppid=12437 vsize=10925820 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12584/stat : 12584 (java) S 12437 12440 16473 0 -1 1077944384 1539 12273 0 1 67 1 9 3 20 0 20 0 4954515 11188039680 59978 33554432000 4194304 4196468 140736849838240 139889904589040 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12586] ppid=12437 vsize=10925820 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12586/stat : 12586 (java) R 12437 12440 16473 0 -1 4202560 5063 12273 0 1 91 1 9 3 20 0 20 0 4954515 11188039680 59978 33554432000 4194304 4196468 140736849838240 139889836274656 139890353162549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12587] ppid=12437 vsize=10925820 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12587/stat : 12587 (java) S 12437 12440 16473 0 -1 1077944384 3792 12273 0 1 101 1 9 3 20 0 20 0 4954515 11188039680 59978 33554432000 4194304 4196468 140736849838240 139889835235312 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12588] ppid=12437 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12588/stat : 12588 (java) S 12437 12440 16473 0 -1 1077944384 3 12273 0 1 0 0 9 3 20 0 20 0 4954515 11188039680 59978 33554432000 4194304 4196468 140736849838240 139889834183776 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12590] ppid=12437 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12590/stat : 12590 (java) S 12437 12440 16473 0 -1 1077944384 5 12273 0 1 0 0 9 3 20 0 20 0 4954515 11188039680 59978 33554432000 4194304 4196468 140736849838240 139889833131056 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 10925820

[startup+6.30076 s]
/proc/loadavg: 8.82 12.25 12.65 9/286 12591
/proc/meminfo: memFree=31008360/32770624 swapFree=5720/269632
[pid=12440] ppid=12437 vsize=10927868 CPUtime=18.07 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (java) S 12437 12440 16473 0 -1 1077944320 58891 12273 0 1 1761 34 9 3 20 0 20 0 4954491 11190136832 120733 33554432000 4194304 4196468 140736849838240 140736849820784 139890368052983 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
/proc/12440/statm: 2731967 120733 3483 1 0 2719522 0
[pid=12440/tid=12555] ppid=12437 vsize=10927868 CPUtime=6.06 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12555/stat : 12555 (java) R 12437 12440 16473 0 -1 4202560 32759 12273 0 1 581 13 9 3 20 0 20 0 4954507 11190136832 120733 33554432000 4194304 4196468 140736849838240 139890372282616 139890000741799 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12564] ppid=12437 vsize=10927868 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12564/stat : 12564 (java) S 12437 12440 16473 0 -1 1077944384 61 12273 0 1 5 1 9 3 20 0 20 0 4954507 11190136832 120733 33554432000 4194304 4196468 140736849838240 139890310057104 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12565] ppid=12437 vsize=10927868 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12565/stat : 12565 (java) S 12437 12440 16473 0 -1 1077944384 70 12273 0 1 6 1 9 3 20 0 20 0 4954507 11190136832 120733 33554432000 4194304 4196468 140736849838240 139890309004304 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12566] ppid=12437 vsize=10927868 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12566/stat : 12566 (java) S 12437 12440 16473 0 -1 1077944384 62 12273 0 1 7 1 9 3 20 0 20 0 4954508 11190136832 120733 33554432000 4194304 4196468 140736849838240 139890307951504 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12567] ppid=12437 vsize=10927868 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12567/stat : 12567 (java) S 12437 12440 16473 0 -1 1077944384 162 12273 0 1 6 1 9 3 20 0 20 0 4954508 11190136832 120733 33554432000 4194304 4196468 140736849838240 139889971354384 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12568] ppid=12437 vsize=10927868 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12568/stat : 12568 (java) S 12437 12440 16473 0 -1 1077944384 38 12273 0 1 4 1 9 3 20 0 20 0 4954508 11190136832 120733 33554432000 4194304 4196468 140736849838240 139889970301584 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12569] ppid=12437 vsize=10927868 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12569/stat : 12569 (java) S 12437 12440 16473 0 -1 1077944384 90 12273 0 1 7 1 9 3 20 0 20 0 4954508 11190136832 120733 33554432000 4194304 4196468 140736849838240 139889969248784 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12570] ppid=12437 vsize=10927868 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12570/stat : 12570 (java) S 12437 12440 16473 0 -1 1077944384 45 12273 0 1 7 1 9 3 20 0 20 0 4954508 11190136832 120733 33554432000 4194304 4196468 140736849838240 139889968195984 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12571] ppid=12437 vsize=10927868 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12571/stat : 12571 (java) S 12437 12440 16473 0 -1 1077944384 57 12273 0 1 7 1 9 3 20 0 20 0 4954508 11190136832 120733 33554432000 4194304 4196468 140736849838240 139889967143184 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12573] ppid=12437 vsize=10927868 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12573/stat : 12573 (java) S 12437 12440 16473 0 -1 1077944384 2797 12273 0 1 5 0 9 3 20 0 20 0 4954510 11190136832 120733 33554432000 4194304 4196468 140736849838240 139889909853040 139890368064130 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12575] ppid=12437 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12575/stat : 12575 (java) S 12437 12440 16473 0 -1 1077944384 56 12273 0 1 0 0 9 3 20 0 20 0 4954511 11190136832 120733 33554432000 4194304 4196468 140736849838240 139889908799072 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12577] ppid=12437 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12577/stat : 12577 (java) S 12437 12440 16473 0 -1 1077944384 43 12273 0 1 0 0 9 3 20 0 20 0 4954511 11190136832 120733 33554432000 4194304 4196468 140736849838240 139889907746176 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12581] ppid=12437 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12581/stat : 12581 (java) S 12437 12440 16473 0 -1 1077944384 1 12273 0 1 0 0 9 3 20 0 20 0 4954515 11190136832 120733 33554432000 4194304 4196468 140736849838240 139889906694480 139890368071579 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12582] ppid=12437 vsize=10927868 CPUtime=3.31 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12582/stat : 12582 (java) S 12437 12440 16473 0 -1 1077944384 4151 12273 0 1 317 2 9 3 20 0 20 0 4954515 11190136832 120733 33554432000 4194304 4196468 140736849838240 139889905641840 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12584] ppid=12437 vsize=10927868 CPUtime=3.14 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12584/stat : 12584 (java) S 12437 12440 16473 0 -1 1077944384 4714 12273 0 1 300 2 9 3 20 0 20 0 4954515 11190136832 120733 33554432000 4194304 4196468 140736849838240 139889904589040 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12586] ppid=12437 vsize=10927868 CPUtime=3.46 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12586/stat : 12586 (java) S 12437 12440 16473 0 -1 1077944384 5824 12273 0 1 333 1 9 3 20 0 20 0 4954515 11190136832 120733 33554432000 4194304 4196468 140736849838240 139889836288112 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12587] ppid=12437 vsize=10927868 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12587/stat : 12587 (java) S 12437 12440 16473 0 -1 1077944384 5823 12273 0 1 168 2 9 3 20 0 20 0 4954515 11190136832 120733 33554432000 4194304 4196468 140736849838240 139889835235312 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12588] ppid=12437 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14

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

[pid=12440/tid=12584] ppid=12437 vsize=10999548 CPUtime=10.3 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12584/stat : 12584 (java) S 12437 12440 16473 0 -1 1077944384 27411 12273 0 1 1011 7 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889904589040 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12586] ppid=12437 vsize=10999548 CPUtime=10.7 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12586/stat : 12586 (java) S 12437 12440 16473 0 -1 1077944384 26568 12273 0 1 1052 6 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889836288112 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12587] ppid=12437 vsize=10999548 CPUtime=4.77 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12587/stat : 12587 (java) S 12437 12440 16473 0 -1 1077944384 46212 12273 0 1 457 8 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889835235312 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12588] ppid=12437 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12588/stat : 12588 (java) S 12437 12440 16473 0 -1 1077944384 3 12273 0 1 0 0 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889834183776 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12590] ppid=12437 vsize=10999548 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12590/stat : 12590 (java) S 12437 12440 16473 0 -1 1077944384 1064 12273 0 1 67 54 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889833131056 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
Current children cumulated CPU time (s) 2285.73
Current children cumulated vsize (KiB) 10999548

[startup+2262.3 s]
/proc/loadavg: 1.63 1.64 2.57 3/281 12807
/proc/meminfo: memFree=27709644/32770624 swapFree=5720/272132
[pid=12440] ppid=12437 vsize=10999548 CPUtime=2346.01 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (java) S 12437 12440 16473 0 -1 1077944320 457123 12273 0 1 233328 1261 9 3 20 0 20 0 4954491 11263537152 813408 33554432000 4194304 4196468 140736849838240 140736849820784 139890368052983 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
/proc/12440/statm: 2749887 813408 3532 1 0 2737442 0
[pid=12440/tid=12555] ppid=12437 vsize=10999548 CPUtime=2252.95 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12555/stat : 12555 (java) R 12437 12440 16473 0 -1 4202560 230327 12273 0 1 225202 81 9 3 20 0 20 0 4954507 11263537152 813408 33554432000 4194304 4196468 140736849838240 139890372286864 139889990699920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12564] ppid=12437 vsize=10999548 CPUtime=6.95 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12564/stat : 12564 (java) S 12437 12440 16473 0 -1 1077944384 6096 12273 0 1 549 134 9 3 20 0 20 0 4954507 11263537152 813408 33554432000 4194304 4196468 140736849838240 139890310057104 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12565] ppid=12437 vsize=10999548 CPUtime=6.94 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12565/stat : 12565 (java) S 12437 12440 16473 0 -1 1077944384 6622 12273 0 1 544 138 9 3 20 0 20 0 4954507 11263537152 813408 33554432000 4194304 4196468 140736849838240 139890309004304 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12566] ppid=12437 vsize=10999548 CPUtime=6.95 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12566/stat : 12566 (java) S 12437 12440 16473 0 -1 1077944384 10906 12273 0 1 548 135 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139890307951504 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12567] ppid=12437 vsize=10999548 CPUtime=6.93 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12567/stat : 12567 (java) S 12437 12440 16473 0 -1 1077944384 8919 12273 0 1 542 139 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889971354384 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12568] ppid=12437 vsize=10999548 CPUtime=7.05 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12568/stat : 12568 (java) S 12437 12440 16473 0 -1 1077944384 6688 12273 0 1 553 140 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889970301584 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12569] ppid=12437 vsize=10999548 CPUtime=7.09 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12569/stat : 12569 (java) S 12437 12440 16473 0 -1 1077944384 9103 12273 0 1 557 140 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889969248784 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12570] ppid=12437 vsize=10999548 CPUtime=7.11 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12570/stat : 12570 (java) S 12437 12440 16473 0 -1 1077944384 5650 12273 0 1 563 136 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889968195984 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12571] ppid=12437 vsize=10999548 CPUtime=6.93 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12571/stat : 12571 (java) S 12437 12440 16473 0 -1 1077944384 9061 12273 0 1 540 141 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889967143184 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12573] ppid=12437 vsize=10999548 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12573/stat : 12573 (java) S 12437 12440 16473 0 -1 1077944384 35170 12273 0 1 78 13 9 3 20 0 20 0 4954510 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889909853040 139890368064130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12575] ppid=12437 vsize=10999548 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12575/stat : 12575 (java) S 12437 12440 16473 0 -1 1077944384 96 12273 0 1 1 0 9 3 20 0 20 0 4954511 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889908799136 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12577] ppid=12437 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12577/stat : 12577 (java) S 12437 12440 16473 0 -1 1077944384 61 12273 0 1 0 0 9 3 20 0 20 0 4954511 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889907746176 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12581] ppid=12437 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12581/stat : 12581 (java) S 12437 12440 16473 0 -1 1077944384 1 12273 0 1 0 0 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889906694480 139890368071579 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12582] ppid=12437 vsize=10999548 CPUtime=10.42 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12582/stat : 12582 (java) S 12437 12440 16473 0 -1 1077944384 25013 12273 0 1 1023 7 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889905641840 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12584] ppid=12437 vsize=10999548 CPUtime=10.3 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12584/stat : 12584 (java) S 12437 12440 16473 0 -1 1077944384 27413 12273 0 1 1011 7 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889904589040 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12586] ppid=12437 vsize=10999548 CPUtime=10.7 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12586/stat : 12586 (java) S 12437 12440 16473 0 -1 1077944384 26570 12273 0 1 1052 6 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889836288112 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12587] ppid=12437 vsize=10999548 CPUtime=4.78 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12587/stat : 12587 (java) S 12437 12440 16473 0 -1 1077944384 46214 12273 0 1 458 8 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889835235312 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12588] ppid=12437 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12588/stat : 12588 (java) S 12437 12440 16473 0 -1 1077944384 3 12273 0 1 0 0 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889834183776 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12590] ppid=12437 vsize=10999548 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12590/stat : 12590 (java) S 12437 12440 16473 0 -1 1077944384 1082 12273 0 1 69 57 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889833131056 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
Current children cumulated CPU time (s) 2346.01
Current children cumulated vsize (KiB) 10999548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2316 s]
/proc/loadavg: 1.63 1.64 2.51 3/281 12808
/proc/meminfo: memFree=27646336/32770624 swapFree=5720/272180
[pid=12440] ppid=12437 vsize=10999548 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (java) S 12437 12440 16473 0 -1 1077944320 462006 12273 0 1 238726 1263 9 3 20 0 20 0 4954491 11263537152 813408 33554432000 4194304 4196468 140736849838240 140736849820784 139890368052983 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
/proc/12440/statm: 2749887 813408 3532 1 0 2737442 0
[pid=12440/tid=12555] ppid=12437 vsize=10999548 CPUtime=2306.58 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12555/stat : 12555 (java) R 12437 12440 16473 0 -1 4202560 233905 12273 0 1 230564 82 9 3 20 0 20 0 4954507 11263537152 813408 33554432000 4194304 4196468 140736849838240 139890372287408 139889994580999 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12564] ppid=12437 vsize=10999548 CPUtime=6.99 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12564/stat : 12564 (java) S 12437 12440 16473 0 -1 1077944384 6196 12273 0 1 553 134 9 3 20 0 20 0 4954507 11263537152 813408 33554432000 4194304 4196468 140736849838240 139890310057104 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12565] ppid=12437 vsize=10999548 CPUtime=6.98 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12565/stat : 12565 (java) S 12437 12440 16473 0 -1 1077944384 6670 12273 0 1 548 138 9 3 20 0 20 0 4954507 11263537152 813408 33554432000 4194304 4196468 140736849838240 139890309004304 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12566] ppid=12437 vsize=10999548 CPUtime=6.99 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12566/stat : 12566 (java) S 12437 12440 16473 0 -1 1077944384 10964 12273 0 1 552 135 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139890307951504 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12567] ppid=12437 vsize=10999548 CPUtime=6.98 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12567/stat : 12567 (java) S 12437 12440 16473 0 -1 1077944384 9057 12273 0 1 547 139 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889971354384 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12568] ppid=12437 vsize=10999548 CPUtime=7.1 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12568/stat : 12568 (java) S 12437 12440 16473 0 -1 1077944384 7110 12273 0 1 557 141 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889970301584 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12569] ppid=12437 vsize=10999548 CPUtime=7.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12569/stat : 12569 (java) S 12437 12440 16473 0 -1 1077944384 9159 12273 0 1 561 140 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889969248784 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12570] ppid=12437 vsize=10999548 CPUtime=7.16 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12570/stat : 12570 (java) S 12437 12440 16473 0 -1 1077944384 5865 12273 0 1 568 136 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889968195984 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12571] ppid=12437 vsize=10999548 CPUtime=6.97 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12571/stat : 12571 (java) S 12437 12440 16473 0 -1 1077944384 9104 12273 0 1 544 141 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889967143184 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12573] ppid=12437 vsize=10999548 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12573/stat : 12573 (java) S 12437 12440 16473 0 -1 1077944384 35366 12273 0 1 79 13 9 3 20 0 20 0 4954510 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889909853040 139890368064130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12575] ppid=12437 vsize=10999548 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12575/stat : 12575 (java) S 12437 12440 16473 0 -1 1077944384 96 12273 0 1 1 0 9 3 20 0 20 0 4954511 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889908799136 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12577] ppid=12437 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12577/stat : 12577 (java) S 12437 12440 16473 0 -1 1077944384 61 12273 0 1 0 0 9 3 20 0 20 0 4954511 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889907746176 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12581] ppid=12437 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12581/stat : 12581 (java) S 12437 12440 16473 0 -1 1077944384 1 12273 0 1 0 0 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889906694480 139890368071579 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12582] ppid=12437 vsize=10999548 CPUtime=10.42 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12582/stat : 12582 (java) S 12437 12440 16473 0 -1 1077944384 25016 12273 0 1 1023 7 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889905641840 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12584] ppid=12437 vsize=10999548 CPUtime=10.3 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12584/stat : 12584 (java) S 12437 12440 16473 0 -1 1077944384 27415 12273 0 1 1011 7 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889904589040 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12586] ppid=12437 vsize=10999548 CPUtime=10.7 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12586/stat : 12586 (java) S 12437 12440 16473 0 -1 1077944384 26572 12273 0 1 1052 6 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889836288112 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12587] ppid=12437 vsize=10999548 CPUtime=4.78 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12587/stat : 12587 (java) S 12437 12440 16473 0 -1 1077944384 46216 12273 0 1 458 8 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889835235312 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12588] ppid=12437 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12588/stat : 12588 (java) S 12437 12440 16473 0 -1 1077944384 3 12273 0 1 0 0 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889834183776 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12590] ppid=12437 vsize=10999548 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12590/stat : 12590 (java) S 12437 12440 16473 0 -1 1077944384 1102 12273 0 1 70 58 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889833131056 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 10999548

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12440 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2316 s]
/proc/loadavg: 1.63 1.64 2.51 3/281 12808
/proc/meminfo: memFree=27646336/32770624 swapFree=5720/272180
[pid=12440] ppid=12437 vsize=10999548 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/12440/stat : 12440 (java) S 12437 12440 16473 0 -1 1077944320 462006 12273 0 1 238726 1263 9 3 20 0 20 0 4954491 11263537152 813408 33554432000 4194304 4196468 140736849838240 140736849820784 139890368052983 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
/proc/12440/statm: 2749887 813408 3532 1 0 2737442 0
[pid=12440/tid=12555] ppid=12437 vsize=10999548 CPUtime=2306.58 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12555/stat : 12555 (java) R 12437 12440 16473 0 -1 4202560 233905 12273 0 1 230564 82 9 3 20 0 20 0 4954507 11263537152 813408 33554432000 4194304 4196468 140736849838240 139890372287408 139889994580999 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12564] ppid=12437 vsize=10999548 CPUtime=6.99 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12564/stat : 12564 (java) S 12437 12440 16473 0 -1 1077944384 6196 12273 0 1 553 134 9 3 20 0 20 0 4954507 11263537152 813408 33554432000 4194304 4196468 140736849838240 139890310057104 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12565] ppid=12437 vsize=10999548 CPUtime=6.98 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12565/stat : 12565 (java) S 12437 12440 16473 0 -1 1077944384 6670 12273 0 1 548 138 9 3 20 0 20 0 4954507 11263537152 813408 33554432000 4194304 4196468 140736849838240 139890309004304 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12566] ppid=12437 vsize=10999548 CPUtime=6.99 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12566/stat : 12566 (java) S 12437 12440 16473 0 -1 1077944384 10964 12273 0 1 552 135 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139890307951504 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12567] ppid=12437 vsize=10999548 CPUtime=6.98 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12567/stat : 12567 (java) S 12437 12440 16473 0 -1 1077944384 9057 12273 0 1 547 139 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889971354384 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12568] ppid=12437 vsize=10999548 CPUtime=7.1 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12568/stat : 12568 (java) S 12437 12440 16473 0 -1 1077944384 7110 12273 0 1 557 141 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889970301584 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12569] ppid=12437 vsize=10999548 CPUtime=7.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12569/stat : 12569 (java) S 12437 12440 16473 0 -1 1077944384 9159 12273 0 1 561 140 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889969248784 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12570] ppid=12437 vsize=10999548 CPUtime=7.16 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12570/stat : 12570 (java) S 12437 12440 16473 0 -1 1077944384 5865 12273 0 1 568 136 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889968195984 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12571] ppid=12437 vsize=10999548 CPUtime=6.97 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12571/stat : 12571 (java) S 12437 12440 16473 0 -1 1077944384 9104 12273 0 1 544 141 9 3 20 0 20 0 4954508 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889967143184 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12573] ppid=12437 vsize=10999548 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12573/stat : 12573 (java) S 12437 12440 16473 0 -1 1077944384 35366 12273 0 1 79 13 9 3 20 0 20 0 4954510 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889909853040 139890368064130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12575] ppid=12437 vsize=10999548 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12575/stat : 12575 (java) S 12437 12440 16473 0 -1 1077944384 96 12273 0 1 1 0 9 3 20 0 20 0 4954511 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889908799136 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12577] ppid=12437 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12577/stat : 12577 (java) S 12437 12440 16473 0 -1 1077944384 61 12273 0 1 0 0 9 3 20 0 20 0 4954511 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889907746176 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12581] ppid=12437 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12581/stat : 12581 (java) S 12437 12440 16473 0 -1 1077944384 1 12273 0 1 0 0 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889906694480 139890368071579 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12582] ppid=12437 vsize=10999548 CPUtime=10.42 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12582/stat : 12582 (java) S 12437 12440 16473 0 -1 1077944384 25016 12273 0 1 1023 7 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889905641840 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12584] ppid=12437 vsize=10999548 CPUtime=10.3 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12584/stat : 12584 (java) S 12437 12440 16473 0 -1 1077944384 27415 12273 0 1 1011 7 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889904589040 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12586] ppid=12437 vsize=10999548 CPUtime=10.7 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12586/stat : 12586 (java) S 12437 12440 16473 0 -1 1077944384 26572 12273 0 1 1052 6 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889836288112 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12587] ppid=12437 vsize=10999548 CPUtime=4.78 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12587/stat : 12587 (java) S 12437 12440 16473 0 -1 1077944384 46216 12273 0 1 458 8 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889835235312 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12588] ppid=12437 vsize=10999548 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12588/stat : 12588 (java) S 12437 12440 16473 0 -1 1077944384 3 12273 0 1 0 0 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889834183776 139890368063189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
[pid=12440/tid=12590] ppid=12437 vsize=10999548 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/12440/task/12590/stat : 12590 (java) S 12437 12440 16473 0 -1 1077944384 1102 12273 0 1 70 58 9 3 20 0 20 0 4954515 11263537152 813408 33554432000 4194304 4196468 140736849838240 139889833131056 139890368064130 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22302720 140736849840833 140736849843607 140736849843607 140736849846223 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 10999548

Child status: 143
Real time (s): 2316.04
CPU time (s): 2400.07
CPU user time (s): 2387.38
CPU system time (s): 12.6956
CPU usage (%): 103.628
Max. virtual memory (cumulated for all children) (KiB): 10999548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2387.38
system time used= 12.6956
maximum resident set size= 3255084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475519
page faults= 1
swaps= 0
block input operations= 1072
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 92409
involuntary context switches= 128444

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1796 second user time and 17.1547 second system time

The end

Launcher Data 

Begin job on node114 at 2017-07-22 06:14:13
IDJOB=4244765
IDBENCH=115896
IDSOLVER=2630
FILE ID=node114/4244765-1500696853
RUNJOBID= node114-1500696853-12413
PBS_JOBID= 20623324
Free space on /tmp= 62012 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-4244765-1500696853/watcher-4244765-1500696853 -o /tmp/evaluation-result-4244765-1500696853/solver-4244765-1500696853 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500696853-12413 --watchdog 2560  bin/concrete HOME/instance-4244765-1500696853.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877
RANDOM SEED=1718272579

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.60
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.60
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.60
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.60
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		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31765380 kB
MemAvailable:   32001360 kB
Buffers:          124124 kB
Cached:           391416 kB
SwapCached:            0 kB
Active:           287448 kB
Inactive:         283360 kB
Active(anon):      57740 kB
Inactive(anon):     8824 kB
Active(file):     229708 kB
Inactive(file):   274536 kB
Unevictable:        5724 kB
Mlocked:            5724 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48456 kB
Writeback:             0 kB
AnonPages:         54220 kB
Mapped:            30320 kB
Shmem:              8848 kB
Slab:             129040 kB
SReclaimable:      95140 kB
SUnreclaim:        33900 kB
KernelStack:        4176 kB
PageTables:         5128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     308820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61964 MiB
End job on node114 at 2017-07-22 06:52:50