Trace number 4262771

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)565 2520.1399 2438.3501

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-47.xml
MD5SUMb40b46819fbd3a38fcaaee2fdd389509
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark2400.0601
Satisfiable
(Un)Satisfiability was proved
Number of variables2209
Number of constraints16215
Number of domains1
Minimum domain size1081
Maximum domain size1081
Distribution of domain sizes[{"size":1081,"count":1081}]
Minimum variable degree0
Maximum variable degree46
Distribution of variable degrees[{"degree":0,"count":1128},{"degree":46,"count":1081}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":16215}]
Number of extensional constraints0
Number of intensional constraints16215
Distribution of constraint types[{"type":"intension","count":16215}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

3.17/2.20	c Concrete v3.4 running
74.36/44.39	o 1080
81.07/49.59	o 1079
85.95/54.14	o 1078
90.46/58.59	o 1077
95.27/63.18	o 1076
100.14/67.64	o 1075
105.06/72.55	o 1074
110.34/77.54	o 1073
114.96/82.09	o 1072
119.52/86.52	o 1071
123.95/90.96	o 1070
128.57/95.43	o 1069
133.64/100.43	o 1068
138.17/104.89	o 1067
142.67/109.34	o 1066
147.07/113.79	o 1065
152.14/118.70	o 1064
157.04/123.65	o 1063
161.56/128.12	o 1062
166.07/132.63	o 1061
170.76/137.20	o 1060
175.26/141.73	o 1059
180.26/146.70	o 1058
184.66/151.16	o 1057
189.73/156.14	o 1056
194.63/161.07	o 1055
199.03/165.49	o 1054
204.03/170.45	o 1053
208.61/175.00	o 1052
213.13/179.42	o 1051
217.53/183.87	o 1050
222.43/188.75	o 1049
227.50/193.71	o 1048
231.91/198.14	o 1047
236.31/202.55	o 1046
240.81/207.01	o 1045
245.37/211.55	o 1044
249.80/215.98	o 1043
254.70/220.86	o 1042
259.20/225.31	o 1041
263.76/229.83	o 1040
268.66/234.72	o 1039
273.17/239.23	o 1038
278.07/244.13	o 1037
282.73/248.74	o 1036
287.23/253.21	o 1035
291.64/257.68	o 1034
296.14/262.18	o 1033
301.21/267.11	o 1032
305.61/271.57	o 1031
310.02/275.96	o 1030
314.92/280.86	o 1029
319.47/285.32	o 1028
324.27/290.19	o 1027
328.68/294.55	o 1026
333.08/298.92	o 1025
338.06/303.86	o 1024
342.47/308.26	o 1023
346.97/312.73	o 1022
351.37/317.20	o 1021
356.43/322.10	o 1020
361.32/327.03	o 1019
366.22/331.93	o 1018
370.79/336.45	o 1017
375.29/340.93	o 1016
379.70/345.38	o 1015
384.76/350.32	o 1014
389.16/354.72	o 1013
394.06/359.66	o 1012
399.11/364.61	o 1011
404.02/369.59	o 1010
408.53/374.06	o 1009
413.08/378.52	o 1008
417.49/382.97	o 1007
422.48/387.90	o 1006
427.04/392.40	o 1005
431.54/396.91	o 1004
435.94/401.37	o 1003
440.49/405.82	o 1002
444.90/410.28	o 1001
449.80/415.18	o 1000
454.86/420.16	o 999
459.26/424.57	o 998
463.82/429.02	o 997
468.24/433.46	o 996
473.23/438.40	o 995
477.69/442.89	o 994
482.20/447.37	o 993
486.76/451.84	o 992
491.16/456.26	o 991
496.33/461.36	o 990
500.83/465.82	o 989
505.29/470.24	o 988
509.80/474.71	o 987
514.30/479.23	o 986
518.86/483.73	o 985
523.26/488.14	o 984
528.13/492.98	o 983
533.20/497.94	o 982
537.60/502.36	o 981
542.16/506.86	o 980
547.16/511.81	o 979
552.12/516.78	o 978
557.19/521.76	o 977
562.09/526.66	o 976
567.15/531.61	o 975
571.62/536.08	o 974
576.12/540.53	o 973
581.09/545.44	o 972
585.66/549.93	o 971
590.13/554.39	o 970
594.63/558.83	o 969
599.20/563.32	o 968
604.27/568.33	o 967
608.86/572.82	o 966
613.86/577.73	o 965
618.95/582.74	o 964
623.54/587.25	o 963
628.15/591.74	o 962
632.79/596.22	o 961
637.29/600.69	o 960
641.98/605.20	o 959
646.48/609.66	o 958
651.38/614.52	o 957
655.89/618.97	o 956
660.49/623.48	o 955
665.10/627.94	o 954
669.61/632.37	o 953
674.74/637.32	o 952
679.75/642.26	o 951
684.86/647.26	o 950
689.46/651.78	o 949
694.17/656.30	o 948
698.78/660.83	o 947
703.77/665.79	o 946
708.27/670.27	o 945
712.89/674.71	o 944
717.47/679.23	o 943
722.66/684.21	o 942
727.25/688.71	o 941
731.84/693.23	o 940
736.34/697.68	o 939
741.45/702.61	o 938
746.07/707.11	o 937
750.72/711.61	o 936
755.22/716.09	o 935
759.92/720.60	o 934
764.91/725.56	o 933
770.01/730.53	o 932
774.52/735.04	o 931
779.50/739.99	o 930
784.18/744.51	o 929
789.17/749.48	o 928
793.74/753.97	o 927
798.83/758.96	o 926
803.97/763.95	o 925
808.55/768.47	o 924
813.12/772.96	o 923
817.68/777.42	o 922
822.74/782.44	o 921
827.23/786.87	o 920
831.69/791.28	o 919
836.81/796.26	o 918
841.36/800.76	o 917
845.86/805.19	o 916
850.48/809.69	o 915
855.05/814.14	o 914
860.04/819.09	o 913
865.19/824.05	o 912
869.79/828.55	o 911
874.39/833.05	o 910
878.99/837.54	o 909
883.61/842.00	o 908
888.07/846.45	o 907
893.85/851.24	o 906
898.86/856.18	o 905
903.92/861.14	o 904
908.49/865.64	o 903
912.97/870.10	o 902
918.12/875.02	o 901
922.69/879.51	o 900
927.18/883.97	o 899
931.69/888.41	o 898
936.69/893.31	o 897
941.33/897.81	o 896
945.92/902.31	o 895
950.43/906.77	o 894
954.93/911.23	o 893
959.45/915.65	o 892
964.54/920.60	o 891
969.05/925.17	o 890
974.15/930.10	o 889
979.17/935.06	o 888
983.68/939.54	o 887
988.30/944.04	o 886
993.42/949.01	o 885
998.32/953.93	o 884
1003.44/958.90	o 883
1007.85/963.36	o 882
1012.48/967.85	o 881
1016.98/972.31	o 880
1021.62/976.83	o 879
1026.02/981.28	o 878
1031.15/986.23	o 877
1036.06/991.14	o 876
1040.78/995.66	o 875
1045.28/1000.10	o 874
1049.97/1004.63	o 873
1054.37/1009.03	o 872
1059.27/1013.99	o 871
1064.03/1018.44	o 870
1068.43/1022.87	o 869
1073.25/1027.41	o 868
1077.65/1031.85	o 867
1082.55/1036.40	o 866
1086.95/1040.85	o 865
1091.34/1045.27	o 864
1096.61/1050.28	o 863
1101.12/1054.72	o 862
1105.95/1059.27	o 861
1110.45/1063.73	o 860
1114.86/1068.16	o 859
1119.65/1072.66	o 858
1124.54/1077.58	o 857
1129.52/1082.17	o 856
1134.43/1087.07	o 855
1138.93/1091.52	o 854
1143.76/1096.05	o 853
1148.17/1100.43	o 852
1152.57/1104.83	o 851
1157.99/1109.80	o 850
1162.39/1114.26	o 849
1167.31/1118.80	o 848
1171.71/1123.23	o 847
1176.11/1127.68	o 846
1181.16/1132.24	o 845
1186.06/1137.11	o 844
1190.46/1141.57	o 843
1195.39/1146.11	o 842
1199.79/1150.56	o 841
1204.19/1154.94	o 840
1209.10/1159.88	o 839
1214.57/1164.81	o 838
1218.97/1169.26	o 837
1223.37/1173.68	o 836
1228.81/1178.74	o 835
1233.21/1183.16	o 834
1237.71/1187.64	o 833
1243.31/1192.72	o 832
1248.12/1197.59	o 831
1252.62/1202.06	o 830
1257.02/1206.49	o 829
1262.48/1211.60	o 828
1266.98/1216.02	o 827
1271.89/1220.95	o 826
1276.90/1225.52	o 825
1281.31/1229.94	o 824
1286.31/1234.91	o 823
1290.71/1239.38	o 822
1295.73/1243.94	o 821
1300.63/1248.81	o 820
1305.44/1253.68	o 819
1310.80/1258.66	o 818
1315.70/1263.53	o 817
1320.62/1268.47	o 816
1325.58/1273.03	o 815
1329.98/1277.44	o 814
1334.89/1282.36	o 813
1339.29/1286.78	o 812
1344.78/1291.80	o 811
1349.18/1296.29	o 810
1353.68/1300.78	o 809
1358.19/1305.22	o 808
1362.97/1309.69	o 807
1367.47/1314.16	o 806
1372.38/1319.08	o 805
1377.37/1323.66	o 804
1382.27/1328.59	o 803
1386.77/1333.03	o 802
1391.99/1338.07	o 801
1396.69/1342.53	o 800
1401.09/1346.97	o 799
1405.49/1351.36	o 798
1410.50/1355.97	o 797
1415.01/1360.44	o 796
1419.93/1365.35	o 795
1424.43/1369.83	o 794
1429.85/1374.88	o 793
1434.35/1379.36	o 792
1438.86/1383.83	o 791
1443.78/1388.39	o 790
1448.27/1392.82	o 789
1453.18/1397.78	o 788
1457.68/1402.25	o 787
1462.71/1406.81	o 786
1467.11/1411.26	o 785
1472.02/1416.18	o 784
1477.03/1420.79	o 783
1482.04/1425.73	o 782
1486.44/1430.17	o 781
1490.95/1434.61	o 780
1495.96/1439.21	o 779
1500.36/1443.68	o 778
1504.86/1448.16	o 777
1510.39/1453.25	o 776
1515.28/1458.17	o 775
1519.79/1462.62	o 774
1524.19/1467.06	o 773
1529.22/1471.64	o 772
1534.12/1476.57	o 771
1539.12/1481.53	o 770
1545.73/1486.90	o 769
1550.12/1491.32	o 768
1554.52/1495.76	o 767
1559.11/1500.24	o 766
1564.02/1505.16	o 765
1568.43/1509.59	o 764
1572.92/1514.05	o 763
1577.54/1518.50	o 762
1581.94/1522.94	o 761
1586.84/1527.88	o 760
1591.48/1532.37	o 759
1596.38/1537.28	o 758
1601.28/1542.19	o 757
1605.78/1546.67	o 756
1610.44/1551.19	o 755
1615.45/1556.17	o 754
1620.45/1561.11	o 753
1625.11/1565.61	o 752
1629.51/1570.04	o 751
1633.91/1574.49	o 750
1638.41/1578.90	o 749
1643.11/1583.41	o 748
1647.51/1587.83	o 747
1651.92/1592.26	o 746
1657.14/1597.28	o 745
1661.65/1601.77	o 744
1666.14/1606.26	o 743
1670.54/1610.68	o 742
1675.78/1615.62	o 741
1680.18/1620.05	o 740
1685.09/1624.96	o 739
1689.84/1629.49	o 738
1694.34/1633.92	o 737
1699.25/1638.80	o 736
1703.65/1643.26	o 735
1708.43/1647.78	o 734
1712.94/1652.25	o 733
1717.84/1657.16	o 732
1723.15/1662.15	o 731
1727.55/1666.58	o 730
1732.06/1671.06	o 729
1737.06/1676.00	o 728
1741.88/1680.53	o 727
1746.78/1685.41	o 726
1751.19/1689.88	o 725
1756.12/1694.46	o 724
1761.02/1699.35	o 723
1765.43/1703.73	o 722
1769.83/1708.19	o 721
1774.82/1712.74	o 720
1779.22/1717.17	o 719
1784.22/1722.11	o 718
1789.63/1727.15	o 717
1794.12/1731.62	o 716
1799.03/1736.52	o 715
1803.93/1741.44	o 714
1808.94/1746.01	o 713
1813.34/1750.43	o 712
1817.75/1754.83	o 711
1822.77/1759.42	o 710
1827.18/1763.84	o 709
1832.08/1768.74	o 708
1836.98/1773.63	o 707
1841.90/1778.19	o 706
1846.80/1783.09	o 705
1851.31/1787.54	o 704
1856.23/1792.09	o 703
1860.73/1796.58	o 702
1865.63/1801.47	o 701
1870.73/1806.50	o 700
1875.75/1811.13	o 699
1880.66/1816.00	o 698
1885.48/1820.88	o 697
1890.50/1825.46	o 696
1895.00/1829.95	o 695
1899.50/1834.42	o 694
1904.85/1839.44	o 693
1909.34/1843.89	o 692
1913.84/1848.36	o 691
1918.34/1852.80	o 690
1923.76/1857.85	o 689
1928.27/1862.30	o 688
1933.18/1867.21	o 687
1938.59/1872.25	o 686
1943.00/1876.65	o 685
1947.51/1881.18	o 684
1952.50/1886.16	o 683
1957.53/1890.75	o 682
1961.93/1895.17	o 681
1966.43/1899.61	o 680
1971.35/1904.16	o 679
1975.96/1908.66	o 678
1980.86/1913.57	o 677
1985.77/1918.49	o 676
1990.79/1923.07	o 675
1995.18/1927.49	o 674
2000.19/1932.40	o 673
2005.10/1936.99	o 672
2009.60/1941.41	o 671
2014.00/1945.82	o 670
2018.92/1950.71	o 669
2024.25/1955.69	o 668
2029.16/1960.55	o 667
2033.64/1964.97	o 666
2038.66/1969.56	o 665
2043.56/1974.42	o 664
2047.96/1978.85	o 663
2052.47/1983.31	o 662
2057.39/1987.85	o 661
2061.79/1992.28	o 660
2066.29/1996.70	o 659
2071.72/2001.74	o 658
2076.52/2006.59	o 657
2081.52/2011.53	o 656
2085.92/2015.95	o 655
2091.34/2020.99	o 654
2096.35/2025.90	o 653
2101.25/2030.82	o 652
2106.66/2035.87	o 651
2111.56/2040.79	o 650
2116.06/2045.20	o 649
2120.46/2049.66	o 648
2125.49/2054.23	o 647
2129.99/2058.70	o 646
2134.79/2063.58	o 645
2140.30/2068.62	o 644
2144.71/2073.07	o 643
2149.61/2077.96	o 642
2154.02/2082.37	o 641
2159.03/2086.90	o 640
2163.43/2091.33	o 639
2167.83/2095.77	o 638
2173.25/2100.78	o 637
2178.15/2105.64	o 636
2182.56/2110.07	o 635
2186.96/2114.49	o 634
2192.48/2119.55	o 633
2196.88/2123.98	o 632
2201.88/2128.93	o 631
2206.83/2133.48	o 630
2211.73/2138.40	o 629
2216.23/2142.83	o 628
2220.64/2147.25	o 627
2226.15/2152.31	o 626
2230.55/2156.72	o 625
2234.95/2161.15	o 624
2240.49/2166.22	o 623
2244.90/2170.62	o 622
2249.30/2175.03	o 621
2253.70/2179.49	o 620
2259.22/2184.54	o 619
2264.12/2189.44	o 618
2268.52/2193.89	o 617
2273.02/2198.32	o 616
2277.94/2202.86	o 615
2282.34/2207.28	o 614
2286.85/2211.70	o 613
2292.28/2216.70	o 612
2297.08/2221.58	o 611
2301.99/2226.49	o 610
2306.89/2231.36	o 609
2311.92/2235.95	o 608
2316.83/2240.84	o 607
2321.23/2245.27	o 606
2326.24/2249.85	o 605
2331.14/2254.75	o 604
2335.54/2259.18	o 603
2340.48/2264.07	o 602
2346.00/2269.11	o 601
2350.81/2273.99	o 600
2355.71/2278.85	o 599
2361.23/2283.91	o 598
2365.63/2288.36	o 597
2370.14/2292.82	o 596
2374.54/2297.25	o 595
2379.58/2301.81	o 594
2383.99/2306.25	o 593
2388.39/2310.69	o 592
2393.73/2315.78	o 591
2398.93/2320.72	o 590
2403.34/2325.18	o 589
2407.76/2329.57	o 588
2413.30/2334.65	o 587
2417.71/2339.09	o 586
2422.21/2343.53	o 585
2426.61/2347.97	o 584
2431.65/2352.58	o 583
2436.55/2357.48	o 582
2441.06/2361.96	o 581
2446.10/2366.54	o 580
2451.00/2371.47	o 579
2455.91/2376.37	o 578
2460.81/2381.29	o 577
2465.83/2385.88	o 576
2470.33/2390.34	o 575
2474.74/2394.76	o 574
2479.64/2399.34	o 573
2484.67/2404.22	o 572
2489.07/2408.68	o 571
2493.57/2413.14	o 570
2499.67/2418.00	o 569
2504.58/2422.90	o 568
2508.98/2427.36	o 567
2513.48/2431.83	o 566
2518.08/2436.32	o 565
2520.08/2438.30	java.util.concurrent.TimeoutException
2520.08/2438.30		at concrete.MAC.mac(MAC.scala:74)
2520.08/2438.30		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.08/2438.30		at scala.util.Try$.apply(Try.scala:209)
2520.08/2438.30		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.08/2438.30		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.08/2438.30		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.08/2438.30		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.08/2438.30		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.08/2438.30		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.08/2438.30		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.08/2438.30		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.08/2438.30		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.08/2438.30		at concrete.MAC.oneRun(MAC.scala:146)
2520.08/2438.30		at concrete.MAC.nextSolution(MAC.scala:166)
2520.08/2438.30		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.08/2438.30		at concrete.ProblemState.map(ProblemState.scala:203)
2520.08/2438.30		at concrete.ProblemState.map(ProblemState.scala:188)
2520.08/2438.30		at concrete.MAC.nextSolution(MAC.scala:195)
2520.08/2438.30		at concrete.Solver.hasNext(Solver.scala:202)
2520.08/2438.30		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.08/2438.30		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.08/2438.30		at concrete.Solver.toStream(Solver.scala:73)
2520.08/2438.30		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.08/2438.30		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.08/2438.30		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.08/2438.30		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.08/2438.30		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.08/2438.30		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.08/2438.30		at scala.util.Success.map(Try.scala:209)
2520.08/2438.30		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.08/2438.30		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.08/2438.30		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.08/2438.30		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.08/2438.30		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.08/2438.30		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.08/2438.30		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.08/2438.30		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.08/2438.30		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.08/2438.30		at scala.collection.immutable.List.foreach(List.scala:389)
2520.08/2438.30		at scala.App.main(App.scala:76)
2520.08/2438.30		at scala.App.main$(App.scala:74)
2520.08/2438.30		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.08/2438.30		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2438.31	v <instantiation cost="565">
2520.08/2438.31	v       <list>
2520.08/2438.31	v         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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[42][43] x[42][44] x[42][45] x[42][46] x[43][44] x[43][45] x[43][46] x[44][45] x[44][46] x[45][46]
2520.08/2438.31	v       </list>
2520.08/2438.31	v       <values>
2520.08/2438.31	v         563 564 565 564 564 562 565 565 565 562 560 562 562 565 563 565 562 565 561 563 565 563 562 561 562 563 561 565 564 562 563 564 562 562 561 563 564 561 564 565 563 564 560 561 564 563 564 561 564 563 565 561 565 564 561 561 563 562 565 564 563 564 564 563 564 565 564 562 564 562 562 561 563 564 565 560 565 563 562 563 560 565 561 565 563 562 562 561 563 565 562 565 561 565 564 563 563 565 565 563 563 563 561 562 563 561 562 564 562 562 562 564 562 565 564 561 565 563 564 564 561 562 565 563 561 560 562 563 564 561 562 564 565 565 565 564 564 565 563 562 564 562 562 565 564 563 562 563 564 563 564 561 562 565 563 561 562 565 563 560 565 565 562 565 565 564 562 561 564 564 561 564 565 561 564 563 563 561 561 561 564 562 565 562 561 564 563 565 562 564 562 563 565 562 564 560 563 565 564 565 564 564 563 565 564 563 565 563 565 564 563 562 560 562 564 565 562 563 565 561 564 564 565 560 564 565 565 563 563 564 562 565 565 562 563 564 561 564 565 562 560 563 564 561 560 561 563 565 562 564 564 563 563 561 562 562 563 560 561 563 562 565 564 565 565 563 561 561 561 562 560 565 565 565 564 563 563 561 564 561 563 565 561 561 563 561 564 564 563 562 565 564 562 563 563 564 564 563 565 560 562 564 561 562 565 562 564 564 562 560 563 562 563 563 562 564 561 564 562 564 560 563 565 564 565 563 562 565 561 560 565 565 561 564 563 563 565 564 565 565 562 565 564 564 565 563 560 562 561 563 564 561 564 561 565 563 561 565 563 564 561 562 561 563 562 562 565 564 563 563 564 560 562 562 565 561 564 562 564 563 563 565 564 562 564 561 562 563 563 564 565 565 561 562 564 564 564 563 559 561 563 561 561 564 564 563 563 564 562 565 563 565 563 564 563 563 563 563 560 565 563 561 561 564 563 561 562 563 562 564 561 563 563 565 565 565 563 564 564 563 562 564 564 562 564 565 565 560 563 563 562 562 564 564 565 564 563 563 565 562 565 561 562 564 564 560 564 565 561 565 564 561 563 564 561 563 564 564 561 562 565 565 564 565 562 562 565 564 564 562 563 563 561 561 563 561 565 564 560 562 565 560 560 564 563 564 560 565 562 563 564 564 562 564 562 565 563 565 561 565 562 564 565 565 562 565 561 564 563 564 562 563 563 561 562 565 565 565 564 564 561 562 565 562 560 564 563 563 564 563 562 565 563 565 561 564 564 564 564 561 563 565 561 565 562 560 560 565 563 563 560 563 563 563 562 561 562 562 563 565 564 563 561 562 565 565 565 563 561 561 561 565 563 563 564 564 564 562 561 563 564 563 560 561 563 562 562 563 562 565 561 560 564 562 564 564 564 564 564 561 563 563 564 565 560 563 561 562 562 564 563 564 565 563 565 562 563 562 561 564 561 565 565 565 561 565 562 562 560 565 563 563 562 564 563 564 562 562 563 564 562 564 565 564 564 565 563 561 561 565 565 565 563 564 565 563 563 564 565 562 561 564 565 561 563 565 562 564 561 561 562 561 562 565 564 563 563 565 565 565 564 562 564 565 563 564 563 564 565 563 563 561 564 563 561 565 561 563 562 562 562 565 565 565 560 561 562 564 563 564 563 565 565 565 563 564 565 564 562 563 564 562 563 564 562 564 562 561 564 564 565 565 563 562 564 565 565 565 564 561 562 565 563 564 564 561 563 565 564 563 562 564 563 562 564 563 563 564 563 562 563 562 561 562 562 563 563 563 562 562 564 564 565 565 565 564 565 564 561 564 564 561 565 564 561 564 564 561 564 565 562 565 560 565 563 564 562 561 564 564 563 563 564 563 563 562 565 563 562 563 562 563 565 562 565 565 563 565 564 565 565 565 564 563 562 563 563 563 564 563 561 565 563 564 564 563 564 561 563 563 565 563 562 564 561 561 564 565 560 563 561 565 562 563 561 565 564 564 565 563 565 564 565 561 562 564 564 562 565 561 565 565 564 564 563 564 562 562 565 563 561 562 565 565 563 564 563 564 562 563 565 563 565 564 564 562 561 563 565 565 561 561 562 564 565 564 562 562 563 564 560 564 562 565 564 561 564 562 565 564 562 561 560 563 562 561 562 564 565 564 564 563 565 560 562 564 563 565 562 564 563 564 565 562 565 562 562 563 563 562 561 564 561 563 561 562 563 564 565 564 561 561 563 563 562 565 565 565 562 565 560 562 565 562 565 562 565 563 559 564 562 563 564 562 563 561 563 565 565 563 564 562 564 561 564 563 565 564 560 564 565 564 561 564 562 564 564 561 565 563 562 563 564 563 563 564 562 563 563 563 562 563 565 562 561 564 563 562 565 563 562 564 561 562 565 565 565 565 563 565 564 565 565 565 565 565 561 564 561 565 564 564 562 561 560 564 563 562 564 562 563
2520.08/2438.31	v       </values>
2520.08/2438.31	v     </instantiation>
2520.08/2438.31	s SATISFIABLE

Verifier Data 

OK	565

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-4262771-1502491677/watcher-4262771-1502491677 -o /tmp/evaluation-result-4262771-1502491677/solver-4262771-1502491677 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502411413-16612 --watchdog 2580 bin/concrete HOME/instance-4262771-1502491677.xml 

pid=1024
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.58 1.49 1.44 4/195 1027
/proc/meminfo: memFree=30375372/32770624 swapFree=0/320320
[pid=1027] ppid=1024 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (runsolver) D 1024 1027 16548 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 51363265 24240128 618 18446744073709551615 4194304 4338465 140727322128624 140727322126264 140272494088919 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 32002048 140727322132688 140727322133065 140727322133065 140727322136522 0
/proc/1027/statm: 5918 618 54 36 0 2156 0

[startup+0.100115 s]
/proc/loadavg: 1.58 1.49 1.44 4/195 1027
/proc/meminfo: memFree=30375372/32770624 swapFree=0/320320
[pid=1027] ppid=1024 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/1027/stat : 1027 (bash) S 1024 1027 16548 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 51363265 9736192 351 18446744073709551615 4194304 5098028 140726279598800 140726279596440 139654027828224 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 9 0 0 7196144 7232144 13746176 140726279602708 140726279602793 140726279602793 140726279606250 0
/proc/1027/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200265 s]
/proc/loadavg: 1.58 1.49 1.44 4/195 1027
/proc/meminfo: memFree=30375372/32770624 swapFree=0/320320
[pid=1027] ppid=1024 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/1027/stat : 1027 (bash) S 1024 1027 16548 0 -1 4202496 896 6479 0 0 0 0 0 1 20 0 1 0 51363265 9867264 377 18446744073709551615 4194304 5098028 140726279598800 140726279592808 139654027828224 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 9 0 0 7196144 7232144 13746176 140726279602708 140726279602793 140726279602793 140726279606250 0
/proc/1027/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300298 s]
/proc/loadavg: 1.58 1.49 1.44 4/195 1027
/proc/meminfo: memFree=30375372/32770624 swapFree=0/320320
[pid=1027] ppid=1024 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/1027/stat : 1027 (java) S 1024 1027 16548 0 -1 1077944320 5823 12490 0 0 5 1 5 3 20 0 14 0 51363265 14241083392 5503 18446744073709551615 4194304 4196468 140733515011616 140733514994160 140092894060279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
/proc/1027/statm: 3476827 5503 2571 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.710083 s]
/proc/loadavg: 1.58 1.49 1.44 4/195 1027
/proc/meminfo: memFree=30375372/32770624 swapFree=0/320320
[pid=1027] ppid=1024 vsize=13974784 CPUtime=0.69 cores=1,3,5,7
/proc/1027/stat : 1027 (java) S 1024 1027 16548 0 -1 1077944320 13954 12490 0 0 56 5 5 3 20 0 15 0 51363265 14310178816 14349 18446744073709551615 4194304 4196468 140733515011616 140733514994160 140092894060279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
/proc/1027/statm: 3493696 14349 3122 1 0 3482965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784

