Trace number 4248646

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4SAT (TO)469 2400.5601 2315.1399

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-46.xml
MD5SUM6af071621bab6d4e45a1e2acc37440b7
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.1101
Satisfiable
(Un)Satisfiability was proved
Number of variables2116
Number of constraints15180
Number of domains1
Minimum domain size1035
Maximum domain size1035
Distribution of domain sizes[{"size":1035,"count":1035}]
Minimum variable degree0
Maximum variable degree45
Distribution of variable degrees[{"degree":0,"count":1081},{"degree":45,"count":1035}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":15180}]
Number of extensional constraints0
Number of intensional constraints15180
Distribution of constraint types[{"type":"intension","count":15180}]
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.20/2.18	c Concrete v3.4 running
69.48/39.81	o 1034
76.55/44.72	o 1033
80.65/48.71	o 1032
84.69/52.73	o 1031
88.96/56.80	o 1030
92.99/60.74	o 1029
97.01/64.73	o 1028
101.08/68.78	o 1027
105.14/72.77	o 1026
109.19/76.74	o 1025
113.28/80.74	o 1024
117.20/84.60	o 1023
121.10/88.50	o 1022
125.09/92.45	o 1021
129.09/96.40	o 1020
132.99/100.34	o 1019
137.06/104.36	o 1018
141.06/108.37	o 1017
145.18/112.40	o 1016
149.09/116.35	o 1015
153.14/120.37	o 1014
157.15/124.34	o 1013
161.56/128.79	o 1012
165.61/132.76	o 1011
169.12/136.27	o 1010
173.02/140.19	o 1009
177.08/144.16	o 1008
181.07/148.14	o 1007
185.00/152.09	o 1006
189.06/156.03	o 1005
192.96/159.98	o 1004
196.97/163.97	o 1003
200.97/167.94	o 1002
205.44/172.38	o 1001
209.44/176.31	o 1000
213.34/180.28	o 999
217.39/184.23	o 998
221.30/188.20	o 997
225.32/192.18	o 996
229.28/196.09	o 995
233.28/200.06	o 994
237.28/204.01	o 993
241.34/208.02	o 992
245.34/212.06	o 991
249.44/216.15	o 990
253.84/220.55	o 989
257.89/224.52	o 988
262.40/229.06	o 987
266.40/233.05	o 986
270.46/237.09	o 985
274.56/241.11	o 984
278.56/245.12	o 983
282.64/249.13	o 982
286.65/253.14	o 981
290.64/257.12	o 980
294.70/261.13	o 979
298.70/265.13	o 978
302.71/269.11	o 977
306.75/273.12	o 976
310.66/277.09	o 975
314.66/281.08	o 974
318.71/285.08	o 973
322.72/289.04	o 972
326.62/292.98	o 971
330.67/296.96	o 970
334.57/300.87	o 969
338.63/304.84	o 968
342.53/308.75	o 967
346.54/312.72	o 966
350.58/316.72	o 965
354.48/320.68	o 964
358.55/324.67	o 963
362.55/328.64	o 962
366.55/332.64	o 961
370.60/336.64	o 960
374.60/340.66	o 959
378.75/344.72	o 958
382.77/348.71	o 957
386.82/352.72	o 956
390.82/356.73	o 955
394.77/360.70	o 954
398.78/364.69	o 953
402.83/368.66	o 952
406.72/372.58	o 951
410.78/376.52	o 950
414.74/380.48	o 949
418.74/384.41	o 948
422.81/388.41	o 947
426.80/392.42	o 946
431.46/397.02	o 945
435.52/401.08	o 944
439.53/405.06	o 943
443.58/409.05	o 942
447.63/413.09	o 941
451.90/417.21	o 940
455.81/421.19	o 939
459.88/425.18	o 938
463.95/429.20	o 937
468.02/433.18	o 936
472.19/437.20	o 935
476.10/441.20	o 934
480.57/445.54	o 933
485.21/450.02	o 932
489.31/454.06	o 931
493.37/458.07	o 930
497.44/462.09	o 929
501.60/466.14	o 928
505.70/470.17	o 927
509.78/474.11	o 926
514.29/478.53	o 925
518.78/482.92	o 924
522.99/487.00	o 923
527.08/491.02	o 922
531.57/495.44	o 921
535.68/499.45	o 920
539.67/503.44	o 919
543.77/507.45	o 918
547.85/511.46	o 917
551.94/515.47	o 916
555.96/519.43	o 915
560.05/523.49	o 914
564.24/527.51	o 913
568.34/531.50	o 912
572.44/535.52	o 911
576.56/539.53	o 910
580.61/543.56	o 909
584.69/547.51	o 908
588.80/551.52	o 907
592.89/555.53	o 906
596.94/559.54	o 905
601.01/563.51	o 904
605.10/567.55	o 903
609.19/571.58	o 902
613.40/575.62	o 901
617.39/579.59	o 900
621.49/583.58	o 899
626.09/588.02	o 898
630.22/592.02	o 897
634.22/596.02	o 896
638.24/599.99	o 895
642.35/604.00	o 894
646.54/608.04	o 893
650.60/612.05	o 892
654.70/616.07	o 891
658.80/620.09	o 890
663.00/624.12	o 889
666.90/628.09	o 888
671.10/632.14	o 887
676.28/636.44	o 886
680.19/640.37	o 885
684.25/644.34	o 884
688.30/648.36	o 883
692.39/652.33	o 882
696.29/656.25	o 881
700.38/660.27	o 880
704.38/664.26	o 879
708.49/668.22	o 878
712.52/672.20	o 877
716.52/676.16	o 876
720.61/680.18	o 875
724.61/684.10	o 874
729.01/688.49	o 873
733.02/692.43	o 872
737.14/696.41	o 871
741.04/700.34	o 870
745.21/704.36	o 869
749.21/708.32	o 868
753.35/712.32	o 867
757.26/716.28	o 866
761.57/720.32	o 865
765.57/724.39	o 864
769.58/728.35	o 863
773.78/732.33	o 862
777.78/736.30	o 861
782.03/740.36	o 860
785.93/744.25	o 859
790.14/748.25	o 858
794.04/752.14	o 857
798.34/756.46	o 856
802.72/760.51	o 855
806.62/764.50	o 854
810.98/768.57	o 853
814.98/772.52	o 852
818.98/776.52	o 851
823.30/780.52	o 850
827.31/784.59	o 849
831.69/788.68	o 848
835.69/792.67	o 847
839.79/796.71	o 846
844.16/800.79	o 845
848.18/804.78	o 844
852.18/808.78	o 843
856.59/812.84	o 842
860.59/816.84	o 841
864.59/820.83	o 840
869.05/824.90	o 839
872.95/828.86	o 838
877.14/832.99	o 837
881.37/836.93	o 836
885.37/840.90	o 835
889.66/844.94	o 834
893.96/849.30	o 833
897.96/853.26	o 832
902.40/857.34	o 831
906.42/861.34	o 830
910.42/865.39	o 829
914.80/869.49	o 828
918.81/873.49	o 827
922.80/877.49	o 826
927.30/881.63	o 825
931.31/885.70	o 824
935.30/889.66	o 823
939.71/893.74	o 822
943.72/897.72	o 821
947.63/901.69	o 820
952.03/905.77	o 819
956.04/909.76	o 818
960.84/914.23	o 817
964.75/918.18	o 816
968.75/922.13	o 815
973.07/926.18	o 814
977.07/930.12	o 813
980.98/934.03	o 812
985.29/938.08	o 811
989.29/942.07	o 810
993.30/946.07	o 809
997.72/950.12	o 808
1001.62/954.07	o 807
1005.62/958.10	o 806
1009.94/962.08	o 805
1013.94/966.08	o 804
1018.36/970.19	o 803
1022.38/974.15	o 802
1026.38/978.17	o 801
1030.41/981.87	o 800
1034.41/985.84	o 799
1038.31/989.79	o 798
1042.73/993.85	o 797
1046.74/997.81	o 796
1050.64/1001.72	o 795
1054.97/1005.78	o 794
1058.97/1009.76	o 793
1062.98/1013.74	o 792
1067.30/1017.77	o 791
1071.30/1021.74	o 790
1075.62/1025.79	o 789
1079.64/1029.76	o 788
1083.63/1033.74	o 787
1088.06/1037.83	o 786
1092.07/1041.82	o 785
1095.97/1045.76	o 784
1100.40/1049.83	o 783
1104.30/1053.80	o 782
1108.31/1057.79	o 781
1112.73/1061.84	o 780
1116.64/1065.79	o 779
1120.66/1069.78	o 778
1125.07/1073.85	o 777
1129.08/1077.84	o 776
1133.89/1082.37	o 775
1137.89/1086.34	o 774
1141.89/1090.30	o 773
1146.23/1094.36	o 772
1150.23/1098.34	o 771
1154.24/1102.33	o 770
1158.67/1106.46	o 769
1162.67/1110.44	o 768
1166.58/1114.40	o 767
1171.01/1118.47	o 766
1175.01/1122.49	o 765
1179.02/1126.48	o 764
1183.45/1130.59	o 763
1187.55/1134.61	o 762
1191.55/1138.61	o 761
1195.87/1142.70	o 760
1199.88/1146.67	o 759
1204.31/1150.77	o 758
1208.30/1154.76	o 757
1212.31/1158.73	o 756
1216.74/1162.84	o 755
1220.74/1166.80	o 754
1224.64/1170.78	o 753
1229.09/1174.85	o 752
1233.08/1178.81	o 751
1236.99/1182.76	o 750
1241.41/1186.81	o 749
1245.31/1190.78	o 748
1249.32/1194.74	o 747
1253.74/1198.80	o 746
1257.65/1202.77	o 745
1261.55/1206.70	o 744
1265.99/1210.74	o 743
1269.99/1214.73	o 742
1273.91/1218.68	o 741
1278.35/1222.78	o 740
1282.36/1226.73	o 739
1286.26/1230.70	o 738
1290.69/1234.76	o 737
1294.61/1238.69	o 736
1298.60/1242.68	o 735
1303.04/1246.77	o 734
1307.15/1250.81	o 733
1311.14/1254.87	o 732
1315.48/1258.87	o 731
1319.38/1262.79	o 730
1324.21/1267.26	o 729
1328.20/1271.21	o 728
1332.21/1275.21	o 727
1337.57/1279.57	o 726
1341.57/1283.57	o 725
1345.58/1287.54	o 724
1349.57/1291.45	o 723
1353.56/1295.41	o 722
1357.47/1299.37	o 721
1361.66/1303.41	o 720
1365.96/1307.78	o 719
1369.97/1311.78	o 718
1374.08/1315.73	o 717
1378.08/1319.72	o 716
1381.99/1323.68	o 715
1386.12/1327.68	o 714
1390.12/1331.65	o 713
1394.13/1335.62	o 712
1398.17/1339.59	o 711
1402.18/1343.58	o 710
1406.34/1347.59	o 709
1410.33/1351.51	o 708
1414.24/1355.46	o 707
1418.42/1359.48	o 706
1422.43/1363.47	o 705
1426.44/1367.46	o 704
1430.72/1371.50	o 703
1434.62/1375.48	o 702
1438.63/1379.47	o 701
1442.84/1383.48	o 700
1446.84/1387.46	o 699
1450.84/1391.43	o 698
1455.07/1395.46	o 697
1458.98/1399.37	o 696
1462.89/1403.28	o 695
1467.13/1407.27	o 694
1471.13/1411.21	o 693
1475.04/1415.18	o 692
1479.31/1419.19	o 691
1483.30/1423.17	o 690
1487.69/1427.25	o 689
1491.70/1431.25	o 688
1495.69/1435.25	o 687
1500.49/1439.72	o 686
1504.39/1443.70	o 685
1508.40/1447.66	o 684
1512.81/1451.76	o 683
1516.82/1455.77	o 682
1520.82/1459.74	o 681
1525.26/1463.82	o 680
1529.26/1467.83	o 679
1533.27/1471.84	o 678
1537.69/1475.93	o 677
1541.70/1479.96	o 676
1545.70/1483.92	o 675
1550.13/1488.02	o 674
1554.03/1491.97	o 673
1558.46/1496.07	o 672
1562.46/1500.00	o 671
1566.36/1503.96	o 670
1570.78/1508.02	o 669
1574.79/1512.00	o 668
1578.70/1515.97	o 667
1583.11/1520.03	o 666
1587.11/1524.02	o 665
1591.12/1528.03	o 664
1595.56/1532.11	o 663
1599.46/1536.07	o 662
1603.47/1540.04	o 661
1608.29/1544.54	o 660
1612.30/1548.53	o 659
1616.72/1552.64	o 658
1620.82/1556.72	o 657
1624.82/1560.73	o 656
1629.35/1564.91	o 655
1633.25/1568.89	o 654
1637.35/1572.92	o 653
1641.78/1577.00	o 652
1645.69/1580.97	o 651
1649.71/1584.91	o 650
1654.03/1588.95	o 649
1657.94/1592.89	o 648
1661.94/1596.85	o 647
1666.35/1600.90	o 646
1670.26/1604.86	o 645
1674.27/1608.84	o 644
1678.59/1612.86	o 643
1682.49/1616.79	o 642
1686.92/1620.89	o 641
1690.93/1624.84	o 640
1695.03/1628.91	o 639
1699.36/1632.92	o 638
1703.66/1637.26	o 637
1707.67/1641.22	o 636
1711.98/1645.30	o 635
1715.99/1649.24	o 634
1720.00/1653.21	o 633
1724.32/1657.25	o 632
1728.32/1661.29	o 631
1732.33/1665.29	o 630
1736.75/1669.34	o 629
1740.66/1673.25	o 628
1744.65/1677.27	o 627
1749.08/1681.35	o 626
1753.10/1685.32	o 625
1757.00/1689.28	o 624
1761.48/1693.29	o 623
1765.48/1697.27	o 622
1769.92/1701.35	o 621
1773.93/1705.30	o 620
1777.83/1709.29	o 619
1782.36/1713.42	o 618
1786.27/1717.37	o 617
1790.27/1721.33	o 616
1794.70/1725.47	o 615
1798.71/1729.45	o 614
1802.73/1733.46	o 613
1807.16/1737.52	o 612
1811.07/1741.48	o 611
1815.17/1745.43	o 610
1819.50/1749.48	o 609
1823.40/1753.39	o 608
1827.41/1757.35	o 607
1832.24/1761.81	o 606
1836.54/1766.20	o 605
1840.54/1770.19	o 604
1844.97/1774.24	o 603
1848.97/1778.21	o 602
1852.89/1782.19	o 601
1857.30/1786.23	o 600
1861.70/1790.63	o 599
1866.14/1794.72	o 598
1870.14/1798.71	o 597
1874.04/1802.69	o 596
1878.46/1806.73	o 595
1882.48/1810.70	o 594
1886.37/1814.67	o 593
1891.20/1819.16	o 592
1895.21/1823.15	o 591
1899.21/1827.12	o 590
1903.65/1831.22	o 589
1907.55/1835.14	o 588
1911.96/1839.51	o 587
1916.29/1843.55	o 586
1920.69/1847.91	o 585
1924.59/1851.84	o 584
1928.94/1855.86	o 583
1932.94/1859.83	o 582
1936.84/1863.75	o 581
1941.17/1867.74	o 580
1945.07/1871.69	o 579
1949.08/1875.61	o 578
1953.40/1879.65	o 577
1958.00/1884.20	o 576
1962.44/1888.31	o 575
1966.34/1892.27	o 574
1970.24/1896.18	o 573
1974.68/1900.27	o 572
1978.70/1904.22	o 571
1982.60/1908.17	o 570
1987.13/1912.31	o 569
1991.04/1916.30	o 568
1995.14/1920.30	o 567
1999.57/1924.42	o 566
2003.48/1928.40	o 565
2007.99/1932.81	o 564
2012.41/1936.94	o 563
2016.41/1940.90	o 562
2020.71/1945.29	o 561
2025.15/1949.38	o 560
2029.14/1953.38	o 559
2033.24/1957.45	o 558
2037.68/1961.58	o 557
2041.68/1965.52	o 556
2045.98/1969.88	o 555
2050.43/1973.91	o 554
2054.33/1977.86	o 553
2058.33/1981.86	o 552
2062.68/1985.87	o 551
2066.58/1989.78	o 550
2070.86/1993.86	o 549
2075.04/1997.83	o 548
2079.04/2001.82	o 547
2083.48/2005.91	o 546
2087.42/2009.89	o 545
2091.43/2013.88	o 544
2095.85/2017.97	o 543
2099.86/2021.94	o 542
2103.75/2025.90	o 541
2108.18/2029.97	o 540
2112.19/2033.97	o 539
2116.18/2037.90	o 538
2120.52/2041.95	o 537
2124.52/2045.91	o 536
2128.53/2049.92	o 535
2132.97/2054.01	o 534
2136.97/2058.00	o 533
2140.87/2061.98	o 532
2146.35/2066.34	o 531
2150.36/2070.32	o 530
2154.26/2074.26	o 529
2158.33/2078.23	o 528
2162.33/2082.23	o 527
2166.23/2086.19	o 526
2170.33/2090.15	o 525
2174.33/2094.12	o 524
2178.24/2098.08	o 523
2182.35/2102.07	o 522
2186.36/2106.02	o 521
2190.27/2110.00	o 520
2194.49/2114.00	o 519
2198.39/2117.95	o 518
2202.54/2121.93	o 517
2206.53/2125.90	o 516
2210.44/2129.88	o 515
2214.69/2133.90	o 514
2218.59/2137.83	o 513
2222.49/2141.78	o 512
2226.67/2145.80	o 511
2230.67/2149.76	o 510
2234.67/2153.73	o 509
2238.86/2157.71	o 508
2242.76/2161.67	o 507
2246.76/2165.64	o 506
2250.86/2169.57	o 505
2255.27/2173.96	o 504
2259.61/2178.15	o 503
2263.71/2182.13	o 502
2267.71/2186.11	o 501
2271.96/2190.11	o 500
2275.86/2194.08	o 499
2279.87/2198.07	o 498
2284.23/2202.11	o 497
2288.13/2206.04	o 496
2292.14/2210.01	o 495
2296.41/2214.08	o 494
2300.41/2218.03	o 493
2304.42/2222.00	o 492
2308.72/2226.05	o 491
2312.72/2230.02	o 490
2316.62/2233.95	o 489
2320.93/2237.99	o 488
2324.93/2241.93	o 487
2328.83/2245.86	o 486
2333.26/2249.93	o 485
2337.27/2253.91	o 484
2341.17/2257.87	o 483
2345.59/2261.92	o 482
2349.60/2265.91	o 481
2353.93/2270.00	o 480
2357.94/2273.97	o 479
2361.94/2277.97	o 478
2366.26/2281.99	o 477
2370.27/2285.96	o 476
2374.26/2289.90	o 475
2378.59/2293.97	o 474
2382.60/2297.91	o 473
2386.50/2301.89	o 472
2390.92/2305.92	o 471
2394.92/2309.90	o 470
2398.89/2313.86	o 469
2400.49/2315.10	java.util.concurrent.TimeoutException
2400.49/2315.10		at concrete.MAC.mac(MAC.scala:74)
2400.49/2315.10		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.49/2315.10		at scala.util.Try$.apply(Try.scala:209)
2400.49/2315.10		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.49/2315.10		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.49/2315.10		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.49/2315.10		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.49/2315.10		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.49/2315.10		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.49/2315.10		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.49/2315.10		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.49/2315.10		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.49/2315.10		at concrete.MAC.oneRun(MAC.scala:146)
2400.49/2315.10		at concrete.MAC.nextSolution(MAC.scala:166)
2400.49/2315.10		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.49/2315.10		at concrete.ProblemState.map(ProblemState.scala:203)
2400.49/2315.10		at concrete.ProblemState.map(ProblemState.scala:188)
2400.49/2315.10		at concrete.MAC.nextSolution(MAC.scala:195)
2400.49/2315.10		at concrete.Solver.hasNext(Solver.scala:202)
2400.49/2315.10		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.49/2315.10		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.49/2315.10		at concrete.Solver.toStream(Solver.scala:73)
2400.49/2315.10		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.49/2315.10		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.49/2315.10		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.49/2315.10		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.49/2315.10		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.49/2315.10		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.49/2315.10		at scala.util.Success.map(Try.scala:209)
2400.49/2315.10		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.49/2315.10		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.49/2315.10		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.49/2315.10		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.49/2315.10		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.49/2315.10		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.49/2315.10		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.49/2315.10		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.49/2315.10		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.49/2315.10		at scala.collection.immutable.List.foreach(List.scala:389)
2400.49/2315.10		at scala.App.main(App.scala:76)
2400.49/2315.10		at scala.App.main$(App.scala:74)
2400.49/2315.10		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.49/2315.10		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.49/2315.11	v <instantiation cost="469">
2400.49/2315.11	v       <list>
2400.49/2315.11	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][42] x[41][43] x[41][44] x[41][45] x[42][43] x[42][44] x[42][45] x[43][44] x[43][45] x[44][45]
2400.49/2315.11	v       </list>
2400.49/2315.11	v       <values>
2400.49/2315.11	v         466 464 467 466 468 468 468 464 468 466 465 469 465 467 467 468 468 466 469 468 467 467 465 469 469 469 469 469 469 466 469 466 468 464 467 466 467 465 466 469 468 465 469 467 468 467 467 465 469 468 467 468 464 468 469 468 468 467 468 469 466 468 466 467 468 467 469 467 468 465 465 466 465 469 467 467 468 469 469 468 466 466 464 467 468 468 466 469 467 466 466 465 468 468 468 466 469 467 465 468 469 468 468 469 467 468 466 469 465 465 469 468 467 466 468 465 466 468 469 469 469 467 466 467 467 467 468 468 467 467 469 466 469 468 468 468 469 468 467 465 465 465 469 469 468 468 466 469 468 465 466 467 465 467 469 468 469 468 469 466 469 468 469 465 467 466 467 467 465 467 466 467 466 469 467 468 469 467 465 468 469 469 468 466 465 468 469 468 465 468 468 468 469 465 465 468 469 468 466 468 469 467 469 466 466 467 467 466 469 467 468 467 469 468 465 464 466 469 465 469 466 469 468 467 464 467 464 468 467 466 468 468 467 466 468 468 469 468 466 468 469 469 469 467 465 465 469 467 469 466 469 466 469 468 467 466 467 465 469 466 467 467 469 465 467 466 464 466 469 469 469 468 468 469 466 467 469 465 466 467 468 465 468 468 467 466 469 468 467 466 469 464 467 467 469 466 469 468 466 466 468 466 466 465 468 469 465 468 465 467 469 467 469 467 466 469 467 464 466 467 469 466 467 469 467 468 469 467 469 468 468 464 467 465 468 465 469 464 467 469 467 466 466 468 469 469 465 466 469 466 468 465 468 467 466 466 467 468 467 469 465 469 468 466 467 466 468 466 468 467 466 467 467 467 468 467 466 469 469 469 469 466 468 469 469 468 467 465 466 464 467 468 469 468 469 467 466 467 467 468 466 469 465 469 469 467 464 469 465 469 466 468 467 467 466 467 467 468 468 466 464 468 464 468 469 465 468 467 468 469 469 468 464 465 464 466 466 466 466 468 467 467 467 466 468 468 466 469 467 469 468 467 468 469 469 467 468 469 468 467 468 468 465 466 469 465 466 466 467 468 468 465 467 467 469 469 467 468 467 467 466 469 469 468 468 468 467 466 468 467 468 466 466 465 466 467 468 469 464 469 468 466 467 466 468 469 468 468 467 465 468 465 466 466 464 467 468 468 467 465 469 469 469 467 469 468 467 466 467 466 468 464 469 469 469 466 466 466 466 468 469 467 467 466 466 465 468 465 466 465 467 469 467 469 465 464 466 465 468 468 468 469 465 469 466 469 467 467 466 468 469 469 469 467 468 469 464 469 469 466 465 468 465 468 468 467 467 469 466 465 467 466 468 468 467 466 466 466 468 467 467 466 469 465 465 466 466 467 467 469 465 467 467 467 469 469 466 468 467 468 468 468 465 466 467 465 469 465 466 468 469 467 466 467 467 466 466 469 466 469 469 469 467 467 465 465 465 468 467 468 468 468 469 469 468 467 469 468 466 466 464 467 465 466 469 468 469 469 467 467 468 465 469 468 467 468 465 469 469 469 465 469 467 467 467 466 469 468 468 466 467 466 467 466 465 464 465 468 468 467 465 467 468 469 465 465 467 468 467 468 464 466 468 468 468 469 469 466 467 467 466 468 467 469 468 468 469 466 469 469 469 468 469 464 465 466 468 468 467 466 469 465 468 467 467 468 466 468 468 467 469 468 469 469 469 466 469 466 468 469 469 466 467 467 467 469 469 465 469 465 467 465 467 468 468 467 468 467 467 469 465 469 467 464 469 466 468 467 468 466 466 464 466 467 466 469 466 465 469 469 469 466 468 465 464 468 467 466 465 466 468 465 467 466 466 467 466 467 469 468 469 464 466 468 466 467 468 466 468 466 466 469 466 468 466 465 469 468 468 466 469 467 468 467 468 468 466 468 467 467 467 468 466 466 468 468 469 465 467 465 468 466 469 467 468 467 469 468 467 466 465 469 465 467 469 464 468 468 469 467 466 469 468 465 467 467 467 468 468 468 469 468 468 467 466 466 468 469 468 466 468 466 469 467 465 467 465 467 467 468 468 467 466 469 467 469 464 469 468 468 468 468 466 467 468 464 467 467 466 468 468 468 469 469 468 468 469 468 465 467 467 467 469 468 466 467 469 464 466 469 467 469 467 469 468 468 466 467 468 469 465 469 466 469 466 467 465 467 467 467 469 467 465 466 467 468 468 467 468 465 467 469 465 469 464 469 466 469 468 467 469 465 469 466 469 469 469 468 469 469 466 466 467 465 468 468 467 469 467 468 468 469 467 466 467 468 468 466 467 466 467 468 466 469 469 465 468 467 466 468 464 468 469 467 468
2400.49/2315.11	v       </values>
2400.49/2315.11	v     </instantiation>
2400.49/2315.11	s SATISFIABLE

