Trace number 4248632

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4SAT (TO)285 2400.1699 2319.3899

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-44.xml
MD5SUM0962135a9df7191e1203c0b83ceb0052
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.0901
Satisfiable
(Un)Satisfiability was proved
Number of variables1936
Number of constraints13244
Number of domains1
Minimum domain size946
Maximum domain size946
Distribution of domain sizes[{"size":946,"count":946}]
Minimum variable degree0
Maximum variable degree43
Distribution of variable degrees[{"degree":0,"count":990},{"degree":43,"count":946}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":13244}]
Number of extensional constraints0
Number of intensional constraints13244
Distribution of constraint types[{"type":"intension","count":13244}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

3.20/2.19	c Concrete v3.4 running
60.07/34.29	o 945
65.97/38.20	o 944
69.32/41.52	o 943
73.04/45.18	o 942
76.98/48.92	o 941
80.89/52.51	o 940
84.42/56.03	o 939
88.08/59.58	o 938
91.46/62.81	o 937
95.10/66.41	o 936
98.61/69.98	o 935
102.39/73.54	o 934
106.05/77.11	o 933
109.69/80.67	o 932
112.89/83.87	o 931
116.39/87.39	o 930
120.03/90.93	o 929
123.63/94.51	o 928
127.15/98.07	o 927
130.82/101.69	o 926
134.03/104.88	o 925
137.65/108.44	o 924
141.25/112.06	o 923
144.50/115.27	o 922
148.00/118.80	o 921
151.21/121.98	o 920
154.81/125.50	o 919
158.36/129.06	o 918
161.99/132.61	o 917
165.51/136.17	o 916
169.02/139.69	o 915
172.66/143.26	o 914
176.26/146.81	o 913
179.86/150.41	o 912
183.37/153.96	o 911
187.01/157.52	o 910
190.22/160.75	o 909
193.42/163.95	o 908
197.02/167.52	o 907
200.57/171.08	o 906
203.77/174.28	o 905
206.98/177.47	o 904
210.57/181.02	o 903
213.83/184.25	o 902
217.33/187.79	o 901
220.53/190.96	o 900
224.13/194.55	o 899
227.78/198.12	o 898
231.29/201.67	o 897
234.94/205.25	o 896
238.55/208.86	o 895
242.23/212.40	o 894
245.73/215.94	o 893
248.93/219.13	o 892
252.14/222.34	o 891
255.79/225.91	o 890
259.29/229.46	o 889
262.90/233.06	o 888
266.55/236.65	o 887
270.14/240.22	o 886
273.67/243.78	o 885
277.27/247.39	o 884
280.93/250.97	o 883
284.52/254.51	o 882
288.03/258.03	o 881
291.54/261.56	o 880
295.19/265.12	o 879
298.69/268.68	o 878
302.29/272.23	o 877
305.94/275.83	o 876
309.14/279.04	o 875
312.74/282.64	o 874
316.34/286.22	o 873
319.99/289.84	o 872
323.19/293.04	o 871
326.79/296.62	o 870
330.04/299.84	o 869
333.24/303.05	o 868
336.75/306.59	o 867
340.40/310.19	o 866
344.01/313.73	o 865
347.22/316.92	o 864
350.75/320.47	o 863
354.35/324.04	o 862
357.96/327.61	o 861
361.50/331.17	o 860
365.10/334.75	o 859
368.31/337.92	o 858
371.86/341.43	o 857
375.06/344.61	o 856
378.61/348.16	o 855
382.22/351.72	o 854
385.72/355.23	o 853
388.96/358.40	o 852
392.56/362.04	o 851
395.81/365.26	o 850
399.00/368.44	o 849
402.62/372.00	o 848
405.77/375.19	o 847
409.27/378.67	o 846
412.92/382.23	o 845
416.53/385.81	o 844
420.08/389.40	o 843
423.68/392.96	o 842
427.33/396.53	o 841
430.93/400.11	o 840
434.48/403.68	o 839
437.68/406.86	o 838
441.33/410.42	o 837
444.82/413.97	o 836
448.07/417.14	o 835
451.74/420.72	o 834
454.94/423.90	o 833
458.50/427.46	o 832
461.70/430.63	o 831
465.25/434.19	o 830
468.51/437.39	o 829
472.11/440.92	o 828
475.66/444.49	o 827
478.93/447.69	o 826
482.53/451.22	o 825
486.08/454.75	o 824
489.74/458.34	o 823
492.99/461.57	o 822
496.65/465.14	o 821
499.85/468.37	o 820
503.42/471.89	o 819
507.08/475.42	o 818
510.63/478.96	o 817
514.29/482.51	o 816
517.55/485.70	o 815
521.10/489.24	o 814
524.77/492.82	o 813
528.01/496.02	o 812
531.61/499.59	o 811
535.27/503.18	o 810
539.02/506.80	o 809
542.59/510.39	o 808
546.30/513.98	o 807
549.98/517.52	o 806
553.56/521.05	o 805
557.22/524.61	o 804
560.79/528.19	o 803
564.07/531.40	o 802
567.44/534.63	o 801
571.11/538.22	o 800
574.61/541.78	o 799
577.92/544.99	o 798
581.61/548.55	o 797
585.32/552.13	o 796
588.61/555.35	o 795
591.82/558.54	o 794
595.41/562.09	o 793
598.70/565.27	o 792
602.45/568.89	o 791
605.65/572.08	o 790
608.94/575.30	o 789
612.54/578.83	o 788
615.84/582.03	o 787
619.44/585.57	o 786
622.94/589.08	o 785
626.80/592.70	o 784
630.41/596.27	o 783
633.60/599.47	o 782
637.31/603.02	o 781
640.81/606.54	o 780
644.12/609.78	o 779
647.91/613.37	o 778
651.11/616.54	o 777
654.81/620.11	o 776
658.01/623.30	o 775
661.63/626.87	o 774
665.35/630.47	o 773
668.94/634.00	o 772
672.29/637.25	o 771
675.90/640.82	o 770
679.61/644.42	o 769
682.92/647.66	o 768
686.52/651.22	o 767
689.85/654.45	o 766
694.58/658.35	o 765
697.86/661.54	o 764
701.53/665.10	o 763
705.03/668.63	o 762
708.60/672.20	o 761
712.19/675.79	o 760
715.88/679.34	o 759
719.56/682.96	o 758
722.76/686.16	o 757
726.47/689.72	o 756
729.97/693.28	o 755
733.23/696.47	o 754
736.54/699.61	o 753
740.04/703.13	o 752
743.36/706.33	o 751
746.85/709.87	o 750
750.35/713.13	o 749
753.95/716.70	o 748
757.63/720.34	o 747
760.91/723.57	o 746
764.11/726.75	o 745
767.94/730.40	o 744
771.24/733.61	o 743
775.06/737.25	o 742
778.26/740.44	o 741
781.76/743.96	o 740
785.33/747.27	o 739
788.83/750.79	o 738
792.43/754.40	o 737
795.96/757.68	o 736
799.57/761.25	o 735
803.19/764.56	o 734
806.69/768.09	o 733
809.90/771.27	o 732
813.85/774.92	o 731
817.35/778.49	o 730
820.56/781.67	o 729
824.21/784.98	o 728
827.81/788.50	o 727
831.01/791.71	o 726
834.87/795.35	o 725
838.06/798.52	o 724
841.57/802.07	o 723
845.64/805.74	o 722
849.14/809.28	o 721
852.34/812.46	o 720
856.20/816.08	o 719
859.82/819.66	o 718
863.42/823.20	o 717
866.62/826.41	o 716
870.62/830.08	o 715
874.22/833.63	o 714
877.72/837.18	o 713
881.71/840.83	o 712
885.21/844.35	o 711
888.41/847.57	o 710
891.62/850.74	o 709
895.51/854.35	o 708
899.01/857.89	o 707
902.62/861.45	o 706
906.60/865.12	o 705
909.81/868.34	o 704
913.32/871.89	o 703
917.33/875.55	o 702
920.84/879.08	o 701
924.43/882.64	o 700
927.93/886.19	o 699
931.64/889.50	o 698
934.74/892.68	o 697
938.34/896.23	o 696
942.35/899.94	o 695
945.85/903.48	o 694
949.05/906.64	o 693
952.56/910.18	o 692
956.17/913.47	o 691
959.78/917.04	o 690
963.39/920.60	o 689
967.30/924.25	o 688
970.92/927.80	o 687
974.12/931.00	o 686
978.02/934.65	o 685
981.62/938.22	o 684
985.13/941.77	o 683
988.73/945.31	o 682
992.25/948.59	o 681
995.85/952.16	o 680
999.05/955.38	o 679
1003.07/959.02	o 678
1006.28/962.22	o 677
1009.78/965.74	o 676
1013.41/969.04	o 675
1016.91/972.58	o 674
1020.11/975.77	o 673
1023.60/979.29	o 672
1027.65/982.90	o 671
1031.15/986.45	o 670
1034.75/990.03	o 669
1038.68/993.70	o 668
1042.28/997.25	o 667
1045.88/1000.80	o 666
1049.82/1004.47	o 665
1053.03/1007.67	o 664
1056.62/1011.23	o 663
1060.22/1014.80	o 662
1063.76/1018.08	o 661
1067.36/1021.60	o 660
1070.56/1024.80	o 659
1074.49/1028.43	o 658
1078.10/1032.02	o 657
1081.60/1035.57	o 656
1085.22/1038.89	o 655
1088.82/1042.45	o 654
1092.32/1045.99	o 653
1095.52/1049.18	o 652
1099.15/1052.47	o 651
1102.77/1056.02	o 650
1106.27/1059.58	o 649
1110.30/1063.26	o 648
1113.50/1066.46	o 647
1116.70/1069.64	o 646
1120.73/1073.32	o 645
1124.24/1076.88	o 644
1127.84/1080.41	o 643
1130.95/1083.58	o 642
1134.97/1087.23	o 641
1138.17/1090.43	o 640
1141.37/1093.61	o 639
1145.29/1097.25	o 638
1148.50/1100.43	o 637
1152.01/1103.96	o 636
1155.21/1107.14	o 635
1158.84/1110.45	o 634
1162.34/1113.97	o 633
1165.94/1117.50	o 632
1169.48/1120.75	o 631
1172.99/1124.28	o 630
1176.58/1127.82	o 629
1179.78/1131.00	o 628
1183.72/1134.61	o 627
1187.23/1138.15	o 626
1190.43/1141.37	o 625
1194.47/1145.05	o 624
1198.07/1148.66	o 623
1201.28/1151.84	o 622
1204.48/1155.01	o 621
1208.43/1158.66	o 620
1211.93/1162.18	o 619
1215.53/1165.74	o 618
1219.48/1169.38	o 617
1222.67/1172.56	o 616
1226.18/1176.09	o 615
1230.20/1179.73	o 614
1233.71/1183.26	o 613
1237.21/1186.79	o 612
1240.81/1190.36	o 611
1244.86/1194.03	o 610
1248.36/1197.59	o 609
1251.96/1201.17	o 608
1255.99/1204.88	o 607
1259.29/1208.10	o 606
1262.79/1211.66	o 605
1266.83/1215.32	o 604
1270.33/1218.86	o 603
1273.93/1222.44	o 602
1277.14/1225.63	o 601
1281.19/1229.30	o 600
1284.40/1232.51	o 599
1287.90/1236.05	o 598
1291.84/1239.70	o 597
1295.45/1243.21	o 596
1298.95/1246.73	o 595
1302.45/1250.26	o 594
1306.49/1253.93	o 593
1309.69/1257.17	o 592
1312.89/1260.38	o 591
1316.96/1264.02	o 590
1320.45/1267.57	o 589
1323.65/1270.74	o 588
1327.16/1274.29	o 587
1331.20/1277.95	o 586
1334.40/1281.15	o 585
1337.60/1284.34	o 584
1341.54/1287.99	o 583
1344.74/1291.14	o 582
1347.94/1294.32	o 581
1351.44/1297.82	o 580
1355.39/1301.48	o 579
1358.70/1304.71	o 578
1362.19/1308.25	o 577
1365.84/1311.57	o 576
1369.44/1315.14	o 575
1372.94/1318.67	o 574
1376.44/1322.19	o 573
1380.18/1325.52	o 572
1383.69/1329.06	o 571
1387.30/1332.61	o 570
1392.19/1336.54	o 569
1395.38/1339.72	o 568
1398.89/1343.27	o 567
1402.48/1346.86	o 566
1405.77/1350.07	o 565
1408.97/1353.28	o 564
1412.57/1356.81	o 563
1415.78/1359.99	o 562
1419.39/1363.50	o 561
1422.89/1367.02	o 560
1426.40/1370.58	o 559
1430.11/1374.15	o 558
1433.22/1377.29	o 557
1436.72/1380.79	o 556
1440.44/1384.39	o 555
1444.05/1387.92	o 554
1447.55/1391.43	o 553
1451.30/1395.00	o 552
1454.80/1398.54	o 551
1458.00/1401.74	o 550
1461.50/1405.22	o 549
1464.97/1408.52	o 548
1468.47/1412.07	o 547
1472.08/1415.63	o 546
1475.87/1419.23	o 545
1479.37/1422.75	o 544
1482.57/1425.95	o 543
1485.82/1429.17	o 542
1489.48/1432.67	o 541
1492.68/1435.85	o 540
1495.89/1439.02	o 539
1499.71/1442.61	o 538
1503.21/1446.16	o 537
1506.41/1449.34	o 536
1510.25/1452.96	o 535
1513.46/1456.12	o 534
1516.97/1459.68	o 533
1520.17/1462.86	o 532
1524.11/1466.46	o 531
1527.71/1470.06	o 530
1531.32/1473.62	o 529
1534.88/1476.90	o 528
1537.98/1480.06	o 527
1541.51/1483.55	o 526
1544.71/1486.73	o 525
1548.60/1490.32	o 524
1552.11/1493.85	o 523
1555.75/1497.38	o 522
1559.36/1500.69	o 521
1562.56/1503.89	o 520
1566.16/1507.42	o 519
1569.67/1510.93	o 518
1573.60/1514.57	o 517
1576.81/1517.75	o 516
1580.01/1520.94	o 515
1583.95/1524.58	o 514
1587.55/1528.12	o 513
1591.07/1531.66	o 512
1595.11/1535.31	o 511
1598.31/1538.51	o 510
1601.81/1542.05	o 509
1605.01/1545.24	o 508
1609.06/1548.94	o 507
1612.26/1552.11	o 506
1615.76/1555.67	o 505
1619.40/1558.95	o 504
1622.90/1562.48	o 503
1626.11/1565.65	o 502
1629.61/1569.15	o 501
1633.25/1572.44	o 500
1636.85/1576.00	o 499
1639.95/1579.19	o 498
1643.98/1582.83	o 497
1647.49/1586.36	o 496
1650.69/1589.55	o 495
1654.66/1593.22	o 494
1658.23/1596.74	o 493
1661.73/1600.24	o 492
1665.23/1603.79	o 491
1669.25/1607.43	o 490
1672.86/1611.01	o 489
1676.06/1614.21	o 488
1679.70/1617.53	o 487
1682.90/1620.73	o 486
1686.40/1624.27	o 485
1689.60/1627.41	o 484
1693.53/1631.02	o 483
1697.04/1634.55	o 482
1700.25/1637.76	o 481
1704.28/1641.40	o 480
1707.78/1644.94	o 479
1711.28/1648.49	o 478
1715.31/1652.12	o 477
1718.91/1655.71	o 476
1722.41/1659.27	o 475
1726.02/1662.85	o 474
1729.95/1666.48	o 473
1733.15/1669.68	o 472
1736.76/1673.20	o 471
1740.69/1676.83	o 470
1743.89/1680.00	o 469
1747.39/1683.53	o 468
1751.33/1687.17	o 467
1754.93/1690.74	o 466
1758.43/1694.29	o 465
1762.04/1697.80	o 464
1765.96/1701.42	o 463
1769.17/1704.62	o 462
1772.67/1708.18	o 461
1776.69/1711.82	o 460
1779.80/1715.00	o 459
1783.39/1718.55	o 458
1786.59/1721.73	o 457
1790.53/1725.34	o 456
1794.05/1728.88	o 455
1797.65/1732.40	o 454
1801.60/1736.05	o 453
1804.81/1739.21	o 452
1808.31/1742.76	o 451
1812.34/1746.44	o 450
1815.54/1749.61	o 449
1819.04/1753.12	o 448
1822.24/1756.31	o 447
1826.16/1759.96	o 446
1829.37/1763.17	o 445
1832.97/1766.71	o 444
1836.89/1770.35	o 443
1840.40/1773.88	o 442
1843.60/1777.06	o 441
1847.11/1780.59	o 440
1851.03/1784.19	o 439
1854.66/1787.73	o 438
1857.77/1790.90	o 437
1861.79/1794.54	o 436
1865.30/1798.05	o 435
1868.80/1801.58	o 434
1872.42/1805.16	o 433
1876.06/1808.47	o 432
1879.66/1812.02	o 431
1883.16/1815.54	o 430
1887.08/1819.18	o 429
1890.69/1822.75	o 428
1893.89/1825.93	o 427
1896.99/1829.08	o 426
1900.93/1832.70	o 425
1904.53/1836.25	o 424
1907.73/1839.42	o 423
1911.68/1843.06	o 422
1914.89/1846.26	o 421
1918.49/1849.81	o 420
1921.69/1853.00	o 419
1925.33/1856.31	o 418
1928.84/1859.88	o 417
1932.04/1863.08	o 416
1936.09/1866.73	o 415
1939.58/1870.25	o 414
1942.79/1873.42	o 413
1946.29/1876.99	o 412
1950.03/1880.30	o 411
1953.54/1883.84	o 410
1957.04/1887.37	o 409
1961.08/1891.03	o 408
1964.28/1894.24	o 407
1967.78/1897.77	o 406
1971.38/1901.30	o 405
1975.33/1904.98	o 404
1978.53/1908.17	o 403
1981.73/1911.37	o 402
1985.77/1915.03	o 401
1989.27/1918.57	o 400
1992.87/1922.10	o 399
1995.97/1925.28	o 398
1999.72/1928.61	o 397
2003.22/1932.13	o 396
2006.72/1935.68	o 395
2010.76/1939.33	o 394
2013.96/1942.53	o 393
2017.48/1946.07	o 392
2020.97/1949.59	o 391
2025.01/1953.27	o 390
2028.61/1956.83	o 389
2032.12/1960.38	o 388
2036.15/1964.04	o 387
2039.66/1967.58	o 386
2042.86/1970.75	o 385
2046.89/1974.41	o 384
2050.11/1977.63	o 383
2053.62/1981.14	o 382
2057.12/1984.67	o 381
2060.75/1987.95	o 380
2064.25/1991.46	o 379
2067.77/1994.99	o 378
2071.66/1998.66	o 377
2075.41/2002.24	o 376
2078.62/2005.45	o 375
2082.12/2008.99	o 374
2086.16/2012.63	o 373
2089.66/2016.18	o 372
2093.16/2019.70	o 371
2096.92/2023.01	o 370
2100.41/2026.55	o 369
2103.91/2030.08	o 368
2107.42/2033.60	o 367
2111.46/2037.21	o 366
2114.96/2040.74	o 365
2118.56/2044.31	o 364
2122.21/2047.64	o 363
2125.71/2051.18	o 362
2129.31/2054.74	o 361
2132.82/2058.26	o 360
2136.77/2061.89	o 359
2140.38/2065.41	o 358
2143.88/2068.97	o 357
2147.91/2072.64	o 356
2151.13/2075.84	o 355
2154.62/2079.35	o 354
2157.82/2082.52	o 353
2161.37/2085.79	o 352
2164.97/2089.30	o 351
2168.47/2092.81	o 350
2172.41/2096.45	o 349
2176.01/2100.02	o 348
2179.51/2103.57	o 347
2183.12/2107.13	o 346
2187.06/2110.77	o 345
2190.57/2114.30	o 344
2194.16/2117.88	o 343
2198.21/2121.52	o 342
2201.71/2125.07	o 341
2205.32/2128.64	o 340
2210.23/2132.56	o 339
2213.43/2135.75	o 338
2217.03/2139.30	o 337
2220.23/2142.51	o 336
2223.81/2146.08	o 335
2227.41/2149.63	o 334
2230.63/2152.84	o 333
2234.31/2156.43	o 332
2237.81/2159.95	o 331
2241.31/2163.49	o 330
2244.92/2167.04	o 329
2248.62/2170.62	o 328
2252.12/2174.17	o 327
2255.33/2177.37	o 326
2259.05/2180.94	o 325
2262.25/2184.13	o 324
2265.75/2187.65	o 323
2269.50/2191.27	o 322
2272.99/2194.78	o 321
2276.59/2198.30	o 320
2280.10/2201.82	o 319
2283.47/2205.03	o 318
2286.97/2208.58	o 317
2290.17/2211.78	o 316
2293.94/2215.39	o 315
2297.55/2218.96	o 314
2300.75/2222.16	o 313
2304.39/2225.77	o 312
2308.15/2229.33	o 311
2311.36/2232.56	o 310
2314.96/2236.14	o 309
2318.47/2239.43	o 308
2321.98/2242.96	o 307
2325.17/2246.13	o 306
2329.02/2249.74	o 305
2332.23/2252.98	o 304
2335.73/2256.48	o 303
2339.33/2260.00	o 302
2343.17/2263.61	o 301
2346.68/2267.16	o 300
2350.27/2270.72	o 299
2354.13/2274.34	o 298
2357.64/2277.86	o 297
2361.25/2281.40	o 296
2365.12/2285.02	o 295
2368.32/2288.21	o 294
2371.43/2291.38	o 293
2375.02/2294.91	o 292
2378.53/2298.19	o 291
2382.13/2301.71	o 290
2385.63/2305.28	o 289
2389.36/2308.61	o 288
2392.87/2312.14	o 287
2396.47/2315.72	o 286
2399.97/2319.27	o 285
2400.07/2319.35	java.util.concurrent.TimeoutException
2400.07/2319.35		at concrete.MAC.mac(MAC.scala:74)
2400.07/2319.35		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.07/2319.35		at scala.util.Try$.apply(Try.scala:209)
2400.07/2319.35		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.07/2319.35		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.07/2319.35		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.07/2319.35		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.07/2319.35		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.07/2319.35		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.07/2319.35		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.07/2319.35		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.07/2319.35		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.07/2319.35		at concrete.MAC.oneRun(MAC.scala:146)
2400.07/2319.35		at concrete.MAC.nextSolution(MAC.scala:166)
2400.07/2319.35		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.07/2319.35		at concrete.ProblemState.map(ProblemState.scala:203)
2400.07/2319.35		at concrete.ProblemState.map(ProblemState.scala:188)
2400.07/2319.35		at concrete.MAC.nextSolution(MAC.scala:195)
2400.07/2319.35		at concrete.Solver.hasNext(Solver.scala:202)
2400.07/2319.35		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.07/2319.35		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.07/2319.35		at concrete.Solver.toStream(Solver.scala:73)
2400.07/2319.35		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.07/2319.35		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.07/2319.35		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.07/2319.35		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.07/2319.35		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.07/2319.35		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.07/2319.35		at scala.util.Success.map(Try.scala:209)
2400.07/2319.35		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.07/2319.35		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.07/2319.35		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.07/2319.35		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.07/2319.35		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.07/2319.35		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.07/2319.35		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.07/2319.35		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.07/2319.35		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.07/2319.35		at scala.collection.immutable.List.foreach(List.scala:389)
2400.07/2319.35		at scala.App.main(App.scala:76)
2400.07/2319.35		at scala.App.main$(App.scala:74)
2400.07/2319.35		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.07/2319.35		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.07/2319.36	v <instantiation cost="285">
2400.07/2319.36	v       <list>
2400.07/2319.36	v         x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[39][40] x[39][41] x[39][42] x[39][43] x[40][41] x[40][42] x[40][43] x[41][42] x[41][43] x[42][43]
2400.07/2319.36	v       </list>
2400.07/2319.36	v       <values>
2400.07/2319.36	v         281 281 284 283 282 285 283 284 285 283 285 283 283 283 285 284 280 283 284 285 280 285 282 282 281 283 285 282 283 284 284 281 282 283 282 281 285 283 284 283 285 285 282 284 285 283 285 284 283 283 285 285 282 284 282 283 285 281 284 284 282 285 281 283 284 282 280 281 282 285 285 284 284 282 283 283 281 285 284 283 282 283 283 284 282 282 285 281 281 283 284 280 281 285 283 283 283 285 281 285 285 282 284 284 283 282 282 284 283 284 284 283 285 282 285 284 284 285 285 283 283 282 283 283 282 285 281 281 284 285 282 280 282 285 283 283 285 280 283 282 285 280 282 283 284 284 284 281 283 285 283 284 285 285 285 285 284 282 283 280 284 283 281 284 283 282 285 282 281 282 285 285 283 284 285 284 281 284 283 281 284 285 283 281 285 283 280 284 283 282 285 281 283 280 285 280 282 283 281 284 284 282 284 283 284 284 281 285 281 284 281 285 283 283 284 285 282 284 284 284 283 284 281 284 284 283 282 281 283 281 280 284 284 282 285 284 283 284 285 283 283 282 283 285 284 284 283 284 281 285 283 283 284 285 281 282 281 285 282 285 282 282 280 283 284 282 283 282 285 283 280 285 283 281 282 280 284 283 282 282 282 284 282 284 284 284 282 285 283 284 284 285 283 283 280 283 283 283 284 283 284 285 284 282 282 284 285 281 285 284 282 285 282 285 282 283 285 284 283 284 285 284 284 283 285 283 285 285 283 282 285 280 281 284 281 283 285 281 285 283 282 282 283 282 282 280 283 281 282 284 284 282 280 281 283 285 284 283 283 285 282 284 284 284 280 283 284 283 282 282 283 283 281 285 282 285 285 283 283 284 284 283 284 282 285 284 282 284 281 282 283 283 280 280 283 284 280 283 283 285 285 285 284 282 282 281 283 281 281 284 282 283 285 282 285 284 285 283 283 285 283 283 285 282 281 285 284 282 284 285 284 285 285 284 282 284 282 284 284 280 284 282 281 283 284 285 285 283 282 283 282 281 285 282 283 282 282 283 285 284 283 284 284 281 284 285 285 283 282 283 282 285 281 284 282 280 280 284 285 281 285 282 285 284 282 281 281 283 282 284 284 285 283 281 283 282 282 282 284 280 283 285 283 281 285 284 279 284 285 282 281 281 285 284 281 281 281 281 284 285 284 284 282 284 283 284 281 284 284 282 280 282 285 282 285 283 285 285 283 282 284 283 280 282 283 283 282 285 283 285 285 284 282 283 284 284 283 285 284 282 281 284 285 283 285 281 283 282 284 284 281 285 285 285 282 284 284 282 285 285 284 285 283 284 284 283 284 284 281 281 282 282 283 281 282 282 282 284 284 283 282 281 285 281 285 283 280 280 282 282 283 284 283 281 285 284 285 282 283 285 284 285 285 285 283 285 285 281 285 284 282 282 283 281 281 283 281 282 283 285 282 281 285 284 283 284 282 284 283 281 283 281 282 284 284 281 283 280 285 283 284 285 283 284 285 283 284 283 284 285 282 283 282 282 285 284 281 283 282 284 282 285 282 285 285 283 284 285 285 284 283 284 281 283 284 284 282 282 280 280 284 283 285 284 285 283 280 285 281 283 282 282 281 281 282 283 281 283 284 283 284 280 284 283 285 285 281 285 285 284 285 285 282 281 284 284 281 284 284 282 284 283 285 281 281 284 283 284 281 282 283 283 283 283 285 285 281 284 285 285 281 285 285 285 281 283 283 285 284 283 284 282 282 281 284 283 282 285 283 284 285 283 282 282 282 283 284 281 283 283 282 284 285 284 282 282 285 283 285 283 284 285 284 281 281 281 281 282 282 285 283 282 282 282 283 281 285 284 282 283 283 284 283 281 281 285 283 280 284 284 285 283 285 282 285 284 284 281 281 285 283 285 283 285 283 282 283 281 282 285 284 285 281 285 284 283 284 282 285 283 281 285 284 285 282 284 281 283 283 284 285 285 284 283 283 285 283 285 285 284 283 283 282 282 284 281 280 284 283 284 284 285 281 281 283 281 282 281 284 284 283 284 283 283 282 284 282 280 283 282 283 284 284 282 285 281 283 284 285 283 281 282 284 284 282 285 283 282 284 282 285 282 280 282 284 283 284 281 284 285 284 283 285 283 282 283
2400.07/2319.37	v       </values>
2400.07/2319.37	v     </instantiation>
2400.07/2319.37	s SATISFIABLE

Verifier Data 

OK	285

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

pid=26290
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.30 1.41 1.39 2/201 26293
/proc/meminfo: memFree=29622400/32770624 swapFree=0/452956
[pid=26293] ppid=26290 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/26293/stat : 26293 (runsolver) D 26290 26293 25139 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61380437 24240128 106 18446744073709551615 4194304 4338465 140720862443408 140720862441048 140001144034007 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 11837440 140720862449872 140720862450249 140720862450249 140720862453706 0
/proc/26293/statm: 5918 106 53 36 0 2156 0

[startup+0.100166 s]
/proc/loadavg: 1.30 1.41 1.39 2/201 26293
/proc/meminfo: memFree=29622400/32770624 swapFree=0/452956
[pid=26293] ppid=26290 vsize=9640 CPUtime=0.01 cores=0,2,4,6
/proc/26293/stat : 26293 (bash) S 26290 26293 25139 0 -1 4202496 882 6454 0 0 0 0 0 1 20 0 1 0 61380437 9871360 374 18446744073709551615 4194304 5098028 140722070400256 140722070394264 140716055591936 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 7 0 0 7196144 7232144 26189824 140722070405652 140722070405737 140722070405737 140722070409194 0
/proc/26293/statm: 2410 374 294 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200227 s]
/proc/loadavg: 1.30 1.41 1.39 2/201 26293
/proc/meminfo: memFree=29622400/32770624 swapFree=0/452956
[pid=26293] ppid=26290 vsize=107356 CPUtime=0.08 cores=0,2,4,6
/proc/26293/stat : 26293 (java) S 26290 26293 25139 0 -1 1077944320 2512 12641 0 0 0 0 5 3 20 0 2 0 61380437 109932544 1369 18446744073709551615 4194304 4196468 140723592379216 140723592361760 139873249693431 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
/proc/26293/statm: 26839 1369 1035 1 0 16809 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 107356

[startup+0.300287 s]
/proc/loadavg: 1.30 1.41 1.39 2/201 26293
/proc/meminfo: memFree=29622400/32770624 swapFree=0/452956
[pid=26293] ppid=26290 vsize=10551944 CPUtime=0.16 cores=0,2,4,6
/proc/26293/stat : 26293 (java) S 26290 26293 25139 0 -1 1077944320 5694 12641 0 0 7 1 5 3 20 0 15 0 61380437 10805190656 6384 18446744073709551615 4194304 4196468 140723592379216 140723592361760 139873249693431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
/proc/26293/statm: 2637986 6384 2699 1 0 2627467 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10551944

[startup+0.700809 s]
/proc/loadavg: 1.30 1.41 1.39 2/201 26293
/proc/meminfo: memFree=29622400/32770624 swapFree=0/452956
[pid=26293] ppid=26290 vsize=10552792 CPUtime=0.72 cores=0,2,4,6
/proc/26293/stat : 26293 (java) S 26290 26293 25139 0 -1 1077944320 13870 12641 0 0 61 3 5 3 20 0 15 0 61380437 10806059008 14774 18446744073709551615 4194304 4196468 140723592379216 140723592361760 139873249693431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
/proc/26293/statm: 2638198 14774 3099 1 0 2627467 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 10552792

[startup+1.50396 s]
/proc/loadavg: 1.30 1.41 1.39 4/215 26356
/proc/meminfo: memFree=29526428/32770624 swapFree=0/452984
[pid=26293] ppid=26290 vsize=10563416 CPUtime=1.94 cores=0,2,4,6
/proc/26293/stat : 26293 (java) S 26290 26293 25139 0 -1 1077944320 30404 12641 0 0 178 8 5 3 20 0 15 0 61380437 10816937984 44118 18446744073709551615 4194304 4196468 140723592379216 140723592361760 139873249693431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
/proc/26293/statm: 2640854 44118 3381 1 0 2630027 0
[pid=26293/tid=26343] ppid=26290 vsize=10563416 CPUtime=1.3 cores=0,2,4,6
/proc/26293/task/26343/stat : 26343 (java) R 26290 26293 25139 0 -1 4202560 23269 12641 0 0 117 5 5 3 20 0 15 0 61380457 10816937984 44118 18446744073709551615 4194304 4196468 140723592379216 139873253919824 139873233773918 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26344] ppid=26290 vsize=10563416 CPUtime=0.09 cores=0,2,4,6
/proc/26293/task/26344/stat : 26344 (java) S 26290 26293 25139 0 -1 1077944384 62 12641 0 0 1 0 5 3 20 0 15 0 61380458 10816937984 44118 18446744073709551615 4194304 4196468 140723592379216 139873196042768 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26345] ppid=26290 vsize=10563416 CPUtime=0.09 cores=0,2,4,6
/proc/26293/task/26345/stat : 26345 (java) S 26290 26293 25139 0 -1 1077944384 163 12641 0 0 1 0 5 3 20 0 15 0 61380458 10816937984 44118 18446744073709551615 4194304 4196468 140723592379216 139873194990224 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26346] ppid=26290 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26346/stat : 26346 (java) S 26290 26293 25139 0 -1 1077944384 30 12641 0 0 0 0 5 3 20 0 15 0 61380458 10816937984 44118 18446744073709551615 4194304 4196468 140723592379216 139872858593552 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26347] ppid=26290 vsize=10563416 CPUtime=0.09 cores=0,2,4,6
/proc/26293/task/26347/stat : 26347 (java) S 26290 26293 25139 0 -1 1077944384 56 12641 0 0 1 0 5 3 20 0 15 0 61380458 10816937984 44118 18446744073709551615 4194304 4196468 140723592379216 139872857541008 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26348] ppid=26290 vsize=10563416 CPUtime=0.09 cores=0,2,4,6
/proc/26293/task/26348/stat : 26348 (java) S 26290 26293 25139 0 -1 1077944384 1460 12641 0 0 1 0 5 3 20 0 15 0 61380459 10816937984 44118 18446744073709551615 4194304 4196468 140723592379216 139872813234928 139873249704578 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26349] ppid=26290 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26349/stat : 26349 (java) S 26290 26293 25139 0 -1 1077944384 56 12641 0 0 0 0 5 3 20 0 15 0 61380460 10816937984 44118 18446744073709551615 4194304 4196468 140723592379216 139872812181216 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26350] ppid=26290 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26350/stat : 26350 (java) S 26290 26293 25139 0 -1 1077944384 43 12641 0 0 0 0 5 3 20 0 15 0 61380460 10816937984 44118 18446744073709551615 4194304 4196468 140723592379216 139872811128064 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26351] ppid=26290 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26351/stat : 26351 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380462 10816937984 44118 18446744073709551615 4194304 4196468 140723592379216 139872810076624 139873249712027 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26352] ppid=26290 vsize=10563416 CPUtime=0.21 cores=0,2,4,6
/proc/26293/task/26352/stat : 26352 (java) S 26290 26293 25139 0 -1 1077944384 944 12641 0 0 13 0 5 3 20 0 15 0 61380463 10816937984 44118 18446744073709551615 4194304 4196468 140723592379216 139872809023728 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26353] ppid=26290 vsize=10563416 CPUtime=0.24 cores=0,2,4,6
/proc/26293/task/26353/stat : 26353 (java) S 26290 26293 25139 0 -1 1077944384 688 12641 0 0 16 0 5 3 20 0 15 0 61380463 10816937984 44118 18446744073709551615 4194304 4196468 140723592379216 139872807971184 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26354] ppid=26290 vsize=10563416 CPUtime=0.31 cores=0,2,4,6
/proc/26293/task/26354/stat : 26354 (java) S 26290 26293 25139 0 -1 1077944384 1489 12641 0 0 23 0 5 3 20 0 15 0 61380463 10816937984 44118 18446744073709551615 4194304 4196468 140723592379216 139872806918128 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26355] ppid=26290 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26355/stat : 26355 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380463 10816937984 44118 18446744073709551615 4194304 4196468 140723592379216 139872805865824 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26356] ppid=26290 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26356/stat : 26356 (java) S 26290 26293 25139 0 -1 1077944384 5 12641 0 0 0 0 5 3 20 0 15 0 61380466 10816937984 44118 18446744073709551615 4194304 4196468 140723592379216 139872804813872 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 10563416