[startup+1.50305 s]
/proc/loadavg: 1.54 1.48 1.44 4/210 1091
/proc/meminfo: memFree=30283720/32770624 swapFree=0/320308
[pid=1027] ppid=1024 vsize=13985408 CPUtime=1.91 cores=1,3,5,7
/proc/1027/stat : 1027 (java) S 1024 1027 16548 0 -1 1077944320 28506 12490 0 0 172 11 5 3 20 0 15 0 51363265 14321057792 39571 18446744073709551615 4194304 4196468 140733515011616 140733514994160 140092894060279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
/proc/1027/statm: 3496352 39571 3352 1 0 3485525 0
[pid=1027/tid=1077] ppid=1024 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/1027/task/1077/stat : 1077 (java) S 1024 1027 16548 0 -1 1077944384 22665 12490 0 0 114 7 5 3 20 0 15 0 51363287 14321057792 39571 18446744073709551615 4194304 4196468 140733515011616 140092898278896 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1078] ppid=1024 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1078/stat : 1078 (java) S 1024 1027 16548 0 -1 1077944384 37 12490 0 0 0 0 5 3 20 0 15 0 51363288 14321057792 39571 18446744073709551615 4194304 4196468 140733515011616 140092851026704 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1079] ppid=1024 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1079/stat : 1079 (java) S 1024 1027 16548 0 -1 1077944384 200 12490 0 0 0 0 5 3 20 0 15 0 51363288 14321057792 39571 18446744073709551615 4194304 4196468 140733515011616 140092849974160 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1080] ppid=1024 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1080/stat : 1080 (java) S 1024 1027 16548 0 -1 1077944384 47 12490 0 0 0 0 5 3 20 0 15 0 51363288 14321057792 39597 18446744073709551615 4194304 4196468 140733515011616 140092848921616 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1081] ppid=1024 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1081/stat : 1081 (java) S 1024 1027 16548 0 -1 1077944384 68 12490 0 0 0 0 5 3 20 0 15 0 51363288 14321057792 39597 18446744073709551615 4194304 4196468 140733515011616 140092847869072 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1082] ppid=1024 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1082/stat : 1082 (java) R 1024 1027 16548 0 -1 4202560 71 12490 0 0 0 0 5 3 20 0 15 0 51363289 14321057792 39597 18446744073709551615 4194304 4196468 140733515011616 140092439679296 140092873691208 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1083] ppid=1024 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1083/stat : 1083 (java) S 1024 1027 16548 0 -1 1077944384 33 12490 0 0 0 0 5 3 20 0 15 0 51363290 14321057792 39597 18446744073709551615 4194304 4196468 140733515011616 140092370838432 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1084] ppid=1024 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1084/stat : 1084 (java) S 1024 1027 16548 0 -1 1077944384 21 12490 0 0 0 0 5 3 20 0 15 0 51363290 14321057792 39597 18446744073709551615 4194304 4196468 140733515011616 140092369785840 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1085] ppid=1024 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1085/stat : 1085 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14321057792 39597 18446744073709551615 4194304 4196468 140733515011616 140092368734416 140092894078875 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1086] ppid=1024 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/1027/task/1086/stat : 1086 (java) S 1024 1027 16548 0 -1 1077944384 1065 12490 0 0 17 0 5 3 20 0 15 0 51363293 14321057792 39597 18446744073709551615 4194304 4196468 140733515011616 140092367682032 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1087] ppid=1024 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/1027/task/1087/stat : 1087 (java) S 1024 1027 16548 0 -1 1077944384 800 12490 0 0 15 0 5 3 20 0 15 0 51363293 14321057792 39597 18446744073709551615 4194304 4196468 140733515011616 140092366629488 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1088] ppid=1024 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/1027/task/1088/stat : 1088 (java) S 1024 1027 16548 0 -1 1077944384 1336 12490 0 0 23 0 5 3 20 0 15 0 51363293 14321057792 39597 18446744073709551615 4194304 4196468 140733515011616 140092365572880 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1090] ppid=1024 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1090/stat : 1090 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14321057792 39597 18446744073709551615 4194304 4196468 140733515011616 140092364524640 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1091] ppid=1024 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1091/stat : 1091 (java) S 1024 1027 16548 0 -1 1077944384 10 12490 0 0 0 0 5 3 20 0 15 0 51363297 14321057792 39597 18446744073709551615 4194304 4196468 140733515011616 140092363471152 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13985408

