Trace number 4262769

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)262 2520.1101 2442.3501

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.32/2.23	c Concrete v3.4 running
59.43/33.61	o 945
64.66/37.54	o 944
68.06/40.89	o 943
71.84/44.57	o 942
75.68/48.34	o 941
79.63/52.09	o 940
83.52/55.70	o 939
87.27/59.32	o 938
90.51/62.59	o 937
94.24/66.28	o 936
98.00/69.95	o 935
101.94/73.61	o 934
105.54/77.27	o 933
109.38/80.93	o 932
112.68/84.20	o 931
116.28/87.83	o 930
119.96/91.45	o 929
123.56/95.09	o 928
127.26/98.71	o 927
130.89/102.35	o 926
134.09/105.60	o 925
137.85/109.28	o 924
141.55/112.96	o 923
144.85/116.20	o 922
148.45/119.80	o 921
151.66/123.06	o 920
155.27/126.66	o 919
158.92/130.28	o 918
162.63/133.91	o 917
166.26/137.54	o 916
169.85/141.15	o 915
173.45/144.79	o 914
177.22/148.43	o 913
180.82/152.09	o 912
184.52/155.70	o 911
188.13/159.32	o 910
191.43/162.61	o 909
194.67/165.88	o 908
198.29/169.50	o 907
201.90/173.07	o 906
205.20/176.30	o 905
208.41/179.51	o 904
212.01/183.10	o 903
215.27/186.37	o 902
218.87/189.96	o 901
222.06/193.18	o 900
225.77/196.84	o 899
229.37/200.48	o 898
233.13/204.13	o 897
236.90/207.84	o 896
240.60/211.51	o 895
244.20/215.15	o 894
247.91/218.80	o 893
251.28/222.10	o 892
254.49/225.38	o 891
258.19/229.04	o 890
261.78/232.67	o 889
265.48/236.33	o 888
269.09/239.98	o 887
272.85/243.62	o 886
276.45/247.22	o 885
280.06/250.88	o 884
283.66/254.48	o 883
287.26/258.08	o 882
290.92/261.68	o 881
294.53/265.25	o 880
298.13/268.85	o 879
301.73/272.46	o 878
305.34/276.04	o 877
308.98/279.68	o 876
312.28/282.94	o 875
315.88/286.59	o 874
319.58/290.22	o 873
323.19/293.89	o 872
326.53/297.16	o 871
330.23/300.80	o 870
333.43/304.05	o 869
336.74/307.30	o 868
340.34/310.90	o 867
343.99/314.53	o 866
347.59/318.15	o 865
350.89/321.41	o 864
354.49/325.02	o 863
358.15/328.67	o 862
361.76/332.29	o 861
365.36/335.86	o 860
368.97/339.48	o 859
372.27/342.73	o 858
375.94/346.32	o 857
379.14/349.56	o 856
382.74/353.16	o 855
386.34/356.78	o 854
389.98/360.37	o 853
393.19/363.58	o 852
397.00/367.34	o 851
400.30/370.61	o 850
403.54/373.85	o 849
407.14/377.49	o 848
410.45/380.72	o 847
414.10/384.30	o 846
417.60/387.89	o 845
421.30/391.52	o 844
424.91/395.13	o 843
428.54/398.75	o 842
432.14/402.38	o 841
435.85/406.03	o 840
439.50/409.67	o 839
442.80/412.91	o 838
446.40/416.55	o 837
450.05/420.20	o 836
453.36/423.42	o 835
456.96/427.05	o 834
460.26/430.31	o 833
463.91/433.96	o 832
467.21/437.22	o 831
470.84/440.84	o 830
474.08/444.07	o 829
477.68/447.65	o 828
481.28/451.26	o 827
484.54/454.48	o 826
488.13/458.07	o 825
491.88/461.73	o 824
495.48/465.37	o 823
498.78/468.65	o 822
502.43/472.28	o 821
505.73/475.53	o 820
509.39/479.14	o 819
512.99/482.73	o 818
516.60/486.32	o 817
520.24/489.95	o 816
523.54/493.21	o 815
527.19/496.84	o 814
530.80/500.50	o 813
534.14/503.78	o 812
537.84/507.44	o 811
541.58/511.11	o 810
545.18/514.77	o 809
548.94/518.44	o 808
552.64/522.12	o 807
556.29/525.76	o 806
559.91/529.36	o 805
563.55/532.99	o 804
567.25/536.64	o 803
570.59/539.90	o 802
573.96/543.21	o 801
577.57/546.83	o 800
581.22/550.46	o 799
584.52/553.73	o 798
588.16/557.34	o 797
591.81/560.98	o 796
595.12/564.23	o 795
598.47/567.50	o 794
602.14/571.15	o 793
605.34/574.36	o 792
608.99/577.97	o 791
612.36/581.26	o 790
615.72/584.55	o 789
619.38/588.18	o 788
622.68/591.43	o 787
626.34/595.04	o 786
630.00/598.66	o 785
633.77/602.33	o 784
637.44/605.96	o 783
640.90/609.30	o 782
644.57/612.97	o 781
648.34/616.60	o 780
651.72/619.90	o 779
655.49/623.57	o 778
658.79/626.84	o 777
662.69/630.52	o 776
665.99/633.80	o 775
669.68/637.46	o 774
673.47/641.15	o 773
677.16/644.78	o 772
680.56/648.08	o 771
684.16/651.68	o 770
687.95/655.30	o 769
691.25/658.57	o 768
695.05/662.23	o 767
698.24/665.50	o 766
702.05/669.16	o 765
705.46/672.44	o 764
709.15/676.09	o 763
712.95/679.74	o 762
716.65/683.37	o 761
720.25/686.99	o 760
724.05/690.64	o 759
727.83/694.34	o 758
731.21/697.64	o 757
734.93/701.28	o 756
738.63/704.91	o 755
741.97/708.19	o 754
745.37/711.41	o 753
749.06/715.05	o 752
752.46/718.39	o 751
756.24/722.06	o 750
759.62/725.37	o 749
763.42/729.06	o 748
767.21/732.75	o 747
770.51/736.07	o 746
773.91/739.30	o 745
777.59/742.95	o 744
780.97/746.23	o 743
784.63/749.86	o 742
788.00/753.15	o 741
791.67/756.77	o 740
794.98/760.06	o 739
798.64/763.63	o 738
802.30/767.25	o 737
805.66/770.57	o 736
809.47/774.23	o 735
812.83/777.51	o 734
816.39/781.10	o 733
819.76/784.37	o 732
823.50/788.03	o 731
827.20/791.68	o 730
830.55/794.95	o 729
833.90/798.23	o 728
837.59/801.82	o 727
840.94/805.12	o 726
844.63/808.78	o 725
847.98/812.05	o 724
851.68/815.68	o 723
855.46/819.32	o 722
859.16/822.95	o 721
862.55/826.21	o 720
866.23/829.84	o 719
870.03/833.52	o 718
873.70/837.12	o 717
876.96/840.40	o 716
880.77/844.05	o 715
884.52/847.71	o 714
888.19/851.36	o 713
891.99/855.00	o 712
895.66/858.60	o 711
898.99/861.89	o 710
902.36/865.16	o 709
906.06/868.77	o 708
909.74/872.39	o 707
913.51/876.01	o 706
917.31/879.71	o 705
921.58/883.25	o 704
925.24/886.86	o 703
928.89/890.49	o 702
932.56/894.09	o 701
936.33/897.72	o 700
939.94/901.37	o 699
943.31/904.66	o 698
946.68/907.92	o 697
950.28/911.53	o 696
954.08/915.24	o 695
957.89/918.90	o 694
961.10/922.14	o 693
964.79/925.78	o 692
968.10/929.05	o 691
971.90/932.74	o 690
975.51/936.37	o 689
979.32/940.00	o 688
982.92/943.61	o 687
986.36/946.91	o 686
989.97/950.52	o 685
993.66/954.19	o 684
997.26/957.77	o 683
1000.96/961.38	o 682
1004.26/964.63	o 681
1007.87/968.26	o 680
1011.29/971.57	o 679
1014.89/975.15	o 678
1018.33/978.45	o 677
1021.94/982.04	o 676
1025.14/985.29	o 675
1028.96/988.94	o 674
1032.15/992.20	o 673
1035.76/995.79	o 672
1039.63/999.42	o 671
1043.24/1003.06	o 670
1046.94/1006.75	o 669
1050.78/1010.43	o 668
1054.38/1014.07	o 667
1058.30/1017.76	o 666
1062.00/1021.40	o 665
1065.30/1024.70	o 664
1069.21/1028.41	o 663
1072.81/1032.05	o 662
1076.02/1035.29	o 661
1079.96/1038.94	o 660
1083.27/1042.21	o 659
1086.87/1045.83	o 658
1090.81/1049.57	o 657
1094.41/1053.17	o 656
1097.71/1056.43	o 655
1101.70/1060.13	o 654
1105.31/1063.73	o 653
1108.51/1066.97	o 652
1111.81/1070.22	o 651
1115.77/1073.94	o 650
1119.38/1077.58	o 649
1123.08/1081.28	o 648
1126.82/1084.67	o 647
1130.02/1087.88	o 646
1133.62/1091.50	o 645
1137.33/1095.12	o 644
1141.23/1098.78	o 643
1144.53/1102.00	o 642
1148.04/1105.59	o 641
1151.84/1108.97	o 640
1155.06/1112.19	o 639
1158.66/1115.77	o 638
1161.87/1118.99	o 637
1165.89/1122.68	o 636
1169.19/1125.90	o 635
1172.39/1129.14	o 634
1175.99/1132.72	o 633
1180.15/1136.44	o 632
1183.35/1139.63	o 631
1186.95/1143.21	o 630
1190.55/1146.81	o 629
1194.20/1150.17	o 628
1197.80/1153.74	o 627
1201.42/1157.33	o 626
1204.72/1160.64	o 625
1209.01/1164.40	o 624
1212.71/1168.10	o 623
1215.91/1171.32	o 622
1219.11/1174.53	o 621
1223.16/1178.25	o 620
1226.77/1181.84	o 619
1230.37/1185.45	o 618
1233.97/1189.04	o 617
1237.17/1192.29	o 616
1241.46/1196.05	o 615
1245.06/1199.67	o 614
1248.66/1203.27	o 613
1252.27/1206.89	o 612
1256.44/1210.67	o 611
1260.14/1214.32	o 610
1263.75/1217.94	o 609
1267.35/1221.59	o 608
1271.05/1225.27	o 607
1274.94/1228.68	o 606
1278.55/1232.29	o 605
1282.25/1235.90	o 604
1285.75/1239.50	o 603
1289.97/1243.27	o 602
1293.28/1246.52	o 601
1296.88/1250.14	o 600
1300.18/1253.41	o 599
1303.78/1257.01	o 598
1307.87/1260.74	o 597
1311.47/1264.31	o 596
1314.97/1267.87	o 595
1318.58/1271.45	o 594
1322.19/1275.06	o 593
1325.97/1278.47	o 592
1329.27/1281.73	o 591
1332.87/1285.33	o 590
1336.58/1289.00	o 589
1339.78/1292.24	o 588
1343.89/1295.97	o 587
1347.48/1299.58	o 586
1350.78/1302.83	o 585
1354.08/1306.10	o 584
1358.20/1309.84	o 583
1361.40/1313.03	o 582
1364.60/1316.25	o 581
1368.20/1319.81	o 580
1371.81/1323.41	o 579
1375.63/1326.81	o 578
1379.13/1330.38	o 577
1382.43/1333.61	o 576
1386.03/1337.23	o 575
1389.64/1340.81	o 574
1393.76/1344.53	o 573
1397.06/1347.82	o 572
1400.66/1351.44	o 571
1404.26/1355.07	o 570
1408.49/1358.88	o 569
1411.79/1362.10	o 568
1415.39/1365.75	o 567
1419.10/1369.42	o 566
1422.30/1372.67	o 565
1426.24/1376.10	o 564
1429.84/1379.70	o 563
1433.07/1382.92	o 562
1436.67/1386.51	o 561
1440.27/1390.12	o 560
1444.52/1393.91	o 559
1448.13/1397.56	o 558
1451.33/1400.79	o 557
1454.93/1404.39	o 556
1459.17/1408.19	o 555
1462.77/1411.80	o 554
1466.37/1415.38	o 553
1469.97/1418.97	o 552
1473.67/1422.61	o 551
1477.52/1426.01	o 550
1481.02/1429.58	o 549
1484.32/1432.89	o 548
1488.03/1436.52	o 547
1492.18/1440.29	o 546
1495.78/1443.89	o 545
1499.38/1447.47	o 544
1502.68/1450.73	o 543
1505.88/1453.94	o 542
1510.04/1457.66	o 541
1513.33/1460.91	o 540
1516.54/1464.16	o 539
1520.13/1467.78	o 538
1523.84/1471.41	o 537
1527.58/1474.78	o 536
1531.19/1478.38	o 535
1534.41/1481.59	o 534
1538.01/1485.19	o 533
1541.21/1488.40	o 532
1545.43/1492.08	o 531
1549.14/1495.76	o 530
1552.84/1499.41	o 529
1556.04/1502.68	o 528
1559.89/1506.07	o 527
1563.49/1509.63	o 526
1566.69/1512.86	o 525
1570.29/1516.44	o 524
1573.90/1520.06	o 523
1579.43/1524.12	o 522
1582.63/1527.39	o 521
1585.93/1530.66	o 520
1589.53/1534.27	o 519
1593.23/1537.88	o 518
1596.83/1541.49	o 517
1600.14/1544.74	o 516
1603.44/1548.00	o 515
1607.04/1551.61	o 514
1610.75/1555.27	o 513
1614.38/1558.88	o 512
1617.97/1562.48	o 511
1621.27/1565.75	o 510
1624.87/1569.36	o 509
1628.31/1572.64	o 508
1631.91/1576.28	o 507
1635.21/1579.50	o 506
1638.81/1583.12	o 505
1642.27/1586.41	o 504
1645.86/1590.00	o 503
1649.07/1593.23	o 502
1652.68/1596.81	o 501
1655.88/1600.05	o 500
1659.75/1603.75	o 499
1663.05/1607.00	o 498
1666.65/1610.60	o 497
1670.15/1614.20	o 496
1673.45/1617.45	o 495
1677.36/1621.12	o 494
1680.96/1624.72	o 493
1684.46/1628.29	o 492
1688.16/1631.92	o 491
1692.09/1635.60	o 490
1695.69/1639.24	o 489
1698.99/1642.50	o 488
1702.19/1645.78	o 487
1705.50/1649.04	o 486
1709.45/1652.72	o 485
1712.64/1655.92	o 484
1716.25/1659.51	o 483
1719.85/1663.11	o 482
1723.42/1666.46	o 481
1727.02/1670.05	o 480
1730.62/1673.66	o 479
1734.22/1677.28	o 478
1737.83/1680.89	o 477
1741.93/1684.62	o 476
1745.52/1688.26	o 475
1749.23/1691.91	o 474
1752.83/1695.54	o 473
1756.56/1698.91	o 472
1760.16/1702.56	o 471
1763.76/1706.17	o 470
1767.07/1709.41	o 469
1770.66/1713.02	o 468
1774.71/1716.74	o 467
1778.31/1720.38	o 466
1782.01/1724.02	o 465
1785.61/1727.61	o 464
1789.22/1731.20	o 463
1792.89/1734.58	o 462
1796.59/1738.22	o 461
1800.10/1741.79	o 460
1803.40/1745.03	o 459
1807.32/1748.77	o 458
1810.72/1751.95	o 457
1814.32/1755.53	o 456
1817.93/1759.12	o 455
1821.43/1762.69	o 454
1825.64/1766.42	o 453
1828.84/1769.66	o 452
1832.55/1773.32	o 451
1836.16/1776.93	o 450
1839.36/1780.15	o 449
1843.50/1783.85	o 448
1846.70/1787.08	o 447
1850.31/1790.68	o 446
1853.60/1793.94	o 445
1857.21/1797.54	o 444
1861.35/1801.26	o 443
1864.96/1804.88	o 442
1868.26/1808.12	o 441
1871.89/1811.72	o 440
1876.02/1815.44	o 439
1879.62/1819.04	o 438
1882.82/1822.27	o 437
1886.41/1825.88	o 436
1890.03/1829.47	o 435
1894.16/1833.19	o 434
1897.87/1836.82	o 433
1901.17/1840.10	o 432
1904.68/1843.70	o 431
1908.92/1847.42	o 430
1912.52/1851.03	o 429
1916.13/1854.68	o 428
1919.43/1857.94	o 427
1922.62/1861.16	o 426
1926.86/1864.90	o 425
1930.36/1868.49	o 424
1933.66/1871.70	o 423
1937.17/1875.27	o 422
1940.48/1878.50	o 421
1944.61/1882.21	o 420
1947.81/1885.41	o 419
1951.01/1888.64	o 418
1954.61/1892.23	o 417
1958.47/1895.63	o 416
1962.07/1899.21	o 415
1965.57/1902.78	o 414
1968.87/1906.00	o 413
1972.48/1909.62	o 412
1976.32/1913.01	o 411
1979.92/1916.62	o 410
1983.42/1920.20	o 409
1987.12/1923.80	o 408
1990.32/1927.08	o 407
1994.57/1930.84	o 406
1998.17/1934.45	o 405
2001.77/1938.09	o 404
2005.07/1941.35	o 403
2008.91/1944.76	o 402
2012.51/1948.39	o 401
2016.21/1952.01	o 400
2019.82/1955.63	o 399
2023.02/1958.87	o 398
2026.97/1962.30	o 397
2030.57/1965.90	o 396
2034.17/1969.56	o 395
2037.77/1973.18	o 394
2041.07/1976.48	o 393
2045.32/1980.21	o 392
2048.83/1983.78	o 391
2052.53/1987.41	o 390
2056.14/1991.02	o 389
2060.27/1994.78	o 388
2063.87/1998.38	o 387
2067.58/2002.01	o 386
2070.77/2005.24	o 385
2074.38/2008.85	o 384
2078.22/2012.23	o 383
2081.82/2015.80	o 382
2085.32/2019.39	o 381
2088.62/2022.60	o 380
2092.77/2026.31	o 379
2096.26/2029.89	o 378
2099.97/2033.52	o 377
2103.57/2037.17	o 376
2106.88/2040.43	o 375
2111.02/2044.17	o 374
2114.62/2047.77	o 373
2118.33/2051.40	o 372
2121.93/2055.01	o 371
2125.13/2058.26	o 370
2129.37/2062.01	o 369
2132.97/2065.60	o 368
2136.49/2069.17	o 367
2140.08/2072.73	o 366
2144.22/2076.46	o 365
2147.92/2080.13	o 364
2151.22/2083.41	o 363
2154.81/2087.02	o 362
2158.41/2090.65	o 361
2162.56/2094.39	o 360
2166.16/2097.98	o 359
2169.76/2101.58	o 358
2173.46/2105.21	o 357
2177.72/2109.00	o 356
2180.92/2112.26	o 355
2184.52/2115.84	o 354
2187.72/2119.07	o 353
2191.02/2122.30	o 352
2195.16/2126.03	o 351
2198.77/2129.66	o 350
2202.36/2133.27	o 349
2206.06/2136.92	o 348
2209.67/2140.55	o 347
2213.92/2144.34	o 346
2217.52/2147.95	o 345
2221.12/2151.55	o 344
2224.72/2155.19	o 343
2228.32/2158.79	o 342
2232.47/2162.49	o 341
2236.18/2166.12	o 340
2239.78/2169.73	o 339
2242.98/2172.95	o 338
2247.23/2176.72	o 337
2250.43/2179.98	o 336
2254.13/2183.63	o 335
2257.73/2187.26	o 334
2261.03/2190.52	o 333
2265.17/2194.28	o 332
2268.78/2197.86	o 331
2272.38/2201.48	o 330
2275.98/2205.09	o 329
2279.68/2208.72	o 328
2283.83/2212.47	o 327
2287.14/2215.74	o 326
2290.74/2219.34	o 325
2293.93/2222.59	o 324
2298.18/2226.34	o 323
2301.78/2229.96	o 322
2305.39/2233.59	o 321
2308.99/2237.19	o 320
2312.60/2240.78	o 319
2316.45/2244.15	o 318
2320.05/2247.77	o 317
2323.35/2251.04	o 316
2326.95/2254.66	o 315
2330.65/2258.31	o 314
2334.51/2261.71	o 313
2338.11/2265.33	o 312
2341.71/2268.97	o 311
2345.01/2272.26	o 310
2348.71/2275.92	o 309
2352.57/2279.35	o 308
2356.17/2282.94	o 307
2359.47/2286.21	o 306
2363.09/2289.85	o 305
2366.39/2293.16	o 304
2370.56/2296.89	o 303
2374.15/2300.44	o 302
2377.76/2304.04	o 301
2381.36/2307.67	o 300
2385.63/2311.45	o 299
2389.23/2315.05	o 298
2392.83/2318.65	o 297
2396.43/2322.29	o 296
2400.03/2325.89	o 295
2403.89/2329.29	o 294
2407.19/2332.52	o 293
2410.79/2336.13	o 292
2413.99/2339.36	o 291
2417.59/2342.95	o 290
2421.86/2346.72	o 289
2425.06/2349.99	o 288
2428.75/2353.60	o 287
2432.35/2357.26	o 286
2435.96/2360.88	o 285
2439.93/2364.35	o 284
2443.23/2367.62	o 283
2446.83/2371.22	o 282
2450.43/2374.87	o 281
2453.73/2378.14	o 280
2457.91/2381.90	o 279
2461.61/2385.50	o 278
2464.81/2388.78	o 277
2468.51/2392.40	o 276
2471.81/2395.70	o 275
2475.97/2399.42	o 274
2479.57/2403.02	o 273
2483.17/2406.61	o 272
2486.78/2410.26	o 271
2491.54/2413.90	o 270
2495.04/2417.49	o 269
2498.24/2420.69	o 268
2501.85/2424.25	o 267
2505.46/2427.82	o 266
2509.14/2431.48	o 265
2512.74/2435.09	o 264
2516.34/2438.68	o 263
2519.64/2441.91	o 262
2520.04/2442.30	java.util.concurrent.TimeoutException
2520.04/2442.30		at concrete.MAC.mac(MAC.scala:74)
2520.04/2442.30		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.04/2442.30		at scala.util.Try$.apply(Try.scala:209)
2520.04/2442.30		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.04/2442.30		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.04/2442.30		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.04/2442.30		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.04/2442.30		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.04/2442.30		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.04/2442.30		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.04/2442.30		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.04/2442.30		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.04/2442.30		at concrete.MAC.oneRun(MAC.scala:146)
2520.04/2442.30		at concrete.MAC.nextSolution(MAC.scala:166)
2520.04/2442.30		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.04/2442.30		at concrete.ProblemState.map(ProblemState.scala:203)
2520.04/2442.30		at concrete.ProblemState.map(ProblemState.scala:188)
2520.04/2442.30		at concrete.MAC.nextSolution(MAC.scala:195)
2520.04/2442.30		at concrete.Solver.hasNext(Solver.scala:202)
2520.04/2442.30		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.04/2442.30		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.04/2442.30		at concrete.Solver.toStream(Solver.scala:73)
2520.04/2442.30		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.04/2442.30		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.04/2442.30		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.04/2442.30		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.04/2442.30		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.04/2442.30		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.04/2442.30		at scala.util.Success.map(Try.scala:209)
2520.04/2442.30		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.04/2442.30		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.04/2442.30		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.04/2442.30		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.04/2442.30		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.04/2442.30		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.04/2442.30		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.04/2442.30		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.04/2442.30		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.04/2442.30		at scala.collection.immutable.List.foreach(List.scala:389)
2520.04/2442.30		at scala.App.main(App.scala:76)
2520.04/2442.30		at scala.App.main$(App.scala:74)
2520.04/2442.30		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.04/2442.30		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.04/2442.31	v <instantiation cost="262">
2520.04/2442.31	v       <list>
2520.04/2442.31	v         x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[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]
2520.04/2442.31	v       </list>
2520.04/2442.31	v       <values>
2520.04/2442.31	v         261 259 262 258 258 260 261 260 258 261 262 262 261 259 261 260 258 262 260 259 259 262 260 261 259 262 262 258 260 262 259 261 260 257 258 261 260 261 262 258 259 262 259 261 257 262 261 261 260 262 261 262 262 260 259 261 258 262 262 257 260 258 258 260 259 260 262 259 260 261 261 261 259 258 260 258 261 260 259 259 259 262 259 260 260 260 262 260 262 260 262 260 260 261 259 261 260 262 261 260 261 260 258 258 261 260 260 262 259 261 259 260 259 261 258 259 262 259 261 262 262 258 258 261 261 262 260 258 262 259 262 261 259 258 258 259 262 259 259 261 259 257 258 259 260 262 261 262 260 261 262 259 261 259 260 261 262 261 261 262 260 260 260 261 258 260 261 260 258 260 261 261 261 262 262 262 261 257 257 261 259 261 260 258 262 262 259 262 262 261 262 260 259 258 260 258 260 261 259 261 262 259 259 260 261 259 261 260 262 259 262 262 259 262 259 260 257 258 261 257 259 262 261 261 259 262 260 260 262 258 259 260 260 258 260 262 262 260 261 259 259 261 260 258 259 262 261 261 259 261 260 260 261 262 261 261 261 262 262 259 259 260 259 260 259 257 259 262 262 257 260 258 258 258 260 260 260 261 262 261 258 262 262 262 262 260 262 260 262 262 261 259 261 260 262 258 259 262 259 261 261 258 261 258 262 259 259 260 259 259 260 260 261 261 258 258 262 261 261 258 260 260 261 258 260 261 259 261 262 262 261 260 260 262 261 261 259 262 261 262 259 260 259 259 261 259 260 260 260 262 261 259 259 261 257 258 259 260 259 262 261 260 261 261 259 262 261 258 262 257 258 260 258 260 262 262 262 260 260 260 261 261 259 259 259 258 260 258 259 260 260 261 260 262 260 262 261 262 259 257 262 259 259 261 259 257 260 259 261 260 262 262 257 261 261 258 261 262 260 260 261 260 258 261 258 262 259 262 259 262 262 261 259 257 260 259 261 259 258 261 258 262 259 260 259 261 260 260 257 262 259 260 261 259 261 257 258 261 262 258 260 261 260 258 261 261 258 261 260 259 262 260 262 261 261 260 259 262 259 259 262 258 258 260 259 260 262 259 261 259 260 257 262 258 258 259 261 261 258 260 260 261 262 260 262 258 261 261 262 260 262 262 261 259 261 262 258 261 261 257 258 258 260 261 260 259 262 262 260 260 261 260 261 261 262 259 261 262 262 262 262 262 258 261 259 262 261 262 262 261 260 259 259 257 260 257 259 261 259 262 260 258 259 262 261 261 261 260 260 262 259 259 260 258 261 261 260 260 259 261 261 262 260 261 259 262 258 259 262 262 261 260 260 262 262 262 261 260 259 260 261 259 259 261 262 262 258 262 261 261 259 262 260 260 262 262 258 259 262 260 260 262 259 262 260 262 261 262 259 260 260 258 259 258 261 261 260 261 262 259 260 260 260 259 259 260 262 260 259 259 257 260 260 261 262 262 261 260 262 262 262 261 261 258 261 260 262 260 259 259 261 261 259 259 262 260 260 260 261 262 260 257 260 261 261 258 262 258 262 259 262 262 262 260 259 260 258 261 260 262 262 259 261 261 261 262 259 260 259 262 259 257 262 261 260 261 262 260 261 259 261 260 259 260 261 262 262 262 258 260 258 258 259 262 258 262 258 261 260 260 260 259 261 262 262 261 259 261 261 257 262 260 261 262 262 260 262 261 258 260 259 258 261 260 258 261 260 262 258 260 259 262 258 258 261 261 262 259 262 260 262 260 260 261 260 260 261 259 259 258 258 260 261 261 262 261 261 262 259 262 260 261 261 260 261 258 262 261 260 259 258 260 260 259 261 257 258 259 262 260 257 261 258 259 259 262 260 260 259 257 261 261 262 262 259 258 262 259 259 262 262 262 261 260 261 258 260 260 261 260 260 259 259 259 260 261 261 262 260 262 259 257 259 260 262 260 261 261 260 259 259 260 262 262 256 261 261 258 260 260 259 261 262 259 261 258 262 259 260 258 262 260 258 262 262 261 262 260 260 262 261 260 262 258 261 262 259 261 259 259 257 260 262 261 260 260 261 261 257 262 261 260 262 259 259 261 260 262 261 261 260 262 261 260 260 259 259 261 260 259 262 262 261 257 260 257
2520.04/2442.31	v       </values>
2520.04/2442.31	v     </instantiation>
2520.04/2442.31	s SATISFIABLE