[startup+3.10076 s]
/proc/loadavg: 1.30 1.41 1.39 4/215 26356
/proc/meminfo: memFree=29449928/32770624 swapFree=0/452984
[pid=26293] ppid=26290 vsize=10573844 CPUtime=6.04 cores=0,2,4,6
/proc/26293/stat : 26293 (java) S 26290 26293 25139 0 -1 1077944320 40766 12641 0 0 582 14 5 3 20 0 15 0 61380437 10827616256 72965 18446744073709551615 4194304 4196468 140723592379216 140723592361760 139873249693431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
/proc/26293/statm: 2643461 72965 3475 1 0 2632075 0
[pid=26293/tid=26343] ppid=26290 vsize=10573844 CPUtime=2.87 cores=0,2,4,6
/proc/26293/task/26343/stat : 26343 (java) R 26290 26293 25139 0 -1 4202560 28512 12641 0 0 272 7 5 3 20 0 15 0 61380457 10827616256 72965 18446744073709551615 4194304 4196468 140723592379216 139873253926752 139872883657397 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26344] ppid=26290 vsize=10573844 CPUtime=0.1 cores=0,2,4,6
/proc/26293/task/26344/stat : 26344 (java) S 26290 26293 25139 0 -1 1077944384 84 12641 0 0 2 0 5 3 20 0 15 0 61380458 10827616256 72965 18446744073709551615 4194304 4196468 140723592379216 139873196042768 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26345] ppid=26290 vsize=10573844 CPUtime=0.09 cores=0,2,4,6
/proc/26293/task/26345/stat : 26345 (java) S 26290 26293 25139 0 -1 1077944384 173 12641 0 0 1 0 5 3 20 0 15 0 61380458 10827616256 72965 18446744073709551615 4194304 4196468 140723592379216 139873194990224 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26346] ppid=26290 vsize=10573844 CPUtime=0.1 cores=0,2,4,6
/proc/26293/task/26346/stat : 26346 (java) S 26290 26293 25139 0 -1 1077944384 175 12641 0 0 2 0 5 3 20 0 15 0 61380458 10827616256 72965 18446744073709551615 4194304 4196468 140723592379216 139872858593552 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26347] ppid=26290 vsize=10573844 CPUtime=0.09 cores=0,2,4,6
/proc/26293/task/26347/stat : 26347 (java) S 26290 26293 25139 0 -1 1077944384 70 12641 0 0 1 0 5 3 20 0 15 0 61380458 10827616256 72965 18446744073709551615 4194304 4196468 140723592379216 139872857541008 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26348] ppid=26290 vsize=10573844 CPUtime=0.09 cores=0,2,4,6
/proc/26293/task/26348/stat : 26348 (java) S 26290 26293 25139 0 -1 1077944384 1529 12641 0 0 1 0 5 3 20 0 15 0 61380459 10827616256 72965 18446744073709551615 4194304 4196468 140723592379216 139872813234928 139873249704578 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26349] ppid=26290 vsize=10573844 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26349/stat : 26349 (java) S 26290 26293 25139 0 -1 1077944384 56 12641 0 0 0 0 5 3 20 0 15 0 61380460 10827616256 72965 18446744073709551615 4194304 4196468 140723592379216 139872812181216 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26350] ppid=26290 vsize=10573844 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26350/stat : 26350 (java) S 26290 26293 25139 0 -1 1077944384 43 12641 0 0 0 0 5 3 20 0 15 0 61380460 10827616256 72965 18446744073709551615 4194304 4196468 140723592379216 139872811128064 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26351] ppid=26290 vsize=10573844 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26351/stat : 26351 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380462 10827616256 72965 18446744073709551615 4194304 4196468 140723592379216 139872810076624 139873249712027 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26352] ppid=26290 vsize=10573844 CPUtime=1.07 cores=0,2,4,6
/proc/26293/task/26352/stat : 26352 (java) R 26290 26293 25139 0 -1 4202560 2136 12641 0 0 99 0 5 3 20 0 15 0 61380463 10827616256 72965 18446744073709551615 4194304 4196468 140723592379216 139872809010272 139873228869632 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26353] ppid=26290 vsize=10573844 CPUtime=1.08 cores=0,2,4,6
/proc/26293/task/26353/stat : 26353 (java) R 26290 26293 25139 0 -1 4202560 1998 12641 0 0 100 0 5 3 20 0 15 0 61380463 10827616256 72965 18446744073709551615 4194304 4196468 140723592379216 139872807957208 139873234818837 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26354] ppid=26290 vsize=10573844 CPUtime=1.08 cores=0,2,4,6
/proc/26293/task/26354/stat : 26354 (java) S 26290 26293 25139 0 -1 1077944384 3843 12641 0 0 99 1 5 3 20 0 15 0 61380463 10827616256 72965 18446744073709551615 4194304 4196468 140723592379216 139872806918128 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26355] ppid=26290 vsize=10573844 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26355/stat : 26355 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380463 10827616256 72965 18446744073709551615 4194304 4196468 140723592379216 139872805865824 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26356] ppid=26290 vsize=10573844 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26356/stat : 26356 (java) S 26290 26293 25139 0 -1 1077944384 8 12641 0 0 0 0 5 3 20 0 15 0 61380466 10827616256 72965 18446744073709551615 4194304 4196468 140723592379216 139872804813872 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 10573844

