Trace number 4244737

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)885 2400.1 2278.46

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-50.xml
MD5SUMb46c08097c4951fbb159b9042bff535d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1196
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables5461
Number of constraints3008
Number of domains4
Minimum domain size2
Maximum domain size5409
Distribution of domain sizes[{"size":2,"count":2704},{"size":3,"count":2704},{"size":2501,"count":1},{"size":5409,"count":52}]
Minimum variable degree1
Maximum variable degree53
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2701},{"degree":3,"count":55},{"degree":4,"count":200},{"degree":8,"count":196},{"degree":9,"count":2304},{"degree":53,"count":1}]
Minimum constraint arity2
Maximum constraint arity54
Distribution of constraint arities[{"arity":2,"count":252},{"arity":3,"count":200},{"arity":10,"count":2500},{"arity":52,"count":4},{"arity":53,"count":1},{"arity":54,"count":51}]
Number of extensional constraints2700
Number of intensional constraints251
Distribution of constraint types[{"type":"extension","count":2700},{"type":"intension","count":251},{"type":"sum","count":53},{"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.72/2.15	c Concrete v3.4 running
25.96/10.26	% 05:53:23.871 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15081. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 1601055449, 3 edges, 4 vertices, 1 tuples
25.96/10.29	% 05:53:23.909 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15228. 'extension(false, x[1][50]: {[0?1]}, x[2][50]: {[0?1]}) :: init: true :: relation: MDD 793186359, 3 edges, 4 vertices, 1 tuples
25.96/10.30	% 05:53:23.910 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15233. 'extension(x[49][1]: {[0?1]}, x[50][1]: {[0?1]}, false) :: init: true :: relation: MDD 1601055449, 3 edges, 4 vertices, 1 tuples
26.33/10.32	% 05:53:23.937 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15380. 'extension(x[49][50]: {[0?1]}, x[50][50]: {[0?1]}, false) :: init: true :: relation: MDD 793186359, 3 edges, 4 vertices, 1 tuples
26.33/10.32	% 05:53:23.938 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15384. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 1516344760, 3 edges, 4 vertices, 1 tuples
26.33/10.34	% 05:53:23.955 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15531. 'extension(false, x[50][1]: {[0?1]}, x[50][2]: {[0?1]}) :: init: true :: relation: MDD 282691904, 3 edges, 4 vertices, 1 tuples
26.33/10.34	% 05:53:23.956 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15534. 'extension(x[1][49]: {[0?1]}, x[1][50]: {[0?1]}, false) :: init: true :: relation: MDD 1516344760, 3 edges, 4 vertices, 1 tuples
26.33/10.36	% 05:53:23.973 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15681. 'extension(x[50][49]: {[0?1]}, x[50][50]: {[0?1]}, false) :: init: true :: relation: MDD 282691904, 3 edges, 4 vertices, 1 tuples
26.33/10.36	% 05:53:23.974 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15685. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
26.33/10.37	% 05:53:23.981 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15781. 'extension(x[1][50]: {[0?1]}, x[2][50]: {[0?1]}) :: init: true :: relation: Empty MDD
26.33/10.37	% 05:53:23.982 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15785. 'extension(x[49][1]: {[0?1]}, x[50][1]: {[0?1]}) :: init: true :: relation: Empty MDD
26.33/10.38	% 05:53:23.990 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15881. 'extension(x[49][50]: {[0?1]}, x[50][50]: {[0?1]}) :: init: true :: relation: Empty MDD
26.33/10.38	% 05:53:23.991 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15885. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
26.33/10.38	% 05:53:23.998 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15983. 'extension(x[50][1]: {[0?1]}, x[50][2]: {[0?1]}) :: init: true :: relation: Empty MDD
26.33/10.38	% 05:53:23.999 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 15989. 'extension(x[1][49]: {[0?1]}, x[1][50]: {[0?1]}) :: init: true :: relation: Empty MDD
26.33/10.39	% 05:53:24.008 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 16087. 'extension(x[50][49]: {[0?1]}, x[50][50]: {[0?1]}) :: init: true :: relation: Empty MDD
182.37/137.22	o 9
183.33/137.82	o 135
184.04/138.47	o 136
184.80/139.13	o 137
186.03/139.89	o 138
186.87/140.52	o 139
187.39/141.09	o 140
188.11/141.72	o 141
188.73/142.33	o 142
189.46/143.04	o 143
190.07/143.60	o 144
190.88/144.46	o 145
191.50/145.00	o 146
193.29/146.73	o 147
194.17/147.43	o 148
194.68/147.98	o 149
196.01/149.28	o 150
196.62/149.85	o 151
197.24/150.49	o 152
197.75/150.99	o 192
198.37/151.52	o 193
198.89/152.05	o 194
199.55/152.68	o 195
200.57/153.62	o 196
202.38/155.32	o 197
203.35/156.29	o 198
204.52/157.07	o 199
205.49/157.91	o 200
206.14/158.58	o 201
206.86/159.23	o 202
207.48/159.86	o 203
208.22/160.52	o 204
208.97/161.26	o 205
209.73/161.97	o 206
210.87/163.08	o 207
211.62/163.77	o 296
212.53/164.68	o 297
213.25/165.32	o 298
213.86/165.91	o 299
214.48/166.55	o 300
215.24/167.16	o 301
215.86/167.78	o 302
216.60/168.41	o 303
217.15/168.99	o 304
217.80/169.58	o 305
218.40/170.19	o 306
219.82/171.41	o 307
220.56/172.12	o 308
221.19/172.80	o 309
221.93/173.49	o 310
222.67/174.13	o 311
223.70/175.15	o 312
224.55/175.92	o 313
226.04/177.37	o 314
227.54/178.47	o 315
228.27/179.16	o 316
228.88/179.79	o 317
229.50/180.37	o 318
230.64/181.39	o 319
231.36/182.09	o 320
231.98/182.68	o 321
232.58/183.26	o 322
234.01/184.61	o 323
234.63/185.26	o 324
235.24/185.83	o 325
236.27/186.87	o 326
239.33/189.44	o 327
240.06/190.16	o 328
241.31/191.40	o 329
242.03/192.05	o 330
242.75/192.72	o 331
243.78/193.71	o 332
244.81/194.75	o 333
245.52/195.42	o 334
246.25/196.15	o 335
246.97/196.82	o 336
248.10/197.99	o 337
249.64/199.38	o 338
250.63/200.07	o 339
251.24/200.70	o 340
251.98/201.39	o 341
253.10/202.45	o 342
253.93/203.27	o 343
255.57/204.81	o 344
256.30/205.51	o 345
256.90/206.15	o 346
257.74/206.98	o 347
258.87/208.06	o 348
259.79/208.95	o 349
260.39/209.56	o 532
261.19/210.39	o 533
262.55/211.28	o 534
263.14/211.87	o 535
263.94/212.60	o 536
264.75/213.46	o 537
265.54/214.22	o 538
266.74/215.50	o 539
267.64/216.37	o 540
268.44/217.15	o 541
269.44/218.16	o 542
270.65/219.35	o 543
273.05/221.72	o 544
276.39/224.63	o 545
277.69/225.92	o 546
279.43/227.69	o 547
280.94/229.10	o 548
282.04/230.26	o 549
283.24/231.44	o 550
283.95/232.11	o 551
284.55/232.79	o 552
285.63/233.62	o 553
287.07/235.05	o 554
288.58/236.52	o 555
289.37/237.30	o 556
290.17/238.16	o 557
290.78/238.76	o 558
291.57/239.55	o 559
293.37/241.38	o 560
294.20/242.11	o 561
294.89/242.83	o 562
298.05/245.51	o 563
298.75/246.22	o 564
301.39/248.84	o 565
302.79/250.27	o 566
303.70/251.18	o 567
305.20/252.60	o 568
306.81/254.25	o 569
308.30/255.59	o 570
309.91/257.11	o 571
311.11/258.32	o 572
311.81/259.02	o 573
312.51/259.72	o 574
313.71/260.96	o 575
314.51/261.73	o 576
317.07/264.15	o 577
317.89/264.90	o 578
319.71/266.74	o 579
322.01/269.03	o 580
323.51/270.60	o 581
325.11/272.15	o 582
327.48/274.38	o 583
328.19/275.10	o 584
329.19/276.05	o 585
330.29/277.16	o 586
331.39/278.28	o 587
332.49/279.33	o 588
333.09/279.98	o 589
333.89/280.73	o 590
336.65/283.35	o 591
338.36/285.04	o 592
339.56/286.22	o 593
340.26/286.99	o 594
340.97/287.65	o 595
342.36/289.02	o 596
343.26/289.91	o 597
345.36/291.85	o 598
346.06/292.56	o 599
346.96/293.41	o 600
347.76/294.28	o 601
350.36/296.86	o 602
353.11/299.37	o 603
356.21/302.40	o 604
356.91/303.11	o 605
358.63/304.89	o 606
360.40/306.52	o 607
361.35/307.42	o 608
362.96/309.01	o 609
366.06/312.11	o 610
367.26/313.33	o 611
368.46/314.54	o 612
370.52/316.42	o 613
372.52/318.42	o 614
374.12/320.05	o 615
374.82/320.78	o 616
376.90/322.65	o 617
377.60/323.36	o 618
379.40/325.19	o 619
380.70/326.47	o 620
384.15/329.68	o 621
384.95/330.46	o 622
385.76/331.24	o 623
388.58/334.01	o 624
389.38/334.82	o 625
390.70/335.96	o 626
391.42/336.62	o 627
392.71/337.91	o 628
393.81/339.02	o 629
395.41/340.60	o 630
396.11/341.38	o 631
399.05/343.90	o 632
400.15/345.05	o 633
401.76/346.62	o 634
403.36/348.27	o 635
404.47/349.18	o 636
406.17/350.82	o 637
406.87/351.58	o 638
408.58/353.25	o 639
413.20/357.66	o 640
413.99/358.48	o 641
414.80/359.24	o 642
417.75/361.99	o 643
418.74/362.95	o 644
419.54/363.75	o 645
422.24/366.45	o 646
425.78/369.72	o 647
428.56/372.22	o 648
430.26/373.92	o 649
430.96/374.64	o 650
435.68/378.90	o 651
438.69/381.63	o 652
439.39/382.31	o 653
440.19/383.18	o 654
441.19/384.16	o 655
441.99/384.94	o 656
444.77/387.25	o 657
445.46/387.96	o 658
448.17/390.65	o 659
449.50/391.85	o 660
451.40/393.57	o 661
452.80/394.91	o 662
453.59/395.79	o 663
455.00/397.13	o 664
458.39/400.10	o 665
461.59/403.37	o 666
462.39/404.12	o 667
464.43/405.90	o 668
465.33/406.71	o 669
466.03/407.46	o 670
467.13/408.59	o 671
467.95/409.33	o 672
468.74/410.14	o 673
470.24/411.63	o 674
472.45/413.31	o 675
473.45/414.34	o 676
477.16/418.03	o 677
478.87/419.35	o 678
479.67/420.18	o 679
481.07/421.59	o 680
487.23/427.18	o 681
489.03/428.95	o 682
493.38/432.50	o 683
496.70/435.28	o 684
497.90/436.44	o 685
499.20/437.76	o 686
503.30/441.81	o 687
504.49/442.78	o 688
506.39/444.07	o 689
508.19/445.80	o 690
509.39/447.06	o 691
510.29/447.92	o 692
511.79/449.42	o 693
518.24/455.38	o 694
519.94/457.01	o 695
521.75/458.88	o 696
525.06/461.01	o 697
526.86/462.84	o 698
528.56/464.56	o 699
529.56/465.54	o 700
532.06/468.00	o 701
534.07/470.03	o 702
535.87/471.25	o 703
536.77/472.19	o 704
539.67/475.08	o 705
541.08/476.46	o 706
544.47/479.85	o 707
546.40/480.89	o 708
547.40/481.86	o 709
549.60/484.05	o 710
550.80/485.29	o 711
552.79/487.29	o 712
554.29/488.78	o 713
555.50/489.96	o 714
556.40/490.89	o 715
558.79/492.73	o 716
563.88/497.89	o 717
567.69/501.68	o 718
575.03/508.03	o 719
576.23/509.28	o 720
580.91/513.40	o 721
584.31/516.89	o 722
585.21/517.75	o 723
587.61/520.10	o 724
588.41/520.98	o 725
591.38/523.08	o 726
601.83/533.16	o 727
606.03/537.33	o 728
606.93/538.29	o 729
614.14/545.06	o 730
615.74/546.64	o 731
616.84/547.76	o 732
618.75/549.61	o 733
619.55/550.41	o 734
623.04/553.94	o 735
633.24/563.73	o 736
634.85/564.81	o 737
636.25/566.28	o 738
641.36/571.35	o 739
652.55/582.12	o 740
653.45/583.07	o 741
656.27/585.67	o 742
658.08/587.50	o 743
662.97/592.38	o 744
664.68/594.05	o 745
668.38/597.54	o 746
670.28/599.49	o 747
675.46/604.35	o 748
676.46/605.37	o 749
704.56/632.10	o 750
705.46/633.06	o 751
708.87/636.42	o 752
709.67/637.29	o 753
713.89/641.29	o 754
722.94/650.07	o 755
738.24/664.75	o 756
739.33/665.69	o 757
742.32/668.69	o 758
743.42/669.72	o 759
746.41/672.58	o 760
749.61/675.73	o 761
752.13/678.05	o 762
757.67/683.38	o 763
762.47/687.96	o 764
767.19/692.43	o 765
775.83/700.64	o 766
777.34/702.10	o 767
783.78/708.19	o 768
785.48/709.80	o 769
792.00/715.96	o 770
803.74/727.04	o 771
807.35/730.47	o 772
810.37/733.24	o 773
818.16/740.55	o 774
823.50/745.62	o 775
826.94/748.80	o 776
841.87/762.47	o 777
842.67/763.20	o 778
844.27/764.66	o 779
846.47/766.81	o 780
852.45/772.23	o 781
857.97/777.59	o 782
859.38/778.95	o 783
860.27/779.88	o 784
913.99/828.28	o 785
923.42/837.25	o 786
924.31/838.17	o 787
925.31/839.11	o 788
928.62/842.05	o 789
953.24/865.27	o 790
955.95/867.95	o 791
957.23/869.25	o 792
958.85/870.40	o 793
961.97/873.51	o 794
971.76/882.87	o 795
973.06/884.17	o 796
973.96/885.08	o 797
975.26/886.36	o 798
979.36/890.47	o 799
980.36/891.41	o 800
983.32/893.97	o 801
986.92/897.55	o 802
1010.68/920.50	o 803
1014.88/924.45	o 804
1017.57/927.16	o 805
1019.28/928.88	o 806
1021.87/931.42	o 807
1023.98/933.51	o 808
1033.09/942.49	o 809
1034.89/944.29	o 810
1036.69/946.06	o 811
1073.73/981.96	o 812
1079.65/987.90	o 813
1089.37/997.38	o 814
1090.27/998.28	o 815
1118.53/1025.84	o 816
1119.43/1026.76	o 817
1120.33/1027.66	o 818
1125.44/1032.56	o 819
1133.84/1040.99	o 820
1161.24/1067.42	o 821
1162.44/1068.65	o 822
1164.45/1070.64	o 823
1168.05/1074.26	o 824
1173.27/1079.49	o 825
1184.08/1090.05	o 826
1190.13/1095.81	o 827
1201.02/1106.49	o 828
1205.13/1110.57	o 829
1212.63/1118.09	o 830
1215.51/1120.74	o 831
1217.51/1122.78	o 832
1219.41/1124.63	o 833
1220.91/1126.11	o 834
1222.32/1127.52	o 835
1227.74/1132.79	o 836
1231.45/1136.49	o 837
1233.65/1138.66	o 838
1235.54/1140.54	o 839
1242.27/1147.08	o 840
1253.94/1158.41	o 841
1254.73/1159.25	o 842
1256.14/1160.69	o 843
1276.78/1180.86	o 844
1277.78/1181.82	o 845
1292.63/1196.27	o 846
1294.03/1197.65	o 847
1323.06/1225.97	o 848
1324.77/1227.65	o 849
1333.59/1236.21	o 850
1339.26/1241.71	o 851
1343.76/1246.23	o 852
1344.56/1247.08	o 853
1358.87/1260.97	o 854
1360.08/1262.18	o 855
1364.99/1267.06	o 856
1373.60/1275.34	o 857
1379.92/1281.63	o 858
1394.93/1296.27	o 859
1396.54/1297.81	o 860
1400.44/1301.73	o 861
1403.85/1305.15	o 862
1407.49/1308.58	o 863
1415.19/1316.29	o 864
1419.42/1320.24	o 865
1425.12/1325.98	o 866
1441.23/1341.68	o 867
1799.51/1692.27	o 868
1806.11/1698.89	o 869
1808.11/1700.87	o 870
1950.53/1840.15	o 871
1952.13/1841.75	o 872
2075.18/1961.53	o 873
2085.93/1972.03	o 874
2088.83/1974.94	o 875
2096.83/1982.95	o 876
2099.81/1985.77	o 877
2100.91/1986.83	o 878
2116.44/2002.11	o 879
2123.47/2008.98	o 880
2137.31/2022.59	o 881
2171.42/2055.87	o 882
2172.64/2056.92	o 883
2185.78/2069.88	o 884
2188.99/2073.08	o 885
2400.00/2278.41	java.util.concurrent.TimeoutException
2400.00/2278.41		at concrete.MAC.mac(MAC.scala:74)
2400.00/2278.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.00/2278.41		at scala.util.Try$.apply(Try.scala:209)
2400.00/2278.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.00/2278.41		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.00/2278.41		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.00/2278.41		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.00/2278.41		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.00/2278.41		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.00/2278.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.00/2278.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.00/2278.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.00/2278.41		at concrete.MAC.oneRun(MAC.scala:146)
2400.00/2278.41		at concrete.MAC.nextSolution(MAC.scala:166)
2400.00/2278.41		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.00/2278.41		at concrete.ProblemState.map(ProblemState.scala:203)
2400.00/2278.41		at concrete.ProblemState.map(ProblemState.scala:188)
2400.00/2278.41		at concrete.MAC.nextSolution(MAC.scala:195)
2400.00/2278.41		at concrete.Solver.hasNext(Solver.scala:202)
2400.00/2278.41		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.00/2278.41		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.00/2278.41		at concrete.Solver.toStream(Solver.scala:73)
2400.00/2278.41		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.00/2278.41		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.00/2278.41		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.00/2278.41		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.00/2278.41		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.00/2278.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.00/2278.41		at scala.util.Success.map(Try.scala:209)
2400.00/2278.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.00/2278.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.00/2278.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.00/2278.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.00/2278.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.00/2278.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.00/2278.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.00/2278.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.00/2278.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.00/2278.41		at scala.collection.immutable.List.foreach(List.scala:389)
2400.00/2278.41		at scala.App.main(App.scala:76)
2400.00/2278.41		at scala.App.main$(App.scala:74)
2400.00/2278.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.00/2278.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.00/2278.42	v <instantiation cost="885">
2400.00/2278.42	v       <list>
2400.00/2278.42	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[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] 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[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] 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[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] 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[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] 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[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] 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[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] 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[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] 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[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] 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[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] 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[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] 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[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] 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[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] 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[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] 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[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] 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[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] 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[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] 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[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] 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[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] 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[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] 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[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] 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[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] 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[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] 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[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] 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[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] 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[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] 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[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] 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[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] 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[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] 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[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] 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[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] 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[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] 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[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] 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[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] 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[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] 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[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] 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[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] 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[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] 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[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] 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[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] 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[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] 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[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] 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[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] 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[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] 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[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] 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] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] 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[0][45] w[0][46] w[0][47] w[0][48] w[0][49] w[0][50] w[0][51] 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[1][45] w[1][46] w[1][47] w[1][48] w[1][49] w[1][50] w[1][51] 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[2][45] w[2][46] w[2][47] w[2][48] w[2][49] w[2][50] w[2][51] 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[3][45] w[3][46] w[3][47] w[3][48] w[3][49] w[3][50] w[3][51] 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[4][45] w[4][46] w[4][47] w[4][48] w[4][49] w[4][50] w[4][51] 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[5][45] w[5][46] w[5][47] w[5][48] w[5][49] w[5][50] w[5][51] 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[6][45] w[6][46] w[6][47] w[6][48] w[6][49] w[6][50] w[6][51] 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[7][45] w[7][46] w[7][47] w[7][48] w[7][49] w[7][50] w[7][51] 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[8][45] w[8][46] w[8][47] w[8][48] w[8][49] w[8][50] w[8][51] 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[9][45] w[9][46] w[9][47] w[9][48] w[9][49] w[9][50] w[9][51] 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[10][45] w[10][46] w[10][47] w[10][48] w[10][49] w[10][50] w[10][51] 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[11][45] w[11][46] w[11][47] w[11][48] w[11][49] w[11][50] w[11][51] 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[12][45] w[12][46] w[12][47] w[12][48] w[12][49] w[12][50] w[12][51] 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[13][45] w[13][46] w[13][47] w[13][48] w[13][49] w[13][50] w[13][51] 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[14][45] w[14][46] w[14][47] w[14][48] w[14][49] w[14][50] w[14][51] 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[15][45] w[15][46] w[15][47] w[15][48] w[15][49] w[15][50] w[15][51] 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[16][45] w[16][46] w[16][47] w[16][48] w[16][49] w[16][50] w[16][51] 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[17][45] w[17][46] w[17][47] w[17][48] w[17][49] w[17][50] w[17][51] 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[18][45] w[18][46] w[18][47] w[18][48] w[18][49] w[18][50] w[18][51] 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[19][45] w[19][46] w[19][47] w[19][48] w[19][49] w[19][50] w[19][51] 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[20][45] w[20][46] w[20][47] w[20][48] w[20][49] w[20][50] w[20][51] 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[21][45] w[21][46] w[21][47] w[21][48] w[21][49] w[21][50] w[21][51] 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[22][45] w[22][46] w[22][47] w[22][48] w[22][49] w[22][50] w[22][51] 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[23][45] w[23][46] w[23][47] w[23][48] w[23][49] w[23][50] w[23][51] 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[24][45] w[24][46] w[24][47] w[24][48] w[24][49] w[24][50] w[24][51] 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[25][45] w[25][46] w[25][47] w[25][48] w[25][49] w[25][50] w[25][51] 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[26][45] w[26][46] w[26][47] w[26][48] w[26][49] w[26][50] w[26][51] 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[27][45] w[27][46] w[27][47] w[27][48] w[27][49] w[27][50] w[27][51] 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[28][45] w[28][46] w[28][47] w[28][48] w[28][49] w[28][50] w[28][51] 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[29][45] w[29][46] w[29][47] w[29][48] w[29][49] w[29][50] w[29][51] 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[30][45] w[30][46] w[30][47] w[30][48] w[30][49] w[30][50] w[30][51] 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[31][45] w[31][46] w[31][47] w[31][48] w[31][49] w[31][50] w[31][51] 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[32][45] w[32][46] w[32][47] w[32][48] w[32][49] w[32][50] w[32][51] 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[33][45] w[33][46] w[33][47] w[33][48] w[33][49] w[33][50] w[33][51] 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[34][45] w[34][46] w[34][47] w[34][48] w[34][49] w[34][50] w[34][51] 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[35][45] w[35][46] w[35][47] w[35][48] w[35][49] w[35][50] w[35][51] 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[36][45] w[36][46] w[36][47] w[36][48] w[36][49] w[36][50] w[36][51] 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[37][45] w[37][46] w[37][47] w[37][48] w[37][49] w[37][50] w[37][51] 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[38][45] w[38][46] w[38][47] w[38][48] w[38][49] w[38][50] w[38][51] 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[39][45] w[39][46] w[39][47] w[39][48] w[39][49] w[39][50] w[39][51] 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[40][45] w[40][46] w[40][47] w[40][48] w[40][49] w[40][50] w[40][51] 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[41][45] w[41][46] w[41][47] w[41][48] w[41][49] w[41][50] w[41][51] 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[42][45] w[42][46] w[42][47] w[42][48] w[42][49] w[42][50] w[42][51] 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[43][45] w[43][46] w[43][47] w[43][48] w[43][49] w[43][50] w[43][51] 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] w[44][45] w[44][46] w[44][47] w[44][48] w[44][49] w[44][50] w[44][51] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] w[45][46] w[45][47] w[45][48] w[45][49] w[45][50] w[45][51] w[46][0] w[46][1] w[46][2] w[46][3] w[46][4] w[46][5] w[46][6] w[46][7] w[46][8] w[46][9] w[46][10] w[46][11] w[46][12] w[46][13] w[46][14] w[46][15] w[46][16] w[46][17] w[46][18] w[46][19] w[46][20] w[46][21] w[46][22] w[46][23] w[46][24] w[46][25] w[46][26] w[46][27] w[46][28] w[46][29] w[46][30] w[46][31] w[46][32] w[46][33] w[46][34] w[46][35] w[46][36] w[46][37] w[46][38] w[46][39] w[46][40] w[46][41] w[46][42] w[46][43] w[46][44] w[46][45] w[46][46] w[46][47] w[46][48] w[46][49] w[46][50] w[46][51] w[47][0] w[47][1] w[47][2] w[47][3] w[47][4] w[47][5] w[47][6] w[47][7] w[47][8] w[47][9] w[47][10] w[47][11] w[47][12] w[47][13] w[47][14] w[47][15] w[47][16] w[47][17] w[47][18] w[47][19] w[47][20] w[47][21] w[47][22] w[47][23] w[47][24] w[47][25] w[47][26] w[47][27] w[47][28] w[47][29] w[47][30] w[47][31] w[47][32] w[47][33] w[47][34] w[47][35] w[47][36] w[47][37] w[47][38] w[47][39] w[47][40] w[47][41] w[47][42] w[47][43] w[47][44] w[47][45] w[47][46] w[47][47] w[47][48] w[47][49] w[47][50] w[47][51] w[48][0] w[48][1] w[48][2] w[48][3] w[48][4] w[48][5] w[48][6] w[48][7] w[48][8] w[48][9] w[48][10] w[48][11] w[48][12] w[48][13] w[48][14] w[48][15] w[48][16] w[48][17] w[48][18] w[48][19] w[48][20] w[48][21] w[48][22] w[48][23] w[48][24] w[48][25] w[48][26] w[48][27] w[48][28] w[48][29] w[48][30] w[48][31] w[48][32] w[48][33] w[48][34] w[48][35] w[48][36] w[48][37] w[48][38] w[48][39] w[48][40] w[48][41] w[48][42] w[48][43] w[48][44] w[48][45] w[48][46] w[48][47] w[48][48] w[48][49] w[48][50] w[48][51] w[49][0] w[49][1] w[49][2] w[49][3] w[49][4] w[49][5] w[49][6] w[49][7] w[49][8] w[49][9] w[49][10] w[49][11] w[49][12] w[49][13] w[49][14] w[49][15] w[49][16] w[49][17] w[49][18] w[49][19] w[49][20] w[49][21] w[49][22] w[49][23] w[49][24] w[49][25] w[49][26] w[49][27] w[49][28] w[49][29] w[49][30] w[49][31] w[49][32] w[49][33] w[49][34] w[49][35] w[49][36] w[49][37] w[49][38] w[49][39] w[49][40] w[49][41] w[49][42] w[49][43] w[49][44] w[49][45] w[49][46] w[49][47] w[49][48] w[49][49] w[49][50] w[49][51] w[50][0] w[50][1] w[50][2] w[50][3] w[50][4] w[50][5] w[50][6] w[50][7] w[50][8] w[50][9] w[50][10] w[50][11] w[50][12] w[50][13] w[50][14] w[50][15] w[50][16] w[50][17] w[50][18] w[50][19] w[50][20] w[50][21] w[50][22] w[50][23] w[50][24] w[50][25] w[50][26] w[50][27] w[50][28] w[50][29] w[50][30] w[50][31] w[50][32] w[50][33] w[50][34] w[50][35] w[50][36] w[50][37] w[50][38] w[50][39] w[50][40] w[50][41] w[50][42] w[50][43] w[50][44] w[50][45] w[50][46] w[50][47] w[50][48] w[50][49] w[50][50] w[50][51] w[51][0] w[51][1] w[51][2] w[51][3] w[51][4] w[51][5] w[51][6] w[51][7] w[51][8] w[51][9] w[51][10] w[51][11] w[51][12] w[51][13] w[51][14] w[51][15] w[51][16] w[51][17] w[51][18] w[51][19] w[51][20] w[51][21] w[51][22] w[51][23] w[51][24] w[51][25] w[51][26] w[51][27] w[51][28] w[51][29] w[51][30] w[51][31] w[51][32] w[51][33] w[51][34] w[51][35] w[51][36] w[51][37] w[51][38] w[51][39] w[51][40] w[51][41] w[51][42] w[51][43] w[51][44] w[51][45] w[51][46] w[51][47] w[51][48] w[51][49] w[51][50] w[51][51] 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] ws[45] ws[46] ws[47] ws[48] ws[49] ws[50] ws[51] z
2400.00/2278.42	v       </list>
2400.00/2278.42	v       <values>
2400.00/2278.42	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 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 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 0 1 1 1 0 1 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 1 1 0 1 1 1 0 1 1 1 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 1 0 0 0 0 1 0 0 1 1 1 1 0 0 0 1 1 1 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 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 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 0 2 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 2 2 2 2 2 2 2 0 1 1 1 0 0 2 2 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 2 2 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 2 0 2 0 0 2 1 0 0 1 0 0 0 0 0 0 0 0 2 0 2 2 2 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 2 1 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 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 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 1 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 2 2 0 0 0 0 0 0 0 2 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 2 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 2 1 0 1 0 1 0 0 2 2 2 0 1 0 1 0 1 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 1 0 0 0 0 2 0 0 1 1 1 1 1 1 1 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 2 1 1 1 0 0 0 0 1 0 0 0 1 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 0 0 0 0 0 0 0 1 0 0 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 1 1 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 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 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 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 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 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 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 0 2 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 2 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 2 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 2 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 2 0 0 1 1 1 2 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 2 2 1 1 1 1 0 0 0 0 0 0 1 1 2 1 2 1 1 2 0 0 0 0 0 0 1 1 1 0 1 2 2 2 2 0 1 1 0 2 1 1 1 0 1 1 0 0 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 49 150 251 353 455 556 658 760 862 962 1056 1157 1177 1201 1214 1224 1237 1248 1263 1280 1290 1302 1319 1330 1343 1356 1365 1369 1378 1391 1401 1407 1411 1419 1423 1435 1443 1452 1464 1472 1476 1489 1500 1507 1525 1537 1544 1554 1568 1584 1626 1660 885
2400.00/2278.42	v       </values>
2400.00/2278.42	v     </instantiation>
2400.00/2278.42	s SATISFIABLE