Verifier Data 

OK	469

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-4248646-1502139071/watcher-4248646-1502139071 -o /tmp/evaluation-result-4248646-1502139071/solver-4248646-1502139071 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502077974-12599 --watchdog 2560 bin/concrete HOME/instance-4248646-1502139071.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.58 1.59 1.50 2/199 26431
/proc/meminfo: memFree=28375296/32770624 swapFree=0/452848
[pid=26431] ppid=26428 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26431/stat : 26431 (runsolver) D 26428 26431 25139 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 61413205 24240128 108 18446744073709551615 4194304 4338465 140721080905952 140721080903592 139893266567895 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 7143424 140721080910032 140721080910409 140721080910409 140721080913866 0
/proc/26431/statm: 5918 108 54 36 0 2156 0

[startup+0.100099 s]
/proc/loadavg: 1.58 1.59 1.50 2/199 26431
/proc/meminfo: memFree=28375296/32770624 swapFree=0/452848
[pid=26431] ppid=26428 vsize=9640 CPUtime=0.01 cores=1,3,5,7
/proc/26431/stat : 26431 (bash) S 26428 26431 25139 0 -1 4202496 887 6453 0 0 0 0 0 1 20 0 1 0 61413205 9871360 373 18446744073709551615 4194304 5098028 140733969655008 140733969649016 139728177069056 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 7 0 0 7196144 7232144 37634048 140733969658388 140733969658473 140733969658473 140733969661930 0
/proc/26431/statm: 2410 373 292 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200446 s]
/proc/loadavg: 1.58 1.59 1.50 2/199 26431
/proc/meminfo: memFree=28375296/32770624 swapFree=0/452848
[pid=26431] ppid=26428 vsize=356956 CPUtime=0.07 cores=1,3,5,7
/proc/26431/stat : 26431 (java) S 26428 26431 25139 0 -1 1077944320 2584 12411 0 0 0 0 5 2 20 0 2 0 61413205 365522944 1891 18446744073709551615 4194304 4196468 140726855675344 140726855657888 140175644110583 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
/proc/26431/statm: 89239 1891 1045 1 0 79209 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 356956

