Trace number 4285608

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
OscaR - Parallel with EPS 2017-08-22SAT (TO)593 19879.801 2520.1799

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-40.xml
MD5SUMd153897c9dbbbf34794d1a29a7a79358
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables1600
Number of constraints9880
Number of domains1
Minimum domain size780
Maximum domain size780
Distribution of domain sizes[{"size":780,"count":780}]
Minimum variable degree0
Maximum variable degree39
Distribution of variable degrees[{"degree":0,"count":820},{"degree":39,"count":780}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":9880}]
Number of extensional constraints0
Number of intensional constraints9880
Distribution of constraint types[{"type":"intension","count":9880}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.29/0.25	c version: 2017-08-22
0.29/0.26	c seed: 686496628
0.29/0.26	c timeout: 20160
0.29/0.26	c memlimit: 22000
0.29/0.26	c nbcore: 8
0.29/0.28	c Parsing instance...
4.62/1.47	c Parsing done, starting search...
375.22/64.71	o 779
705.93/106.31	o 778
1026.35/146.60	o 777
1325.45/184.39	o 776
1626.14/222.45	o 775
1920.04/259.41	o 774
2209.55/295.87	o 773
2479.69/329.86	o 772
2769.29/366.68	o 771
3037.00/400.38	o 770
3290.34/432.27	o 769
3543.15/464.05	o 768
3792.46/495.41	o 767
4035.74/526.05	o 766
4278.10/556.51	o 765
4493.69/583.63	o 764
4710.82/610.90	o 763
4933.46/639.01	o 762
5143.18/665.36	o 761
5347.52/691.09	o 760
5547.09/716.17	o 759
5750.64/741.76	o 758
5946.75/766.41	o 757
6148.61/791.81	o 756
6344.50/816.56	o 755
6540.32/841.14	o 754
6733.24/865.45	o 753
6920.67/889.07	o 752
7111.40/913.09	o 751
7304.53/937.35	o 750
7482.45/959.75	o 749
7654.17/981.37	o 748
7815.64/1001.66	o 747
7973.05/1021.40	o 746
8123.28/1040.31	o 745
8271.89/1059.10	o 744
8415.80/1077.16	o 743
8558.01/1095.02	o 742
8698.51/1112.72	o 741
8837.67/1130.24	o 740
8974.52/1147.42	o 739
9104.93/1163.89	o 738
9239.20/1180.74	o 737
9370.49/1197.21	o 736
9493.01/1212.64	o 735
9613.72/1227.84	o 734
9737.80/1243.45	o 733
9861.54/1259.10	o 732
9977.99/1273.73	o 731
10098.40/1289.01	o 730
10216.89/1303.89	o 729
10328.94/1317.91	o 728
10440.28/1331.97	o 727
10552.48/1346.08	o 726
10664.42/1360.15	o 725
10777.17/1374.30	o 724
10890.75/1388.66	o 723
11003.58/1402.86	o 722
11116.60/1417.06	o 721
11224.61/1430.68	o 720
11328.76/1443.76	o 719
11431.01/1456.64	o 718
11534.34/1469.61	o 717
11639.18/1482.89	o 716
11743.36/1495.94	o 715
11849.03/1509.23	o 714
11947.63/1521.65	o 713
12046.36/1534.10	o 712
12143.91/1546.31	o 711
12240.71/1558.59	o 710
12341.61/1571.29	o 709
12443.19/1584.02	o 708
12543.26/1596.66	o 707
12644.95/1609.41	o 706
12746.69/1622.28	o 705
12847.65/1634.91	o 704
12947.01/1647.47	o 703
13053.47/1660.81	o 702
13146.56/1672.51	o 701
13238.11/1684.09	o 700
13330.04/1695.69	o 699
13421.54/1707.17	o 698
13512.20/1718.59	o 697
13602.07/1729.83	o 696
13692.15/1741.16	o 695
13785.70/1752.91	o 694
13864.16/1762.86	o 693
13942.05/1772.64	o 692
14020.84/1782.56	o 691
14098.84/1792.34	o 690
14176.85/1802.13	o 689
14255.55/1812.08	o 688
14333.39/1821.89	o 687
14415.22/1832.17	o 686
14494.74/1842.13	o 685
14569.44/1851.56	o 684
14647.36/1861.40	o 683
14726.02/1871.27	o 682
14804.80/1881.19	o 681
14883.64/1891.06	o 680
14967.48/1901.67	o 679
15046.21/1911.57	o 678
15124.97/1921.41	o 677
15202.92/1931.23	o 676
15279.15/1940.89	o 675
15341.98/1948.75	o 674
15418.37/1958.39	o 673
15487.59/1967.07	o 672
15554.05/1975.46	o 671
15620.82/1983.84	o 670
15687.62/1992.27	o 669
15754.32/2000.66	o 668
15820.34/2008.98	o 667
15886.31/2017.28	o 666
15953.17/2025.61	o 665
16022.20/2034.33	o 664
16081.82/2041.82	o 663
16146.17/2049.98	o 662
16210.69/2058.13	o 661
16275.81/2066.23	o 660
16341.05/2074.42	o 659
16403.11/2082.29	o 658
16465.24/2090.07	o 657
16530.91/2098.36	o 656
16588.03/2105.57	o 655
16648.71/2113.16	o 654
16708.19/2120.69	o 653
16767.82/2128.14	o 652
16827.30/2135.61	o 651
16885.37/2142.91	o 650
16944.15/2150.31	o 649
17005.27/2158.07	o 648
17057.70/2164.69	o 647
17116.65/2172.09	o 646
17176.20/2179.58	o 645
17235.07/2186.94	o 644
17292.42/2194.14	o 643
17351.12/2201.50	o 642
17409.20/2208.83	o 641
17464.75/2215.81	o 640
17516.47/2222.32	o 639
17567.37/2228.80	o 638
17619.01/2235.25	o 637
17672.16/2241.92	o 636
17727.72/2248.95	o 635
17780.06/2255.52	o 634
17831.86/2262.01	o 633
17883.45/2268.52	o 632
17938.07/2275.44	o 631
17989.07/2281.85	o 630
18039.82/2288.27	o 629
18091.56/2294.71	o 628
18144.02/2301.39	o 627
18196.50/2307.92	o 626
18248.12/2314.50	o 625
18301.46/2321.17	o 624
18352.25/2327.53	o 623
18414.00/2335.64	o 622
18468.80/2342.51	o 621
18519.74/2348.96	o 620
18574.58/2355.85	o 619
18630.16/2362.82	o 618
18684.19/2369.64	o 617
18736.56/2376.30	o 616
18785.90/2382.50	o 615
18834.42/2388.57	o 614
18886.76/2395.12	o 613
18935.84/2401.39	o 612
18985.98/2407.65	o 611
19035.96/2413.97	o 610
19083.71/2419.99	o 609
19132.19/2426.02	o 608
19183.61/2432.55	o 607
19229.52/2438.36	o 606
19275.61/2444.13	o 605
19324.63/2450.32	o 604
19371.48/2456.23	o 603
19418.39/2462.15	o 602
19464.47/2467.98	o 601
19512.22/2473.94	o 600
19558.38/2479.80	o 599
19605.32/2485.64	o 598
19650.67/2491.40	o 597
19698.40/2497.36	o 596
19747.58/2503.52	o 595
19792.91/2509.27	o 594
19839.09/2515.05	o 593
19878.80/2520.10	s SATISFIABLE
19878.80/2520.11	v <instantiation>
19878.80/2520.11	v 	<list>
19878.80/2520.11	v 		x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[35][36] x[35][37] x[35][38] x[35][39] x[36][37] x[36][38] x[36][39] x[37][38] x[37][39] x[38][39]
19878.80/2520.11	v 	</list>
19878.80/2520.11	v 	<values>
19878.80/2520.11	v 		589 591 592 592 592 591 591 590 592 591 591 591 593 593 593 592 592 590 591 593 593 593 591 589 588 590 591 593 591 590 593 591 588 591 589 591 590 592 589 592 593 589 590 593 590 592 588 592 591 590 591 590 588 590 590 591 591 589 590 593 593 593 593 593 592 590 592 593 592 591 593 593 593 593 592 591 592 588 591 592 592 589 589 592 593 590 593 593 593 593 592 592 591 593 592 593 590 590 592 591 591 593 593 593 592 593 592 590 590 591 593 593 593 590 589 590 592 589 590 590 593 590 593 593 593 593 591 590 591 593 592 593 591 591 592 591 591 593 593 593 592 593 592 591 591 591 591 593 593 591 591 592 592 593 590 592 590 593 590 593 590 588 590 592 591 593 593 591 591 593 592 592 592 589 591 590 593 593 591 591 590 591 592 591 591 591 592 592 589 593 592 593 593 593 593 591 589 591 589 591 593 592 592 590 592 592 593 593 593 593 593 590 592 593 592 593 593 593 592 593 592 591 589 590 593 590 593 590 590 591 593 593 590 591 592 592 591 591 591 590 591 592 591 593 593 592 592 592 592 593 593 592 591 593 589 590 588 592 591 592 589 592 589 592 592 589 593 590 593 590 590 590 593 592 590 590 592 593 592 593 593 591 591 591 592 593 591 591 593 590 593 593 592 591 593 592 591 590 593 592 590 593 593 593 593 592 591 592 590 591 590 593 593 593 590 593 592 592 593 590 593 593 588 591 591 589 593 592 593 590 593 593 593 590 593 593 591 591 592 593 592 592 593 593 592 593 592 592 591 591 592 593 593 590 593 592 590 592 588 590 590 590 589 590 590 590 593 590 590 590 592 591 591 593 590 593 592 593 593 592 592 593 592 593 591 593 591 591 593 593 593 593 591 592 592 591 592 591 593 593 593 591 591 591 592 593 593 590 588 592 589 593 593 589 593 593 592 592 589 590 592 592 593 589 593 590 591 591 591 589 589 591 593 593 590 591 590 591 591 593 591 591 592 592 591 591 592 593 593 591 591 591 590 590 592 592 593 593 591 591 590 592 591 593 592 593 593 591 592 591 592 591 591 593 591 593 591 590 592 592 592 593 592 591 589 591 591 592 593 591 591 591 590 591 591 591 593 593 591 593 592 592 590 591 591 593 588 593 588 592 589 593 592 592 592 589 592 590 593 593 592 592 592 590 591 591 592 591 591 589 593 592 592 590 592 592 593 593 593 593 593 591 592 593 592 593 593 593 592 590 590 593 593 593 592 593 593 593 593 593 593 590 589 590 593 593 593 591 592 592 591 592 593 589 593 593 589 589 592 589 593 589 590 593 593 593 590 591 592 592 591 592 593 590 593 593 593 590 593 593 591 591 593 593 593 593 593 593 592 592 591 588 592 592 592 589 592 590 592 592 592 592 592 591 592 591 593 581 592 582 583 584 592 585 592 586 593 587 588 589 590 591 592 593 592 582 583 584 592 585 592 586 593 587 588 589 590 591 592 593 592 592 592 589 592 590 592 591 592 592 592 592 592 591 593 583 584 592 585 592 586 593 587 588 589 590 591 592 593 584 592 585 592 586 593 587 588 589 590 591 592 593 591 585 592 586 593 587 588 589 590 591 592 593 592 590 591 593 592 592 592 592 592 591 593 592 586 593 587 588 589 590 591 592 593 592 593 592 592 592 592 592 591 593 590 587 588 589 590 591 592 593 590 593 590 593 591 592 592 588 589 590 591 592 593 589 590 591 592 593 590 591 592 593 591 592 593 592 593 593 
19878.80/2520.11	v 	</values>
19878.80/2520.11	v </instantiation>

Verifier Data 

OK	593

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10788 MiB free)
  memory of node 1: 16384 MiB (12459 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285608-1503466888/watcher-4285608-1503466888 -o /tmp/evaluation-result-4285608-1503466888/solver-4285608-1503466888 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503462600-10285 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 686496628 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285608-1503466888.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=10928, runsolver pid=10925

[startup+0.100141 s]*
/proc/loadavg: 7.99 7.46 7.47 2/198 10948
/proc/meminfo: memFree=23788288/32770624 swapFree=67108860/67108860
[pid=10928] ppid=10925 vsize=26000852 memory=32588 CPUtime=0.12 cores=0-7
/proc/10928/stat : 10928 (java) S 10925 10928 10258 0 -1 1077944320 8541 0 0 0 10 2 0 0 20 0 20 0 179776265 26624872448 8147 33554432000 4194304 4196468 140722350135040 140722350117584 140066678124279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
/proc/10928/statm: 6500213 8147 3411 1 0 6487932 0
[pid=10928/tid=10930] ppid=10925 vsize=26000852 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/10928/task/10930/stat : 10930 (java) R 10925 10928 10258 0 -1 4202560 6496 0 0 0 7 1 0 0 20 0 20 0 179776266 26624872448 8147 33554432000 4194304 4196468 140722350135040 140066682330272 140066678145626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10931] ppid=10925 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10928/task/10931/stat : 10931 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 8147 33554432000 4194304 4196468 140722350135040 140066630745232 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10932] ppid=10925 vsize=26000852 memory=139921054058112 CPUtime=0 cores=0-7
/proc/10928/task/10932/stat : 10932 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 8147 33554432000 4194304 4196468 140722350135040 140066629692432 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10933] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10933/stat : 10933 (java) S 10925 10928 10258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 8147 33554432000 4194304 4196468 140722350135040 140066628639632 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10934] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10934/stat : 10934 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 8147 33554432000 4194304 4196468 140722350135040 140066627586832 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10935] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10935/stat : 10935 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 8147 33554432000 4194304 4196468 140722350135040 140066626534032 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10936] ppid=10925 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/10928/task/10936/stat : 10936 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 8147 33554432000 4194304 4196468 140722350135040 140066625481232 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10937] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10937/stat : 10937 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 8147 33554432000 4194304 4196468 140722350135040 140066624428432 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10938] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10938/stat : 10938 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 8147 33554432000 4194304 4196468 140722350135040 140066623375632 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10939] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10939/stat : 10939 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776268 26624872448 8147 33554432000 4194304 4196468 140722350135040 140065466272624 140066678135426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10940] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10940/stat : 10940 (java) S 10925 10928 10258 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 179776269 26624872448 8147 33554432000 4194304 4196468 140722350135040 140065465218592 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10941] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10941/stat : 10941 (java) S 10925 10928 10258 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 179776269 26624872448 8147 33554432000 4194304 4196468 140722350135040 140065464165744 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10942] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10942/stat : 10942 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776271 26624872448 8147 33554432000 4194304 4196468 140722350135040 140065463114064 140066678142875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10943] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10943/stat : 10943 (java) S 10925 10928 10258 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 179776271 26624872448 8147 33554432000 4194304 4196468 140722350135040 140065462061424 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10944] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10944/stat : 10944 (java) S 10925 10928 10258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179776271 26624872448 8147 33554432000 4194304 4196468 140722350135040 140065213802736 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10945] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10945/stat : 10945 (java) S 10925 10928 10258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179776271 26624872448 8147 33554432000 4194304 4196468 140722350135040 140065212749936 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10946] ppid=10925 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/10928/task/10946/stat : 10946 (java) S 10925 10928 10258 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 20 0 179776271 26624872448 8147 33554432000 4194304 4196468 140722350135040 140065211697136 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10947] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10947/stat : 10947 (java) S 10925 10928 10258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179776271 26624872448 8147 33554432000 4194304 4196468 140722350135040 140065210645600 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10948] ppid=10925 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/10928/task/10948/stat : 10948 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776272 26624872448 8147 33554432000 4194304 4196468 140722350135040 140065209592880 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32588 KiB