Verifier Data 

OK	262

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-4262769-1502491362/watcher-4262769-1502491362 -o /tmp/evaluation-result-4262769-1502491362/solver-4262769-1502491362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4884 --watchdog 2580 bin/concrete HOME/instance-4262769-1502491362.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.53 1.57 1.52 4/197 27495
/proc/meminfo: memFree=30172964/32770624 swapFree=0/443816
[pid=27495] ppid=27492 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/27495/stat : 27495 (runsolver) D 27492 27495 4821 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 96951429 24240128 106 18446744073709551615 4194304 4338465 140728565565040 140728565562680 139959123915479 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 18743296 140728565567697 140728565568073 140728565568073 140728565571530 0
/proc/27495/statm: 5918 106 53 36 0 2156 0

[startup+0.100128 s]
/proc/loadavg: 1.53 1.57 1.52 4/197 27495
/proc/meminfo: memFree=30172964/32770624 swapFree=0/443816
[pid=27495] ppid=27492 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/27495/stat : 27495 (bash) S 27492 27495 4821 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 96951429 9736192 350 18446744073709551615 4194304 5098028 140722010012944 140722010010584 140141208321024 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 9 0 0 7196144 7232144 11558912 140722010018324 140722010018409 140722010018409 140722010021866 0
/proc/27495/statm: 2377 350 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200297 s]
/proc/loadavg: 1.53 1.57 1.52 4/197 27495
/proc/meminfo: memFree=30172964/32770624 swapFree=0/443816
[pid=27495] ppid=27492 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/27495/stat : 27495 (bash) S 27492 27495 4821 0 -1 4202496 891 6479 0 0 0 0 0 1 20 0 1 0 96951429 9867264 376 18446744073709551615 4194304 5098028 140722010012944 140722010006952 140141208321024 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 9 0 0 7196144 7232144 11558912 140722010018324 140722010018409 140722010018409 140722010021866 0
/proc/27495/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300318 s]
/proc/loadavg: 1.53 1.57 1.52 4/197 27495
/proc/meminfo: memFree=30172964/32770624 swapFree=0/443816
[pid=27495] ppid=27492 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/27495/stat : 27495 (java) S 27492 27495 4821 0 -1 1077944320 5491 12458 0 0 5 1 5 3 20 0 14 0 96951429 14241083392 5169 18446744073709551615 4194304 4196468 140725618745664 140725618728208 140171915689719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
/proc/27495/statm: 3476827 5169 2568 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.701232 s]
/proc/loadavg: 1.53 1.57 1.52 4/197 27495
/proc/meminfo: memFree=30172964/32770624 swapFree=0/443816
[pid=27495] ppid=27492 vsize=13974784 CPUtime=0.62 cores=0,2,4,6
/proc/27495/stat : 27495 (java) S 27492 27495 4821 0 -1 1077944320 13452 12458 0 0 50 4 5 3 20 0 15 0 96951429 14310178816 14384 18446744073709551615 4194304 4196468 140725618745664 140725618728208 140171915689719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
/proc/27495/statm: 3493696 14384 3065 1 0 3482965 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 13974784

