Trace number 4248665

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: OscaR - Conflict Ordering 2017-06-30SAT (TO)391 2400.1201 2328.6399

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-41.xml
MD5SUM85969bfc3f0409b7eeff9db7f7011033
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark2400.0601
Satisfiable
(Un)Satisfiability was proved
Number of variables1681
Number of constraints10660
Number of domains1
Minimum domain size820
Maximum domain size820
Distribution of domain sizes[{"size":820,"count":820}]
Minimum variable degree0
Maximum variable degree40
Distribution of variable degrees[{"degree":0,"count":861},{"degree":40,"count":820}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":10660}]
Number of extensional constraints0
Number of intensional constraints10660
Distribution of constraint types[{"type":"intension","count":10660}]
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 

0.23/0.39	c version: 2017-06-30
0.23/0.39	c seed: 825417640
0.23/0.39	c timeout: 2400
0.23/0.39	c memlimit: 15500
0.23/0.39	c nbcore: 4
0.41/0.41	c Parsing instance...
5.54/2.07	c Parsing done, starting search...
16.62/11.50	o 819
26.67/20.80	o 818
36.25/30.16	o 817
45.74/39.42	o 816
55.23/48.61	o 815
64.77/57.93	o 814
74.14/67.00	o 813
83.36/76.05	o 812
92.69/85.13	o 811
101.97/94.12	o 810
111.14/103.06	o 809
120.41/112.03	o 808
129.81/121.27	o 807
138.97/130.18	o 806
148.19/139.17	o 805
157.44/148.13	o 804
166.81/157.27	o 803
175.96/166.16	o 802
185.10/175.03	o 801
194.27/183.99	o 800
203.58/193.07	o 799
212.76/201.99	o 798
221.98/210.91	o 797
231.02/219.77	o 796
240.27/228.75	o 795
249.42/237.63	o 794
258.57/246.51	o 793
267.81/255.54	o 792
277.03/264.51	o 791
286.11/273.34	o 790
295.12/282.19	o 789
304.17/290.99	o 788
313.49/300.01	o 787
322.89/308.87	o 786
331.62/317.32	o 785
340.24/325.71	o 784
348.87/334.15	o 783
357.47/342.52	o 782
366.02/350.88	o 781
375.32/359.93	o 780
384.72/369.10	o 779
394.24/378.34	o 778
403.60/387.46	o 777
413.03/396.64	o 776
422.38/405.70	o 775
431.73/414.84	o 774
441.15/424.01	o 773
450.39/433.07	o 772
459.72/442.19	o 771
469.05/451.23	o 770
478.70/460.31	o 769
487.93/469.36	o 768
497.18/478.31	o 767
506.28/487.28	o 766
515.54/496.22	o 765
524.56/505.06	o 764
533.69/513.91	o 763
542.71/522.78	o 762
551.86/531.62	o 761
560.89/540.40	o 760
569.81/549.18	o 759
578.85/557.96	o 758
587.81/566.68	o 757
596.74/575.33	o 756
605.56/583.95	o 755
614.48/592.63	o 754
623.30/601.23	o 753
632.21/609.81	o 752
641.56/618.55	o 751
650.28/627.02	o 750
658.88/635.47	o 749
667.51/643.84	o 748
676.10/652.23	o 747
684.65/660.51	o 746
693.05/668.71	o 745
701.44/676.91	o 744
709.85/685.06	o 743
718.24/693.19	o 742
726.63/701.36	o 741
734.94/709.44	o 740
743.14/717.49	o 739
751.46/725.57	o 738
759.75/733.65	o 737
768.07/741.72	o 736
776.41/749.81	o 735
784.71/757.97	o 734
792.94/765.97	o 733
801.23/774.00	o 732
809.73/782.08	o 731
817.96/790.00	o 730
826.05/797.96	o 729
834.26/805.95	o 728
842.36/813.84	o 727
850.46/821.72	o 726
858.46/829.53	o 725
866.47/837.36	o 724
874.56/845.21	o 723
882.49/852.96	o 722
890.48/860.77	o 721
898.38/868.49	o 720
906.30/876.18	o 719
914.28/883.90	o 718
922.10/891.55	o 717
929.89/899.17	o 716
937.68/906.78	o 715
945.54/914.42	o 714
953.32/922.01	o 713
961.34/929.56	o 712
969.04/937.00	o 711
976.63/944.44	o 710
984.20/951.83	o 709
991.70/959.11	o 708
999.17/966.40	o 707
1006.65/973.71	o 706
1013.94/980.87	o 705
1021.41/988.10	o 704
1028.72/995.24	o 703
1036.00/1002.38	o 702
1043.27/1009.48	o 701
1050.55/1016.58	o 700
1057.86/1023.66	o 699
1065.15/1030.77	o 698
1072.42/1037.84	o 697
1079.73/1044.90	o 696
1086.91/1051.95	o 695
1094.18/1059.00	o 694
1101.27/1066.00	o 693
1108.87/1073.03	o 692
1116.04/1080.00	o 691
1123.12/1086.93	o 690
1130.18/1093.86	o 689
1137.28/1100.73	o 688
1144.36/1107.61	o 687
1151.33/1114.45	o 686
1158.31/1121.25	o 685
1165.30/1128.08	o 684
1172.26/1134.88	o 683
1179.22/1141.69	o 682
1186.43/1148.60	o 681
1193.39/1155.43	o 680
1200.25/1162.16	o 679
1207.11/1168.88	o 678
1213.97/1175.58	o 677
1220.86/1182.25	o 676
1227.62/1188.89	o 675
1234.39/1195.47	o 674
1241.16/1202.02	o 673
1247.84/1208.53	o 672
1254.82/1215.09	o 671
1261.49/1221.50	o 670
1268.03/1227.93	o 669
1274.52/1234.27	o 668
1280.98/1240.57	o 667
1287.53/1246.93	o 666
1293.91/1253.18	o 665
1300.37/1259.46	o 664
1306.71/1265.68	o 663
1313.20/1271.97	o 662
1319.54/1278.19	o 661
1325.92/1284.37	o 660
1332.28/1290.57	o 659
1338.62/1296.75	o 658
1344.99/1302.91	o 657
1351.26/1309.07	o 656
1357.50/1315.15	o 655
1363.78/1321.28	o 654
1370.03/1327.38	o 653
1376.28/1333.45	o 652
1382.56/1339.52	o 651
1389.12/1345.62	o 650
1395.17/1351.58	o 649
1401.34/1357.58	o 648
1407.48/1363.54	o 647
1413.53/1369.46	o 646
1419.57/1375.33	o 645
1425.63/1381.21	o 644
1431.69/1387.13	o 643
1437.64/1392.96	o 642
1443.59/1398.76	o 641
1449.55/1404.58	o 640
1455.51/1410.36	o 639
1461.35/1416.08	o 638
1467.30/1421.88	o 637
1473.15/1427.59	o 636
1479.10/1433.31	o 635
1484.86/1438.97	o 634
1490.71/1444.61	o 633
1496.35/1450.19	o 632
1502.10/1455.75	o 631
1507.85/1461.30	o 630
1513.48/1466.81	o 629
1519.45/1472.39	o 628
1525.18/1477.95	o 627
1530.81/1483.42	o 626
1536.38/1488.85	o 625
1542.00/1494.32	o 624
1547.55/1499.74	o 623
1553.17/1505.21	o 622
1558.62/1510.57	o 621
1564.18/1515.95	o 620
1569.69/1521.35	o 619
1575.15/1526.67	o 618
1580.67/1532.01	o 617
1586.21/1537.44	o 616
1591.66/1542.76	o 615
1597.08/1548.07	o 614
1602.65/1553.44	o 613
1608.19/1558.82	o 612
1613.62/1564.11	o 611
1618.96/1569.35	o 610
1624.39/1574.65	o 609
1629.81/1579.98	o 608
1635.14/1585.11	o 607
1640.79/1590.37	o 606
1646.16/1595.58	o 605
1651.49/1600.75	o 604
1656.71/1605.85	o 603
1661.96/1610.93	o 602
1667.09/1615.97	o 601
1672.23/1620.98	o 600
1677.36/1625.95	o 599
1682.48/1630.94	o 598
1687.58/1635.98	o 597
1692.61/1640.86	o 596
1697.65/1645.73	o 595
1702.65/1650.60	o 594
1707.71/1655.52	o 593
1712.64/1660.35	o 592
1717.58/1665.14	o 591
1722.48/1669.99	o 590
1727.41/1674.80	o 589
1732.43/1679.62	o 588
1737.37/1684.44	o 587
1742.29/1689.26	o 586
1747.11/1693.99	o 585
1752.42/1698.85	o 584
1757.26/1703.56	o 583
1762.10/1708.27	o 582
1767.02/1713.00	o 581
1771.82/1717.75	o 580
1776.64/1722.40	o 579
1781.28/1726.99	o 578
1786.08/1731.64	o 577
1790.92/1736.31	o 576
1795.62/1740.92	o 575
1800.23/1745.48	o 574
1805.09/1750.13	o 573
1809.72/1754.60	o 572
1814.33/1759.17	o 571
1819.04/1763.72	o 570
1823.65/1768.22	o 569
1828.15/1772.64	o 568
1832.70/1777.04	o 567
1837.24/1781.45	o 566
1841.84/1785.94	o 565
1846.35/1790.34	o 564
1850.76/1794.67	o 563
1855.16/1798.97	o 562
1860.01/1803.35	o 561
1864.41/1807.69	o 560
1868.82/1811.92	o 559
1873.15/1816.12	o 558
1877.54/1820.43	o 557
1881.87/1824.60	o 556
1886.26/1828.97	o 555
1890.66/1833.27	o 554
1894.95/1837.45	o 553
1899.18/1841.56	o 552
1903.47/1845.72	o 551
1907.70/1849.86	o 550
1911.99/1854.03	o 549
1916.19/1858.11	o 548
1920.28/1862.19	o 547
1924.51/1866.26	o 546
1928.82/1870.41	o 545
1932.91/1874.42	o 544
1937.00/1878.41	o 543
1941.10/1882.40	o 542
1945.12/1886.37	o 541
1949.23/1890.34	o 540
1953.22/1894.29	o 539
1957.73/1898.32	o 538
1961.75/1902.27	o 537
1965.74/1906.14	o 536
1969.73/1910.00	o 535
1973.64/1913.84	o 534
1977.57/1917.62	o 533
1981.46/1921.48	o 532
1985.35/1925.27	o 531
1989.25/1929.05	o 530
1993.15/1932.82	o 529
1996.94/1936.52	o 528
2000.76/1940.25	o 527
2004.61/1944.07	o 526
2008.61/1947.93	o 525
2012.45/1951.61	o 524
2016.25/1955.36	o 523
2020.16/1959.11	o 522
2024.00/1962.92	o 521
2027.72/1966.56	o 520
2031.51/1970.21	o 519
2035.11/1973.78	o 518
2038.81/1977.33	o 517
2042.51/1980.93	o 516
2046.21/1984.55	o 515
2050.35/1988.33	o 514
2054.15/1992.01	o 513
2057.76/1995.52	o 512
2061.25/1998.99	o 511
2064.85/2002.44	o 510
2068.45/2005.91	o 509
2072.05/2009.40	o 508
2075.54/2012.87	o 507
2079.14/2016.37	o 506
2082.83/2019.90	o 505
2086.39/2023.44	o 504
2089.90/2026.82	o 503
2093.36/2030.29	o 502
2096.96/2033.72	o 501
2100.46/2037.10	o 500
2103.92/2040.55	o 499
2107.32/2043.80	o 498
2110.62/2047.09	o 497
2114.02/2050.39	o 496
2117.47/2053.78	o 495
2120.88/2057.03	o 494
2124.24/2060.40	o 493
2127.54/2063.58	o 492
2130.89/2066.83	o 491
2134.30/2070.19	o 490
2137.66/2073.42	o 489
2141.06/2076.70	o 488
2144.27/2079.86	o 487
2148.06/2083.21	o 486
2151.42/2086.51	o 485
2154.62/2089.65	o 484
2157.87/2092.89	o 483
2161.09/2095.95	o 482
2164.24/2099.07	o 481
2167.44/2102.14	o 480
2170.59/2105.23	o 479
2173.79/2108.31	o 478
2176.89/2111.33	o 477
2180.04/2114.46	o 476
2183.14/2117.45	o 475
2186.29/2120.52	o 474
2189.30/2123.48	o 473
2192.47/2126.54	o 472
2195.53/2129.53	o 471
2198.65/2132.51	o 470
2201.71/2135.58	o 469
2204.78/2138.52	o 468
2207.74/2141.45	o 467
2210.72/2144.39	o 466
2213.69/2147.26	o 465
2216.81/2150.23	o 464
2219.86/2153.20	o 463
2222.74/2156.08	o 462
2225.59/2158.89	o 461
2228.60/2161.77	o 460
2231.55/2164.70	o 459
2234.52/2167.50	o 458
2237.29/2170.27	o 457
2240.39/2173.21	o 456
2243.26/2176.06	o 455
2246.12/2178.80	o 454
2248.88/2181.51	o 453
2251.65/2184.24	o 452
2254.42/2186.95	o 451
2257.18/2189.69	o 450
2260.28/2192.62	o 449
2263.13/2195.43	o 448
2265.89/2198.14	o 447
2268.55/2200.77	o 446
2271.36/2203.41	o 445
2274.01/2206.04	o 444
2276.66/2208.62	o 443
2279.32/2211.20	o 442
2281.88/2213.79	o 441
2284.78/2216.55	o 440
2287.52/2219.20	o 439
2290.09/2221.74	o 438
2292.66/2224.24	o 437
2295.35/2226.87	o 436
2298.43/2229.58	o 435
2300.99/2232.07	o 434
2303.55/2234.50	o 433
2306.01/2236.96	o 432
2308.56/2239.42	o 431
2311.03/2241.86	o 430
2313.48/2244.28	o 429
2315.95/2246.66	o 428
2318.40/2249.05	o 427
2320.86/2251.43	o 426
2323.32/2253.80	o 425
2325.69/2256.14	o 424
2328.04/2258.46	o 423
2330.54/2260.82	o 422
2332.99/2263.25	o 421
2335.34/2265.57	o 420
2337.70/2267.86	o 419
2340.06/2270.15	o 418
2342.42/2272.44	o 417
2344.78/2274.70	o 416
2347.03/2276.94	o 415
2349.29/2279.16	o 414
2351.55/2281.38	o 413
2353.81/2283.59	o 412
2356.06/2285.77	o 411
2358.32/2287.93	o 410
2360.58/2290.10	o 409
2362.75/2292.27	o 408
2365.00/2294.47	o 407
2367.26/2296.63	o 406
2369.43/2298.75	o 405
2371.68/2300.91	o 404
2373.83/2303.09	o 403
2376.09/2305.28	o 402
2378.35/2307.47	o 401
2380.61/2309.61	o 400
2382.77/2311.70	o 399
2384.92/2313.82	o 398
2387.17/2316.04	o 397
2389.48/2318.32	o 396
2391.64/2320.45	o 395
2393.69/2322.44	o 394
2395.76/2324.43	o 393
2397.81/2326.42	o 392
2399.87/2328.41	o 391
2400.07/2328.60	s SATISFIABLE
2400.07/2328.61	v <instantiation>
2400.07/2328.61	v 	<list>
2400.07/2328.61	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[36][37] x[36][38] x[36][39] x[36][40] x[37][38] x[37][39] x[37][40] x[38][39] x[38][40] x[39][40]
2400.07/2328.61	v 	</list>
2400.07/2328.61	v 	<values>
2400.07/2328.61	v 		390 389 390 387 390 389 390 388 390 389 390 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 390 389 390 388 390 389 390 387 390 389 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 390 389 390 388 390 389 390 387 390 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 390 389 390 388 390 389 390 387 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 390 389 390 388 390 389 390 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 390 389 390 388 390 389 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 390 389 390 388 390 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 390 389 390 388 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 390 389 390 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 390 389 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 390 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 391 379 379 378 378 378 378 378 378 378 378 378 378 378 378 378 379 378 380 381 382 383 384 385 386 387 388 389 390 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 377 378 379 380 381 382 383 384 385 386 387 388 389 390 378 379 380 381 382 383 384 385 386 387 388 389 390 379 380 381 382 383 384 385 386 387 388 389 390 380 381 382 383 384 385 386 387 388 389 390 381 382 383 384 385 386 387 388 389 390 382 383 384 385 386 387 388 389 390 383 384 385 386 387 388 389 390 384 385 386 387 388 389 390 385 386 387 388 389 390 386 387 388 389 390 387 388 389 390 388 389 390 389 390 390 
2400.07/2328.61	v 	</values>
2400.07/2328.61	v </instantiation>

Verifier Data 

OK	391

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-4248665-1502123900/watcher-4248665-1502123900 -o /tmp/evaluation-result-4248665-1502123900/solver-4248665-1502123900 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502110797-26746 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 825417640 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248665-1502123900.xml 

pid=28913
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.44 1.43 1.38 2/194 28916
/proc/meminfo: memFree=28373524/32770624 swapFree=0/449308
[pid=28916] ppid=28913 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/28916/stat : 28916 (runsolver) D 28913 28916 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 14610957 24240128 106 18446744073709551615 4194304 4338465 140726057330416 140726057328056 139968791368407 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 30597120 140726057332839 140726057333322 140726057333322 140726057336778 0
/proc/28916/statm: 5918 106 53 36 0 2156 0

[startup+0.100133 s]
/proc/loadavg: 1.44 1.43 1.38 2/194 28916
/proc/meminfo: memFree=28373524/32770624 swapFree=0/449308
[pid=28916] ppid=28913 vsize=356952 CPUtime=0 cores=1,3,5,7
/proc/28916/stat : 28916 (java) S 28913 28916 9955 0 -1 1077944320 1741 0 0 0 0 0 0 0 20 0 2 0 14610957 365518848 1889 18446744073709551615 4194304 4196468 140726864550896 140726864533440 140092364021495 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
/proc/28916/statm: 89238 1889 1042 1 0 79208 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 356952

[startup+0.200311 s]
/proc/loadavg: 1.44 1.43 1.38 2/194 28916
/proc/meminfo: memFree=28373524/32770624 swapFree=0/449308
[pid=28916] ppid=28913 vsize=12914980 CPUtime=0.06 cores=1,3,5,7
/proc/28916/stat : 28916 (java) S 28913 28916 9955 0 -1 1077944320 5532 0 0 0 6 0 0 0 20 0 15 0 14610957 13224939520 6048 18446744073709551615 4194304 4196468 140726864550896 140726864533440 140092364021495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
/proc/28916/statm: 3228745 6048 3285 1 0 3217524 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12914980

[startup+0.303829 s]
/proc/loadavg: 1.44 1.43 1.38 2/194 28916
/proc/meminfo: memFree=28373524/32770624 swapFree=0/449308
[pid=28916] ppid=28913 vsize=12914512 CPUtime=0.23 cores=1,3,5,7
/proc/28916/stat : 28916 (java) S 28913 28916 9955 0 -1 1077944320 10046 0 0 0 21 2 0 0 20 0 15 0 14610957 13224460288 9335 18446744073709551615 4194304 4196468 140726864550896 140726864533440 140092364021495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
/proc/28916/statm: 3228628 9335 3540 1 0 3217407 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 12914512

[startup+0.702827 s]
/proc/loadavg: 1.44 1.43 1.38 2/194 28916
/proc/meminfo: memFree=28373524/32770624 swapFree=0/449308
[pid=28916] ppid=28913 vsize=12916580 CPUtime=1.16 cores=1,3,5,7
/proc/28916/stat : 28916 (java) S 28913 28916 9955 0 -1 1077944320 16315 0 0 0 112 4 0 0 20 0 15 0 14610957 13226577920 21116 18446744073709551615 4194304 4196468 140726864550896 140726864533440 140092364021495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
/proc/28916/statm: 3229145 21116 3729 1 0 3217919 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 12916580

[startup+1.50087 s]
/proc/loadavg: 1.44 1.43 1.38 7/209 28931
/proc/meminfo: memFree=28186728/32770624 swapFree=0/449360
[pid=28916] ppid=28913 vsize=12916580 CPUtime=3.88 cores=1,3,5,7
/proc/28916/stat : 28916 (java) S 28913 28916 9955 0 -1 1077944320 19648 0 0 0 380 8 0 0 20 0 15 0 14610957 13226577920 53494 18446744073709551615 4194304 4196468 140726864550896 140726864533440 140092364021495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
/proc/28916/statm: 3229145 53494 3782 1 0 3217919 0
[pid=28916/tid=28918] ppid=28913 vsize=12916580 CPUtime=1.32 cores=1,3,5,7
/proc/28916/task/28918/stat : 28918 (java) R 28913 28916 9955 0 -1 4202560 10687 0 0 0 127 5 0 0 20 0 15 0 14610966 13226577920 53494 18446744073709551615 4194304 4196468 140726864550896 140092368255784 140091991057512 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28919] ppid=28913 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28919/stat : 28919 (java) S 28913 28916 9955 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 14610967 13226577920 53494 18446744073709551615 4194304 4196468 140726864550896 140092307331728 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28920] ppid=28913 vsize=12916580 CPUtime=0.01 cores=1,3,5,7
/proc/28916/task/28920/stat : 28920 (java) S 28913 28916 9955 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 14610967 13226577920 53494 18446744073709551615 4194304 4196468 140726864550896 140092306278928 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28921] ppid=28913 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28921/stat : 28921 (java) S 28913 28916 9955 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 14610967 13226577920 53494 18446744073709551615 4194304 4196468 140726864550896 140092305226128 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28922] ppid=28913 vsize=12916580 CPUtime=0.01 cores=1,3,5,7
/proc/28916/task/28922/stat : 28922 (java) S 28913 28916 9955 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 14610967 13226577920 53494 18446744073709551615 4194304 4196468 140726864550896 140091964479760 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28923] ppid=28913 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28923/stat : 28923 (java) S 28913 28916 9955 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 14610968 13226577920 53494 18446744073709551615 4194304 4196468 140726864550896 140091916024688 140092364032642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28924] ppid=28913 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28924/stat : 28924 (java) S 28913 28916 9955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 14610969 13226577920 53494 18446744073709551615 4194304 4196468 140726864550896 140091914970720 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28925] ppid=28913 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28925/stat : 28925 (java) S 28913 28916 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14610969 13226577920 53494 18446744073709551615 4194304 4196468 140726864550896 140091913917808 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28926] ppid=28913 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28926/stat : 28926 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13226577920 53494 18446744073709551615 4194304 4196468 140726864550896 140091912866128 140092364040091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28927] ppid=28913 vsize=12916580 CPUtime=0.94 cores=1,3,5,7
/proc/28916/task/28927/stat : 28927 (java) R 28913 28916 9955 0 -1 4202560 2492 0 0 0 94 0 0 0 20 0 15 0 14610971 13226577920 53494 18446744073709551615 4194304 4196468 140726864550896 140091911799808 140092343449152 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28928] ppid=28913 vsize=12916580 CPUtime=0.96 cores=1,3,5,7
/proc/28916/task/28928/stat : 28928 (java) R 28913 28916 9955 0 -1 4202560 2225 0 0 0 96 0 0 0 20 0 15 0 14610971 13226577920 53494 18446744073709551615 4194304 4196468 140726864550896 140091910760688 140092348943159 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28929] ppid=28913 vsize=12916580 CPUtime=0.56 cores=1,3,5,7
/proc/28916/task/28929/stat : 28929 (java) S 28913 28916 9955 0 -1 1077944384 2703 0 0 0 56 0 0 0 20 0 15 0 14610971 13226577920 53494 18446744073709551615 4194304 4196468 140726864550896 140091909707888 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28930] ppid=28913 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28930/stat : 28930 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13226577920 53494 18446744073709551615 4194304 4196468 140726864550896 140091908655328 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28931] ppid=28913 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28931/stat : 28931 (java) S 28913 28916 9955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14610976 13226577920 53494 18446744073709551615 4194304 4196468 140726864550896 140091907603632 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 12916580