[startup+0.210285 s]*
/proc/loadavg: 7.99 7.46 7.47 3/198 10948
/proc/meminfo: memFree=23779912/32770624 swapFree=67108860/67108860
[pid=10928] ppid=10925 vsize=26000852 memory=41736 CPUtime=0.29 cores=0-7
/proc/10928/stat : 10928 (java) S 10925 10928 10258 0 -1 1077944320 9549 0 0 0 27 2 0 0 20 0 20 0 179776265 26624872448 10434 33554432000 4194304 4196468 140722350135040 140722350117584 140066678124279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
/proc/10928/statm: 6500213 10434 3590 1 0 6487932 0
[pid=10928/tid=10930] ppid=10925 vsize=26000852 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/10928/task/10930/stat : 10930 (java) R 10925 10928 10258 0 -1 4202560 7121 0 0 0 18 2 0 0 20 0 20 0 179776266 26624872448 10434 33554432000 4194304 4196468 140722350135040 140066682340256 140066662204766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10931] ppid=10925 vsize=26000852 memory=9316 CPUtime=0 cores=0-7
/proc/10928/task/10931/stat : 10931 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 10434 33554432000 4194304 4196468 140722350135040 140066630745232 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10932] ppid=10925 vsize=26000852 memory=3835010186322200224 CPUtime=0 cores=0-7
/proc/10928/task/10932/stat : 10932 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 10434 33554432000 4194304 4196468 140722350135040 140066629692432 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10933] ppid=10925 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/10928/task/10933/stat : 10933 (java) S 10925 10928 10258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 10434 33554432000 4194304 4196468 140722350135040 140066628639632 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10934] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10934/stat : 10934 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 10434 33554432000 4194304 4196468 140722350135040 140066627586832 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10935] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10935/stat : 10935 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 10434 33554432000 4194304 4196468 140722350135040 140066626534032 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10936] ppid=10925 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/10928/task/10936/stat : 10936 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 10434 33554432000 4194304 4196468 140722350135040 140066625481232 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10937] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10937/stat : 10937 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 10434 33554432000 4194304 4196468 140722350135040 140066624428432 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10938] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10938/stat : 10938 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26624872448 10434 33554432000 4194304 4196468 140722350135040 140066623375632 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10939] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10939/stat : 10939 (java) S 10925 10928 10258 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 179776268 26624872448 10434 33554432000 4194304 4196468 140722350135040 140065466272624 140066678135426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10940] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10940/stat : 10940 (java) S 10925 10928 10258 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 179776269 26624872448 10434 33554432000 4194304 4196468 140722350135040 140065465218592 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10941] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10941/stat : 10941 (java) S 10925 10928 10258 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 179776269 26624872448 10434 33554432000 4194304 4196468 140722350135040 140065464165744 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10942] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10942/stat : 10942 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776271 26624872448 10434 33554432000 4194304 4196468 140722350135040 140065463114064 140066678142875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10943] ppid=10925 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/10928/task/10943/stat : 10943 (java) S 10925 10928 10258 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 20 0 179776271 26624872448 10434 33554432000 4194304 4196468 140722350135040 140065462061424 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10944] ppid=10925 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/10928/task/10944/stat : 10944 (java) S 10925 10928 10258 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 179776271 26624872448 10434 33554432000 4194304 4196468 140722350135040 140065213802736 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10945] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10945/stat : 10945 (java) S 10925 10928 10258 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 20 0 179776271 26624872448 10434 33554432000 4194304 4196468 140722350135040 140065212749936 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10946] ppid=10925 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/10928/task/10946/stat : 10946 (java) S 10925 10928 10258 0 -1 1077944384 405 0 0 0 5 0 0 0 20 0 20 0 179776271 26624872448 10434 33554432000 4194304 4196468 140722350135040 140065211697136 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10947] ppid=10925 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10947/stat : 10947 (java) S 10925 10928 10258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179776271 26624872448 10434 33554432000 4194304 4196468 140722350135040 140065210645600 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10948] ppid=10925 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/10928/task/10948/stat : 10948 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776272 26624872448 10434 33554432000 4194304 4196468 140722350135040 140065209592880 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41736 KiB