[startup+1.50061 s]
/proc/loadavg: 1.53 1.57 1.52 3/212 27558
/proc/meminfo: memFree=30083500/32770624 swapFree=0/444112
[pid=27495] ppid=27492 vsize=13985408 CPUtime=1.82 cores=0,2,4,6
/proc/27495/stat : 27495 (java) S 27492 27495 4821 0 -1 1077944320 27004 12458 0 0 166 8 5 3 20 0 15 0 96951429 14321057792 33879 18446744073709551615 4194304 4196468 140725618745664 140725618728208 140171915689719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
/proc/27495/statm: 3496352 33879 3343 1 0 3485525 0
[pid=27495/tid=27545] ppid=27492 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/27495/task/27545/stat : 27545 (java) R 27492 27495 4821 0 -1 4202560 21869 12458 0 0 115 6 5 3 20 0 15 0 96951452 14321057792 33879 18446744073709551615 4194304 4196468 140725618745664 140171919922528 140171876667773 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27546] ppid=27492 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27546/stat : 27546 (java) S 27492 27495 4821 0 -1 1077944384 1 12458 0 0 0 0 5 3 20 0 15 0 96951453 14321057792 33879 18446744073709551615 4194304 4196468 140725618745664 140171835103504 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27547] ppid=27492 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27547/stat : 27547 (java) S 27492 27495 4821 0 -1 1077944384 1 12458 0 0 0 0 5 3 20 0 15 0 96951453 14321057792 33879 18446744073709551615 4194304 4196468 140725618745664 140171834050960 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27548] ppid=27492 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27548/stat : 27548 (java) S 27492 27495 4821 0 -1 1077944384 1 12458 0 0 0 0 5 3 20 0 15 0 96951453 14321057792 33879 18446744073709551615 4194304 4196468 140725618745664 140171832998416 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27549] ppid=27492 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27549/stat : 27549 (java) S 27492 27495 4821 0 -1 1077944384 2 12458 0 0 0 0 5 3 20 0 15 0 96951453 14321057792 33879 18446744073709551615 4194304 4196468 140725618745664 140171831945872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27550] ppid=27492 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27550/stat : 27550 (java) S 27492 27495 4821 0 -1 1077944384 5 12458 0 0 0 0 5 3 20 0 15 0 96951454 14321057792 33879 18446744073709551615 4194304 4196468 140725618745664 140171394132464 140171915700866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27551] ppid=27492 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27551/stat : 27551 (java) S 27492 27495 4821 0 -1 1077944384 33 12458 0 0 0 0 5 3 20 0 15 0 96951455 14321057792 33879 18446744073709551615 4194304 4196468 140725618745664 140171393078688 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27552] ppid=27492 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27552/stat : 27552 (java) S 27492 27495 4821 0 -1 1077944384 21 12458 0 0 0 0 5 3 20 0 15 0 96951455 14321057792 33879 18446744073709551615 4194304 4196468 140725618745664 140171392026096 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27553] ppid=27492 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27553/stat : 27553 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14321057792 33879 18446744073709551615 4194304 4196468 140725618745664 140171390974672 140171915708315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27554] ppid=27492 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/27495/task/27554/stat : 27554 (java) S 27492 27495 4821 0 -1 1077944384 1007 12458 0 0 14 0 5 3 20 0 15 0 96951458 14321057792 33879 18446744073709551615 4194304 4196468 140725618745664 140171389921264 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27555] ppid=27492 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/27495/task/27555/stat : 27555 (java) S 27492 27495 4821 0 -1 1077944384 658 12458 0 0 14 0 5 3 20 0 15 0 96951458 14321057792 33879 18446744073709551615 4194304 4196468 140725618745664 140171388868720 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27556] ppid=27492 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/27495/task/27556/stat : 27556 (java) R 27492 27495 4821 0 -1 4202560 1239 12458 0 0 22 0 5 3 20 0 15 0 96951458 14321057792 33879 18446744073709551615 4194304 4196468 140725618745664 140171387816176 140171895153301 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27557] ppid=27492 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27557/stat : 27557 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14321057792 33879 18446744073709551615 4194304 4196468 140725618745664 140171386763872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27558] ppid=27492 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27558/stat : 27558 (java) S 27492 27495 4821 0 -1 1077944384 10 12458 0 0 0 0 5 3 20 0 15 0 96951463 14321057792 33879 18446744073709551615 4194304 4196468 140725618745664 140171385711408 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 13985408