[startup+6.30075 s]
/proc/loadavg: 1.60 1.47 1.41 5/215 26356
/proc/meminfo: memFree=29253900/32770624 swapFree=0/452980
[pid=26293] ppid=26290 vsize=10575892 CPUtime=14.34 cores=0,2,4,6
/proc/26293/stat : 26293 (java) S 26290 26293 25139 0 -1 1077944320 49636 12641 0 0 1391 35 5 3 20 0 15 0 61380437 10829713408 136083 18446744073709551615 4194304 4196468 140723592379216 140723592361760 139873249693431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
/proc/26293/statm: 2643973 136083 3484 1 0 2632587 0
[pid=26293/tid=26343] ppid=26290 vsize=10575892 CPUtime=5.88 cores=0,2,4,6
/proc/26293/task/26343/stat : 26343 (java) R 26290 26293 25139 0 -1 4202560 29452 12641 0 0 571 9 5 3 20 0 15 0 61380457 10829713408 136083 18446744073709551615 4194304 4196468 140723592379216 139873253928368 139872874866166 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26344] ppid=26290 vsize=10575892 CPUtime=0.24 cores=0,2,4,6
/proc/26293/task/26344/stat : 26344 (java) S 26290 26293 25139 0 -1 1077944384 281 12641 0 0 12 4 5 3 20 0 15 0 61380458 10829713408 136083 18446744073709551615 4194304 4196468 140723592379216 139873196042768 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26345] ppid=26290 vsize=10575892 CPUtime=0.26 cores=0,2,4,6
/proc/26293/task/26345/stat : 26345 (java) S 26290 26293 25139 0 -1 1077944384 346 12641 0 0 13 5 5 3 20 0 15 0 61380458 10829713408 136083 18446744073709551615 4194304 4196468 140723592379216 139873194990224 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26346] ppid=26290 vsize=10575892 CPUtime=0.28 cores=0,2,4,6
/proc/26293/task/26346/stat : 26346 (java) S 26290 26293 25139 0 -1 1077944384 431 12641 0 0 15 5 5 3 20 0 15 0 61380458 10829713408 136083 18446744073709551615 4194304 4196468 140723592379216 139872858593552 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26347] ppid=26290 vsize=10575892 CPUtime=0.25 cores=0,2,4,6
/proc/26293/task/26347/stat : 26347 (java) S 26290 26293 25139 0 -1 1077944384 401 12641 0 0 13 4 5 3 20 0 15 0 61380458 10829713408 136083 18446744073709551615 4194304 4196468 140723592379216 139872857541008 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26348] ppid=26290 vsize=10575892 CPUtime=0.1 cores=0,2,4,6
/proc/26293/task/26348/stat : 26348 (java) S 26290 26293 25139 0 -1 1077944384 1739 12641 0 0 2 0 5 3 20 0 15 0 61380459 10829713408 136083 18446744073709551615 4194304 4196468 140723592379216 139872813234928 139873249704578 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26349] ppid=26290 vsize=10575892 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26349/stat : 26349 (java) S 26290 26293 25139 0 -1 1077944384 56 12641 0 0 0 0 5 3 20 0 15 0 61380460 10829713408 136083 18446744073709551615 4194304 4196468 140723592379216 139872812181216 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26350] ppid=26290 vsize=10575892 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26350/stat : 26350 (java) S 26290 26293 25139 0 -1 1077944384 43 12641 0 0 0 0 5 3 20 0 15 0 61380460 10829713408 136083 18446744073709551615 4194304 4196468 140723592379216 139872811128064 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26351] ppid=26290 vsize=10575892 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26351/stat : 26351 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380462 10829713408 136083 18446744073709551615 4194304 4196468 140723592379216 139872810076624 139873249712027 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26352] ppid=26290 vsize=10575892 CPUtime=3.24 cores=0,2,4,6
/proc/26293/task/26352/stat : 26352 (java) S 26290 26293 25139 0 -1 1077944384 4626 12641 0 0 315 1 5 3 20 0 15 0 61380463 10829713408 136083 18446744073709551615 4194304 4196468 140723592379216 139872809023728 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26353] ppid=26290 vsize=10575892 CPUtime=3.2 cores=0,2,4,6
/proc/26293/task/26353/stat : 26353 (java) S 26290 26293 25139 0 -1 1077944384 4835 12641 0 0 311 1 5 3 20 0 15 0 61380463 10829713408 136083 18446744073709551615 4194304 4196468 140723592379216 139872807971184 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26354] ppid=26290 vsize=10575892 CPUtime=1.42 cores=0,2,4,6
/proc/26293/task/26354/stat : 26354 (java) S 26290 26293 25139 0 -1 1077944384 5157 12641 0 0 132 2 5 3 20 0 15 0 61380463 10829713408 136083 18446744073709551615 4194304 4196468 140723592379216 139872806918128 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26355] ppid=26290 vsize=10575892 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26355/stat : 26355 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380463 10829713408 136083 18446744073709551615 4194304 4196468 140723592379216 139872805865824 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26356] ppid=26290 vsize=10575892 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26356/stat : 26356 (java) S 26290 26293 25139 0 -1 1077944384 130 12641 0 0 0 0 5 3 20 0 15 0 61380466 10829713408 136083 18446744073709551615 4194304 4196468 140723592379216 139872804813872 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
Current children cumulated CPU time (s) 14.34
Current children cumulated vsize (KiB) 10575892

