Trace number 4244835

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4SAT (TO)767 2400.13 2296.25

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.73/2.16	c Concrete v3.4 running
23.37/8.76	% 06:21:36.450 [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
23.37/8.79	% 06:21:36.479 [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
23.37/8.79	% 06:21:36.481 [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
23.84/8.82	% 06:21:36.511 [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
23.84/8.82	% 06:21:36.512 [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
23.84/8.84	% 06:21:36.526 [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
23.84/8.84	% 06:21:36.527 [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
23.84/8.85	% 06:21:36.542 [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
23.84/8.85	% 06:21:36.543 [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
23.84/8.86	% 06:21:36.549 [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
23.84/8.86	% 06:21:36.549 [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
23.84/8.87	% 06:21:36.555 [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
23.84/8.87	% 06:21:36.556 [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
23.84/8.87	% 06:21:36.563 [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
23.84/8.87	% 06:21:36.563 [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
23.84/8.88	% 06:21:36.569 [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
116.31/74.17	o 28
117.15/74.58	o 30
117.75/74.95	o 45
118.50/75.64	o 46
118.98/76.04	o 47
119.58/76.42	o 75
120.10/76.81	o 76
120.51/77.28	o 77
120.97/77.68	o 78
121.71/78.34	o 79
122.25/78.80	o 80
122.57/79.18	o 81
123.40/79.91	o 82
123.72/80.30	o 83
124.13/80.70	o 84
124.64/81.10	o 85
125.42/81.80	o 115
125.84/82.18	o 116
126.68/82.97	o 117
127.22/83.41	o 118
127.97/84.12	o 119
128.38/84.55	o 120
128.80/84.95	o 121
129.20/85.32	o 146
129.84/85.96	o 147
130.26/86.38	o 148
130.81/86.81	o 149
131.11/87.19	o 150
131.52/87.60	o 151
131.93/87.99	o 152
132.48/88.42	o 168
133.58/89.47	o 169
134.21/89.96	o 170
134.74/90.44	o 171
136.14/91.52	o 172
136.46/91.89	o 173
136.87/92.26	o 174
137.29/92.65	o 175
137.73/93.06	o 176
138.14/93.48	o 177
138.71/93.92	o 178
139.03/94.28	o 179
139.44/94.66	o 180
139.86/95.06	o 181
140.60/95.76	o 182
141.02/96.19	o 183
141.44/96.55	o 184
141.86/96.94	o 185
142.27/97.37	o 186
142.90/97.78	o 187
143.44/98.23	o 188
144.29/99.04	o 189
144.81/99.50	o 190
145.36/100.00	o 191
146.40/101.00	o 192
147.12/101.74	o 193
147.55/102.12	o 194
147.97/102.51	o 195
148.41/102.98	o 196
148.96/103.49	o 197
150.22/104.64	o 198
150.62/105.04	o 199
151.04/105.41	o 200
151.35/105.78	o 201
152.10/106.30	o 202
152.82/107.04	o 203
153.23/107.41	o 204
153.54/107.80	o 205
153.95/108.18	o 206
154.47/108.62	o 207
154.89/109.03	o 208
155.40/109.51	o 209
156.33/110.49	o 210
157.16/111.22	o 211
157.56/111.66	o 212
157.97/112.03	o 213
159.10/113.13	o 214
159.52/113.51	o 215
160.14/114.18	o 216
160.78/114.59	o 217
161.49/115.29	o 218
162.01/115.78	o 219
162.53/116.23	o 220
162.97/116.62	o 221
163.26/116.97	o 222
163.79/117.42	o 223
164.92/118.54	o 224
165.33/118.92	o 225
165.73/119.32	o 226
166.14/119.75	o 227
166.55/120.15	o 228
167.38/120.91	o 229
169.65/123.04	o 230
171.81/124.82	o 231
172.24/125.24	o 232
173.06/126.01	o 233
174.31/127.22	o 234
175.44/128.38	o 235
175.96/128.86	o 236
176.47/129.34	o 237
177.01/129.84	o 238
177.41/130.25	o 239
177.82/130.63	o 240
178.24/131.07	o 241
179.05/131.87	o 242
179.57/132.34	o 308
180.09/132.87	o 309
181.53/134.05	o 310
182.65/135.16	o 311
183.17/135.63	o 312
183.68/136.11	o 313
184.51/136.90	o 314
185.64/138.00	o 315
186.05/138.45	o 316
186.57/138.94	o 317
187.09/139.44	o 318
187.62/139.97	o 319
189.15/141.41	o 320
191.65/143.66	o 321
192.06/144.06	o 322
192.46/144.49	o 323
193.36/145.36	o 324
193.76/145.79	o 325
194.26/146.22	o 326
194.76/146.75	o 327
197.26/149.23	o 328
197.97/149.92	o 329
198.47/150.46	o 330
199.47/151.48	o 331
199.98/151.97	o 332
200.77/152.59	o 333
203.84/154.67	o 334
205.15/155.92	o 335
206.35/157.18	o 336
207.49/158.29	o 337
208.09/158.83	o 338
210.09/160.81	o 339
210.59/161.31	o 340
211.10/161.82	o 341
211.90/162.66	o 342
212.96/163.57	o 343
213.86/164.41	o 344
214.76/165.33	o 345
215.76/166.33	o 346
217.06/167.67	o 347
217.56/168.12	o 348
218.06/168.63	o 349
219.56/170.12	o 350
220.26/170.87	o 351
221.26/171.80	o 352
222.20/172.66	o 353
223.73/173.97	o 354
224.62/174.80	o 355
225.12/175.30	o 356
226.32/176.54	o 357
227.12/177.33	o 358
227.62/177.88	o 359
228.03/178.30	o 360
228.52/178.74	o 361
229.02/179.26	o 362
229.52/179.72	o 363
230.02/180.25	o 364
230.52/180.73	o 365
231.33/181.51	o 366
233.41/183.54	o 367
235.92/186.03	o 368
236.31/186.49	o 369
236.81/186.97	o 370
238.21/188.35	o 371
238.91/189.09	o 372
239.42/189.55	o 373
240.23/190.32	o 374
241.02/191.14	o 375
241.82/191.90	o 376
242.31/192.40	o 377
242.81/192.86	o 378
243.31/193.33	o 379
243.81/193.83	o 380
244.91/194.96	o 381
246.11/196.14	o 382
246.92/196.93	o 383
247.41/197.43	o 384
247.91/197.95	o 385
249.41/199.42	o 386
250.41/200.45	o 387
251.53/201.43	o 388
253.12/203.09	o 389
253.92/203.89	o 390
254.42/204.36	o 391
254.92/204.85	o 392
256.02/205.90	o 393
256.43/206.39	o 394
258.34/208.21	o 395
259.34/209.24	o 396
262.14/211.96	o 397
265.25/215.08	o 398
267.25/217.07	o 399
269.68/219.34	o 400
270.08/219.77	o 401
270.98/220.68	o 402
271.49/221.20	o 403
272.48/222.14	o 404
279.62/229.16	o 405
280.23/229.72	o 406
280.83/230.35	o 407
281.93/231.44	o 408
283.36/232.79	o 409
285.26/234.69	o 410
286.36/235.79	o 411
292.25/241.47	o 412
293.25/242.42	o 413
293.75/242.96	o 414
294.75/243.95	o 415
295.85/245.08	o 416
300.49/249.59	o 417
300.99/250.08	o 418
304.16/253.06	o 419
304.95/253.89	o 420
308.75/257.66	o 421
311.50/260.25	o 422
312.01/260.80	o 423
312.50/261.27	o 424
313.40/262.14	o 425
315.10/263.82	o 426
315.90/264.65	o 427
317.34/265.97	o 428
320.44/269.04	o 429
321.24/269.83	o 430
321.99/270.42	o 431
323.09/271.58	o 432
323.59/272.07	o 433
324.49/272.96	o 434
324.99/273.44	o 435
325.89/274.34	o 436
328.55/276.80	o 437
328.95/277.29	o 438
329.55/277.83	o 439
330.05/278.38	o 440
332.65/280.92	o 441
333.27/281.43	o 442
334.67/282.89	o 443
340.25/288.30	o 444
341.04/289.03	o 445
346.60/294.43	o 446
350.12/297.89	o 447
352.88/300.47	o 448
353.88/301.42	o 449
360.90/308.07	o 450
362.69/309.80	o 451
363.59/310.74	o 452
364.69/311.61	o 453
365.79/312.72	o 454
367.09/314.10	o 455
367.59/314.60	o 456
371.58/318.34	o 457
372.71/319.26	o 458
374.11/320.65	o 459
375.02/321.57	o 460
379.91/326.26	o 461
381.11/327.19	o 462
385.76/331.53	o 463
387.06/332.84	o 464
387.57/333.37	o 465
389.24/334.61	o 466
390.84/336.27	o 467
391.44/336.81	o 468
392.45/337.87	o 469
393.04/338.45	o 470
395.70/340.86	o 471
396.20/341.37	o 472
398.11/343.25	o 473
399.39/344.27	o 474
399.99/344.85	o 475
400.89/345.76	o 476
401.49/346.33	o 477
402.79/347.69	o 478
404.56/349.06	o 479
405.56/350.00	o 480
409.26/353.72	o 481
410.57/354.38	o 482
416.67/360.23	o 483
419.88/363.47	o 484
420.69/364.28	o 485
421.80/365.17	o 486
422.60/365.91	o 487
424.20/367.56	o 488
425.10/368.48	o 489
430.75/373.81	o 490
431.25/374.30	o 491
431.75/374.80	o 492
433.05/376.17	o 493
438.87/381.70	o 494
442.17/384.68	o 495
443.07/385.59	o 496
444.28/386.74	o 497
445.57/388.06	o 498
447.78/390.22	o 499
449.89/392.01	o 500
451.29/393.43	o 501
452.99/395.16	o 502
456.31/398.17	o 503
459.23/401.06	o 504
461.53/403.31	o 505
462.86/404.39	o 506
464.37/405.81	o 507
465.68/407.19	o 508
466.47/407.94	o 509
467.27/408.73	o 510
469.66/410.80	o 511
470.37/411.58	o 512
475.22/416.02	o 513
476.42/417.23	o 514
479.25/420.01	o 515
482.21/422.63	o 516
482.71/423.10	o 517
485.91/426.37	o 518
488.97/428.90	o 519
490.17/430.07	o 520
490.77/430.61	o 521
491.48/431.38	o 522
492.38/432.30	o 523
493.80/433.27	o 524
495.22/434.68	o 525
495.70/435.18	o 526
496.21/435.65	o 527
496.80/436.22	o 528
498.00/437.46	o 529
498.90/438.40	o 530
499.40/438.90	o 531
501.71/440.42	o 532
502.61/441.30	o 533
503.41/442.17	o 534
508.46/446.88	o 535
508.96/447.38	o 536
510.96/449.32	o 537
515.78/453.46	o 538
517.18/454.87	o 539
517.79/455.42	o 540
518.39/456.07	o 541
520.39/458.02	o 542
533.89/469.94	o 543
536.49/472.52	o 544
537.00/473.03	o 545
538.69/474.72	o 546
541.68/477.07	o 547
542.28/477.65	o 548
544.18/479.54	o 549
546.68/482.01	o 550
547.18/482.59	o 551
547.78/483.18	o 552
549.08/484.43	o 553
551.57/486.61	o 554
552.17/487.23	o 555
552.67/487.79	o 556
553.27/488.33	o 557
554.38/489.48	o 558
554.98/490.04	o 559
578.89/512.16	o 560
580.19/513.47	o 561
582.19/515.44	o 562
583.29/516.53	o 563
600.75/531.72	o 564
602.45/533.45	o 565
603.85/534.82	o 566
605.25/536.21	o 567
608.25/539.25	o 568
609.26/540.28	o 569
609.85/540.88	o 570
611.49/542.34	o 571
611.99/542.86	o 572
612.79/543.69	o 573
615.59/546.49	o 574
618.69/549.55	o 575
625.25/555.79	o 576
632.63/562.79	o 577
634.53/564.61	o 578
635.73/565.81	o 579
636.83/566.91	o 580
638.64/568.74	o 581
639.23/569.30	o 582
640.53/570.61	o 583
642.40/572.17	o 584
644.39/574.16	o 585
645.52/575.21	o 586
646.32/576.09	o 587
647.93/577.63	o 588
649.82/579.50	o 589
653.36/583.10	o 590
654.38/583.81	o 591
660.88/590.35	o 592
663.68/593.18	o 593
664.70/593.88	o 594
688.36/616.85	o 595
688.96/617.48	o 596
691.43/619.74	o 597
695.44/623.80	o 598
698.33/626.68	o 599
700.17/628.36	o 600
703.38/631.54	o 601
706.37/634.50	o 602
708.88/637.05	o 603
713.56/641.59	o 604
714.97/642.96	o 605
716.47/644.45	o 606
724.31/652.07	o 607
727.01/654.76	o 608
728.41/656.10	o 609
729.11/656.89	o 610
730.11/657.82	o 611
755.12/681.97	o 612
757.12/683.92	o 613
758.42/685.28	o 614
760.12/686.98	o 615
824.71/749.78	o 616
830.11/755.06	o 617
832.02/756.98	o 618
866.27/790.41	o 619
871.08/795.29	o 620
872.08/796.20	o 621
879.22/803.28	o 622
882.12/806.14	o 623
885.42/809.43	o 624
886.02/810.09	o 625
888.93/812.98	o 626
890.98/814.85	o 627
891.98/815.84	o 628
892.98/816.84	o 629
893.59/817.41	o 630
895.48/819.36	o 631
898.08/821.90	o 632
901.48/825.30	o 633
908.85/832.55	o 634
918.61/842.18	o 635
920.91/844.41	o 636
923.52/847.01	o 637
924.51/848.07	o 638
925.72/849.24	o 639
926.89/850.28	o 640
927.59/850.99	o 641
928.69/852.01	o 642
929.89/853.26	o 643
933.99/857.33	o 644
947.74/870.68	o 645
948.74/871.65	o 646
950.04/872.92	o 647
952.85/875.73	o 648
958.35/881.25	o 649
958.94/881.83	o 650
960.01/882.74	o 651
960.62/883.31	o 652
961.21/883.90	o 653
977.97/900.32	o 654
981.17/903.59	o 655
982.27/904.64	o 656
982.98/905.31	o 657
984.69/907.05	o 658
987.29/909.62	o 659
989.49/911.80	o 660
992.27/914.45	o 661
1239.58/1157.59	o 662
1259.25/1176.98	o 663
1260.47/1178.00	o 664
1267.07/1184.70	o 665
1269.77/1187.35	o 666
1350.67/1266.79	o 667
1351.77/1267.89	o 668
1406.44/1321.45	o 669
1407.74/1322.78	o 670
1408.44/1323.47	o 671
1488.08/1401.49	o 672
1488.87/1402.20	o 673
1489.37/1402.76	o 674
1495.89/1409.24	o 675
1496.58/1409.93	o 676
1502.75/1415.96	o 677
1503.75/1416.97	o 678
1535.36/1447.90	o 679
1535.96/1448.51	o 680
1545.10/1457.58	o 681
1547.41/1459.83	o 682
1549.82/1462.03	o 683
1550.51/1462.70	o 684
1573.96/1485.86	o 685
1576.37/1488.27	o 686
1578.59/1490.32	o 687
1581.71/1493.42	o 688
1591.69/1503.27	o 689
1592.89/1504.42	o 690
1593.79/1505.34	o 691
1597.09/1508.67	o 692
1680.70/1590.15	o 693
1684.80/1594.23	o 694
1686.10/1595.56	o 695
1702.61/1611.74	o 696
1706.81/1615.96	o 697
1717.86/1626.73	o 698
1721.16/1630.03	o 699
1728.36/1637.25	o 700
1730.30/1639.07	o 701
1731.79/1640.59	o 702
1733.99/1642.79	o 703
1736.29/1645.00	o 704
1742.36/1650.94	o 705
1743.16/1651.76	o 706
1763.37/1671.62	o 707
1764.98/1673.30	o 708
1765.77/1674.03	o 709
1766.57/1674.86	o 710
1768.07/1676.38	o 711
1769.07/1677.31	o 712
1769.67/1677.92	o 713
1772.87/1680.95	o 714
1773.79/1681.85	o 715
1775.29/1683.38	o 716
1776.99/1685.03	o 717
1781.79/1689.86	o 718
1785.76/1693.61	o 719
1825.98/1732.97	o 720
1826.58/1733.57	o 721
1827.58/1734.52	o 722
1828.08/1735.07	o 723
1829.58/1736.55	o 724
1837.17/1743.98	o 725
1842.66/1749.49	o 726
1845.17/1751.98	o 727
1846.17/1752.94	o 728
1846.78/1753.59	o 729
1849.50/1756.13	o 730
1852.60/1759.26	o 731
1853.50/1760.13	o 732
1854.50/1761.20	o 733
1864.41/1770.82	o 734
1866.00/1772.44	o 735
1874.27/1780.50	o 736
1876.47/1782.75	o 737
1895.01/1800.95	o 738
1903.73/1809.47	o 739
1904.45/1810.14	o 740
1919.09/1824.43	o 741
1964.99/1869.38	o 742
1965.59/1869.95	o 743
1966.59/1870.96	o 744
2119.89/2021.23	o 745
2131.66/2032.74	o 746
2132.36/2033.44	o 747
2170.89/2071.29	o 748
2171.69/2072.01	o 749
2217.43/2116.86	o 750
2218.15/2117.56	o 751
2222.94/2122.31	o 752
2226.39/2125.69	o 753
2231.39/2130.68	o 754
2232.89/2132.19	o 755
2234.69/2133.93	o 756
2235.39/2134.63	o 757
2237.18/2136.43	o 758
2241.29/2140.40	o 759
2241.89/2141.03	o 760
2242.49/2141.64	o 761
2243.49/2142.62	o 762
2248.69/2147.87	o 763
2253.53/2152.58	o 764
2258.03/2157.06	o 765
2259.03/2158.08	o 766
2263.69/2162.54	o 767
2400.06/2296.20	java.util.concurrent.TimeoutException
2400.06/2296.21		at concrete.MAC.mac(MAC.scala:74)
2400.06/2296.21		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.06/2296.21		at scala.util.Try$.apply(Try.scala:209)
2400.06/2296.21		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.06/2296.21		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.06/2296.21		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.06/2296.21		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.06/2296.21		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.06/2296.21		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.06/2296.21		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.06/2296.21		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.06/2296.21		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.06/2296.21		at concrete.MAC.oneRun(MAC.scala:146)
2400.06/2296.21		at concrete.MAC.nextSolution(MAC.scala:166)
2400.06/2296.21		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.06/2296.21		at concrete.ProblemState.map(ProblemState.scala:203)
2400.06/2296.21		at concrete.ProblemState.map(ProblemState.scala:188)
2400.06/2296.21		at concrete.MAC.nextSolution(MAC.scala:195)
2400.06/2296.21		at concrete.Solver.hasNext(Solver.scala:202)
2400.06/2296.21		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.06/2296.21		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.06/2296.21		at concrete.Solver.toStream(Solver.scala:73)
2400.06/2296.21		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.06/2296.21		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.06/2296.21		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.06/2296.21		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.06/2296.21		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.06/2296.21		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.06/2296.21		at scala.util.Success.map(Try.scala:209)
2400.06/2296.21		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.06/2296.21		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.06/2296.21		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.06/2296.21		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.06/2296.21		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.06/2296.21		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.06/2296.21		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.06/2296.21		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.06/2296.21		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.06/2296.21		at scala.collection.immutable.List.foreach(List.scala:389)
2400.06/2296.21		at scala.App.main(App.scala:76)
2400.06/2296.21		at scala.App.main$(App.scala:74)
2400.06/2296.21		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.06/2296.21		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.06/2296.21	v <instantiation cost="767">
2400.06/2296.21	v       <list>
2400.06/2296.21	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
2400.06/2296.22	v       </list>
2400.06/2296.22	v       <values>
2400.06/2296.22	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 0 1 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 2 2 1 1 2 2 2 2 2 0 2 2 2 2 2 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 0 2 2 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 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 2 0 0 0 2 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 282 359 408 420 430 438 447 457 467 474 478 486 492 495 508 523 539 547 558 569 579 593 606 613 621 628 635 643 652 661 672 679 685 696 708 724 732 742 760 768 781 802 767
2400.06/2296.22	v       </values>
2400.06/2296.22	v     </instantiation>
2400.06/2296.22	s SATISFIABLE

Verifier Data 

OK	767

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-4244835-1500697287/watcher-4244835-1500697287 -o /tmp/evaluation-result-4244835-1500697287/solver-4244835-1500697287 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13637 --watchdog 2560 bin/concrete HOME/instance-4244835-1500697287.xml 

pid=16968
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.64 1.48 1.47 2/261 16971
/proc/meminfo: memFree=31337240/32770624 swapFree=5844/249380
[pid=16971] ppid=16968 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16971/stat : 16971 (bash) S 16968 16971 13605 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 4995555 9736192 350 33554432000 4194304 5098028 140731092747216 140731092744856 140716248005632 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 10752000 140731092751630 140731092751715 140731092751715 140731092754414 0
/proc/16971/statm: 2377 350 277 221 0 86 0

[startup+0.100126 s]
/proc/loadavg: 1.64 1.48 1.47 2/261 16971
/proc/meminfo: memFree=31337240/32770624 swapFree=5844/249380
[pid=16971] ppid=16968 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/16971/stat : 16971 (bash) S 16968 16971 13605 0 -1 4202496 884 6413 0 0 0 0 0 1 20 0 1 0 4995555 9871360 378 33554432000 4194304 5098028 140731092747216 140731092741224 140716248005632 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 10752000 140731092751630 140731092751715 140731092751715 140731092754414 0
/proc/16971/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200349 s]
/proc/loadavg: 1.64 1.48 1.47 2/261 16971
/proc/meminfo: memFree=31337240/32770624 swapFree=5844/249380
[pid=16971] ppid=16968 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/16971/stat : 16971 (java) S 16968 16971 13605 0 -1 1077944320 4890 12419 0 0 6 1 8 3 20 0 13 0 4995555 10686320640 5243 33554432000 4194304 4196468 140728539247200 140728539229744 139783317237495 0 0 0 16800971 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
/proc/16971/statm: 2608965 5243 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300284 s]
/proc/loadavg: 1.64 1.48 1.47 2/261 16971
/proc/meminfo: memFree=31337240/32770624 swapFree=5844/249380
[pid=16971] ppid=16968 vsize=10902292 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/16971/stat : 16971 (java) S 16968 16971 13605 0 -1 1077944320 8775 12419 0 0 22 2 8 3 20 0 20 0 4995555 11163947008 9823 33554432000 4194304 4196468 140728539247200 140728539229744 139783317237495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
/proc/16971/statm: 2725573 9823 2973 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902292

[startup+0.700236 s]
/proc/loadavg: 1.64 1.48 1.47 2/261 16971
/proc/meminfo: memFree=31337240/32770624 swapFree=5844/249380
[pid=16971] ppid=16968 vsize=10902720 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/16971/stat : 16971 (java) S 16968 16971 13605 0 -1 1077944320 12865 12419 0 0 81 4 8 3 20 0 20 0 4995555 11164385280 16153 33554432000 4194304 4196468 140728539247200 140728539229744 139783317237495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
/proc/16971/statm: 2725680 16153 3221 1 0 2713890 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10902720

[startup+1.50069 s]
/proc/loadavg: 1.64 1.48 1.47 3/281 17044
/proc/meminfo: memFree=31232216/32770624 swapFree=5844/249440
[pid=16971] ppid=16968 vsize=10913344 CPUtime=2.3 cores=1,3,5,7,9,11,13,15
/proc/16971/stat : 16971 (java) S 16968 16971 13605 0 -1 1077944320 27193 12419 0 0 205 14 8 3 20 0 20 0 4995555 11175264256 44067 33554432000 4194304 4196468 140728539247200 140728539229744 139783317237495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
/proc/16971/statm: 2728336 44067 3409 1 0 2716450 0
[pid=16971/tid=17026] ppid=16968 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17026/stat : 17026 (java) R 16968 16971 13605 0 -1 4202560 19437 12419 0 0 126 5 8 3 20 0 20 0 4995567 11175264256 44067 33554432000 4194304 4196468 140728539247200 139783321464336 139783317249430 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17027] ppid=16968 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17027/stat : 17027 (java) S 16968 16971 13605 0 -1 1077944384 18 12419 0 0 0 0 8 3 20 0 20 0 4995568 11175264256 44067 33554432000 4194304 4196468 140728539247200 139783269858064 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17028] ppid=16968 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17028/stat : 17028 (java) S 16968 16971 13605 0 -1 1077944384 20 12419 0 0 1 0 8 3 20 0 20 0 4995568 11175264256 44067 33554432000 4194304 4196468 140728539247200 139783268805520 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17029] ppid=16968 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17029/stat : 17029 (java) S 16968 16971 13605 0 -1 1077944384 17 12419 0 0 1 0 8 3 20 0 20 0 4995568 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782922099728 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17030] ppid=16968 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17030/stat : 17030 (java) S 16968 16971 13605 0 -1 1077944384 17 12419 0 0 0 0 8 3 20 0 20 0 4995568 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782921047184 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17031] ppid=16968 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17031/stat : 17031 (java) S 16968 16971 13605 0 -1 1077944384 60 12419 0 0 1 0 8 3 20 0 20 0 4995568 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782919993616 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17032] ppid=16968 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17032/stat : 17032 (java) S 16968 16971 13605 0 -1 1077944384 38 12419 0 0 1 0 8 3 20 0 20 0 4995568 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782918941072 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17033] ppid=16968 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17033/stat : 17033 (java) S 16968 16971 13605 0 -1 1077944384 134 12419 0 0 1 0 8 3 20 0 20 0 4995568 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782917888528 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17034] ppid=16968 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17034/stat : 17034 (java) S 16968 16971 13605 0 -1 1077944384 21 12419 0 0 1 0 8 3 20 0 20 0 4995568 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782916835984 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17035] ppid=16968 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17035/stat : 17035 (java) S 16968 16971 13605 0 -1 1077944384 1553 12419 0 0 1 0 8 3 20 0 20 0 4995570 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782791334384 139783317248642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17036] ppid=16968 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17036/stat : 17036 (java) S 16968 16971 13605 0 -1 1077944384 54 12419 0 0 0 0 8 3 20 0 20 0 4995571 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782790280608 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17037] ppid=16968 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17037/stat : 17037 (java) S 16968 16971 13605 0 -1 1077944384 44 12419 0 0 0 0 8 3 20 0 20 0 4995571 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782789228032 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17038] ppid=16968 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17038/stat : 17038 (java) S 16968 16971 13605 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 4995575 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782788176592 139783317256091 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17039] ppid=16968 vsize=10913344 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17039/stat : 17039 (java) S 16968 16971 13605 0 -1 1077944384 1240 12419 0 0 17 0 8 3 20 0 20 0 4995575 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782787123184 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17040] ppid=16968 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17040/stat : 17040 (java) S 16968 16971 13605 0 -1 1077944384 384 12419 0 0 10 0 8 3 20 0 20 0 4995575 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782786070640 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17041] ppid=16968 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17041/stat : 17041 (java) S 16968 16971 13605 0 -1 1077944384 704 12419 0 0 13 0 8 3 20 0 20 0 4995575 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782785018096 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17042] ppid=16968 vsize=10913344 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17042/stat : 17042 (java) R 16968 16971 13605 0 -1 4202560 1314 12419 0 0 25 0 8 3 20 0 20 0 4995575 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782783965552 139783309474622 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17043] ppid=16968 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17043/stat : 17043 (java) S 16968 16971 13605 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 4995575 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782782913248 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17044] ppid=16968 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17044/stat : 17044 (java) S 16968 16971 13605 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 4995576 11175264256 44067 33554432000 4194304 4196468 140728539247200 139782781860784 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10913344

