Trace number 4275798

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-07-26SAT (TO)585 19874.6 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-07-26
0.29/0.25	c seed: 1121393016
0.29/0.25	c timeout: 20160
0.29/0.25	c memlimit: 11000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
4.84/1.46	c Parsing done, starting search...
367.69/60.31	o 779
703.11/102.63	o 778
1042.39/145.34	o 777
1375.49/187.31	o 776
1687.71/226.97	o 775
1992.47/265.39	o 774
2289.21/302.75	o 773
2583.45/340.15	o 772
2868.43/376.02	o 771
3146.00/411.09	o 770
3414.33/444.89	o 769
3683.19/478.73	o 768
3946.70/511.94	o 767
4206.38/544.61	o 766
4463.62/577.07	o 765
4722.61/609.72	o 764
4979.84/642.15	o 763
5239.09/674.82	o 762
5496.40/707.21	o 761
5758.00/740.23	o 760
6011.83/772.25	o 759
6263.52/803.98	o 758
6510.56/835.04	o 757
6752.42/865.58	o 756
6995.93/896.20	o 755
7234.46/926.38	o 754
7472.52/956.32	o 753
7612.32/973.96	o 752
7750.04/991.39	o 751
7894.41/1009.52	o 750
8034.90/1027.21	o 749
8164.87/1043.68	o 748
8291.73/1059.65	o 747
8409.07/1074.46	o 746
8518.70/1088.24	o 745
8626.57/1101.82	o 744
8725.88/1114.37	o 743
8822.81/1126.60	o 742
8918.79/1138.69	o 741
9013.27/1150.60	o 740
9111.35/1163.00	o 739
9211.41/1175.51	o 738
9317.44/1188.95	o 737
9427.68/1202.89	o 736
9546.17/1217.78	o 735
9659.69/1232.06	o 734
9773.83/1246.43	o 733
9889.68/1261.07	o 732
10002.32/1275.23	o 731
10115.50/1289.56	o 730
10227.54/1303.68	o 729
10339.47/1317.75	o 728
10455.33/1332.37	o 727
10568.81/1346.68	o 726
10682.51/1360.91	o 725
10787.95/1374.27	o 724
10899.11/1388.29	o 723
11007.42/1402.00	o 722
11118.13/1415.96	o 721
11226.75/1429.70	o 720
11336.89/1443.56	o 719
11447.83/1457.53	o 718
11558.26/1471.46	o 717
11669.85/1485.59	o 716
11780.13/1499.46	o 715
11892.07/1513.56	o 714
12004.16/1527.62	o 713
12110.61/1541.08	o 712
12221.54/1555.03	o 711
12329.19/1568.66	o 710
12438.73/1582.45	o 709
12545.02/1595.85	o 708
12630.67/1606.60	o 707
12709.07/1616.50	o 706
12792.47/1627.06	o 705
12875.73/1637.51	o 704
12958.12/1647.98	o 703
13039.90/1658.27	o 702
13122.51/1668.62	o 701
13203.51/1678.84	o 700
13288.33/1689.51	o 699
13370.21/1699.89	o 698
13451.25/1710.10	o 697
13532.09/1720.23	o 696
13612.24/1730.32	o 695
13691.50/1740.34	o 694
13773.80/1750.77	o 693
13853.26/1760.73	o 692
13931.11/1770.59	o 691
14010.96/1780.70	o 690
14089.48/1790.51	o 689
14162.90/1799.84	o 688
14239.78/1809.56	o 687
14313.16/1818.89	o 686
14387.00/1828.20	o 685
14460.72/1837.50	o 684
14534.47/1846.75	o 683
14608.44/1856.06	o 682
14683.61/1865.59	o 681
14756.50/1874.76	o 680
14828.81/1883.90	o 679
14894.84/1892.14	o 678
14959.73/1900.36	o 677
15024.92/1908.51	o 676
15092.30/1917.11	o 675
15158.17/1925.33	o 674
15223.83/1933.63	o 673
15288.97/1941.89	o 672
15354.01/1950.05	o 671
15420.62/1958.43	o 670
15489.55/1967.12	o 669
15553.86/1975.27	o 668
15619.55/1983.54	o 667
15685.44/1991.85	o 666
15747.35/1999.60	o 665
15808.55/2007.37	o 664
15872.73/2015.41	o 663
15929.09/2022.56	o 662
15984.64/2029.55	o 661
16040.88/2036.63	o 660
16097.17/2043.75	o 659
16154.39/2050.93	o 658
16216.73/2059.06	o 657
16271.48/2065.90	o 656
16324.68/2072.65	o 655
16379.33/2079.59	o 654
16434.13/2086.46	o 653
16490.46/2093.55	o 652
16549.17/2100.97	o 651
16610.18/2108.68	o 650
16668.15/2115.93	o 649
16726.01/2123.21	o 648
16780.73/2130.20	o 647
16838.63/2137.41	o 646
16894.27/2144.49	o 645
16952.68/2151.85	o 644
17009.03/2158.97	o 643
17064.55/2166.00	o 642
17121.79/2173.17	o 641
17180.39/2180.52	o 640
17238.46/2187.83	o 639
17296.50/2195.19	o 638
17359.02/2203.03	o 637
17418.51/2210.59	o 636
17477.34/2218.01	o 635
17536.06/2225.37	o 634
17584.59/2231.47	o 633
17633.77/2237.67	o 632
17682.99/2243.86	o 631
17734.47/2250.38	o 630
17782.86/2256.45	o 629
17832.14/2262.61	o 628
17880.54/2268.71	o 627
17928.88/2274.82	o 626
17976.46/2280.86	o 625
18024.79/2286.98	o 624
18076.25/2293.45	o 623
18123.78/2299.49	o 622
18171.46/2305.47	o 621
18219.06/2311.41	o 620
18266.65/2317.49	o 619
18314.97/2323.52	o 618
18361.78/2329.45	o 617
18411.58/2335.78	o 616
18460.76/2341.91	o 615
18508.38/2347.94	o 614
18554.48/2353.77	o 613
18600.57/2359.60	o 612
18647.51/2365.43	o 611
18693.64/2371.25	o 610
18741.80/2377.38	o 609
18788.72/2383.20	o 608
18834.80/2389.10	o 607
18881.61/2394.97	o 606
18927.70/2400.75	o 605
18973.83/2406.55	o 604
19022.03/2412.68	o 603
19071.72/2418.96	o 602
19117.78/2424.75	o 601
19163.89/2430.60	o 600
19210.86/2436.45	o 599
19257.65/2442.31	o 598
19303.81/2448.14	o 597
19349.80/2453.97	o 596
19399.39/2460.26	o 595
19445.46/2466.08	o 594
19490.70/2471.79	o 593
19534.39/2477.27	o 592
19577.78/2482.73	o 591
19621.48/2488.29	o 590
19666.53/2493.98	o 589
19714.02/2499.90	o 588
19756.86/2505.39	o 587
19800.53/2510.88	o 586
19844.00/2516.37	o 585
19874.38/2520.12	s SATISFIABLE
19874.38/2520.13	v <instantiation>
19874.38/2520.13	v 	<list>
19874.38/2520.13	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]
19874.38/2520.13	v 	</list>
19874.38/2520.13	v 	<values>
19874.38/2520.13	v 		581 582 584 584 583 585 583 584 585 583 583 583 584 584 585 584 585 585 585 585 585 584 585 583 584 584 583 584 582 581 584 583 585 585 585 584 583 582 585 581 584 584 584 578 585 584 584 580 585 583 584 582 585 584 578 578 584 581 578 585 585 585 585 584 584 585 579 580 585 585 581 582 582 585 583 583 584 582 583 583 585 584 584 583 581 585 584 583 584 584 585 584 582 582 585 584 580 581 584 585 585 585 585 585 582 581 582 585 584 582 583 584 583 581 583 581 585 584 585 583 584 585 584 583 583 584 585 584 584 583 585 584 585 585 585 585 585 582 585 584 584 582 585 585 584 585 583 584 584 582 585 585 585 583 585 583 583 584 581 585 584 583 584 585 582 584 585 583 585 584 585 585 583 583 585 584 583 584 585 584 584 582 584 582 583 584 584 585 581 585 585 584 582 584 584 585 584 583 583 585 584 585 583 585 582 583 585 585 583 583 585 585 584 584 585 585 584 585 582 583 584 584 585 583 580 584 583 574 584 575 576 584 583 577 584 578 584 584 584 584 584 579 580 585 584 581 582 583 585 583 585 584 580 584 582 584 585 584 581 583 580 585 583 585 585 583 584 583 580 580 584 585 584 583 583 581 582 583 585 585 583 582 583 584 585 584 582 585 583 582 585 574 585 584 585 584 583 575 584 576 577 578 579 580 585 585 581 582 584 585 584 583 585 584 585 585 583 581 585 581 582 585 584 582 582 583 582 585 582 582 582 583 585 583 584 584 584 585 584 584 583 584 584 585 583 582 581 584 582 585 584 585 585 585 581 585 584 585 584 584 584 584 584 585 585 584 584 585 585 582 584 585 583 585 584 585 585 584 584 585 585 585 584 585 582 584 584 584 582 584 582 584 585 582 584 583 585 584 583 585 583 585 584 585 583 585 580 585 584 583 585 584 585 582 585 585 582 585 583 583 585 585 581 582 582 584 582 582 584 581 585 583 584 584 582 585 584 583 585 585 585 583 583 585 584 584 585 583 584 584 585 585 584 584 583 585 583 583 584 582 585 583 585 584 585 583 583 584 583 584 584 583 583 583 583 585 585 582 583 583 585 575 576 584 582 577 584 578 581 581 585 585 584 579 580 584 582 581 582 583 584 583 585 584 585 584 585 583 584 575 581 576 577 578 579 580 583 585 581 582 584 585 583 583 585 584 585 576 584 583 577 585 578 585 585 585 584 585 579 580 585 585 581 582 583 585 583 585 584 584 583 577 585 578 585 584 584 585 584 579 580 584 584 581 582 583 585 583 585 584 584 584 585 584 585 585 585 583 585 584 584 585 585 584 584 584 585 584 585 583 583 584 583 583 583 584 583 584 582 585 584 583 583 583 582 584 585 583 584 585 578 585 584 584 585 584 579 580 584 584 581 582 583 585 583 585 584 584 576 577 578 579 580 585 585 581 582 584 585 584 583 585 584 585 581 581 584 585 584 579 580 584 582 581 582 583 584 583 585 584 577 578 579 580 585 585 581 582 584 585 583 583 585 584 585 578 579 580 583 585 581 582 584 585 583 583 585 584 585 579 580 584 585 581 582 584 585 584 583 585 584 585 580 583 585 581 582 584 584 583 583 585 584 585 584 585 581 582 584 585 584 583 585 584 585 580 585 585 581 582 585 585 583 585 584 585 585 581 582 585 585 583 585 584 582 585 585 584 583 585 584 585 584 585 583 583 585 584 585 582 583 585 583 585 584 583 585 583 585 584 584 585 583 584 585 584 585 585 584 585 
19874.38/2520.13	v 	</values>
19874.38/2520.13	v </instantiation>