[startup+3.10087 s]
/proc/loadavg: 1.53 1.57 1.52 6/212 27558
/proc/meminfo: memFree=30005508/32770624 swapFree=0/444112
[pid=27495] ppid=27492 vsize=13995836 CPUtime=5.88 cores=0,2,4,6
/proc/27495/stat : 27495 (java) S 27492 27495 4821 0 -1 1077944320 39287 12458 0 0 563 17 5 3 20 0 15 0 96951429 14331736064 71808 18446744073709551615 4194304 4196468 140725618745664 140725618728208 140171915689719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
/proc/27495/statm: 3498959 71808 3459 1 0 3487573 0
[pid=27495/tid=27545] ppid=27492 vsize=13995836 CPUtime=2.83 cores=0,2,4,6
/proc/27495/task/27545/stat : 27545 (java) R 27492 27495 4821 0 -1 4202560 26518 12458 0 0 266 9 5 3 20 0 15 0 96951452 14331736064 71808 18446744073709551615 4194304 4196468 140725618745664 140171919923904 140171518096830 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27546] ppid=27492 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/27495/task/27546/stat : 27546 (java) S 27492 27495 4821 0 -1 1077944384 63 12458 0 0 1 0 5 3 20 0 15 0 96951453 14331736064 71808 18446744073709551615 4194304 4196468 140725618745664 140171835103504 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27547] ppid=27492 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/27495/task/27547/stat : 27547 (java) S 27492 27495 4821 0 -1 1077944384 62 12458 0 0 1 0 5 3 20 0 15 0 96951453 14331736064 71808 18446744073709551615 4194304 4196468 140725618745664 140171834050960 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27548] ppid=27492 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/27495/task/27548/stat : 27548 (java) S 27492 27495 4821 0 -1 1077944384 332 12458 0 0 1 0 5 3 20 0 15 0 96951453 14331736064 71808 18446744073709551615 4194304 4196468 140725618745664 140171832998416 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27549] ppid=27492 vsize=13995836 CPUtime=0.1 cores=0,2,4,6
/proc/27495/task/27549/stat : 27549 (java) S 27492 27495 4821 0 -1 1077944384 94 12458 0 0 1 1 5 3 20 0 15 0 96951453 14331736064 71808 18446744073709551615 4194304 4196468 140725618745664 140171831945872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27550] ppid=27492 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/27495/task/27550/stat : 27550 (java) S 27492 27495 4821 0 -1 1077944384 1226 12458 0 0 1 0 5 3 20 0 15 0 96951454 14331736064 71808 18446744073709551615 4194304 4196468 140725618745664 140171394132464 140171915700866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27551] ppid=27492 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27551/stat : 27551 (java) S 27492 27495 4821 0 -1 1077944384 57 12458 0 0 0 0 5 3 20 0 15 0 96951455 14331736064 71808 18446744073709551615 4194304 4196468 140725618745664 140171393078752 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27552] ppid=27492 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27552/stat : 27552 (java) S 27492 27495 4821 0 -1 1077944384 44 12458 0 0 0 0 5 3 20 0 15 0 96951455 14331736064 71808 18446744073709551615 4194304 4196468 140725618745664 140171392026112 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27553] ppid=27492 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27553/stat : 27553 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14331736064 71808 18446744073709551615 4194304 4196468 140725618745664 140171390974672 140171915708315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27554] ppid=27492 vsize=13995836 CPUtime=1.03 cores=0,2,4,6
/proc/27495/task/27554/stat : 27554 (java) R 27492 27495 4821 0 -1 4202560 2604 12458 0 0 95 0 5 3 20 0 15 0 96951458 14331736064 71808 18446744073709551615 4194304 4196468 140725618745664 140171389906224 140171900799756 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27555] ppid=27492 vsize=13995836 CPUtime=1.02 cores=0,2,4,6
/proc/27495/task/27555/stat : 27555 (java) R 27492 27495 4821 0 -1 4202560 2040 12458 0 0 93 1 5 3 20 0 15 0 96951458 14331736064 71808 18446744073709551615 4194304 4196468 140725618745664 140171388867120 140171900079309 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27556] ppid=27492 vsize=13995836 CPUtime=1.07 cores=0,2,4,6
/proc/27495/task/27556/stat : 27556 (java) R 27492 27495 4821 0 -1 4202560 4077 12458 0 0 98 1 5 3 20 0 15 0 96951458 14331736064 71808 18446744073709551615 4194304 4196468 140725618745664 140171387816176 140171894637460 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27557] ppid=27492 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27557/stat : 27557 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14331736064 71808 18446744073709551615 4194304 4196468 140725618745664 140171386763872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27558] ppid=27492 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27558/stat : 27558 (java) S 27492 27495 4821 0 -1 1077944384 13 12458 0 0 0 0 5 3 20 0 15 0 96951463 14331736064 71808 18446744073709551615 4194304 4196468 140725618745664 140171385711408 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 13995836