[startup+3.10108 s]
/proc/loadavg: 1.64 1.48 1.47 6/281 17044
/proc/meminfo: memFree=31159060/32770624 swapFree=5844/249440
[pid=16971] ppid=16968 vsize=10925820 CPUtime=6.58 cores=1,3,5,7,9,11,13,15
/proc/16971/stat : 16971 (java) S 16968 16971 13605 0 -1 1077944320 48161 12419 0 0 628 19 8 3 20 0 20 0 4995555 11188039680 59890 33554432000 4194304 4196468 140728539247200 140728539229744 139783317237495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
/proc/16971/statm: 2731455 59890 3477 1 0 2719010 0
[pid=16971/tid=17026] ppid=16968 vsize=10925820 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17026/stat : 17026 (java) R 16968 16971 13605 0 -1 4202560 31163 12419 0 0 283 8 8 3 20 0 20 0 4995567 11188039680 59890 33554432000 4194304 4196468 140728539247200 139783321435304 139783301281125 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17027] ppid=16968 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17027/stat : 17027 (java) S 16968 16971 13605 0 -1 1077944384 18 12419 0 0 0 0 8 3 20 0 20 0 4995568 11188039680 59890 33554432000 4194304 4196468 140728539247200 139783269858064 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17028] ppid=16968 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17028/stat : 17028 (java) S 16968 16971 13605 0 -1 1077944384 20 12419 0 0 1 0 8 3 20 0 20 0 4995568 11188039680 59890 33554432000 4194304 4196468 140728539247200 139783268805520 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17029] ppid=16968 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17029/stat : 17029 (java) S 16968 16971 13605 0 -1 1077944384 17 12419 0 0 1 0 8 3 20 0 20 0 4995568 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782922099728 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17030] ppid=16968 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17030/stat : 17030 (java) S 16968 16971 13605 0 -1 1077944384 17 12419 0 0 0 0 8 3 20 0 20 0 4995568 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782921047184 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17031] ppid=16968 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17031/stat : 17031 (java) S 16968 16971 13605 0 -1 1077944384 60 12419 0 0 1 0 8 3 20 0 20 0 4995568 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782919993616 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17032] ppid=16968 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17032/stat : 17032 (java) S 16968 16971 13605 0 -1 1077944384 38 12419 0 0 1 0 8 3 20 0 20 0 4995568 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782918941072 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17033] ppid=16968 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17033/stat : 17033 (java) S 16968 16971 13605 0 -1 1077944384 134 12419 0 0 1 0 8 3 20 0 20 0 4995568 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782917888528 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17034] ppid=16968 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17034/stat : 17034 (java) S 16968 16971 13605 0 -1 1077944384 21 12419 0 0 1 0 8 3 20 0 20 0 4995568 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782916835984 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17035] ppid=16968 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17035/stat : 17035 (java) S 16968 16971 13605 0 -1 1077944384 1978 12419 0 0 1 0 8 3 20 0 20 0 4995570 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782791334384 139783317248642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17036] ppid=16968 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17036/stat : 17036 (java) S 16968 16971 13605 0 -1 1077944384 54 12419 0 0 0 0 8 3 20 0 20 0 4995571 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782790280608 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17037] ppid=16968 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17037/stat : 17037 (java) S 16968 16971 13605 0 -1 1077944384 44 12419 0 0 0 0 8 3 20 0 20 0 4995571 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782789228032 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17038] ppid=16968 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17038/stat : 17038 (java) S 16968 16971 13605 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 4995575 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782788176592 139783317256091 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17039] ppid=16968 vsize=10925820 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17039/stat : 17039 (java) S 16968 16971 13605 0 -1 1077944384 2070 12419 0 0 78 0 8 3 20 0 20 0 4995575 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782787123184 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17040] ppid=16968 vsize=10925820 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17040/stat : 17040 (java) S 16968 16971 13605 0 -1 1077944384 1358 12419 0 0 70 1 8 3 20 0 20 0 4995575 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782786070640 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17041] ppid=16968 vsize=10925820 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17041/stat : 17041 (java) S 16968 16971 13605 0 -1 1077944384 4452 12419 0 0 85 0 8 3 20 0 20 0 4995575 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782785018096 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17042] ppid=16968 vsize=10925820 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17042/stat : 17042 (java) S 16968 16971 13605 0 -1 1077944384 4576 12419 0 0 99 1 8 3 20 0 20 0 4995575 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782783965552 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17043] ppid=16968 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17043/stat : 17043 (java) S 16968 16971 13605 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 4995575 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782782913248 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17044] ppid=16968 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17044/stat : 17044 (java) S 16968 16971 13605 0 -1 1077944384 5 12419 0 0 0 0 8 3 20 0 20 0 4995576 11188039680 59890 33554432000 4194304 4196468 140728539247200 139782781860784 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 10925820