Verifier Data 

OK	885

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-4244737-1500695593/watcher-4244737-1500695593 -o /tmp/evaluation-result-4244737-1500695593/solver-4244737-1500695593 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500682951-16358 --watchdog 2560 bin/concrete HOME/instance-4244737-1500695593.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.81 1.60 1.54 3/262 19074
/proc/meminfo: memFree=30831176/32770624 swapFree=5912/95096
[pid=19074] ppid=19071 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19074/stat : 19074 (bash) S 19071 19074 16327 0 -1 4202496 686 1530 0 0 0 0 0 0 20 0 1 0 4828895 9736192 351 33554432000 4194304 5098028 140731883247680 140731883245320 140493271317504 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 29310976 140731883255054 140731883255139 140731883255139 140731883257838 0
/proc/19074/statm: 2377 351 278 221 0 86 0

[startup+0.100061 s]
/proc/loadavg: 1.81 1.60 1.54 3/262 19074
/proc/meminfo: memFree=30831176/32770624 swapFree=5912/95096
[pid=19074] ppid=19071 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19074/stat : 19074 (bash) S 19071 19074 16327 0 -1 4202496 885 6408 0 0 0 0 0 1 20 0 1 0 4828895 9871360 378 33554432000 4194304 5098028 140731883247680 140731883241688 140493271317504 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 29310976 140731883255054 140731883255139 140731883255139 140731883257838 0
/proc/19074/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200327 s]
/proc/loadavg: 1.81 1.60 1.54 3/262 19074
/proc/meminfo: memFree=30831176/32770624 swapFree=5912/95096
[pid=19074] ppid=19071 vsize=10435860 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/19074/stat : 19074 (java) S 19071 19074 16327 0 -1 1077944320 5133 12291 0 0 7 1 7 3 20 0 13 0 4828895 10686320640 5486 33554432000 4194304 4196468 140732444416608 140732444399152 140635391164151 0 0 0 16800971 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
/proc/19074/statm: 2608965 5486 2170 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300291 s]
/proc/loadavg: 1.81 1.60 1.54 3/262 19074
/proc/meminfo: memFree=30831176/32770624 swapFree=5912/95096
[pid=19074] ppid=19071 vsize=10902292 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/19074/stat : 19074 (java) S 19071 19074 16327 0 -1 1077944320 8394 12291 0 0 24 3 7 3 20 0 20 0 4828895 11163947008 9460 33554432000 4194304 4196468 140732444416608 140732444399152 140635391164151 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
/proc/19074/statm: 2725573 9460 2957 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902292