[startup+6.30076 s]
/proc/loadavg: 1.65 1.59 1.52 4/212 27558
/proc/meminfo: memFree=29759340/32770624 swapFree=0/444108
[pid=27495] ppid=27492 vsize=13997884 CPUtime=14.5 cores=0,2,4,6
/proc/27495/stat : 27495 (java) S 27492 27495 4821 0 -1 1077944320 58090 12458 0 0 1398 44 5 3 20 0 15 0 96951429 14333833216 157055 18446744073709551615 4194304 4196468 140725618745664 140725618728208 140171915689719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
/proc/27495/statm: 3499471 157055 3478 1 0 3488085 0
[pid=27495/tid=27545] ppid=27492 vsize=13997884 CPUtime=5.77 cores=0,2,4,6
/proc/27495/task/27545/stat : 27545 (java) R 27492 27495 4821 0 -1 4202560 28351 12458 0 0 558 11 5 3 20 0 15 0 96951452 14333833216 157055 18446744073709551615 4194304 4196468 140725618745664 140171919924656 140171523343492 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27546] ppid=27492 vsize=13997884 CPUtime=0.34 cores=0,2,4,6
/proc/27495/task/27546/stat : 27546 (java) S 27492 27495 4821 0 -1 1077944384 1257 12458 0 0 20 6 5 3 20 0 15 0 96951453 14333833216 157055 18446744073709551615 4194304 4196468 140725618745664 140171835103504 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27547] ppid=27492 vsize=13997884 CPUtime=0.31 cores=0,2,4,6
/proc/27495/task/27547/stat : 27547 (java) S 27492 27495 4821 0 -1 1077944384 338 12458 0 0 18 5 5 3 20 0 15 0 96951453 14333833216 157055 18446744073709551615 4194304 4196468 140725618745664 140171834050960 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27548] ppid=27492 vsize=13997884 CPUtime=0.31 cores=0,2,4,6
/proc/27495/task/27548/stat : 27548 (java) S 27492 27495 4821 0 -1 1077944384 687 12458 0 0 18 5 5 3 20 0 15 0 96951453 14333833216 157055 18446744073709551615 4194304 4196468 140725618745664 140171832998416 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27549] ppid=27492 vsize=13997884 CPUtime=0.34 cores=0,2,4,6
/proc/27495/task/27549/stat : 27549 (java) S 27492 27495 4821 0 -1 1077944384 716 12458 0 0 20 6 5 3 20 0 15 0 96951453 14333833216 157055 18446744073709551615 4194304 4196468 140725618745664 140171831945872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27550] ppid=27492 vsize=13997884 CPUtime=0.1 cores=0,2,4,6
/proc/27495/task/27550/stat : 27550 (java) S 27492 27495 4821 0 -1 1077944384 1723 12458 0 0 2 0 5 3 20 0 15 0 96951454 14333833216 157055 18446744073709551615 4194304 4196468 140725618745664 140171394132464 140171915700866 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27551] ppid=27492 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27551/stat : 27551 (java) S 27492 27495 4821 0 -1 1077944384 57 12458 0 0 0 0 5 3 20 0 15 0 96951455 14333833216 157055 18446744073709551615 4194304 4196468 140725618745664 140171393078752 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27552] ppid=27492 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27552/stat : 27552 (java) S 27492 27495 4821 0 -1 1077944384 44 12458 0 0 0 0 5 3 20 0 15 0 96951455 14333833216 157055 18446744073709551615 4194304 4196468 140725618745664 140171392026112 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27553] ppid=27492 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27553/stat : 27553 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14333833216 157055 18446744073709551615 4194304 4196468 140725618745664 140171390974672 140171915708315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27554] ppid=27492 vsize=13997884 CPUtime=3.29 cores=0,2,4,6
/proc/27495/task/27554/stat : 27554 (java) S 27492 27495 4821 0 -1 1077944384 8392 12458 0 0 320 1 5 3 20 0 15 0 96951458 14333833216 157055 18446744073709551615 4194304 4196468 140725618745664 140171389921264 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27555] ppid=27492 vsize=13997884 CPUtime=3.16 cores=0,2,4,6
/proc/27495/task/27555/stat : 27555 (java) S 27492 27495 4821 0 -1 1077944384 7975 12458 0 0 304 4 5 3 20 0 15 0 96951458 14333833216 157055 18446744073709551615 4194304 4196468 140725618745664 140171388868720 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27556] ppid=27492 vsize=13997884 CPUtime=1.41 cores=0,2,4,6
/proc/27495/task/27556/stat : 27556 (java) S 27492 27495 4821 0 -1 1077944384 6316 12458 0 0 132 1 5 3 20 0 15 0 96951458 14333833216 157055 18446744073709551615 4194304 4196468 140725618745664 140171387816176 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27557] ppid=27492 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27557/stat : 27557 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14333833216 157055 18446744073709551615 4194304 4196468 140725618745664 140171386763872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27558] ppid=27492 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27558/stat : 27558 (java) S 27492 27495 4821 0 -1 1077944384 77 12458 0 0 0 0 5 3 20 0 15 0 96951463 14333833216 157055 18446744073709551615 4194304 4196468 140725618745664 140171385711408 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
Current children cumulated CPU time (s) 14.5
Current children cumulated vsize (KiB) 13997884