[startup+3.10071 s]
/proc/loadavg: 1.44 1.43 1.38 5/209 28931
/proc/meminfo: memFree=28089324/32770624 swapFree=0/449360
[pid=28916] ppid=28913 vsize=12920676 CPUtime=7.67 cores=1,3,5,7
/proc/28916/stat : 28916 (java) S 28913 28916 9955 0 -1 1077944320 27736 0 0 0 736 31 0 0 20 0 15 0 14610957 13230772224 174562 18446744073709551615 4194304 4196468 140726864550896 140726864533440 140092364021495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
/proc/28916/statm: 3230169 174562 3802 1 0 3218943 0
[pid=28916/tid=28918] ppid=28913 vsize=12920676 CPUtime=2.75 cores=1,3,5,7
/proc/28916/task/28918/stat : 28918 (java) R 28913 28916 9955 0 -1 4202560 13606 0 0 0 264 11 0 0 20 0 15 0 14610966 13230772224 174562 18446744073709551615 4194304 4196468 140726864550896 140092368259728 140091994535385 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28919] ppid=28913 vsize=12920676 CPUtime=0.14 cores=1,3,5,7
/proc/28916/task/28919/stat : 28919 (java) S 28913 28916 9955 0 -1 1077944384 230 0 0 0 10 4 0 0 20 0 15 0 14610967 13230772224 174562 18446744073709551615 4194304 4196468 140726864550896 140092307331728 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28920] ppid=28913 vsize=12920676 CPUtime=0.15 cores=1,3,5,7
/proc/28916/task/28920/stat : 28920 (java) S 28913 28916 9955 0 -1 1077944384 135 0 0 0 11 4 0 0 20 0 15 0 14610967 13230772224 174562 18446744073709551615 4194304 4196468 140726864550896 140092306278928 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28921] ppid=28913 vsize=12920676 CPUtime=0.15 cores=1,3,5,7
/proc/28916/task/28921/stat : 28921 (java) S 28913 28916 9955 0 -1 1077944384 223 0 0 0 11 4 0 0 20 0 15 0 14610967 13230772224 174562 18446744073709551615 4194304 4196468 140726864550896 140092305226128 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28922] ppid=28913 vsize=12920676 CPUtime=0.15 cores=1,3,5,7
/proc/28916/task/28922/stat : 28922 (java) S 28913 28916 9955 0 -1 1077944384 104 0 0 0 11 4 0 0 20 0 15 0 14610967 13230772224 174562 18446744073709551615 4194304 4196468 140726864550896 140091964479760 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28923] ppid=28913 vsize=12920676 CPUtime=0.01 cores=1,3,5,7
/proc/28916/task/28923/stat : 28923 (java) S 28913 28916 9955 0 -1 1077944384 502 0 0 0 1 0 0 0 20 0 15 0 14610968 13230772224 174562 18446744073709551615 4194304 4196468 140726864550896 140091916024688 140092364032642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28924] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28924/stat : 28924 (java) S 28913 28916 9955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 14610969 13230772224 174562 18446744073709551615 4194304 4196468 140726864550896 140091914970720 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28925] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28925/stat : 28925 (java) S 28913 28916 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14610969 13230772224 174562 18446744073709551615 4194304 4196468 140726864550896 140091913917824 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28926] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28926/stat : 28926 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13230772224 174562 18446744073709551615 4194304 4196468 140726864550896 140091912866128 140092364040091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28927] ppid=28913 vsize=12920676 CPUtime=1.7 cores=1,3,5,7
/proc/28916/task/28927/stat : 28927 (java) S 28913 28916 9955 0 -1 1077944384 3547 0 0 0 170 0 0 0 20 0 15 0 14610971 13230772224 174562 18446744073709551615 4194304 4196468 140726864550896 140091911813488 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28928] ppid=28913 vsize=12920676 CPUtime=1.72 cores=1,3,5,7
/proc/28916/task/28928/stat : 28928 (java) S 28913 28916 9955 0 -1 1077944384 2989 0 0 0 172 0 0 0 20 0 15 0 14610971 13230772224 174562 18446744073709551615 4194304 4196468 140726864550896 140091910760688 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28929] ppid=28913 vsize=12920676 CPUtime=0.8 cores=1,3,5,7
/proc/28916/task/28929/stat : 28929 (java) S 28913 28916 9955 0 -1 1077944384 5029 0 0 0 80 0 0 0 20 0 15 0 14610971 13230772224 174562 18446744073709551615 4194304 4196468 140726864550896 140091909707888 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28930] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28930/stat : 28930 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13230772224 174562 18446744073709551615 4194304 4196468 140726864550896 140091908655328 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28931] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28931/stat : 28931 (java) S 28913 28916 9955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14610976 13230772224 174562 18446744073709551615 4194304 4196468 140726864550896 140091907603632 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 12920676