Verifier Data 

OK	585

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 (13824 MiB free)
  memory of node 1: 16384 MiB (14152 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275798-1502863711/watcher-4275798-1502863711 -o /tmp/evaluation-result-4275798-1502863711/solver-4275798-1502863711 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502854162-20528 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1121393016 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275798-1502863711.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=21791, runsolver pid=21788


[startup+0.100138 s]*
/proc/loadavg: 3.49 3.74 4.31 2/199 21811
/proc/meminfo: memFree=28629580/32770624 swapFree=67108860/67108860
[pid=21791] ppid=21788 vsize=14325320 memory=33016 CPUtime=0.12 cores=0-7
/proc/21791/stat : 21791 (java) S 21788 21791 20501 0 -1 1077944320 8173 0 0 0 11 1 0 0 20 0 20 0 119452132 14669127680 8254 33554432000 4194304 4196468 140724330256192 140724330238736 139842905501431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
/proc/21791/statm: 3581330 8254 3410 1 0 3569050 0
[pid=21791/tid=21793] ppid=21788 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/21791/task/21793/stat : 21793 (java) R 21788 21791 20501 0 -1 4202560 6094 0 0 0 8 1 0 0 20 0 20 0 119452132 14669127680 8254 33554432000 4194304 4196468 140724330256192 139842909718128 139842889581918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21794] ppid=21788 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21791/task/21794/stat : 21794 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 8254 33554432000 4194304 4196468 140724330256192 139842862053648 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21795] ppid=21788 vsize=14325320 memory=139875914786432 CPUtime=0 cores=0-7
/proc/21791/task/21795/stat : 21795 (java) S 21788 21791 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 8254 33554432000 4194304 4196468 140724330256192 139842499832208 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21796] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21796/stat : 21796 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 8254 33554432000 4194304 4196468 140724330256192 139842498779664 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21797] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21797/stat : 21797 (java) S 21788 21791 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 8254 33554432000 4194304 4196468 140724330256192 139842497727120 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21798] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21798/stat : 21798 (java) S 21788 21791 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 8254 33554432000 4194304 4196468 140724330256192 139842496674576 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21799] ppid=21788 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/21791/task/21799/stat : 21799 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 8254 33554432000 4194304 4196468 140724330256192 139842495622032 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21800] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21800/stat : 21800 (java) S 21788 21791 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 8254 33554432000 4194304 4196468 140724330256192 139842494569488 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21801] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21801/stat : 21801 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 8254 33554432000 4194304 4196468 140724330256192 139842493516944 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21802] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21802/stat : 21802 (java) S 21788 21791 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119452135 14669127680 8254 33554432000 4194304 4196468 140724330256192 139841960298480 139842905512578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21803] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21803/stat : 21803 (java) S 21788 21791 20501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 119452135 14669127680 8254 33554432000 4194304 4196468 140724330256192 139841959244704 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21804] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21804/stat : 21804 (java) S 21788 21791 20501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 119452135 14669127680 8254 33554432000 4194304 4196468 140724330256192 139841958192112 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21805] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21805/stat : 21805 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452138 14669127680 8254 33554432000 4194304 4196468 140724330256192 139841957140688 139842905520027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21806] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21806/stat : 21806 (java) S 21788 21791 20501 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 119452138 14669127680 8254 33554432000 4194304 4196468 140724330256192 139841956088304 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21807] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21807/stat : 21807 (java) S 21788 21791 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119452138 14669127680 8254 33554432000 4194304 4196468 140724330256192 139841955035760 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21808] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21808/stat : 21808 (java) S 21788 21791 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119452138 14669127680 8254 33554432000 4194304 4196468 140724330256192 139841953983216 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21809] ppid=21788 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/21791/task/21809/stat : 21809 (java) S 21788 21791 20501 0 -1 1077944384 394 0 0 0 1 0 0 0 20 0 20 0 119452138 14669127680 8254 33554432000 4194304 4196468 140724330256192 139841952930672 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21810] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21810/stat : 21810 (java) S 21788 21791 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119452138 14669127680 8254 33554432000 4194304 4196468 140724330256192 139841951877344 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21811] ppid=21788 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/21791/task/21811/stat : 21811 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452138 14669127680 8254 33554432000 4194304 4196468 140724330256192 139841950824880 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33016 KiB