[startup+6.30083 s]
/proc/loadavg: 1.83 1.52 1.48 6/281 17044
/proc/meminfo: memFree=30992928/32770624 swapFree=5844/249448
[pid=16971] ppid=16968 vsize=10927868 CPUtime=18.55 cores=1,3,5,7,9,11,13,15
/proc/16971/stat : 16971 (java) S 16968 16971 13605 0 -1 1077944320 60812 12419 0 0 1810 34 8 3 20 0 20 0 4995555 11190136832 111226 33554432000 4194304 4196468 140728539247200 140728539229744 139783317237495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
/proc/16971/statm: 2731967 111226 3497 1 0 2719522 0
[pid=16971/tid=17026] ppid=16968 vsize=10927868 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17026/stat : 17026 (java) R 16968 16971 13605 0 -1 4202560 32544 12419 0 0 583 12 8 3 20 0 20 0 4995567 11190136832 111226 33554432000 4194304 4196468 140728539247200 139783321468552 139782965205980 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17027] ppid=16968 vsize=10927868 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17027/stat : 17027 (java) S 16968 16971 13605 0 -1 1077944384 29 12419 0 0 5 1 8 3 20 0 20 0 4995568 11190136832 111226 33554432000 4194304 4196468 140728539247200 139783269858064 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17028] ppid=16968 vsize=10927868 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17028/stat : 17028 (java) S 16968 16971 13605 0 -1 1077944384 96 12419 0 0 8 1 8 3 20 0 20 0 4995568 11190136832 111226 33554432000 4194304 4196468 140728539247200 139783268805520 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17029] ppid=16968 vsize=10927868 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17029/stat : 17029 (java) S 16968 16971 13605 0 -1 1077944384 43 12419 0 0 10 1 8 3 20 0 20 0 4995568 11190136832 111226 33554432000 4194304 4196468 140728539247200 139782922099728 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17030] ppid=16968 vsize=10927868 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17030/stat : 17030 (java) S 16968 16971 13605 0 -1 1077944384 29 12419 0 0 6 1 8 3 20 0 20 0 4995568 11190136832 111226 33554432000 4194304 4196468 140728539247200 139782921047184 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17031] ppid=16968 vsize=10927868 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17031/stat : 17031 (java) S 16968 16971 13605 0 -1 1077944384 90 12419 0 0 10 1 8 3 20 0 20 0 4995568 11190136832 111226 33554432000 4194304 4196468 140728539247200 139782919993616 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17032] ppid=16968 vsize=10927868 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17032/stat : 17032 (java) S 16968 16971 13605 0 -1 1077944384 56 12419 0 0 9 1 8 3 20 0 20 0 4995568 11190136832 111226 33554432000 4194304 4196468 140728539247200 139782918941072 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17033] ppid=16968 vsize=10927868 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17033/stat : 17033 (java) S 16968 16971 13605 0 -1 1077944384 174 12419 0 0 10 1 8 3 20 0 20 0 4995568 11190136832 111226 33554432000 4194304 4196468 140728539247200 139782917888528 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17034] ppid=16968 vsize=10927868 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17034/stat : 17034 (java) S 16968 16971 13605 0 -1 1077944384 54 12419 0 0 10 1 8 3 20 0 20 0 4995568 11190136832 111226 33554432000 4194304 4196468 140728539247200 139782916835984 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17035] ppid=16968 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17035/stat : 17035 (java) S 16968 16971 13605 0 -1 1077944384 2690 12419 0 0 4 0 8 3 20 0 20 0 4995570 11190136832 111226 33554432000 4194304 4196468 140728539247200 139782791334384 139783317248642 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17036] ppid=16968 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17036/stat : 17036 (java) S 16968 16971 13605 0 -1 1077944384 55 12419 0 0 0 0 8 3 20 0 20 0 4995571 11190136832 111226 33554432000 4194304 4196468 140728539247200 139782790280672 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17037] ppid=16968 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17037/stat : 17037 (java) S 16968 16971 13605 0 -1 1077944384 44 12419 0 0 0 0 8 3 20 0 20 0 4995571 11190136832 111226 33554432000 4194304 4196468 140728539247200 139782789228032 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17038] ppid=16968 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17038/stat : 17038 (java) S 16968 16971 13605 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 4995575 11190136832 111226 33554432000 4194304 4196468 140728539247200 139782788176592 139783317256091 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17039] ppid=16968 vsize=10927868 CPUtime=3.52 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17039/stat : 17039 (java) R 16968 16971 13605 0 -1 4202560 6136 12419 0 0 340 1 8 3 20 0 20 0 4995575 11190136832 111226 33554432000 4194304 4196468 140728539247200 139782787110016 139783300737689 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17040] ppid=16968 vsize=10927868 CPUtime=3.23 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17040/stat : 17040 (java) R 16968 16971 13605 0 -1 4202560 2969 12419 0 0 310 2 8 3 20 0 20 0 4995575 11190136832 111226 33554432000 4194304 4196468 140728539247200 139782786070936 139783302362450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17041] ppid=16968 vsize=10927868 CPUtime=3.35 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17041/stat : 17041 (java) S 16968 16971 13605 0 -1 1077944384 7080 12419 0 0 323 1 8 3 20 0 20 0 4995575 11190136832 111226 33554432000 4194304 4196468 140728539247200 139782785018096 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17042] ppid=16968 vsize=10927868 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17042/stat : 17042 (java) S 16968 16971 13605 0 -1 1077944384 6578 12419 0 0 175 2 8 3 20 0 20 0 4995575 11190136832 111226 33554432000 4194304 4196468 140728539247200 139782783965552 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17043] ppid=16968 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15

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

