Trace number 4262187

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)769 2520.21 2457.3799

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-43.xml
MD5SUM2bbdfe474604d495dd31c09972612e7d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark911
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables4096
Number of constraints2287
Number of domains4
Minimum domain size2
Maximum domain size4051
Distribution of domain sizes[{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}]
Minimum variable degree1
Maximum variable degree46
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}]
Minimum constraint arity2
Maximum constraint arity47
Distribution of constraint arities[{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}]
Number of extensional constraints2021
Number of intensional constraints216
Distribution of constraint types[{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"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.19/2.30	c Concrete v3.4 running
19.33/8.69	% 05:14:35.336 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 11777. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 1366677933, 3 edges, 4 vertices, 1 tuples
19.64/8.71	% 05:14:35.366 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 11903. 'extension(false, x[1][43]: {[0?1]}, x[2][43]: {[0?1]}) :: init: true :: relation: MDD 106350019, 3 edges, 4 vertices, 1 tuples
19.64/8.71	% 05:14:35.367 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 11908. 'extension(x[42][1]: {[0?1]}, x[43][1]: {[0?1]}, false) :: init: true :: relation: MDD 1366677933, 3 edges, 4 vertices, 1 tuples
19.64/8.74	% 05:14:35.391 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12034. 'extension(x[42][43]: {[0?1]}, x[43][43]: {[0?1]}, false) :: init: true :: relation: MDD 106350019, 3 edges, 4 vertices, 1 tuples
19.64/8.74	% 05:14:35.392 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12038. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 142561311, 3 edges, 4 vertices, 1 tuples
19.64/8.75	% 05:14:35.407 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12164. 'extension(false, x[43][1]: {[0?1]}, x[43][2]: {[0?1]}) :: init: true :: relation: MDD 131837504, 3 edges, 4 vertices, 1 tuples
19.64/8.76	% 05:14:35.408 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12167. 'extension(x[1][42]: {[0?1]}, x[1][43]: {[0?1]}, false) :: init: true :: relation: MDD 142561311, 3 edges, 4 vertices, 1 tuples
19.64/8.77	% 05:14:35.423 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12293. 'extension(x[43][42]: {[0?1]}, x[43][43]: {[0?1]}, false) :: init: true :: relation: MDD 131837504, 3 edges, 4 vertices, 1 tuples
19.64/8.77	% 05:14:35.424 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12297. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
19.64/8.78	% 05:14:35.431 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12379. 'extension(x[1][43]: {[0?1]}, x[2][43]: {[0?1]}) :: init: true :: relation: Empty MDD
19.64/8.78	% 05:14:35.431 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12383. 'extension(x[42][1]: {[0?1]}, x[43][1]: {[0?1]}) :: init: true :: relation: Empty MDD
19.64/8.78	% 05:14:35.437 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12465. 'extension(x[42][43]: {[0?1]}, x[43][43]: {[0?1]}) :: init: true :: relation: Empty MDD
19.64/8.79	% 05:14:35.438 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12469. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
19.64/8.79	% 05:14:35.444 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12553. 'extension(x[43][1]: {[0?1]}, x[43][2]: {[0?1]}) :: init: true :: relation: Empty MDD
19.64/8.79	% 05:14:35.445 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12559. 'extension(x[1][42]: {[0?1]}, x[1][43]: {[0?1]}) :: init: true :: relation: Empty MDD
19.97/8.80	% 05:14:35.456 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12643. 'extension(x[43][42]: {[0?1]}, x[43][43]: {[0?1]}) :: init: true :: relation: Empty MDD
102.78/73.45	o 28
103.58/73.88	o 30
104.28/74.26	o 45
105.18/74.95	o 46
105.66/75.34	o 47
106.33/75.73	o 75
106.75/76.12	o 76
107.15/76.59	o 77
107.60/76.99	o 78
108.37/77.65	o 79
109.03/78.11	o 80
109.34/78.49	o 81
110.17/79.21	o 82
110.58/79.60	o 83
110.88/79.99	o 84
111.31/80.39	o 85
112.05/81.09	o 115
112.56/81.48	o 116
113.38/82.25	o 117
113.83/82.69	o 118
114.54/83.39	o 119
115.07/83.82	o 120
115.48/84.21	o 121
115.79/84.59	o 146
116.52/85.22	o 147
116.95/85.64	o 148
117.38/86.07	o 149
117.78/86.44	o 150
118.19/86.84	o 151
118.61/87.24	o 152
119.06/87.67	o 168
120.13/88.70	o 169
120.75/89.20	o 170
121.28/89.67	o 171
122.63/90.74	o 172
123.04/91.12	o 173
123.35/91.49	o 174
123.76/91.89	o 175
124.29/92.31	o 176
124.71/92.72	o 177
125.16/93.18	o 178
125.59/93.54	o 179
126.00/93.92	o 180
126.41/94.33	o 181
127.15/95.03	o 182
127.58/95.47	o 183
127.99/95.83	o 184
128.41/96.22	o 185
128.82/96.63	o 186
129.25/97.06	o 187
129.83/97.52	o 188
130.67/98.34	o 189
131.20/98.80	o 190
131.74/99.31	o 191
132.78/100.32	o 192
133.51/101.07	o 193
133.92/101.45	o 194
134.35/101.84	o 195
134.89/102.32	o 196
135.42/102.84	o 197
136.69/104.01	o 198
137.10/104.40	o 199
137.41/104.78	o 200
137.82/105.15	o 201
138.34/105.66	o 202
139.23/106.43	o 203
139.53/106.80	o 204
139.95/107.19	o 205
140.35/107.58	o 206
140.87/108.02	o 207
141.27/108.44	o 208
141.81/108.93	o 209
142.84/109.91	o 210
143.55/110.65	o 211
143.96/111.09	o 212
144.37/111.47	o 213
145.51/112.58	o 214
145.92/112.97	o 215
146.64/113.65	o 216
147.05/114.02	o 217
147.85/114.77	o 218
148.38/115.27	o 219
148.90/115.72	o 220
149.32/116.12	o 221
149.62/116.48	o 222
150.14/116.95	o 223
151.37/118.10	o 224
151.67/118.49	o 225
152.19/118.91	o 226
152.59/119.35	o 227
153.00/119.75	o 228
153.84/120.53	o 229
156.11/122.69	o 230
158.12/124.49	o 231
158.63/124.93	o 232
159.45/125.70	o 233
160.69/126.96	o 234
161.93/128.15	o 235
162.44/128.64	o 236
162.96/129.13	o 237
163.48/129.64	o 238
163.89/130.06	o 239
164.30/130.45	o 240
164.72/130.90	o 241
165.65/131.70	o 242
166.07/132.18	o 308
166.58/132.69	o 309
168.02/133.92	o 310
169.15/135.06	o 311
169.67/135.53	o 312
170.19/136.02	o 313
171.02/136.82	o 314
172.16/137.95	o 315
172.67/138.40	o 316
173.19/138.90	o 317
173.71/139.41	o 318
174.24/139.95	o 319
175.77/141.41	o 320
178.08/143.67	o 321
178.48/144.08	o 322
178.98/144.52	o 323
179.88/145.40	o 324
180.28/145.84	o 325
180.68/146.28	o 326
181.28/146.82	o 327
183.78/149.34	o 328
184.49/150.05	o 329
184.99/150.59	o 330
186.09/151.63	o 331
186.67/152.15	o 332
187.27/152.75	o 333
189.48/154.84	o 334
190.78/156.10	o 335
191.99/157.37	o 336
193.12/158.49	o 337
193.72/159.03	o 338
195.72/161.03	o 339
196.29/161.56	o 340
196.79/162.07	o 341
197.70/162.92	o 342
198.60/163.81	o 343
199.40/164.67	o 344
200.30/165.59	o 345
201.40/166.60	o 346
202.70/167.95	o 347
203.21/168.41	o 348
203.70/168.92	o 349
205.28/170.45	o 350
206.08/171.21	o 351
206.98/172.14	o 352
207.95/173.00	o 353
209.15/174.28	o 354
210.05/175.11	o 355
210.55/175.62	o 356
211.76/176.86	o 357
212.56/177.64	o 358
213.06/178.20	o 359
213.56/178.63	o 360
214.03/179.09	o 361
214.63/179.61	o 362
215.03/180.07	o 363
215.63/180.60	o 364
216.03/181.08	o 365
216.83/181.87	o 366
218.83/183.88	o 367
221.33/186.40	o 368
221.83/186.85	o 369
222.37/187.35	o 370
223.77/188.74	o 371
224.47/189.49	o 372
224.98/189.94	o 373
225.78/190.72	o 374
226.58/191.54	o 375
227.38/192.31	o 376
227.78/192.79	o 377
228.28/193.25	o 378
228.78/193.73	o 379
229.28/194.22	o 380
230.45/195.39	o 381
231.65/196.58	o 382
232.45/197.37	o 383
232.95/197.87	o 384
233.45/198.39	o 385
234.95/199.87	o 386
236.05/200.90	o 387
236.95/201.86	o 388
238.73/203.57	o 389
239.52/204.38	o 390
240.02/204.85	o 391
240.52/205.35	o 392
241.63/206.41	o 393
242.04/206.90	o 394
243.93/208.74	o 395
245.00/209.78	o 396
247.71/212.46	o 397
250.82/215.57	o 398
252.88/217.58	o 399
255.18/219.82	o 400
255.58/220.25	o 401
256.49/221.16	o 402
256.98/221.68	o 403
257.98/222.61	o 404
265.11/229.68	o 405
265.71/230.24	o 406
266.31/230.87	o 407
267.41/231.97	o 408
268.81/233.31	o 409
270.79/235.23	o 410
271.89/236.32	o 411
277.71/242.01	o 412
278.60/242.95	o 413
279.20/243.50	o 414
280.10/244.48	o 415
281.38/245.64	o 416
285.96/250.15	o 417
286.46/250.63	o 418
289.36/253.58	o 419
290.26/254.41	o 420
294.05/258.18	o 421
296.75/260.79	o 422
297.34/261.35	o 423
297.85/261.82	o 424
298.64/262.69	o 425
300.34/264.38	o 426
301.35/265.24	o 427
302.64/266.51	o 428
305.84/269.65	o 429
306.64/270.44	o 430
307.24/271.01	o 431
308.34/272.18	o 432
308.84/272.66	o 433
309.96/273.60	o 434
310.36/274.08	o 435
311.26/274.99	o 436
313.89/277.48	o 437
314.39/277.97	o 438
314.99/278.51	o 439
315.49/279.08	o 440
318.11/281.65	o 441
318.73/282.19	o 442
320.23/283.66	o 443
325.90/289.17	o 444
326.70/289.90	o 445
332.26/295.32	o 446
335.93/298.86	o 447
338.73/301.49	o 448
339.73/302.44	o 449
346.67/309.13	o 450
348.36/310.88	o 451
349.36/311.82	o 452
350.16/312.66	o 453
351.54/313.84	o 454
352.94/315.22	o 455
353.45/315.73	o 456
357.15/319.47	o 457
358.06/320.32	o 458
359.63/321.77	o 459
360.53/322.69	o 460
365.33/327.41	o 461
366.40/328.35	o 462
370.81/332.70	o 463
372.11/334.02	o 464
372.97/334.63	o 465
374.17/335.82	o 466
375.78/337.49	o 467
376.38/338.04	o 468
377.48/339.10	o 469
377.98/339.65	o 470
380.38/342.08	o 471
381.06/342.64	o 472
382.94/344.48	o 473
383.94/345.50	o 474
384.53/346.09	o 475
385.53/347.00	o 476
386.03/347.57	o 477
387.43/348.93	o 478
388.73/350.22	o 479
389.97/351.25	o 480
393.67/354.99	o 481
394.27/355.56	o 482
400.36/361.48	o 483
403.66/364.74	o 484
404.46/365.56	o 485
405.37/366.41	o 486
406.41/367.23	o 487
408.11/368.90	o 488
409.01/369.82	o 489
414.31/375.15	o 490
414.96/375.69	o 491
415.47/376.19	o 492
416.87/377.57	o 493
422.37/383.09	o 494
425.55/386.10	o 495
426.55/387.02	o 496
427.65/388.17	o 497
428.96/389.50	o 498
431.43/391.72	o 499
433.12/393.47	o 500
434.52/394.89	o 501
436.22/396.53	o 502
439.26/399.54	o 503
442.27/402.44	o 504
444.47/404.70	o 505
445.57/405.73	o 506
447.20/407.22	o 507
448.60/408.61	o 508
449.31/409.36	o 509
450.11/410.16	o 510
452.11/412.19	o 511
452.91/412.98	o 512
457.59/417.47	o 513
458.79/418.68	o 514
461.83/421.54	o 515
464.44/424.13	o 516
464.95/424.61	o 517
468.35/427.94	o 518
470.85/430.40	o 519
471.95/431.57	o 520
472.55/432.12	o 521
473.25/432.89	o 522
474.25/433.81	o 523
475.25/434.74	o 524
476.65/436.14	o 525
477.15/436.63	o 526
477.65/437.10	o 527
478.15/437.67	o 528
479.46/438.90	o 529
480.35/439.84	o 530
480.85/440.34	o 531
482.36/441.78	o 532
483.26/442.66	o 533
484.16/443.53	o 534
488.96/448.21	o 535
489.46/448.71	o 536
491.36/450.64	o 537
495.57/454.72	o 538
496.97/456.13	o 539
497.48/456.68	o 540
498.17/457.35	o 541
500.25/459.30	o 542
512.36/471.20	o 543
515.16/473.84	o 544
515.66/474.35	o 545
517.36/476.07	o 546
519.76/478.37	o 547
520.36/478.96	o 548
522.36/480.90	o 549
524.96/483.43	o 550
525.56/484.02	o 551
526.16/484.61	o 552
527.37/485.86	o 553
529.66/488.04	o 554
530.26/488.66	o 555
530.86/489.23	o 556
531.36/489.77	o 557
532.68/490.96	o 558
533.28/491.51	o 559
556.39/513.96	o 560
557.68/515.28	o 561
559.93/517.32	o 562
561.03/518.42	o 563
576.55/533.60	o 564
578.35/535.34	o 565
579.75/536.73	o 566
581.15/538.13	o 567
584.36/541.24	o 568
585.35/542.28	o 569
585.95/542.89	o 570
587.45/544.33	o 571
587.95/544.89	o 572
588.94/545.72	o 573
591.74/548.56	o 574
594.92/551.68	o 575
601.30/557.98	o 576
608.46/564.99	o 577
610.36/566.83	o 578
611.64/568.06	o 579
612.74/569.16	o 580
614.55/570.99	o 581
615.15/571.56	o 582
616.63/572.91	o 583
618.13/574.43	o 584
620.14/576.43	o 585
621.34/577.52	o 586
622.24/578.40	o 587
623.74/579.95	o 588
625.64/581.84	o 589
629.23/585.37	o 590
629.92/586.04	o 591
636.96/592.71	o 592
639.76/595.55	o 593
641.16/596.40	o 594
664.73/619.66	o 595
665.33/620.29	o 596
667.63/622.53	o 597
671.94/626.73	o 598
674.96/629.66	o 599
676.66/631.32	o 600
679.96/634.56	o 601
682.97/637.53	o 602
685.65/640.12	o 603
690.16/644.64	o 604
691.66/646.05	o 605
693.16/647.55	o 606
700.99/655.25	o 607
703.80/657.98	o 608
705.20/659.32	o 609
706.01/660.12	o 610
706.90/661.05	o 611
732.19/685.55	o 612
734.09/687.49	o 613
735.50/688.85	o 614
737.20/690.52	o 615
802.22/754.18	o 616
807.72/759.53	o 617
809.62/761.47	o 618
843.98/795.29	o 619
849.11/800.23	o 620
850.01/801.14	o 621
857.12/808.23	o 622
859.92/811.09	o 623
863.44/814.45	o 624
864.14/815.11	o 625
867.04/818.02	o 626
868.84/819.87	o 627
869.84/820.86	o 628
870.84/821.86	o 629
871.44/822.44	o 630
873.34/824.40	o 631
875.94/826.94	o 632
879.60/830.40	o 633
886.80/837.67	o 634
896.74/847.43	o 635
898.94/849.67	o 636
901.54/852.29	o 637
902.64/853.36	o 638
903.84/854.54	o 639
904.84/855.55	o 640
905.55/856.27	o 641
906.65/857.30	o 642
907.85/858.56	o 643
912.20/862.71	o 644
925.75/876.19	o 645
926.75/877.16	o 646
928.05/878.42	o 647
930.86/881.25	o 648
936.36/886.78	o 649
936.96/887.37	o 650
937.86/888.25	o 651
938.46/888.82	o 652
939.06/889.41	o 653
955.94/906.10	o 654
959.24/909.39	o 655
960.33/910.45	o 656
961.04/911.12	o 657
962.75/912.87	o 658
965.35/915.47	o 659
967.55/917.64	o 660
970.41/920.33	o 661
1218.96/1166.50	o 662
1238.61/1186.06	o 663
1239.62/1187.04	o 664
1246.32/1193.70	o 665
1248.92/1196.33	o 666
1329.43/1276.26	o 667
1330.53/1277.37	o 668
1385.07/1331.45	o 669
1386.37/1332.78	o 670
1387.07/1333.47	o 671
1466.80/1412.53	o 672
1467.50/1413.25	o 673
1468.09/1413.82	o 674
1474.69/1420.34	o 675
1475.39/1421.04	o 676
1481.49/1427.10	o 677
1482.49/1428.11	o 678
1513.95/1459.33	o 679
1514.55/1459.94	o 680
1523.73/1469.02	o 681
1525.94/1471.25	o 682
1528.14/1473.42	o 683
1528.74/1474.10	o 684
1552.45/1497.52	o 685
1554.85/1499.95	o 686
1556.95/1502.00	o 687
1560.05/1505.12	o 688
1570.05/1515.00	o 689
1571.15/1516.16	o 690
1572.06/1517.07	o 691
1575.48/1520.41	o 692
1658.55/1602.60	o 693
1662.55/1606.68	o 694
1663.95/1608.01	o 695
1680.25/1624.27	o 696
1684.55/1628.51	o 697
1695.44/1639.35	o 698
1698.75/1642.66	o 699
1706.14/1649.95	o 700
1707.95/1651.76	o 701
1709.45/1653.28	o 702
1711.65/1655.49	o 703
1713.96/1657.73	o 704
1719.85/1663.69	o 705
1720.75/1664.52	o 706
1741.02/1684.65	o 707
1742.73/1686.34	o 708
1743.42/1687.08	o 709
1744.32/1687.91	o 710
1745.82/1689.45	o 711
1746.72/1690.39	o 712
1747.42/1691.00	o 713
1750.54/1694.05	o 714
1751.45/1694.95	o 715
1752.95/1696.49	o 716
1754.74/1698.20	o 717
1759.54/1703.05	o 718
1763.34/1706.81	o 719
1803.65/1746.70	o 720
1804.25/1747.30	o 721
1805.15/1748.22	o 722
1805.65/1748.77	o 723
1807.21/1750.26	o 724
1814.71/1757.71	o 725
1820.41/1763.31	o 726
1822.90/1765.82	o 727
1823.80/1766.80	o 728
1824.50/1767.42	o 729
1827.00/1769.96	o 730
1830.20/1773.11	o 731
1831.00/1773.99	o 732
1832.10/1775.07	o 733
1842.00/1784.82	o 734
1843.61/1786.44	o 735
1851.81/1794.57	o 736
1854.11/1796.83	o 737
1872.53/1815.11	o 738
1881.24/1823.70	o 739
1881.84/1824.38	o 740
1896.46/1838.80	o 741
1942.28/1884.21	o 742
1942.78/1884.79	o 743
1943.87/1885.80	o 744
2097.84/2038.40	o 745
2109.53/2049.99	o 746
2110.23/2050.69	o 747
2148.80/2088.98	o 748
2149.68/2089.73	o 749
2195.34/2135.00	o 750
2196.04/2135.70	o 751
2200.74/2140.48	o 752
2204.14/2143.85	o 753
2209.34/2148.90	o 754
2210.84/2150.41	o 755
2212.54/2152.16	o 756
2213.25/2152.86	o 757
2215.04/2154.67	o 758
2219.04/2158.62	o 759
2219.64/2159.26	o 760
2220.24/2159.87	o 761
2221.24/2160.85	o 762
2226.45/2166.06	o 763
2231.12/2170.62	o 764
2235.43/2174.95	o 765
2236.44/2175.94	o 766
2240.74/2180.25	o 767
2452.53/2390.39	o 768
2459.11/2396.84	o 769
2520.03/2457.33	java.util.concurrent.TimeoutException
2520.03/2457.33		at concrete.MAC.mac(MAC.scala:74)
2520.03/2457.33		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.03/2457.33		at scala.util.Try$.apply(Try.scala:209)
2520.03/2457.33		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2457.33		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2457.33		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2457.33		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2457.33		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.03/2457.33		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2457.33		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2457.33		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2457.33		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2457.33		at concrete.MAC.oneRun(MAC.scala:146)
2520.03/2457.33		at concrete.MAC.nextSolution(MAC.scala:166)
2520.03/2457.33		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.03/2457.33		at concrete.ProblemState.map(ProblemState.scala:203)
2520.03/2457.33		at concrete.ProblemState.map(ProblemState.scala:188)
2520.03/2457.33		at concrete.MAC.nextSolution(MAC.scala:195)
2520.03/2457.33		at concrete.Solver.hasNext(Solver.scala:202)
2520.03/2457.33		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.03/2457.33		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.03/2457.33		at concrete.Solver.toStream(Solver.scala:73)
2520.03/2457.33		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.03/2457.33		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.03/2457.33		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.03/2457.33		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.03/2457.33		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.03/2457.33		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2457.33		at scala.util.Success.map(Try.scala:209)
2520.03/2457.33		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.03/2457.33		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.03/2457.33		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.03/2457.33		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.03/2457.33		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.03/2457.33		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2457.33		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2457.33		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2457.33		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2457.33		at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2457.33		at scala.App.main(App.scala:76)
2520.03/2457.33		at scala.App.main$(App.scala:74)
2520.03/2457.33		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.03/2457.33		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2457.34	v <instantiation cost="769">
2520.03/2457.34	v       <list>
2520.03/2457.34	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[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] 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[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] 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[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] 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[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] 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[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] 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[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] 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[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] 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[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] 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[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] 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[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] 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[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] 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[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] 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[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] 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[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] 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[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] 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[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] 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[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] 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[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] 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[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] 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[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] 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[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] 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[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] 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[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] 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[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] 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[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] 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[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] 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[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] 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[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] 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[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] 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[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] 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[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] 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[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] 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[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] 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[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] 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[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] 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[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] 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[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] 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[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] 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] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] 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[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] 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[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] 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[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] 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[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] 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[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] 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[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] 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[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] 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[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] 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[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] 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[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] 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[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] 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[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] 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[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] 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[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] 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[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] 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[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] 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[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] 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[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] 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[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] 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[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] 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[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] 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[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] 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[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] 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[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] 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[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] 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[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] 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[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] 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[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] 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[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] 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[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] 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[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] 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[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] 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[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] 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[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] 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[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] 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[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] 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[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] 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[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] 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] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] 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] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] z
2520.03/2457.34	v       </list>
2520.03/2457.34	v       <values>
2520.03/2457.34	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 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 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 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 1 1 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 1 1 0 1 0 0 1 1 1 0 1 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 0 2 1 1 2 2 2 2 2 0 2 2 2 2 0 0 2 2 2 2 2 2 2 2 2 2 2 0 0 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 2 1 0 0 2 2 2 0 2 2 0 0 0 2 2 2 0 0 0 2 0 2 2 2 0 2 2 2 0 2 0 2 0 1 2 2 2 2 0 2 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 2 2 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 0 1 0 0 1 0 0 0 0 0 0 1 0 2 0 0 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 1 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 2 0 1 0 0 0 2 1 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 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 1 2 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 2 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 1 2 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 2 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 2 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 1 1 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 1 2 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 2 0 1 0 0 2 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 2 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 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 1 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 2 1 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 2 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 2 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 2 0 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 2 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 2 0 0 0 1 0 0 0 0 1 1 0 2 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 2 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 28 115 200 280 355 404 412 422 430 439 449 459 466 470 478 484 487 500 515 531 539 550 561 571 585 598 605 613 620 627 635 644 653 664 671 677 688 700 716 724 734 752 760 773 794 769
2520.03/2457.34	v       </values>
2520.03/2457.34	v     </instantiation>
2520.03/2457.34	s SATISFIABLE