[startup+6.30073 s]
/proc/loadavg: 1.64 1.47 1.39 3/209 28931
/proc/meminfo: memFree=27152324/32770624 swapFree=0/449372
[pid=28916] ppid=28913 vsize=12920676 CPUtime=11.24 cores=1,3,5,7
/proc/28916/stat : 28916 (java) S 28913 28916 9955 0 -1 1077944320 29405 0 0 0 1069 55 0 0 20 0 15 0 14610957 13230772224 493060 18446744073709551615 4194304 4196468 140726864550896 140726864533440 140092364021495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
/proc/28916/statm: 3230169 493060 3802 1 0 3218943 0
[pid=28916/tid=28918] ppid=28913 vsize=12920676 CPUtime=5.85 cores=1,3,5,7
/proc/28916/task/28918/stat : 28918 (java) R 28913 28916 9955 0 -1 4202560 14563 0 0 0 556 29 0 0 20 0 15 0 14610966 13230772224 493060 18446744073709551615 4194304 4196468 140726864550896 140092368257368 140091994535385 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28919] ppid=28913 vsize=12920676 CPUtime=0.22 cores=1,3,5,7
/proc/28916/task/28919/stat : 28919 (java) S 28913 28916 9955 0 -1 1077944384 274 0 0 0 17 5 0 0 20 0 15 0 14610967 13230772224 493060 18446744073709551615 4194304 4196468 140726864550896 140092307331728 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28920] ppid=28913 vsize=12920676 CPUtime=0.25 cores=1,3,5,7
/proc/28916/task/28920/stat : 28920 (java) S 28913 28916 9955 0 -1 1077944384 217 0 0 0 19 6 0 0 20 0 15 0 14610967 13230772224 493060 18446744073709551615 4194304 4196468 140726864550896 140092306278928 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28921] ppid=28913 vsize=12920676 CPUtime=0.24 cores=1,3,5,7
/proc/28916/task/28921/stat : 28921 (java) S 28913 28916 9955 0 -1 1077944384 254 0 0 0 19 5 0 0 20 0 15 0 14610967 13230772224 493060 18446744073709551615 4194304 4196468 140726864550896 140092305226128 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28922] ppid=28913 vsize=12920676 CPUtime=0.23 cores=1,3,5,7
/proc/28916/task/28922/stat : 28922 (java) S 28913 28916 9955 0 -1 1077944384 129 0 0 0 18 5 0 0 20 0 15 0 14610967 13230772224 493060 18446744073709551615 4194304 4196468 140726864550896 140091964479760 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28923] ppid=28913 vsize=12920676 CPUtime=0.02 cores=1,3,5,7
/proc/28916/task/28923/stat : 28923 (java) S 28913 28916 9955 0 -1 1077944384 1007 0 0 0 2 0 0 0 20 0 15 0 14610968 13230772224 493060 18446744073709551615 4194304 4196468 140726864550896 140091916024688 140092364032642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28924] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28924/stat : 28924 (java) S 28913 28916 9955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 14610969 13230772224 493060 18446744073709551615 4194304 4196468 140726864550896 140091914970720 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28925] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28925/stat : 28925 (java) S 28913 28916 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14610969 13230772224 493060 18446744073709551615 4194304 4196468 140726864550896 140091913917824 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28926] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28926/stat : 28926 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13230772224 493060 18446744073709551615 4194304 4196468 140726864550896 140091912866128 140092364040091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28927] ppid=28913 vsize=12920676 CPUtime=1.72 cores=1,3,5,7
/proc/28916/task/28927/stat : 28927 (java) S 28913 28916 9955 0 -1 1077944384 3549 0 0 0 172 0 0 0 20 0 15 0 14610971 13230772224 493060 18446744073709551615 4194304 4196468 140726864550896 140091911813488 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 42 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28928] ppid=28913 vsize=12920676 CPUtime=1.82 cores=1,3,5,7
/proc/28916/task/28928/stat : 28928 (java) S 28913 28916 9955 0 -1 1077944384 3010 0 0 0 182 0 0 0 20 0 15 0 14610971 13230772224 493060 18446744073709551615 4194304 4196468 140726864550896 140091910760688 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28929] ppid=28913 vsize=12920676 CPUtime=0.81 cores=1,3,5,7
/proc/28916/task/28929/stat : 28929 (java) S 28913 28916 9955 0 -1 1077944384 5029 0 0 0 81 0 0 0 20 0 15 0 14610971 13230772224 493060 18446744073709551615 4194304 4196468 140726864550896 140091909707888 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28930] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28930/stat : 28930 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13230772224 493060 18446744073709551615 4194304 4196468 140726864550896 140091908655328 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28931] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28931/stat : 28931 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610976 13230772224 493060 18446744073709551615 4194304 4196468 140726864550896 140091907603632 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 46 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
Current children cumulated CPU time (s) 11.24
Current children cumulated vsize (KiB) 12920676