[startup+0.301447 s]
/proc/loadavg: 1.58 1.59 1.50 2/199 26431
/proc/meminfo: memFree=28375296/32770624 swapFree=0/452848
[pid=26431] ppid=26428 vsize=10551880 CPUtime=0.14 cores=1,3,5,7
/proc/26431/stat : 26431 (java) S 26428 26431 25139 0 -1 1077944320 5900 12411 0 0 6 1 5 2 20 0 15 0 61413205 10805125120 6638 18446744073709551615 4194304 4196468 140726855675344 140726855657888 140175644110583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
/proc/26431/statm: 2637970 6638 2692 1 0 2627467 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 10551880

[startup+0.700251 s]
/proc/loadavg: 1.58 1.59 1.50 2/199 26431
/proc/meminfo: memFree=28375296/32770624 swapFree=0/452848
[pid=26431] ppid=26428 vsize=10552792 CPUtime=0.7 cores=1,3,5,7
/proc/26431/stat : 26431 (java) S 26428 26431 25139 0 -1 1077944320 13920 12411 0 0 58 5 5 2 20 0 15 0 61413205 10806059008 14839 18446744073709551615 4194304 4196468 140726855675344 140726855657888 140175644110583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
/proc/26431/statm: 2638198 14839 3116 1 0 2627467 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 10552792

