Trace number 4248609

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)6 2400.1201 2328.8301

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-40.xml
MD5SUMd153897c9dbbbf34794d1a29a7a79358
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.03
Satisfiable
(Un)Satisfiability was proved
Number of variables1600
Number of constraints9880
Number of domains1
Minimum domain size780
Maximum domain size780
Distribution of domain sizes[{"size":780,"count":780}]
Minimum variable degree0
Maximum variable degree39
Distribution of variable degrees[{"degree":0,"count":820},{"degree":39,"count":780}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":9880}]
Number of extensional constraints0
Number of intensional constraints9880
Distribution of constraint types[{"type":"intension","count":9880}]
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.31/0.33	c version: 2017-06-30
0.31/0.33	c seed: 655653476
0.31/0.33	c timeout: 2400
0.31/0.33	c memlimit: 15500
0.31/0.34	c nbcore: 4
0.31/0.36	c Parsing instance...
4.96/1.88	c Parsing done, starting search...
13.92/9.40	o 779
21.92/16.59	o 778
29.31/23.78	o 777
36.90/31.00	o 776
44.29/38.23	o 775
51.50/45.29	o 774
58.71/52.29	o 773
66.03/59.28	o 772
73.22/66.30	o 771
80.54/73.32	o 770
87.76/80.30	o 769
94.96/87.35	o 768
102.24/94.42	o 767
109.36/101.39	o 766
116.66/108.47	o 765
123.87/115.42	o 764
131.05/122.41	o 763
138.26/129.44	o 762
145.43/136.46	o 761
152.66/143.47	o 760
159.78/150.36	o 759
166.94/157.34	o 758
174.03/164.29	o 757
181.23/171.27	o 756
188.32/178.19	o 755
195.54/185.14	o 754
202.66/192.03	o 753
209.83/199.03	o 752
216.94/205.90	o 751
224.02/212.81	o 750
231.05/219.68	o 749
238.16/226.59	o 748
245.27/233.41	o 747
252.35/240.30	o 746
259.47/247.21	o 745
266.55/254.12	o 744
273.52/260.96	o 743
280.64/267.80	o 742
288.36/275.19	o 741
296.01/282.50	o 740
303.59/289.91	o 739
311.12/297.26	o 738
318.59/304.58	o 737
326.09/311.81	o 736
333.46/319.06	o 735
340.99/326.39	o 734
348.47/333.67	o 733
355.84/340.88	o 732
363.25/348.07	o 731
370.65/355.26	o 730
378.02/362.42	o 729
385.29/369.54	o 728
392.49/376.57	o 727
399.77/383.66	o 726
407.18/390.82	o 725
414.45/397.90	o 724
421.55/404.86	o 723
429.38/412.11	o 722
436.64/419.24	o 721
443.83/426.27	o 720
451.10/433.39	o 719
458.39/440.46	o 718
465.55/447.44	o 717
472.71/454.46	o 716
479.82/461.39	o 715
486.98/468.36	o 714
494.18/475.30	o 713
501.16/482.16	o 712
508.16/488.98	o 711
515.22/495.83	o 710
522.19/502.63	o 709
529.17/509.41	o 708
536.05/516.10	o 707
542.92/522.82	o 706
549.82/529.53	o 705
556.57/536.20	o 704
563.52/542.87	o 703
570.30/549.45	o 702
577.08/556.05	o 701
584.21/562.68	o 700
590.81/569.09	o 699
597.39/575.46	o 698
603.86/581.78	o 697
610.43/588.12	o 696
616.98/594.51	o 695
623.45/600.84	o 694
629.90/607.10	o 693
636.37/613.46	o 692
642.82/619.72	o 691
649.19/625.92	o 690
655.53/632.14	o 689
661.89/638.36	o 688
668.26/644.51	o 687
674.62/650.73	o 686
680.97/656.90	o 685
687.23/663.08	o 684
693.60/669.22	o 683
699.88/675.34	o 682
706.14/681.44	o 681
712.40/687.51	o 680
718.65/693.60	o 679
725.20/699.74	o 678
731.23/705.64	o 677
737.32/711.54	o 676
743.36/717.44	o 675
749.31/723.29	o 674
755.38/729.10	o 673
761.32/734.90	o 672
767.17/740.66	o 671
773.12/746.41	o 670
778.89/752.09	o 669
784.73/757.80	o 668
790.67/763.51	o 667
796.42/769.18	o 666
802.31/774.83	o 665
808.05/780.44	o 664
813.80/786.06	o 663
819.55/791.67	o 662
825.29/797.25	o 661
831.04/802.83	o 660
836.79/808.42	o 659
842.55/814.00	o 658
848.20/819.54	o 657
853.92/825.15	o 656
859.96/830.70	o 655
865.50/836.13	o 654
871.04/841.56	o 653
876.60/846.95	o 652
882.14/852.34	o 651
887.78/857.83	o 650
893.42/863.35	o 649
898.97/868.77	o 648
904.50/874.15	o 647
910.02/879.57	o 646
915.58/884.99	o 645
921.14/890.32	o 644
926.57/895.69	o 643
932.00/900.94	o 642
937.33/906.18	o 641
942.79/911.41	o 640
948.13/916.65	o 639
953.45/921.81	o 638
958.69/926.95	o 637
963.92/932.10	o 636
969.16/937.16	o 635
974.38/942.23	o 634
979.54/947.29	o 633
985.15/952.40	o 632
990.19/957.37	o 631
995.31/962.32	o 630
1000.46/967.34	o 629
1005.47/972.21	o 628
1010.50/977.15	o 627
1015.54/982.06	o 626
1020.55/986.97	o 625
1025.71/991.92	o 624
1030.73/996.85	o 623
1035.74/1001.74	o 622
1040.76/1006.62	o 621
1045.71/1011.48	o 620
1050.73/1016.33	o 619
1055.65/1021.15	o 618
1060.56/1025.92	o 617
1065.61/1030.85	o 616
1070.54/1035.66	o 615
1075.57/1040.50	o 614
1080.38/1045.26	o 613
1085.20/1049.97	o 612
1090.02/1054.68	o 611
1094.85/1059.35	o 610
1100.06/1064.13	o 609
1104.78/1068.79	o 608
1109.49/1073.39	o 607
1114.21/1077.93	o 606
1118.93/1082.52	o 605
1123.63/1087.14	o 604
1128.35/1091.76	o 603
1132.99/1096.25	o 602
1137.71/1100.80	o 601
1142.30/1105.39	o 600
1146.94/1109.81	o 599
1151.47/1114.23	o 598
1155.98/1118.69	o 597
1160.50/1123.09	o 596
1165.09/1127.52	o 595
1169.52/1131.82	o 594
1173.84/1136.08	o 593
1178.27/1140.40	o 592
1182.76/1144.80	o 591
1187.19/1149.06	o 590
1191.61/1153.34	o 589
1196.03/1157.65	o 588
1200.43/1161.98	o 587
1204.96/1166.33	o 586
1209.86/1170.87	o 585
1214.25/1175.13	o 584
1218.46/1179.28	o 583
1222.75/1183.46	o 582
1227.18/1187.73	o 581
1231.47/1191.93	o 580
1235.69/1196.04	o 579
1239.91/1200.14	o 578
1244.21/1204.32	o 577
1248.33/1208.40	o 576
1252.55/1212.47	o 575
1256.73/1216.59	o 574
1260.93/1220.65	o 573
1265.06/1224.67	o 572
1269.25/1228.74	o 571
1273.26/1232.69	o 570
1277.35/1236.67	o 569
1281.48/1240.62	o 568
1285.48/1244.59	o 567
1289.49/1248.48	o 566
1293.58/1252.42	o 565
1297.47/1256.29	o 564
1301.46/1260.15	o 563
1305.49/1264.09	o 562
1309.39/1267.88	o 561
1313.66/1271.74	o 560
1317.57/1275.57	o 559
1321.47/1279.38	o 558
1325.36/1283.16	o 557
1329.15/1286.88	o 556
1333.18/1290.72	o 555
1336.97/1294.46	o 554
1340.88/1298.25	o 553
1344.78/1302.08	o 552
1348.79/1305.91	o 551
1352.65/1309.79	o 550
1356.70/1313.66	o 549
1360.65/1317.54	o 548
1364.46/1321.24	o 547
1368.27/1324.91	o 546
1372.08/1328.61	o 545
1375.78/1332.28	o 544
1379.64/1336.04	o 543
1383.45/1339.78	o 542
1387.15/1343.38	o 541
1390.96/1347.00	o 540
1394.61/1350.67	o 539
1398.30/1354.21	o 538
1401.93/1357.71	o 537
1405.52/1361.25	o 536
1409.12/1364.74	o 535
1412.78/1368.34	o 534
1416.39/1371.82	o 533
1419.94/1375.37	o 532
1423.80/1378.82	o 531
1427.30/1382.20	o 530
1430.70/1385.56	o 529
1434.09/1388.88	o 528
1437.59/1392.21	o 527
1441.03/1395.62	o 526
1444.43/1398.99	o 525
1447.82/1402.27	o 524
1451.22/1405.59	o 523
1454.78/1409.00	o 522
1458.08/1412.26	o 521
1461.47/1415.53	o 520
1464.86/1418.80	o 519
1468.18/1422.04	o 518
1471.53/1425.38	o 517
1474.92/1428.60	o 516
1478.21/1431.84	o 515
1481.61/1435.11	o 514
1484.90/1438.38	o 513
1488.35/1441.73	o 512
1491.64/1444.92	o 511
1494.90/1448.16	o 510
1498.10/1451.27	o 509
1501.28/1454.37	o 508
1504.58/1457.52	o 507
1507.78/1460.65	o 506
1511.03/1463.84	o 505
1514.12/1466.89	o 504
1517.38/1470.02	o 503
1520.48/1473.01	o 502
1523.96/1476.10	o 501
1527.04/1479.11	o 500
1530.10/1482.15	o 499
1533.09/1485.08	o 498
1536.24/1488.13	o 497
1539.15/1490.99	o 496
1542.20/1493.95	o 495
1545.10/1496.79	o 494
1548.16/1499.73	o 493
1551.24/1502.79	o 492
1554.29/1505.70	o 491
1557.38/1508.71	o 490
1560.28/1511.56	o 489
1563.34/1514.50	o 488
1566.24/1517.34	o 487
1569.18/1520.27	o 486
1572.18/1523.11	o 485
1575.04/1526.00	o 484
1577.93/1528.77	o 483
1580.89/1531.63	o 482
1583.75/1534.41	o 481
1586.67/1537.20	o 480
1589.74/1540.25	o 479
1592.70/1543.17	o 478
1595.65/1546.03	o 477
1598.40/1548.78	o 476
1601.31/1551.51	o 475
1604.16/1554.37	o 474
1606.91/1557.09	o 473
1609.60/1559.70	o 472
1612.37/1562.34	o 471
1615.16/1565.00	o 470
1617.90/1567.79	o 469
1620.65/1570.47	o 468
1623.31/1573.06	o 467
1625.92/1575.60	o 466
1628.57/1578.17	o 465
1631.17/1580.67	o 464
1633.93/1583.35	o 463
1636.58/1585.96	o 462
1639.14/1588.49	o 461
1641.74/1590.97	o 460
1644.39/1593.58	o 459
1646.94/1596.06	o 458
1649.49/1598.53	o 457
1652.05/1601.00	o 456
1654.65/1603.56	o 455
1657.29/1606.16	o 454
1660.24/1608.75	o 453
1662.68/1611.15	o 452
1665.18/1613.52	o 451
1667.62/1615.93	o 450
1670.03/1618.30	o 449
1672.68/1620.83	o 448
1675.12/1623.27	o 447
1677.58/1625.65	o 446
1679.93/1627.97	o 445
1682.42/1630.32	o 444
1684.77/1632.65	o 443
1687.13/1634.94	o 442
1689.48/1637.21	o 441
1691.73/1639.46	o 440
1694.09/1641.71	o 439
1696.38/1643.99	o 438
1698.83/1646.34	o 437
1701.08/1648.59	o 436
1703.33/1650.78	o 435
1705.59/1652.97	o 434
1707.84/1655.12	o 433
1710.10/1657.30	o 432
1712.27/1659.49	o 431
1714.53/1661.68	o 430
1716.98/1664.00	o 429
1719.33/1666.37	o 428
1721.73/1668.76	o 427
1724.00/1670.97	o 426
1726.16/1673.07	o 425
1728.31/1675.16	o 424
1730.47/1677.23	o 423
1732.52/1679.29	o 422
1734.82/1681.46	o 421
1737.07/1683.65	o 420
1739.22/1685.75	o 419
1741.27/1687.78	o 418
1743.32/1689.78	o 417
1745.38/1691.79	o 416
1747.53/1693.87	o 415
1749.78/1696.06	o 414
1751.98/1698.28	o 413
1754.03/1700.25	o 412
1756.00/1702.19	o 411
1758.05/1704.13	o 410
1760.00/1706.06	o 409
1761.96/1707.99	o 408
1764.01/1709.91	o 407
1765.87/1711.79	o 406
1767.82/1713.69	o 405
1769.97/1715.71	o 404
1772.07/1717.82	o 403
1774.03/1719.78	o 402
1775.98/1721.61	o 401
1777.85/1723.46	o 400
1779.80/1725.33	o 399
1781.76/1727.23	o 398
1783.71/1729.12	o 397
1785.56/1730.99	o 396
1787.63/1732.92	o 395
1789.57/1734.88	o 394
1791.62/1736.88	o 393
1793.62/1738.88	o 392
1795.73/1740.85	o 391
1797.69/1742.79	o 390
1799.64/1744.66	o 389
1801.49/1746.48	o 388
1803.34/1748.30	o 387
1805.39/1750.21	o 386
1807.29/1752.12	o 385
1809.05/1753.81	o 384
1810.70/1755.47	o 383
1812.46/1757.14	o 382
1814.21/1758.87	o 381
1816.16/1760.70	o 380
1817.97/1762.56	o 379
1819.63/1764.17	o 378
1821.29/1765.77	o 377
1823.04/1767.44	o 376
1824.89/1769.26	o 375
1826.69/1771.07	o 374
1828.35/1772.64	o 373
1830.00/1774.23	o 372
1831.66/1775.87	o 371
1833.41/1777.54	o 370
1835.21/1779.30	o 369
1836.97/1781.00	o 368
1838.92/1782.63	o 367
1840.46/1784.19	o 366
1842.12/1785.79	o 365
1843.86/1787.42	o 364
1845.52/1789.09	o 363
1847.22/1790.77	o 362
1848.78/1792.24	o 361
1850.32/1793.71	o 360
1851.97/1795.34	o 359
1853.57/1796.99	o 358
1855.13/1798.43	o 357
1856.68/1799.94	o 356
1858.28/1801.56	o 355
1859.93/1803.17	o 354
1861.38/1804.56	o 353
1862.83/1806.00	o 352
1864.39/1807.46	o 351
1865.99/1809.04	o 350
1867.45/1810.49	o 349
1869.00/1811.96	o 348
1870.60/1813.51	o 347
1871.95/1814.85	o 346
1873.51/1816.34	o 345
1875.01/1817.87	o 344
1876.46/1819.20	o 343
1877.92/1820.63	o 342
1879.42/1822.13	o 341
1880.77/1823.47	o 340
1882.12/1824.78	o 339
1883.57/1826.15	o 338
1885.08/1827.62	o 337
1886.33/1828.89	o 336
1887.83/1830.35	o 335
1889.29/1831.78	o 334
1890.74/1833.13	o 333
1892.14/1834.56	o 332
1893.50/1835.80	o 331
1894.93/1837.21	o 330
1896.34/1838.62	o 329
1897.60/1839.88	o 328
1899.00/1841.25	o 327
1900.35/1842.55	o 326
1901.61/1843.76	o 325
1902.97/1845.09	o 324
1904.36/1846.43	o 323
1905.62/1847.64	o 322
1906.92/1848.98	o 321
1908.18/1850.15	o 320
1909.48/1851.46	o 319
1910.84/1852.71	o 318
1912.09/1853.98	o 317
1913.38/1855.27	o 316
1914.63/1856.45	o 315
1915.94/1857.72	o 314
1917.09/1858.83	o 313
1918.29/1860.09	o 312
1919.64/1861.34	o 311
1920.81/1862.46	o 310
1922.01/1863.70	o 309
1923.26/1864.85	o 308
1924.41/1865.95	o 307
1925.61/1867.16	o 306
1926.77/1868.21	o 305
1927.87/1869.40	o 304
1929.02/1870.44	o 303
1930.22/1871.62	o 302
1931.28/1872.67	o 301
1932.47/1873.84	o 300
1933.53/1874.86	o 299
1934.73/1876.01	o 298
1935.79/1877.01	o 297
1936.89/1878.15	o 296
1937.95/1879.15	o 295
1939.05/1880.28	o 294
1940.10/1881.26	o 293
1941.20/1882.37	o 292
1942.25/1883.34	o 291
1943.35/1884.44	o 290
1944.41/1885.42	o 289
1945.41/1886.50	o 288
1946.47/1887.45	o 287
1947.57/1888.52	o 286
1948.52/1889.45	o 285
1949.62/1890.50	o 284
1950.57/1891.42	o 283
1951.58/1892.45	o 282
1952.53/1893.36	o 281
1953.53/1894.39	o 280
1954.58/1895.32	o 279
1955.58/1896.32	o 278
1956.54/1897.27	o 277
1957.54/1898.26	o 276
1958.49/1899.18	o 275
1959.50/1900.16	o 274
1960.45/1901.07	o 273
1961.45/1902.04	o 272
1962.51/1903.01	o 271
1963.40/1903.98	o 270
1964.40/1904.94	o 269
1965.26/1905.79	o 268
1966.27/1906.72	o 267
1967.12/1907.55	o 266
1968.02/1908.48	o 265
1968.98/1909.30	o 264
1969.88/1910.22	o 263
1970.78/1911.14	o 262
1971.73/1912.04	o 261
1972.63/1912.94	o 260
1973.48/1913.73	o 259
1974.38/1914.61	o 258
1975.23/1915.47	o 257
1976.14/1916.34	o 256
1977.04/1917.20	o 255
1977.79/1917.99	o 254
1978.70/1918.84	o 253
1979.45/1919.59	o 252
1980.35/1920.43	o 251
1981.15/1921.27	o 250
1982.01/1922.05	o 249
1982.81/1922.88	o 248
1983.66/1923.66	o 247
1984.46/1924.47	o 246
1985.26/1925.28	o 245
1986.12/1926.00	o 244
1986.92/1926.80	o 243
1987.63/1927.59	o 242
1988.37/1928.29	o 241
1989.18/1929.07	o 240
1989.98/1929.84	o 239
1990.73/1930.52	o 238
1991.43/1931.29	o 237
1992.24/1932.04	o 236
1992.99/1932.72	o 235
1993.69/1933.47	o 234
1994.49/1934.21	o 233
1995.24/1934.95	o 232
1995.94/1935.68	o 231
1996.70/1936.37	o 230
1997.40/1937.09	o 229
1998.20/1937.81	o 228
1998.85/1938.45	o 227
1999.55/1939.16	o 226
2000.25/1939.86	o 225
2001.01/1940.51	o 224
2001.71/1941.20	o 223
2002.31/1941.89	o 222
2003.07/1942.55	o 221
2003.77/1943.23	o 220
2004.37/1943.89	o 219
2005.12/1944.56	o 218
2005.83/1945.22	o 217
2006.42/1945.87	o 216
2007.17/1946.52	o 215
2007.77/1947.16	o 214
2008.47/1947.80	o 213
2009.13/1948.42	o 212
2009.72/1949.06	o 211
2010.33/1949.69	o 210
2011.36/1950.37	o 209
2011.96/1950.99	o 208
2012.66/1951.60	o 207
2013.26/1952.21	o 206
2013.81/1952.79	o 205
2014.41/1953.39	o 204
2015.01/1953.99	o 203
2015.66/1954.53	o 202
2016.27/1955.11	o 201
2016.76/1955.69	o 200
2017.42/1956.25	o 199
2018.01/1956.82	o 198
2018.52/1957.39	o 197
2019.11/1957.96	o 196
2019.76/1958.52	o 195
2020.26/1959.07	o 194
2020.86/1959.62	o 193
2021.42/1960.14	o 192
2021.92/1960.69	o 191
2022.52/1961.23	o 190
2023.02/1961.78	o 189
2023.67/1962.31	o 188
2024.17/1962.83	o 187
2024.68/1963.36	o 186
2025.23/1963.86	o 185
2025.73/1964.37	o 184
2026.23/1964.88	o 183
2026.73/1965.39	o 182
2027.28/1965.86	o 181
2027.78/1966.36	o 180
2028.28/1966.85	o 179
2028.78/1967.34	o 178
2029.33/1967.83	o 177
2029.84/1968.31	o 176
2030.23/1968.79	o 175
2030.73/1969.26	o 174
2031.23/1969.73	o 173
2031.69/1970.18	o 172
2032.19/1970.64	o 171
2032.69/1971.10	o 170
2033.09/1971.56	o 169
2033.64/1972.00	o 168
2034.04/1972.45	o 167
2034.54/1972.90	o 166
2034.94/1973.34	o 165
2035.34/1973.78	o 164
2035.89/1974.22	o 163
2036.30/1974.65	o 162
2036.70/1975.07	o 161
2037.20/1975.50	o 160
2037.55/1975.90	o 159
2038.05/1976.32	o 158
2038.45/1976.73	o 157
2038.85/1977.14	o 156
2039.25/1977.54	o 155
2039.70/1977.94	o 154
2040.10/1978.34	o 153
2040.50/1978.74	o 152
2040.90/1979.14	o 151
2041.30/1979.54	o 150
2041.75/1979.93	o 149
2042.16/1980.31	o 148
2042.56/1980.70	o 147
2042.86/1981.08	o 146
2043.26/1981.46	o 145
2043.66/1981.83	o 144
2044.11/1982.21	o 143
2044.42/1982.58	o 142
2044.81/1982.94	o 141
2045.21/1983.30	o 140
2045.52/1983.65	o 139
2045.97/1984.00	o 138
2046.27/1984.37	o 137
2046.68/1984.72	o 136
2046.97/1985.06	o 135
2047.37/1985.41	o 134
2047.73/1985.75	o 133
2048.03/1986.09	o 132
2048.43/1986.42	o 131
2048.73/1986.76	o 130
2049.04/1987.09	o 129
2049.43/1987.42	o 128
2049.78/1987.75	o 127
2050.09/1988.07	o 126
2050.38/1988.39	o 125
2050.78/1988.70	o 124
2051.08/1989.01	o 123
2051.38/1989.31	o 122
2051.68/1989.63	o 121
2051.98/1989.93	o 120
2052.29/1990.24	o 119
2052.64/1990.54	o 118
2052.94/1990.84	o 117
2053.24/1991.13	o 116
2053.55/1991.42	o 115
2053.84/1991.71	o 114
2054.14/1992.00	o 113
2054.34/1992.28	o 112
2054.65/1992.57	o 111
2054.94/1992.84	o 110
2055.29/1993.13	o 109
2055.59/1993.41	o 108
2055.80/1993.68	o 107
2056.09/1993.95	o 106
2056.39/1994.22	o 105
2056.59/1994.49	o 104
2056.90/1994.75	o 103
2057.19/1995.02	o 102
2057.39/1995.28	o 101
2057.75/1995.55	o 100
2057.95/1995.80	o 99
2058.25/1996.05	o 98
2058.55/1996.30	o 97
2058.75/1996.55	o 96
2058.95/1996.79	o 95
2059.25/1997.03	o 94
2059.45/1997.27	o 93
2059.76/1997.52	o 92
2060.00/1997.77	o 91
2060.32/1998.01	o 90
2060.51/1998.24	o 89
2060.71/1998.47	o 88
2061.01/1998.70	o 87
2061.21/1998.93	o 86
2061.42/1999.16	o 85
2061.61/1999.38	o 84
2061.91/1999.60	o 83
2062.11/1999.82	o 82
2062.36/2000.05	o 81
2062.57/2000.26	o 80
2062.76/2000.49	o 79
2063.06/2000.70	o 78
2063.26/2000.91	o 77
2063.46/2001.12	o 76
2063.67/2001.33	o 75
2063.87/2001.54	o 74
2064.07/2001.74	o 73
2064.27/2001.94	o 72
2064.47/2002.14	o 71
2064.73/2002.35	o 70
2064.92/2002.55	o 69
2065.12/2002.74	o 68
2065.32/2002.94	o 67
2065.52/2003.13	o 66
2065.72/2003.32	o 65
2065.93/2003.51	o 64
2066.02/2003.69	o 63
2066.22/2003.88	o 62
2066.42/2004.06	o 61
2066.62/2004.24	o 60
2066.82/2004.42	o 59
2067.08/2004.62	o 58
2067.17/2004.79	o 57
2067.37/2004.97	o 56
2067.57/2005.14	o 55
2067.77/2005.32	o 54
2067.87/2005.49	o 53
2068.08/2005.66	o 52
2068.28/2005.82	o 51
2068.38/2005.99	o 50
2068.58/2006.15	o 49
2068.78/2006.31	o 48
2068.88/2006.47	o 47
2069.07/2006.64	o 46
2069.33/2006.81	o 45
2069.43/2006.97	o 44
2069.63/2007.13	o 43
2069.73/2007.28	o 42
2069.93/2007.43	o 41
2070.03/2007.58	o 40
2070.23/2007.73	o 39
2070.33/2007.87	o 38
2070.53/2008.03	o 37
2070.63/2008.17	o 36
2070.83/2008.31	o 35
2070.93/2008.46	o 34
2071.03/2008.60	o 33
2071.23/2008.73	o 32
2071.33/2008.87	o 31
2071.58/2009.02	o 30
2071.68/2009.16	o 29
2071.88/2009.30	o 28
2071.98/2009.43	o 27
2072.08/2009.56	o 26
2072.18/2009.69	o 25
2072.38/2009.82	o 24
2072.48/2009.94	o 23
2072.59/2010.07	o 22
2072.69/2010.19	o 21
2072.88/2010.32	o 20
2072.98/2010.44	o 19
2073.08/2010.56	o 18
2073.18/2010.67	o 17
2073.28/2010.80	o 16
2073.48/2010.91	o 15
2073.58/2011.03	o 14
2073.69/2011.14	o 13
2073.79/2011.25	o 12
2073.88/2011.37	o 11
2073.98/2011.48	o 10
2074.08/2011.58	o 9
2074.18/2011.69	o 8
2074.85/2012.00	o 7
2074.96/2012.12	o 6
2400.08/2328.80	s SATISFIABLE
2400.08/2328.81	v <instantiation>
2400.08/2328.81	v 	<list>
2400.08/2328.81	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[35][36] x[35][37] x[35][38] x[35][39] x[36][37] x[36][38] x[36][39] x[37][38] x[37][39] x[38][39]
2400.08/2328.81	v 	</list>
2400.08/2328.81	v 	<values>
2400.08/2328.81	v 		4 5 0 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 5 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 0 5 5 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 0 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 0 1 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 5 1 1 0 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 4 5 3 5 4 4 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 4 5 3 5 5 5 5 5 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 4 5 3 3 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 4 5 5 4 4 4 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 4 4 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 5 5 5 5 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 2 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 5 3 3 3 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 4 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 5 5 5 5 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 3 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 5 4 4 4 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 4 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 5 5 5 5 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 1 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 5 2 2 2 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 4 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 5 5 5 5 6 5 4 5 3 5 4 5 2 5 4 5 3 3 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 5 4 4 4 6 5 4 5 3 5 4 5 2 5 4 4 6 6 6 6 5 4 5 3 5 4 5 2 5 5 5 5 5 6 5 4 5 3 5 4 5 2 2 6 6 6 6 5 4 5 3 5 4 5 5 3 3 3 6 5 4 5 3 5 4 4 6 6 6 6 5 4 5 3 5 5 5 5 5 6 5 4 5 3 3 6 6 6 6 5 4 5 5 4 4 4 6 5 4 4 6 6 6 6 5 5 5 5 5 6 0 6 6 6 6 6 6 6 6 0 0 5 1 5 5 
2400.08/2328.81	v 	</values>
2400.08/2328.81	v </instantiation>

Verifier Data 

OK	6

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

pid=28809
running on 4 cores: 0,2,4,6

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.40 1.32 1.32 3/194 28812
/proc/meminfo: memFree=30030360/32770624 swapFree=0/448728
[pid=28812] ppid=28809 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/28812/stat : 28812 (runsolver) D 28809 28812 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 14571270 24240128 106 18446744073709551615 4194304 4338465 140733363988880 140733363986520 140058837512919 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 23764992 140733363990631 140733363991114 140733363991114 140733363994570 0
/proc/28812/statm: 5918 106 53 36 0 2156 0

[startup+0.100079 s]
/proc/loadavg: 1.40 1.32 1.32 3/194 28812
/proc/meminfo: memFree=30030360/32770624 swapFree=0/448728
[pid=28812] ppid=28809 vsize=12711948 CPUtime=0.04 cores=0,2,4,6
/proc/28812/stat : 28812 (java) S 28809 28812 9955 0 -1 1077944320 4066 0 0 0 4 0 0 0 20 0 12 0 14571270 13017034752 4653 18446744073709551615 4194304 4196468 140734524431728 140734524414272 140074925227767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
/proc/28812/statm: 3178244 4653 2162 1 0 3167741 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12711948

[startup+0.200252 s]
/proc/loadavg: 1.40 1.32 1.32 3/194 28812
/proc/meminfo: memFree=30030360/32770624 swapFree=0/448728
[pid=28812] ppid=28809 vsize=12914512 CPUtime=0.15 cores=0,2,4,6
/proc/28812/stat : 28812 (java) S 28809 28812 9955 0 -1 1077944320 9359 0 0 0 12 3 0 0 20 0 15 0 14571270 13224460288 7831 18446744073709551615 4194304 4196468 140734524431728 140734524414272 140074925227767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
/proc/28812/statm: 3228628 7831 3362 1 0 3217407 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 12914512

[startup+0.300343 s]
/proc/loadavg: 1.40 1.32 1.32 3/194 28812
/proc/meminfo: memFree=30030360/32770624 swapFree=0/448728
[pid=28812] ppid=28809 vsize=12914512 CPUtime=0.31 cores=0,2,4,6
/proc/28812/stat : 28812 (java) S 28809 28812 9955 0 -1 1077944320 11025 0 0 0 27 4 0 0 20 0 15 0 14571270 13224460288 10292 18446744073709551615 4194304 4196468 140734524431728 140734524414272 140074925227767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
/proc/28812/statm: 3228628 10292 3601 1 0 3217407 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 12914512

[startup+0.700201 s]
/proc/loadavg: 1.40 1.32 1.32 3/194 28812
/proc/meminfo: memFree=30030360/32770624 swapFree=0/448728
[pid=28812] ppid=28809 vsize=12916580 CPUtime=1.36 cores=0,2,4,6
/proc/28812/stat : 28812 (java) S 28809 28812 9955 0 -1 1077944320 15950 0 0 0 131 5 0 0 20 0 15 0 14571270 13226577920 21759 18446744073709551615 4194304 4196468 140734524431728 140734524414272 140074925227767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
/proc/28812/statm: 3229145 21759 3737 1 0 3217919 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 12916580

[startup+1.50062 s]
/proc/loadavg: 1.40 1.32 1.32 6/209 28827
/proc/meminfo: memFree=29839968/32770624 swapFree=0/448760
[pid=28812] ppid=28809 vsize=12916580 CPUtime=3.94 cores=0,2,4,6
/proc/28812/stat : 28812 (java) S 28809 28812 9955 0 -1 1077944320 18914 0 0 0 383 11 0 0 20 0 15 0 14571270 13226577920 58803 18446744073709551615 4194304 4196468 140734524431728 140734524414272 140074925227767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
/proc/28812/statm: 3229145 58803 3778 1 0 3217919 0
[pid=28812/tid=28814] ppid=28809 vsize=12916580 CPUtime=1.36 cores=0,2,4,6
/proc/28812/task/28814/stat : 28814 (java) R 28809 28812 9955 0 -1 4202560 10715 0 0 0 131 5 0 0 20 0 15 0 14571275 13226577920 58803 18446744073709551615 4194304 4196468 140734524431728 140074929464672 140074925239702 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28815] ppid=28809 vsize=12916580 CPUtime=0.03 cores=0,2,4,6
/proc/28812/task/28815/stat : 28815 (java) S 28809 28812 9955 0 -1 1077944384 24 0 0 0 2 1 0 0 20 0 15 0 14571276 13226577920 58803 18446744073709551615 4194304 4196468 140734524431728 140074861709968 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28816] ppid=28809 vsize=12916580 CPUtime=0.03 cores=0,2,4,6
/proc/28812/task/28816/stat : 28816 (java) S 28809 28812 9955 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 15 0 14571276 13226577920 58803 18446744073709551615 4194304 4196468 140734524431728 140074860657168 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28817] ppid=28809 vsize=12916580 CPUtime=0.01 cores=0,2,4,6
/proc/28812/task/28817/stat : 28817 (java) S 28809 28812 9955 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 15 0 14571276 13226577920 58803 18446744073709551615 4194304 4196468 140734524431728 140074859604368 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28818] ppid=28809 vsize=12916580 CPUtime=0.03 cores=0,2,4,6
/proc/28812/task/28818/stat : 28818 (java) S 28809 28812 9955 0 -1 1077944384 31 0 0 0 2 1 0 0 20 0 15 0 14571276 13226577920 58803 18446744073709551615 4194304 4196468 140734524431728 140074858551568 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28819] ppid=28809 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28819/stat : 28819 (java) S 28809 28812 9955 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 14571277 13226577920 58803 18446744073709551615 4194304 4196468 140734524431728 140073880161136 140074925238914 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28820] ppid=28809 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28820/stat : 28820 (java) R 28809 28812 9955 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 14571278 13226577920 58803 18446744073709551615 4194304 4196468 140734524431728 140073879107104 140074925237973 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28821] ppid=28809 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28821/stat : 28821 (java) S 28809 28812 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14571278 13226577920 58803 18446744073709551615 4194304 4196468 140734524431728 140073878054256 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28822] ppid=28809 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28822/stat : 28822 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571280 13226577920 58803 18446744073709551615 4194304 4196468 140734524431728 140073877002576 140074925246363 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28823] ppid=28809 vsize=12916580 CPUtime=0.98 cores=0,2,4,6
/proc/28812/task/28823/stat : 28823 (java) R 28809 28812 9955 0 -1 4202560 1676 0 0 0 98 0 0 0 20 0 15 0 14571280 13226577920 58803 18446744073709551615 4194304 4196468 140734524431728 140073875934928 140074925239702 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28824] ppid=28809 vsize=12916580 CPUtime=0.93 cores=0,2,4,6
/proc/28812/task/28824/stat : 28824 (java) R 28809 28812 9955 0 -1 4202560 2377 0 0 0 93 0 0 0 20 0 15 0 14571280 13226577920 58803 18446744073709551615 4194304 4196468 140734524431728 140073874889872 140074925249114 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28825] ppid=28809 vsize=12916580 CPUtime=0.5 cores=0,2,4,6
/proc/28812/task/28825/stat : 28825 (java) S 28809 28812 9955 0 -1 1077944384 2542 0 0 0 50 0 0 0 20 0 15 0 14571280 13226577920 58803 18446744073709551615 4194304 4196468 140734524431728 140073873844336 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28826] ppid=28809 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28826/stat : 28826 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571281 13226577920 58803 18446744073709551615 4194304 4196468 140734524431728 140073872791776 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28827] ppid=28809 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28827/stat : 28827 (java) S 28809 28812 9955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14571284 13226577920 58803 18446744073709551615 4194304 4196468 140734524431728 140073871740080 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 12916580