[startup+0.209825 s]*
/proc/loadavg: 3.49 3.74 4.31 3/199 21811
/proc/meminfo: memFree=28619264/32770624 swapFree=67108860/67108860
[pid=21791] ppid=21788 vsize=14325320 memory=42356 CPUtime=0.29 cores=0-7
/proc/21791/stat : 21791 (java) S 21788 21791 20501 0 -1 1077944320 9235 0 0 0 27 2 0 0 20 0 20 0 119452132 14669127680 10589 33554432000 4194304 4196468 140724330256192 140724330238736 139842905501431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
/proc/21791/statm: 3581330 10589 3603 1 0 3569050 0
[pid=21791/tid=21793] ppid=21788 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/21791/task/21793/stat : 21793 (java) R 21788 21791 20501 0 -1 4202560 6763 0 0 0 18 1 0 0 20 0 20 0 119452132 14669127680 10589 33554432000 4194304 4196468 140724330256192 139842909723424 139842889581918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21794] ppid=21788 vsize=14325320 memory=13939 CPUtime=0 cores=0-7
/proc/21791/task/21794/stat : 21794 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 10589 33554432000 4194304 4196468 140724330256192 139842862053648 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21795] ppid=21788 vsize=14325320 memory=139875914806005 CPUtime=0 cores=0-7
/proc/21791/task/21795/stat : 21795 (java) S 21788 21791 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 10589 33554432000 4194304 4196468 140724330256192 139842499832208 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21796] ppid=21788 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/21791/task/21796/stat : 21796 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 10589 33554432000 4194304 4196468 140724330256192 139842498779664 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21797] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21797/stat : 21797 (java) S 21788 21791 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 10589 33554432000 4194304 4196468 140724330256192 139842497727120 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21798] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21798/stat : 21798 (java) S 21788 21791 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 10589 33554432000 4194304 4196468 140724330256192 139842496674576 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21799] ppid=21788 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/21791/task/21799/stat : 21799 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 10589 33554432000 4194304 4196468 140724330256192 139842495622032 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21800] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21800/stat : 21800 (java) S 21788 21791 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 10589 33554432000 4194304 4196468 140724330256192 139842494569488 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21801] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21801/stat : 21801 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14669127680 10589 33554432000 4194304 4196468 140724330256192 139842493516944 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21802] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21802/stat : 21802 (java) S 21788 21791 20501 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 119452135 14669127680 10589 33554432000 4194304 4196468 140724330256192 139841960298480 139842905512578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21803] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21803/stat : 21803 (java) S 21788 21791 20501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 119452135 14669127680 10589 33554432000 4194304 4196468 140724330256192 139841959244704 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21804] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21804/stat : 21804 (java) S 21788 21791 20501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 119452135 14669127680 10589 33554432000 4194304 4196468 140724330256192 139841958192112 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21805] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21805/stat : 21805 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452138 14669127680 10589 33554432000 4194304 4196468 140724330256192 139841957140688 139842905520027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21806] ppid=21788 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/21791/task/21806/stat : 21806 (java) S 21788 21791 20501 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 20 0 119452138 14669127680 10589 33554432000 4194304 4196468 140724330256192 139841956088304 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21807] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21807/stat : 21807 (java) S 21788 21791 20501 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 119452138 14669127680 10589 33554432000 4194304 4196468 140724330256192 139841955035760 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21808] ppid=21788 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/21791/task/21808/stat : 21808 (java) S 21788 21791 20501 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 20 0 119452138 14669127680 10589 33554432000 4194304 4196468 140724330256192 139841953983216 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21809] ppid=21788 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/21791/task/21809/stat : 21809 (java) S 21788 21791 20501 0 -1 1077944384 455 0 0 0 5 0 0 0 20 0 20 0 119452138 14669127680 10589 33554432000 4194304 4196468 140724330256192 139841952930672 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21810] ppid=21788 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21810/stat : 21810 (java) S 21788 21791 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119452138 14669127680 10589 33554432000 4194304 4196468 140724330256192 139841951877344 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21811] ppid=21788 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/21791/task/21811/stat : 21811 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452138 14669127680 10589 33554432000 4194304 4196468 140724330256192 139841950824880 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 42356 KiB