[pid=16971/tid=17040] ppid=16968 vsize=10999548 CPUtime=10.78 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17040/stat : 17040 (java) S 16968 16971 13605 0 -1 1077944384 33297 12419 0 0 1060 7 8 3 20 0 20 0 4995575 11263537152 827839 33554432000 4194304 4196468 140728539247200 139782786070640 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17041] ppid=16968 vsize=10999548 CPUtime=11.06 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17041/stat : 17041 (java) S 16968 16971 13605 0 -1 1077944384 36932 12419 0 0 1088 7 8 3 20 0 20 0 4995575 11263537152 827839 33554432000 4194304 4196468 140728539247200 139782785018096 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17042] ppid=16968 vsize=10999548 CPUtime=4.96 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17042/stat : 17042 (java) S 16968 16971 13605 0 -1 1077944384 67682 12419 0 0 474 11 8 3 20 0 20 0 4995575 11263537152 827839 33554432000 4194304 4196468 140728539247200 139782783965552 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17043] ppid=16968 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17043/stat : 17043 (java) S 16968 16971 13605 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 4995575 11263537152 827839 33554432000 4194304 4196468 140728539247200 139782782913248 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17044] ppid=16968 vsize=10999548 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17044/stat : 17044 (java) S 16968 16971 13605 0 -1 1077944384 2602 12419 0 0 52 50 8 3 20 0 20 0 4995576 11263537152 827839 33554432000 4194304 4196468 140728539247200 139782781860784 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
Current children cumulated CPU time (s) 2243.19
Current children cumulated vsize (KiB) 10999548