[startup+0.700221 s]
/proc/loadavg: 1.81 1.60 1.54 3/262 19074
/proc/meminfo: memFree=30831176/32770624 swapFree=5912/95096
[pid=19074] ppid=19071 vsize=10902720 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/19074/stat : 19074 (java) S 19071 19074 16327 0 -1 1077944320 12712 12291 0 0 80 5 7 3 20 0 20 0 4828895 11164385280 15942 33554432000 4194304 4196468 140732444416608 140732444399152 140635391164151 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
/proc/19074/statm: 2725680 15942 3217 1 0 2713890 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10902720

[startup+1.50074 s]
/proc/loadavg: 2.06 1.66 1.56 4/282 19147
/proc/meminfo: memFree=30726828/32770624 swapFree=5912/95464
[pid=19074] ppid=19071 vsize=10913344 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/19074/stat : 19074 (java) S 19071 19074 16327 0 -1 1077944320 26848 12291 0 0 207 12 7 3 20 0 20 0 4828895 11175264256 44135 33554432000 4194304 4196468 140732444416608 140732444399152 140635391164151 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
/proc/19074/statm: 2728336 44135 3411 1 0 2716450 0
[pid=19074/tid=19129] ppid=19071 vsize=10913344 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19129/stat : 19129 (java) R 19071 19074 16327 0 -1 4202560 19396 12291 0 0 127 6 7 3 20 0 20 0 4828906 11175264256 44135 33554432000 4194304 4196468 140732444416608 140635395387672 140635374519767 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19130] ppid=19071 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19130/stat : 19130 (java) S 19071 19074 16327 0 -1 1077944384 20 12291 0 0 0 0 7 3 20 0 20 0 4828907 11175264256 44135 33554432000 4194304 4196468 140732444416608 140635349924752 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19131] ppid=19071 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19131/stat : 19131 (java) S 19071 19074 16327 0 -1 1077944384 27 12291 0 0 1 0 7 3 20 0 20 0 4828907 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634997205776 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19132] ppid=19071 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19132/stat : 19132 (java) S 19071 19074 16327 0 -1 1077944384 153 12291 0 0 0 0 7 3 20 0 20 0 4828907 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634996153488 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19133] ppid=19071 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19133/stat : 19133 (java) S 19071 19074 16327 0 -1 1077944384 11 12291 0 0 0 0 7 3 20 0 20 0 4828907 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634995100688 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19134] ppid=19071 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19134/stat : 19134 (java) S 19071 19074 16327 0 -1 1077944384 8 12291 0 0 0 0 7 3 20 0 20 0 4828907 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634994047376 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19135] ppid=19071 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19135/stat : 19135 (java) S 19071 19074 16327 0 -1 1077944384 20 12291 0 0 0 0 7 3 20 0 20 0 4828907 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634992994576 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19136] ppid=19071 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19136/stat : 19136 (java) S 19071 19074 16327 0 -1 1077944384 24 12291 0 0 1 0 7 3 20 0 20 0 4828907 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634991942288 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19137] ppid=19071 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19137/stat : 19137 (java) S 19071 19074 16327 0 -1 1077944384 52 12291 0 0 1 0 7 3 20 0 20 0 4828907 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634990889488 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19138] ppid=19071 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19138/stat : 19138 (java) S 19071 19074 16327 0 -1 1077944384 1580 12291 0 0 1 0 7 3 20 0 20 0 4828910 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634865724016 140635391175298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19139] ppid=19071 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19139/stat : 19139 (java) S 19071 19074 16327 0 -1 1077944384 55 12291 0 0 0 0 7 3 20 0 20 0 4828911 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634864670048 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19140] ppid=19071 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19140/stat : 19140 (java) S 19071 19074 16327 0 -1 1077944384 45 12291 0 0 0 0 7 3 20 0 20 0 4828911 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634863617664 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19141] ppid=19071 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19141/stat : 19141 (java) S 19071 19074 16327 0 -1 1077944384 1 12291 0 0 0 0 7 3 20 0 20 0 4828915 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634862565968 140635391182747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19142] ppid=19071 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19142/stat : 19142 (java) S 19071 19074 16327 0 -1 1077944384 718 12291 0 0 14 0 7 3 20 0 20 0 4828915 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634861512816 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19143] ppid=19071 vsize=10913344 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19143/stat : 19143 (java) S 19071 19074 16327 0 -1 1077944384 684 12291 0 0 10 0 7 3 20 0 20 0 4828915 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634860460016 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19144] ppid=19071 vsize=10913344 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19144/stat : 19144 (java) S 19071 19074 16327 0 -1 1077944384 635 12291 0 0 17 0 7 3 20 0 20 0 4828915 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634859407728 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19145] ppid=19071 vsize=10913344 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19145/stat : 19145 (java) S 19071 19074 16327 0 -1 1077944384 1281 12291 0 0 26 0 7 3 20 0 20 0 4828915 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634858354928 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19146] ppid=19071 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19146/stat : 19146 (java) S 19071 19074 16327 0 -1 1077944384 3 12291 0 0 0 0 7 3 20 0 20 0 4828915 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634857302880 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19147] ppid=19071 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19147/stat : 19147 (java) S 19071 19074 16327 0 -1 1077944384 3 12291 0 0 0 0 7 3 20 0 20 0 4828916 11175264256 44135 33554432000 4194304 4196468 140732444416608 140634856250160 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10913344