[startup+0.309531 s]*
/proc/loadavg: 3.49 3.74 4.31 3/199 21811
/proc/meminfo: memFree=28611324/32770624 swapFree=67108860/67108860
[pid=21791] ppid=21788 vsize=14325340 memory=50680 CPUtime=0.48 cores=0-7
/proc/21791/stat : 21791 (java) S 21788 21791 20501 0 -1 1077944320 10430 0 0 0 45 3 0 0 20 0 20 0 119452132 14669148160 12670 33554432000 4194304 4196468 140724330256192 140724330238736 139842905501431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
/proc/21791/statm: 3581335 12670 3708 1 0 3569050 0
[pid=21791/tid=21793] ppid=21788 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21791/task/21793/stat : 21793 (java) R 21788 21791 20501 0 -1 4202560 7543 0 0 0 27 2 0 0 20 0 20 0 119452132 14669148160 12670 33554432000 4194304 4196468 140724330256192 139842909732128 139842541473072 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21794] ppid=21788 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21794/stat : 21794 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14669148160 12670 33554432000 4194304 4196468 140724330256192 139842862053648 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21795] ppid=21788 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21795/stat : 21795 (java) S 21788 21791 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119452133 14669148160 12670 33554432000 4194304 4196468 140724330256192 139842499832208 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21796] ppid=21788 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21796/stat : 21796 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14669148160 12670 33554432000 4194304 4196468 140724330256192 139842498779664 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21797] ppid=21788 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21797/stat : 21797 (java) S 21788 21791 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119452133 14669148160 12670 33554432000 4194304 4196468 140724330256192 139842497727120 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21798] ppid=21788 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/21791/task/21798/stat : 21798 (java) S 21788 21791 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119452133 14669148160 12670 33554432000 4194304 4196468 140724330256192 139842496674576 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21799] ppid=21788 vsize=14325340 memory=139875810636719 CPUtime=0 cores=0-7
/proc/21791/task/21799/stat : 21799 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14669148160 12670 33554432000 4194304 4196468 140724330256192 139842495622032 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21800] ppid=21788 vsize=14325340 memory=139875810639024 CPUtime=0 cores=0-7
/proc/21791/task/21800/stat : 21800 (java) S 21788 21791 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119452133 14669148160 12670 33554432000 4194304 4196468 140724330256192 139842494569488 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21801] ppid=21788 vsize=14325340 memory=139875810641328 CPUtime=0 cores=0-7
/proc/21791/task/21801/stat : 21801 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14669148160 12670 33554432000 4194304 4196468 140724330256192 139842493516944 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21802] ppid=21788 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21802/stat : 21802 (java) S 21788 21791 20501 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 119452135 14669148160 12670 33554432000 4194304 4196468 140724330256192 139841960298480 139842905512578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21803] ppid=21788 vsize=14325340 memory=279751621289616 CPUtime=0 cores=0-7
/proc/21791/task/21803/stat : 21803 (java) S 21788 21791 20501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 119452135 14669148160 12670 33554432000 4194304 4196468 140724330256192 139841959244704 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21804] ppid=21788 vsize=14325340 memory=279751621296528 CPUtime=0 cores=0-7
/proc/21791/task/21804/stat : 21804 (java) S 21788 21791 20501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 119452135 14669148160 12670 33554432000 4194304 4196468 140724330256192 139841958192112 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21805] ppid=21788 vsize=14325340 memory=279751621237808 CPUtime=0 cores=0-7
/proc/21791/task/21805/stat : 21805 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452138 14669148160 12670 33554432000 4194304 4196468 140724330256192 139841957140688 139842905520027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21806] ppid=21788 vsize=14325340 memory=279751621310352 CPUtime=0.03 cores=0-7
/proc/21791/task/21806/stat : 21806 (java) S 21788 21791 20501 0 -1 1077944384 644 0 0 0 3 0 0 0 20 0 20 0 119452138 14669148160 12670 33554432000 4194304 4196468 140724330256192 139841956088304 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21807] ppid=21788 vsize=14325340 memory=279751621317264 CPUtime=0.02 cores=0-7
/proc/21791/task/21807/stat : 21807 (java) S 21788 21791 20501 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 20 0 119452138 14669148160 12670 33554432000 4194304 4196468 140724330256192 139841955035760 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21808] ppid=21788 vsize=14325340 memory=279751621314960 CPUtime=0.02 cores=0-7
/proc/21791/task/21808/stat : 21808 (java) S 21788 21791 20501 0 -1 1077944384 160 0 0 0 2 0 0 0 20 0 20 0 119452138 14669148160 12670 33554432000 4194304 4196468 140724330256192 139841953983216 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21809] ppid=21788 vsize=14325340 memory=279751621331568 CPUtime=0.08 cores=0-7
/proc/21791/task/21809/stat : 21809 (java) S 21788 21791 20501 0 -1 1077944384 487 0 0 0 8 0 0 0 20 0 20 0 119452138 14669148160 12670 33554432000 4194304 4196468 140724330256192 139841952930672 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21810] ppid=21788 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21810/stat : 21810 (java) S 21788 21791 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119452138 14669148160 12670 33554432000 4194304 4196468 140724330256192 139841951877344 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21811] ppid=21788 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/21791/task/21811/stat : 21811 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452138 14669148160 12670 33554432000 4194304 4196468 140724330256192 139841950824880 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 50680 KiB

[startup+0.700922 s]
/proc/loadavg: 3.49 3.74 4.31 5/199 21811
/proc/meminfo: memFree=28582848/32770624 swapFree=67108860/67108860
[pid=21791] ppid=21788 vsize=14327388 memory=118904 CPUtime=1.77 cores=0-7
/proc/21791/stat : 21791 (java) S 21788 21791 20501 0 -1 1077944320 15176 0 0 0 172 5 0 0 20 0 20 0 119452132 14671245312 29726 33554432000 4194304 4196468 140724330256192 140724330238736 139842905501431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
/proc/21791/statm: 3581847 29726 3769 1 0 3569562 0
[pid=21791/tid=21793] ppid=21788 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/21791/task/21793/stat : 21793 (java) R 21788 21791 20501 0 -1 4202560 8402 0 0 0 64 3 0 0 20 0 20 0 119452132 14671245312 29726 33554432000 4194304 4196468 140724330256192 139842909736384 139842544706420 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21794] ppid=21788 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21794/stat : 21794 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14671245312 29726 33554432000 4194304 4196468 140724330256192 139842862053648 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21795] ppid=21788 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21795/stat : 21795 (java) S 21788 21791 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119452133 14671245312 29726 33554432000 4194304 4196468 140724330256192 139842499832208 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21796] ppid=21788 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/21791/task/21796/stat : 21796 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14671245312 29726 33554432000 4194304 4196468 140724330256192 139842498779664 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21797] ppid=21788 vsize=14327388 memory=792 CPUtime=0 cores=0-7
/proc/21791/task/21797/stat : 21797 (java) S 21788 21791 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119452133 14671245312 29726 33554432000 4194304 4196468 140724330256192 139842497727120 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21798] ppid=21788 vsize=14327388 memory=1204 CPUtime=0 cores=0-7
/proc/21791/task/21798/stat : 21798 (java) S 21788 21791 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119452133 14671245312 29726 33554432000 4194304 4196468 140724330256192 139842496674576 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21799] ppid=21788 vsize=14327388 memory=1728 CPUtime=0 cores=0-7
/proc/21791/task/21799/stat : 21799 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14671245312 29726 33554432000 4194304 4196468 140724330256192 139842495622032 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21800] ppid=21788 vsize=14327388 memory=1440 CPUtime=0 cores=0-7
/proc/21791/task/21800/stat : 21800 (java) S 21788 21791 20501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119452133 14671245312 29726 33554432000 4194304 4196468 140724330256192 139842494569488 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21801] ppid=21788 vsize=14327388 memory=15876 CPUtime=0 cores=0-7
/proc/21791/task/21801/stat : 21801 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119452133 14671245312 29726 33554432000 4194304 4196468 140724330256192 139842493516944 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21802] ppid=21788 vsize=14327388 memory=16432 CPUtime=0 cores=0-7
/proc/21791/task/21802/stat : 21802 (java) S 21788 21791 20501 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 119452135 14671245312 29726 33554432000 4194304 4196468 140724330256192 139841960298480 139842905512578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0

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