[startup+3.10108 s]
/proc/loadavg: 1.54 1.48 1.44 4/210 1091
/proc/meminfo: memFree=30205768/32770624 swapFree=0/320340
[pid=1027] ppid=1024 vsize=13995836 CPUtime=6.22 cores=1,3,5,7
/proc/1027/stat : 1027 (java) S 1024 1027 16548 0 -1 1077944320 43043 12490 0 0 596 18 5 3 20 0 15 0 51363265 14331736064 71579 18446744073709551615 4194304 4196468 140733515011616 140733514994160 140092894060279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
/proc/1027/statm: 3498959 71579 3457 1 0 3487573 0
[pid=1027/tid=1077] ppid=1024 vsize=13995836 CPUtime=2.84 cores=1,3,5,7
/proc/1027/task/1077/stat : 1077 (java) R 1024 1027 16548 0 -1 4202560 28221 12490 0 0 267 9 5 3 20 0 15 0 51363287 14331736064 71579 18446744073709551615 4194304 4196468 140733515011616 140092898292928 140092877434655 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1078] ppid=1024 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/1027/task/1078/stat : 1078 (java) S 1024 1027 16548 0 -1 1077944384 62 12490 0 0 1 0 5 3 20 0 15 0 51363288 14331736064 71579 18446744073709551615 4194304 4196468 140733515011616 140092851026704 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1079] ppid=1024 vsize=13995836 CPUtime=0.1 cores=1,3,5,7
/proc/1027/task/1079/stat : 1079 (java) S 1024 1027 16548 0 -1 1077944384 224 12490 0 0 2 0 5 3 20 0 15 0 51363288 14331736064 71579 18446744073709551615 4194304 4196468 140733515011616 140092849974160 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1080] ppid=1024 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/1027/task/1080/stat : 1080 (java) S 1024 1027 16548 0 -1 1077944384 166 12490 0 0 1 0 5 3 20 0 15 0 51363288 14331736064 71579 18446744073709551615 4194304 4196468 140733515011616 140092848921616 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1081] ppid=1024 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/1027/task/1081/stat : 1081 (java) S 1024 1027 16548 0 -1 1077944384 94 12490 0 0 1 0 5 3 20 0 15 0 51363288 14331736064 71579 18446744073709551615 4194304 4196468 140733515011616 140092847869072 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1082] ppid=1024 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/1027/task/1082/stat : 1082 (java) S 1024 1027 16548 0 -1 1077944384 1759 12490 0 0 1 0 5 3 20 0 15 0 51363289 14331736064 71579 18446744073709551615 4194304 4196468 140733515011616 140092439681008 140092894071426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1083] ppid=1024 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1083/stat : 1083 (java) S 1024 1027 16548 0 -1 1077944384 56 12490 0 0 0 0 5 3 20 0 15 0 51363290 14331736064 71579 18446744073709551615 4194304 4196468 140733515011616 140092370838496 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1084] ppid=1024 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1084/stat : 1084 (java) S 1024 1027 16548 0 -1 1077944384 43 12490 0 0 0 0 5 3 20 0 15 0 51363290 14331736064 71579 18446744073709551615 4194304 4196468 140733515011616 140092369785856 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1085] ppid=1024 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1085/stat : 1085 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14331736064 71579 18446744073709551615 4194304 4196468 140733515011616 140092368734416 140092894078875 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1086] ppid=1024 vsize=13995836 CPUtime=1.29 cores=1,3,5,7
/proc/1027/task/1086/stat : 1086 (java) R 1024 1027 16548 0 -1 4202560 4207 12490 0 0 120 1 5 3 20 0 15 0 51363293 14331736064 71579 18446744073709551615 4194304 4196468 140733515011616 140092367668576 140092877272509 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1087] ppid=1024 vsize=13995836 CPUtime=1.12 cores=1,3,5,7
/proc/1027/task/1087/stat : 1087 (java) R 1024 1027 16548 0 -1 4202560 2160 12490 0 0 103 1 5 3 20 0 15 0 51363293 14331736064 71579 18446744073709551615 4194304 4196468 140733515011616 140092366616272 140092877272773 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1088] ppid=1024 vsize=13995836 CPUtime=1.04 cores=1,3,5,7
/proc/1027/task/1088/stat : 1088 (java) R 1024 1027 16548 0 -1 4202560 3877 12490 0 0 95 1 5 3 20 0 15 0 51363293 14331736064 71579 18446744073709551615 4194304 4196468 140733515011616 140092365576944 140092894081626 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1090] ppid=1024 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1090/stat : 1090 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14331736064 71579 18446744073709551615 4194304 4196468 140733515011616 140092364524640 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1091] ppid=1024 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1091/stat : 1091 (java) S 1024 1027 16548 0 -1 1077944384 13 12490 0 0 0 0 5 3 20 0 15 0 51363297 14331736064 71579 18446744073709551615 4194304 4196468 140733515011616 140092363471152 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 13995836