Verifier Data 

OK	769

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-4262187-1502422130/watcher-4262187-1502422130 -o /tmp/evaluation-result-4262187-1502422130/solver-4262187-1502422130 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4959 --watchdog 2580 bin/concrete HOME/instance-4262187-1502422130.xml 

pid=7047
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 1.51 1.54 1.48 3/197 7050
/proc/meminfo: memFree=30410148/32770624 swapFree=0/440488
[pid=7050] ppid=7047 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7050/stat : 7050 (runsolver) D 7047 7050 4896 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 141865880 24240128 106 18446744073709551615 4194304 4338465 140729084266544 140729084264184 140040976466647 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 19906560 140729084272849 140729084273225 140729084273225 140729084276682 0
/proc/7050/statm: 5918 106 53 36 0 2156 0

[startup+0.100131 s]
/proc/loadavg: 1.51 1.54 1.48 3/197 7050
/proc/meminfo: memFree=30410148/32770624 swapFree=0/440488
[pid=7050] ppid=7047 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/7050/stat : 7050 (bash) S 7047 7050 4896 0 -1 4202496 682 1542 0 0 0 0 0 0 20 0 1 0 141865880 9736192 350 18446744073709551615 4194304 5098028 140722467409056 140722467406696 140332077890560 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 9 0 0 7196144 7232144 24879104 140722467414548 140722467414633 140722467414633 140722467418090 0
/proc/7050/statm: 2377 350 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200238 s]
/proc/loadavg: 1.51 1.54 1.48 3/197 7050
/proc/meminfo: memFree=30410148/32770624 swapFree=0/440488
[pid=7050] ppid=7047 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/7050/stat : 7050 (bash) S 7047 7050 4896 0 -1 4202496 890 6478 0 0 0 0 0 1 20 0 1 0 141865880 9867264 376 18446744073709551615 4194304 5098028 140722467409056 140722467403064 140332077890560 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 9 0 0 7196144 7232144 24879104 140722467414548 140722467414633 140722467414633 140722467418090 0
/proc/7050/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300395 s]
/proc/loadavg: 1.51 1.54 1.48 3/197 7050
/proc/meminfo: memFree=30410148/32770624 swapFree=0/440488
[pid=7050] ppid=7047 vsize=13574488 CPUtime=0.1 cores=0,2,4,6
/proc/7050/stat : 7050 (java) S 7047 7050 4896 0 -1 1077944320 4929 12361 0 0 2 0 5 3 20 0 9 0 141865880 13900275712 4682 18446744073709551615 4194304 4196468 140730440469392 140730440451936 140635524148983 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
/proc/7050/statm: 3393622 4682 2082 1 0 3383119 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13574488