[startup+3.10118 s]
/proc/loadavg: 1.45 1.33 1.33 5/209 28827
/proc/meminfo: memFree=29618752/32770624 swapFree=0/448760
[pid=28812] ppid=28809 vsize=12920676 CPUtime=7.52 cores=0,2,4,6
/proc/28812/stat : 28812 (java) S 28809 28812 9955 0 -1 1077944320 27515 0 0 0 722 30 0 0 20 0 15 0 14571270 13230772224 172799 18446744073709551615 4194304 4196468 140734524431728 140734524414272 140074925227767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
/proc/28812/statm: 3230169 172799 3801 1 0 3218943 0
[pid=28812/tid=28814] ppid=28809 vsize=12920676 CPUtime=2.84 cores=0,2,4,6
/proc/28812/task/28814/stat : 28814 (java) R 28809 28812 9955 0 -1 4202560 14013 0 0 0 272 12 0 0 20 0 15 0 14571275 13230772224 172799 18446744073709551615 4194304 4196468 140734524431728 140074929463496 140074545264372 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28815] ppid=28809 vsize=12920676 CPUtime=0.11 cores=0,2,4,6
/proc/28812/task/28815/stat : 28815 (java) S 28809 28812 9955 0 -1 1077944384 69 0 0 0 8 3 0 0 20 0 15 0 14571276 13230772224 172799 18446744073709551615 4194304 4196468 140734524431728 140074861709968 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28816] ppid=28809 vsize=12920676 CPUtime=0.13 cores=0,2,4,6
/proc/28812/task/28816/stat : 28816 (java) S 28809 28812 9955 0 -1 1077944384 146 0 0 0 10 3 0 0 20 0 15 0 14571276 13230772224 172799 18446744073709551615 4194304 4196468 140734524431728 140074860657168 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28817] ppid=28809 vsize=12920676 CPUtime=0.12 cores=0,2,4,6
/proc/28812/task/28817/stat : 28817 (java) S 28809 28812 9955 0 -1 1077944384 132 0 0 0 9 3 0 0 20 0 15 0 14571276 13230772224 172799 18446744073709551615 4194304 4196468 140734524431728 140074859604368 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28818] ppid=28809 vsize=12920676 CPUtime=0.14 cores=0,2,4,6
/proc/28812/task/28818/stat : 28818 (java) S 28809 28812 9955 0 -1 1077944384 121 0 0 0 10 4 0 0 20 0 15 0 14571276 13230772224 172799 18446744073709551615 4194304 4196468 140734524431728 140074858551568 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28819] ppid=28809 vsize=12920676 CPUtime=0.01 cores=0,2,4,6
/proc/28812/task/28819/stat : 28819 (java) S 28809 28812 9955 0 -1 1077944384 497 0 0 0 1 0 0 0 20 0 15 0 14571277 13230772224 172799 18446744073709551615 4194304 4196468 140734524431728 140073880161136 140074925238914 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28820] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28820/stat : 28820 (java) S 28809 28812 9955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 14571278 13230772224 172799 18446744073709551615 4194304 4196468 140734524431728 140073879107168 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28821] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28821/stat : 28821 (java) S 28809 28812 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14571278 13230772224 172799 18446744073709551615 4194304 4196468 140734524431728 140073878054272 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28822] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28822/stat : 28822 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571280 13230772224 172799 18446744073709551615 4194304 4196468 140734524431728 140073877002576 140074925246363 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28823] ppid=28809 vsize=12920676 CPUtime=1.73 cores=0,2,4,6
/proc/28812/task/28823/stat : 28823 (java) S 28809 28812 9955 0 -1 1077944384 3496 0 0 0 173 0 0 0 20 0 15 0 14571280 13230772224 172799 18446744073709551615 4194304 4196468 140734524431728 140073875949936 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28824] ppid=28809 vsize=12920676 CPUtime=1.61 cores=0,2,4,6
/proc/28812/task/28824/stat : 28824 (java) S 28809 28812 9955 0 -1 1077944384 3526 0 0 0 161 0 0 0 20 0 15 0 14571280 13230772224 172799 18446744073709551615 4194304 4196468 140734524431728 140073874897136 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28825] ppid=28809 vsize=12920676 CPUtime=0.75 cores=0,2,4,6
/proc/28812/task/28825/stat : 28825 (java) S 28809 28812 9955 0 -1 1077944384 4144 0 0 0 74 1 0 0 20 0 15 0 14571280 13230772224 172799 18446744073709551615 4194304 4196468 140734524431728 140073873844336 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28826] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28826/stat : 28826 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571281 13230772224 172799 18446744073709551615 4194304 4196468 140734524431728 140073872791776 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28827] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28827/stat : 28827 (java) D 28809 28812 9955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 14571284 13230772224 172799 18446744073709551615 4194304 4196468 140734524431728 140073871740000 140074910083854 0 4 1 16800974 18446744072100686981 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 12920676