[startup+12.7007 s]
/proc/loadavg: 1.79 1.51 1.43 3/215 26356
/proc/meminfo: memFree=28086092/32770624 swapFree=0/452980
[pid=26293] ppid=26290 vsize=10577940 CPUtime=25.55 cores=0,2,4,6
/proc/26293/stat : 26293 (java) S 26290 26293 25139 0 -1 1077944320 58294 12641 0 0 2471 76 5 3 20 0 15 0 61380437 10831810560 387167 18446744073709551615 4194304 4196468 140723592379216 140723592361760 139873249693431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
/proc/26293/statm: 2644485 387167 3486 1 0 2633099 0
[pid=26293/tid=26343] ppid=26290 vsize=10577940 CPUtime=11.97 cores=0,2,4,6
/proc/26293/task/26343/stat : 26343 (java) R 26290 26293 25139 0 -1 4202560 31963 12641 0 0 1169 20 5 3 20 0 15 0 61380457 10831810560 387167 18446744073709551615 4194304 4196468 140723592379216 139873253922544 139872886351388 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26344] ppid=26290 vsize=10577940 CPUtime=0.54 cores=0,2,4,6
/proc/26293/task/26344/stat : 26344 (java) S 26290 26293 25139 0 -1 1077944384 617 12641 0 0 35 11 5 3 20 0 15 0 61380458 10831810560 387167 18446744073709551615 4194304 4196468 140723592379216 139873196042768 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26345] ppid=26290 vsize=10577940 CPUtime=0.54 cores=0,2,4,6
/proc/26293/task/26345/stat : 26345 (java) S 26290 26293 25139 0 -1 1077944384 676 12641 0 0 35 11 5 3 20 0 15 0 61380458 10831810560 387167 18446744073709551615 4194304 4196468 140723592379216 139873194990224 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26346] ppid=26290 vsize=10577940 CPUtime=0.58 cores=0,2,4,6
/proc/26293/task/26346/stat : 26346 (java) S 26290 26293 25139 0 -1 1077944384 674 12641 0 0 38 12 5 3 20 0 15 0 61380458 10831810560 387167 18446744073709551615 4194304 4196468 140723592379216 139872858593552 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26347] ppid=26290 vsize=10577940 CPUtime=0.54 cores=0,2,4,6
/proc/26293/task/26347/stat : 26347 (java) S 26290 26293 25139 0 -1 1077944384 836 12641 0 0 35 11 5 3 20 0 15 0 61380458 10831810560 387167 18446744073709551615 4194304 4196468 140723592379216 139872857541008 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26348] ppid=26290 vsize=10577940 CPUtime=0.11 cores=0,2,4,6
/proc/26293/task/26348/stat : 26348 (java) S 26290 26293 25139 0 -1 1077944384 2385 12641 0 0 3 0 5 3 20 0 15 0 61380459 10831810560 387167 18446744073709551615 4194304 4196468 140723592379216 139872813234928 139873249704578 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26349] ppid=26290 vsize=10577940 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26349/stat : 26349 (java) S 26290 26293 25139 0 -1 1077944384 56 12641 0 0 0 0 5 3 20 0 15 0 61380460 10831810560 387167 18446744073709551615 4194304 4196468 140723592379216 139872812181216 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26350] ppid=26290 vsize=10577940 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26350/stat : 26350 (java) S 26290 26293 25139 0 -1 1077944384 43 12641 0 0 0 0 5 3 20 0 15 0 61380460 10831810560 387167 18446744073709551615 4194304 4196468 140723592379216 139872811128064 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26351] ppid=26290 vsize=10577940 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26351/stat : 26351 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380462 10831810560 387167 18446744073709551615 4194304 4196468 140723592379216 139872810076624 139873249712027 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0

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