[startup+0.700336 s]
/proc/loadavg: 1.51 1.54 1.48 3/197 7050
/proc/meminfo: memFree=30410148/32770624 swapFree=0/440488
[pid=7050] ppid=7047 vsize=13974784 CPUtime=0.54 cores=0,2,4,6
/proc/7050/stat : 7050 (java) S 7047 7050 4896 0 -1 1077944320 13045 12361 0 0 42 4 5 3 20 0 15 0 141865880 14310178816 13357 18446744073709551615 4194304 4196468 140730440469392 140730440451936 140635524148983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
/proc/7050/statm: 3493696 13357 3070 1 0 3482965 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13974784

[startup+1.50059 s]
/proc/loadavg: 1.51 1.54 1.48 3/212 7113
/proc/meminfo: memFree=30330488/32770624 swapFree=0/440316
[pid=7050] ppid=7047 vsize=13985408 CPUtime=1.73 cores=0,2,4,6
/proc/7050/stat : 7050 (java) S 7047 7050 4896 0 -1 1077944320 27319 12361 0 0 157 8 5 3 20 0 15 0 141865880 14321057792 33090 18446744073709551615 4194304 4196468 140730440469392 140730440451936 140635524148983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
/proc/7050/statm: 3496352 33090 3326 1 0 3485525 0
[pid=7050/tid=7100] ppid=7047 vsize=13985408 CPUtime=1.22 cores=0,2,4,6
/proc/7050/task/7100/stat : 7100 (java) R 7047 7050 4896 0 -1 4202560 22032 12361 0 0 108 6 5 3 20 0 15 0 141865906 14321057792 33090 18446744073709551615 4194304 4196468 140730440469392 140635528369872 140635508229470 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7101] ppid=7047 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7101/stat : 7101 (java) S 7047 7050 4896 0 -1 1077944384 1 12361 0 0 0 0 5 3 20 0 15 0 141865907 14321057792 33090 18446744073709551615 4194304 4196468 140730440469392 140635485047696 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7102] ppid=7047 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7102/stat : 7102 (java) S 7047 7050 4896 0 -1 1077944384 1 12361 0 0 0 0 5 3 20 0 15 0 141865907 14321057792 33090 18446744073709551615 4194304 4196468 140730440469392 140635483994896 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7103] ppid=7047 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7103/stat : 7103 (java) S 7047 7050 4896 0 -1 1077944384 1 12361 0 0 0 0 5 3 20 0 15 0 141865907 14321057792 33090 18446744073709551615 4194304 4196468 140730440469392 140635122625680 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7104] ppid=7047 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7104/stat : 7104 (java) S 7047 7050 4896 0 -1 1077944384 2 12361 0 0 0 0 5 3 20 0 15 0 141865907 14321057792 33090 18446744073709551615 4194304 4196468 140730440469392 140635121572880 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7105] ppid=7047 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7105/stat : 7105 (java) S 7047 7050 4896 0 -1 1077944384 5 12361 0 0 0 0 5 3 20 0 15 0 141865909 14321057792 33090 18446744073709551615 4194304 4196468 140730440469392 140635002587248 140635524160130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7106] ppid=7047 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7106/stat : 7106 (java) S 7047 7050 4896 0 -1 1077944384 33 12361 0 0 0 0 5 3 20 0 15 0 141865909 14321057792 33090 18446744073709551615 4194304 4196468 140730440469392 140635001533216 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7107] ppid=7047 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7107/stat : 7107 (java) S 7047 7050 4896 0 -1 1077944384 21 12361 0 0 0 0 5 3 20 0 15 0 141865909 14321057792 33090 18446744073709551615 4194304 4196468 140730440469392 140635000480880 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7108] ppid=7047 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7108/stat : 7108 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14321057792 33090 18446744073709551615 4194304 4196468 140730440469392 140634999429200 140635524167579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7109] ppid=7047 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/7050/task/7109/stat : 7109 (java) S 7047 7050 4896 0 -1 1077944384 1185 12361 0 0 16 0 5 3 20 0 15 0 141865912 14321057792 33090 18446744073709551615 4194304 4196468 140730440469392 140634998377072 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7110] ppid=7047 vsize=13985408 CPUtime=0.19 cores=0,2,4,6
/proc/7050/task/7110/stat : 7110 (java) S 7047 7050 4896 0 -1 1077944384 575 12361 0 0 11 0 5 3 20 0 15 0 141865912 14321057792 33090 18446744073709551615 4194304 4196468 140730440469392 140634997324272 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7111] ppid=7047 vsize=13985408 CPUtime=0.28 cores=0,2,4,6
/proc/7050/task/7111/stat : 7111 (java) S 7047 7050 4896 0 -1 1077944384 1296 12361 0 0 20 0 5 3 20 0 15 0 141865912 14321057792 33090 18446744073709551615 4194304 4196468 140730440469392 140634996271984 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7112] ppid=7047 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7112/stat : 7112 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14321057792 33090 18446744073709551615 4194304 4196468 140730440469392 140634995219424 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7113] ppid=7047 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7113/stat : 7113 (java) S 7047 7050 4896 0 -1 1077944384 11 12361 0 0 0 0 5 3 20 0 15 0 141865920 14321057792 33090 18446744073709551615 4194304 4196468 140730440469392 140634994166192 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 13985408