[startup+6.30062 s]
/proc/loadavg: 1.45 1.33 1.33 3/209 28827
/proc/meminfo: memFree=28525412/32770624 swapFree=0/448768
[pid=28812] ppid=28809 vsize=12920676 CPUtime=10.73 cores=0,2,4,6
/proc/28812/stat : 28812 (java) S 28809 28812 9955 0 -1 1077944320 29148 0 0 0 1018 55 0 0 20 0 15 0 14571270 13230772224 537344 18446744073709551615 4194304 4196468 140734524431728 140734524414272 140074925227767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
/proc/28812/statm: 3230169 537344 3802 1 0 3218943 0
[pid=28812/tid=28814] ppid=28809 vsize=12920676 CPUtime=5.61 cores=0,2,4,6
/proc/28812/task/28814/stat : 28814 (java) R 28809 28812 9955 0 -1 4202560 14905 0 0 0 530 31 0 0 20 0 15 0 14571275 13230772224 537344 18446744073709551615 4194304 4196468 140734524431728 140074929462960 140074545264613 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28815] ppid=28809 vsize=12920676 CPUtime=0.18 cores=0,2,4,6
/proc/28812/task/28815/stat : 28815 (java) S 28809 28812 9955 0 -1 1077944384 163 0 0 0 14 4 0 0 20 0 15 0 14571276 13230772224 537344 18446744073709551615 4194304 4196468 140734524431728 140074861709968 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28816] ppid=28809 vsize=12920676 CPUtime=0.2 cores=0,2,4,6
/proc/28812/task/28816/stat : 28816 (java) S 28809 28812 9955 0 -1 1077944384 172 0 0 0 16 4 0 0 20 0 15 0 14571276 13230772224 537344 18446744073709551615 4194304 4196468 140734524431728 140074860657168 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28817] ppid=28809 vsize=12920676 CPUtime=0.19 cores=0,2,4,6
/proc/28812/task/28817/stat : 28817 (java) S 28809 28812 9955 0 -1 1077944384 159 0 0 0 15 4 0 0 20 0 15 0 14571276 13230772224 537344 18446744073709551615 4194304 4196468 140734524431728 140074859604368 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28818] ppid=28809 vsize=12920676 CPUtime=0.21 cores=0,2,4,6
/proc/28812/task/28818/stat : 28818 (java) S 28809 28812 9955 0 -1 1077944384 190 0 0 0 16 5 0 0 20 0 15 0 14571276 13230772224 537344 18446744073709551615 4194304 4196468 140734524431728 140074858551568 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28819] ppid=28809 vsize=12920676 CPUtime=0.02 cores=0,2,4,6
/proc/28812/task/28819/stat : 28819 (java) S 28809 28812 9955 0 -1 1077944384 1003 0 0 0 2 0 0 0 20 0 15 0 14571277 13230772224 537344 18446744073709551615 4194304 4196468 140734524431728 140073880161136 140074925238914 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28820] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28820/stat : 28820 (java) S 28809 28812 9955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 14571278 13230772224 537344 18446744073709551615 4194304 4196468 140734524431728 140073879107168 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28821] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28821/stat : 28821 (java) S 28809 28812 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14571278 13230772224 537344 18446744073709551615 4194304 4196468 140734524431728 140073878054272 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28822] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28822/stat : 28822 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571280 13230772224 537344 18446744073709551615 4194304 4196468 140734524431728 140073877002576 140074925246363 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28823] ppid=28809 vsize=12920676 CPUtime=1.79 cores=0,2,4,6
/proc/28812/task/28823/stat : 28823 (java) R 28809 28812 9955 0 -1 4202560 3504 0 0 0 179 0 0 0 20 0 15 0 14571280 13230772224 537344 18446744073709551615 4194304 4196468 140734524431728 140073875949936 140074905074912 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28824] ppid=28809 vsize=12920676 CPUtime=1.67 cores=0,2,4,6
/proc/28812/task/28824/stat : 28824 (java) R 28809 28812 9955 0 -1 4202560 3534 0 0 0 167 0 0 0 20 0 15 0 14571280 13230772224 537344 18446744073709551615 4194304 4196468 140734524431728 140073874897136 140074909620470 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28825] ppid=28809 vsize=12920676 CPUtime=0.75 cores=0,2,4,6
/proc/28812/task/28825/stat : 28825 (java) S 28809 28812 9955 0 -1 1077944384 4145 0 0 0 74 1 0 0 20 0 15 0 14571280 13230772224 537344 18446744073709551615 4194304 4196468 140734524431728 140073873844336 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28826] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28826/stat : 28826 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571281 13230772224 537344 18446744073709551615 4194304 4196468 140734524431728 140073872791776 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28827] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28827/stat : 28827 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571284 13230772224 537344 18446744073709551615 4194304 4196468 140734524431728 140073871740080 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
Current children cumulated CPU time (s) 10.73
Current children cumulated vsize (KiB) 12920676