[startup+0.310205 s]*
/proc/loadavg: 7.99 7.46 7.47 2/198 10948
/proc/meminfo: memFree=23773188/32770624 swapFree=67108860/67108860
[pid=10928] ppid=10925 vsize=26000872 memory=49124 CPUtime=0.48 cores=0-7
/proc/10928/stat : 10928 (java) S 10925 10928 10258 0 -1 1077944320 10617 0 0 0 45 3 0 0 20 0 20 0 179776265 26624892928 12281 33554432000 4194304 4196468 140722350135040 140722350117584 140066678124279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
/proc/10928/statm: 6500218 12281 3710 1 0 6487932 0
[pid=10928/tid=10930] ppid=10925 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10928/task/10930/stat : 10930 (java) R 10925 10928 10258 0 -1 4202560 7723 0 0 0 27 2 0 0 20 0 20 0 179776266 26624892928 12281 33554432000 4194304 4196468 140722350135040 140066682353536 140066678146205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10931] ppid=10925 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10931/stat : 10931 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26624892928 12281 33554432000 4194304 4196468 140722350135040 140066630745232 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10932] ppid=10925 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10932/stat : 10932 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776267 26624892928 12281 33554432000 4194304 4196468 140722350135040 140066629692432 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10933] ppid=10925 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10933/stat : 10933 (java) S 10925 10928 10258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179776267 26624892928 12281 33554432000 4194304 4196468 140722350135040 140066628639632 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10934] ppid=10925 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10934/stat : 10934 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776267 26624892928 12281 33554432000 4194304 4196468 140722350135040 140066627586832 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10935] ppid=10925 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/10928/task/10935/stat : 10935 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26624892928 12281 33554432000 4194304 4196468 140722350135040 140066626534032 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10936] ppid=10925 vsize=26000872 memory=139920907793327 CPUtime=0 cores=0-7
/proc/10928/task/10936/stat : 10936 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776267 26624892928 12281 33554432000 4194304 4196468 140722350135040 140066625481232 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10937] ppid=10925 vsize=26000872 memory=139920907795632 CPUtime=0 cores=0-7
/proc/10928/task/10937/stat : 10937 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26624892928 12281 33554432000 4194304 4196468 140722350135040 140066624428432 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10938] ppid=10925 vsize=26000872 memory=3472463819088967136 CPUtime=0 cores=0-7
/proc/10928/task/10938/stat : 10938 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26624892928 12281 33554432000 4194304 4196468 140722350135040 140066623375632 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10939] ppid=10925 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10939/stat : 10939 (java) S 10925 10928 10258 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 179776268 26624892928 12281 33554432000 4194304 4196468 140722350135040 140065466272624 140066678135426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10940] ppid=10925 vsize=26000872 memory=279841815602832 CPUtime=0 cores=0-7
/proc/10928/task/10940/stat : 10940 (java) S 10925 10928 10258 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 179776269 26624892928 12281 33554432000 4194304 4196468 140722350135040 140065465218592 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10941] ppid=10925 vsize=26000872 memory=279841815609744 CPUtime=0 cores=0-7
/proc/10928/task/10941/stat : 10941 (java) S 10925 10928 10258 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 179776269 26624892928 12281 33554432000 4194304 4196468 140722350135040 140065464165744 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10942] ppid=10925 vsize=26000872 memory=279841815550896 CPUtime=0 cores=0-7
/proc/10928/task/10942/stat : 10942 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776271 26624892928 12281 33554432000 4194304 4196468 140722350135040 140065463114064 140066678142875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10943] ppid=10925 vsize=26000872 memory=279841815623568 CPUtime=0.03 cores=0-7
/proc/10928/task/10943/stat : 10943 (java) S 10925 10928 10258 0 -1 1077944384 447 0 0 0 3 0 0 0 20 0 20 0 179776271 26624892928 12281 33554432000 4194304 4196468 140722350135040 140065462061424 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10944] ppid=10925 vsize=26000872 memory=279841815630480 CPUtime=0.03 cores=0-7
/proc/10928/task/10944/stat : 10944 (java) S 10925 10928 10258 0 -1 1077944384 261 0 0 0 3 0 0 0 20 0 20 0 179776271 26624892928 12281 33554432000 4194304 4196468 140722350135040 140065213802736 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10945] ppid=10925 vsize=26000872 memory=279841815628176 CPUtime=0.02 cores=0-7
/proc/10928/task/10945/stat : 10945 (java) S 10925 10928 10258 0 -1 1077944384 320 0 0 0 2 0 0 0 20 0 20 0 179776271 26624892928 12281 33554432000 4194304 4196468 140722350135040 140065212749936 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10946] ppid=10925 vsize=26000872 memory=279841815644784 CPUtime=0.08 cores=0-7
/proc/10928/task/10946/stat : 10946 (java) S 10925 10928 10258 0 -1 1077944384 488 0 0 0 8 0 0 0 20 0 20 0 179776271 26624892928 12281 33554432000 4194304 4196468 140722350135040 140065211697136 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10947] ppid=10925 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10947/stat : 10947 (java) S 10925 10928 10258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179776271 26624892928 12281 33554432000 4194304 4196468 140722350135040 140065210645600 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10948] ppid=10925 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/10928/task/10948/stat : 10948 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776272 26624892928 12281 33554432000 4194304 4196468 140722350135040 140065209592880 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49124 KiB