/proc/26293/task/26355/stat : 26355 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380463 10903113728 904471 18446744073709551615 4194304 4196468 140723592379216 139872805865824 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26356] ppid=26290 vsize=10647572 CPUtime=1.3 cores=0,2,4,6
/proc/26293/task/26356/stat : 26356 (java) S 26290 26293 25139 0 -1 1077944384 2529 12641 0 0 60 62 5 3 20 0 15 0 61380466 10903113728 904471 18446744073709551615 4194304 4196468 140723592379216 139872804813872 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
Current children cumulated CPU time (s) 2220.03
Current children cumulated vsize (KiB) 10647572

[startup+2202.31 s]
/proc/loadavg: 1.94 1.90 1.81 3/212 26633
/proc/meminfo: memFree=24186408/32770624 swapFree=0/453564
[pid=26293] ppid=26290 vsize=10647572 CPUtime=2280.61 cores=0,2,4,6
/proc/26293/stat : 26293 (java) S 26290 26293 25139 0 -1 1077944320 503505 12641 0 0 227667 386 5 3 20 0 15 0 61380437 10903113728 904527 18446744073709551615 4194304 4196468 140723592379216 140723592361760 139873249693431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
/proc/26293/statm: 2661893 904527 3515 1 0 2650507 0
[pid=26293/tid=26343] ppid=26290 vsize=10647572 CPUtime=2183.25 cores=0,2,4,6
/proc/26293/task/26343/stat : 26343 (java) R 26290 26293 25139 0 -1 4202560 206237 12641 0 0 218251 66 5 3 20 0 15 0 61380457 10903113728 904527 18446744073709551615 4194304 4196468 140723592379216 139873253922784 139872895551518 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26344] ppid=26290 vsize=10647572 CPUtime=18.12 cores=0,2,4,6
/proc/26293/task/26344/stat : 26344 (java) S 26290 26293 25139 0 -1 1077944384 25402 12641 0 0 1744 60 5 3 20 0 15 0 61380458 10903113728 904527 18446744073709551615 4194304 4196468 140723592379216 139873196042768 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26345] ppid=26290 vsize=10647572 CPUtime=18.15 cores=0,2,4,6
/proc/26293/task/26345/stat : 26345 (java) S 26290 26293 25139 0 -1 1077944384 25388 12641 0 0 1747 60 5 3 20 0 15 0 61380458 10903113728 904527 18446744073709551615 4194304 4196468 140723592379216 139873194990224 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26346] ppid=26290 vsize=10647572 CPUtime=18.21 cores=0,2,4,6
/proc/26293/task/26346/stat : 26346 (java) S 26290 26293 25139 0 -1 1077944384 28799 12641 0 0 1752 61 5 3 20 0 15 0 61380458 10903113728 904527 18446744073709551615 4194304 4196468 140723592379216 139872858593552 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26347] ppid=26290 vsize=10647572 CPUtime=18.17 cores=0,2,4,6
/proc/26293/task/26347/stat : 26347 (java) S 26290 26293 25139 0 -1 1077944384 26841 12641 0 0 1747 62 5 3 20 0 15 0 61380458 10903113728 904527 18446744073709551615 4194304 4196468 140723592379216 139872857541008 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26348] ppid=26290 vsize=10647572 CPUtime=0.67 cores=0,2,4,6
/proc/26293/task/26348/stat : 26348 (java) S 26290 26293 25139 0 -1 1077944384 54143 12641 0 0 52 7 5 3 20 0 15 0 61380459 10903113728 904527 18446744073709551615 4194304 4196468 140723592379216 139872813234928 139873249704578 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26349] ppid=26290 vsize=10647572 CPUtime=0.09 cores=0,2,4,6
/proc/26293/task/26349/stat : 26349 (java) S 26290 26293 25139 0 -1 1077944384 234 12641 0 0 1 0 5 3 20 0 15 0 61380460 10903113728 904527 18446744073709551615 4194304 4196468 140723592379216 139872812181216 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26350] ppid=26290 vsize=10647572 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26350/stat : 26350 (java) S 26290 26293 25139 0 -1 1077944384 47 12641 0 0 0 0 5 3 20 0 15 0 61380460 10903113728 904527 18446744073709551615 4194304 4196468 140723592379216 139872811128064 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26351] ppid=26290 vsize=10647572 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26351/stat : 26351 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380462 10903113728 904527 18446744073709551615 4194304 4196468 140723592379216 139872810076624 139873249712027 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26352] ppid=26290 vsize=10647572 CPUtime=10.09 cores=0,2,4,6
/proc/26293/task/26352/stat : 26352 (java) S 26290 26293 25139 0 -1 1077944384 34819 12641 0 0 997 4 5 3 20 0 15 0 61380463 10903113728 904527 18446744073709551615 4194304 4196468 140723592379216 139872809023728 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26353] ppid=26290 vsize=10647572 CPUtime=10.2 cores=0,2,4,6
/proc/26293/task/26353/stat : 26353 (java) S 26290 26293 25139 0 -1 1077944384 38460 12641 0 0 1007 5 5 3 20 0 15 0 61380463 10903113728 904527 18446744073709551615 4194304 4196468 140723592379216 139872807971184 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26354] ppid=26290 vsize=10647572 CPUtime=2.99 cores=0,2,4,6
/proc/26293/task/26354/stat : 26354 (java) S 26290 26293 25139 0 -1 1077944384 58452 12641 0 0 284 7 5 3 20 0 15 0 61380463 10903113728 904527 18446744073709551615 4194304 4196468 140723592379216 139872806918128 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26355] ppid=26290 vsize=10647572 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26355/stat : 26355 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380463 10903113728 904527 18446744073709551615 4194304 4196468 140723592379216 139872805865824 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26356] ppid=26290 vsize=10647572 CPUtime=1.34 cores=0,2,4,6
/proc/26293/task/26356/stat : 26356 (java) S 26290 26293 25139 0 -1 1077944384 2544 12641 0 0 62 64 5 3 20 0 15 0 61380466 10903113728 904527 18446744073709551615 4194304 4196468 140723592379216 139872804813872 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
Current children cumulated CPU time (s) 2280.61
Current children cumulated vsize (KiB) 10647572