[startup+12.7007 s]
/proc/loadavg: 1.67 1.48 1.40 3/209 28931
/proc/meminfo: memFree=24912300/32770624 swapFree=0/449384
[pid=28916] ppid=28913 vsize=12920676 CPUtime=18.31 cores=1,3,5,7
/proc/28916/stat : 28916 (java) S 28913 28916 9955 0 -1 1077944320 31854 0 0 0 1752 79 0 0 20 0 15 0 14610957 13230772224 872940 18446744073709551615 4194304 4196468 140726864550896 140726864533440 140092364021495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
/proc/28916/statm: 3230169 872940 3803 1 0 3218943 0
[pid=28916/tid=28918] ppid=28913 vsize=12920676 CPUtime=12.21 cores=1,3,5,7
/proc/28916/task/28918/stat : 28918 (java) R 28913 28916 9955 0 -1 4202560 15740 0 0 0 1171 50 0 0 20 0 15 0 14610966 13230772224 872940 18446744073709551615 4194304 4196468 140726864550896 140092368259256 140091995010221 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28919] ppid=28913 vsize=12920676 CPUtime=0.27 cores=1,3,5,7
/proc/28916/task/28919/stat : 28919 (java) S 28913 28916 9955 0 -1 1077944384 495 0 0 0 21 6 0 0 20 0 15 0 14610967 13230772224 872940 18446744073709551615 4194304 4196468 140726864550896 140092307331728 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28920] ppid=28913 vsize=12920676 CPUtime=0.29 cores=1,3,5,7
/proc/28916/task/28920/stat : 28920 (java) S 28913 28916 9955 0 -1 1077944384 307 0 0 0 22 7 0 0 20 0 15 0 14610967 13230772224 872940 18446744073709551615 4194304 4196468 140726864550896 140092306278928 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28921] ppid=28913 vsize=12920676 CPUtime=0.28 cores=1,3,5,7
/proc/28916/task/28921/stat : 28921 (java) S 28913 28916 9955 0 -1 1077944384 310 0 0 0 22 6 0 0 20 0 15 0 14610967 13230772224 872940 18446744073709551615 4194304 4196468 140726864550896 140092305226128 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28922] ppid=28913 vsize=12920676 CPUtime=0.27 cores=1,3,5,7
/proc/28916/task/28922/stat : 28922 (java) S 28913 28916 9955 0 -1 1077944384 316 0 0 0 21 6 0 0 20 0 15 0 14610967 13230772224 872940 18446744073709551615 4194304 4196468 140726864550896 140091964479760 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28923] ppid=28913 vsize=12920676 CPUtime=0.02 cores=1,3,5,7
/proc/28916/task/28923/stat : 28923 (java) S 28913 28916 9955 0 -1 1077944384 1611 0 0 0 2 0 0 0 20 0 15 0 14610968 13230772224 872940 18446744073709551615 4194304 4196468 140726864550896 140091916024688 140092364032642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28924] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28924/stat : 28924 (java) S 28913 28916 9955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 14610969 13230772224 872940 18446744073709551615 4194304 4196468 140726864550896 140091914970720 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28925] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28925/stat : 28925 (java) S 28913 28916 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14610969 13230772224 872940 18446744073709551615 4194304 4196468 140726864550896 140091913917824 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28926] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28926/stat : 28926 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13230772224 872940 18446744073709551615 4194304 4196468 140726864550896 140091912866128 140092364040091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0

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