[startup+2202.31 s]
/proc/loadavg: 1.58 1.79 1.81 3/281 17246
/proc/meminfo: memFree=25169940/32770624 swapFree=5844/252580
[pid=16971] ppid=16968 vsize=10999548 CPUtime=2304.28 cores=1,3,5,7,9,11,13,15
/proc/16971/stat : 16971 (java) S 16968 16971 13605 0 -1 1077944320 497362 12419 0 0 229095 1322 8 3 20 0 20 0 4995555 11263537152 828038 33554432000 4194304 4196468 140728539247200 140728539229744 139783317237495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
/proc/16971/statm: 2749887 828038 3538 1 0 2737442 0
[pid=16971/tid=17026] ppid=16968 vsize=10999548 CPUtime=2191.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17026/stat : 17026 (java) R 16968 16971 13605 0 -1 4202560 194417 12419 0 0 219044 57 8 3 20 0 20 0 4995567 11263537152 828038 33554432000 4194304 4196468 140728539247200 139783321470832 139782970901760 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17027] ppid=16968 vsize=10999548 CPUtime=9.24 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17027/stat : 17027 (java) S 16968 16971 13605 0 -1 1077944384 9310 12419 0 0 765 148 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139783269858064 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17028] ppid=16968 vsize=10999548 CPUtime=9.31 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17028/stat : 17028 (java) S 16968 16971 13605 0 -1 1077944384 7637 12419 0 0 774 146 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139783268805520 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17029] ppid=16968 vsize=10999548 CPUtime=9.35 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17029/stat : 17029 (java) S 16968 16971 13605 0 -1 1077944384 11136 12419 0 0 779 145 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782922099728 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17030] ppid=16968 vsize=10999548 CPUtime=9.38 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17030/stat : 17030 (java) S 16968 16971 13605 0 -1 1077944384 9372 12419 0 0 783 144 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782921047184 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17031] ppid=16968 vsize=10999548 CPUtime=9.41 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17031/stat : 17031 (java) S 16968 16971 13605 0 -1 1077944384 12651 12419 0 0 781 149 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782919993616 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17032] ppid=16968 vsize=10999548 CPUtime=9.33 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17032/stat : 17032 (java) S 16968 16971 13605 0 -1 1077944384 9004 12419 0 0 775 147 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782918941072 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17033] ppid=16968 vsize=10999548 CPUtime=9.43 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17033/stat : 17033 (java) S 16968 16971 13605 0 -1 1077944384 14975 12419 0 0 782 150 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782917888528 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17034] ppid=16968 vsize=10999548 CPUtime=9.51 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17034/stat : 17034 (java) S 16968 16971 13605 0 -1 1077944384 15218 12419 0 0 794 146 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782916835984 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17035] ppid=16968 vsize=10999548 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17035/stat : 17035 (java) S 16968 16971 13605 0 -1 1077944384 35243 12419 0 0 54 8 8 3 20 0 20 0 4995570 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782791334384 139783317248642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17036] ppid=16968 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17036/stat : 17036 (java) S 16968 16971 13605 0 -1 1077944384 178 12419 0 0 1 0 8 3 20 0 20 0 4995571 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782790280736 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17037] ppid=16968 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17037/stat : 17037 (java) S 16968 16971 13605 0 -1 1077944384 62 12419 0 0 0 0 8 3 20 0 20 0 4995571 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782789228032 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17038] ppid=16968 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17038/stat : 17038 (java) S 16968 16971 13605 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 4995575 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782788176592 139783317256091 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17039] ppid=16968 vsize=10999548 CPUtime=10.85 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17039/stat : 17039 (java) S 16968 16971 13605 0 -1 1077944384 35483 12419 0 0 1067 7 8 3 20 0 20 0 4995575 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782787123184 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17040] ppid=16968 vsize=10999548 CPUtime=10.78 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17040/stat : 17040 (java) S 16968 16971 13605 0 -1 1077944384 33299 12419 0 0 1060 7 8 3 20 0 20 0 4995575 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782786070640 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17041] ppid=16968 vsize=10999548 CPUtime=11.06 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17041/stat : 17041 (java) S 16968 16971 13605 0 -1 1077944384 36934 12419 0 0 1088 7 8 3 20 0 20 0 4995575 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782785018096 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17042] ppid=16968 vsize=10999548 CPUtime=4.96 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17042/stat : 17042 (java) S 16968 16971 13605 0 -1 1077944384 67684 12419 0 0 474 11 8 3 20 0 20 0 4995575 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782783965552 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17043] ppid=16968 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17043/stat : 17043 (java) S 16968 16971 13605 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 4995575 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782782913248 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17044] ppid=16968 vsize=10999548 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17044/stat : 17044 (java) S 16968 16971 13605 0 -1 1077944384 2622 12419 0 0 54 52 8 3 20 0 20 0 4995576 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782781860784 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
Current children cumulated CPU time (s) 2304.28
Current children cumulated vsize (KiB) 10999548