[startup+6.3007 s]
/proc/loadavg: 1.57 1.49 1.44 5/210 1091
/proc/meminfo: memFree=29959320/32770624 swapFree=0/320344
[pid=1027] ppid=1024 vsize=13997884 CPUtime=16.43 cores=1,3,5,7
/proc/1027/stat : 1027 (java) S 1024 1027 16548 0 -1 1077944320 64160 12490 0 0 1602 33 5 3 20 0 15 0 51363265 14333833216 147437 18446744073709551615 4194304 4196468 140733515011616 140733514994160 140092894060279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
/proc/1027/statm: 3499471 147437 3478 1 0 3488085 0
[pid=1027/tid=1077] ppid=1024 vsize=13997884 CPUtime=5.8 cores=1,3,5,7
/proc/1027/task/1077/stat : 1077 (java) R 1024 1027 16548 0 -1 4202560 30929 12490 0 0 560 12 5 3 20 0 15 0 51363287 14333833216 147437 18446744073709551615 4194304 4196468 140733515011616 140092898291056 140092526787764 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1078] ppid=1024 vsize=13997884 CPUtime=0.25 cores=1,3,5,7
/proc/1027/task/1078/stat : 1078 (java) S 1024 1027 16548 0 -1 1077944384 301 12490 0 0 14 3 5 3 20 0 15 0 51363288 14333833216 147437 18446744073709551615 4194304 4196468 140733515011616 140092851026704 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1079] ppid=1024 vsize=13997884 CPUtime=0.26 cores=1,3,5,7
/proc/1027/task/1079/stat : 1079 (java) S 1024 1027 16548 0 -1 1077944384 1288 12490 0 0 16 2 5 3 20 0 15 0 51363288 14333833216 147437 18446744073709551615 4194304 4196468 140733515011616 140092849974160 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1080] ppid=1024 vsize=13997884 CPUtime=0.23 cores=1,3,5,7
/proc/1027/task/1080/stat : 1080 (java) S 1024 1027 16548 0 -1 1077944384 292 12490 0 0 13 2 5 3 20 0 15 0 51363288 14333833216 147437 18446744073709551615 4194304 4196468 140733515011616 140092848921616 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1081] ppid=1024 vsize=13997884 CPUtime=0.23 cores=1,3,5,7
/proc/1027/task/1081/stat : 1081 (java) S 1024 1027 16548 0 -1 1077944384 232 12490 0 0 13 2 5 3 20 0 15 0 51363288 14333833216 147437 18446744073709551615 4194304 4196468 140733515011616 140092847869072 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1082] ppid=1024 vsize=13997884 CPUtime=0.1 cores=1,3,5,7
/proc/1027/task/1082/stat : 1082 (java) S 1024 1027 16548 0 -1 1077944384 2794 12490 0 0 2 0 5 3 20 0 15 0 51363289 14333833216 147437 18446744073709551615 4194304 4196468 140733515011616 140092439681008 140092894071426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1083] ppid=1024 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1083/stat : 1083 (java) S 1024 1027 16548 0 -1 1077944384 66 12490 0 0 0 0 5 3 20 0 15 0 51363290 14333833216 147437 18446744073709551615 4194304 4196468 140733515011616 140092370838496 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1084] ppid=1024 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1084/stat : 1084 (java) S 1024 1027 16548 0 -1 1077944384 57 12490 0 0 0 0 5 3 20 0 15 0 51363290 14333833216 147437 18446744073709551615 4194304 4196468 140733515011616 140092369785856 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1085] ppid=1024 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1085/stat : 1085 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14333833216 147437 18446744073709551615 4194304 4196468 140733515011616 140092368734416 140092894078875 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1086] ppid=1024 vsize=13997884 CPUtime=4.29 cores=1,3,5,7
/proc/1027/task/1086/stat : 1086 (java) R 1024 1027 16548 0 -1 4202560 13742 12490 0 0 419 2 5 3 20 0 15 0 51363293 14333833216 147437 18446744073709551615 4194304 4196468 140733515011616 140092367681840 140092877546253 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1087] ppid=1024 vsize=13997884 CPUtime=4.31 cores=1,3,5,7
/proc/1027/task/1087/stat : 1087 (java) R 1024 1027 16548 0 -1 4202560 2538 12490 0 0 422 1 5 3 20 0 15 0 51363293 14333833216 147437 18446744073709551615 4194304 4196468 140733515011616 140092366607648 140092874782237 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1088] ppid=1024 vsize=13997884 CPUtime=1.48 cores=1,3,5,7
/proc/1027/task/1088/stat : 1088 (java) S 1024 1027 16548 0 -1 1077944384 9595 12490 0 0 137 3 5 3 20 0 15 0 51363293 14333833216 147437 18446744073709551615 4194304 4196468 140733515011616 140092365576944 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1090] ppid=1024 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1090/stat : 1090 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14333833216 147437 18446744073709551615 4194304 4196468 140733515011616 140092364524640 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1091] ppid=1024 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1091/stat : 1091 (java) S 1024 1027 16548 0 -1 1077944384 165 12490 0 0 0 0 5 3 20 0 15 0 51363297 14333833216 147437 18446744073709551615 4194304 4196468 140733515011616 140092363471152 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
Current children cumulated CPU time (s) 16.43
Current children cumulated vsize (KiB) 13997884