/proc/28916/task/28930/stat : 28930 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13230772224 919294 18446744073709551615 4194304 4196468 140726864550896 140091908655328 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28931] ppid=28913 vsize=12920676 CPUtime=1.33 cores=1,3,5,7
/proc/28916/task/28931/stat : 28931 (java) S 28913 28916 9955 0 -1 1077944384 1438 0 0 0 61 72 0 0 20 0 15 0 14610976 13230772224 919294 18446744073709551615 4194304 4196468 140726864550896 140091907603632 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 46 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
Current children cumulated CPU time (s) 2208.72
Current children cumulated vsize (KiB) 12920676

[startup+2202.31 s]
/proc/loadavg: 1.33 1.37 1.41 3/212 29144
/proc/meminfo: memFree=24050304/32770624 swapFree=0/452760
[pid=28916] ppid=28913 vsize=12920676 CPUtime=2270.21 cores=1,3,5,7
/proc/28916/stat : 28916 (java) S 28913 28916 9955 0 -1 1077944320 413012 0 0 0 226550 471 0 0 20 0 15 0 14610957 13230772224 919876 18446744073709551615 4194304 4196468 140726864550896 140726864533440 140092364021495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
/proc/28916/statm: 3230169 919876 3820 1 0 3218943 0
[pid=28916/tid=28918] ppid=28913 vsize=12920676 CPUtime=2179.54 cores=1,3,5,7
/proc/28916/task/28918/stat : 28918 (java) R 28913 28916 9955 0 -1 4202560 180072 0 0 0 217840 114 0 0 20 0 15 0 14610966 13230772224 919876 18446744073709551615 4194304 4196468 140726864550896 140092368260048 140091994994988 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28919] ppid=28913 vsize=12920676 CPUtime=20.48 cores=1,3,5,7
/proc/28916/task/28919/stat : 28919 (java) S 28913 28916 9955 0 -1 1077944384 26860 0 0 0 1981 67 0 0 20 0 15 0 14610967 13230772224 919876 18446744073709551615 4194304 4196468 140726864550896 140092307331728 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28920] ppid=28913 vsize=12920676 CPUtime=20.53 cores=1,3,5,7
/proc/28916/task/28920/stat : 28920 (java) S 28913 28916 9955 0 -1 1077944384 24187 0 0 0 1988 65 0 0 20 0 15 0 14610967 13230772224 919876 18446744073709551615 4194304 4196468 140726864550896 140092306278928 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28921] ppid=28913 vsize=12920676 CPUtime=20.5 cores=1,3,5,7
/proc/28916/task/28921/stat : 28921 (java) S 28913 28916 9955 0 -1 1077944384 25011 0 0 0 1987 63 0 0 20 0 15 0 14610967 13230772224 919876 18446744073709551615 4194304 4196468 140726864550896 140092305226128 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28922] ppid=28913 vsize=12920676 CPUtime=20.51 cores=1,3,5,7
/proc/28916/task/28922/stat : 28922 (java) S 28913 28916 9955 0 -1 1077944384 27710 0 0 0 1986 65 0 0 20 0 15 0 14610967 13230772224 919876 18446744073709551615 4194304 4196468 140726864550896 140091964479760 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28923] ppid=28913 vsize=12920676 CPUtime=1.44 cores=1,3,5,7
/proc/28916/task/28923/stat : 28923 (java) S 28913 28916 9955 0 -1 1077944384 72588 0 0 0 108 36 0 0 20 0 15 0 14610968 13230772224 919876 18446744073709551615 4194304 4196468 140726864550896 140091916024688 140092364032642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28924] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28924/stat : 28924 (java) S 28913 28916 9955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 14610969 13230772224 919876 18446744073709551615 4194304 4196468 140726864550896 140091914970720 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28925] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28925/stat : 28925 (java) S 28913 28916 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14610969 13230772224 919876 18446744073709551615 4194304 4196468 140726864550896 140091913917824 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28926] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28926/stat : 28926 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13230772224 919876 18446744073709551615 4194304 4196468 140726864550896 140091912866128 140092364040091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28927] ppid=28913 vsize=12920676 CPUtime=2.36 cores=1,3,5,7
/proc/28916/task/28927/stat : 28927 (java) S 28913 28916 9955 0 -1 1077944384 15939 0 0 0 233 3 0 0 20 0 15 0 14610971 13230772224 919876 18446744073709551615 4194304 4196468 140726864550896 140091911813488 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28928] ppid=28913 vsize=12920676 CPUtime=2.41 cores=1,3,5,7
/proc/28916/task/28928/stat : 28928 (java) S 28913 28916 9955 0 -1 1077944384 13853 0 0 0 240 1 0 0 20 0 15 0 14610971 13230772224 919876 18446744073709551615 4194304 4196468 140726864550896 140091910760688 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28929] ppid=28913 vsize=12920676 CPUtime=0.95 cores=1,3,5,7
/proc/28916/task/28929/stat : 28929 (java) S 28913 28916 9955 0 -1 1077944384 23976 0 0 0 94 1 0 0 20 0 15 0 14610971 13230772224 919876 18446744073709551615 4194304 4196468 140726864550896 140091909707888 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28930] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28930/stat : 28930 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13230772224 919876 18446744073709551615 4194304 4196468 140726864550896 140091908655328 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28931] ppid=28913 vsize=12920676 CPUtime=1.37 cores=1,3,5,7
/proc/28916/task/28931/stat : 28931 (java) S 28913 28916 9955 0 -1 1077944384 1446 0 0 0 63 74 0 0 20 0 15 0 14610976 13230772224 919876 18446744073709551615 4194304 4196468 140726864550896 140091907603632 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 46 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
Current children cumulated CPU time (s) 2270.21
Current children cumulated vsize (KiB) 12920676