[startup+3.10066 s]
/proc/loadavg: 1.51 1.54 1.48 4/212 7113
/proc/meminfo: memFree=30247808/32770624 swapFree=0/440316
[pid=7050] ppid=7047 vsize=13997884 CPUtime=5.67 cores=0,2,4,6
/proc/7050/stat : 7050 (java) S 7047 7050 4896 0 -1 1077944320 43204 12361 0 0 543 16 5 3 20 0 15 0 141865880 14333833216 54921 18446744073709551615 4194304 4196468 140730440469392 140730440451936 140635524148983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
/proc/7050/statm: 3499471 54921 3447 1 0 3488085 0
[pid=7050/tid=7100] ppid=7047 vsize=13997884 CPUtime=2.78 cores=0,2,4,6
/proc/7050/task/7100/stat : 7100 (java) R 7047 7050 4896 0 -1 4202560 28260 12361 0 0 261 9 5 3 20 0 15 0 141865906 14333833216 54921 18446744073709551615 4194304 4196468 140730440469392 140635528378176 140635504424313 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7101] ppid=7047 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7101/stat : 7101 (java) S 7047 7050 4896 0 -1 1077944384 201 12361 0 0 0 0 5 3 20 0 15 0 141865907 14333833216 54921 18446744073709551615 4194304 4196468 140730440469392 140635485047696 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7102] ppid=7047 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7102/stat : 7102 (java) S 7047 7050 4896 0 -1 1077944384 43 12361 0 0 0 0 5 3 20 0 15 0 141865907 14333833216 54921 18446744073709551615 4194304 4196468 140730440469392 140635483994896 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7103] ppid=7047 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/7050/task/7103/stat : 7103 (java) S 7047 7050 4896 0 -1 1077944384 51 12361 0 0 1 0 5 3 20 0 15 0 141865907 14333833216 54921 18446744073709551615 4194304 4196468 140730440469392 140635122625680 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7104] ppid=7047 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/7050/task/7104/stat : 7104 (java) S 7047 7050 4896 0 -1 1077944384 62 12361 0 0 1 0 5 3 20 0 15 0 141865907 14333833216 54921 18446744073709551615 4194304 4196468 140730440469392 140635121572880 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7105] ppid=7047 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/7050/task/7105/stat : 7105 (java) S 7047 7050 4896 0 -1 1077944384 1683 12361 0 0 1 0 5 3 20 0 15 0 141865909 14333833216 54921 18446744073709551615 4194304 4196468 140730440469392 140635002587248 140635524160130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7106] ppid=7047 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7106/stat : 7106 (java) S 7047 7050 4896 0 -1 1077944384 55 12361 0 0 0 0 5 3 20 0 15 0 141865909 14333833216 54921 18446744073709551615 4194304 4196468 140730440469392 140635001533280 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7107] ppid=7047 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7107/stat : 7107 (java) S 7047 7050 4896 0 -1 1077944384 44 12361 0 0 0 0 5 3 20 0 15 0 141865909 14333833216 54921 18446744073709551615 4194304 4196468 140730440469392 140635000480896 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7108] ppid=7047 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7108/stat : 7108 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14333833216 54921 18446744073709551615 4194304 4196468 140730440469392 140634999429200 140635524167579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7109] ppid=7047 vsize=13997884 CPUtime=1.07 cores=0,2,4,6
/proc/7050/task/7109/stat : 7109 (java) S 7047 7050 4896 0 -1 1077944384 4482 12361 0 0 98 1 5 3 20 0 15 0 141865912 14333833216 54921 18446744073709551615 4194304 4196468 140730440469392 140634998377072 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7110] ppid=7047 vsize=13997884 CPUtime=0.89 cores=0,2,4,6
/proc/7050/task/7110/stat : 7110 (java) S 7047 7050 4896 0 -1 1077944384 2214 12361 0 0 81 0 5 3 20 0 15 0 141865912 14333833216 54921 18446744073709551615 4194304 4196468 140730440469392 140634997324272 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7111] ppid=7047 vsize=13997884 CPUtime=1.04 cores=0,2,4,6
/proc/7050/task/7111/stat : 7111 (java) S 7047 7050 4896 0 -1 1077944384 3939 12361 0 0 95 1 5 3 20 0 15 0 141865912 14333833216 54921 18446744073709551615 4194304 4196468 140730440469392 140634996271984 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7112] ppid=7047 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7112/stat : 7112 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14333833216 54921 18446744073709551615 4194304 4196468 140730440469392 140634995219424 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7113] ppid=7047 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7113/stat : 7113 (java) S 7047 7050 4896 0 -1 1077944384 14 12361 0 0 0 0 5 3 20 0 15 0 141865920 14333833216 54921 18446744073709551615 4194304 4196468 140730440469392 140634994166192 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 13997884