[startup+0.700932 s]
/proc/loadavg: 7.99 7.46 7.47 5/198 10948
/proc/meminfo: memFree=23747008/32770624 swapFree=67108860/67108860
[pid=10928] ppid=10925 vsize=26002920 memory=118028 CPUtime=1.77 cores=0-7
/proc/10928/stat : 10928 (java) S 10925 10928 10258 0 -1 1077944320 15423 0 0 0 172 5 0 0 20 0 20 0 179776265 26626990080 29507 33554432000 4194304 4196468 140722350135040 140722350117584 140066678124279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
/proc/10928/statm: 6500730 29507 3764 1 0 6488444 0
[pid=10928/tid=10930] ppid=10925 vsize=26002920 memory=0 CPUtime=0.66 cores=0-7
/proc/10928/task/10930/stat : 10930 (java) R 10925 10928 10258 0 -1 4202560 8525 0 0 0 64 2 0 0 20 0 20 0 179776266 26626990080 29507 33554432000 4194304 4196468 140722350135040 140066682359888 140066285717321 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10931] ppid=10925 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10931/stat : 10931 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26626990080 29507 33554432000 4194304 4196468 140722350135040 140066630745232 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10932] ppid=10925 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10932/stat : 10932 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776267 26626990080 29507 33554432000 4194304 4196468 140722350135040 140066629692432 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10933] ppid=10925 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/10928/task/10933/stat : 10933 (java) S 10925 10928 10258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179776267 26626990080 29507 33554432000 4194304 4196468 140722350135040 140066628639632 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10934] ppid=10925 vsize=26002920 memory=1228 CPUtime=0 cores=0-7
/proc/10928/task/10934/stat : 10934 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776267 26626990080 29507 33554432000 4194304 4196468 140722350135040 140066627586832 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10935] ppid=10925 vsize=26002920 memory=11108 CPUtime=0 cores=0-7
/proc/10928/task/10935/stat : 10935 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26626990080 29507 33554432000 4194304 4196468 140722350135040 140066626534032 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10936] ppid=10925 vsize=26002920 memory=796 CPUtime=0 cores=0-7
/proc/10928/task/10936/stat : 10936 (java) S 10925 10928 10258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179776267 26626990080 29507 33554432000 4194304 4196468 140722350135040 140066625481232 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10937] ppid=10925 vsize=26002920 memory=1424 CPUtime=0 cores=0-7
/proc/10928/task/10937/stat : 10937 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26626990080 29507 33554432000 4194304 4196468 140722350135040 140066624428432 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10938] ppid=10925 vsize=26002920 memory=15876 CPUtime=0 cores=0-7
/proc/10928/task/10938/stat : 10938 (java) S 10925 10928 10258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179776267 26626990080 29507 33554432000 4194304 4196468 140722350135040 140066623375632 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10939] ppid=10925 vsize=26002920 memory=4052 CPUtime=0 cores=0-7
/proc/10928/task/10939/stat : 10939 (java) S 10925 10928 10258 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 179776268 26626990080 29507 33554432000 4194304 4196468 140722350135040 140065466272624 140066678135426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0

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