[startup+3.10123 s]
/proc/loadavg: 2.06 1.66 1.56 3/282 19147
/proc/meminfo: memFree=30652960/32770624 swapFree=5912/95472
[pid=19074] ppid=19071 vsize=10925820 CPUtime=6.92 cores=0,2,4,6,8,10,12,14
/proc/19074/stat : 19074 (java) S 19071 19074 16327 0 -1 1077944320 42126 12291 0 0 663 19 7 3 20 0 20 0 4828895 11188039680 59797 33554432000 4194304 4196468 140732444416608 140732444399152 140635391164151 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
/proc/19074/statm: 2731455 59797 3481 1 0 2719010 0
[pid=19074/tid=19129] ppid=19071 vsize=10925820 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19129/stat : 19129 (java) R 19071 19074 16327 0 -1 4202560 24928 12291 0 0 283 9 7 3 20 0 20 0 4828906 11188039680 59797 33554432000 4194304 4196468 140732444416608 140635395375152 140635371439368 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19130] ppid=19071 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19130/stat : 19130 (java) S 19071 19074 16327 0 -1 1077944384 20 12291 0 0 0 0 7 3 20 0 20 0 4828907 11188039680 59797 33554432000 4194304 4196468 140732444416608 140635349924752 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19131] ppid=19071 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19131/stat : 19131 (java) S 19071 19074 16327 0 -1 1077944384 27 12291 0 0 1 0 7 3 20 0 20 0 4828907 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634997205776 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19132] ppid=19071 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19132/stat : 19132 (java) S 19071 19074 16327 0 -1 1077944384 153 12291 0 0 0 0 7 3 20 0 20 0 4828907 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634996153488 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19133] ppid=19071 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19133/stat : 19133 (java) S 19071 19074 16327 0 -1 1077944384 11 12291 0 0 0 0 7 3 20 0 20 0 4828907 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634995100688 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19134] ppid=19071 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19134/stat : 19134 (java) S 19071 19074 16327 0 -1 1077944384 8 12291 0 0 0 0 7 3 20 0 20 0 4828907 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634994047376 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19135] ppid=19071 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19135/stat : 19135 (java) S 19071 19074 16327 0 -1 1077944384 20 12291 0 0 0 0 7 3 20 0 20 0 4828907 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634992994576 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19136] ppid=19071 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19136/stat : 19136 (java) S 19071 19074 16327 0 -1 1077944384 24 12291 0 0 1 0 7 3 20 0 20 0 4828907 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634991942288 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19137] ppid=19071 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19137/stat : 19137 (java) S 19071 19074 16327 0 -1 1077944384 52 12291 0 0 1 0 7 3 20 0 20 0 4828907 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634990889488 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19138] ppid=19071 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19138/stat : 19138 (java) S 19071 19074 16327 0 -1 1077944384 1955 12291 0 0 1 0 7 3 20 0 20 0 4828910 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634865724016 140635391175298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19139] ppid=19071 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19139/stat : 19139 (java) S 19071 19074 16327 0 -1 1077944384 55 12291 0 0 0 0 7 3 20 0 20 0 4828911 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634864670048 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19140] ppid=19071 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19140/stat : 19140 (java) S 19071 19074 16327 0 -1 1077944384 45 12291 0 0 0 0 7 3 20 0 20 0 4828911 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634863617664 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19141] ppid=19071 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19141/stat : 19141 (java) S 19071 19074 16327 0 -1 1077944384 1 12291 0 0 0 0 7 3 20 0 20 0 4828915 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634862565968 140635391182747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19142] ppid=19071 vsize=10925820 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19142/stat : 19142 (java) S 19071 19074 16327 0 -1 1077944384 2028 12291 0 0 78 1 7 3 20 0 20 0 4828915 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634861512816 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19143] ppid=19071 vsize=10925820 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19143/stat : 19143 (java) S 19071 19074 16327 0 -1 1077944384 2006 12291 0 0 79 1 7 3 20 0 20 0 4828915 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634860460016 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19144] ppid=19071 vsize=10925820 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19144/stat : 19144 (java) R 19071 19074 16327 0 -1 4202560 4561 12291 0 0 103 1 7 3 20 0 20 0 4828915 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634859393744 140635376279279 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19145] ppid=19071 vsize=10925820 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19145/stat : 19145 (java) S 19071 19074 16327 0 -1 1077944384 4092 12291 0 0 108 2 7 3 20 0 20 0 4828915 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634858354928 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19146] ppid=19071 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19146/stat : 19146 (java) S 19071 19074 16327 0 -1 1077944384 3 12291 0 0 0 0 7 3 20 0 20 0 4828915 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634857302880 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19147] ppid=19071 vsize=10925820 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19147/stat : 19147 (java) S 19071 19074 16327 0 -1 1077944384 5 12291 0 0 0 0 7 3 20 0 20 0 4828916 11188039680 59797 33554432000 4194304 4196468 140732444416608 140634856250160 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 10925820