[startup+6.30064 s]
/proc/loadavg: 1.79 1.60 1.50 5/212 7113
/proc/meminfo: memFree=30073348/32770624 swapFree=0/440316
[pid=7050] ppid=7047 vsize=13999932 CPUtime=15.17 cores=0,2,4,6
/proc/7050/stat : 7050 (java) S 7047 7050 4896 0 -1 1077944320 59513 12361 0 0 1485 24 5 3 20 0 15 0 141865880 14335930368 112648 18446744073709551615 4194304 4196468 140730440469392 140730440451936 140635524148983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
/proc/7050/statm: 3499983 112648 3473 1 0 3488597 0
[pid=7050/tid=7100] ppid=7047 vsize=13999932 CPUtime=5.85 cores=0,2,4,6
/proc/7050/task/7100/stat : 7100 (java) R 7047 7050 4896 0 -1 4202560 36134 12361 0 0 564 13 5 3 20 0 15 0 141865906 14335930368 112648 18446744073709551615 4194304 4196468 140730440469392 140635528379872 140635180582225 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7101] ppid=7047 vsize=13999932 CPUtime=0.14 cores=0,2,4,6
/proc/7050/task/7101/stat : 7101 (java) S 7047 7050 4896 0 -1 1077944384 214 12361 0 0 5 1 5 3 20 0 15 0 141865907 14335930368 112648 18446744073709551615 4194304 4196468 140730440469392 140635485047696 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7102] ppid=7047 vsize=13999932 CPUtime=0.14 cores=0,2,4,6
/proc/7050/task/7102/stat : 7102 (java) S 7047 7050 4896 0 -1 1077944384 99 12361 0 0 6 0 5 3 20 0 15 0 141865907 14335930368 112648 18446744073709551615 4194304 4196468 140730440469392 140635483994896 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7103] ppid=7047 vsize=13999932 CPUtime=0.13 cores=0,2,4,6
/proc/7050/task/7103/stat : 7103 (java) S 7047 7050 4896 0 -1 1077944384 68 12361 0 0 5 0 5 3 20 0 15 0 141865907 14335930368 112648 18446744073709551615 4194304 4196468 140730440469392 140635122625680 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7104] ppid=7047 vsize=13999932 CPUtime=0.16 cores=0,2,4,6
/proc/7050/task/7104/stat : 7104 (java) S 7047 7050 4896 0 -1 1077944384 156 12361 0 0 8 0 5 3 20 0 15 0 141865907 14335930368 112648 18446744073709551615 4194304 4196468 140730440469392 140635121572880 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7105] ppid=7047 vsize=13999932 CPUtime=0.12 cores=0,2,4,6
/proc/7050/task/7105/stat : 7105 (java) S 7047 7050 4896 0 -1 1077944384 2403 12361 0 0 4 0 5 3 20 0 15 0 141865909 14335930368 112648 18446744073709551615 4194304 4196468 140730440469392 140635002587248 140635524160130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7106] ppid=7047 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7106/stat : 7106 (java) S 7047 7050 4896 0 -1 1077944384 55 12361 0 0 0 0 5 3 20 0 15 0 141865909 14335930368 112648 18446744073709551615 4194304 4196468 140730440469392 140635001533280 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7107] ppid=7047 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7107/stat : 7107 (java) S 7047 7050 4896 0 -1 1077944384 44 12361 0 0 0 0 5 3 20 0 15 0 141865909 14335930368 112648 18446744073709551615 4194304 4196468 140730440469392 140635000480896 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7108] ppid=7047 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7108/stat : 7108 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14335930368 112648 18446744073709551615 4194304 4196468 140730440469392 140634999429200 140635524167579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7109] ppid=7047 vsize=13999932 CPUtime=3.82 cores=0,2,4,6
/proc/7050/task/7109/stat : 7109 (java) R 7047 7050 4896 0 -1 4202560 8302 12361 0 0 373 1 5 3 20 0 15 0 141865912 14335930368 112648 18446744073709551615 4194304 4196468 140730440469392 140634998377072 140635509274877 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7110] ppid=7047 vsize=13999932 CPUtime=3.63 cores=0,2,4,6
/proc/7050/task/7110/stat : 7110 (java) R 7047 7050 4896 0 -1 4202560 3925 12361 0 0 355 0 5 3 20 0 15 0 141865912 14335930368 112648 18446744073709551615 4194304 4196468 140730440469392 140634997308224 140635505670689 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7111] ppid=7047 vsize=13999932 CPUtime=1.71 cores=0,2,4,6
/proc/7050/task/7111/stat : 7111 (java) S 7047 7050 4896 0 -1 1077944384 5942 12361 0 0 160 3 5 3 20 0 15 0 141865912 14335930368 112648 18446744073709551615 4194304 4196468 140730440469392 140634996271984 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7112] ppid=7047 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7112/stat : 7112 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14335930368 112648 18446744073709551615 4194304 4196468 140730440469392 140634995219424 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7113] ppid=7047 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7113/stat : 7113 (java) S 7047 7050 4896 0 -1 1077944384 15 12361 0 0 0 0 5 3 20 0 15 0 141865920 14335930368 112648 18446744073709551615 4194304 4196468 140730440469392 140634994166192 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
Current children cumulated CPU time (s) 15.17
Current children cumulated vsize (KiB) 13999932