[startup+12.7007 s]
/proc/loadavg: 1.68 1.60 1.53 6/214 27561
/proc/meminfo: memFree=28494168/32770624 swapFree=0/444108
[pid=27495] ppid=27492 vsize=13999932 CPUtime=25.84 cores=0,2,4,6
/proc/27495/stat : 27495 (java) S 27492 27495 4821 0 -1 1077944320 73889 12458 0 0 2499 77 5 3 20 0 15 0 96951429 14335930368 422587 18446744073709551615 4194304 4196468 140725618745664 140725618728208 140171915689719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
/proc/27495/statm: 3499983 422587 3480 1 0 3488597 0
[pid=27495/tid=27545] ppid=27492 vsize=13999932 CPUtime=11.89 cores=0,2,4,6
/proc/27495/task/27545/stat : 27545 (java) R 27492 27495 4821 0 -1 4202560 32570 12458 0 0 1157 24 5 3 20 0 15 0 96951452 14335930368 422587 18446744073709551615 4194304 4196468 140725618745664 140171919920880 140171509310978 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27546] ppid=27492 vsize=13999932 CPUtime=0.54 cores=0,2,4,6
/proc/27495/task/27546/stat : 27546 (java) S 27492 27495 4821 0 -1 1077944384 1522 12458 0 0 36 10 5 3 20 0 15 0 96951453 14335930368 422587 18446744073709551615 4194304 4196468 140725618745664 140171835103504 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27547] ppid=27492 vsize=13999932 CPUtime=0.57 cores=0,2,4,6
/proc/27495/task/27547/stat : 27547 (java) S 27492 27495 4821 0 -1 1077944384 593 12458 0 0 39 10 5 3 20 0 15 0 96951453 14335930368 422587 18446744073709551615 4194304 4196468 140725618745664 140171834050960 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27548] ppid=27492 vsize=13999932 CPUtime=0.55 cores=0,2,4,6
/proc/27495/task/27548/stat : 27548 (java) S 27492 27495 4821 0 -1 1077944384 889 12458 0 0 37 10 5 3 20 0 15 0 96951453 14335930368 422587 18446744073709551615 4194304 4196468 140725618745664 140171832998416 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27549] ppid=27492 vsize=13999932 CPUtime=0.57 cores=0,2,4,6
/proc/27495/task/27549/stat : 27549 (java) S 27492 27495 4821 0 -1 1077944384 855 12458 0 0 39 10 5 3 20 0 15 0 96951453 14335930368 422587 18446744073709551615 4194304 4196468 140725618745664 140171831945872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27550] ppid=27492 vsize=13999932 CPUtime=0.11 cores=0,2,4,6
/proc/27495/task/27550/stat : 27550 (java) S 27492 27495 4821 0 -1 1077944384 2422 12458 0 0 3 0 5 3 20 0 15 0 96951454 14335930368 422587 18446744073709551615 4194304 4196468 140725618745664 140171394132464 140171915700866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27551] ppid=27492 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27551/stat : 27551 (java) S 27492 27495 4821 0 -1 1077944384 62 12458 0 0 0 0 5 3 20 0 15 0 96951455 14335930368 422587 18446744073709551615 4194304 4196468 140725618745664 140171393078752 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27552] ppid=27492 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27552/stat : 27552 (java) S 27492 27495 4821 0 -1 1077944384 50 12458 0 0 0 0 5 3 20 0 15 0 96951455 14335930368 422587 18446744073709551615 4194304 4196468 140725618745664 140171392026112 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27553] ppid=27492 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27553/stat : 27553 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14335930368 422587 18446744073709551615 4194304 4196468 140725618745664 140171390974672 140171915708315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0

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