[startup+6.30129 s]
/proc/loadavg: 2.06 1.66 1.56 6/282 19147
/proc/meminfo: memFree=30485748/32770624 swapFree=5912/95476
[pid=19074] ppid=19071 vsize=10927868 CPUtime=19.12 cores=0,2,4,6,8,10,12,14
/proc/19074/stat : 19074 (java) S 19071 19074 16327 0 -1 1077944320 66090 12291 0 0 1866 36 7 3 20 0 20 0 4828895 11190136832 113101 33554432000 4194304 4196468 140732444416608 140732444399152 140635391164151 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
/proc/19074/statm: 2731967 113101 3503 1 0 2719522 0
[pid=19074/tid=19129] ppid=19071 vsize=10927868 CPUtime=6.08 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19129/stat : 19129 (java) R 19071 19074 16327 0 -1 4202560 33363 12291 0 0 586 12 7 3 20 0 20 0 4828906 11190136832 113101 33554432000 4194304 4196468 140732444416608 140635395393720 140635044781267 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19130] ppid=19071 vsize=10927868 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19130/stat : 19130 (java) S 19071 19074 16327 0 -1 1077944384 99 12291 0 0 6 2 7 3 20 0 20 0 4828907 11190136832 113101 33554432000 4194304 4196468 140732444416608 140635349924752 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19131] ppid=19071 vsize=10927868 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19131/stat : 19131 (java) S 19071 19074 16327 0 -1 1077944384 788 12291 0 0 7 2 7 3 20 0 20 0 4828907 11190136832 113101 33554432000 4194304 4196468 140732444416608 140634997205776 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19132] ppid=19071 vsize=10927868 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19132/stat : 19132 (java) S 19071 19074 16327 0 -1 1077944384 183 12291 0 0 7 2 7 3 20 0 20 0 4828907 11190136832 113101 33554432000 4194304 4196468 140732444416608 140634996153488 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19133] ppid=19071 vsize=10927868 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19133/stat : 19133 (java) S 19071 19074 16327 0 -1 1077944384 40 12291 0 0 7 1 7 3 20 0 20 0 4828907 11190136832 113101 33554432000 4194304 4196468 140732444416608 140634995100688 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19134] ppid=19071 vsize=10927868 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19134/stat : 19134 (java) S 19071 19074 16327 0 -1 1077944384 33 12291 0 0 6 1 7 3 20 0 20 0 4828907 11190136832 113101 33554432000 4194304 4196468 140732444416608 140634994047376 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19135] ppid=19071 vsize=10927868 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19135/stat : 19135 (java) S 19071 19074 16327 0 -1 1077944384 55 12291 0 0 6 2 7 3 20 0 20 0 4828907 11190136832 113101 33554432000 4194304 4196468 140732444416608 140634992994576 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19136] ppid=19071 vsize=10927868 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19136/stat : 19136 (java) S 19071 19074 16327 0 -1 1077944384 79 12291 0 0 8 1 7 3 20 0 20 0 4828907 11190136832 113101 33554432000 4194304 4196468 140732444416608 140634991942288 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19137] ppid=19071 vsize=10927868 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19137/stat : 19137 (java) S 19071 19074 16327 0 -1 1077944384 74 12291 0 0 8 1 7 3 20 0 20 0 4828907 11190136832 113101 33554432000 4194304 4196468 140732444416608 140634990889488 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19138] ppid=19071 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19138/stat : 19138 (java) S 19071 19074 16327 0 -1 1077944384 2681 12291 0 0 5 0 7 3 20 0 20 0 4828910 11190136832 113101 33554432000 4194304 4196468 140732444416608 140634865724016 140635391175298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19139] ppid=19071 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19139/stat : 19139 (java) S 19071 19074 16327 0 -1 1077944384 56 12291 0 0 0 0 7 3 20 0 20 0 4828911 11190136832 113101 33554432000 4194304 4196468 140732444416608 140634864670048 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19140] ppid=19071 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19140/stat : 19140 (java) S 19071 19074 16327 0 -1 1077944384 45 12291 0 0 0 0 7 3 20 0 20 0 4828911 11190136832 113101 33554432000 4194304 4196468 140732444416608 140634863617664 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19141] ppid=19071 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19141/stat : 19141 (java) S 19071 19074 16327 0 -1 1077944384 1 12291 0 0 0 0 7 3 20 0 20 0 4828915 11190136832 113101 33554432000 4194304 4196468 140732444416608 140634862565968 140635391182747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19142] ppid=19071 vsize=10927868 CPUtime=3.4 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19142/stat : 19142 (java) S 19071 19074 16327 0 -1 1077944384 5606 12291 0 0 329 1 7 3 20 0 20 0 4828915 11190136832 113101 33554432000 4194304 4196468 140732444416608 140634861512816 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19143] ppid=19071 vsize=10927868 CPUtime=3.49 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19143/stat : 19143 (java) S 19071 19074 16327 0 -1 1077944384 5346 12291 0 0 338 1 7 3 20 0 20 0 4828915 11190136832 113101 33554432000 4194304 4196468 140732444416608 140634860460016 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19144] ppid=19071 vsize=10927868 CPUtime=3.8 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19144/stat : 19144 (java) S 19071 19074 16327 0 -1 1077944384 9236 12291 0 0 369 1 7 3 20 0 20 0 4828915 11190136832 113101 33554432000 4194304 4196468 140732444416608 140634859407728 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19145] ppid=19071 vsize=10927868 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19145/stat : 19145 (java) S 19071 19074 16327 0 -1 1077944384 6264 12291 0 0 178 3 7 3 20 0 20 0 4828915 11190136832 113101 33554432000 4194304 4196468 140732444416608 140634858354928 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19146] ppid=19071 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14

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