/proc/21791/task/21803/stat : 21803 (java) S 21788 21791 20501 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 40 0 119452135 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841959244768 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21804] ppid=21788 vsize=15668944 memory=4080 CPUtime=0 cores=0-7
/proc/21791/task/21804/stat : 21804 (java) S 21788 21791 20501 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 40 0 119452135 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841958192128 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21805] ppid=21788 vsize=15668944 memory=932 CPUtime=0 cores=0-7
/proc/21791/task/21805/stat : 21805 (java) S 21788 21791 20501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 119452138 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841957140688 139842905520027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21806] ppid=21788 vsize=15668944 memory=1584 CPUtime=2.68 cores=0-7
/proc/21791/task/21806/stat : 21806 (java) S 21788 21791 20501 0 -1 1077944384 20657 0 0 0 262 6 0 0 20 0 40 0 119452138 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841956088304 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21807] ppid=21788 vsize=15668944 memory=2196 CPUtime=2.85 cores=0-7
/proc/21791/task/21807/stat : 21807 (java) S 21788 21791 20501 0 -1 1077944384 25991 0 0 0 280 5 0 0 20 0 40 0 119452138 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841955035760 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21808] ppid=21788 vsize=15668944 memory=6508 CPUtime=2.38 cores=0-7
/proc/21791/task/21808/stat : 21808 (java) S 21788 21791 20501 0 -1 1077944384 17830 0 0 0 235 3 0 0 20 0 40 0 119452138 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841953983216 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21809] ppid=21788 vsize=15668944 memory=840 CPUtime=1.44 cores=0-7
/proc/21791/task/21809/stat : 21809 (java) S 21788 21791 20501 0 -1 1077944384 78535 0 0 0 133 11 0 0 20 0 40 0 119452138 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841952930672 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21810] ppid=21788 vsize=15668944 memory=1696 CPUtime=0 cores=0-7
/proc/21791/task/21810/stat : 21810 (java) S 21788 21791 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 119452138 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841951877344 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21811] ppid=21788 vsize=15668944 memory=916 CPUtime=1.37 cores=0-7
/proc/21791/task/21811/stat : 21811 (java) S 21788 21791 20501 0 -1 1077944384 5876 0 0 0 72 65 0 0 20 0 40 0 119452138 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841950824880 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21812] ppid=21788 vsize=15668944 memory=2240 CPUtime=0.07 cores=0-7
/proc/21791/task/21812/stat : 21812 (java) S 21788 21791 20501 0 -1 1077944384 10533 0 0 0 5 2 0 0 20 0 40 0 119453799 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841940538064 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21813] ppid=21788 vsize=15668944 memory=2424 CPUtime=7.03 cores=0-7
/proc/21791/task/21813/stat : 21813 (java) R 21788 21791 20501 0 -1 1077944384 18682 0 0 0 338 365 0 0 20 0 40 0 119453810 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841937388704 139842905512578 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21814] ppid=21788 vsize=15668944 memory=4080 CPUtime=1038.19 cores=0-7
/proc/21791/task/21814/stat : 21814 (java) S 21788 21791 20501 0 -1 1077944384 90137 0 0 0 103612 207 0 0 20 0 40 0 119453820 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841934239120 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21815] ppid=21788 vsize=15668944 memory=932 CPUtime=1378.22 cores=0-7
/proc/21791/task/21815/stat : 21815 (java) R 21788 21791 20501 0 -1 4202560 89037 0 0 0 137625 197 0 0 20 0 40 0 119453821 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841933180520 139842550680146 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21816] ppid=21788 vsize=15668944 memory=1584 CPUtime=97.83 cores=0-7
/proc/21791/task/21816/stat : 21816 (java) S 21788 21791 20501 0 -1 1077944384 8200 0 0 0 9775 8 0 0 20 0 40 0 119453821 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841932134032 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21817] ppid=21788 vsize=15668944 memory=2196 CPUtime=1460.33 cores=0-7
/proc/21791/task/21817/stat : 21817 (java) R 21788 21791 20501 0 -1 4202560 110191 0 0 0 145771 262 0 0 20 0 40 0 119453824 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841931075432 139842543767617 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21818] ppid=21788 vsize=15668944 memory=6508 CPUtime=1194.33 cores=0-7
/proc/21791/task/21818/stat : 21818 (java) R 21788 21791 20501 0 -1 4202560 78093 0 0 0 119218 215 0 0 20 0 40 0 119453824 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841930021864 139842552580616 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21819] ppid=21788 vsize=15668944 memory=840 CPUtime=2255.29 cores=0-7
/proc/21791/task/21819/stat : 21819 (java) R 21788 21791 20501 0 -1 4202560 159976 0 0 0 225167 362 0 0 20 0 40 0 119453824 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841928972128 139842551310540 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21820] ppid=21788 vsize=15668944 memory=1696 CPUtime=2260.04 cores=0-7
/proc/21791/task/21820/stat : 21820 (java) R 21788 21791 20501 0 -1 4202560 167960 0 0 0 225641 363 0 0 20 0 40 0 119453824 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841927920192 139842550550700 0 4 0 16800975 0 0 0 -1 4 0 0 33 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21821] ppid=21788 vsize=15668944 memory=916 CPUtime=1681.41 cores=0-7
/proc/21791/task/21821/stat : 21821 (java) S 21788 21791 20501 0 -1 1077944384 123453 0 0 0 167813 328 0 0 20 0 40 0 119453824 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841926870288 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21822] ppid=21788 vsize=15668944 memory=5884 CPUtime=758.88 cores=0-7
/proc/21791/task/21822/stat : 21822 (java) S 21788 21791 20501 0 -1 1077944384 46000 0 0 0 75784 104 0 0 20 0 40 0 119453824 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841925817744 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21823] ppid=21788 vsize=15668944 memory=1152 CPUtime=1127.95 cores=0-7
/proc/21791/task/21823/stat : 21823 (java) S 21788 21791 20501 0 -1 1077944384 98134 0 0 0 112551 244 0 0 20 0 40 0 119453824 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841924765200 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21824] ppid=21788 vsize=15668944 memory=4759288 CPUtime=180.07 cores=0-7
/proc/21791/task/21824/stat : 21824 (java) R 21788 21791 20501 0 -1 4202560 11911 0 0 0 17986 21 0 0 20 0 40 0 119453837 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841923706352 139842543767890 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21825] ppid=21788 vsize=15668944 memory=6791534058613427641 CPUtime=1501.78 cores=0-7
/proc/21791/task/21825/stat : 21825 (java) R 21788 21791 20501 0 -1 4202560 116444 0 0 0 149873 305 0 0 20 0 40 0 119453837 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841922654056 139842550550688 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21826] ppid=21788 vsize=15668944 memory=1004 CPUtime=672.81 cores=0-7
/proc/21791/task/21826/stat : 21826 (java) S 21788 21791 20501 0 -1 1077944384 57447 0 0 0 67172 109 0 0 20 0 40 0 119453837 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841493001104 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21827] ppid=21788 vsize=15668944 memory=1228 CPUtime=481.76 cores=0-7
/proc/21791/task/21827/stat : 21827 (java) S 21788 21791 20501 0 -1 1077944384 36660 0 0 0 48099 77 0 0 20 0 40 0 119453837 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841491948560 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21828] ppid=21788 vsize=15668944 memory=1952 CPUtime=43.52 cores=0-7
/proc/21791/task/21828/stat : 21828 (java) S 21788 21791 20501 0 -1 1077944384 6776 0 0 0 4341 11 0 0 20 0 40 0 119453837 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841490896016 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21829] ppid=21788 vsize=15668944 memory=5796 CPUtime=186.88 cores=0-7
/proc/21791/task/21829/stat : 21829 (java) S 21788 21791 20501 0 -1 1077944384 17106 0 0 0 18657 31 0 0 20 0 40 0 119453837 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841489843472 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21831] ppid=21788 vsize=15668944 memory=4616 CPUtime=1132.07 cores=0-7
/proc/21791/task/21831/stat : 21831 (java) R 21788 21791 20501 0 -1 4202560 70342 0 0 0 113054 153 0 0 20 0 40 0 119458164 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841486650856 139842551310528 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21832] ppid=21788 vsize=15668944 memory=4759576 CPUtime=617.16 cores=0-7
/proc/21791/task/21832/stat : 21832 (java) S 21788 21791 20501 0 -1 1077944384 40923 0 0 0 61630 86 0 0 20 0 40 0 119458167 16044998656 1189848 33554432000 4194304 4196468 140724330256192 139841485604368 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
Current children cumulated CPU time: 19873.5 s
Current children cumulated vsize: 15668944 KiB
Current children cumulated memory: 4759392 KiB

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

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

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