[startup+2262.3 s]
/proc/loadavg: 1.70 1.77 1.80 3/281 17247
/proc/meminfo: memFree=25172500/32770624 swapFree=5844/252648
[pid=16971] ppid=16968 vsize=10999548 CPUtime=2365.62 cores=1,3,5,7,9,11,13,15
/proc/16971/stat : 16971 (java) S 16968 16971 13605 0 -1 1077944320 500664 12419 0 0 235226 1325 8 3 20 0 20 0 4995555 11263537152 828038 33554432000 4194304 4196468 140728539247200 140728539229744 139783317237495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
/proc/16971/statm: 2749887 828038 3538 1 0 2737442 0
[pid=16971/tid=17026] ppid=16968 vsize=10999548 CPUtime=2250.87 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17026/stat : 17026 (java) R 16968 16971 13605 0 -1 4202560 196519 12419 0 0 225019 57 8 3 20 0 20 0 4995567 11263537152 828038 33554432000 4194304 4196468 140728539247200 139783321471392 139782948988050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17027] ppid=16968 vsize=10999548 CPUtime=9.45 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17027/stat : 17027 (java) S 16968 16971 13605 0 -1 1077944384 9378 12419 0 0 786 148 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139783269858064 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17028] ppid=16968 vsize=10999548 CPUtime=9.49 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17028/stat : 17028 (java) S 16968 16971 13605 0 -1 1077944384 7959 12419 0 0 792 146 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139783268805520 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17029] ppid=16968 vsize=10999548 CPUtime=9.55 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17029/stat : 17029 (java) S 16968 16971 13605 0 -1 1077944384 11199 12419 0 0 799 145 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782922099728 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17030] ppid=16968 vsize=10999548 CPUtime=9.58 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17030/stat : 17030 (java) S 16968 16971 13605 0 -1 1077944384 9421 12419 0 0 803 144 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782921047184 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17031] ppid=16968 vsize=10999548 CPUtime=9.61 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17031/stat : 17031 (java) S 16968 16971 13605 0 -1 1077944384 12970 12419 0 0 801 149 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782919993616 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17032] ppid=16968 vsize=10999548 CPUtime=9.54 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17032/stat : 17032 (java) S 16968 16971 13605 0 -1 1077944384 9065 12419 0 0 796 147 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782918941072 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17033] ppid=16968 vsize=10999548 CPUtime=9.62 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17033/stat : 17033 (java) S 16968 16971 13605 0 -1 1077944384 15034 12419 0 0 801 150 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782917888528 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17034] ppid=16968 vsize=10999548 CPUtime=9.68 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17034/stat : 17034 (java) S 16968 16971 13605 0 -1 1077944384 15252 12419 0 0 811 146 8 3 20 0 20 0 4995568 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782916835984 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17035] ppid=16968 vsize=10999548 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17035/stat : 17035 (java) S 16968 16971 13605 0 -1 1077944384 35439 12419 0 0 55 8 8 3 20 0 20 0 4995570 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782791334384 139783317248642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17036] ppid=16968 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17036/stat : 17036 (java) S 16968 16971 13605 0 -1 1077944384 178 12419 0 0 1 0 8 3 20 0 20 0 4995571 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782790280736 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17037] ppid=16968 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17037/stat : 17037 (java) S 16968 16971 13605 0 -1 1077944384 62 12419 0 0 0 0 8 3 20 0 20 0 4995571 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782789228032 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17038] ppid=16968 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17038/stat : 17038 (java) S 16968 16971 13605 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 4995575 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782788176592 139783317256091 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17039] ppid=16968 vsize=10999548 CPUtime=10.85 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17039/stat : 17039 (java) S 16968 16971 13605 0 -1 1077944384 35486 12419 0 0 1067 7 8 3 20 0 20 0 4995575 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782787123184 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17040] ppid=16968 vsize=10999548 CPUtime=10.78 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17040/stat : 17040 (java) S 16968 16971 13605 0 -1 1077944384 33301 12419 0 0 1060 7 8 3 20 0 20 0 4995575 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782786070640 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17041] ppid=16968 vsize=10999548 CPUtime=11.06 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17041/stat : 17041 (java) S 16968 16971 13605 0 -1 1077944384 36936 12419 0 0 1088 7 8 3 20 0 20 0 4995575 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782785018096 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17042] ppid=16968 vsize=10999548 CPUtime=4.96 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17042/stat : 17042 (java) S 16968 16971 13605 0 -1 1077944384 67686 12419 0 0 474 11 8 3 20 0 20 0 4995575 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782783965552 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17043] ppid=16968 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17043/stat : 17043 (java) S 16968 16971 13605 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 4995575 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782782913248 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17044] ppid=16968 vsize=10999548 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17044/stat : 17044 (java) S 16968 16971 13605 0 -1 1077944384 2642 12419 0 0 55 54 8 3 20 0 20 0 4995576 11263537152 828038 33554432000 4194304 4196468 140728539247200 139782781860784 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
Current children cumulated CPU time (s) 2365.62
Current children cumulated vsize (KiB) 10999548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2296.2 s]
/proc/loadavg: 1.84 1.80 1.80 3/281 17248
/proc/meminfo: memFree=25172996/32770624 swapFree=5844/252704
[pid=16971] ppid=16968 vsize=10999548 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/16971/stat : 16971 (java) S 16968 16971 13605 0 -1 1077944320 503187 12419 0 0 238668 1327 8 3 20 0 20 0 4995555 11263537152 828039 33554432000 4194304 4196468 140728539247200 140728539229744 139783317237495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
/proc/16971/statm: 2749887 828039 3538 1 0 2737442 0
[pid=16971/tid=17026] ppid=16968 vsize=10999548 CPUtime=2284.68 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17026/stat : 17026 (java) R 16968 16971 13605 0 -1 4202560 197964 12419 0 0 228399 58 8 3 20 0 20 0 4995567 11263537152 828039 33554432000 4194304 4196468 140728539247200 139783321471392 139782971986918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17027] ppid=16968 vsize=10999548 CPUtime=9.53 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17027/stat : 17027 (java) S 16968 16971 13605 0 -1 1077944384 9425 12419 0 0 794 148 8 3 20 0 20 0 4995568 11263537152 828039 33554432000 4194304 4196468 140728539247200 139783269858064 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17028] ppid=16968 vsize=10999548 CPUtime=9.57 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17028/stat : 17028 (java) S 16968 16971 13605 0 -1 1077944384 7992 12419 0 0 800 146 8 3 20 0 20 0 4995568 11263537152 828039 33554432000 4194304 4196468 140728539247200 139783268805520 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17029] ppid=16968 vsize=10999548 CPUtime=9.63 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17029/stat : 17029 (java) S 16968 16971 13605 0 -1 1077944384 11232 12419 0 0 806 146 8 3 20 0 20 0 4995568 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782922099728 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17030] ppid=16968 vsize=10999548 CPUtime=9.67 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17030/stat : 17030 (java) S 16968 16971 13605 0 -1 1077944384 9725 12419 0 0 811 145 8 3 20 0 20 0 4995568 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782921047184 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17031] ppid=16968 vsize=10999548 CPUtime=9.67 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17031/stat : 17031 (java) S 16968 16971 13605 0 -1 1077944384 12991 12419 0 0 807 149 8 3 20 0 20 0 4995568 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782919993616 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17032] ppid=16968 vsize=10999548 CPUtime=9.62 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17032/stat : 17032 (java) S 16968 16971 13605 0 -1 1077944384 9138 12419 0 0 804 147 8 3 20 0 20 0 4995568 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782918941072 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17033] ppid=16968 vsize=10999548 CPUtime=9.71 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17033/stat : 17033 (java) S 16968 16971 13605 0 -1 1077944384 15351 12419 0 0 810 150 8 3 20 0 20 0 4995568 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782917888528 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17034] ppid=16968 vsize=10999548 CPUtime=9.75 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17034/stat : 17034 (java) S 16968 16971 13605 0 -1 1077944384 15273 12419 0 0 818 146 8 3 20 0 20 0 4995568 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782916835984 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17035] ppid=16968 vsize=10999548 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17035/stat : 17035 (java) S 16968 16971 13605 0 -1 1077944384 35641 12419 0 0 56 8 8 3 20 0 20 0 4995570 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782791334384 139783317248642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17036] ppid=16968 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17036/stat : 17036 (java) S 16968 16971 13605 0 -1 1077944384 178 12419 0 0 1 0 8 3 20 0 20 0 4995571 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782790280736 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17037] ppid=16968 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17037/stat : 17037 (java) S 16968 16971 13605 0 -1 1077944384 62 12419 0 0 0 0 8 3 20 0 20 0 4995571 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782789228032 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17038] ppid=16968 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17038/stat : 17038 (java) S 16968 16971 13605 0 -1 1077944384 1 12419 0 0 0 0 8 3 20 0 20 0 4995575 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782788176592 139783317256091 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17039] ppid=16968 vsize=10999548 CPUtime=10.85 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17039/stat : 17039 (java) S 16968 16971 13605 0 -1 1077944384 35489 12419 0 0 1067 7 8 3 20 0 20 0 4995575 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782787123184 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17040] ppid=16968 vsize=10999548 CPUtime=10.78 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17040/stat : 17040 (java) S 16968 16971 13605 0 -1 1077944384 33303 12419 0 0 1060 7 8 3 20 0 20 0 4995575 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782786070640 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17041] ppid=16968 vsize=10999548 CPUtime=11.06 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17041/stat : 17041 (java) S 16968 16971 13605 0 -1 1077944384 36938 12419 0 0 1088 7 8 3 20 0 20 0 4995575 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782785018096 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17042] ppid=16968 vsize=10999548 CPUtime=4.96 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17042/stat : 17042 (java) S 16968 16971 13605 0 -1 1077944384 67688 12419 0 0 474 11 8 3 20 0 20 0 4995575 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782783965552 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17043] ppid=16968 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17043/stat : 17043 (java) S 16968 16971 13605 0 -1 1077944384 3 12419 0 0 0 0 8 3 20 0 20 0 4995575 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782782913248 139783317247701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
[pid=16971/tid=17044] ppid=16968 vsize=10999548 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/16971/task/17044/stat : 17044 (java) S 16968 16971 13605 0 -1 1077944384 2660 12419 0 0 55 55 8 3 20 0 20 0 4995576 11263537152 828039 33554432000 4194304 4196468 140728539247200 139782781860784 139783317248642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23830528 140728539249345 140728539252119 140728539252119 140728539254735 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 10999548

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

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