[startup+12.7006 s]
/proc/loadavg: 1.53 1.35 1.33 3/209 28827
/proc/meminfo: memFree=26559488/32770624 swapFree=0/448780
[pid=28812] ppid=28809 vsize=12920676 CPUtime=18.06 cores=0,2,4,6
/proc/28812/stat : 28812 (java) S 28809 28812 9955 0 -1 1077944320 31820 0 0 0 1727 79 0 0 20 0 15 0 14571270 13230772224 872021 18446744073709551615 4194304 4196468 140734524431728 140734524414272 140074925227767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
/proc/28812/statm: 3230169 872021 3803 1 0 3218943 0
[pid=28812/tid=28814] ppid=28809 vsize=12920676 CPUtime=11.94 cores=0,2,4,6
/proc/28812/task/28814/stat : 28814 (java) R 28809 28812 9955 0 -1 4202560 16165 0 0 0 1144 50 0 0 20 0 15 0 14571275 13230772224 872021 18446744073709551615 4194304 4196468 140734524431728 140074929466016 140074545890743 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28815] ppid=28809 vsize=12920676 CPUtime=0.26 cores=0,2,4,6
/proc/28812/task/28815/stat : 28815 (java) S 28809 28812 9955 0 -1 1077944384 465 0 0 0 20 6 0 0 20 0 15 0 14571276 13230772224 872021 18446744073709551615 4194304 4196468 140734524431728 140074861709968 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28816] ppid=28809 vsize=12920676 CPUtime=0.27 cores=0,2,4,6
/proc/28812/task/28816/stat : 28816 (java) S 28809 28812 9955 0 -1 1077944384 200 0 0 0 22 5 0 0 20 0 15 0 14571276 13230772224 872021 18446744073709551615 4194304 4196468 140734524431728 140074860657168 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28817] ppid=28809 vsize=12920676 CPUtime=0.26 cores=0,2,4,6
/proc/28812/task/28817/stat : 28817 (java) S 28809 28812 9955 0 -1 1077944384 290 0 0 0 21 5 0 0 20 0 15 0 14571276 13230772224 872021 18446744073709551615 4194304 4196468 140734524431728 140074859604368 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28818] ppid=28809 vsize=12920676 CPUtime=0.27 cores=0,2,4,6
/proc/28812/task/28818/stat : 28818 (java) S 28809 28812 9955 0 -1 1077944384 402 0 0 0 21 6 0 0 20 0 15 0 14571276 13230772224 872021 18446744073709551615 4194304 4196468 140734524431728 140074858551568 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28819] ppid=28809 vsize=12920676 CPUtime=0.02 cores=0,2,4,6
/proc/28812/task/28819/stat : 28819 (java) S 28809 28812 9955 0 -1 1077944384 1609 0 0 0 2 0 0 0 20 0 15 0 14571277 13230772224 872021 18446744073709551615 4194304 4196468 140734524431728 140073880161136 140074925238914 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28820] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28820/stat : 28820 (java) S 28809 28812 9955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 14571278 13230772224 872021 18446744073709551615 4194304 4196468 140734524431728 140073879107168 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28821] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28821/stat : 28821 (java) S 28809 28812 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14571278 13230772224 872021 18446744073709551615 4194304 4196468 140734524431728 140073878054272 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28822] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28822/stat : 28822 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571280 13230772224 872021 18446744073709551615 4194304 4196468 140734524431728 140073877002576 140074925246363 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0

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