/proc/27495/task/27557/stat : 27557 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14407233536 1157318 18446744073709551615 4194304 4196468 140725618745664 140171386763872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27558] ppid=27492 vsize=14069564 CPUtime=1.37 cores=0,2,4,6
/proc/27495/task/27558/stat : 27558 (java) S 27492 27495 4821 0 -1 1077944384 2330 12458 0 0 65 64 5 3 20 0 15 0 96951463 14407233536 1157318 18446744073709551615 4194304 4196468 140725618745664 140171385711408 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
Current children cumulated CPU time (s) 2396.53
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.75 1.72 1.64 3/214 27867
/proc/meminfo: memFree=25140124/32770624 swapFree=0/444472
[pid=27495] ppid=27492 vsize=14069564 CPUtime=2458.41 cores=0,2,4,6
/proc/27495/stat : 27495 (java) S 27492 27495 4821 0 -1 1077944320 602084 12458 0 0 245334 499 5 3 20 0 15 0 96951429 14407233536 1171654 18446744073709551615 4194304 4196468 140725618745664 140725618728208 140171915689719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
/proc/27495/statm: 3517391 1171654 3505 1 0 3506005 0
[pid=27495/tid=27545] ppid=27492 vsize=14069564 CPUtime=2363.71 cores=0,2,4,6
/proc/27495/task/27545/stat : 27545 (java) R 27492 27495 4821 0 -1 4202560 292635 12458 0 0 236272 91 5 3 20 0 15 0 96951452 14407233536 1171654 18446744073709551615 4194304 4196468 140725618745664 140171919925112 140171520985248 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27546] ppid=27492 vsize=14069564 CPUtime=17.53 cores=0,2,4,6
/proc/27495/task/27546/stat : 27546 (java) S 27492 27495 4821 0 -1 1077944384 33766 12458 0 0 1664 81 5 3 20 0 15 0 96951453 14407233536 1171654 18446744073709551615 4194304 4196468 140725618745664 140171835103504 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27547] ppid=27492 vsize=14069564 CPUtime=17.59 cores=0,2,4,6
/proc/27495/task/27547/stat : 27547 (java) S 27492 27495 4821 0 -1 1077944384 27765 12458 0 0 1670 81 5 3 20 0 15 0 96951453 14407233536 1171654 18446744073709551615 4194304 4196468 140725618745664 140171834050960 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27548] ppid=27492 vsize=14069564 CPUtime=17.54 cores=0,2,4,6
/proc/27495/task/27548/stat : 27548 (java) S 27492 27495 4821 0 -1 1077944384 30640 12458 0 0 1666 80 5 3 20 0 15 0 96951453 14407233536 1171654 18446744073709551615 4194304 4196468 140725618745664 140171832998416 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27549] ppid=27492 vsize=14069564 CPUtime=17.56 cores=0,2,4,6
/proc/27495/task/27549/stat : 27549 (java) S 27492 27495 4821 0 -1 1077944384 33690 12458 0 0 1666 82 5 3 20 0 15 0 96951453 14407233536 1171654 18446744073709551615 4194304 4196468 140725618745664 140171831945872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27550] ppid=27492 vsize=14069564 CPUtime=0.67 cores=0,2,4,6
/proc/27495/task/27550/stat : 27550 (java) S 27492 27495 4821 0 -1 1077944384 40832 12458 0 0 49 10 5 3 20 0 15 0 96951454 14407233536 1171654 18446744073709551615 4194304 4196468 140725618745664 140171394132464 140171915700866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27551] ppid=27492 vsize=14069564 CPUtime=0.09 cores=0,2,4,6
/proc/27495/task/27551/stat : 27551 (java) S 27492 27495 4821 0 -1 1077944384 200 12458 0 0 1 0 5 3 20 0 15 0 96951455 14407233536 1171654 18446744073709551615 4194304 4196468 140725618745664 140171393078752 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27552] ppid=27492 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27552/stat : 27552 (java) S 27492 27495 4821 0 -1 1077944384 57 12458 0 0 0 0 5 3 20 0 15 0 96951455 14407233536 1171654 18446744073709551615 4194304 4196468 140725618745664 140171392026112 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27553] ppid=27492 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27553/stat : 27553 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14407233536 1171654 18446744073709551615 4194304 4196468 140725618745664 140171390974672 140171915708315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27554] ppid=27492 vsize=14069564 CPUtime=9.91 cores=0,2,4,6
/proc/27495/task/27554/stat : 27554 (java) S 27492 27495 4821 0 -1 1077944384 37928 12458 0 0 979 4 5 3 20 0 15 0 96951458 14407233536 1171654 18446744073709551615 4194304 4196468 140725618745664 140171389921264 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27555] ppid=27492 vsize=14069564 CPUtime=10.1 cores=0,2,4,6
/proc/27495/task/27555/stat : 27555 (java) S 27492 27495 4821 0 -1 1077944384 39683 12458 0 0 995 7 5 3 20 0 15 0 96951458 14407233536 1171654 18446744073709551615 4194304 4196468 140725618745664 140171388868720 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27556] ppid=27492 vsize=14069564 CPUtime=3 cores=0,2,4,6
/proc/27495/task/27556/stat : 27556 (java) S 27492 27495 4821 0 -1 1077944384 60365 12458 0 0 285 7 5 3 20 0 15 0 96951458 14407233536 1171654 18446744073709551615 4194304 4196468 140725618745664 140171387816176 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27557] ppid=27492 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27557/stat : 27557 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14407233536 1171654 18446744073709551615 4194304 4196468 140725618745664 140171386763872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27558] ppid=27492 vsize=14069564 CPUtime=1.4 cores=0,2,4,6
/proc/27495/task/27558/stat : 27558 (java) S 27492 27495 4821 0 -1 1077944384 2366 12458 0 0 66 66 5 3 20 0 15 0 96951463 14407233536 1171654 18446744073709551615 4194304 4196468 140725618745664 140171385711408 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
Current children cumulated CPU time (s) 2458.41
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.67 1.70 1.64 3/214 27869
/proc/meminfo: memFree=25109744/32770624 swapFree=0/444488
[pid=27495] ppid=27492 vsize=14069564 CPUtime=2520.04 cores=0,2,4,6
/proc/27495/stat : 27495 (java) S 27492 27495 4821 0 -1 1077944320 626427 12458 0 0 251492 504 5 3 20 0 15 0 96951429 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140725618728208 140171915689719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
/proc/27495/statm: 3517391 1180468 3505 1 0 3506005 0
[pid=27495/tid=27545] ppid=27492 vsize=14069564 CPUtime=2423.14 cores=0,2,4,6
/proc/27495/task/27545/stat : 27545 (java) R 27492 27495 4821 0 -1 4202560 299345 12458 0 0 242213 93 5 3 20 0 15 0 96951452 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171919919072 140171529167672 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27546] ppid=27492 vsize=14069564 CPUtime=18.06 cores=0,2,4,6
/proc/27495/task/27546/stat : 27546 (java) S 27492 27495 4821 0 -1 1077944384 34400 12458 0 0 1716 82 5 3 20 0 15 0 96951453 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171835103504 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27547] ppid=27492 vsize=14069564 CPUtime=18.12 cores=0,2,4,6
/proc/27495/task/27547/stat : 27547 (java) S 27492 27495 4821 0 -1 1077944384 28676 12458 0 0 1723 81 5 3 20 0 15 0 96951453 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171834050960 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27548] ppid=27492 vsize=14069564 CPUtime=18.08 cores=0,2,4,6
/proc/27495/task/27548/stat : 27548 (java) S 27492 27495 4821 0 -1 1077944384 31471 12458 0 0 1720 80 5 3 20 0 15 0 96951453 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171832998416 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27549] ppid=27492 vsize=14069564 CPUtime=18.11 cores=0,2,4,6
/proc/27495/task/27549/stat : 27549 (java) S 27492 27495 4821 0 -1 1077944384 35530 12458 0 0 1720 83 5 3 20 0 15 0 96951453 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171831945872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27550] ppid=27492 vsize=14069564 CPUtime=0.7 cores=0,2,4,6
/proc/27495/task/27550/stat : 27550 (java) S 27492 27495 4821 0 -1 1077944384 52767 12458 0 0 51 11 5 3 20 0 15 0 96951454 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171394132464 140171915700866 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27551] ppid=27492 vsize=14069564 CPUtime=0.09 cores=0,2,4,6
/proc/27495/task/27551/stat : 27551 (java) S 27492 27495 4821 0 -1 1077944384 202 12458 0 0 1 0 5 3 20 0 15 0 96951455 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171393078752 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27552] ppid=27492 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27552/stat : 27552 (java) S 27492 27495 4821 0 -1 1077944384 57 12458 0 0 0 0 5 3 20 0 15 0 96951455 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171392026112 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27553] ppid=27492 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27553/stat : 27553 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171390974672 140171915708315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27554] ppid=27492 vsize=14069564 CPUtime=9.92 cores=0,2,4,6
/proc/27495/task/27554/stat : 27554 (java) S 27492 27495 4821 0 -1 1077944384 39337 12458 0 0 980 4 5 3 20 0 15 0 96951458 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171389921264 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27555] ppid=27492 vsize=14069564 CPUtime=10.1 cores=0,2,4,6
/proc/27495/task/27555/stat : 27555 (java) S 27492 27495 4821 0 -1 1077944384 39690 12458 0 0 995 7 5 3 20 0 15 0 96951458 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171388868720 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27556] ppid=27492 vsize=14069564 CPUtime=3 cores=0,2,4,6
/proc/27495/task/27556/stat : 27556 (java) S 27492 27495 4821 0 -1 1077944384 60369 12458 0 0 285 7 5 3 20 0 15 0 96951458 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171387816176 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27557] ppid=27492 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27557/stat : 27557 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171386763872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27558] ppid=27492 vsize=14069564 CPUtime=1.43 cores=0,2,4,6
/proc/27495/task/27558/stat : 27558 (java) S 27492 27495 4821 0 -1 1077944384 2426 12458 0 0 67 68 5 3 20 0 15 0 96951463 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171385711408 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2442.3 s]
/proc/loadavg: 1.67 1.70 1.64 3/214 27869
/proc/meminfo: memFree=25109744/32770624 swapFree=0/444488
[pid=27495] ppid=27492 vsize=14069564 CPUtime=2520.04 cores=0,2,4,6
/proc/27495/stat : 27495 (java) S 27492 27495 4821 0 -1 1077944320 626427 12458 0 0 251492 504 5 3 20 0 15 0 96951429 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140725618728208 140171915689719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
/proc/27495/statm: 3517391 1180468 3505 1 0 3506005 0
[pid=27495/tid=27545] ppid=27492 vsize=14069564 CPUtime=2423.14 cores=0,2,4,6
/proc/27495/task/27545/stat : 27545 (java) R 27492 27495 4821 0 -1 4202560 299345 12458 0 0 242213 93 5 3 20 0 15 0 96951452 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171919919072 140171529167672 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27546] ppid=27492 vsize=14069564 CPUtime=18.06 cores=0,2,4,6
/proc/27495/task/27546/stat : 27546 (java) S 27492 27495 4821 0 -1 1077944384 34400 12458 0 0 1716 82 5 3 20 0 15 0 96951453 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171835103504 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27547] ppid=27492 vsize=14069564 CPUtime=18.12 cores=0,2,4,6
/proc/27495/task/27547/stat : 27547 (java) S 27492 27495 4821 0 -1 1077944384 28676 12458 0 0 1723 81 5 3 20 0 15 0 96951453 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171834050960 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27548] ppid=27492 vsize=14069564 CPUtime=18.08 cores=0,2,4,6
/proc/27495/task/27548/stat : 27548 (java) S 27492 27495 4821 0 -1 1077944384 31471 12458 0 0 1720 80 5 3 20 0 15 0 96951453 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171832998416 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27549] ppid=27492 vsize=14069564 CPUtime=18.11 cores=0,2,4,6
/proc/27495/task/27549/stat : 27549 (java) S 27492 27495 4821 0 -1 1077944384 35530 12458 0 0 1720 83 5 3 20 0 15 0 96951453 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171831945872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27550] ppid=27492 vsize=14069564 CPUtime=0.7 cores=0,2,4,6
/proc/27495/task/27550/stat : 27550 (java) S 27492 27495 4821 0 -1 1077944384 52767 12458 0 0 51 11 5 3 20 0 15 0 96951454 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171394132464 140171915700866 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27551] ppid=27492 vsize=14069564 CPUtime=0.09 cores=0,2,4,6
/proc/27495/task/27551/stat : 27551 (java) S 27492 27495 4821 0 -1 1077944384 202 12458 0 0 1 0 5 3 20 0 15 0 96951455 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171393078752 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27552] ppid=27492 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27552/stat : 27552 (java) S 27492 27495 4821 0 -1 1077944384 57 12458 0 0 0 0 5 3 20 0 15 0 96951455 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171392026112 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27553] ppid=27492 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27553/stat : 27553 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171390974672 140171915708315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27554] ppid=27492 vsize=14069564 CPUtime=9.92 cores=0,2,4,6
/proc/27495/task/27554/stat : 27554 (java) S 27492 27495 4821 0 -1 1077944384 39337 12458 0 0 980 4 5 3 20 0 15 0 96951458 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171389921264 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27555] ppid=27492 vsize=14069564 CPUtime=10.1 cores=0,2,4,6
/proc/27495/task/27555/stat : 27555 (java) S 27492 27495 4821 0 -1 1077944384 39690 12458 0 0 995 7 5 3 20 0 15 0 96951458 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171388868720 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27556] ppid=27492 vsize=14069564 CPUtime=3 cores=0,2,4,6
/proc/27495/task/27556/stat : 27556 (java) S 27492 27495 4821 0 -1 1077944384 60369 12458 0 0 285 7 5 3 20 0 15 0 96951458 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171387816176 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27557] ppid=27492 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27557/stat : 27557 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171386763872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27558] ppid=27492 vsize=14069564 CPUtime=1.43 cores=0,2,4,6
/proc/27495/task/27558/stat : 27558 (java) S 27492 27495 4821 0 -1 1077944384 2426 12458 0 0 67 68 5 3 20 0 15 0 96951463 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171385711408 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 14069564

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

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