[startup+1.50521 s]
/proc/loadavg: 1.61 1.60 1.51 4/214 26494
/proc/meminfo: memFree=28280088/32770624 swapFree=0/453140
[pid=26431] ppid=26428 vsize=10563416 CPUtime=1.93 cores=1,3,5,7
/proc/26431/stat : 26431 (java) S 26428 26431 25139 0 -1 1077944320 30402 12411 0 0 174 12 5 2 20 0 15 0 61413205 10816937984 43599 18446744073709551615 4194304 4196468 140726855675344 140726855657888 140175644110583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
/proc/26431/statm: 2640854 43599 3380 1 0 2630027 0
[pid=26431/tid=26481] ppid=26428 vsize=10563416 CPUtime=1.29 cores=1,3,5,7
/proc/26431/task/26481/stat : 26481 (java) R 26428 26431 25139 0 -1 4202560 23248 12411 0 0 114 8 5 2 20 0 15 0 61413225 10816937984 43599 18446744073709551615 4194304 4196468 140726855675344 140175648338848 140175269261926 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26482] ppid=26428 vsize=10563416 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26482/stat : 26482 (java) S 26428 26431 25139 0 -1 1077944384 58 12411 0 0 0 0 5 2 20 0 15 0 61413226 10816937984 43599 18446744073709551615 4194304 4196468 140726855675344 140175590459664 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26483] ppid=26428 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/26431/task/26483/stat : 26483 (java) S 26428 26431 25139 0 -1 1077944384 174 12411 0 0 1 0 5 2 20 0 15 0 61413226 10816937984 43599 18446744073709551615 4194304 4196468 140726855675344 140175589407120 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26484] ppid=26428 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/26431/task/26484/stat : 26484 (java) S 26428 26431 25139 0 -1 1077944384 29 12411 0 0 1 0 5 2 20 0 15 0 61413226 10816937984 43599 18446744073709551615 4194304 4196468 140726855675344 140175588354576 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26485] ppid=26428 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/26431/task/26485/stat : 26485 (java) S 26428 26431 25139 0 -1 1077944384 53 12411 0 0 1 0 5 2 20 0 15 0 61413226 10816937984 43599 18446744073709551615 4194304 4196468 140726855675344 140175587302032 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26486] ppid=26428 vsize=10563416 CPUtime=0.08 cores=1,3,5,7
/proc/26431/task/26486/stat : 26486 (java) S 26428 26431 25139 0 -1 1077944384 1524 12411 0 0 1 0 5 2 20 0 15 0 61413227 10816937984 43599 18446744073709551615 4194304 4196468 140726855675344 140174952806896 140175644121730 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26487] ppid=26428 vsize=10563416 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26487/stat : 26487 (java) S 26428 26431 25139 0 -1 1077944384 56 12411 0 0 0 0 5 2 20 0 15 0 61413228 10816937984 43599 18446744073709551615 4194304 4196468 140726855675344 140174951753184 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26488] ppid=26428 vsize=10563416 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26488/stat : 26488 (java) S 26428 26431 25139 0 -1 1077944384 44 12411 0 0 0 0 5 2 20 0 15 0 61413228 10816937984 43599 18446744073709551615 4194304 4196468 140726855675344 140174950700544 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26489] ppid=26428 vsize=10563416 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26489/stat : 26489 (java) S 26428 26431 25139 0 -1 1077944384 3 12411 0 0 0 0 5 2 20 0 15 0 61413230 10816937984 43599 18446744073709551615 4194304 4196468 140726855675344 140174949649104 140175644129179 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26490] ppid=26428 vsize=10563416 CPUtime=0.21 cores=1,3,5,7
/proc/26431/task/26490/stat : 26490 (java) S 26428 26431 25139 0 -1 1077944384 954 12411 0 0 14 0 5 2 20 0 15 0 61413230 10816937984 43599 18446744073709551615 4194304 4196468 140726855675344 140174948595696 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26491] ppid=26428 vsize=10563416 CPUtime=0.22 cores=1,3,5,7
/proc/26431/task/26491/stat : 26491 (java) S 26428 26431 25139 0 -1 1077944384 696 12411 0 0 15 0 5 2 20 0 15 0 61413230 10816937984 43599 18446744073709551615 4194304 4196468 140726855675344 140174947543152 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26492] ppid=26428 vsize=10563416 CPUtime=0.3 cores=1,3,5,7
/proc/26431/task/26492/stat : 26492 (java) S 26428 26431 25139 0 -1 1077944384 1413 12411 0 0 23 0 5 2 20 0 15 0 61413230 10816937984 43599 18446744073709551615 4194304 4196468 140726855675344 140174946490608 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26493] ppid=26428 vsize=10563416 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26493/stat : 26493 (java) S 26428 26431 25139 0 -1 1077944384 3 12411 0 0 0 0 5 2 20 0 15 0 61413231 10816937984 43599 18446744073709551615 4194304 4196468 140726855675344 140174945438304 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26494] ppid=26428 vsize=10563416 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26494/stat : 26494 (java) S 26428 26431 25139 0 -1 1077944384 10 12411 0 0 0 0 5 2 20 0 15 0 61413235 10816937984 43599 18446744073709551615 4194304 4196468 140726855675344 140174944385840 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 10563416