[pid=19074/tid=19143] ppid=19071 vsize=10999548 CPUtime=11.37 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19143/stat : 19143 (java) S 19071 19074 16327 0 -1 1077944384 45279 12291 0 0 1120 7 7 3 20 0 20 0 4828915 11263537152 822450 33554432000 4194304 4196468 140732444416608 140634860460016 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19144] ppid=19071 vsize=10999548 CPUtime=11.86 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19144/stat : 19144 (java) S 19071 19074 16327 0 -1 1077944384 42592 12291 0 0 1170 6 7 3 20 0 20 0 4828915 11263537152 822450 33554432000 4194304 4196468 140732444416608 140634859407728 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19145] ppid=19071 vsize=10999548 CPUtime=4.98 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19145/stat : 19145 (java) S 19071 19074 16327 0 -1 1077944384 63237 12291 0 0 477 11 7 3 20 0 20 0 4828915 11263537152 822450 33554432000 4194304 4196468 140732444416608 140634858354928 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19146] ppid=19071 vsize=10999548 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19146/stat : 19146 (java) S 19071 19074 16327 0 -1 1077944384 3 12291 0 0 0 0 7 3 20 0 20 0 4828915 11263537152 822450 33554432000 4194304 4196468 140732444416608 140634857302880 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19147] ppid=19071 vsize=10999548 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19147/stat : 19147 (java) S 19071 19074 16327 0 -1 1077944384 2387 12291 0 0 61 54 7 3 20 0 20 0 4828916 11263537152 822450 33554432000 4194304 4196468 140732444416608 140634856250160 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
Current children cumulated CPU time (s) 2260.34
Current children cumulated vsize (KiB) 10999548