Child status: 143
Real time (s): 2296.25
CPU time (s): 2400.13
CPU user time (s): 2386.8
CPU system time (s): 13.3304
CPU usage (%): 104.524
Max. virtual memory (cumulated for all children) (KiB): 10999548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2386.8
system time used= 13.3304
maximum resident set size= 3312868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516815
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86114
involuntary context switches= 127002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0411 second user time and 18.3665 second system time

The end

Launcher Data 

Begin job on node136 at 2017-07-22 06:21:27
IDJOB=4244835
IDBENCH=115917
IDSOLVER=2630
FILE ID=node136/4244835-1500697287
RUNJOBID= node136-1500683313-13637
PBS_JOBID= 20623338
Free space on /tmp= 61972 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-4244835-1500697287/watcher-4244835-1500697287 -o /tmp/evaluation-result-4244835-1500697287/solver-4244835-1500697287 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13637 --watchdog 2560  bin/concrete HOME/instance-4244835-1500697287.xml

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

MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d
RANDOM SEED=2309612

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31336948 kB
MemAvailable:   31535716 kB
Buffers:          110384 kB
Cached:           369668 kB
SwapCached:            0 kB
Active:           742180 kB
Inactive:         258144 kB
Active(anon):     522992 kB
Inactive(anon):     8764 kB
Active(file):     219188 kB
Inactive(file):   249380 kB
Unevictable:        5844 kB
Mlocked:            5876 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24292 kB
Writeback:             0 kB
AnonPages:        525152 kB
Mapped:            43932 kB
Shmem:              8852 kB
Slab:             124812 kB
SReclaimable:      92068 kB
SUnreclaim:        32744 kB
KernelStack:        4480 kB
PageTables:         6744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1338548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    434176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61948 MiB
End job on node136 at 2017-07-22 06:59:43