[startup+12.7007 s]
/proc/loadavg: 1.89 1.62 1.51 3/212 7113
/proc/meminfo: memFree=29668092/32770624 swapFree=0/440312
[pid=7050] ppid=7047 vsize=14071612 CPUtime=29.63 cores=0,2,4,6
/proc/7050/stat : 7050 (java) S 7047 7050 4896 0 -1 1077944320 102894 12361 0 0 2913 42 5 3 20 0 15 0 141865880 14409330688 192835 18446744073709551615 4194304 4196468 140730440469392 140730440451936 140635524148983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
/proc/7050/statm: 3517903 192835 3486 1 0 3506517 0
[pid=7050/tid=7100] ppid=7047 vsize=14071612 CPUtime=12.15 cores=0,2,4,6
/proc/7050/task/7100/stat : 7100 (java) R 7047 7050 4896 0 -1 4202560 57349 12361 0 0 1188 19 5 3 20 0 15 0 141865906 14409330688 192835 18446744073709551615 4194304 4196468 140730440469392 140635528379904 140635186382885 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7101] ppid=7047 vsize=14071612 CPUtime=0.21 cores=0,2,4,6
/proc/7050/task/7101/stat : 7101 (java) S 7047 7050 4896 0 -1 1077944384 1159 12361 0 0 10 3 5 3 20 0 15 0 141865907 14409330688 192835 18446744073709551615 4194304 4196468 140730440469392 140635485047696 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7102] ppid=7047 vsize=14071612 CPUtime=0.21 cores=0,2,4,6
/proc/7050/task/7102/stat : 7102 (java) S 7047 7050 4896 0 -1 1077944384 257 12361 0 0 11 2 5 3 20 0 15 0 141865907 14409330688 192835 18446744073709551615 4194304 4196468 140730440469392 140635483994896 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7103] ppid=7047 vsize=14071612 CPUtime=0.2 cores=0,2,4,6
/proc/7050/task/7103/stat : 7103 (java) S 7047 7050 4896 0 -1 1077944384 297 12361 0 0 10 2 5 3 20 0 15 0 141865907 14409330688 192835 18446744073709551615 4194304 4196468 140730440469392 140635122625680 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7104] ppid=7047 vsize=14071612 CPUtime=0.22 cores=0,2,4,6
/proc/7050/task/7104/stat : 7104 (java) S 7047 7050 4896 0 -1 1077944384 231 12361 0 0 12 2 5 3 20 0 15 0 141865907 14409330688 192835 18446744073709551615 4194304 4196468 140730440469392 140635121572880 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7105] ppid=7047 vsize=14071612 CPUtime=0.13 cores=0,2,4,6
/proc/7050/task/7105/stat : 7105 (java) S 7047 7050 4896 0 -1 1077944384 2608 12361 0 0 5 0 5 3 20 0 15 0 141865909 14409330688 192835 18446744073709551615 4194304 4196468 140730440469392 140635002587248 140635524160130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7106] ppid=7047 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7106/stat : 7106 (java) S 7047 7050 4896 0 -1 1077944384 57 12361 0 0 0 0 5 3 20 0 15 0 141865909 14409330688 192835 18446744073709551615 4194304 4196468 140730440469392 140635001533280 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7107] ppid=7047 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7107/stat : 7107 (java) S 7047 7050 4896 0 -1 1077944384 47 12361 0 0 0 0 5 3 20 0 15 0 141865909 14409330688 192835 18446744073709551615 4194304 4196468 140730440469392 140635000480896 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7108] ppid=7047 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7108/stat : 7108 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14409330688 192835 18446744073709551615 4194304 4196468 140730440469392 140634999429200 140635524167579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0

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

/proc/7050/task/7112/stat : 7112 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14409330688 1090869 18446744073709551615 4194304 4196468 140730440469392 140634995219424 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7113] ppid=7047 vsize=14071612 CPUtime=1.29 cores=0,2,4,6
/proc/7050/task/7113/stat : 7113 (java) S 7047 7050 4896 0 -1 1077944384 1415 12361 0 0 61 60 5 3 20 0 15 0 141865920 14409330688 1090869 18446744073709551615 4194304 4196468 140730440469392 140634994166192 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
Current children cumulated CPU time (s) 2384.18
Current children cumulated vsize (KiB) 14071612

[startup+2382.3 s]
/proc/loadavg: 1.61 1.67 1.66 3/214 7518
/proc/meminfo: memFree=25906776/32770624 swapFree=0/440708
[pid=7050] ppid=7047 vsize=14071612 CPUtime=2444.52 cores=0,2,4,6
/proc/7050/stat : 7050 (java) S 7047 7050 4896 0 -1 1077944320 557866 12361 0 0 243862 582 5 3 20 0 15 0 141865880 14409330688 1090889 18446744073709551615 4194304 4196468 140730440469392 140730440451936 140635524148983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
/proc/7050/statm: 3517903 1090889 3505 1 0 3506517 0
[pid=7050/tid=7100] ppid=7047 vsize=14071612 CPUtime=2371.05 cores=0,2,4,6
/proc/7050/task/7100/stat : 7100 (java) R 7047 7050 4896 0 -1 4202560 259249 12361 0 0 237023 74 5 3 20 0 15 0 141865906 14409330688 1090889 18446744073709551615 4194304 4196468 140730440469392 140635528383056 140635188734432 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7101] ppid=7047 vsize=14071612 CPUtime=10.08 cores=0,2,4,6
/proc/7050/task/7101/stat : 7101 (java) S 7047 7050 4896 0 -1 1077944384 21291 12361 0 0 893 107 5 3 20 0 15 0 141865907 14409330688 1090889 18446744073709551615 4194304 4196468 140730440469392 140635485047696 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7102] ppid=7047 vsize=14071612 CPUtime=10.13 cores=0,2,4,6
/proc/7050/task/7102/stat : 7102 (java) S 7047 7050 4896 0 -1 1077944384 26358 12361 0 0 900 105 5 3 20 0 15 0 141865907 14409330688 1090889 18446744073709551615 4194304 4196468 140730440469392 140635483994896 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7103] ppid=7047 vsize=14071612 CPUtime=10.08 cores=0,2,4,6
/proc/7050/task/7103/stat : 7103 (java) S 7047 7050 4896 0 -1 1077944384 26957 12361 0 0 894 106 5 3 20 0 15 0 141865907 14409330688 1090889 18446744073709551615 4194304 4196468 140730440469392 140635122625680 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7104] ppid=7047 vsize=14071612 CPUtime=10.09 cores=0,2,4,6
/proc/7050/task/7104/stat : 7104 (java) S 7047 7050 4896 0 -1 1077944384 30509 12361 0 0 898 103 5 3 20 0 15 0 141865907 14409330688 1090889 18446744073709551615 4194304 4196468 140730440469392 140635121572880 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7105] ppid=7047 vsize=14071612 CPUtime=0.62 cores=0,2,4,6
/proc/7050/task/7105/stat : 7105 (java) S 7047 7050 4896 0 -1 1077944384 42907 12361 0 0 45 9 5 3 20 0 15 0 141865909 14409330688 1090889 18446744073709551615 4194304 4196468 140730440469392 140635002587248 140635524160130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7106] ppid=7047 vsize=14071612 CPUtime=0.09 cores=0,2,4,6
/proc/7050/task/7106/stat : 7106 (java) S 7047 7050 4896 0 -1 1077944384 211 12361 0 0 1 0 5 3 20 0 15 0 141865909 14409330688 1090889 18446744073709551615 4194304 4196468 140730440469392 140635001533344 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7107] ppid=7047 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7107/stat : 7107 (java) S 7047 7050 4896 0 -1 1077944384 51 12361 0 0 0 0 5 3 20 0 15 0 141865909 14409330688 1090889 18446744073709551615 4194304 4196468 140730440469392 140635000480896 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7108] ppid=7047 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7108/stat : 7108 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14409330688 1090889 18446744073709551615 4194304 4196468 140730440469392 140634999429200 140635524167579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7109] ppid=7047 vsize=14071612 CPUtime=13.71 cores=0,2,4,6
/proc/7050/task/7109/stat : 7109 (java) S 7047 7050 4896 0 -1 1077944384 47672 12361 0 0 1356 7 5 3 20 0 15 0 141865912 14409330688 1090889 18446744073709551615 4194304 4196468 140730440469392 140634998377072 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7110] ppid=7047 vsize=14071612 CPUtime=13.56 cores=0,2,4,6
/proc/7050/task/7110/stat : 7110 (java) S 7047 7050 4896 0 -1 1077944384 42977 12361 0 0 1341 7 5 3 20 0 15 0 141865912 14409330688 1090889 18446744073709551615 4194304 4196468 140730440469392 140634997324272 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7111] ppid=7047 vsize=14071612 CPUtime=4.49 cores=0,2,4,6
/proc/7050/task/7111/stat : 7111 (java) S 7047 7050 4896 0 -1 1077944384 56088 12361 0 0 431 10 5 3 20 0 15 0 141865912 14409330688 1090889 18446744073709551615 4194304 4196468 140730440469392 140634996271984 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7112] ppid=7047 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7112/stat : 7112 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14409330688 1090889 18446744073709551615 4194304 4196468 140730440469392 140634995219424 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7113] ppid=7047 vsize=14071612 CPUtime=1.32 cores=0,2,4,6
/proc/7050/task/7113/stat : 7113 (java) S 7047 7050 4896 0 -1 1077944384 1440 12361 0 0 62 62 5 3 20 0 15 0 141865920 14409330688 1090889 18446744073709551615 4194304 4196468 140730440469392 140634994166192 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
Current children cumulated CPU time (s) 2444.52
Current children cumulated vsize (KiB) 14071612