[startup+2262.3 s]
/proc/loadavg: 1.72 1.47 1.44 3/213 29171
/proc/meminfo: memFree=24179804/32770624 swapFree=0/452888
[pid=28916] ppid=28913 vsize=12920676 CPUtime=2332.04 cores=1,3,5,7
/proc/28916/stat : 28916 (java) S 28913 28916 9955 0 -1 1077944320 427838 0 0 0 232728 476 0 0 20 0 15 0 14610957 13230772224 893009 18446744073709551615 4194304 4196468 140726864550896 140726864533440 140092364021495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
/proc/28916/statm: 3230169 893009 3820 1 0 3218943 0
[pid=28916/tid=28918] ppid=28913 vsize=12920676 CPUtime=2238.89 cores=1,3,5,7
/proc/28916/task/28918/stat : 28918 (java) R 28913 28916 9955 0 -1 4202560 187005 0 0 0 223774 115 0 0 20 0 15 0 14610966 13230772224 893009 18446744073709551615 4194304 4196468 140726864550896 140092368251616 140091989787918 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28919] ppid=28913 vsize=12920676 CPUtime=21.09 cores=1,3,5,7
/proc/28916/task/28919/stat : 28919 (java) S 28913 28916 9955 0 -1 1077944384 27591 0 0 0 2041 68 0 0 20 0 15 0 14610967 13230772224 893009 18446744073709551615 4194304 4196468 140726864550896 140092307331728 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28920] ppid=28913 vsize=12920676 CPUtime=21.13 cores=1,3,5,7
/proc/28916/task/28920/stat : 28920 (java) S 28913 28916 9955 0 -1 1077944384 24568 0 0 0 2047 66 0 0 20 0 15 0 14610967 13230772224 893009 18446744073709551615 4194304 4196468 140726864550896 140092306278928 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28921] ppid=28913 vsize=12920676 CPUtime=21.1 cores=1,3,5,7
/proc/28916/task/28921/stat : 28921 (java) S 28913 28916 9955 0 -1 1077944384 25521 0 0 0 2046 64 0 0 20 0 15 0 14610967 13230772224 893009 18446744073709551615 4194304 4196468 140726864550896 140092305226128 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28922] ppid=28913 vsize=12920676 CPUtime=21.12 cores=1,3,5,7
/proc/28916/task/28922/stat : 28922 (java) S 28913 28916 9955 0 -1 1077944384 28867 0 0 0 2046 66 0 0 20 0 15 0 14610967 13230772224 893009 18446744073709551615 4194304 4196468 140726864550896 140091964479760 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28923] ppid=28913 vsize=12920676 CPUtime=1.47 cores=1,3,5,7
/proc/28916/task/28923/stat : 28923 (java) S 28913 28916 9955 0 -1 1077944384 76215 0 0 0 111 36 0 0 20 0 15 0 14610968 13230772224 893009 18446744073709551615 4194304 4196468 140726864550896 140091916024688 140092364032642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28924] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28924/stat : 28924 (java) S 28913 28916 9955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 14610969 13230772224 893009 18446744073709551615 4194304 4196468 140726864550896 140091914970720 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28925] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28925/stat : 28925 (java) S 28913 28916 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14610969 13230772224 893009 18446744073709551615 4194304 4196468 140726864550896 140091913917824 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28926] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28926/stat : 28926 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13230772224 893009 18446744073709551615 4194304 4196468 140726864550896 140091912866128 140092364040091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28927] ppid=28913 vsize=12920676 CPUtime=2.36 cores=1,3,5,7
/proc/28916/task/28927/stat : 28927 (java) S 28913 28916 9955 0 -1 1077944384 15941 0 0 0 233 3 0 0 20 0 15 0 14610971 13230772224 893009 18446744073709551615 4194304 4196468 140726864550896 140091911813488 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28928] ppid=28913 vsize=12920676 CPUtime=2.41 cores=1,3,5,7
/proc/28916/task/28928/stat : 28928 (java) S 28913 28916 9955 0 -1 1077944384 13855 0 0 0 240 1 0 0 20 0 15 0 14610971 13230772224 893009 18446744073709551615 4194304 4196468 140726864550896 140091910760688 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28929] ppid=28913 vsize=12920676 CPUtime=0.97 cores=1,3,5,7
/proc/28916/task/28929/stat : 28929 (java) S 28913 28916 9955 0 -1 1077944384 25431 0 0 0 96 1 0 0 20 0 15 0 14610971 13230772224 893009 18446744073709551615 4194304 4196468 140726864550896 140091909707888 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28930] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28930/stat : 28930 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13230772224 893009 18446744073709551615 4194304 4196468 140726864550896 140091908655328 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28931] ppid=28913 vsize=12920676 CPUtime=1.41 cores=1,3,5,7
/proc/28916/task/28931/stat : 28931 (java) S 28913 28916 9955 0 -1 1077944384 1474 0 0 0 64 77 0 0 20 0 15 0 14610976 13230772224 893009 18446744073709551615 4194304 4196468 140726864550896 140091907603632 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
Current children cumulated CPU time (s) 2332.04
Current children cumulated vsize (KiB) 12920676