[startup+2202.31 s]
/proc/loadavg: 1.72 1.65 1.64 3/281 19377
/proc/meminfo: memFree=27562748/32770624 swapFree=5912/98408
[pid=19074] ppid=19071 vsize=10999548 CPUtime=2322.07 cores=0,2,4,6,8,10,12,14
/proc/19074/stat : 19074 (java) S 19071 19074 16327 0 -1 1077944320 541951 12291 0 0 230422 1775 7 3 20 0 20 0 4828895 11263537152 822452 33554432000 4194304 4196468 140732444416608 140732444399152 140635391164151 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
/proc/19074/statm: 2749887 822452 3531 1 0 2737442 0
[pid=19074/tid=19129] ppid=19071 vsize=10999548 CPUtime=2189.02 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19129/stat : 19129 (java) R 19071 19074 16327 0 -1 4202560 209127 12291 0 0 218825 67 7 3 20 0 20 0 4828906 11263537152 822452 33554432000 4194304 4196468 140732444416608 140635395397696 140635053178408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19130] ppid=19071 vsize=10999548 CPUtime=11.61 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19130/stat : 19130 (java) S 19071 19074 16327 0 -1 1077944384 14415 12291 0 0 945 206 7 3 20 0 20 0 4828907 11263537152 822452 33554432000 4194304 4196468 140732444416608 140635349924752 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19131] ppid=19071 vsize=10999548 CPUtime=11.6 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19131/stat : 19131 (java) S 19071 19074 16327 0 -1 1077944384 13341 12291 0 0 949 201 7 3 20 0 20 0 4828907 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634997205776 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19132] ppid=19071 vsize=10999548 CPUtime=11.6 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19132/stat : 19132 (java) S 19071 19074 16327 0 -1 1077944384 12457 12291 0 0 946 204 7 3 20 0 20 0 4828907 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634996153488 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19133] ppid=19071 vsize=10999548 CPUtime=11.46 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19133/stat : 19133 (java) S 19071 19074 16327 0 -1 1077944384 10679 12291 0 0 932 204 7 3 20 0 20 0 4828907 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634995100688 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19134] ppid=19071 vsize=10999548 CPUtime=11.6 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19134/stat : 19134 (java) S 19071 19074 16327 0 -1 1077944384 15667 12291 0 0 953 197 7 3 20 0 20 0 4828907 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634994047376 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19135] ppid=19071 vsize=10999548 CPUtime=11.51 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19135/stat : 19135 (java) S 19071 19074 16327 0 -1 1077944384 13329 12291 0 0 936 205 7 3 20 0 20 0 4828907 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634992994576 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19136] ppid=19071 vsize=10999548 CPUtime=11.63 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19136/stat : 19136 (java) S 19071 19074 16327 0 -1 1077944384 11199 12291 0 0 950 203 7 3 20 0 20 0 4828907 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634991942288 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19137] ppid=19071 vsize=10999548 CPUtime=11.51 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19137/stat : 19137 (java) S 19071 19074 16327 0 -1 1077944384 13633 12291 0 0 937 204 7 3 20 0 20 0 4828907 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634990889488 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19138] ppid=19071 vsize=10999548 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19138/stat : 19138 (java) S 19071 19074 16327 0 -1 1077944384 34318 12291 0 0 59 10 7 3 20 0 20 0 4828910 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634865724016 140635391175298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19139] ppid=19071 vsize=10999548 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19139/stat : 19139 (java) S 19071 19074 16327 0 -1 1077944384 229 12291 0 0 1 0 7 3 20 0 20 0 4828911 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634864670112 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19140] ppid=19071 vsize=10999548 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19140/stat : 19140 (java) S 19071 19074 16327 0 -1 1077944384 51 12291 0 0 0 0 7 3 20 0 20 0 4828911 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634863617664 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19141] ppid=19071 vsize=10999548 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19141/stat : 19141 (java) S 19071 19074 16327 0 -1 1077944384 1 12291 0 0 0 0 7 3 20 0 20 0 4828915 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634862565968 140635391182747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19142] ppid=19071 vsize=10999548 CPUtime=11.45 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19142/stat : 19142 (java) S 19071 19074 16327 0 -1 1077944384 37836 12291 0 0 1128 7 7 3 20 0 20 0 4828915 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634861512816 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19143] ppid=19071 vsize=10999548 CPUtime=11.37 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19143/stat : 19143 (java) S 19071 19074 16327 0 -1 1077944384 45288 12291 0 0 1120 7 7 3 20 0 20 0 4828915 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634860460016 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19144] ppid=19071 vsize=10999548 CPUtime=11.86 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19144/stat : 19144 (java) S 19071 19074 16327 0 -1 1077944384 42596 12291 0 0 1170 6 7 3 20 0 20 0 4828915 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634859407728 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19145] ppid=19071 vsize=10999548 CPUtime=4.98 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19145/stat : 19145 (java) S 19071 19074 16327 0 -1 1077944384 63240 12291 0 0 477 11 7 3 20 0 20 0 4828915 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634858354928 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19146] ppid=19071 vsize=10999548 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19146/stat : 19146 (java) S 19071 19074 16327 0 -1 1077944384 3 12291 0 0 0 0 7 3 20 0 20 0 4828915 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634857302880 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19147] ppid=19071 vsize=10999548 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19147/stat : 19147 (java) S 19071 19074 16327 0 -1 1077944384 2410 12291 0 0 62 57 7 3 20 0 20 0 4828916 11263537152 822452 33554432000 4194304 4196468 140732444416608 140634856250160 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
Current children cumulated CPU time (s) 2322.07
Current children cumulated vsize (KiB) 10999548