[startup+2520.13 s]
/proc/loadavg: 9.39 9.03 8.54 10/218 21889
/proc/meminfo: memFree=23894148/32770624 swapFree=67108860/67108860
[pid=21791] ppid=21788 vsize=15736536 memory=4759560 CPUtime=19874.4 cores=0-7
/proc/21791/stat : 21791 (java) S 21788 21791 20501 0 -1 1077944320 3265053 0 0 0 1983383 4055 0 0 20 0 42 0 119452132 16114212864 1189890 33554432000 4194304 4196468 140724330256192 140724330238736 139842905501431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
/proc/21791/statm: 3934134 1189890 3863 1 0 3921328 0
[pid=21791/tid=21793] ppid=21788 vsize=15736536 memory=4759288 CPUtime=16.61 cores=0-7
/proc/21791/task/21793/stat : 21793 (java) S 21788 21791 20501 0 -1 1077944384 20079 0 0 0 1604 57 0 0 20 0 42 0 119452132 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139842909739136 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21794] ppid=21788 vsize=15736536 memory=4759392 CPUtime=220.43 cores=0-7
/proc/21791/task/21794/stat : 21794 (java) S 21788 21791 20501 0 -1 1077944384 174654 0 0 0 21947 96 0 0 20 0 42 0 119452133 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139842862053648 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21795] ppid=21788 vsize=15736536 memory=4759392 CPUtime=220.27 cores=0-7
/proc/21791/task/21795/stat : 21795 (java) S 21788 21791 20501 0 -1 1077944384 173928 0 0 0 21928 99 0 0 20 0 42 0 119452133 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139842499832208 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21796] ppid=21788 vsize=15736536 memory=21477 CPUtime=220.39 cores=0-7
/proc/21791/task/21796/stat : 21796 (java) S 21788 21791 20501 0 -1 1077944384 182346 0 0 0 21937 102 0 0 20 0 42 0 119452133 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139842498779664 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21797] ppid=21788 vsize=15736536 memory=4749640 CPUtime=220.53 cores=0-7
/proc/21791/task/21797/stat : 21797 (java) S 21788 21791 20501 0 -1 1077944384 184937 0 0 0 21951 102 0 0 20 0 42 0 119452133 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139842497727120 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21798] ppid=21788 vsize=15736536 memory=4096 CPUtime=220.62 cores=0-7
/proc/21791/task/21798/stat : 21798 (java) S 21788 21791 20501 0 -1 1077944384 175916 0 0 0 21966 96 0 0 20 0 42 0 119452133 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139842496674576 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21799] ppid=21788 vsize=15736536 memory=4759392 CPUtime=220.28 cores=0-7
/proc/21791/task/21799/stat : 21799 (java) S 21788 21791 20501 0 -1 1077944384 190008 0 0 0 21928 100 0 0 20 0 42 0 119452133 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139842495622032 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21800] ppid=21788 vsize=15736536 memory=753 CPUtime=220.57 cores=0-7
/proc/21791/task/21800/stat : 21800 (java) S 21788 21791 20501 0 -1 1077944384 179299 0 0 0 21960 97 0 0 20 0 42 0 119452133 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139842494569488 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21801] ppid=21788 vsize=15736536 memory=57 CPUtime=220.43 cores=0-7
/proc/21791/task/21801/stat : 21801 (java) S 21788 21791 20501 0 -1 1077944384 195996 0 0 0 21936 107 0 0 20 0 42 0 119452133 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139842493516944 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21802] ppid=21788 vsize=15736536 memory=26157 CPUtime=6.99 cores=0-7
/proc/21791/task/21802/stat : 21802 (java) S 21788 21791 20501 0 -1 1077944384 279236 0 0 0 612 87 0 0 20 0 42 0 119452135 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139841960298480 139842905512578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21803] ppid=21788 vsize=15736536 memory=792 CPUtime=0 cores=0-7
/proc/21791/task/21803/stat : 21803 (java) S 21788 21791 20501 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 42 0 119452135 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139841959244768 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21804] ppid=21788 vsize=15736536 memory=1204 CPUtime=0 cores=0-7
/proc/21791/task/21804/stat : 21804 (java) S 21788 21791 20501 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 42 0 119452135 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139841958192128 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21805] ppid=21788 vsize=15736536 memory=2196 CPUtime=0 cores=0-7
/proc/21791/task/21805/stat : 21805 (java) S 21788 21791 20501 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 42 0 119452138 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139841957140688 139842905520027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21806] ppid=21788 vsize=15736536 memory=6508 CPUtime=2.68 cores=0-7
/proc/21791/task/21806/stat : 21806 (java) S 21788 21791 20501 0 -1 1077944384 20657 0 0 0 262 6 0 0 20 0 42 0 119452138 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139841956088304 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21807] ppid=21788 vsize=15736536 memory=6791534058613427641 CPUtime=2.85 cores=0-7
/proc/21791/task/21807/stat : 21807 (java) S 21788 21791 20501 0 -1 1077944384 25991 0 0 0 280 5 0 0 20 0 42 0 119452138 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139841955035760 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21808] ppid=21788 vsize=15736536 memory=33868 CPUtime=2.38 cores=0-7
/proc/21791/task/21808/stat : 21808 (java) S 21788 21791 20501 0 -1 1077944384 17830 0 0 0 235 3 0 0 20 0 42 0 119452138 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139841953983216 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21809] ppid=21788 vsize=15736536 memory=33 CPUtime=1.44 cores=0-7
/proc/21791/task/21809/stat : 21809 (java) S 21788 21791 20501 0 -1 1077944384 78535 0 0 0 133 11 0 0 20 0 42 0 119452138 16114212864 1189890 33554432000 4194304 4196468 140724330256192 139841952930672 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21810] ppid=21788 vsize=15802072 memory=8174723239089013032 CPUtime=0 cores=0-7
/proc/21791/task/21810/stat : 21810 (java) S 21788 21791 20501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 119452138 16181321728 1189890 33554432000 4194304 4196468 140724330256192 139841951877344 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21811] ppid=21788 vsize=15802060 memory=4749280 CPUtime=1.37 cores=0-7
/proc/21791/task/21811/stat : 21811 (java) S 21788 21791 20501 0 -1 1077944384 5876 0 0 0 72 65 0 0 20 0 42 0 119452138 16181309440 1189891 33554432000 4194304 4196468 140724330256192 139841950824880 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21812] ppid=21788 vsize=15802072 memory=4749280 CPUtime=0.07 cores=0-7
/proc/21791/task/21812/stat : 21812 (java) S 21788 21791 20501 0 -1 1077944384 10533 0 0 0 5 2 0 0 20 0 42 0 119453799 16181321728 1189891 33554432000 4194304 4196468 140724330256192 139841940538064 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21813] ppid=21788 vsize=15802072 memory=4748992 CPUtime=7.03 cores=0-7
/proc/21791/task/21813/stat : 21813 (java) S 21788 21791 20501 0 -1 1077944384 18683 0 0 0 338 365 0 0 20 0 42 0 119453810 16181321728 1189891 33554432000 4194304 4196468 140724330256192 139841937388704 139842905512578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21814] ppid=21788 vsize=15802072 memory=4749128 CPUtime=1038.19 cores=0-7
/proc/21791/task/21814/stat : 21814 (java) S 21788 21791 20501 0 -1 1077944384 90137 0 0 0 103612 207 0 0 20 0 42 0 119453820 16181321728 1189891 33554432000 4194304 4196468 140724330256192 139841934239120 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21815] ppid=21788 vsize=15802072 memory=279751622761856 CPUtime=1378.3 cores=0-7
/proc/21791/task/21815/stat : 21815 (java) R 21788 21791 20501 0 -1 4202560 89037 0 0 0 137633 197 0 0 20 0 42 0 119453821 16181321728 1189891 33554432000 4194304 4196468 140724330256192 139841933180520 139842543768024 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21816] ppid=21788 vsize=15802072 memory=4759904 CPUtime=97.83 cores=0-7
/proc/21791/task/21816/stat : 21816 (java) S 21788 21791 20501 0 -1 1077944384 8200 0 0 0 9775 8 0 0 20 0 42 0 119453821 16181321728 1189891 33554432000 4194304 4196468 140724330256192 139841932134032 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21817] ppid=21788 vsize=15802072 memory=4759392 CPUtime=1460.4 cores=0-7
/proc/21791/task/21817/stat : 21817 (java) R 21788 21791 20501 0 -1 4202560 110191 0 0 0 145778 262 0 0 20 0 42 0 119453824 16181321728 1189891 33554432000 4194304 4196468 140724330256192 139841931078600 139842550550758 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21818] ppid=21788 vsize=15802072 memory=4759392 CPUtime=1194.4 cores=0-7
/proc/21791/task/21818/stat : 21818 (java) R 21788 21791 20501 0 -1 4202560 78093 0 0 0 119225 215 0 0 20 0 42 0 119453824 16181321728 1189891 33554432000 4194304 4196468 140724330256192 139841930021864 139842552580629 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21819] ppid=21788 vsize=15802072 memory=1414351094373861289 CPUtime=2255.36 cores=0-7
/proc/21791/task/21819/stat : 21819 (java) R 21788 21791 20501 0 -1 4202560 159978 0 0 0 225174 362 0 0 20 0 42 0 119453824 16181321728 1189891 33554432000 4194304 4196468 140724330256192 139841928969320 139842551310549 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21820] ppid=21788 vsize=15802072 memory=4759392 CPUtime=2260.11 cores=0-7
/proc/21791/task/21820/stat : 21820 (java) R 21788 21791 20501 0 -1 4202560 167960 0 0 0 225648 363 0 0 20 0 42 0 119453824 16181321728 1189891 33554432000 4194304 4196468 140724330256192 139841927919224 139842550485977 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21821] ppid=21788 vsize=15802072 memory=4759392 CPUtime=1681.41 cores=0-7
/proc/21791/task/21821/stat : 21821 (java) S 21788 21791 20501 0 -1 1077944384 123453 0 0 0 167813 328 0 0 20 0 42 0 119453824 16181321728 1189891 33554432000 4194304 4196468 140724330256192 139841926870288 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21822] ppid=21788 vsize=15802072 memory=1204 CPUtime=758.88 cores=0-7
/proc/21791/task/21822/stat : 21822 (java) S 21788 21791 20501 0 -1 1077944384 46000 0 0 0 75784 104 0 0 20 0 42 0 119453824 16181321728 1189891 33554432000 4194304 4196468 140724330256192 139841925817744 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21823] ppid=21788 vsize=15802072 memory=4759736 CPUtime=1127.95 cores=0-7
/proc/21791/task/21823/stat : 21823 (java) S 21788 21791 20501 0 -1 1077944384 98134 0 0 0 112551 244 0 0 20 0 42 0 119453824 16181321728 1189891 33554432000 4194304 4196468 140724330256192 139841924765200 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21824] ppid=21788 vsize=15802072 memory=4096 CPUtime=180.14 cores=0-7
/proc/21791/task/21824/stat : 21824 (java) R 21788 21791 20501 0 -1 4202560 11911 0 0 0 17993 21 0 0 20 0 42 0 119453837 16181321728 1189911 33554432000 4194304 4196468 140724330256192 139841923710296 139842543767971 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21825] ppid=21788 vsize=15802072 memory=33868 CPUtime=1501.85 cores=0-7
/proc/21791/task/21825/stat : 21825 (java) R 21788 21791 20501 0 -1 4202560 116444 0 0 0 149880 305 0 0 20 0 42 0 119453837 16181321728 1189911 33554432000 4194304 4196468 140724330256192 139841922657472 139842545956782 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21826] ppid=21788 vsize=15802072 memory=4759392 CPUtime=672.81 cores=0-7
/proc/21791/task/21826/stat : 21826 (java) S 21788 21791 20501 0 -1 1077944384 57447 0 0 0 67172 109 0 0 20 0 42 0 119453837 16181321728 1189911 33554432000 4194304 4196468 140724330256192 139841493001104 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21827] ppid=21788 vsize=15802072 memory=4759392 CPUtime=481.76 cores=0-7
/proc/21791/task/21827/stat : 21827 (java) S 21788 21791 20501 0 -1 1077944384 36660 0 0 0 48099 77 0 0 20 0 42 0 119453837 16181321728 1189911 33554432000 4194304 4196468 140724330256192 139841491948560 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21828] ppid=21788 vsize=15802072 memory=1204 CPUtime=43.52 cores=0-7
/proc/21791/task/21828/stat : 21828 (java) S 21788 21791 20501 0 -1 1077944384 6776 0 0 0 4341 11 0 0 20 0 42 0 119453837 16181321728 1189911 33554432000 4194304 4196468 140724330256192 139841490896016 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21829] ppid=21788 vsize=15802072 memory=18688 CPUtime=186.88 cores=0-7
/proc/21791/task/21829/stat : 21829 (java) S 21788 21791 20501 0 -1 1077944384 17106 0 0 0 18657 31 0 0 20 0 42 0 119453837 16181321728 1189911 33554432000 4194304 4196468 140724330256192 139841489843472 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21831] ppid=21788 vsize=15802072 memory=113140 CPUtime=1132.14 cores=0-7
/proc/21791/task/21831/stat : 21831 (java) R 21788 21791 20501 0 -1 4202560 70342 0 0 0 113061 153 0 0 20 0 42 0 119458164 16181321728 1189911 33554432000 4194304 4196468 140724330256192 139841486650296 139842550485977 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
[pid=21791/tid=21832] ppid=21788 vsize=15802072 memory=61716 CPUtime=617.16 cores=0-7
/proc/21791/task/21832/stat : 21832 (java) S 21788 21791 20501 0 -1 1077944384 40923 0 0 0 61630 86 0 0 20 0 42 0 119458167 16181321728 1189911 33554432000 4194304 4196468 140724330256192 139841485604368 139842905511637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 33013760 140724330263649 140724330263835 140724330263835 140724330266575 0
Current children cumulated CPU time: 19874.4 s
Current children cumulated vsize: 15736536 KiB
Current children cumulated memory: 4759560 KiB