/proc/28812/task/28826/stat : 28826 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571281 13230772224 736621 18446744073709551615 4194304 4196468 140734524431728 140073872791776 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28827] ppid=28809 vsize=12920676 CPUtime=1.33 cores=0,2,4,6
/proc/28812/task/28827/stat : 28827 (java) S 28809 28812 9955 0 -1 1077944384 1235 0 0 0 61 72 0 0 20 0 15 0 14571284 13230772224 736621 18446744073709551615 4194304 4196468 140734524431728 140073871740080 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
Current children cumulated CPU time (s) 2270.05
Current children cumulated vsize (KiB) 12920676

[startup+2262.3 s]
/proc/loadavg: 1.50 1.48 1.46 3/209 29042
/proc/meminfo: memFree=25413216/32770624 swapFree=0/452192
[pid=28812] ppid=28809 vsize=12920676 CPUtime=2331.84 cores=0,2,4,6
/proc/28812/stat : 28812 (java) S 28809 28812 9955 0 -1 1077944320 370023 0 0 0 232831 353 0 0 20 0 15 0 14571270 13230772224 729177 18446744073709551615 4194304 4196468 140734524431728 140734524414272 140074925227767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
/proc/28812/statm: 3230169 729177 3820 1 0 3218943 0
[pid=28812/tid=28814] ppid=28809 vsize=12920676 CPUtime=2239.39 cores=0,2,4,6
/proc/28812/task/28814/stat : 28814 (java) R 28809 28812 9955 0 -1 4202560 148587 0 0 0 223825 114 0 0 20 0 15 0 14571275 13230772224 729177 18446744073709551615 4194304 4196468 140734524431728 140074929466288 140074545098085 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28815] ppid=28809 vsize=12920676 CPUtime=20.81 cores=0,2,4,6
/proc/28812/task/28815/stat : 28815 (java) S 28809 28812 9955 0 -1 1077944384 22702 0 0 0 2044 37 0 0 20 0 15 0 14571276 13230772224 729177 18446744073709551615 4194304 4196468 140734524431728 140074861709968 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28816] ppid=28809 vsize=12920676 CPUtime=20.85 cores=0,2,4,6
/proc/28812/task/28816/stat : 28816 (java) S 28809 28812 9955 0 -1 1077944384 22650 0 0 0 2048 37 0 0 20 0 15 0 14571276 13230772224 729177 18446744073709551615 4194304 4196468 140734524431728 140074860657168 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28817] ppid=28809 vsize=12920676 CPUtime=20.83 cores=0,2,4,6
/proc/28812/task/28817/stat : 28817 (java) S 28809 28812 9955 0 -1 1077944384 20780 0 0 0 2045 38 0 0 20 0 15 0 14571276 13230772224 729177 18446744073709551615 4194304 4196468 140734524431728 140074859604368 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28818] ppid=28809 vsize=12920676 CPUtime=20.85 cores=0,2,4,6
/proc/28812/task/28818/stat : 28818 (java) S 28809 28812 9955 0 -1 1077944384 22112 0 0 0 2044 41 0 0 20 0 15 0 14571276 13230772224 729177 18446744073709551615 4194304 4196468 140734524431728 140074858551568 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28819] ppid=28809 vsize=12920676 CPUtime=1.36 cores=0,2,4,6
/proc/28812/task/28819/stat : 28819 (java) S 28809 28812 9955 0 -1 1077944384 72100 0 0 0 106 30 0 0 20 0 15 0 14571277 13230772224 729177 18446744073709551615 4194304 4196468 140734524431728 140073880161136 140074925238914 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28820] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28820/stat : 28820 (java) S 28809 28812 9955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 14571278 13230772224 729177 18446744073709551615 4194304 4196468 140734524431728 140073879107168 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28821] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28821/stat : 28821 (java) S 28809 28812 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14571278 13230772224 729177 18446744073709551615 4194304 4196468 140734524431728 140073878054272 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28822] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28822/stat : 28822 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571280 13230772224 729177 18446744073709551615 4194304 4196468 140734524431728 140073877002576 140074925246363 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28823] ppid=28809 vsize=12920676 CPUtime=2.68 cores=0,2,4,6
/proc/28812/task/28823/stat : 28823 (java) S 28809 28812 9955 0 -1 1077944384 17004 0 0 0 266 2 0 0 20 0 15 0 14571280 13230772224 729177 18446744073709551615 4194304 4196468 140734524431728 140073875949936 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28824] ppid=28809 vsize=12920676 CPUtime=2.68 cores=0,2,4,6
/proc/28812/task/28824/stat : 28824 (java) S 28809 28812 9955 0 -1 1077944384 17519 0 0 0 266 2 0 0 20 0 15 0 14571280 13230772224 729177 18446744073709551615 4194304 4196468 140734524431728 140073874897136 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28825] ppid=28809 vsize=12920676 CPUtime=0.93 cores=0,2,4,6
/proc/28812/task/28825/stat : 28825 (java) S 28809 28812 9955 0 -1 1077944384 23940 0 0 0 90 3 0 0 20 0 15 0 14571280 13230772224 729177 18446744073709551615 4194304 4196468 140734524431728 140073873844336 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28826] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28826/stat : 28826 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571281 13230772224 729177 18446744073709551615 4194304 4196468 140734524431728 140073872791776 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28827] ppid=28809 vsize=12920676 CPUtime=1.36 cores=0,2,4,6
/proc/28812/task/28827/stat : 28827 (java) S 28809 28812 9955 0 -1 1077944384 1259 0 0 0 63 73 0 0 20 0 15 0 14571284 13230772224 729177 18446744073709551615 4194304 4196468 140734524431728 140073871740080 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
Current children cumulated CPU time (s) 2331.84
Current children cumulated vsize (KiB) 12920676