[startup+2322.3 s]
/proc/loadavg: 1.72 1.52 1.46 3/210 29173
/proc/meminfo: memFree=24257172/32770624 swapFree=0/452976
[pid=28916] ppid=28913 vsize=12920676 CPUtime=2393.59 cores=1,3,5,7
/proc/28916/stat : 28916 (java) S 28913 28916 9955 0 -1 1077944320 438658 0 0 0 238880 479 0 0 20 0 15 0 14610957 13230772224 868129 18446744073709551615 4194304 4196468 140726864550896 140726864533440 140092364021495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
/proc/28916/statm: 3230169 868129 3820 1 0 3218943 0
[pid=28916/tid=28918] ppid=28913 vsize=12920676 CPUtime=2298.35 cores=1,3,5,7
/proc/28916/task/28918/stat : 28918 (java) R 28913 28916 9955 0 -1 4202560 194300 0 0 0 229720 115 0 0 20 0 15 0 14610966 13230772224 868129 18446744073709551615 4194304 4196468 140726864550896 140092368260048 140091989788366 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28919] ppid=28913 vsize=12920676 CPUtime=21.6 cores=1,3,5,7
/proc/28916/task/28919/stat : 28919 (java) S 28913 28916 9955 0 -1 1077944384 28161 0 0 0 2092 68 0 0 20 0 15 0 14610967 13230772224 868129 18446744073709551615 4194304 4196468 140726864550896 140092307331728 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28920] ppid=28913 vsize=12920676 CPUtime=21.64 cores=1,3,5,7
/proc/28916/task/28920/stat : 28920 (java) S 28913 28916 9955 0 -1 1077944384 25059 0 0 0 2098 66 0 0 20 0 15 0 14610967 13230772224 868129 18446744073709551615 4194304 4196468 140726864550896 140092306278928 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28921] ppid=28913 vsize=12920676 CPUtime=21.61 cores=1,3,5,7
/proc/28916/task/28921/stat : 28921 (java) S 28913 28916 9955 0 -1 1077944384 26119 0 0 0 2097 64 0 0 20 0 15 0 14610967 13230772224 868129 18446744073709551615 4194304 4196468 140726864550896 140092305226128 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28922] ppid=28913 vsize=12920676 CPUtime=21.62 cores=1,3,5,7
/proc/28916/task/28922/stat : 28922 (java) S 28913 28916 9955 0 -1 1077944384 29824 0 0 0 2096 66 0 0 20 0 15 0 14610967 13230772224 868129 18446744073709551615 4194304 4196468 140726864550896 140091964479760 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28923] ppid=28913 vsize=12920676 CPUtime=1.5 cores=1,3,5,7
/proc/28916/task/28923/stat : 28923 (java) S 28913 28916 9955 0 -1 1077944384 76450 0 0 0 113 37 0 0 20 0 15 0 14610968 13230772224 868129 18446744073709551615 4194304 4196468 140726864550896 140091916024688 140092364032642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28924] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28924/stat : 28924 (java) S 28913 28916 9955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 14610969 13230772224 868129 18446744073709551615 4194304 4196468 140726864550896 140091914970720 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28925] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28925/stat : 28925 (java) S 28913 28916 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14610969 13230772224 868129 18446744073709551615 4194304 4196468 140726864550896 140091913917824 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28926] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28926/stat : 28926 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13230772224 868129 18446744073709551615 4194304 4196468 140726864550896 140091912866128 140092364040091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28927] ppid=28913 vsize=12920676 CPUtime=2.36 cores=1,3,5,7
/proc/28916/task/28927/stat : 28927 (java) S 28913 28916 9955 0 -1 1077944384 15949 0 0 0 233 3 0 0 20 0 15 0 14610971 13230772224 868129 18446744073709551615 4194304 4196468 140726864550896 140091911813488 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28928] ppid=28913 vsize=12920676 CPUtime=2.41 cores=1,3,5,7
/proc/28916/task/28928/stat : 28928 (java) S 28913 28916 9955 0 -1 1077944384 13858 0 0 0 240 1 0 0 20 0 15 0 14610971 13230772224 868129 18446744073709551615 4194304 4196468 140726864550896 140091910760688 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28929] ppid=28913 vsize=12920676 CPUtime=0.97 cores=1,3,5,7
/proc/28916/task/28929/stat : 28929 (java) S 28913 28916 9955 0 -1 1077944384 26072 0 0 0 96 1 0 0 20 0 15 0 14610971 13230772224 868129 18446744073709551615 4194304 4196468 140726864550896 140091909707888 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28930] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28930/stat : 28930 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13230772224 868129 18446744073709551615 4194304 4196468 140726864550896 140091908655328 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28931] ppid=28913 vsize=12920676 CPUtime=1.45 cores=1,3,5,7
/proc/28916/task/28931/stat : 28931 (java) S 28913 28916 9955 0 -1 1077944384 1496 0 0 0 66 79 0 0 20 0 15 0 14610976 13230772224 868129 18446744073709551615 4194304 4196468 140726864550896 140091907603632 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 46 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
Current children cumulated CPU time (s) 2393.59
Current children cumulated vsize (KiB) 12920676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2328.6 s]
/proc/loadavg: 1.75 1.53 1.47 3/210 29173
/proc/meminfo: memFree=24270140/32770624 swapFree=0/452976
[pid=28916] ppid=28913 vsize=12920676 CPUtime=2400.07 cores=1,3,5,7
/proc/28916/stat : 28916 (java) S 28913 28916 9955 0 -1 1077944320 438736 0 0 0 239527 480 0 0 20 0 15 0 14610957 13230772224 867103 18446744073709551615 4194304 4196468 140726864550896 140726864533440 140092364021495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
/proc/28916/statm: 3230169 867103 3820 1 0 3218943 0
[pid=28916/tid=28918] ppid=28913 vsize=12920676 CPUtime=2304.59 cores=1,3,5,7
/proc/28916/task/28918/stat : 28918 (java) R 28913 28916 9955 0 -1 4202560 194355 0 0 0 230344 115 0 0 20 0 15 0 14610966 13230772224 867103 18446744073709551615 4194304 4196468 140726864550896 140092368260160 140091994994983 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28919] ppid=28913 vsize=12920676 CPUtime=21.65 cores=1,3,5,7
/proc/28916/task/28919/stat : 28919 (java) S 28913 28916 9955 0 -1 1077944384 28170 0 0 0 2097 68 0 0 20 0 15 0 14610967 13230772224 867103 18446744073709551615 4194304 4196468 140726864550896 140092307331728 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28920] ppid=28913 vsize=12920676 CPUtime=21.69 cores=1,3,5,7
/proc/28916/task/28920/stat : 28920 (java) S 28913 28916 9955 0 -1 1077944384 25066 0 0 0 2103 66 0 0 20 0 15 0 14610967 13230772224 867103 18446744073709551615 4194304 4196468 140726864550896 140092306278928 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28921] ppid=28913 vsize=12920676 CPUtime=21.67 cores=1,3,5,7
/proc/28916/task/28921/stat : 28921 (java) S 28913 28916 9955 0 -1 1077944384 26124 0 0 0 2103 64 0 0 20 0 15 0 14610967 13230772224 867103 18446744073709551615 4194304 4196468 140726864550896 140092305226128 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28922] ppid=28913 vsize=12920676 CPUtime=21.68 cores=1,3,5,7
/proc/28916/task/28922/stat : 28922 (java) S 28913 28916 9955 0 -1 1077944384 29826 0 0 0 2102 66 0 0 20 0 15 0 14610967 13230772224 867103 18446744073709551615 4194304 4196468 140726864550896 140091964479760 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28923] ppid=28913 vsize=12920676 CPUtime=1.5 cores=1,3,5,7
/proc/28916/task/28923/stat : 28923 (java) S 28913 28916 9955 0 -1 1077944384 76450 0 0 0 113 37 0 0 20 0 15 0 14610968 13230772224 867103 18446744073709551615 4194304 4196468 140726864550896 140091916024688 140092364032642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28924] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28924/stat : 28924 (java) S 28913 28916 9955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 14610969 13230772224 867103 18446744073709551615 4194304 4196468 140726864550896 140091914970720 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28925] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28925/stat : 28925 (java) S 28913 28916 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14610969 13230772224 867103 18446744073709551615 4194304 4196468 140726864550896 140091913917824 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28926] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28926/stat : 28926 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13230772224 867103 18446744073709551615 4194304 4196468 140726864550896 140091912866128 140092364040091 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28927] ppid=28913 vsize=12920676 CPUtime=2.36 cores=1,3,5,7
/proc/28916/task/28927/stat : 28927 (java) S 28913 28916 9955 0 -1 1077944384 15949 0 0 0 233 3 0 0 20 0 15 0 14610971 13230772224 867103 18446744073709551615 4194304 4196468 140726864550896 140091911813488 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 42 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28928] ppid=28913 vsize=12920676 CPUtime=2.41 cores=1,3,5,7
/proc/28916/task/28928/stat : 28928 (java) S 28913 28916 9955 0 -1 1077944384 13858 0 0 0 240 1 0 0 20 0 15 0 14610971 13230772224 867103 18446744073709551615 4194304 4196468 140726864550896 140091910760688 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28929] ppid=28913 vsize=12920676 CPUtime=0.97 cores=1,3,5,7
/proc/28916/task/28929/stat : 28929 (java) S 28913 28916 9955 0 -1 1077944384 26072 0 0 0 96 1 0 0 20 0 15 0 14610971 13230772224 867103 18446744073709551615 4194304 4196468 140726864550896 140091909707888 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28930] ppid=28913 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/28916/task/28930/stat : 28930 (java) S 28913 28916 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14610971 13230772224 867103 18446744073709551615 4194304 4196468 140726864550896 140091908655328 140092364031701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
[pid=28916/tid=28931] ppid=28913 vsize=12920676 CPUtime=1.45 cores=1,3,5,7
/proc/28916/task/28931/stat : 28931 (java) S 28913 28916 9955 0 -1 1077944384 1496 0 0 0 66 79 0 0 20 0 15 0 14610976 13230772224 867103 18446744073709551615 4194304 4196468 140726864550896 140091907603632 140092364032642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 13656064 140726864552341 140726864552527 140726864552527 140726864555983 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 12920676

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