[startup+3.10126 s]
/proc/loadavg: 1.61 1.60 1.51 4/214 26494
/proc/meminfo: memFree=28211596/32770624 swapFree=0/453140
[pid=26431] ppid=26428 vsize=10573844 CPUtime=6.24 cores=1,3,5,7
/proc/26431/stat : 26431 (java) S 26428 26431 25139 0 -1 1077944320 42567 12411 0 0 598 19 5 2 20 0 15 0 61413205 10827616256 72391 18446744073709551615 4194304 4196468 140726855675344 140726855657888 140175644110583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
/proc/26431/statm: 2643461 72391 3469 1 0 2632075 0
[pid=26431/tid=26481] ppid=26428 vsize=10573844 CPUtime=2.86 cores=1,3,5,7
/proc/26431/task/26481/stat : 26481 (java) R 26428 26431 25139 0 -1 4202560 29308 12411 0 0 269 10 5 2 20 0 15 0 61413225 10827616256 72391 18446744073709551615 4194304 4196468 140726855675344 140175648342640 140175268188008 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26482] ppid=26428 vsize=10573844 CPUtime=0.08 cores=1,3,5,7
/proc/26431/task/26482/stat : 26482 (java) S 26428 26431 25139 0 -1 1077944384 84 12411 0 0 1 0 5 2 20 0 15 0 61413226 10827616256 72391 18446744073709551615 4194304 4196468 140726855675344 140175590459664 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26483] ppid=26428 vsize=10573844 CPUtime=0.08 cores=1,3,5,7
/proc/26431/task/26483/stat : 26483 (java) S 26428 26431 25139 0 -1 1077944384 186 12411 0 0 1 0 5 2 20 0 15 0 61413226 10827616256 72391 18446744073709551615 4194304 4196468 140726855675344 140175589407120 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26484] ppid=26428 vsize=10573844 CPUtime=0.08 cores=1,3,5,7
/proc/26431/task/26484/stat : 26484 (java) S 26428 26431 25139 0 -1 1077944384 62 12411 0 0 1 0 5 2 20 0 15 0 61413226 10827616256 72391 18446744073709551615 4194304 4196468 140726855675344 140175588354576 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26485] ppid=26428 vsize=10573844 CPUtime=0.08 cores=1,3,5,7
/proc/26431/task/26485/stat : 26485 (java) S 26428 26431 25139 0 -1 1077944384 161 12411 0 0 1 0 5 2 20 0 15 0 61413226 10827616256 72391 18446744073709551615 4194304 4196468 140726855675344 140175587302032 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26486] ppid=26428 vsize=10573844 CPUtime=0.08 cores=1,3,5,7
/proc/26431/task/26486/stat : 26486 (java) S 26428 26431 25139 0 -1 1077944384 1614 12411 0 0 1 0 5 2 20 0 15 0 61413227 10827616256 72391 18446744073709551615 4194304 4196468 140726855675344 140174952806896 140175644121730 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26487] ppid=26428 vsize=10573844 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26487/stat : 26487 (java) S 26428 26431 25139 0 -1 1077944384 56 12411 0 0 0 0 5 2 20 0 15 0 61413228 10827616256 72391 18446744073709551615 4194304 4196468 140726855675344 140174951753184 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26488] ppid=26428 vsize=10573844 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26488/stat : 26488 (java) S 26428 26431 25139 0 -1 1077944384 44 12411 0 0 0 0 5 2 20 0 15 0 61413228 10827616256 72391 18446744073709551615 4194304 4196468 140726855675344 140174950700544 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26489] ppid=26428 vsize=10573844 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26489/stat : 26489 (java) S 26428 26431 25139 0 -1 1077944384 3 12411 0 0 0 0 5 2 20 0 15 0 61413230 10827616256 72391 18446744073709551615 4194304 4196468 140726855675344 140174949649104 140175644129179 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26490] ppid=26428 vsize=10573844 CPUtime=1.12 cores=1,3,5,7
/proc/26431/task/26490/stat : 26490 (java) R 26428 26431 25139 0 -1 4202560 2204 12411 0 0 104 1 5 2 20 0 15 0 61413230 10827616256 72391 18446744073709551615 4194304 4196468 140726855675344 140174948580464 140175628500448 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26491] ppid=26428 vsize=10573844 CPUtime=1.23 cores=1,3,5,7
/proc/26431/task/26491/stat : 26491 (java) R 26428 26431 25139 0 -1 4202560 3392 12411 0 0 115 1 5 2 20 0 15 0 61413230 10827616256 72391 18446744073709551615 4194304 4196468 140726855675344 140174947528464 140175628013682 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26492] ppid=26428 vsize=10573844 CPUtime=1.06 cores=1,3,5,7
/proc/26431/task/26492/stat : 26492 (java) S 26428 26431 25139 0 -1 1077944384 3300 12411 0 0 98 1 5 2 20 0 15 0 61413230 10827616256 72391 18446744073709551615 4194304 4196468 140726855675344 140174946490608 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26493] ppid=26428 vsize=10573844 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26493/stat : 26493 (java) S 26428 26431 25139 0 -1 1077944384 3 12411 0 0 0 0 5 2 20 0 15 0 61413231 10827616256 72391 18446744073709551615 4194304 4196468 140726855675344 140174945438304 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26494] ppid=26428 vsize=10573844 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26494/stat : 26494 (java) S 26428 26431 25139 0 -1 1077944384 13 12411 0 0 0 0 5 2 20 0 15 0 61413235 10827616256 72391 18446744073709551615 4194304 4196468 140726855675344 140174944385840 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 10573844

[startup+6.30127 s]
/proc/loadavg: 1.61 1.60 1.51 5/214 26494
/proc/meminfo: memFree=28001836/32770624 swapFree=0/453136
[pid=26431] ppid=26428 vsize=10575892 CPUtime=16.04 cores=1,3,5,7
/proc/26431/stat : 26431 (java) S 26428 26431 25139 0 -1 1077944320 64356 12411 0 0 1563 34 5 2 20 0 15 0 61413205 10829713408 145191 18446744073709551615 4194304 4196468 140726855675344 140726855657888 140175644110583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
/proc/26431/statm: 2643973 145191 3488 1 0 2632587 0
[pid=26431/tid=26481] ppid=26428 vsize=10575892 CPUtime=5.75 cores=1,3,5,7
/proc/26431/task/26481/stat : 26481 (java) S 26428 26431 25139 0 -1 1077944384 32397 12411 0 0 555 13 5 2 20 0 15 0 61413225 10829713408 145191 18446744073709551615 4194304 4196468 140726855675344 140175648345520 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26482] ppid=26428 vsize=10575892 CPUtime=0.25 cores=1,3,5,7
/proc/26431/task/26482/stat : 26482 (java) R 26428 26431 25139 0 -1 4202560 386 12411 0 0 15 3 5 2 20 0 15 0 61413226 10829713408 145191 18446744073709551615 4194304 4196468 140726855675344 140175590459864 140175629134638 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26483] ppid=26428 vsize=10575892 CPUtime=0.26 cores=1,3,5,7
/proc/26431/task/26483/stat : 26483 (java) R 26428 26431 25139 0 -1 4202560 613 12411 0 0 16 3 5 2 20 0 15 0 61413226 10829713408 145191 18446744073709551615 4194304 4196468 140726855675344 140175589407120 140175625736528 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26484] ppid=26428 vsize=10575892 CPUtime=0.21 cores=1,3,5,7
/proc/26431/task/26484/stat : 26484 (java) R 26428 26431 25139 0 -1 4202560 170 12411 0 0 12 2 5 2 20 0 15 0 61413226 10829713408 145191 18446744073709551615 4194304 4196468 140726855675344 140175588354776 140175629138728 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26485] ppid=26428 vsize=10575892 CPUtime=0.23 cores=1,3,5,7
/proc/26431/task/26485/stat : 26485 (java) R 26428 26431 25139 0 -1 4202560 444 12411 0 0 14 2 5 2 20 0 15 0 61413226 10829713408 145191 18446744073709551615 4194304 4196468 140726855675344 140175587301920 140175629137785 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26486] ppid=26428 vsize=10575892 CPUtime=0.09 cores=1,3,5,7
/proc/26431/task/26486/stat : 26486 (java) S 26428 26431 25139 0 -1 1077944384 2543 12411 0 0 2 0 5 2 20 0 15 0 61413227 10829713408 145191 18446744073709551615 4194304 4196468 140726855675344 140174952805408 140175644120789 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26487] ppid=26428 vsize=10575892 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26487/stat : 26487 (java) S 26428 26431 25139 0 -1 1077944384 66 12411 0 0 0 0 5 2 20 0 15 0 61413228 10829713408 145191 18446744073709551615 4194304 4196468 140726855675344 140174951753184 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26488] ppid=26428 vsize=10575892 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26488/stat : 26488 (java) S 26428 26431 25139 0 -1 1077944384 57 12411 0 0 0 0 5 2 20 0 15 0 61413228 10829713408 145191 18446744073709551615 4194304 4196468 140726855675344 140174950700544 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26489] ppid=26428 vsize=10575892 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26489/stat : 26489 (java) S 26428 26431 25139 0 -1 1077944384 3 12411 0 0 0 0 5 2 20 0 15 0 61413230 10829713408 145191 18446744073709551615 4194304 4196468 140726855675344 140174949649104 140175644129179 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26490] ppid=26428 vsize=10575892 CPUtime=3.99 cores=1,3,5,7
/proc/26431/task/26490/stat : 26490 (java) S 26428 26431 25139 0 -1 1077944384 12473 12411 0 0 390 2 5 2 20 0 15 0 61413230 10829713408 145191 18446744073709551615 4194304 4196468 140726855675344 140174948574864 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26491] ppid=26428 vsize=10575892 CPUtime=4.28 cores=1,3,5,7
/proc/26431/task/26491/stat : 26491 (java) R 26428 26431 25139 0 -1 4202560 3729 12411 0 0 418 3 5 2 20 0 15 0 61413230 10829713408 145191 18446744073709551615 4194304 4196468 140726855675344 140174947529968 140175624832636 0 4 1 16800974 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26492] ppid=26428 vsize=10575892 CPUtime=1.45 cores=1,3,5,7
/proc/26431/task/26492/stat : 26492 (java) S 26428 26431 25139 0 -1 1077944384 8814 12411 0 0 136 2 5 2 20 0 15 0 61413230 10829713408 145191 18446744073709551615 4194304 4196468 140726855675344 140174946490608 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26493] ppid=26428 vsize=10575892 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26493/stat : 26493 (java) S 26428 26431 25139 0 -1 1077944384 3 12411 0 0 0 0 5 2 20 0 15 0 61413231 10829713408 145191 18446744073709551615 4194304 4196468 140726855675344 140174945438304 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26494] ppid=26428 vsize=10575892 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26494/stat : 26494 (java) S 26428 26431 25139 0 -1 1077944384 521 12411 0 0 0 0 5 2 20 0 15 0 61413235 10829713408 145191 18446744073709551615 4194304 4196468 140726855675344 140174944385840 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
Current children cumulated CPU time (s) 16.04
Current children cumulated vsize (KiB) 10575892