[startup+12.7007 s]
/proc/loadavg: 1.77 1.53 1.46 3/210 1091
/proc/meminfo: memFree=28707516/32770624 swapFree=0/320344
[pid=1027] ppid=1024 vsize=13997884 CPUtime=27.86 cores=1,3,5,7
/proc/1027/stat : 1027 (java) S 1024 1027 16548 0 -1 1077944320 73198 12490 0 0 2707 71 5 3 20 0 15 0 51363265 14333833216 419738 18446744073709551615 4194304 4196468 140733515011616 140733514994160 140092894060279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
/proc/1027/statm: 3499471 419738 3480 1 0 3488085 0
[pid=1027/tid=1077] ppid=1024 vsize=13997884 CPUtime=11.85 cores=1,3,5,7
/proc/1027/task/1077/stat : 1077 (java) R 1024 1027 16548 0 -1 4202560 32934 12490 0 0 1154 23 5 3 20 0 15 0 51363287 14333833216 419738 18446744073709551615 4194304 4196468 140733515011616 140092898292736 140092532944775 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1078] ppid=1024 vsize=13997884 CPUtime=0.58 cores=1,3,5,7
/proc/1027/task/1078/stat : 1078 (java) S 1024 1027 16548 0 -1 1077944384 621 12490 0 0 41 9 5 3 20 0 15 0 51363288 14333833216 419738 18446744073709551615 4194304 4196468 140733515011616 140092851026704 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1079] ppid=1024 vsize=13997884 CPUtime=0.57 cores=1,3,5,7
/proc/1027/task/1079/stat : 1079 (java) S 1024 1027 16548 0 -1 1077944384 1502 12490 0 0 40 9 5 3 20 0 15 0 51363288 14333833216 419738 18446744073709551615 4194304 4196468 140733515011616 140092849974160 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1080] ppid=1024 vsize=13997884 CPUtime=0.5 cores=1,3,5,7
/proc/1027/task/1080/stat : 1080 (java) S 1024 1027 16548 0 -1 1077944384 557 12490 0 0 34 8 5 3 20 0 15 0 51363288 14333833216 419738 18446744073709551615 4194304 4196468 140733515011616 140092848921616 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1081] ppid=1024 vsize=13997884 CPUtime=0.52 cores=1,3,5,7
/proc/1027/task/1081/stat : 1081 (java) S 1024 1027 16548 0 -1 1077944384 483 12490 0 0 36 8 5 3 20 0 15 0 51363288 14333833216 419738 18446744073709551615 4194304 4196468 140733515011616 140092847869072 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1082] ppid=1024 vsize=13997884 CPUtime=0.11 cores=1,3,5,7
/proc/1027/task/1082/stat : 1082 (java) S 1024 1027 16548 0 -1 1077944384 3515 12490 0 0 3 0 5 3 20 0 15 0 51363289 14333833216 419738 18446744073709551615 4194304 4196468 140733515011616 140092439681008 140092894071426 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1083] ppid=1024 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1083/stat : 1083 (java) S 1024 1027 16548 0 -1 1077944384 66 12490 0 0 0 0 5 3 20 0 15 0 51363290 14333833216 419738 18446744073709551615 4194304 4196468 140733515011616 140092370838496 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1084] ppid=1024 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1084/stat : 1084 (java) S 1024 1027 16548 0 -1 1077944384 58 12490 0 0 0 0 5 3 20 0 15 0 51363290 14333833216 419738 18446744073709551615 4194304 4196468 140733515011616 140092369785856 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1085] ppid=1024 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1085/stat : 1085 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14333833216 419738 18446744073709551615 4194304 4196468 140733515011616 140092368734416 140092894078875 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0

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