[startup+2442.3 s]
/proc/loadavg: 1.67 1.70 1.64 3/214 27869
/proc/meminfo: memFree=25109744/32770624 swapFree=0/444488
[pid=27495] ppid=27492 vsize=14069564 CPUtime=2520.04 cores=0,2,4,6
/proc/27495/stat : 27495 (java) S 27492 27495 4821 0 -1 1077944320 626427 12458 0 0 251492 504 5 3 20 0 15 0 96951429 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140725618728208 140171915689719 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
/proc/27495/statm: 3517391 1180468 3505 1 0 3506005 0
[pid=27495/tid=27545] ppid=27492 vsize=14069564 CPUtime=2423.14 cores=0,2,4,6
/proc/27495/task/27545/stat : 27545 (java) R 27492 27495 4821 0 -1 4202560 299345 12458 0 0 242213 93 5 3 20 0 15 0 96951452 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171919919072 140171529167672 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27546] ppid=27492 vsize=14069564 CPUtime=18.06 cores=0,2,4,6
/proc/27495/task/27546/stat : 27546 (java) S 27492 27495 4821 0 -1 1077944384 34400 12458 0 0 1716 82 5 3 20 0 15 0 96951453 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171835103504 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27547] ppid=27492 vsize=14069564 CPUtime=18.12 cores=0,2,4,6
/proc/27495/task/27547/stat : 27547 (java) S 27492 27495 4821 0 -1 1077944384 28676 12458 0 0 1723 81 5 3 20 0 15 0 96951453 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171834050960 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27548] ppid=27492 vsize=14069564 CPUtime=18.08 cores=0,2,4,6
/proc/27495/task/27548/stat : 27548 (java) S 27492 27495 4821 0 -1 1077944384 31471 12458 0 0 1720 80 5 3 20 0 15 0 96951453 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171832998416 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27549] ppid=27492 vsize=14069564 CPUtime=18.11 cores=0,2,4,6
/proc/27495/task/27549/stat : 27549 (java) S 27492 27495 4821 0 -1 1077944384 35530 12458 0 0 1720 83 5 3 20 0 15 0 96951453 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171831945872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27550] ppid=27492 vsize=14069564 CPUtime=0.7 cores=0,2,4,6
/proc/27495/task/27550/stat : 27550 (java) S 27492 27495 4821 0 -1 1077944384 52767 12458 0 0 51 11 5 3 20 0 15 0 96951454 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171394132464 140171915700866 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27551] ppid=27492 vsize=14069564 CPUtime=0.09 cores=0,2,4,6
/proc/27495/task/27551/stat : 27551 (java) S 27492 27495 4821 0 -1 1077944384 202 12458 0 0 1 0 5 3 20 0 15 0 96951455 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171393078752 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27552] ppid=27492 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27552/stat : 27552 (java) S 27492 27495 4821 0 -1 1077944384 57 12458 0 0 0 0 5 3 20 0 15 0 96951455 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171392026112 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27553] ppid=27492 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27553/stat : 27553 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171390974672 140171915708315 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27554] ppid=27492 vsize=14069564 CPUtime=9.92 cores=0,2,4,6
/proc/27495/task/27554/stat : 27554 (java) S 27492 27495 4821 0 -1 1077944384 39337 12458 0 0 980 4 5 3 20 0 15 0 96951458 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171389921264 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27555] ppid=27492 vsize=14069564 CPUtime=10.1 cores=0,2,4,6
/proc/27495/task/27555/stat : 27555 (java) S 27492 27495 4821 0 -1 1077944384 39690 12458 0 0 995 7 5 3 20 0 15 0 96951458 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171388868720 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27556] ppid=27492 vsize=14069564 CPUtime=3 cores=0,2,4,6
/proc/27495/task/27556/stat : 27556 (java) S 27492 27495 4821 0 -1 1077944384 60369 12458 0 0 285 7 5 3 20 0 15 0 96951458 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171387816176 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27557] ppid=27492 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/27495/task/27557/stat : 27557 (java) S 27492 27495 4821 0 -1 1077944384 3 12458 0 0 0 0 5 3 20 0 15 0 96951458 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171386763872 140171915699925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
[pid=27495/tid=27558] ppid=27492 vsize=14069564 CPUtime=1.43 cores=0,2,4,6
/proc/27495/task/27558/stat : 27558 (java) S 27492 27495 4821 0 -1 1077944384 2426 12458 0 0 67 68 5 3 20 0 15 0 96951463 14407233536 1180468 18446744073709551615 4194304 4196468 140725618745664 140171385711408 140171915700866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27205632 140725618747344 140725618750129 140725618750129 140725618753487 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 14069564

Child status: 143
Real time (s): 2442.35
CPU time (s): 2520.11
CPU user time (s): 2515
CPU system time (s): 5.10635
CPU usage (%): 103.184
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515
system time used= 5.10635
maximum resident set size= 4721972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 639257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68481
involuntary context switches= 5131

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1009 second user time and 16.298 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-12 00:28:34
IDJOB=4262769
IDBENCH=140589
IDSOLVER=2650
FILE ID=node133/4262769-1502491362
RUNJOBID= node133-1502411423-4884
PBS_JOBID= 
Free space on /tmp= 62008 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-4262769-1502491362/watcher-4262769-1502491362 -o /tmp/evaluation-result-4262769-1502491362/solver-4262769-1502491362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4884 --watchdog 2580  bin/concrete HOME/instance-4262769-1502491362.xml

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

MD5SUM BENCH= 0962135a9df7191e1203c0b83ceb0052
RANDOM SEED=1622416269

node133.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.17
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.17
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.17
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.17
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:        30173252 kB
MemAvailable:   31081644 kB
Buffers:          301156 kB
Cached:           900928 kB
SwapCached:            0 kB
Active:          1684244 kB
Inactive:         476928 kB
Active(anon):     959464 kB
Inactive(anon):    33112 kB
Active(file):     724780 kB
Inactive(file):   443816 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24544 kB
Writeback:             4 kB
AnonPages:        958440 kB
Mapped:            65312 kB
Shmem:             33468 kB
Slab:             138544 kB
SReclaimable:     111260 kB
SUnreclaim:        27284 kB
KernelStack:        3520 kB
PageTables:         7240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1862200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    862208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61984 MiB
End job on node133 at 2017-08-12 01:09:17