[startup+12.7007 s]
/proc/loadavg: 1.82 1.64 1.52 3/214 26494
/proc/meminfo: memFree=26703656/32770624 swapFree=0/453136
[pid=26431] ppid=26428 vsize=10575892 CPUtime=27.26 cores=1,3,5,7
/proc/26431/stat : 26431 (java) S 26428 26431 25139 0 -1 1077944320 74644 12411 0 0 2644 75 5 2 20 0 15 0 61413205 10829713408 426708 18446744073709551615 4194304 4196468 140726855675344 140726855657888 140175644110583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
/proc/26431/statm: 2643973 426708 3490 1 0 2632587 0
[pid=26431/tid=26481] ppid=26428 vsize=10575892 CPUtime=11.77 cores=1,3,5,7
/proc/26431/task/26481/stat : 26481 (java) R 26428 26431 25139 0 -1 4202560 36246 12411 0 0 1147 23 5 2 20 0 15 0 61413225 10829713408 426708 18446744073709551615 4194304 4196468 140726855675344 140175648345392 140175279655908 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26482] ppid=26428 vsize=10575892 CPUtime=0.57 cores=1,3,5,7
/proc/26431/task/26482/stat : 26482 (java) S 26428 26431 25139 0 -1 1077944384 572 12411 0 0 39 11 5 2 20 0 15 0 61413226 10829713408 426708 18446744073709551615 4194304 4196468 140726855675344 140175590459664 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26483] ppid=26428 vsize=10575892 CPUtime=0.58 cores=1,3,5,7
/proc/26431/task/26483/stat : 26483 (java) S 26428 26431 25139 0 -1 1077944384 877 12411 0 0 41 10 5 2 20 0 15 0 61413226 10829713408 426708 18446744073709551615 4194304 4196468 140726855675344 140175589407120 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26484] ppid=26428 vsize=10575892 CPUtime=0.5 cores=1,3,5,7
/proc/26431/task/26484/stat : 26484 (java) S 26428 26431 25139 0 -1 1077944384 435 12411 0 0 35 8 5 2 20 0 15 0 61413226 10829713408 426708 18446744073709551615 4194304 4196468 140726855675344 140175588354576 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26485] ppid=26428 vsize=10575892 CPUtime=0.58 cores=1,3,5,7
/proc/26431/task/26485/stat : 26485 (java) S 26428 26431 25139 0 -1 1077944384 867 12411 0 0 41 10 5 2 20 0 15 0 61413226 10829713408 426708 18446744073709551615 4194304 4196468 140726855675344 140175587302032 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26486] ppid=26428 vsize=10575892 CPUtime=0.1 cores=1,3,5,7
/proc/26431/task/26486/stat : 26486 (java) S 26428 26431 25139 0 -1 1077944384 3417 12411 0 0 3 0 5 2 20 0 15 0 61413227 10829713408 426708 18446744073709551615 4194304 4196468 140726855675344 140174952806896 140175644121730 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26487] ppid=26428 vsize=10575892 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26487/stat : 26487 (java) S 26428 26431 25139 0 -1 1077944384 66 12411 0 0 0 0 5 2 20 0 15 0 61413228 10829713408 426708 18446744073709551615 4194304 4196468 140726855675344 140174951753184 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26488] ppid=26428 vsize=10575892 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26488/stat : 26488 (java) S 26428 26431 25139 0 -1 1077944384 57 12411 0 0 0 0 5 2 20 0 15 0 61413228 10829713408 426708 18446744073709551615 4194304 4196468 140726855675344 140174950700544 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26489] ppid=26428 vsize=10575892 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26489/stat : 26489 (java) S 26428 26431 25139 0 -1 1077944384 3 12411 0 0 0 0 5 2 20 0 15 0 61413230 10829713408 426708 18446744073709551615 4194304 4196468 140726855675344 140174949649104 140175644129179 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0

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

/proc/26431/task/26493/stat : 26493 (java) S 26428 26431 25139 0 -1 1077944384 3 12411 0 0 0 0 5 2 20 0 15 0 61413231 10903113728 905880 18446744073709551615 4194304 4196468 140726855675344 140174945438304 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26494] ppid=26428 vsize=10647572 CPUtime=1.27 cores=1,3,5,7
/proc/26431/task/26494/stat : 26494 (java) S 26428 26431 25139 0 -1 1077944384 2076 12411 0 0 59 61 5 2 20 0 15 0 61413235 10903113728 905880 18446744073709551615 4194304 4196468 140726855675344 140174944385840 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
Current children cumulated CPU time (s) 2223.09
Current children cumulated vsize (KiB) 10647572

[startup+2202.31 s]
/proc/loadavg: 1.61 1.74 1.77 3/215 26785
/proc/meminfo: memFree=26478560/32770624 swapFree=0/453672
[pid=26431] ppid=26428 vsize=10647572 CPUtime=2284.44 cores=1,3,5,7
/proc/26431/stat : 26431 (java) S 26428 26431 25139 0 -1 1077944320 592260 12411 0 0 228066 371 5 2 20 0 15 0 61413205 10903113728 902042 18446744073709551615 4194304 4196468 140726855675344 140726855657888 140175644110583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
/proc/26431/statm: 2661893 902042 3515 1 0 2650507 0
[pid=26431/tid=26481] ppid=26428 vsize=10647572 CPUtime=2182.69 cores=1,3,5,7
/proc/26431/task/26481/stat : 26481 (java) R 26428 26431 25139 0 -1 4202560 254580 12411 0 0 218198 64 5 2 20 0 15 0 61413225 10903113728 902042 18446744073709551615 4194304 4196468 140726855675344 140175648346288 140175273301828 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26482] ppid=26428 vsize=10647572 CPUtime=18.58 cores=1,3,5,7
/proc/26431/task/26482/stat : 26482 (java) S 26428 26431 25139 0 -1 1077944384 33444 12411 0 0 1795 56 5 2 20 0 15 0 61413226 10903113728 902042 18446744073709551615 4194304 4196468 140726855675344 140175590459664 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26483] ppid=26428 vsize=10647572 CPUtime=18.57 cores=1,3,5,7
/proc/26431/task/26483/stat : 26483 (java) S 26428 26431 25139 0 -1 1077944384 36012 12411 0 0 1792 58 5 2 20 0 15 0 61413226 10903113728 902042 18446744073709551615 4194304 4196468 140726855675344 140175589407120 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26484] ppid=26428 vsize=10647572 CPUtime=18.47 cores=1,3,5,7
/proc/26431/task/26484/stat : 26484 (java) S 26428 26431 25139 0 -1 1077944384 30839 12411 0 0 1786 54 5 2 20 0 15 0 61413226 10903113728 902042 18446744073709551615 4194304 4196468 140726855675344 140175588354576 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26485] ppid=26428 vsize=10647572 CPUtime=18.6 cores=1,3,5,7
/proc/26431/task/26485/stat : 26485 (java) S 26428 26431 25139 0 -1 1077944384 30620 12411 0 0 1796 57 5 2 20 0 15 0 61413226 10903113728 902042 18446744073709551615 4194304 4196468 140726855675344 140175587302032 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26486] ppid=26428 vsize=10647572 CPUtime=0.69 cores=1,3,5,7
/proc/26431/task/26486/stat : 26486 (java) S 26428 26431 25139 0 -1 1077944384 59755 12411 0 0 53 9 5 2 20 0 15 0 61413227 10903113728 902042 18446744073709551615 4194304 4196468 140726855675344 140174952806896 140175644121730 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26487] ppid=26428 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/26431/task/26487/stat : 26487 (java) S 26428 26431 25139 0 -1 1077944384 161 12411 0 0 1 0 5 2 20 0 15 0 61413228 10903113728 902042 18446744073709551615 4194304 4196468 140726855675344 140174951753248 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26488] ppid=26428 vsize=10647572 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26488/stat : 26488 (java) S 26428 26431 25139 0 -1 1077944384 70 12411 0 0 0 0 5 2 20 0 15 0 61413228 10903113728 902042 18446744073709551615 4194304 4196468 140726855675344 140174950700544 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26489] ppid=26428 vsize=10647572 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26489/stat : 26489 (java) S 26428 26431 25139 0 -1 1077944384 3 12411 0 0 0 0 5 2 20 0 15 0 61413230 10903113728 902042 18446744073709551615 4194304 4196468 140726855675344 140174949649104 140175644129179 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26490] ppid=26428 vsize=10647572 CPUtime=11.16 cores=1,3,5,7
/proc/26431/task/26490/stat : 26490 (java) S 26428 26431 25139 0 -1 1077944384 44919 12411 0 0 1103 6 5 2 20 0 15 0 61413230 10903113728 902042 18446744073709551615 4194304 4196468 140726855675344 140174948595696 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26491] ppid=26428 vsize=10647572 CPUtime=11.85 cores=1,3,5,7
/proc/26431/task/26491/stat : 26491 (java) S 26428 26431 25139 0 -1 1077944384 38161 12411 0 0 1172 6 5 2 20 0 15 0 61413230 10903113728 902042 18446744073709551615 4194304 4196468 140726855675344 140174947543152 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26492] ppid=26428 vsize=10647572 CPUtime=3.03 cores=1,3,5,7
/proc/26431/task/26492/stat : 26492 (java) S 26428 26431 25139 0 -1 1077944384 59442 12411 0 0 288 8 5 2 20 0 15 0 61413230 10903113728 902042 18446744073709551615 4194304 4196468 140726855675344 140174946490608 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26493] ppid=26428 vsize=10647572 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26493/stat : 26493 (java) S 26428 26431 25139 0 -1 1077944384 3 12411 0 0 0 0 5 2 20 0 15 0 61413231 10903113728 902042 18446744073709551615 4194304 4196468 140726855675344 140174945438304 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26494] ppid=26428 vsize=10647572 CPUtime=1.31 cores=1,3,5,7
/proc/26431/task/26494/stat : 26494 (java) S 26428 26431 25139 0 -1 1077944384 2114 12411 0 0 61 63 5 2 20 0 15 0 61413235 10903113728 902042 18446744073709551615 4194304 4196468 140726855675344 140174944385840 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
Current children cumulated CPU time (s) 2284.44
Current children cumulated vsize (KiB) 10647572