/proc/1027/task/1090/stat : 1090 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14407233536 1152190 18446744073709551615 4194304 4196468 140733515011616 140092364524640 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1091] ppid=1024 vsize=14069564 CPUtime=1.33 cores=1,3,5,7
/proc/1027/task/1091/stat : 1091 (java) S 1024 1027 16548 0 -1 1077944384 1867 12490 0 0 51 74 5 3 20 0 15 0 51363297 14407233536 1152190 18446744073709551615 4194304 4196468 140733515011616 140092363471152 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
Current children cumulated CPU time (s) 2338.74
Current children cumulated vsize (KiB) 14069564

[startup+2322.3 s]
/proc/loadavg: 2.00 1.81 1.73 3/210 1392
/proc/meminfo: memFree=23381596/32770624 swapFree=0/320808
[pid=1027] ppid=1024 vsize=14069564 CPUtime=2400.53 cores=1,3,5,7
/proc/1027/stat : 1027 (java) S 1024 1027 16548 0 -1 1077944320 534520 12490 0 0 239576 469 5 3 20 0 15 0 51363265 14407233536 1166014 18446744073709551615 4194304 4196468 140733515011616 140733514994160 140092894060279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
/proc/1027/statm: 3517391 1166014 3506 1 0 3506005 0
[pid=1027/tid=1077] ppid=1024 vsize=14069564 CPUtime=2303.89 cores=1,3,5,7
/proc/1027/task/1077/stat : 1077 (java) R 1024 1027 16548 0 -1 4202560 232702 12490 0 0 230296 85 5 3 20 0 15 0 51363287 14407233536 1166014 18446744073709551615 4194304 4196468 140733515011616 140092898289648 140092522961743 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1078] ppid=1024 vsize=14069564 CPUtime=17.19 cores=1,3,5,7
/proc/1027/task/1078/stat : 1078 (java) S 1024 1027 16548 0 -1 1077944384 28397 12490 0 0 1638 73 5 3 20 0 15 0 51363288 14407233536 1166014 18446744073709551615 4194304 4196468 140733515011616 140092851026704 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1079] ppid=1024 vsize=14069564 CPUtime=17.15 cores=1,3,5,7
/proc/1027/task/1079/stat : 1079 (java) S 1024 1027 16548 0 -1 1077944384 26628 12490 0 0 1633 74 5 3 20 0 15 0 51363288 14407233536 1166014 18446744073709551615 4194304 4196468 140733515011616 140092849974160 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1080] ppid=1024 vsize=14069564 CPUtime=17.09 cores=1,3,5,7
/proc/1027/task/1080/stat : 1080 (java) S 1024 1027 16548 0 -1 1077944384 28574 12490 0 0 1627 74 5 3 20 0 15 0 51363288 14407233536 1166014 18446744073709551615 4194304 4196468 140733515011616 140092848921616 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1081] ppid=1024 vsize=14069564 CPUtime=17.13 cores=1,3,5,7
/proc/1027/task/1081/stat : 1081 (java) S 1024 1027 16548 0 -1 1077944384 36517 12490 0 0 1632 73 5 3 20 0 15 0 51363288 14407233536 1166014 18446744073709551615 4194304 4196468 140733515011616 140092847869072 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1082] ppid=1024 vsize=14069564 CPUtime=0.67 cores=1,3,5,7
/proc/1027/task/1082/stat : 1082 (java) S 1024 1027 16548 0 -1 1077944384 43484 12490 0 0 49 10 5 3 20 0 15 0 51363289 14407233536 1166014 18446744073709551615 4194304 4196468 140733515011616 140092439681008 140092894071426 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1083] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1083/stat : 1083 (java) S 1024 1027 16548 0 -1 1077944384 183 12490 0 0 0 0 5 3 20 0 15 0 51363290 14407233536 1166014 18446744073709551615 4194304 4196468 140733515011616 140092370838560 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1084] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1084/stat : 1084 (java) S 1024 1027 16548 0 -1 1077944384 66 12490 0 0 0 0 5 3 20 0 15 0 51363290 14407233536 1166014 18446744073709551615 4194304 4196468 140733515011616 140092369785856 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1085] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1085/stat : 1085 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14407233536 1166014 18446744073709551615 4194304 4196468 140733515011616 140092368734416 140092894078875 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1086] ppid=1024 vsize=14069564 CPUtime=11.53 cores=1,3,5,7
/proc/1027/task/1086/stat : 1086 (java) S 1024 1027 16548 0 -1 1077944384 44494 12490 0 0 1139 6 5 3 20 0 15 0 51363293 14407233536 1166014 18446744073709551615 4194304 4196468 140733515011616 140092367682032 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1087] ppid=1024 vsize=14069564 CPUtime=12.09 cores=1,3,5,7
/proc/1027/task/1087/stat : 1087 (java) S 1024 1027 16548 0 -1 1077944384 30629 12490 0 0 1196 5 5 3 20 0 15 0 51363293 14407233536 1166014 18446744073709551615 4194304 4196468 140733515011616 140092366629488 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1088] ppid=1024 vsize=14069564 CPUtime=3.03 cores=1,3,5,7
/proc/1027/task/1088/stat : 1088 (java) S 1024 1027 16548 0 -1 1077944384 58758 12490 0 0 286 9 5 3 20 0 15 0 51363293 14407233536 1166014 18446744073709551615 4194304 4196468 140733515011616 140092365576944 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1090] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1090/stat : 1090 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14407233536 1166014 18446744073709551615 4194304 4196468 140733515011616 140092364524640 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1091] ppid=1024 vsize=14069564 CPUtime=1.36 cores=1,3,5,7
/proc/1027/task/1091/stat : 1091 (java) S 1024 1027 16548 0 -1 1077944384 1927 12490 0 0 52 76 5 3 20 0 15 0 51363297 14407233536 1166014 18446744073709551615 4194304 4196468 140733515011616 140092363471152 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
Current children cumulated CPU time (s) 2400.53
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.88 1.82 1.74 3/210 1394
/proc/meminfo: memFree=23334092/32770624 swapFree=0/320808
[pid=1027] ppid=1024 vsize=14069564 CPUtime=2461.91 cores=1,3,5,7
/proc/1027/stat : 1027 (java) S 1024 1027 16548 0 -1 1077944320 544257 12490 0 0 245708 475 5 3 20 0 15 0 51363265 14407233536 1177793 18446744073709551615 4194304 4196468 140733515011616 140733514994160 140092894060279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
/proc/1027/statm: 3517391 1177793 3506 1 0 3506005 0
[pid=1027/tid=1077] ppid=1024 vsize=14069564 CPUtime=2363.45 cores=1,3,5,7
/proc/1027/task/1077/stat : 1077 (java) R 1024 1027 16548 0 -1 4202560 236621 12490 0 0 236251 86 5 3 20 0 15 0 51363287 14407233536 1177793 18446744073709551615 4194304 4196468 140733515011616 140092898289648 140092537588968 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1078] ppid=1024 vsize=14069564 CPUtime=17.63 cores=1,3,5,7
/proc/1027/task/1078/stat : 1078 (java) S 1024 1027 16548 0 -1 1077944384 28992 12490 0 0 1681 74 5 3 20 0 15 0 51363288 14407233536 1177793 18446744073709551615 4194304 4196468 140733515011616 140092851026704 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1079] ppid=1024 vsize=14069564 CPUtime=17.59 cores=1,3,5,7
/proc/1027/task/1079/stat : 1079 (java) S 1024 1027 16548 0 -1 1077944384 27168 12490 0 0 1676 75 5 3 20 0 15 0 51363288 14407233536 1177793 18446744073709551615 4194304 4196468 140733515011616 140092849974160 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1080] ppid=1024 vsize=14069564 CPUtime=17.53 cores=1,3,5,7
/proc/1027/task/1080/stat : 1080 (java) S 1024 1027 16548 0 -1 1077944384 30659 12490 0 0 1670 75 5 3 20 0 15 0 51363288 14407233536 1177793 18446744073709551615 4194304 4196468 140733515011616 140092848921616 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1081] ppid=1024 vsize=14069564 CPUtime=17.57 cores=1,3,5,7
/proc/1027/task/1081/stat : 1081 (java) S 1024 1027 16548 0 -1 1077944384 37152 12490 0 0 1675 74 5 3 20 0 15 0 51363288 14407233536 1177793 18446744073709551615 4194304 4196468 140733515011616 140092847869072 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1082] ppid=1024 vsize=14069564 CPUtime=0.67 cores=1,3,5,7
/proc/1027/task/1082/stat : 1082 (java) S 1024 1027 16548 0 -1 1077944384 43792 12490 0 0 49 10 5 3 20 0 15 0 51363289 14407233536 1177793 18446744073709551615 4194304 4196468 140733515011616 140092439681008 140092894071426 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1083] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1083/stat : 1083 (java) S 1024 1027 16548 0 -1 1077944384 187 12490 0 0 0 0 5 3 20 0 15 0 51363290 14407233536 1177793 18446744073709551615 4194304 4196468 140733515011616 140092370838560 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1084] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1084/stat : 1084 (java) S 1024 1027 16548 0 -1 1077944384 66 12490 0 0 0 0 5 3 20 0 15 0 51363290 14407233536 1177793 18446744073709551615 4194304 4196468 140733515011616 140092369785856 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1085] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1085/stat : 1085 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14407233536 1177793 18446744073709551615 4194304 4196468 140733515011616 140092368734416 140092894078875 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1086] ppid=1024 vsize=14069564 CPUtime=11.54 cores=1,3,5,7
/proc/1027/task/1086/stat : 1086 (java) S 1024 1027 16548 0 -1 1077944384 44831 12490 0 0 1140 6 5 3 20 0 15 0 51363293 14407233536 1177793 18446744073709551615 4194304 4196468 140733515011616 140092367682032 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1087] ppid=1024 vsize=14069564 CPUtime=12.11 cores=1,3,5,7
/proc/1027/task/1087/stat : 1087 (java) S 1024 1027 16548 0 -1 1077944384 31896 12490 0 0 1198 5 5 3 20 0 15 0 51363293 14407233536 1177793 18446744073709551615 4194304 4196468 140733515011616 140092366629488 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1088] ppid=1024 vsize=14069564 CPUtime=3.03 cores=1,3,5,7
/proc/1027/task/1088/stat : 1088 (java) S 1024 1027 16548 0 -1 1077944384 58765 12490 0 0 286 9 5 3 20 0 15 0 51363293 14407233536 1177793 18446744073709551615 4194304 4196468 140733515011616 140092365576944 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1090] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1090/stat : 1090 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14407233536 1177793 18446744073709551615 4194304 4196468 140733515011616 140092364524640 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1091] ppid=1024 vsize=14069564 CPUtime=1.39 cores=1,3,5,7
/proc/1027/task/1091/stat : 1091 (java) S 1024 1027 16548 0 -1 1077944384 1967 12490 0 0 53 78 5 3 20 0 15 0 51363297 14407233536 1177793 18446744073709551615 4194304 4196468 140733515011616 140092363471152 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
Current children cumulated CPU time (s) 2461.91
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2438.3 s]
/proc/loadavg: 1.70 1.78 1.73 3/209 1396
/proc/meminfo: memFree=23287140/32770624 swapFree=0/320808
[pid=1027] ppid=1024 vsize=14069564 CPUtime=2520.08 cores=1,3,5,7
/proc/1027/stat : 1027 (java) S 1024 1027 16548 0 -1 1077944320 564891 12490 0 0 251519 481 5 3 20 0 15 0 51363265 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140733514994160 140092894060279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
/proc/1027/statm: 3517391 1189727 3506 1 0 3506005 0
[pid=1027/tid=1077] ppid=1024 vsize=14069564 CPUtime=2418.68 cores=1,3,5,7
/proc/1027/task/1077/stat : 1077 (java) R 1024 1027 16548 0 -1 4202560 241109 12490 0 0 241774 86 5 3 20 0 15 0 51363287 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092898295832 140092538991962 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1078] ppid=1024 vsize=14069564 CPUtime=18.34 cores=1,3,5,7
/proc/1027/task/1078/stat : 1078 (java) S 1024 1027 16548 0 -1 1077944384 29475 12490 0 0 1752 74 5 3 20 0 15 0 51363288 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092851026704 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1079] ppid=1024 vsize=14069564 CPUtime=18.31 cores=1,3,5,7
/proc/1027/task/1079/stat : 1079 (java) S 1024 1027 16548 0 -1 1077944384 27745 12490 0 0 1747 76 5 3 20 0 15 0 51363288 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092849974160 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1080] ppid=1024 vsize=14069564 CPUtime=18.24 cores=1,3,5,7
/proc/1027/task/1080/stat : 1080 (java) S 1024 1027 16548 0 -1 1077944384 31146 12490 0 0 1741 75 5 3 20 0 15 0 51363288 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092848921616 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1081] ppid=1024 vsize=14069564 CPUtime=18.28 cores=1,3,5,7
/proc/1027/task/1081/stat : 1081 (java) S 1024 1027 16548 0 -1 1077944384 38713 12490 0 0 1745 75 5 3 20 0 15 0 51363288 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092847869072 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1082] ppid=1024 vsize=14069564 CPUtime=0.7 cores=1,3,5,7
/proc/1027/task/1082/stat : 1082 (java) S 1024 1027 16548 0 -1 1077944384 54217 12490 0 0 52 10 5 3 20 0 15 0 51363289 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092439681008 140092894071426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1083] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1083/stat : 1083 (java) S 1024 1027 16548 0 -1 1077944384 191 12490 0 0 0 0 5 3 20 0 15 0 51363290 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092370838560 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1084] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1084/stat : 1084 (java) S 1024 1027 16548 0 -1 1077944384 66 12490 0 0 0 0 5 3 20 0 15 0 51363290 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092369785856 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1085] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1085/stat : 1085 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092368734416 140092894078875 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1086] ppid=1024 vsize=14069564 CPUtime=11.54 cores=1,3,5,7
/proc/1027/task/1086/stat : 1086 (java) S 1024 1027 16548 0 -1 1077944384 44834 12490 0 0 1140 6 5 3 20 0 15 0 51363293 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092367682032 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1087] ppid=1024 vsize=14069564 CPUtime=12.11 cores=1,3,5,7
/proc/1027/task/1087/stat : 1087 (java) S 1024 1027 16548 0 -1 1077944384 31903 12490 0 0 1198 5 5 3 20 0 15 0 51363293 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092366629488 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1088] ppid=1024 vsize=14069564 CPUtime=3.04 cores=1,3,5,7
/proc/1027/task/1088/stat : 1088 (java) S 1024 1027 16548 0 -1 1077944384 61325 12490 0 0 287 9 5 3 20 0 15 0 51363293 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092365576944 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1090] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1090/stat : 1090 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092364524640 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1091] ppid=1024 vsize=14069564 CPUtime=1.43 cores=1,3,5,7
/proc/1027/task/1091/stat : 1091 (java) S 1024 1027 16548 0 -1 1077944384 2006 12490 0 0 55 80 5 3 20 0 15 0 51363297 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092363471152 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
Current children cumulated CPU time (s) 2520.08
Current children cumulated vsize (KiB) 14069564

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