/proc/10928/task/10944/stat : 10944 (java) S 10925 10928 10258 0 -1 1077944384 18750 0 0 0 279 3 0 0 20 0 43 0 179776271 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140065213802736 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10945] ppid=10925 vsize=27544168 memory=1928 CPUtime=2.65 cores=0-7
/proc/10928/task/10945/stat : 10945 (java) S 10925 10928 10258 0 -1 1077944384 23426 0 0 0 261 4 0 0 20 0 43 0 179776271 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140065212749936 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10946] ppid=10925 vsize=27544168 memory=1200 CPUtime=1.42 cores=0-7
/proc/10928/task/10946/stat : 10946 (java) S 10925 10928 10258 0 -1 1077944384 66930 0 0 0 132 10 0 0 20 0 43 0 179776271 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140065211697136 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10947] ppid=10925 vsize=27544168 memory=8680 CPUtime=0 cores=0-7
/proc/10928/task/10947/stat : 10947 (java) S 10925 10928 10258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 43 0 179776271 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140065210645600 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10948] ppid=10925 vsize=27544168 memory=5784 CPUtime=1.43 cores=0-7
/proc/10928/task/10948/stat : 10948 (java) S 10925 10928 10258 0 -1 1077944384 5007 0 0 0 60 83 0 0 20 0 43 0 179776272 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140065209592880 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10949] ppid=10925 vsize=27544168 memory=4616 CPUtime=0.08 cores=0-7
/proc/10928/task/10949/stat : 10949 (java) S 10925 10928 10258 0 -1 1077944384 9809 0 0 0 5 3 0 0 20 0 43 0 179778334 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140065199301712 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10950] ppid=10925 vsize=27544168 memory=1228 CPUtime=7.14 cores=0-7
/proc/10928/task/10950/stat : 10950 (java) S 10925 10928 10258 0 -1 1077944384 12408 0 0 0 364 350 0 0 20 0 43 0 179778346 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140065196151792 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10951] ppid=10925 vsize=27544168 memory=11108 CPUtime=2152.44 cores=0-7
/proc/10928/task/10951/stat : 10951 (java) S 10925 10928 10258 0 -1 1077944384 132384 0 0 0 214731 513 0 0 20 0 43 0 179778356 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140065192995984 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10952] ppid=10925 vsize=27544168 memory=796 CPUtime=2345.94 cores=0-7
/proc/10928/task/10952/stat : 10952 (java) S 10925 10928 10258 0 -1 1077944384 149128 0 0 0 234090 504 0 0 20 0 43 0 179778357 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064990415168 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10953] ppid=10925 vsize=27544168 memory=1424 CPUtime=1131.14 cores=0-7
/proc/10928/task/10953/stat : 10953 (java) S 10925 10928 10258 0 -1 1077944384 76596 0 0 0 112899 215 0 0 20 0 43 0 179778357 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064989369360 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10954] ppid=10925 vsize=27544168 memory=15876 CPUtime=1574.24 cores=0-7
/proc/10928/task/10954/stat : 10954 (java) S 10925 10928 10258 0 -1 1077944384 112663 0 0 0 157070 354 0 0 20 0 43 0 179778360 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064988316560 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10955] ppid=10925 vsize=27544168 memory=4052 CPUtime=164.92 cores=0-7
/proc/10928/task/10955/stat : 10955 (java) S 10925 10928 10258 0 -1 1077944384 16224 0 0 0 16430 62 0 0 20 0 43 0 179778360 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064987264784 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10956] ppid=10925 vsize=27544168 memory=28192 CPUtime=1377.38 cores=0-7
/proc/10928/task/10956/stat : 10956 (java) S 10925 10928 10258 0 -1 1077944384 94035 0 0 0 137355 383 0 0 20 0 43 0 179778360 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064986211984 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10957] ppid=10925 vsize=27544168 memory=18248 CPUtime=80.86 cores=0-7
/proc/10928/task/10957/stat : 10957 (java) S 10925 10928 10258 0 -1 1077944384 10956 0 0 0 7967 119 0 0 20 0 43 0 179778360 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064985159184 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10958] ppid=10925 vsize=27544168 memory=1788 CPUtime=0.09 cores=0-7
/proc/10928/task/10958/stat : 10958 (java) S 10925 10928 10258 0 -1 1077944384 1913 0 0 0 9 0 0 0 20 0 43 0 179778360 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064984106384 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10959] ppid=10925 vsize=27544168 memory=640 CPUtime=867.18 cores=0-7
/proc/10928/task/10959/stat : 10959 (java) S 10925 10928 10258 0 -1 1077944384 64778 0 0 0 86517 201 0 0 20 0 43 0 179778360 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064983047312 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10960] ppid=10925 vsize=27544168 memory=952 CPUtime=1630.29 cores=0-7
/proc/10928/task/10960/stat : 10960 (java) S 10925 10928 10258 0 -1 1077944384 103343 0 0 0 162747 282 0 0 20 0 43 0 179778360 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064981993792 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10961] ppid=10925 vsize=27544168 memory=1236 CPUtime=40.68 cores=0-7
/proc/10928/task/10961/stat : 10961 (java) S 10925 10928 10258 0 -1 1077944384 7668 0 0 0 4022 46 0 0 20 0 43 0 179778373 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064980947760 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10962] ppid=10925 vsize=27544168 memory=4468 CPUtime=1366.35 cores=0-7
/proc/10928/task/10962/stat : 10962 (java) S 10925 10928 10258 0 -1 1077944384 85385 0 0 0 136398 237 0 0 20 0 43 0 179778373 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064979888912 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10963] ppid=10925 vsize=27544168 memory=932 CPUtime=0.07 cores=0-7
/proc/10928/task/10963/stat : 10963 (java) S 10925 10928 10258 0 -1 1077944384 1931 0 0 0 7 0 0 0 20 0 43 0 179778373 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064978843408 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10965] ppid=10925 vsize=27544168 memory=1576 CPUtime=1952.75 cores=0-7
/proc/10928/task/10965/stat : 10965 (java) S 10925 10928 10258 0 -1 1077944384 126585 0 0 0 194930 345 0 0 20 0 43 0 179782738 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064975652576 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10966] ppid=10925 vsize=27544168 memory=2240 CPUtime=1053.9 cores=0-7
/proc/10928/task/10966/stat : 10966 (java) S 10925 10928 10258 0 -1 1077944384 75077 0 0 0 105208 182 0 0 20 0 43 0 179782741 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064974603792 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10967] ppid=10925 vsize=27544168 memory=4128 CPUtime=0 cores=0-7
/proc/10928/task/10967/stat : 10967 (java) S 10925 10928 10258 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 43 0 179782743 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064973550768 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10968] ppid=10925 vsize=27544168 memory=2200 CPUtime=1145.24 cores=0-7
/proc/10928/task/10968/stat : 10968 (java) S 10925 10928 10258 0 -1 1077944384 76102 0 0 0 114311 213 0 0 20 0 43 0 179782743 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064972498192 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10969] ppid=10925 vsize=27544168 memory=7284 CPUtime=268.47 cores=0-7
/proc/10928/task/10969/stat : 10969 (java) S 10925 10928 10258 0 -1 1077944384 23866 0 0 0 26798 49 0 0 20 0 43 0 179782744 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064971445392 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10970] ppid=10925 vsize=27544168 memory=836 CPUtime=204.16 cores=0-7
/proc/10928/task/10970/stat : 10970 (java) S 10925 10928 10258 0 -1 1077944384 14313 0 0 0 20382 34 0 0 20 0 43 0 179782746 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064970386320 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10971] ppid=10925 vsize=27544168 memory=4468 CPUtime=254.74 cores=0-7
/proc/10928/task/10971/stat : 10971 (java) S 10925 10928 10258 0 -1 1077944384 23309 0 0 0 25419 55 0 0 20 0 43 0 179782749 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064969339792 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10972] ppid=10925 vsize=27544168 memory=932 CPUtime=1154.65 cores=0-7
/proc/10928/task/10972/stat : 10972 (java) S 10925 10928 10258 0 -1 1077944384 80737 0 0 0 115235 230 0 0 20 0 43 0 179782749 28205228032 2142835 33554432000 4194304 4196468 140722350135040 140064968281120 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
Current children cumulated CPU time: 19878.8 s
Current children cumulated vsize: 27544168 KiB
Current children cumulated memory: 8571340 KiB

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