Child status: 143
Real time (s): 2520.18
CPU time (s): 19874.6
CPU user time (s): 19834
CPU system time (s): 40.5965
CPU usage (%): 788.619
Max. virtual memory (cumulated for all children) (KiB): 15736536
Max. memory (cumulated for all children) (KiB): 4761560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19834
system time used= 40.5965
maximum resident set size= 4761624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3265768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 556678
involuntary context switches= 404724


# summary of solver processes directly reported to runsolver:
#   pid: 21791
#   total CPU time (s): 19874.6
#   total CPU user time (s): 19834
#   total CPU system time (s): 40.5965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.1942 second user time and 39.4014 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-16 07:54:12
IDJOB=4275798
IDBENCH=140585
IDSOLVER=2668
FILE ID=node148/4275798-1502863711
RUNJOBID= node148-1502854162-20528
PBS_JOBID= 20629865
Free space on /tmp= 61624 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-40.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275798-1502863711/watcher-4275798-1502863711 -o /tmp/evaluation-result-4275798-1502863711/solver-4275798-1502863711 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502854162-20528 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1121393016 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275798-1502863711.xml

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

MD5SUM BENCH= d153897c9dbbbf34794d1a29a7a79358
RANDOM SEED=1121393016

node148.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.19
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.19
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.19
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.19
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:        28647812 kB
MemAvailable:   31983400 kB
Buffers:          274460 kB
Cached:          3347604 kB
SwapCached:            0 kB
Active:           925228 kB
Inactive:        2750692 kB
Active(anon):       5468 kB
Inactive(anon):    76628 kB
Active(file):     919760 kB
Inactive(file):  2674064 kB
Unevictable:        6208 kB
Mlocked:            6208 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42612 kB
Writeback:             4 kB
AnonPages:         54500 kB
Mapped:            47028 kB
Shmem:             25224 kB
Slab:             141456 kB
SReclaimable:     115196 kB
SUnreclaim:        26260 kB
KernelStack:        3248 kB
PageTables:         4532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325240 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:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61584 MiB
End job on node148 at 2017-08-16 08:36:13