[startup+2438.3 s]
/proc/loadavg: 1.70 1.78 1.73 3/209 1396
/proc/meminfo: memFree=23287140/32770624 swapFree=0/320808
[pid=1027] ppid=1024 vsize=14069564 CPUtime=2520.08 cores=1,3,5,7
/proc/1027/stat : 1027 (java) S 1024 1027 16548 0 -1 1077944320 564891 12490 0 0 251519 481 5 3 20 0 15 0 51363265 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140733514994160 140092894060279 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
/proc/1027/statm: 3517391 1189727 3506 1 0 3506005 0
[pid=1027/tid=1077] ppid=1024 vsize=14069564 CPUtime=2418.68 cores=1,3,5,7
/proc/1027/task/1077/stat : 1077 (java) R 1024 1027 16548 0 -1 4202560 241109 12490 0 0 241774 86 5 3 20 0 15 0 51363287 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092898295832 140092538991962 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1078] ppid=1024 vsize=14069564 CPUtime=18.34 cores=1,3,5,7
/proc/1027/task/1078/stat : 1078 (java) S 1024 1027 16548 0 -1 1077944384 29475 12490 0 0 1752 74 5 3 20 0 15 0 51363288 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092851026704 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1079] ppid=1024 vsize=14069564 CPUtime=18.31 cores=1,3,5,7
/proc/1027/task/1079/stat : 1079 (java) S 1024 1027 16548 0 -1 1077944384 27745 12490 0 0 1747 76 5 3 20 0 15 0 51363288 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092849974160 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1080] ppid=1024 vsize=14069564 CPUtime=18.24 cores=1,3,5,7
/proc/1027/task/1080/stat : 1080 (java) S 1024 1027 16548 0 -1 1077944384 31146 12490 0 0 1741 75 5 3 20 0 15 0 51363288 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092848921616 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1081] ppid=1024 vsize=14069564 CPUtime=18.28 cores=1,3,5,7
/proc/1027/task/1081/stat : 1081 (java) S 1024 1027 16548 0 -1 1077944384 38713 12490 0 0 1745 75 5 3 20 0 15 0 51363288 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092847869072 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1082] ppid=1024 vsize=14069564 CPUtime=0.7 cores=1,3,5,7
/proc/1027/task/1082/stat : 1082 (java) S 1024 1027 16548 0 -1 1077944384 54217 12490 0 0 52 10 5 3 20 0 15 0 51363289 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092439681008 140092894071426 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1083] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1083/stat : 1083 (java) S 1024 1027 16548 0 -1 1077944384 191 12490 0 0 0 0 5 3 20 0 15 0 51363290 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092370838560 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1084] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1084/stat : 1084 (java) S 1024 1027 16548 0 -1 1077944384 66 12490 0 0 0 0 5 3 20 0 15 0 51363290 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092369785856 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1085] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1085/stat : 1085 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092368734416 140092894078875 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1086] ppid=1024 vsize=14069564 CPUtime=11.54 cores=1,3,5,7
/proc/1027/task/1086/stat : 1086 (java) S 1024 1027 16548 0 -1 1077944384 44834 12490 0 0 1140 6 5 3 20 0 15 0 51363293 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092367682032 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1087] ppid=1024 vsize=14069564 CPUtime=12.11 cores=1,3,5,7
/proc/1027/task/1087/stat : 1087 (java) S 1024 1027 16548 0 -1 1077944384 31903 12490 0 0 1198 5 5 3 20 0 15 0 51363293 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092366629488 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1088] ppid=1024 vsize=14069564 CPUtime=3.04 cores=1,3,5,7
/proc/1027/task/1088/stat : 1088 (java) S 1024 1027 16548 0 -1 1077944384 61325 12490 0 0 287 9 5 3 20 0 15 0 51363293 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092365576944 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1090] ppid=1024 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/1027/task/1090/stat : 1090 (java) S 1024 1027 16548 0 -1 1077944384 3 12490 0 0 0 0 5 3 20 0 15 0 51363293 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092364524640 140092894070485 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
[pid=1027/tid=1091] ppid=1024 vsize=14069564 CPUtime=1.43 cores=1,3,5,7
/proc/1027/task/1091/stat : 1091 (java) S 1024 1027 16548 0 -1 1077944384 2006 12490 0 0 55 80 5 3 20 0 15 0 51363297 14407233536 1189727 18446744073709551615 4194304 4196468 140733515011616 140092363471152 140092894071426 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33837056 140733515016144 140733515018929 140733515018929 140733515022287 0
Current children cumulated CPU time (s) 2520.08
Current children cumulated vsize (KiB) 14069564