[startup+2520.18 s]
# the end of solver process 10928 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19831.1 s, system=48.6889 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.13 s]
/proc/loadavg: 9.16 8.83 8.72 9/221 11026
/proc/meminfo: memFree=15229264/32770624 swapFree=67108860/67108860
[pid=10928] ppid=10925 vsize=27677296 memory=8571492 CPUtime=19879.7 cores=0-7
/proc/10928/stat : 10928 (java) S 10925 10928 10258 0 -1 1077944320 2591635 0 0 0 1983108 4864 0 0 20 0 42 0 179776265 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140722350117584 140066678124279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
/proc/10928/statm: 6919324 2142873 3866 1 0 6906517 0
[pid=10928/tid=10930] ppid=10925 vsize=27677296 memory=8571176 CPUtime=20.63 cores=0-7
/proc/10928/task/10930/stat : 10930 (java) S 10925 10928 10258 0 -1 1077944384 16626 0 0 0 1983 80 0 0 20 0 42 0 179776266 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140066682361984 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10931] ppid=10925 vsize=27677296 memory=8570864 CPUtime=133.67 cores=0-7
/proc/10928/task/10931/stat : 10931 (java) S 10925 10928 10258 0 -1 1077944384 121454 0 0 0 13288 79 0 0 20 0 42 0 179776267 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140066630745232 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10932] ppid=10925 vsize=27677296 memory=8571180 CPUtime=133.52 cores=0-7
/proc/10928/task/10932/stat : 10932 (java) S 10925 10928 10258 0 -1 1077944384 118383 0 0 0 13267 85 0 0 20 0 42 0 179776267 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140066629692432 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10933] ppid=10925 vsize=27677296 memory=8549556 CPUtime=133.51 cores=0-7
/proc/10928/task/10933/stat : 10933 (java) S 10925 10928 10258 0 -1 1077944384 108785 0 0 0 13269 82 0 0 20 0 42 0 179776267 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140066628639632 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10934] ppid=10925 vsize=27677296 memory=225 CPUtime=133.47 cores=0-7
/proc/10928/task/10934/stat : 10934 (java) S 10925 10928 10258 0 -1 1077944384 116532 0 0 0 13269 78 0 0 20 0 42 0 179776267 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140066627586832 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10935] ppid=10925 vsize=27677296 memory=8573344 CPUtime=133.79 cores=0-7
/proc/10928/task/10935/stat : 10935 (java) S 10925 10928 10258 0 -1 1077944384 111976 0 0 0 13302 77 0 0 20 0 42 0 179776267 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140066626534032 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10936] ppid=10925 vsize=27677296 memory=8572616 CPUtime=133.58 cores=0-7
/proc/10928/task/10936/stat : 10936 (java) S 10925 10928 10258 0 -1 1077944384 120158 0 0 0 13266 92 0 0 20 0 42 0 179776267 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140066625481232 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10937] ppid=10925 vsize=27677296 memory=8561740 CPUtime=133.62 cores=0-7
/proc/10928/task/10937/stat : 10937 (java) S 10925 10928 10258 0 -1 1077944384 112331 0 0 0 13276 86 0 0 20 0 42 0 179776267 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140066624428432 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10938] ppid=10925 vsize=27677296 memory=8561740 CPUtime=133.78 cores=0-7
/proc/10928/task/10938/stat : 10938 (java) S 10925 10928 10258 0 -1 1077944384 119056 0 0 0 13289 89 0 0 20 0 42 0 179776267 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140066623375632 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10939] ppid=10925 vsize=27677296 memory=279841818910304 CPUtime=4.74 cores=0-7
/proc/10928/task/10939/stat : 10939 (java) R 10925 10928 10258 0 -1 1077944384 211309 0 0 0 427 47 0 0 20 0 42 0 179776268 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140065466272624 140066678135426 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10940] ppid=10925 vsize=27677296 memory=7162246606537452130 CPUtime=0 cores=0-7
/proc/10928/task/10940/stat : 10940 (java) S 10925 10928 10258 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 42 0 179776269 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140065465218656 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10941] ppid=10925 vsize=27677296 memory=8574584 CPUtime=0 cores=0-7
/proc/10928/task/10941/stat : 10941 (java) S 10925 10928 10258 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 42 0 179776269 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140065464165760 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10943] ppid=10925 vsize=27677296 memory=8572996 CPUtime=3.13 cores=0-7
/proc/10928/task/10943/stat : 10943 (java) S 10925 10928 10258 0 -1 1077944384 19250 0 0 0 309 4 0 0 20 0 42 0 179776271 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140065462061424 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10944] ppid=10925 vsize=27677296 memory=1836 CPUtime=2.82 cores=0-7
/proc/10928/task/10944/stat : 10944 (java) S 10925 10928 10258 0 -1 1077944384 18750 0 0 0 279 3 0 0 20 0 42 0 179776271 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140065213802736 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10945] ppid=10925 vsize=27677296 memory=137738 CPUtime=2.66 cores=0-7
/proc/10928/task/10945/stat : 10945 (java) S 10925 10928 10258 0 -1 1077944384 23635 0 0 0 261 5 0 0 20 0 42 0 179776271 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140065212749936 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10946] ppid=10925 vsize=27677296 memory=8086 CPUtime=1.43 cores=0-7
/proc/10928/task/10946/stat : 10946 (java) S 10925 10928 10258 0 -1 1077944384 67283 0 0 0 132 11 0 0 20 0 42 0 179776271 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140065211697136 140066678135426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10947] ppid=10925 vsize=27677296 memory=94076963673486 CPUtime=0 cores=0-7
/proc/10928/task/10947/stat : 10947 (java) S 10925 10928 10258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 179776271 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140065210645600 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10949] ppid=10925 vsize=27677296 memory=6791534058613427641 CPUtime=0.08 cores=0-7
/proc/10928/task/10949/stat : 10949 (java) S 10925 10928 10258 0 -1 1077944384 9809 0 0 0 5 3 0 0 20 0 42 0 179778334 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140065199301712 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10950] ppid=10925 vsize=27677296 memory=288230596050944315 CPUtime=7.14 cores=0-7
/proc/10928/task/10950/stat : 10950 (java) R 10925 10928 10258 0 -1 1077944384 12408 0 0 0 364 350 0 0 20 0 42 0 179778346 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140065196152096 140066678135426 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10951] ppid=10925 vsize=27677296 memory=0 CPUtime=2152.55 cores=0-7
/proc/10928/task/10951/stat : 10951 (java) R 10925 10928 10258 0 -1 4202560 132390 0 0 0 214742 513 0 0 20 0 42 0 179778356 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140065192996120 140066288592081 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10952] ppid=10925 vsize=27677296 memory=7156599582865379682 CPUtime=2346.05 cores=0-7
/proc/10928/task/10952/stat : 10952 (java) R 10925 10928 10258 0 -1 4202560 149134 0 0 0 234101 504 0 0 20 0 42 0 179778357 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064990415304 140066291696128 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10953] ppid=10925 vsize=27677296 memory=49436 CPUtime=1131.14 cores=0-7
/proc/10928/task/10953/stat : 10953 (java) S 10925 10928 10258 0 -1 1077944384 76596 0 0 0 112899 215 0 0 20 0 42 0 179778357 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064989369360 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10954] ppid=10925 vsize=27677296 memory=1296 CPUtime=1574.24 cores=0-7
/proc/10928/task/10954/stat : 10954 (java) S 10925 10928 10258 0 -1 1077944384 112663 0 0 0 157070 354 0 0 20 0 42 0 179778360 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064988316560 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10955] ppid=10925 vsize=27677296 memory=8573344 CPUtime=164.92 cores=0-7
/proc/10928/task/10955/stat : 10955 (java) S 10925 10928 10258 0 -1 1077944384 16224 0 0 0 16430 62 0 0 20 0 42 0 179778360 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064987264784 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10956] ppid=10925 vsize=27677296 memory=4132 CPUtime=1377.38 cores=0-7
/proc/10928/task/10956/stat : 10956 (java) S 10925 10928 10258 0 -1 1077944384 94035 0 0 0 137355 383 0 0 20 0 42 0 179778360 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064986211984 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10957] ppid=10925 vsize=27677296 memory=49436 CPUtime=80.86 cores=0-7
/proc/10928/task/10957/stat : 10957 (java) S 10925 10928 10258 0 -1 1077944384 10956 0 0 0 7967 119 0 0 20 0 42 0 179778360 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064985159184 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10958] ppid=10925 vsize=27677296 memory=8560936 CPUtime=0.09 cores=0-7
/proc/10928/task/10958/stat : 10958 (java) S 10925 10928 10258 0 -1 1077944384 1913 0 0 0 9 0 0 0 20 0 42 0 179778360 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064984106384 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10959] ppid=10925 vsize=27677296 memory=8561952 CPUtime=867.29 cores=0-7
/proc/10928/task/10959/stat : 10959 (java) R 10925 10928 10258 0 -1 4202560 64781 0 0 0 86528 201 0 0 20 0 42 0 179778360 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064983047448 140066288592032 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10960] ppid=10925 vsize=27677296 memory=8560664 CPUtime=1630.4 cores=0-7
/proc/10928/task/10960/stat : 10960 (java) R 10925 10928 10258 0 -1 4202560 103349 0 0 0 162758 282 0 0 20 0 42 0 179778360 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064981993928 140066288592056 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10961] ppid=10925 vsize=27677296 memory=0 CPUtime=40.68 cores=0-7
/proc/10928/task/10961/stat : 10961 (java) S 10925 10928 10258 0 -1 1077944384 7668 0 0 0 4022 46 0 0 20 0 42 0 179778373 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064980947760 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10962] ppid=10925 vsize=27677296 memory=0 CPUtime=1366.45 cores=0-7
/proc/10928/task/10962/stat : 10962 (java) R 10925 10928 10258 0 -1 4202560 85387 0 0 0 136408 237 0 0 20 0 42 0 179778373 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064979889048 140066291418337 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10963] ppid=10925 vsize=27677296 memory=0 CPUtime=0.07 cores=0-7
/proc/10928/task/10963/stat : 10963 (java) S 10925 10928 10258 0 -1 1077944384 1931 0 0 0 7 0 0 0 20 0 42 0 179778373 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064978843408 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10965] ppid=10925 vsize=27677296 memory=1296 CPUtime=1952.86 cores=0-7
/proc/10928/task/10965/stat : 10965 (java) R 10925 10928 10258 0 -1 4202560 126589 0 0 0 194941 345 0 0 20 0 42 0 179782738 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064975652464 140066286016165 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10966] ppid=10925 vsize=27677296 memory=2408 CPUtime=1053.9 cores=0-7
/proc/10928/task/10966/stat : 10966 (java) S 10925 10928 10258 0 -1 1077944384 75077 0 0 0 105208 182 0 0 20 0 42 0 179782741 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064974603792 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10967] ppid=10925 vsize=27677296 memory=8572616 CPUtime=0 cores=0-7
/proc/10928/task/10967/stat : 10967 (java) S 10925 10928 10258 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 42 0 179782743 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064973550768 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10968] ppid=10925 vsize=27677296 memory=8572568 CPUtime=1145.24 cores=0-7
/proc/10928/task/10968/stat : 10968 (java) S 10925 10928 10258 0 -1 1077944384 76102 0 0 0 114311 213 0 0 20 0 42 0 179782743 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064972498192 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10969] ppid=10925 vsize=27677296 memory=8571180 CPUtime=268.47 cores=0-7
/proc/10928/task/10969/stat : 10969 (java) S 10925 10928 10258 0 -1 1077944384 23866 0 0 0 26798 49 0 0 20 0 42 0 179782744 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064971445392 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10970] ppid=10925 vsize=27677296 memory=7523097582464226659 CPUtime=204.27 cores=0-7
/proc/10928/task/10970/stat : 10970 (java) R 10925 10928 10258 0 -1 4202560 14320 0 0 0 20393 34 0 0 20 0 42 0 179782746 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064970386456 140066291418208 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10971] ppid=10925 vsize=27677296 memory=7584172172082901604 CPUtime=254.74 cores=0-7
/proc/10928/task/10971/stat : 10971 (java) S 10925 10928 10258 0 -1 1077944384 23309 0 0 0 25419 55 0 0 20 0 42 0 179782749 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064969339792 140066678134485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
[pid=10928/tid=10972] ppid=10925 vsize=27677296 memory=7741801461199431784 CPUtime=1154.76 cores=0-7
/proc/10928/task/10972/stat : 10972 (java) R 10925 10928 10258 0 -1 4202560 80743 0 0 0 115246 230 0 0 20 0 42 0 179782749 28341551104 2142873 33554432000 4194304 4196468 140722350135040 140064968281008 140066291418262 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 35778560 140722350142562 140722350142747 140722350142747 140722350145487 0
Current children cumulated CPU time: 19879.7 s
Current children cumulated vsize: 27677296 KiB
Current children cumulated memory: 8571492 KiB