[startup+2262.3 s]
/proc/loadavg: 1.90 1.89 1.81 3/213 26636
/proc/meminfo: memFree=24194224/32770624 swapFree=0/453548
[pid=26293] ppid=26290 vsize=10647572 CPUtime=2341.87 cores=0,2,4,6
/proc/26293/stat : 26293 (java) S 26290 26293 25139 0 -1 1077944320 516696 12641 0 0 233791 388 5 3 20 0 15 0 61380437 10903113728 901446 18446744073709551615 4194304 4196468 140723592379216 140723592361760 139873249693431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
/proc/26293/statm: 2661893 901446 3515 1 0 2650507 0
[pid=26293/tid=26343] ppid=26290 vsize=10647572 CPUtime=2242.84 cores=0,2,4,6
/proc/26293/task/26343/stat : 26343 (java) R 26290 26293 25139 0 -1 4202560 210089 12641 0 0 224209 67 5 3 20 0 15 0 61380457 10903113728 901446 18446744073709551615 4194304 4196468 140723592379216 139873253928824 139872875650222 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26344] ppid=26290 vsize=10647572 CPUtime=18.53 cores=0,2,4,6
/proc/26293/task/26344/stat : 26344 (java) S 26290 26293 25139 0 -1 1077944384 25862 12641 0 0 1785 60 5 3 20 0 15 0 61380458 10903113728 901446 18446744073709551615 4194304 4196468 140723592379216 139873196042768 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26345] ppid=26290 vsize=10647572 CPUtime=18.55 cores=0,2,4,6
/proc/26293/task/26345/stat : 26345 (java) S 26290 26293 25139 0 -1 1077944384 26403 12641 0 0 1787 60 5 3 20 0 15 0 61380458 10903113728 901446 18446744073709551615 4194304 4196468 140723592379216 139873194990224 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26346] ppid=26290 vsize=10647572 CPUtime=18.62 cores=0,2,4,6
/proc/26293/task/26346/stat : 26346 (java) S 26290 26293 25139 0 -1 1077944384 29033 12641 0 0 1793 61 5 3 20 0 15 0 61380458 10903113728 901446 18446744073709551615 4194304 4196468 140723592379216 139872858593552 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26347] ppid=26290 vsize=10647572 CPUtime=18.57 cores=0,2,4,6
/proc/26293/task/26347/stat : 26347 (java) S 26290 26293 25139 0 -1 1077944384 28548 12641 0 0 1787 62 5 3 20 0 15 0 61380458 10903113728 901446 18446744073709551615 4194304 4196468 140723592379216 139872857541008 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26348] ppid=26290 vsize=10647572 CPUtime=0.68 cores=0,2,4,6
/proc/26293/task/26348/stat : 26348 (java) S 26290 26293 25139 0 -1 1077944384 54765 12641 0 0 52 8 5 3 20 0 15 0 61380459 10903113728 901446 18446744073709551615 4194304 4196468 140723592379216 139872813234928 139873249704578 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26349] ppid=26290 vsize=10647572 CPUtime=0.09 cores=0,2,4,6
/proc/26293/task/26349/stat : 26349 (java) S 26290 26293 25139 0 -1 1077944384 244 12641 0 0 1 0 5 3 20 0 15 0 61380460 10903113728 901446 18446744073709551615 4194304 4196468 140723592379216 139872812181216 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26350] ppid=26290 vsize=10647572 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26350/stat : 26350 (java) S 26290 26293 25139 0 -1 1077944384 47 12641 0 0 0 0 5 3 20 0 15 0 61380460 10903113728 901446 18446744073709551615 4194304 4196468 140723592379216 139872811128064 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26351] ppid=26290 vsize=10647572 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26351/stat : 26351 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380462 10903113728 901446 18446744073709551615 4194304 4196468 140723592379216 139872810076624 139873249712027 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26352] ppid=26290 vsize=10647572 CPUtime=10.09 cores=0,2,4,6
/proc/26293/task/26352/stat : 26352 (java) S 26290 26293 25139 0 -1 1077944384 34824 12641 0 0 997 4 5 3 20 0 15 0 61380463 10903113728 901446 18446744073709551615 4194304 4196468 140723592379216 139872809023728 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26353] ppid=26290 vsize=10647572 CPUtime=10.2 cores=0,2,4,6
/proc/26293/task/26353/stat : 26353 (java) S 26290 26293 25139 0 -1 1077944384 38465 12641 0 0 1007 5 5 3 20 0 15 0 61380463 10903113728 901446 18446744073709551615 4194304 4196468 140723592379216 139872807971184 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26354] ppid=26290 vsize=10647572 CPUtime=3.01 cores=0,2,4,6
/proc/26293/task/26354/stat : 26354 (java) S 26290 26293 25139 0 -1 1077944384 63671 12641 0 0 286 7 5 3 20 0 15 0 61380463 10903113728 901446 18446744073709551615 4194304 4196468 140723592379216 139872806918128 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26355] ppid=26290 vsize=10647572 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26355/stat : 26355 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380463 10903113728 901446 18446744073709551615 4194304 4196468 140723592379216 139872805865824 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26356] ppid=26290 vsize=10647572 CPUtime=1.38 cores=0,2,4,6
/proc/26293/task/26356/stat : 26356 (java) S 26290 26293 25139 0 -1 1077944384 2606 12641 0 0 64 66 5 3 20 0 15 0 61380466 10903113728 901446 18446744073709551615 4194304 4196468 140723592379216 139872804813872 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
Current children cumulated CPU time (s) 2341.87
Current children cumulated vsize (KiB) 10647572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2319.3 s]
/proc/loadavg: 1.76 1.86 1.80 3/217 26653
/proc/meminfo: memFree=24152716/32770624 swapFree=0/453576
[pid=26293] ppid=26290 vsize=10647572 CPUtime=2400.07 cores=0,2,4,6
/proc/26293/stat : 26293 (java) S 26290 26293 25139 0 -1 1077944320 522352 12641 0 0 239609 390 5 3 20 0 15 0 61380437 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 140723592361760 139873249693431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
/proc/26293/statm: 2661893 901457 3515 1 0 2650507 0
[pid=26293/tid=26343] ppid=26290 vsize=10647572 CPUtime=2299.44 cores=0,2,4,6
/proc/26293/task/26343/stat : 26343 (java) R 26290 26293 25139 0 -1 4202560 213886 12641 0 0 229869 67 5 3 20 0 15 0 61380457 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139873253922784 139872894466972 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26344] ppid=26290 vsize=10647572 CPUtime=18.92 cores=0,2,4,6
/proc/26293/task/26344/stat : 26344 (java) S 26290 26293 25139 0 -1 1077944384 26102 12641 0 0 1824 60 5 3 20 0 15 0 61380458 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139873196042768 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26345] ppid=26290 vsize=10647572 CPUtime=18.94 cores=0,2,4,6
/proc/26293/task/26345/stat : 26345 (java) S 26290 26293 25139 0 -1 1077944384 26652 12641 0 0 1826 60 5 3 20 0 15 0 61380458 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139873194990224 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26346] ppid=26290 vsize=10647572 CPUtime=19.01 cores=0,2,4,6
/proc/26293/task/26346/stat : 26346 (java) S 26290 26293 25139 0 -1 1077944384 29819 12641 0 0 1832 61 5 3 20 0 15 0 61380458 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872858593552 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26347] ppid=26290 vsize=10647572 CPUtime=18.95 cores=0,2,4,6
/proc/26293/task/26347/stat : 26347 (java) S 26290 26293 25139 0 -1 1077944384 28787 12641 0 0 1825 62 5 3 20 0 15 0 61380458 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872857541008 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26348] ppid=26290 vsize=10647572 CPUtime=0.69 cores=0,2,4,6
/proc/26293/task/26348/stat : 26348 (java) S 26290 26293 25139 0 -1 1077944384 55061 12641 0 0 53 8 5 3 20 0 15 0 61380459 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872813234928 139873249704578 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26349] ppid=26290 vsize=10647572 CPUtime=0.09 cores=0,2,4,6
/proc/26293/task/26349/stat : 26349 (java) S 26290 26293 25139 0 -1 1077944384 250 12641 0 0 1 0 5 3 20 0 15 0 61380460 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872812181216 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26350] ppid=26290 vsize=10647572 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26350/stat : 26350 (java) S 26290 26293 25139 0 -1 1077944384 47 12641 0 0 0 0 5 3 20 0 15 0 61380460 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872811128064 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26351] ppid=26290 vsize=10647572 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26351/stat : 26351 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380462 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872810076624 139873249712027 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26352] ppid=26290 vsize=10647572 CPUtime=10.09 cores=0,2,4,6
/proc/26293/task/26352/stat : 26352 (java) S 26290 26293 25139 0 -1 1077944384 34827 12641 0 0 997 4 5 3 20 0 15 0 61380463 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872809023728 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26353] ppid=26290 vsize=10647572 CPUtime=10.2 cores=0,2,4,6
/proc/26293/task/26353/stat : 26353 (java) S 26290 26293 25139 0 -1 1077944384 38467 12641 0 0 1007 5 5 3 20 0 15 0 61380463 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872807971184 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26354] ppid=26290 vsize=10647572 CPUtime=3.01 cores=0,2,4,6
/proc/26293/task/26354/stat : 26354 (java) S 26290 26293 25139 0 -1 1077944384 63673 12641 0 0 286 7 5 3 20 0 15 0 61380463 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872806918128 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26355] ppid=26290 vsize=10647572 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26355/stat : 26355 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380463 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872805865824 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26356] ppid=26290 vsize=10647572 CPUtime=1.41 cores=0,2,4,6
/proc/26293/task/26356/stat : 26356 (java) S 26290 26293 25139 0 -1 1077944384 2642 12641 0 0 65 68 5 3 20 0 15 0 61380466 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872804813872 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10647572

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 26293 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2319.3 s]
/proc/loadavg: 1.76 1.86 1.80 3/217 26653
/proc/meminfo: memFree=24152716/32770624 swapFree=0/453576
[pid=26293] ppid=26290 vsize=10647572 CPUtime=2400.07 cores=0,2,4,6
/proc/26293/stat : 26293 (java) S 26290 26293 25139 0 -1 1077944320 522352 12641 0 0 239609 390 5 3 20 0 15 0 61380437 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 140723592361760 139873249693431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
/proc/26293/statm: 2661893 901457 3515 1 0 2650507 0
[pid=26293/tid=26343] ppid=26290 vsize=10647572 CPUtime=2299.44 cores=0,2,4,6
/proc/26293/task/26343/stat : 26343 (java) R 26290 26293 25139 0 -1 4202560 213886 12641 0 0 229869 67 5 3 20 0 15 0 61380457 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139873253922784 139872894466972 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26344] ppid=26290 vsize=10647572 CPUtime=18.92 cores=0,2,4,6
/proc/26293/task/26344/stat : 26344 (java) S 26290 26293 25139 0 -1 1077944384 26102 12641 0 0 1824 60 5 3 20 0 15 0 61380458 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139873196042768 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26345] ppid=26290 vsize=10647572 CPUtime=18.94 cores=0,2,4,6
/proc/26293/task/26345/stat : 26345 (java) S 26290 26293 25139 0 -1 1077944384 26652 12641 0 0 1826 60 5 3 20 0 15 0 61380458 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139873194990224 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26346] ppid=26290 vsize=10647572 CPUtime=19.01 cores=0,2,4,6
/proc/26293/task/26346/stat : 26346 (java) S 26290 26293 25139 0 -1 1077944384 29819 12641 0 0 1832 61 5 3 20 0 15 0 61380458 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872858593552 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26347] ppid=26290 vsize=10647572 CPUtime=18.95 cores=0,2,4,6
/proc/26293/task/26347/stat : 26347 (java) S 26290 26293 25139 0 -1 1077944384 28787 12641 0 0 1825 62 5 3 20 0 15 0 61380458 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872857541008 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26348] ppid=26290 vsize=10647572 CPUtime=0.69 cores=0,2,4,6
/proc/26293/task/26348/stat : 26348 (java) S 26290 26293 25139 0 -1 1077944384 55061 12641 0 0 53 8 5 3 20 0 15 0 61380459 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872813234928 139873249704578 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26349] ppid=26290 vsize=10647572 CPUtime=0.09 cores=0,2,4,6
/proc/26293/task/26349/stat : 26349 (java) S 26290 26293 25139 0 -1 1077944384 250 12641 0 0 1 0 5 3 20 0 15 0 61380460 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872812181216 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26350] ppid=26290 vsize=10647572 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26350/stat : 26350 (java) S 26290 26293 25139 0 -1 1077944384 47 12641 0 0 0 0 5 3 20 0 15 0 61380460 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872811128064 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26351] ppid=26290 vsize=10647572 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26351/stat : 26351 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380462 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872810076624 139873249712027 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26352] ppid=26290 vsize=10647572 CPUtime=10.09 cores=0,2,4,6
/proc/26293/task/26352/stat : 26352 (java) S 26290 26293 25139 0 -1 1077944384 34827 12641 0 0 997 4 5 3 20 0 15 0 61380463 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872809023728 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26353] ppid=26290 vsize=10647572 CPUtime=10.2 cores=0,2,4,6
/proc/26293/task/26353/stat : 26353 (java) S 26290 26293 25139 0 -1 1077944384 38467 12641 0 0 1007 5 5 3 20 0 15 0 61380463 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872807971184 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26354] ppid=26290 vsize=10647572 CPUtime=3.01 cores=0,2,4,6
/proc/26293/task/26354/stat : 26354 (java) S 26290 26293 25139 0 -1 1077944384 63673 12641 0 0 286 7 5 3 20 0 15 0 61380463 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872806918128 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26355] ppid=26290 vsize=10647572 CPUtime=0.08 cores=0,2,4,6
/proc/26293/task/26355/stat : 26355 (java) S 26290 26293 25139 0 -1 1077944384 3 12641 0 0 0 0 5 3 20 0 15 0 61380463 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872805865824 139873249703637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
[pid=26293/tid=26356] ppid=26290 vsize=10647572 CPUtime=1.41 cores=0,2,4,6
/proc/26293/task/26356/stat : 26356 (java) S 26290 26293 25139 0 -1 1077944384 2642 12641 0 0 65 68 5 3 20 0 15 0 61380466 10903113728 901457 18446744073709551615 4194304 4196468 140723592379216 139872804813872 139873249704578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 16457728 140723592382427 140723592385201 140723592385201 140723592388559 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10647572