[startup+2262.3 s]
/proc/loadavg: 1.42 1.67 1.74 3/214 26787
/proc/meminfo: memFree=26487308/32770624 swapFree=0/453712
[pid=26431] ppid=26428 vsize=10647572 CPUtime=2346 cores=1,3,5,7
/proc/26431/stat : 26431 (java) S 26428 26431 25139 0 -1 1077944320 603330 12411 0 0 234220 373 5 2 20 0 15 0 61413205 10903113728 902043 18446744073709551615 4194304 4196468 140726855675344 140726855657888 140175644110583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
/proc/26431/statm: 2661893 902043 3515 1 0 2650507 0
[pid=26431/tid=26481] ppid=26428 vsize=10647572 CPUtime=2242.17 cores=1,3,5,7
/proc/26431/task/26481/stat : 26481 (java) R 26428 26431 25139 0 -1 4202560 260755 12411 0 0 224145 65 5 2 20 0 15 0 61413225 10903113728 902043 18446744073709551615 4194304 4196468 140726855675344 140175648346296 140175283162130 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26482] ppid=26428 vsize=10647572 CPUtime=19.09 cores=1,3,5,7
/proc/26431/task/26482/stat : 26482 (java) S 26428 26431 25139 0 -1 1077944384 34113 12411 0 0 1846 56 5 2 20 0 15 0 61413226 10903113728 902043 18446744073709551615 4194304 4196468 140726855675344 140175590459664 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26483] ppid=26428 vsize=10647572 CPUtime=19.08 cores=1,3,5,7
/proc/26431/task/26483/stat : 26483 (java) S 26428 26431 25139 0 -1 1077944384 36309 12411 0 0 1843 58 5 2 20 0 15 0 61413226 10903113728 902043 18446744073709551615 4194304 4196468 140726855675344 140175589407120 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26484] ppid=26428 vsize=10647572 CPUtime=18.98 cores=1,3,5,7
/proc/26431/task/26484/stat : 26484 (java) S 26428 26431 25139 0 -1 1077944384 32326 12411 0 0 1837 54 5 2 20 0 15 0 61413226 10903113728 902043 18446744073709551615 4194304 4196468 140726855675344 140175588354576 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26485] ppid=26428 vsize=10647572 CPUtime=19.11 cores=1,3,5,7
/proc/26431/task/26485/stat : 26485 (java) S 26428 26431 25139 0 -1 1077944384 31509 12411 0 0 1847 57 5 2 20 0 15 0 61413226 10903113728 902043 18446744073709551615 4194304 4196468 140726855675344 140175587302032 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26486] ppid=26428 vsize=10647572 CPUtime=0.7 cores=1,3,5,7
/proc/26431/task/26486/stat : 26486 (java) S 26428 26431 25139 0 -1 1077944384 60069 12411 0 0 54 9 5 2 20 0 15 0 61413227 10903113728 902043 18446744073709551615 4194304 4196468 140726855675344 140174952806896 140175644121730 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26487] ppid=26428 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/26431/task/26487/stat : 26487 (java) S 26428 26431 25139 0 -1 1077944384 165 12411 0 0 1 0 5 2 20 0 15 0 61413228 10903113728 902043 18446744073709551615 4194304 4196468 140726855675344 140174951753248 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26488] ppid=26428 vsize=10647572 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26488/stat : 26488 (java) S 26428 26431 25139 0 -1 1077944384 70 12411 0 0 0 0 5 2 20 0 15 0 61413228 10903113728 902043 18446744073709551615 4194304 4196468 140726855675344 140174950700544 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26489] ppid=26428 vsize=10647572 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26489/stat : 26489 (java) S 26428 26431 25139 0 -1 1077944384 3 12411 0 0 0 0 5 2 20 0 15 0 61413230 10903113728 902043 18446744073709551615 4194304 4196468 140726855675344 140174949649104 140175644129179 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26490] ppid=26428 vsize=10647572 CPUtime=11.16 cores=1,3,5,7
/proc/26431/task/26490/stat : 26490 (java) S 26428 26431 25139 0 -1 1077944384 44922 12411 0 0 1103 6 5 2 20 0 15 0 61413230 10903113728 902043 18446744073709551615 4194304 4196468 140726855675344 140174948595696 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26491] ppid=26428 vsize=10647572 CPUtime=11.85 cores=1,3,5,7
/proc/26431/task/26491/stat : 26491 (java) S 26428 26431 25139 0 -1 1077944384 39345 12411 0 0 1172 6 5 2 20 0 15 0 61413230 10903113728 902043 18446744073709551615 4194304 4196468 140726855675344 140174947543152 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26492] ppid=26428 vsize=10647572 CPUtime=3.03 cores=1,3,5,7
/proc/26431/task/26492/stat : 26492 (java) S 26428 26431 25139 0 -1 1077944384 59447 12411 0 0 288 8 5 2 20 0 15 0 61413230 10903113728 902043 18446744073709551615 4194304 4196468 140726855675344 140174946490608 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26493] ppid=26428 vsize=10647572 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26493/stat : 26493 (java) S 26428 26431 25139 0 -1 1077944384 3 12411 0 0 0 0 5 2 20 0 15 0 61413231 10903113728 902043 18446744073709551615 4194304 4196468 140726855675344 140174945438304 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26494] ppid=26428 vsize=10647572 CPUtime=1.34 cores=1,3,5,7
/proc/26431/task/26494/stat : 26494 (java) S 26428 26431 25139 0 -1 1077944384 2157 12411 0 0 63 64 5 2 20 0 15 0 61413235 10903113728 902043 18446744073709551615 4194304 4196468 140726855675344 140174944385840 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
Current children cumulated CPU time (s) 2346
Current children cumulated vsize (KiB) 10647572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2315 s]
/proc/loadavg: 1.81 1.73 1.76 3/213 26789
/proc/meminfo: memFree=26491152/32770624 swapFree=0/453704
[pid=26431] ppid=26428 vsize=10647572 CPUtime=2400.09 cores=1,3,5,7
/proc/26431/stat : 26431 (java) S 26428 26431 25139 0 -1 1077944320 617692 12411 0 0 239627 375 5 2 20 0 15 0 61413205 10903113728 902036 18446744073709551615 4194304 4196468 140726855675344 140726855657888 140175644110583 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
/proc/26431/statm: 2661893 902036 3515 1 0 2650507 0
[pid=26431/tid=26481] ppid=26428 vsize=10647572 CPUtime=2294.43 cores=1,3,5,7
/proc/26431/task/26481/stat : 26481 (java) R 26428 26431 25139 0 -1 4202560 266756 12411 0 0 229371 65 5 2 20 0 15 0 61413225 10903113728 902036 18446744073709551615 4194304 4196468 140726855675344 140175648343216 140175282327027 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26482] ppid=26428 vsize=10647572 CPUtime=19.52 cores=1,3,5,7
/proc/26431/task/26482/stat : 26482 (java) S 26428 26431 25139 0 -1 1077944384 36130 12411 0 0 1889 56 5 2 20 0 15 0 61413226 10903113728 902036 18446744073709551615 4194304 4196468 140726855675344 140175590459664 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26483] ppid=26428 vsize=10647572 CPUtime=19.51 cores=1,3,5,7
/proc/26431/task/26483/stat : 26483 (java) S 26428 26431 25139 0 -1 1077944384 36765 12411 0 0 1886 58 5 2 20 0 15 0 61413226 10903113728 902036 18446744073709551615 4194304 4196468 140726855675344 140175589407120 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26484] ppid=26428 vsize=10647572 CPUtime=19.42 cores=1,3,5,7
/proc/26431/task/26484/stat : 26484 (java) S 26428 26431 25139 0 -1 1077944384 32935 12411 0 0 1880 55 5 2 20 0 15 0 61413226 10903113728 902036 18446744073709551615 4194304 4196468 140726855675344 140175588354576 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26485] ppid=26428 vsize=10647572 CPUtime=19.54 cores=1,3,5,7
/proc/26431/task/26485/stat : 26485 (java) S 26428 26431 25139 0 -1 1077944384 31942 12411 0 0 1890 57 5 2 20 0 15 0 61413226 10903113728 902036 18446744073709551615 4194304 4196468 140726855675344 140175587302032 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26486] ppid=26428 vsize=10647572 CPUtime=0.7 cores=1,3,5,7
/proc/26431/task/26486/stat : 26486 (java) S 26428 26431 25139 0 -1 1077944384 60399 12411 0 0 54 9 5 2 20 0 15 0 61413227 10903113728 902036 18446744073709551615 4194304 4196468 140726855675344 140174952806896 140175644121730 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26487] ppid=26428 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/26431/task/26487/stat : 26487 (java) S 26428 26431 25139 0 -1 1077944384 169 12411 0 0 1 0 5 2 20 0 15 0 61413228 10903113728 902036 18446744073709551615 4194304 4196468 140726855675344 140174951753248 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26488] ppid=26428 vsize=10647572 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26488/stat : 26488 (java) S 26428 26431 25139 0 -1 1077944384 70 12411 0 0 0 0 5 2 20 0 15 0 61413228 10903113728 902036 18446744073709551615 4194304 4196468 140726855675344 140174950700544 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26489] ppid=26428 vsize=10647572 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26489/stat : 26489 (java) S 26428 26431 25139 0 -1 1077944384 3 12411 0 0 0 0 5 2 20 0 15 0 61413230 10903113728 902036 18446744073709551615 4194304 4196468 140726855675344 140174949649104 140175644129179 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26490] ppid=26428 vsize=10647572 CPUtime=11.22 cores=1,3,5,7
/proc/26431/task/26490/stat : 26490 (java) S 26428 26431 25139 0 -1 1077944384 47758 12411 0 0 1109 6 5 2 20 0 15 0 61413230 10903113728 902036 18446744073709551615 4194304 4196468 140726855675344 140174948595696 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26491] ppid=26428 vsize=10647572 CPUtime=11.86 cores=1,3,5,7
/proc/26431/task/26491/stat : 26491 (java) S 26428 26431 25139 0 -1 1077944384 40750 12411 0 0 1173 6 5 2 20 0 15 0 61413230 10903113728 902036 18446744073709551615 4194304 4196468 140726855675344 140174947543152 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26492] ppid=26428 vsize=10647572 CPUtime=3.03 cores=1,3,5,7
/proc/26431/task/26492/stat : 26492 (java) S 26428 26431 25139 0 -1 1077944384 59676 12411 0 0 288 8 5 2 20 0 15 0 61413230 10903113728 902036 18446744073709551615 4194304 4196468 140726855675344 140174946490608 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26493] ppid=26428 vsize=10647572 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26493/stat : 26493 (java) S 26428 26431 25139 0 -1 1077944384 3 12411 0 0 0 0 5 2 20 0 15 0 61413231 10903113728 902036 18446744073709551615 4194304 4196468 140726855675344 140174945438304 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26494] ppid=26428 vsize=10647572 CPUtime=1.37 cores=1,3,5,7
/proc/26431/task/26494/stat : 26494 (java) S 26428 26431 25139 0 -1 1077944384 2199 12411 0 0 64 66 5 2 20 0 15 0 61413235 10903113728 902036 18446744073709551615 4194304 4196468 140726855675344 140174944385840 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 10647572

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