[startup+2322.3 s]
/proc/loadavg: 1.22 1.41 1.44 3/209 29043
/proc/meminfo: memFree=25607228/32770624 swapFree=0/452276
[pid=28812] ppid=28809 vsize=12920676 CPUtime=2393.42 cores=0,2,4,6
/proc/28812/stat : 28812 (java) S 28809 28812 9955 0 -1 1077944320 373498 0 0 0 238986 356 0 0 20 0 15 0 14571270 13230772224 717635 18446744073709551615 4194304 4196468 140734524431728 140734524414272 140074925227767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
/proc/28812/statm: 3230169 717635 3820 1 0 3218943 0
[pid=28812/tid=28814] ppid=28809 vsize=12920676 CPUtime=2298.83 cores=0,2,4,6
/proc/28812/task/28814/stat : 28814 (java) R 28809 28812 9955 0 -1 4202560 150928 0 0 0 229769 114 0 0 20 0 15 0 14571275 13230772224 717635 18446744073709551615 4194304 4196468 140734524431728 140074929466064 140074545140999 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28815] ppid=28809 vsize=12920676 CPUtime=21.32 cores=0,2,4,6
/proc/28812/task/28815/stat : 28815 (java) S 28809 28812 9955 0 -1 1077944384 22887 0 0 0 2095 37 0 0 20 0 15 0 14571276 13230772224 717635 18446744073709551615 4194304 4196468 140734524431728 140074861709968 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28816] ppid=28809 vsize=12920676 CPUtime=21.36 cores=0,2,4,6
/proc/28812/task/28816/stat : 28816 (java) S 28809 28812 9955 0 -1 1077944384 22897 0 0 0 2099 37 0 0 20 0 15 0 14571276 13230772224 717635 18446744073709551615 4194304 4196468 140734524431728 140074860657168 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28817] ppid=28809 vsize=12920676 CPUtime=21.34 cores=0,2,4,6
/proc/28812/task/28817/stat : 28817 (java) S 28809 28812 9955 0 -1 1077944384 20829 0 0 0 2096 38 0 0 20 0 15 0 14571276 13230772224 717635 18446744073709551615 4194304 4196468 140734524431728 140074859604368 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28818] ppid=28809 vsize=12920676 CPUtime=21.38 cores=0,2,4,6
/proc/28812/task/28818/stat : 28818 (java) S 28809 28812 9955 0 -1 1077944384 22249 0 0 0 2096 42 0 0 20 0 15 0 14571276 13230772224 717635 18446744073709551615 4194304 4196468 140734524431728 140074858551568 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28819] ppid=28809 vsize=12920676 CPUtime=1.39 cores=0,2,4,6
/proc/28812/task/28819/stat : 28819 (java) S 28809 28812 9955 0 -1 1077944384 72567 0 0 0 109 30 0 0 20 0 15 0 14571277 13230772224 717635 18446744073709551615 4194304 4196468 140734524431728 140073880161136 140074925238914 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28820] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28820/stat : 28820 (java) S 28809 28812 9955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 14571278 13230772224 717635 18446744073709551615 4194304 4196468 140734524431728 140073879107168 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28821] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28821/stat : 28821 (java) S 28809 28812 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14571278 13230772224 717635 18446744073709551615 4194304 4196468 140734524431728 140073878054272 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28822] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28822/stat : 28822 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571280 13230772224 717635 18446744073709551615 4194304 4196468 140734524431728 140073877002576 140074925246363 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28823] ppid=28809 vsize=12920676 CPUtime=2.68 cores=0,2,4,6
/proc/28812/task/28823/stat : 28823 (java) S 28809 28812 9955 0 -1 1077944384 17006 0 0 0 266 2 0 0 20 0 15 0 14571280 13230772224 717635 18446744073709551615 4194304 4196468 140734524431728 140073875949936 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28824] ppid=28809 vsize=12920676 CPUtime=2.68 cores=0,2,4,6
/proc/28812/task/28824/stat : 28824 (java) S 28809 28812 9955 0 -1 1077944384 17521 0 0 0 266 2 0 0 20 0 15 0 14571280 13230772224 717635 18446744073709551615 4194304 4196468 140734524431728 140073874897136 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28825] ppid=28809 vsize=12920676 CPUtime=0.93 cores=0,2,4,6
/proc/28812/task/28825/stat : 28825 (java) S 28809 28812 9955 0 -1 1077944384 23942 0 0 0 90 3 0 0 20 0 15 0 14571280 13230772224 717635 18446744073709551615 4194304 4196468 140734524431728 140073873844336 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28826] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28826/stat : 28826 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571281 13230772224 717635 18446744073709551615 4194304 4196468 140734524431728 140073872791776 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28827] ppid=28809 vsize=12920676 CPUtime=1.4 cores=0,2,4,6
/proc/28812/task/28827/stat : 28827 (java) S 28809 28812 9955 0 -1 1077944384 1302 0 0 0 64 76 0 0 20 0 15 0 14571284 13230772224 717635 18446744073709551615 4194304 4196468 140734524431728 140073871740080 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
Current children cumulated CPU time (s) 2393.42
Current children cumulated vsize (KiB) 12920676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2328.8 s]
/proc/loadavg: 1.34 1.43 1.45 3/209 29044
/proc/meminfo: memFree=25632448/32770624 swapFree=0/452300
[pid=28812] ppid=28809 vsize=12920676 CPUtime=2400.08 cores=0,2,4,6
/proc/28812/stat : 28812 (java) S 28809 28812 9955 0 -1 1077944320 374017 0 0 0 239651 357 0 0 20 0 15 0 14571270 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140734524414272 140074925227767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
/proc/28812/statm: 3230169 716609 3820 1 0 3218943 0
[pid=28812/tid=28814] ppid=28809 vsize=12920676 CPUtime=2305.27 cores=0,2,4,6
/proc/28812/task/28814/stat : 28814 (java) R 28809 28812 9955 0 -1 4202560 151217 0 0 0 230413 114 0 0 20 0 15 0 14571275 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140074929466176 140074546336133 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28815] ppid=28809 vsize=12920676 CPUtime=21.37 cores=0,2,4,6
/proc/28812/task/28815/stat : 28815 (java) S 28809 28812 9955 0 -1 1077944384 22911 0 0 0 2100 37 0 0 20 0 15 0 14571276 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140074861709968 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28816] ppid=28809 vsize=12920676 CPUtime=21.41 cores=0,2,4,6
/proc/28812/task/28816/stat : 28816 (java) S 28809 28812 9955 0 -1 1077944384 22956 0 0 0 2104 37 0 0 20 0 15 0 14571276 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140074860657168 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28817] ppid=28809 vsize=12920676 CPUtime=21.39 cores=0,2,4,6
/proc/28812/task/28817/stat : 28817 (java) S 28809 28812 9955 0 -1 1077944384 20873 0 0 0 2101 38 0 0 20 0 15 0 14571276 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140074859604368 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28818] ppid=28809 vsize=12920676 CPUtime=21.43 cores=0,2,4,6
/proc/28812/task/28818/stat : 28818 (java) S 28809 28812 9955 0 -1 1077944384 22309 0 0 0 2101 42 0 0 20 0 15 0 14571276 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140074858551568 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28819] ppid=28809 vsize=12920676 CPUtime=1.41 cores=0,2,4,6
/proc/28812/task/28819/stat : 28819 (java) S 28809 28812 9955 0 -1 1077944384 72586 0 0 0 110 31 0 0 20 0 15 0 14571277 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073880161136 140074925238914 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28820] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28820/stat : 28820 (java) S 28809 28812 9955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 14571278 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073879107168 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28821] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28821/stat : 28821 (java) S 28809 28812 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14571278 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073878054272 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28822] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28822/stat : 28822 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571280 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073877002576 140074925246363 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28823] ppid=28809 vsize=12920676 CPUtime=2.68 cores=0,2,4,6
/proc/28812/task/28823/stat : 28823 (java) S 28809 28812 9955 0 -1 1077944384 17008 0 0 0 266 2 0 0 20 0 15 0 14571280 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073875949936 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28824] ppid=28809 vsize=12920676 CPUtime=2.68 cores=0,2,4,6
/proc/28812/task/28824/stat : 28824 (java) S 28809 28812 9955 0 -1 1077944384 17523 0 0 0 266 2 0 0 20 0 15 0 14571280 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073874897136 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28825] ppid=28809 vsize=12920676 CPUtime=0.93 cores=0,2,4,6
/proc/28812/task/28825/stat : 28825 (java) S 28809 28812 9955 0 -1 1077944384 23944 0 0 0 90 3 0 0 20 0 15 0 14571280 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073873844336 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28826] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28826/stat : 28826 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571281 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073872791776 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28827] ppid=28809 vsize=12920676 CPUtime=1.4 cores=0,2,4,6
/proc/28812/task/28827/stat : 28827 (java) S 28809 28812 9955 0 -1 1077944384 1320 0 0 0 64 76 0 0 20 0 15 0 14571284 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073871740080 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
Current children cumulated CPU time (s) 2400.08
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 28812 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2328.8 s]
/proc/loadavg: 1.34 1.43 1.45 3/209 29044
/proc/meminfo: memFree=25632448/32770624 swapFree=0/452300
[pid=28812] ppid=28809 vsize=12920676 CPUtime=2400.08 cores=0,2,4,6
/proc/28812/stat : 28812 (java) S 28809 28812 9955 0 -1 1077944320 374017 0 0 0 239651 357 0 0 20 0 15 0 14571270 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140734524414272 140074925227767 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
/proc/28812/statm: 3230169 716609 3820 1 0 3218943 0
[pid=28812/tid=28814] ppid=28809 vsize=12920676 CPUtime=2305.27 cores=0,2,4,6
/proc/28812/task/28814/stat : 28814 (java) R 28809 28812 9955 0 -1 4202560 151217 0 0 0 230413 114 0 0 20 0 15 0 14571275 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140074929466176 140074546336133 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28815] ppid=28809 vsize=12920676 CPUtime=21.37 cores=0,2,4,6
/proc/28812/task/28815/stat : 28815 (java) S 28809 28812 9955 0 -1 1077944384 22911 0 0 0 2100 37 0 0 20 0 15 0 14571276 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140074861709968 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28816] ppid=28809 vsize=12920676 CPUtime=21.41 cores=0,2,4,6
/proc/28812/task/28816/stat : 28816 (java) S 28809 28812 9955 0 -1 1077944384 22956 0 0 0 2104 37 0 0 20 0 15 0 14571276 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140074860657168 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28817] ppid=28809 vsize=12920676 CPUtime=21.39 cores=0,2,4,6
/proc/28812/task/28817/stat : 28817 (java) S 28809 28812 9955 0 -1 1077944384 20873 0 0 0 2101 38 0 0 20 0 15 0 14571276 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140074859604368 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28818] ppid=28809 vsize=12920676 CPUtime=21.43 cores=0,2,4,6
/proc/28812/task/28818/stat : 28818 (java) S 28809 28812 9955 0 -1 1077944384 22309 0 0 0 2101 42 0 0 20 0 15 0 14571276 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140074858551568 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28819] ppid=28809 vsize=12920676 CPUtime=1.41 cores=0,2,4,6
/proc/28812/task/28819/stat : 28819 (java) S 28809 28812 9955 0 -1 1077944384 72586 0 0 0 110 31 0 0 20 0 15 0 14571277 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073880161136 140074925238914 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28820] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28820/stat : 28820 (java) S 28809 28812 9955 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 14571278 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073879107168 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28821] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28821/stat : 28821 (java) S 28809 28812 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14571278 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073878054272 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28822] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28822/stat : 28822 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571280 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073877002576 140074925246363 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28823] ppid=28809 vsize=12920676 CPUtime=2.68 cores=0,2,4,6
/proc/28812/task/28823/stat : 28823 (java) S 28809 28812 9955 0 -1 1077944384 17008 0 0 0 266 2 0 0 20 0 15 0 14571280 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073875949936 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28824] ppid=28809 vsize=12920676 CPUtime=2.68 cores=0,2,4,6
/proc/28812/task/28824/stat : 28824 (java) S 28809 28812 9955 0 -1 1077944384 17523 0 0 0 266 2 0 0 20 0 15 0 14571280 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073874897136 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28825] ppid=28809 vsize=12920676 CPUtime=0.93 cores=0,2,4,6
/proc/28812/task/28825/stat : 28825 (java) S 28809 28812 9955 0 -1 1077944384 23944 0 0 0 90 3 0 0 20 0 15 0 14571280 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073873844336 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28826] ppid=28809 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/28812/task/28826/stat : 28826 (java) S 28809 28812 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14571281 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073872791776 140074925237973 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
[pid=28812/tid=28827] ppid=28809 vsize=12920676 CPUtime=1.4 cores=0,2,4,6
/proc/28812/task/28827/stat : 28827 (java) S 28809 28812 9955 0 -1 1077944384 1320 0 0 0 64 76 0 0 20 0 15 0 14571284 13230772224 716609 18446744073709551615 4194304 4196468 140734524431728 140073871740080 140074925238914 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 14450688 140734524432789 140734524432975 140734524432975 140734524436431 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 12920676