[startup+2442.3 s]
/proc/loadavg: 1.39 1.60 1.64 3/214 7521
/proc/meminfo: memFree=25904500/32770624 swapFree=0/440724
[pid=7050] ppid=7047 vsize=14071612 CPUtime=2504.95 cores=0,2,4,6
/proc/7050/stat : 7050 (java) S 7047 7050 4896 0 -1 1077944320 565653 12361 0 0 249903 584 5 3 20 0 15 0 141865880 14409330688 1090908 18446744073709551615 4194304 4196468 140730440469392 140730440451936 140635524148983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
/proc/7050/statm: 3517903 1090908 3505 1 0 3506517 0
[pid=7050/tid=7100] ppid=7047 vsize=14071612 CPUtime=2430.9 cores=0,2,4,6
/proc/7050/task/7100/stat : 7100 (java) R 7047 7050 4896 0 -1 4202560 264298 12361 0 0 243007 75 5 3 20 0 15 0 141865906 14409330688 1090908 18446744073709551615 4194304 4196468 140730440469392 140635528382960 140635187339551 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7101] ppid=7047 vsize=14071612 CPUtime=10.21 cores=0,2,4,6
/proc/7050/task/7101/stat : 7101 (java) S 7047 7050 4896 0 -1 1077944384 21406 12361 0 0 906 107 5 3 20 0 15 0 141865907 14409330688 1090908 18446744073709551615 4194304 4196468 140730440469392 140635485047696 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7102] ppid=7047 vsize=14071612 CPUtime=10.26 cores=0,2,4,6
/proc/7050/task/7102/stat : 7102 (java) S 7047 7050 4896 0 -1 1077944384 26463 12361 0 0 913 105 5 3 20 0 15 0 141865907 14409330688 1090908 18446744073709551615 4194304 4196468 140730440469392 140635483994896 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7103] ppid=7047 vsize=14071612 CPUtime=10.21 cores=0,2,4,6
/proc/7050/task/7103/stat : 7103 (java) S 7047 7050 4896 0 -1 1077944384 28817 12361 0 0 907 106 5 3 20 0 15 0 141865907 14409330688 1090908 18446744073709551615 4194304 4196468 140730440469392 140635122625680 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7104] ppid=7047 vsize=14071612 CPUtime=10.22 cores=0,2,4,6
/proc/7050/task/7104/stat : 7104 (java) S 7047 7050 4896 0 -1 1077944384 30786 12361 0 0 911 103 5 3 20 0 15 0 141865907 14409330688 1090908 18446744073709551615 4194304 4196468 140730440469392 140635121572880 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7105] ppid=7047 vsize=14071612 CPUtime=0.63 cores=0,2,4,6
/proc/7050/task/7105/stat : 7105 (java) S 7047 7050 4896 0 -1 1077944384 43246 12361 0 0 46 9 5 3 20 0 15 0 141865909 14409330688 1090908 18446744073709551615 4194304 4196468 140730440469392 140635002587248 140635524160130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7106] ppid=7047 vsize=14071612 CPUtime=0.09 cores=0,2,4,6
/proc/7050/task/7106/stat : 7106 (java) S 7047 7050 4896 0 -1 1077944384 214 12361 0 0 1 0 5 3 20 0 15 0 141865909 14409330688 1090908 18446744073709551615 4194304 4196468 140730440469392 140635001533344 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7107] ppid=7047 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7107/stat : 7107 (java) S 7047 7050 4896 0 -1 1077944384 51 12361 0 0 0 0 5 3 20 0 15 0 141865909 14409330688 1090908 18446744073709551615 4194304 4196468 140730440469392 140635000480896 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7108] ppid=7047 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7108/stat : 7108 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14409330688 1090908 18446744073709551615 4194304 4196468 140730440469392 140634999429200 140635524167579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7109] ppid=7047 vsize=14071612 CPUtime=13.71 cores=0,2,4,6
/proc/7050/task/7109/stat : 7109 (java) S 7047 7050 4896 0 -1 1077944384 47675 12361 0 0 1356 7 5 3 20 0 15 0 141865912 14409330688 1090908 18446744073709551615 4194304 4196468 140730440469392 140634998377072 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7110] ppid=7047 vsize=14071612 CPUtime=13.56 cores=0,2,4,6
/proc/7050/task/7110/stat : 7110 (java) S 7047 7050 4896 0 -1 1077944384 42981 12361 0 0 1341 7 5 3 20 0 15 0 141865912 14409330688 1090908 18446744073709551615 4194304 4196468 140730440469392 140634997324272 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7111] ppid=7047 vsize=14071612 CPUtime=4.49 cores=0,2,4,6
/proc/7050/task/7111/stat : 7111 (java) S 7047 7050 4896 0 -1 1077944384 56095 12361 0 0 431 10 5 3 20 0 15 0 141865912 14409330688 1090908 18446744073709551615 4194304 4196468 140730440469392 140634996271984 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7112] ppid=7047 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7112/stat : 7112 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14409330688 1090908 18446744073709551615 4194304 4196468 140730440469392 140634995219424 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7113] ppid=7047 vsize=14071612 CPUtime=1.35 cores=0,2,4,6
/proc/7050/task/7113/stat : 7113 (java) S 7047 7050 4896 0 -1 1077944384 1465 12361 0 0 64 63 5 3 20 0 15 0 141865920 14409330688 1090908 18446744073709551615 4194304 4196468 140730440469392 140634994166192 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
Current children cumulated CPU time (s) 2504.95
Current children cumulated vsize (KiB) 14071612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2457.3 s]
/proc/loadavg: 1.46 1.61 1.64 3/214 7522
/proc/meminfo: memFree=25905468/32770624 swapFree=0/440728
[pid=7050] ppid=7047 vsize=14071612 CPUtime=2520.03 cores=0,2,4,6
/proc/7050/stat : 7050 (java) S 7047 7050 4896 0 -1 1077944320 566099 12361 0 0 251411 584 5 3 20 0 15 0 141865880 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140730440451936 140635524148983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
/proc/7050/statm: 3517903 1090680 3505 1 0 3506517 0
[pid=7050/tid=7100] ppid=7047 vsize=14071612 CPUtime=2445.88 cores=0,2,4,6
/proc/7050/task/7100/stat : 7100 (java) R 7047 7050 4896 0 -1 4202560 264624 12361 0 0 244505 75 5 3 20 0 15 0 141865906 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635528383024 140635186881774 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7101] ppid=7047 vsize=14071612 CPUtime=10.24 cores=0,2,4,6
/proc/7050/task/7101/stat : 7101 (java) S 7047 7050 4896 0 -1 1077944384 21435 12361 0 0 909 107 5 3 20 0 15 0 141865907 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635485047696 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7102] ppid=7047 vsize=14071612 CPUtime=10.29 cores=0,2,4,6
/proc/7050/task/7102/stat : 7102 (java) S 7047 7050 4896 0 -1 1077944384 26493 12361 0 0 916 105 5 3 20 0 15 0 141865907 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635483994896 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7103] ppid=7047 vsize=14071612 CPUtime=10.24 cores=0,2,4,6
/proc/7050/task/7103/stat : 7103 (java) S 7047 7050 4896 0 -1 1077944384 28848 12361 0 0 910 106 5 3 20 0 15 0 141865907 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635122625680 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7104] ppid=7047 vsize=14071612 CPUtime=10.25 cores=0,2,4,6
/proc/7050/task/7104/stat : 7104 (java) S 7047 7050 4896 0 -1 1077944384 30812 12361 0 0 914 103 5 3 20 0 15 0 141865907 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635121572880 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7105] ppid=7047 vsize=14071612 CPUtime=0.63 cores=0,2,4,6
/proc/7050/task/7105/stat : 7105 (java) S 7047 7050 4896 0 -1 1077944384 43248 12361 0 0 46 9 5 3 20 0 15 0 141865909 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635002587248 140635524160130 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7106] ppid=7047 vsize=14071612 CPUtime=0.09 cores=0,2,4,6
/proc/7050/task/7106/stat : 7106 (java) S 7047 7050 4896 0 -1 1077944384 214 12361 0 0 1 0 5 3 20 0 15 0 141865909 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635001533344 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7107] ppid=7047 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7107/stat : 7107 (java) S 7047 7050 4896 0 -1 1077944384 51 12361 0 0 0 0 5 3 20 0 15 0 141865909 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635000480896 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7108] ppid=7047 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7108/stat : 7108 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140634999429200 140635524167579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7109] ppid=7047 vsize=14071612 CPUtime=13.71 cores=0,2,4,6
/proc/7050/task/7109/stat : 7109 (java) S 7047 7050 4896 0 -1 1077944384 47675 12361 0 0 1356 7 5 3 20 0 15 0 141865912 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140634998377072 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7110] ppid=7047 vsize=14071612 CPUtime=13.56 cores=0,2,4,6
/proc/7050/task/7110/stat : 7110 (java) S 7047 7050 4896 0 -1 1077944384 42981 12361 0 0 1341 7 5 3 20 0 15 0 141865912 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140634997324272 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7111] ppid=7047 vsize=14071612 CPUtime=4.49 cores=0,2,4,6
/proc/7050/task/7111/stat : 7111 (java) S 7047 7050 4896 0 -1 1077944384 56095 12361 0 0 431 10 5 3 20 0 15 0 141865912 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140634996271984 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7112] ppid=7047 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7112/stat : 7112 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140634995219424 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7113] ppid=7047 vsize=14071612 CPUtime=1.36 cores=0,2,4,6
/proc/7050/task/7113/stat : 7113 (java) S 7047 7050 4896 0 -1 1077944384 1467 12361 0 0 64 64 5 3 20 0 15 0 141865920 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140634994166192 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
Current children cumulated CPU time (s) 2520.03
Current children cumulated vsize (KiB) 14071612

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 7050 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2457.3 s]
/proc/loadavg: 1.46 1.61 1.64 3/214 7522
/proc/meminfo: memFree=25905468/32770624 swapFree=0/440728
[pid=7050] ppid=7047 vsize=14071612 CPUtime=2520.03 cores=0,2,4,6
/proc/7050/stat : 7050 (java) S 7047 7050 4896 0 -1 1077944320 566099 12361 0 0 251411 584 5 3 20 0 15 0 141865880 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140730440451936 140635524148983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
/proc/7050/statm: 3517903 1090680 3505 1 0 3506517 0
[pid=7050/tid=7100] ppid=7047 vsize=14071612 CPUtime=2445.88 cores=0,2,4,6
/proc/7050/task/7100/stat : 7100 (java) R 7047 7050 4896 0 -1 4202560 264624 12361 0 0 244505 75 5 3 20 0 15 0 141865906 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635528383024 140635186881774 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7101] ppid=7047 vsize=14071612 CPUtime=10.24 cores=0,2,4,6
/proc/7050/task/7101/stat : 7101 (java) S 7047 7050 4896 0 -1 1077944384 21435 12361 0 0 909 107 5 3 20 0 15 0 141865907 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635485047696 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7102] ppid=7047 vsize=14071612 CPUtime=10.29 cores=0,2,4,6
/proc/7050/task/7102/stat : 7102 (java) S 7047 7050 4896 0 -1 1077944384 26493 12361 0 0 916 105 5 3 20 0 15 0 141865907 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635483994896 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7103] ppid=7047 vsize=14071612 CPUtime=10.24 cores=0,2,4,6
/proc/7050/task/7103/stat : 7103 (java) S 7047 7050 4896 0 -1 1077944384 28848 12361 0 0 910 106 5 3 20 0 15 0 141865907 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635122625680 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7104] ppid=7047 vsize=14071612 CPUtime=10.25 cores=0,2,4,6
/proc/7050/task/7104/stat : 7104 (java) S 7047 7050 4896 0 -1 1077944384 30812 12361 0 0 914 103 5 3 20 0 15 0 141865907 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635121572880 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7105] ppid=7047 vsize=14071612 CPUtime=0.63 cores=0,2,4,6
/proc/7050/task/7105/stat : 7105 (java) S 7047 7050 4896 0 -1 1077944384 43248 12361 0 0 46 9 5 3 20 0 15 0 141865909 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635002587248 140635524160130 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7106] ppid=7047 vsize=14071612 CPUtime=0.09 cores=0,2,4,6
/proc/7050/task/7106/stat : 7106 (java) S 7047 7050 4896 0 -1 1077944384 214 12361 0 0 1 0 5 3 20 0 15 0 141865909 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635001533344 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7107] ppid=7047 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7107/stat : 7107 (java) S 7047 7050 4896 0 -1 1077944384 51 12361 0 0 0 0 5 3 20 0 15 0 141865909 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140635000480896 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7108] ppid=7047 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7108/stat : 7108 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140634999429200 140635524167579 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7109] ppid=7047 vsize=14071612 CPUtime=13.71 cores=0,2,4,6
/proc/7050/task/7109/stat : 7109 (java) S 7047 7050 4896 0 -1 1077944384 47675 12361 0 0 1356 7 5 3 20 0 15 0 141865912 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140634998377072 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7110] ppid=7047 vsize=14071612 CPUtime=13.56 cores=0,2,4,6
/proc/7050/task/7110/stat : 7110 (java) S 7047 7050 4896 0 -1 1077944384 42981 12361 0 0 1341 7 5 3 20 0 15 0 141865912 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140634997324272 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7111] ppid=7047 vsize=14071612 CPUtime=4.49 cores=0,2,4,6
/proc/7050/task/7111/stat : 7111 (java) S 7047 7050 4896 0 -1 1077944384 56095 12361 0 0 431 10 5 3 20 0 15 0 141865912 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140634996271984 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7112] ppid=7047 vsize=14071612 CPUtime=0.08 cores=0,2,4,6
/proc/7050/task/7112/stat : 7112 (java) S 7047 7050 4896 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 141865912 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140634995219424 140635524159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
[pid=7050/tid=7113] ppid=7047 vsize=14071612 CPUtime=1.36 cores=0,2,4,6
/proc/7050/task/7113/stat : 7113 (java) S 7047 7050 4896 0 -1 1077944384 1467 12361 0 0 64 64 5 3 20 0 15 0 141865920 14409330688 1090680 18446744073709551615 4194304 4196468 140730440469392 140634994166192 140635524160130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24260608 140730440472528 140730440475313 140730440475313 140730440478671 0
Current children cumulated CPU time (s) 2520.03
Current children cumulated vsize (KiB) 14071612