Child status: 143
Real time (s): 2319.39
CPU time (s): 2400.17
CPU user time (s): 2396.21
CPU system time (s): 3.9623
CPU usage (%): 103.483
Max. virtual memory (cumulated for all children) (KiB): 10647572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.21
system time used= 3.9623
maximum resident set size= 3618108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 537778
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65617
involuntary context switches= 2803

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2597 second user time and 10.5966 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-07 22:31:46
IDJOB=4248632
IDBENCH=140589
IDSOLVER=2630
FILE ID=node134/4248632-1502138743
RUNJOBID= node134-1502077974-12598
PBS_JOBID= 
Free space on /tmp= 62004 MiB

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

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

MD5SUM BENCH= 0962135a9df7191e1203c0b83ceb0052
RANDOM SEED=369593365

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29622404 kB
MemAvailable:   30317472 kB
Buffers:          229852 kB
Cached:           754400 kB
SwapCached:            0 kB
Active:          2241116 kB
Inactive:         475988 kB
Active(anon):    1735148 kB
Inactive(anon):    23032 kB
Active(file):     505968 kB
Inactive(file):   452956 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24840 kB
Writeback:             4 kB
AnonPages:       1732764 kB
Mapped:            55440 kB
Shmem:             25276 kB
Slab:             130372 kB
SReclaimable:     103960 kB
SUnreclaim:        26412 kB
KernelStack:        3568 kB
PageTables:         9248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2415092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1523712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61980 MiB
End job on node134 at 2017-08-07 23:10:25