[startup+2315.11 s]
/proc/loadavg: 1.81 1.73 1.76 3/213 26789
/proc/meminfo: memFree=26491152/32770624 swapFree=0/453704
[pid=26431] ppid=26428 vsize=10647572 CPUtime=2400.49 cores=1,3,5,7
/proc/26431/stat : 26431 (java) S 26428 26431 25139 0 -1 1077944320 617839 12411 0 0 239667 375 5 2 20 0 15 0 61413205 10903113728 902056 18446744073709551615 4194304 4196468 140726855675344 140726855657888 140175644110583 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
/proc/26431/statm: 2661893 902056 3515 1 0 2650507 0
[pid=26431/tid=26481] ppid=26428 vsize=10647572 CPUtime=2294.43 cores=1,3,5,7
/proc/26431/task/26481/stat : 26481 (java) S 26428 26431 25139 0 -1 1077944384 266757 12411 0 0 229371 65 5 2 20 0 15 0 61413225 10903113728 902056 18446744073709551615 4194304 4196468 140726855675344 140175648343328 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26482] ppid=26428 vsize=10647572 CPUtime=19.62 cores=1,3,5,7
/proc/26431/task/26482/stat : 26482 (java) S 26428 26431 25139 0 -1 1077944384 36141 12411 0 0 1899 56 5 2 20 0 15 0 61413226 10903113728 902056 18446744073709551615 4194304 4196468 140726855675344 140175590459664 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26483] ppid=26428 vsize=10647572 CPUtime=19.61 cores=1,3,5,7
/proc/26431/task/26483/stat : 26483 (java) R 26428 26431 25139 0 -1 1077944384 36781 12411 0 0 1896 58 5 2 20 0 15 0 61413226 10903113728 902056 18446744073709551615 4194304 4196468 140726855675344 140175589407120 140175644120789 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26484] ppid=26428 vsize=10647572 CPUtime=19.52 cores=1,3,5,7
/proc/26431/task/26484/stat : 26484 (java) S 26428 26431 25139 0 -1 1077944384 32941 12411 0 0 1890 55 5 2 20 0 15 0 61413226 10903113728 902056 18446744073709551615 4194304 4196468 140726855675344 140175588354576 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26485] ppid=26428 vsize=10647572 CPUtime=19.64 cores=1,3,5,7
/proc/26431/task/26485/stat : 26485 (java) S 26428 26431 25139 0 -1 1077944384 31958 12411 0 0 1900 57 5 2 20 0 15 0 61413226 10903113728 902056 18446744073709551615 4194304 4196468 140726855675344 140175587302032 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26486] ppid=26428 vsize=10647572 CPUtime=0.7 cores=1,3,5,7
/proc/26431/task/26486/stat : 26486 (java) R 26428 26431 25139 0 -1 4202560 60403 12411 0 0 54 9 5 2 20 0 15 0 61413227 10903113728 902056 18446744073709551615 4194304 4196468 140726855675344 140174952805408 140175644131930 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26487] ppid=26428 vsize=10647572 CPUtime=0.08 cores=1,3,5,7
/proc/26431/task/26487/stat : 26487 (java) S 26428 26431 25139 0 -1 1077944384 169 12411 0 0 1 0 5 2 20 0 15 0 61413228 10903113728 902056 18446744073709551615 4194304 4196468 140726855675344 140174951753248 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26488] ppid=26428 vsize=10647572 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26488/stat : 26488 (java) S 26428 26431 25139 0 -1 1077944384 70 12411 0 0 0 0 5 2 20 0 15 0 61413228 10903113728 902056 18446744073709551615 4194304 4196468 140726855675344 140174950700544 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26489] ppid=26428 vsize=10647572 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26489/stat : 26489 (java) S 26428 26431 25139 0 -1 1077944384 95 12411 0 0 0 0 5 2 20 0 15 0 61413230 10903113728 902056 18446744073709551615 4194304 4196468 140726855675344 140174949642704 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26490] ppid=26428 vsize=10647572 CPUtime=11.22 cores=1,3,5,7
/proc/26431/task/26490/stat : 26490 (java) S 26428 26431 25139 0 -1 1077944384 47758 12411 0 0 1109 6 5 2 20 0 15 0 61413230 10903113728 902056 18446744073709551615 4194304 4196468 140726855675344 140174948595696 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26491] ppid=26428 vsize=10647572 CPUtime=11.86 cores=1,3,5,7
/proc/26431/task/26491/stat : 26491 (java) S 26428 26431 25139 0 -1 1077944384 40750 12411 0 0 1173 6 5 2 20 0 15 0 61413230 10903113728 902056 18446744073709551615 4194304 4196468 140726855675344 140174947543152 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26492] ppid=26428 vsize=10647572 CPUtime=3.03 cores=1,3,5,7
/proc/26431/task/26492/stat : 26492 (java) S 26428 26431 25139 0 -1 1077944384 59676 12411 0 0 288 8 5 2 20 0 15 0 61413230 10903113728 902056 18446744073709551615 4194304 4196468 140726855675344 140174946490608 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26493] ppid=26428 vsize=10647572 CPUtime=0.07 cores=1,3,5,7
/proc/26431/task/26493/stat : 26493 (java) S 26428 26431 25139 0 -1 1077944384 3 12411 0 0 0 0 5 2 20 0 15 0 61413231 10903113728 902056 18446744073709551615 4194304 4196468 140726855675344 140174945438304 140175644120789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
[pid=26431/tid=26494] ppid=26428 vsize=10647572 CPUtime=1.37 cores=1,3,5,7
/proc/26431/task/26494/stat : 26494 (java) S 26428 26431 25139 0 -1 1077944384 2199 12411 0 0 64 66 5 2 20 0 15 0 61413235 10903113728 902056 18446744073709551615 4194304 4196468 140726855675344 140174944385840 140175644121730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26107904 140726855677915 140726855680689 140726855680689 140726855684047 0
Current children cumulated CPU time (s) 2400.49
Current children cumulated vsize (KiB) 10647572

Child status: 143
Real time (s): 2315.14
CPU time (s): 2400.56
CPU user time (s): 2396.74
CPU system time (s): 3.81578
CPU usage (%): 103.689
Max. virtual memory (cumulated for all children) (KiB): 10647980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.74
system time used= 3.81578
maximum resident set size= 3626604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 631946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65302
involuntary context switches= 2304

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.981 second user time and 13.8462 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-07 22:37:13
IDJOB=4248646
IDBENCH=140591
IDSOLVER=2630
FILE ID=node134/4248646-1502139071
RUNJOBID= node134-1502077974-12599
PBS_JOBID= 
Free space on /tmp= 62004 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-46.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248646-1502139071/watcher-4248646-1502139071 -o /tmp/evaluation-result-4248646-1502139071/solver-4248646-1502139071 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502077974-12599 --watchdog 2560  bin/concrete HOME/instance-4248646-1502139071.xml

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

MD5SUM BENCH= 6af071621bab6d4e45a1e2acc37440b7
RANDOM SEED=1025110307

node134.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.43
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.43
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.43
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.43
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:        28375576 kB
MemAvailable:   29071192 kB
Buffers:          230140 kB
Cached:           755092 kB
SwapCached:            0 kB
Active:          3486128 kB
Inactive:         475880 kB
Active(anon):    2979532 kB
Inactive(anon):    23032 kB
Active(file):     506596 kB
Inactive(file):   452848 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             25260 kB
Writeback:             0 kB
AnonPages:       2977284 kB
Mapped:            55284 kB
Shmem:             25276 kB
Slab:             130276 kB
SReclaimable:     104016 kB
SUnreclaim:        26260 kB
KernelStack:        3472 kB
PageTables:        10612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3668344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2744320 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 node134 at 2017-08-07 23:15:49