Child status: 143
Real time (s): 2457.38
CPU time (s): 2520.21
CPU user time (s): 2514.3
CPU system time (s): 5.9101
CPU usage (%): 102.557
Max. virtual memory (cumulated for all children) (KiB): 14072636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.3
system time used= 5.9101
maximum resident set size= 4364220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581709
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75966
involuntary context switches= 4601

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9594 second user time and 15.6807 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-11 05:14:26
IDJOB=4262187
IDBENCH=115917
IDSOLVER=2650
FILE ID=node132/4262187-1502422130
RUNJOBID= node132-1502411403-4959
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262187-1502422130/watcher-4262187-1502422130 -o /tmp/evaluation-result-4262187-1502422130/solver-4262187-1502422130 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4959 --watchdog 2580  bin/concrete HOME/instance-4262187-1502422130.xml

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

MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d
RANDOM SEED=830293826

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30411436 kB
MemAvailable:   31246492 kB
Buffers:          287812 kB
Cached:           849868 kB
SwapCached:            0 kB
Active:          1442016 kB
Inactive:         481308 kB
Active(anon):     786392 kB
Inactive(anon):    40820 kB
Active(file):     655624 kB
Inactive(file):   440488 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24404 kB
Writeback:             0 kB
AnonPages:        785432 kB
Mapped:            71892 kB
Shmem:             41660 kB
Slab:             136552 kB
SReclaimable:     109556 kB
SUnreclaim:        26996 kB
KernelStack:        3456 kB
PageTables:         8064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1336884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    653312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61984 MiB
End job on node132 at 2017-08-11 05:55:24