[startup+2262.3 s]
/proc/loadavg: 1.60 1.61 1.62 3/282 19386
/proc/meminfo: memFree=27025856/32770624 swapFree=5912/98476
[pid=19074] ppid=19071 vsize=10999548 CPUtime=2383.54 cores=0,2,4,6,8,10,12,14
/proc/19074/stat : 19074 (java) S 19071 19074 16327 0 -1 1077944320 548148 12291 0 0 236567 1777 7 3 20 0 20 0 4828895 11263537152 821554 33554432000 4194304 4196468 140732444416608 140732444399152 140635391164151 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
/proc/19074/statm: 2749887 821554 3531 1 0 2737442 0
[pid=19074/tid=19129] ppid=19071 vsize=10999548 CPUtime=2248.72 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19129/stat : 19129 (java) R 19071 19074 16327 0 -1 4202560 212097 12291 0 0 224794 68 7 3 20 0 20 0 4828906 11263537152 821554 33554432000 4194304 4196468 140732444416608 140635395397472 140635043614091 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19130] ppid=19071 vsize=10999548 CPUtime=11.83 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19130/stat : 19130 (java) S 19071 19074 16327 0 -1 1077944384 14476 12291 0 0 967 206 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140635349924752 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19131] ppid=19071 vsize=10999548 CPUtime=11.82 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19131/stat : 19131 (java) S 19071 19074 16327 0 -1 1077944384 13404 12291 0 0 971 201 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634997205776 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19132] ppid=19071 vsize=10999548 CPUtime=11.81 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19132/stat : 19132 (java) S 19071 19074 16327 0 -1 1077944384 14154 12291 0 0 967 204 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634996153488 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19133] ppid=19071 vsize=10999548 CPUtime=11.68 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19133/stat : 19133 (java) S 19071 19074 16327 0 -1 1077944384 11174 12291 0 0 953 205 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634995100688 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19134] ppid=19071 vsize=10999548 CPUtime=11.82 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19134/stat : 19134 (java) S 19071 19074 16327 0 -1 1077944384 15822 12291 0 0 975 197 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634994047376 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19135] ppid=19071 vsize=10999548 CPUtime=11.74 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19135/stat : 19135 (java) S 19071 19074 16327 0 -1 1077944384 13489 12291 0 0 958 206 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634992994576 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19136] ppid=19071 vsize=10999548 CPUtime=11.83 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19136/stat : 19136 (java) S 19071 19074 16327 0 -1 1077944384 11276 12291 0 0 970 203 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634991942288 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19137] ppid=19071 vsize=10999548 CPUtime=11.71 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19137/stat : 19137 (java) S 19071 19074 16327 0 -1 1077944384 13717 12291 0 0 957 204 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634990889488 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19138] ppid=19071 vsize=10999548 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19138/stat : 19138 (java) S 19071 19074 16327 0 -1 1077944384 34711 12291 0 0 62 10 7 3 20 0 20 0 4828910 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634865724016 140635391175298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19139] ppid=19071 vsize=10999548 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19139/stat : 19139 (java) S 19071 19074 16327 0 -1 1077944384 229 12291 0 0 1 0 7 3 20 0 20 0 4828911 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634864670112 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19140] ppid=19071 vsize=10999548 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19140/stat : 19140 (java) S 19071 19074 16327 0 -1 1077944384 51 12291 0 0 0 0 7 3 20 0 20 0 4828911 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634863617664 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19141] ppid=19071 vsize=10999548 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19141/stat : 19141 (java) S 19071 19074 16327 0 -1 1077944384 1 12291 0 0 0 0 7 3 20 0 20 0 4828915 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634862565968 140635391182747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19142] ppid=19071 vsize=10999548 CPUtime=11.45 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19142/stat : 19142 (java) S 19071 19074 16327 0 -1 1077944384 37841 12291 0 0 1128 7 7 3 20 0 20 0 4828915 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634861512816 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19143] ppid=19071 vsize=10999548 CPUtime=11.37 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19143/stat : 19143 (java) S 19071 19074 16327 0 -1 1077944384 45295 12291 0 0 1120 7 7 3 20 0 20 0 4828915 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634860460016 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19144] ppid=19071 vsize=10999548 CPUtime=11.86 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19144/stat : 19144 (java) S 19071 19074 16327 0 -1 1077944384 42601 12291 0 0 1170 6 7 3 20 0 20 0 4828915 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634859407728 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19145] ppid=19071 vsize=10999548 CPUtime=4.98 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19145/stat : 19145 (java) S 19071 19074 16327 0 -1 1077944384 63243 12291 0 0 477 11 7 3 20 0 20 0 4828915 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634858354928 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19146] ppid=19071 vsize=10999548 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19146/stat : 19146 (java) S 19071 19074 16327 0 -1 1077944384 3 12291 0 0 0 0 7 3 20 0 20 0 4828915 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634857302880 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19147] ppid=19071 vsize=10999548 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19147/stat : 19147 (java) S 19071 19074 16327 0 -1 1077944384 2432 12291 0 0 64 58 7 3 20 0 20 0 4828916 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634856250160 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
Current children cumulated CPU time (s) 2383.54
Current children cumulated vsize (KiB) 10999548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2278.4 s]
/proc/loadavg: 1.61 1.61 1.62 3/282 19387
/proc/meminfo: memFree=26880636/32770624 swapFree=5912/98520
[pid=19074] ppid=19071 vsize=10999548 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/19074/stat : 19074 (java) S 19071 19074 16327 0 -1 1077944320 548778 12291 0 0 238212 1778 7 3 20 0 20 0 4828895 11263537152 821554 33554432000 4194304 4196468 140732444416608 140732444399152 140635391164151 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
/proc/19074/statm: 2749887 821554 3531 1 0 2737442 0
[pid=19074/tid=19129] ppid=19071 vsize=10999548 CPUtime=2264.75 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19129/stat : 19129 (java) R 19071 19074 16327 0 -1 4202560 212587 12291 0 0 226397 68 7 3 20 0 20 0 4828906 11263537152 821554 33554432000 4194304 4196468 140732444416608 140635395398144 140635043614115 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19130] ppid=19071 vsize=10999548 CPUtime=11.88 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19130/stat : 19130 (java) S 19071 19074 16327 0 -1 1077944384 14497 12291 0 0 972 206 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140635349924752 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19131] ppid=19071 vsize=10999548 CPUtime=11.87 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19131/stat : 19131 (java) S 19071 19074 16327 0 -1 1077944384 13414 12291 0 0 976 201 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634997205776 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19132] ppid=19071 vsize=10999548 CPUtime=11.87 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19132/stat : 19132 (java) S 19071 19074 16327 0 -1 1077944384 14163 12291 0 0 973 204 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634996153488 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19133] ppid=19071 vsize=10999548 CPUtime=11.74 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19133/stat : 19133 (java) S 19071 19074 16327 0 -1 1077944384 11181 12291 0 0 959 205 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634995100688 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19134] ppid=19071 vsize=10999548 CPUtime=11.87 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19134/stat : 19134 (java) S 19071 19074 16327 0 -1 1077944384 15839 12291 0 0 980 197 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634994047376 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19135] ppid=19071 vsize=10999548 CPUtime=11.79 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19135/stat : 19135 (java) S 19071 19074 16327 0 -1 1077944384 13500 12291 0 0 963 206 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634992994576 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19136] ppid=19071 vsize=10999548 CPUtime=11.87 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19136/stat : 19136 (java) S 19071 19074 16327 0 -1 1077944384 11302 12291 0 0 974 203 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634991942288 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19137] ppid=19071 vsize=10999548 CPUtime=11.76 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19137/stat : 19137 (java) S 19071 19074 16327 0 -1 1077944384 13742 12291 0 0 962 204 7 3 20 0 20 0 4828907 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634990889488 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19138] ppid=19071 vsize=10999548 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19138/stat : 19138 (java) S 19071 19074 16327 0 -1 1077944384 34723 12291 0 0 62 10 7 3 20 0 20 0 4828910 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634865724016 140635391175298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19139] ppid=19071 vsize=10999548 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19139/stat : 19139 (java) S 19071 19074 16327 0 -1 1077944384 229 12291 0 0 1 0 7 3 20 0 20 0 4828911 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634864670112 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19140] ppid=19071 vsize=10999548 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19140/stat : 19140 (java) S 19071 19074 16327 0 -1 1077944384 51 12291 0 0 0 0 7 3 20 0 20 0 4828911 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634863617664 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19141] ppid=19071 vsize=10999548 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19141/stat : 19141 (java) S 19071 19074 16327 0 -1 1077944384 1 12291 0 0 0 0 7 3 20 0 20 0 4828915 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634862565968 140635391182747 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19142] ppid=19071 vsize=10999548 CPUtime=11.45 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19142/stat : 19142 (java) S 19071 19074 16327 0 -1 1077944384 37841 12291 0 0 1128 7 7 3 20 0 20 0 4828915 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634861512816 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19143] ppid=19071 vsize=10999548 CPUtime=11.37 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19143/stat : 19143 (java) S 19071 19074 16327 0 -1 1077944384 45295 12291 0 0 1120 7 7 3 20 0 20 0 4828915 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634860460016 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19144] ppid=19071 vsize=10999548 CPUtime=11.86 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19144/stat : 19144 (java) S 19071 19074 16327 0 -1 1077944384 42601 12291 0 0 1170 6 7 3 20 0 20 0 4828915 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634859407728 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19145] ppid=19071 vsize=10999548 CPUtime=4.98 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19145/stat : 19145 (java) S 19071 19074 16327 0 -1 1077944384 63243 12291 0 0 477 11 7 3 20 0 20 0 4828915 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634858354928 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19146] ppid=19071 vsize=10999548 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19146/stat : 19146 (java) S 19071 19074 16327 0 -1 1077944384 3 12291 0 0 0 0 7 3 20 0 20 0 4828915 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634857302880 140635391174357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
[pid=19074/tid=19147] ppid=19071 vsize=10999548 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/19074/task/19147/stat : 19147 (java) S 19071 19074 16327 0 -1 1077944384 2434 12291 0 0 65 58 7 3 20 0 20 0 4828916 11263537152 821554 33554432000 4194304 4196468 140732444416608 140634856250160 140635391175298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9949184 140732444420801 140732444423575 140732444423575 140732444426191 0
Current children cumulated CPU time (s) 2400
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 19074 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2278.46
CPU time (s): 2400.1
CPU user time (s): 2382.24
CPU system time (s): 17.853
CPU usage (%): 105.338
Max. virtual memory (cumulated for all children) (KiB): 10999548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2382.24
system time used= 17.853
maximum resident set size= 3294924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566985
page faults= 0
swaps= 0
block input operations= 32
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86763
involuntary context switches= 127084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4963 second user time and 18.396 second system time

The end

Launcher Data 

Begin job on node107 at 2017-07-22 05:53:13
IDJOB=4244737
IDBENCH=115882
IDSOLVER=2630
FILE ID=node107/4244737-1500695593
RUNJOBID= node107-1500682951-16358
PBS_JOBID= 20623334
Free space on /tmp= 61852 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-50.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244737-1500695593/watcher-4244737-1500695593 -o /tmp/evaluation-result-4244737-1500695593/solver-4244737-1500695593 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500682951-16358 --watchdog 2560  bin/concrete HOME/instance-4244737-1500695593.xml

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

MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d
RANDOM SEED=665228717

node107.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		: 1867.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.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.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.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.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.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.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.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30831580 kB
MemAvailable:   30971332 kB
Buffers:          178916 kB
Cached:           216440 kB
SwapCached:            0 kB
Active:          1294344 kB
Inactive:         153652 kB
Active(anon):    1006040 kB
Inactive(anon):    58556 kB
Active(file):     288304 kB
Inactive(file):    95096 kB
Unevictable:        5912 kB
Mlocked:            5912 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             23884 kB
Writeback:             0 kB
AnonPages:       1059176 kB
Mapped:            43812 kB
Shmem:              8852 kB
Slab:             178588 kB
SReclaimable:     144372 kB
SUnreclaim:        34216 kB
KernelStack:        4480 kB
PageTables:         7364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1868404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    808960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61828 MiB
End job on node107 at 2017-07-22 06:31:12