Child status: 143
Real time (s): 2328.64
CPU time (s): 2400.12
CPU user time (s): 2395.3
CPU system time (s): 4.82036
CPU usage (%): 103.07
Max. virtual memory (cumulated for all children) (KiB): 12920676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.3
system time used= 4.82036
maximum resident set size= 3696592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 439938
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77145
involuntary context switches= 3733

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.30301 second user time and 16.9737 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-07 18:24:17
IDJOB=4248665
IDBENCH=140586
IDSOLVER=2628
FILE ID=node125/4248665-1502123900
RUNJOBID= node125-1502110797-26746
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-41.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248665-1502123900/watcher-4248665-1502123900 -o /tmp/evaluation-result-4248665-1502123900/solver-4248665-1502123900 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502110797-26746 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 825417640 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248665-1502123900.xml

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

MD5SUM BENCH= 85969bfc3f0409b7eeff9db7f7011033
RANDOM SEED=825417640

node125.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.07
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.07
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.07
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.07
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:        28373580 kB
MemAvailable:   28875668 kB
Buffers:          156940 kB
Cached:           632224 kB
SwapCached:            0 kB
Active:          3513500 kB
Inactive:         466024 kB
Active(anon):    3190312 kB
Inactive(anon):    16716 kB
Active(file):     323188 kB
Inactive(file):   449308 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42360 kB
Writeback:             4 kB
AnonPages:       3189924 kB
Mapped:            46868 kB
Shmem:             17060 kB
Slab:             115420 kB
SReclaimable:      90856 kB
SUnreclaim:        24564 kB
KernelStack:        3440 kB
PageTables:        11384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3751444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3067904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61948 MiB
End job on node125 at 2017-08-07 19:03:06