Child status: 143
Real time (s): 2438.35
CPU time (s): 2520.14
CPU user time (s): 2515.27
CPU system time (s): 4.87525
CPU usage (%): 103.354
Max. virtual memory (cumulated for all children) (KiB): 14070036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.27
system time used= 4.87524
maximum resident set size= 4759172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 579743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68066
involuntary context switches= 2920

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4383 second user time and 14.6404 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-12 00:33:57
IDJOB=4262771
IDBENCH=140592
IDSOLVER=2650
FILE ID=node126/4262771-1502491677
RUNJOBID= node126-1502411413-16612
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-47.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262771-1502491677/watcher-4262771-1502491677 -o /tmp/evaluation-result-4262771-1502491677/solver-4262771-1502491677 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502411413-16612 --watchdog 2580  bin/concrete HOME/instance-4262771-1502491677.xml

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

MD5SUM BENCH= b40b46819fbd3a38fcaaee2fdd389509
RANDOM SEED=631268388

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30379384 kB
MemAvailable:   31024708 kB
Buffers:          295144 kB
Cached:           622984 kB
SwapCached:          524 kB
Active:          1539732 kB
Inactive:         391644 kB
Active(anon):     967296 kB
Inactive(anon):    71324 kB
Active(file):     572436 kB
Inactive(file):   320320 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:             25320 kB
Writeback:             0 kB
AnonPages:       1053956 kB
Mapped:            55368 kB
Shmem:             25248 kB
Slab:             163116 kB
SReclaimable:     136808 kB
SUnreclaim:        26308 kB
KernelStack:        3760 kB
PageTables:         7288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1865936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    878592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61980 MiB
End job on node126 at 2017-08-12 01:14:35