Child status: 143
Real time (s): 2328.83
CPU time (s): 2400.12
CPU user time (s): 2396.54
CPU system time (s): 3.58637
CPU usage (%): 103.061
Max. virtual memory (cumulated for all children) (KiB): 12920676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.54
system time used= 3.58637
maximum resident set size= 3800704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375117
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= 76689
involuntary context switches= 3804

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3451 second user time and 13.5372 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-07 18:17:40
IDJOB=4248609
IDBENCH=140585
IDSOLVER=2628
FILE ID=node125/4248609-1502123503
RUNJOBID= node125-1502110797-26745
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-40.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-4248609-1502123503/watcher-4248609-1502123503 -o /tmp/evaluation-result-4248609-1502123503/solver-4248609-1502123503 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502110797-26745 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 655653476 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248609-1502123503.xml

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

MD5SUM BENCH= d153897c9dbbbf34794d1a29a7a79358
RANDOM SEED=655653476

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:        30031036 kB
MemAvailable:   30531816 kB
Buffers:          156424 kB
Cached:           632292 kB
SwapCached:            0 kB
Active:          1859248 kB
Inactive:         465196 kB
Active(anon):    1536388 kB
Inactive(anon):    16716 kB
Active(file):     322860 kB
Inactive(file):   448480 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42716 kB
Writeback:             0 kB
AnonPages:       1641968 kB
Mapped:            46920 kB
Shmem:             17060 kB
Slab:             114972 kB
SReclaimable:      90552 kB
SUnreclaim:        24420 kB
KernelStack:        3696 kB
PageTables:        12500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2081700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1519616 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 18:56:29