Child status: 143
Real time (s): 2520.18
CPU time (s): 19879.8
CPU user time (s): 19831.1
CPU system time (s): 48.6889
CPU usage (%): 788.826
Max. virtual memory (cumulated for all children) (KiB): 27677296
Max. memory (cumulated for all children) (KiB): 8574968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19831.1
system time used= 48.6889
maximum resident set size= 8574968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2591666
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 431914
involuntary context switches= 411757


# summary of solver processes directly reported to runsolver:
#   pid: 10928
#   total CPU time (s): 19879.8
#   total CPU user time (s): 19831.1
#   total CPU system time (s): 48.6889

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.6728 second user time and 40.5109 second system time

The end

Launcher Data 

Begin job on node115 at 2017-08-23 07:27:07
IDJOB=4285608
IDBENCH=140585
IDSOLVER=2681
FILE ID=node115/4285608-1503466888
RUNJOBID= node115-1503462600-10285
PBS_JOBID= 20632177
Free space on /tmp= 61020 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-40.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285608-1503466888/watcher-4285608-1503466888 -o /tmp/evaluation-result-4285608-1503466888/solver-4285608-1503466888 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503462600-10285 --watchdog 2580  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 686496628 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285608-1503466888.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= d153897c9dbbbf34794d1a29a7a79358
RANDOM SEED=686496628

node115.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.69
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.69
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.69
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.69
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:        23806992 kB
MemAvailable:   31948540 kB
Buffers:          242780 kB
Cached:          8185616 kB
SwapCached:            0 kB
Active:          1889272 kB
Inactive:        6596432 kB
Active(anon):       5456 kB
Inactive(anon):    96152 kB
Active(file):    1883816 kB
Inactive(file):  6500280 kB
Unevictable:        7012 kB
Mlocked:            7012 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42720 kB
Writeback:             0 kB
AnonPages:         55264 kB
Mapped:            55696 kB
Shmem:             41608 kB
Slab:             173684 kB
SReclaimable:     146572 kB
SUnreclaim:        27112 kB
KernelStack:        3504 kB
PageTables:         4880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     341456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 60980 MiB
End job on node115 at 2017-08-23 08:09:07