Trace number 4298865

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
GG's minicp 2018-04-29SAT (TO)39929 2520.1 2508.62

General information on the benchmark

NameQuadraticAssignment/
QuadraticAssignment-sko72_c18.xml
MD5SUM69672b68d8d3f9201b488571cf4784d4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark38953
Best CPU time to get the best result obtained on this benchmark2519.88
Satisfiable
(Un)Satisfiability was proved
Number of variables5256
Number of constraints2557
Number of domains2
Minimum domain size8
Maximum domain size72
Distribution of domain sizes[{"size":8,"count":2556},{"size":72,"count":72}]
Minimum variable degree0
Maximum variable degree72
Distribution of variable degrees[{"degree":0,"count":2628},{"degree":2,"count":2556},{"degree":72,"count":72}]
Minimum constraint arity3
Maximum constraint arity72
Distribution of constraint arities[{"arity":3,"count":2556},{"arity":72,"count":1}]
Number of extensional constraints2556
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2556},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: -1
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
8.83/5.29	o 40237
127.72/121.95	o 40189
368.28/361.96	o 40067
369.78/363.45	o 40025
843.85/836.23	o 39969
845.35/837.71	o 39929
2520.06/2508.60	s SATISFIABLE
2520.06/2508.61	v <instantiation>
2520.06/2508.61	v 	<list>
2520.06/2508.61	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[67][68] d[67][69] d[67][70] d[67][71] d[68][69] d[68][70] d[68][71] d[69][70] d[69][71] d[70][71] 
2520.06/2508.61	v 	</list>
2520.06/2508.61	v 	<values>
2520.06/2508.61	v 		0 1 2 5 9 8 3 7 4 6 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 0 2 4 2 0 10 0 2 10 0 0 0 2 0 10 5 0 10 2 2 10 0 2 1 10 5 4 10 2 2 10 10 0 5 2 1 6 0 6 3 0 1 0 5 1 6 0 4 0 1 10 2 0 2 1 1 2 10 0 3 0 2 2 0 5 4 5 1 0 3 0 1 0 5 0 0 5 0 2 2 5 4 0 0 0 5 2 0 0 10 5 0 4 3 5 4 5 2 0 5 10 2 10 5 6 10 10 0 5 1 5 0 2 2 0 2 0 5 1 2 10 2 1 0 0 3 1 3 1 1 0 1 0 1 0 2 5 5 3 1 5 0 2 0 0 0 1 0 2 0 1 0 2 2 1 0 0 5 5 5 0 4 6 0 1 5 0 0 0 1 1 5 0 5 5 2 2 1 5 0 10 1 5 6 5 0 5 2 0 5 5 2 5 10 0 0 1 0 3 0 2 0 5 1 1 0 5 0 2 5 5 4 3 0 2 6 2 1 5 2 5 10 2 5 10 5 5 5 2 2 5 2 5 0 5 4 2 1 5 0 0 10 0 0 5 1 3 0 10 2 1 10 1 0 2 2 4 2 10 5 3 1 5 5 0 2 2 0 4 0 2 5 5 1 5 2 10 5 1 0 10 5 5 0 6 10 5 0 2 5 2 2 1 2 0 5 0 0 3 0 5 0 2 2 0 2 2 5 2 0 2 0 1 0 6 1 2 5 5 5 5 5 5 0 4 1 1 10 10 2 0 0 5 2 0 1 2 5 0 1 2 0 10 2 4 0 2 1 0 0 1 0 2 1 4 2 0 6 4 0 2 1 0 5 4 0 5 5 2 1 2 3 10 1 1 0 5 10 10 1 4 2 1 1 1 0 2 5 10 5 0 0 0 10 5 0 0 5 2 5 5 5 1 2 2 10 5 0 4 5 5 5 5 1 5 3 0 4 2 1 10 2 0 10 0 0 10 2 10 5 1 0 1 0 0 0 5 2 0 10 5 0 1 2 0 0 10 0 0 5 0 0 0 0 0 0 1 0 10 0 10 0 2 0 1 10 1 0 2 10 1 2 0 5 2 10 0 2 1 0 2 2 5 2 10 4 2 2 2 2 2 0 1 4 2 2 5 5 5 5 1 2 5 3 0 2 0 2 0 0 5 5 1 0 2 5 0 4 5 0 2 10 0 0 2 0 5 1 0 1 3 0 0 0 2 3 0 0 2 1 0 2 0 5 0 5 0 2 3 5 3 5 6 0 2 5 2 0 0 2 0 3 0 5 3 0 2 0 0 2 2 5 5 3 5 10 5 0 0 2 2 0 5 3 5 1 0 5 5 2 1 0 2 2 1 2 3 5 1 1 0 0 5 0 2 5 0 1 5 0 0 2 0 5 0 10 3 0 0 3 0 4 10 2 5 4 10 0 0 1 5 0 0 0 0 0 2 0 10 2 2 10 2 2 0 1 0 4 0 1 4 2 5 5 0 5 5 3 3 0 0 3 0 10 5 0 0 0 1 0 4 1 4 5 5 0 3 5 10 5 5 0 10 0 2 3 2 4 4 1 6 0 0 2 2 2 4 0 10 0 0 5 0 0 1 2 1 0 2 0 1 1 5 0 5 10 1 5 0 0 3 0 0 0 5 5 0 0 1 2 0 2 0 0 0 3 5 5 5 0 0 1 6 0 5 2 0 2 5 3 10 1 0 0 1 2 5 5 5 1 0 0 0 0 0 4 5 0 1 2 0 2 2 3 1 0 1 5 0 0 5 2 2 1 5 0 10 1 4 0 2 3 3 1 1 0 3 10 0 2 3 5 5 0 4 1 1 0 1 10 2 5 2 5 1 5 1 0 10 5 6 2 2 1 5 2 0 1 1 10 2 10 6 0 5 6 0 1 5 1 0 2 3 0 5 1 5 0 1 2 4 10 10 10 2 2 5 2 5 3 0 5 1 0 0 4 2 0 2 0 1 0 0 5 5 2 3 5 4 4 0 5 0 0 0 2 5 0 1 5 1 0 0 0 0 10 1 2 1 2 2 4 0 0 2 5 10 5 3 5 5 2 2 5 0 0 2 0 0 2 2 0 0 10 5 2 0 10 4 1 1 0 5 4 0 6 5 2 10 1 0 0 5 5 1 5 0 0 5 0 5 5 5 5 0 2 5 2 2 10 4 2 0 10 0 1 10 0 0 5 5 0 0 2 2 3 2 5 0 4 0 0 10 0 10 2 5 0 1 0 1 0 5 3 3 3 0 5 5 4 5 0 2 5 5 1 0 1 0 5 10 5 5 2 5 0 5 5 2 5 5 2 1 0 2 2 5 1 5 6 1 5 2 5 6 5 1 10 0 0 0 0 2 0 0 1 0 0 5 1 1 0 2 3 0 5 2 6 0 4 0 2 5 2 1 5 3 3 2 5 5 2 1 10 0 5 0 0 2 5 1 5 0 5 0 0 0 5 0 5 5 10 2 2 0 2 0 0 5 0 5 0 0 0 0 6 2 0 10 0 2 0 6 2 10 2 2 0 1 5 5 0 10 0 0 5 2 0 1 5 5 2 5 0 0 2 1 1 0 5 0 0 5 0 5 0 0 0 5 4 2 5 1 10 3 5 2 0 2 3 5 0 5 10 2 0 2 1 0 0 2 5 0 10 2 1 10 5 1 0 0 10 1 0 0 5 4 5 2 5 1 1 4 0 2 5 5 0 10 1 1 5 6 1 4 0 5 0 2 10 5 2 5 1 0 10 5 3 2 5 0 4 5 5 1 2 5 0 2 2 5 0 1 2 10 0 2 5 5 5 2 1 0 5 5 5 0 0 5 0 2 2 1 2 5 2 1 5 5 5 6 2 0 5 0 4 5 0 2 0 2 1 2 1 0 5 3 1 5 2 1 5 0 0 5 0 5 0 3 2 10 10 2 10 0 1 2 0 2 0 5 2 1 0 10 5 0 2 5 0 0 6 2 10 1 0 1 2 10 0 2 10 5 10 0 5 2 2 5 5 6 5 2 2 1 5 2 1 5 1 5 2 2 0 2 2 1 0 2 0 4 5 0 5 2 10 5 5 2 5 0 0 5 0 2 2 5 4 5 0 0 2 3 2 3 0 1 4 0 0 3 4 0 5 0 1 0 0 2 10 2 2 0 5 5 1 5 5 10 0 2 1 5 0 0 0 0 5 1 10 5 2 2 0 0 0 4 1 1 2 0 2 5 5 0 1 0 1 1 3 5 2 5 5 1 5 3 0 5 5 5 0 1 0 0 0 0 5 3 1 5 2 6 0 2 0 0 2 1 0 0 5 0 0 2 1 0 1 10 0 1 10 10 5 0 0 10 2 1 1 1 3 5 2 5 2 0 0 2 5 2 2 10 1 2 10 2 0 0 0 6 0 2 1 10 5 0 1 5 10 2 0 5 0 0 2 2 0 0 0 5 5 5 10 0 0 1 0 2 1 4 10 1 1 5 1 2 3 0 2 10 0 2 2 0 0 1 10 1 5 0 0 1 10 6 4 0 4 5 5 1 0 3 6 0 0 5 5 0 0 3 0 5 1 2 0 5 10 2 0 2 2 0 5 0 5 5 0 2 5 0 5 2 4 0 0 5 0 5 3 10 1 1 1 2 3 1 10 0 0 0 5 0 3 5 0 0 0 0 0 5 5 0 3 10 1 5 1 1 10 2 0 1 5 2 0 4 5 0 0 1 0 1 2 2 5 5 0 0 1 0 5 0 2 5 0 2 0 0 5 5 5 1 0 5 1 2 2 5 1 4 0 0 0 4 0 2 2 5 10 0 5 0 2 5 0 0 5 0 2 1 1 10 1 3 1 0 0 0 0 1 1 1 0 0 5 0 1 0 2 6 2 0 5 2 5 5 0 2 0 0 0 1 10 5 5 2 2 4 5 5 2 2 1 0 3 0 0 0 5 4 0 10 2 10 1 5 0 2 2 10 5 0 0 1 5 1 2 6 1 2 2 5 0 0 0 5 0 0 5 0 5 2 5 2 0 1 5 2 2 0 5 10 1 2 1 5 0 10 4 5 5 2 0 2 0 5 5 3 0 5 2 2 0 1 10 0 5 0 5 4 2 5 2 2 1 10 1 6 2 2 0 0 4 3 1 0 0 1 0 0 0 2 0 0 2 5 0 1 1 4 0 2 1 0 2 4 0 1 0 2 5 1 0 5 10 2 1 0 10 5 2 5 4 5 0 6 2 0 1 5 0 5 2 0 2 1 5 1 2 2 2 1 2 5 0 0 0 0 2 10 0 5 0 10 0 0 5 1 5 0 5 2 5 5 5 0 2 5 1 10 0 2 0 10 0 0 2 10 2 0 5 5 0 2 0 0 1 1 0 3 2 0 2 6 5 5 5 10 10 0 4 0 5 0 0 5 5 0 5 1 10 5 2 5 3 2 3 4 5 10 0 6 2 0 5 5 2 10 0 5 10 5 10 2 1 1 10 3 4 6 5 10 4 1 0 0 5 2 0 1 3 3 5 0 0 0 1 5 5 0 0 1 5 10 0 0 5 5 5 1 5 5 0 1 2 5 1 10 2 5 2 5 5 5 3 2 2 5 10 0 10 10 2 4 10 2 0 2 2 0 2 5 0 0 10 2 0 2 0 3 0 0 5 3 2 0 1 10 0 10 1 5 0 2 5 0 2 5 2 2 0 2 5 0 1 10 2 0 4 0 2 10 5 0 0 1 5 0 2 3 5 5 0 5 3 10 3 3 10 10 0 0 2 6 10 4 2 6 0 2 5 2 0 10 0 3 2 2 2 5 0 5 0 5 0 10 5 5 0 5 0 0 0 0 0 1 2 0 2 10 1 1 5 2 1 6 6 0 1 1 0 5 0 4 2 10 0 0 2 10 0 10 5 0 0 0 5 3 4 5 5 10 2 0 0 10 1 5 2 1 0 1 0 0 0 5 1 1 10 0 1 6 0 2 0 0 2 5 1 5 10 0 5 0 0 0 5 5 1 0 0 5 2 1 2 1 10 2 2 10 4 2 10 3 10 0 10 0 4 0 1 5 0 10 10 0 0 0 0 2 0 0 3 0 1 2 2 10 0 5 2 0 6 5 4 10 5 1 0 0 10 2 0 0 4 0 0 1 2 5 10 0 0 0 4 2 0 0 5 5 0 1 5 0 2 0 1 0 10 5 5 5 0 1 0 5 0 10 4 0 5 0 1 2 10 0 1 5 0 2 5 0 2 2 10 0 0 5 10 0 10 0 0 3 5 1 5 2 2 5 3 0 0 4 0 1 0 2 1 0 5 0 5 0 5 6 1 2 1 5 0 3 2 0 3 6 2 2 0 0 5 5 3 0 0 0 0 1 2 0 2 2 1 0 2 0 10 0 1 1 0 2 0 2 3 5 1 0 1 1 0 5 1 0 2 5 5 2 5 0 2 5 0 10 0 5 5 2 5 2 0 1 5 1 2 1 0 1 0 2 2 1 1 5 1 6 2 2 2 1 5 1 0 1 5 0 5 5 1 5 0 5 0 0 0 5 2 0 10 0 1 3 0 3 10 1 3 10 0 4 10 3 4 0 0 5 5 5 1 5 2 0 0 0 2 5 0 2 0 0 10 5 2 5 5 3 2 2 2 10 0 5 10 10 4 5 0 4 2 5 10 10 0 5 2 0 5 2 0 10 1 5 0 0 0 3 0 5 3 0 0 10 4 1 5 1 0 5 5 0 5 0 5 0 2 10 4 10 0 5 4 2 5 5 2 5 1 2 0 0 2 10 3 0 0 
2520.06/2508.61	v 	</values>
2520.06/2508.61	v </instantiation>

Verifier Data 

OK	39929

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298865-1532781700/watcher-4298865-1532781700 -o /tmp/evaluation-result-4298865-1532781700/solver-4298865-1532781700 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532774285-30333 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298865-1532781700.xml 

running on 4 cores: 1,3,5,7

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

solver pid=31060, runsolver pid=31057

[startup+0.100076 s]*
/proc/loadavg: 1.44 1.31 1.35 3/216 31075
/proc/meminfo: memFree=23337760/32770624 swapFree=67108404/67108860
[pid=31060] ppid=31057 vsize=10661056 memory=26652 CPUtime=0.13 cores=1,3,5,7
/proc/31060/stat : 31060 (java) S 31057 31060 30301 0 -1 1077944320 5563 0 0 0 12 1 0 0 20 0 15 0 95733163 10916921344 6663 33554432000 4194304 4196468 140730983539584 140730983522128 140188233584375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
/proc/31060/statm: 2665264 6663 2840 1 0 2627263 0
[pid=31060/tid=31062] ppid=31057 vsize=10661056 memory=-8341684059579388029 CPUtime=0.09 cores=1,3,5,7
/proc/31060/task/31062/stat : 31062 (java) R 31057 31060 30301 0 -1 4202560 3388 0 0 0 9 0 0 0 20 0 15 0 95733163 10916921344 6663 33554432000 4194304 4196468 140730983539584 140188237815264 140188213299190 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31063] ppid=31057 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31063/stat : 31063 (java) S 31057 31060 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95733164 10916921344 6663 33554432000 4194304 4196468 140730983539584 140187839892112 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31064] ppid=31057 vsize=10661056 memory=140031754200704 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31064/stat : 31064 (java) S 31057 31060 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95733164 10916921344 6663 33554432000 4194304 4196468 140730983539584 140187838839312 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31065] ppid=31057 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31065/stat : 31065 (java) S 31057 31060 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95733164 10916921344 6663 33554432000 4194304 4196468 140730983539584 140187837786512 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31066] ppid=31057 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31066/stat : 31066 (java) S 31057 31060 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95733164 10916921344 6663 33554432000 4194304 4196468 140730983539584 140187836733712 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31067] ppid=31057 vsize=10661056 memory=140031754200704 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31067/stat : 31067 (java) S 31057 31060 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95733166 10916921344 6663 33554432000 4194304 4196468 140730983539584 140187538512752 140188233595522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31068] ppid=31057 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31068/stat : 31068 (java) S 31057 31060 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95733166 10916921344 6663 33554432000 4194304 4196468 140730983539584 140187537458720 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31069] ppid=31057 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31069/stat : 31069 (java) S 31057 31060 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95733166 10916921344 6663 33554432000 4194304 4196468 140730983539584 140187536405872 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31070] ppid=31057 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31070/stat : 31070 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916921344 6663 33554432000 4194304 4196468 140730983539584 140187535354192 140188233602971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31071] ppid=31057 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31071/stat : 31071 (java) S 31057 31060 30301 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 95733169 10916921344 6663 33554432000 4194304 4196468 140730983539584 140187534301552 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31072] ppid=31057 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31072/stat : 31072 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916921344 6663 33554432000 4194304 4196468 140730983539584 140187533248752 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31073] ppid=31057 vsize=10661056 memory=140031754200704 CPUtime=0.01 cores=1,3,5,7
/proc/31060/task/31073/stat : 31073 (java) R 31057 31060 30301 0 -1 4202560 363 0 0 0 1 0 0 0 20 0 15 0 95733169 10916921344 6663 33554432000 4194304 4196468 140730983539584 140187464099952 140188233605722 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31074] ppid=31057 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31074/stat : 31074 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916921344 6663 33554432000 4194304 4196468 140730983539584 140187463047392 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31075] ppid=31057 vsize=10661056 memory=140031754200704 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31075/stat : 31075 (java) S 31057 31060 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95733169 10916921344 6663 33554432000 4194304 4196468 140730983539584 140187461995696 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 26652 KiB

[startup+0.212261 s]*
/proc/loadavg: 1.44 1.31 1.35 3/216 31075
/proc/meminfo: memFree=23325108/32770624 swapFree=67108404/67108860
[pid=31060] ppid=31057 vsize=10661056 memory=39088 CPUtime=0.34 cores=1,3,5,7
/proc/31060/stat : 31060 (java) S 31057 31060 30301 0 -1 1077944320 8353 0 0 0 32 2 0 0 20 0 15 0 95733163 10916921344 9772 33554432000 4194304 4196468 140730983539584 140730983522128 140188233584375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
/proc/31060/statm: 2665264 9772 2993 1 0 2627263 0
[pid=31060/tid=31062] ppid=31057 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/31060/task/31062/stat : 31062 (java) R 31057 31060 30301 0 -1 4202560 5219 0 0 0 19 1 0 0 20 0 15 0 95733163 10916921344 9772 33554432000 4194304 4196468 140730983539584 140188237820704 140188233596310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31063] ppid=31057 vsize=10661056 memory=345 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31063/stat : 31063 (java) S 31057 31060 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95733164 10916921344 9772 33554432000 4194304 4196468 140730983539584 140187839892112 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31064] ppid=31057 vsize=10661056 memory=140031754231180 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31064/stat : 31064 (java) S 31057 31060 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95733164 10916921344 9772 33554432000 4194304 4196468 140730983539584 140187838839312 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31065] ppid=31057 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31065/stat : 31065 (java) S 31057 31060 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95733164 10916921344 9772 33554432000 4194304 4196468 140730983539584 140187837786512 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31066] ppid=31057 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31066/stat : 31066 (java) S 31057 31060 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95733164 10916921344 9772 33554432000 4194304 4196468 140730983539584 140187836733712 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31067] ppid=31057 vsize=10661056 memory=140031754200704 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31067/stat : 31067 (java) S 31057 31060 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95733166 10916921344 9772 33554432000 4194304 4196468 140730983539584 140187538512752 140188233595522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31068] ppid=31057 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31068/stat : 31068 (java) S 31057 31060 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95733166 10916921344 9772 33554432000 4194304 4196468 140730983539584 140187537458720 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31069] ppid=31057 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31069/stat : 31069 (java) S 31057 31060 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95733166 10916921344 9772 33554432000 4194304 4196468 140730983539584 140187536405872 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31070] ppid=31057 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31070/stat : 31070 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916921344 9772 33554432000 4194304 4196468 140730983539584 140187535354192 140188233602971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31071] ppid=31057 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31060/task/31071/stat : 31071 (java) R 31057 31060 30301 0 -1 1077944384 563 0 0 0 2 0 0 0 20 0 15 0 95733169 10916921344 9772 33554432000 4194304 4196468 140730983539584 140187534301552 140188233595522 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31072] ppid=31057 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/31060/task/31072/stat : 31072 (java) R 31057 31060 30301 0 -1 4202560 225 0 0 0 1 0 0 0 20 0 15 0 95733169 10916921344 9772 33554432000 4194304 4196468 140730983539584 140187533248752 140188216820576 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31073] ppid=31057 vsize=10661056 memory=140031754200704 CPUtime=0.08 cores=1,3,5,7
/proc/31060/task/31073/stat : 31073 (java) R 31057 31060 30301 0 -1 4202560 983 0 0 0 8 0 0 0 20 0 15 0 95733169 10916921344 9772 33554432000 4194304 4196468 140730983539584 140187464100080 140188212500224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31074] ppid=31057 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31074/stat : 31074 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916921344 9772 33554432000 4194304 4196468 140730983539584 140187463047392 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31075] ppid=31057 vsize=10661056 memory=140031754200704 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31075/stat : 31075 (java) S 31057 31060 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95733169 10916921344 9772 33554432000 4194304 4196468 140730983539584 140187461995696 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 39088 KiB

[startup+0.311344 s]*
/proc/loadavg: 1.44 1.31 1.35 7/216 31075
/proc/meminfo: memFree=23311772/32770624 swapFree=67108404/67108860
[pid=31060] ppid=31057 vsize=10661132 memory=53284 CPUtime=0.68 cores=1,3,5,7
/proc/31060/stat : 31060 (java) S 31057 31060 30301 0 -1 1077944320 10403 0 0 0 65 3 0 0 20 0 15 0 95733163 10916999168 13321 33554432000 4194304 4196468 140730983539584 140730983522128 140188233584375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
/proc/31060/statm: 2665283 13321 3078 1 0 2627263 0
[pid=31060/tid=31062] ppid=31057 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/31060/task/31062/stat : 31062 (java) R 31057 31060 30301 0 -1 4202560 5548 0 0 0 28 2 0 0 20 0 15 0 95733163 10916999168 13321 33554432000 4194304 4196468 140730983539584 140188237820512 140188233605722 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31063] ppid=31057 vsize=10661132 memory=288230609002954775 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31063/stat : 31063 (java) S 31057 31060 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95733164 10916999168 13321 33554432000 4194304 4196468 140730983539584 140187839892112 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31064] ppid=31057 vsize=10661132 memory=140031754230794 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31064/stat : 31064 (java) S 31057 31060 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95733164 10916999168 13321 33554432000 4194304 4196468 140730983539584 140187838839312 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31065] ppid=31057 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31065/stat : 31065 (java) S 31057 31060 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95733164 10916999168 13321 33554432000 4194304 4196468 140730983539584 140187837786512 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31066] ppid=31057 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31066/stat : 31066 (java) S 31057 31060 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95733164 10916999168 13321 33554432000 4194304 4196468 140730983539584 140187836733712 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31067] ppid=31057 vsize=10661132 memory=140031754200704 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31067/stat : 31067 (java) S 31057 31060 30301 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95733166 10916999168 13321 33554432000 4194304 4196468 140730983539584 140187538512752 140188233595522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31068] ppid=31057 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31068/stat : 31068 (java) S 31057 31060 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95733166 10916999168 13321 33554432000 4194304 4196468 140730983539584 140187537458720 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31069] ppid=31057 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31069/stat : 31069 (java) S 31057 31060 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95733166 10916999168 13321 33554432000 4194304 4196468 140730983539584 140187536405872 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31070] ppid=31057 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31070/stat : 31070 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916999168 13321 33554432000 4194304 4196468 140730983539584 140187535354192 140188233602971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31071] ppid=31057 vsize=10661132 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/31060/task/31071/stat : 31071 (java) R 31057 31060 30301 0 -1 4202560 1360 0 0 0 10 0 0 0 20 0 15 0 95733169 10916999168 13321 33554432000 4194304 4196468 140730983539584 140187534287432 140188218701549 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31072] ppid=31057 vsize=10661132 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/31060/task/31072/stat : 31072 (java) S 31057 31060 30301 0 -1 1077944384 679 0 0 0 11 0 0 0 20 0 15 0 95733169 10916999168 13321 33554432000 4194304 4196468 140730983539584 140187533248752 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31073] ppid=31057 vsize=10661132 memory=140031754200704 CPUtime=0.14 cores=1,3,5,7
/proc/31060/task/31073/stat : 31073 (java) R 31057 31060 30301 0 -1 4202560 1448 0 0 0 14 0 0 0 20 0 15 0 95733169 10916999168 13321 33554432000 4194304 4196468 140730983539584 140187464099952 140188233596310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31074] ppid=31057 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31074/stat : 31074 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916999168 13321 33554432000 4194304 4196468 140730983539584 140187463047392 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31075] ppid=31057 vsize=10661132 memory=140031754200704 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31075/stat : 31075 (java) S 31057 31060 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95733169 10916999168 13321 33554432000 4194304 4196468 140730983539584 140187461995696 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 53284 KiB

[startup+0.708392 s]
/proc/loadavg: 1.44 1.31 1.35 6/216 31075
/proc/meminfo: memFree=23281740/32770624 swapFree=67108404/67108860
[pid=31060] ppid=31057 vsize=10661132 memory=207000 CPUtime=1.91 cores=1,3,5,7
/proc/31060/stat : 31060 (java) S 31057 31060 30301 0 -1 1077944320 12224 0 0 0 183 8 0 0 20 0 15 0 95733163 10916999168 51750 33554432000 4194304 4196468 140730983539584 140730983522128 140188233584375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
/proc/31060/statm: 2665283 51750 3124 1 0 2627263 0
[pid=31060/tid=31062] ppid=31057 vsize=10661132 memory=1840 CPUtime=0.66 cores=1,3,5,7
/proc/31060/task/31062/stat : 31062 (java) R 31057 31060 30301 0 -1 4202560 5885 0 0 0 62 4 0 0 20 0 15 0 95733163 10916999168 51750 33554432000 4194304 4196468 140730983539584 140188237822400 140187874416513 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31063] ppid=31057 vsize=10661132 memory=1716 CPUtime=0.01 cores=1,3,5,7
/proc/31060/task/31063/stat : 31063 (java) S 31057 31060 30301 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 95733164 10916999168 51750 33554432000 4194304 4196468 140730983539584 140187839892112 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31064] ppid=31057 vsize=10661132 memory=796 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31064/stat : 31064 (java) S 31057 31060 30301 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 95733164 10916999168 51750 33554432000 4194304 4196468 140730983539584 140187838839312 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31065] ppid=31057 vsize=10661132 memory=11008 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31065/stat : 31065 (java) S 31057 31060 30301 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 95733164 10916999168 51750 33554432000 4194304 4196468 140730983539584 140187837786512 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31066] ppid=31057 vsize=10661132 memory=1008 CPUtime=0.01 cores=1,3,5,7
/proc/31060/task/31066/stat : 31066 (java) S 31057 31060 30301 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 15 0 95733164 10916999168 51750 33554432000 4194304 4196468 140730983539584 140187836733712 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31067] ppid=31057 vsize=10661132 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31067/stat : 31067 (java) S 31057 31060 30301 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 95733166 10916999168 51750 33554432000 4194304 4196468 140730983539584 140187538512752 140188233595522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31068] ppid=31057 vsize=10661132 memory=8568 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31068/stat : 31068 (java) S 31057 31060 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95733166 10916999168 51750 33554432000 4194304 4196468 140730983539584 140187537458720 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31069] ppid=31057 vsize=10661132 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31069/stat : 31069 (java) S 31057 31060 30301 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 95733166 10916999168 51750 33554432000 4194304 4196468 140730983539584 140187536405872 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31070] ppid=31057 vsize=10661132 memory=5372 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31070/stat : 31070 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916999168 51750 33554432000 4194304 4196468 140730983539584 140187535354192 140188233602971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31071] ppid=31057 vsize=10661132 memory=7302135314614015848 CPUtime=0.44 cores=1,3,5,7
/proc/31060/task/31071/stat : 31071 (java) R 31057 31060 30301 0 -1 4202560 1511 0 0 0 44 0 0 0 20 0 15 0 95733169 10916999168 51750 33554432000 4194304 4196468 140730983539584 140187534289072 140188219607122 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31072] ppid=31057 vsize=10661132 memory=7450453974481135974 CPUtime=0.37 cores=1,3,5,7
/proc/31060/task/31072/stat : 31072 (java) S 31057 31060 30301 0 -1 1077944384 1317 0 0 0 37 0 0 0 20 0 15 0 95733169 10916999168 51750 33554432000 4194304 4196468 140730983539584 140187533248752 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31073] ppid=31057 vsize=10661132 memory=7440061282865139792 CPUtime=0.33 cores=1,3,5,7
/proc/31060/task/31073/stat : 31073 (java) S 31057 31060 30301 0 -1 1077944384 1975 0 0 0 33 0 0 0 20 0 15 0 95733169 10916999168 51750 33554432000 4194304 4196468 140730983539584 140187464099952 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31074] ppid=31057 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31074/stat : 31074 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916999168 51750 33554432000 4194304 4196468 140730983539584 140187463047392 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31075] ppid=31057 vsize=10661132 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31075/stat : 31075 (java) S 31057 31060 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95733169 10916999168 51750 33554432000 4194304 4196468 140730983539584 140187461995696 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 207000 KiB

[startup+1.5014 s]
/proc/loadavg: 1.44 1.31 1.35 3/216 31075
/proc/meminfo: memFree=22747528/32770624 swapFree=67108404/67108860
[pid=31060] ppid=31057 vsize=10661132 memory=1189496 CPUtime=3.43 cores=1,3,5,7
/proc/31060/stat : 31060 (java) S 31057 31060 30301 0 -1 1077944320 14882 0 0 0 301 42 0 0 20 0 15 0 95733163 10916999168 297374 33554432000 4194304 4196468 140730983539584 140730983522128 140188233584375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
/proc/31060/statm: 2665283 297374 3145 1 0 2627263 0
[pid=31060/tid=31062] ppid=31057 vsize=10661132 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/31060/task/31062/stat : 31062 (java) S 31057 31060 30301 0 -1 1077944384 6554 0 0 0 118 16 0 0 20 0 15 0 95733163 10916999168 297374 33554432000 4194304 4196468 140730983539584 140188237822400 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31063] ppid=31057 vsize=10661132 memory=-6951259422114956437 CPUtime=0.12 cores=1,3,5,7
/proc/31060/task/31063/stat : 31063 (java) R 31057 31060 30301 0 -1 4202560 322 0 0 0 6 6 0 0 20 0 15 0 95733164 10916999168 297374 33554432000 4194304 4196468 140730983539584 140187839892112 140188218032587 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31064] ppid=31057 vsize=10661132 memory=-6509546260019855299 CPUtime=0.11 cores=1,3,5,7
/proc/31060/task/31064/stat : 31064 (java) R 31057 31060 30301 0 -1 4202560 324 0 0 0 5 6 0 0 20 0 15 0 95733164 10916999168 297374 33554432000 4194304 4196468 140730983539584 140187838839312 140188218612249 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31065] ppid=31057 vsize=10661132 memory=-7390251449858225344 CPUtime=0.1 cores=1,3,5,7
/proc/31060/task/31065/stat : 31065 (java) R 31057 31060 30301 0 -1 4202560 144 0 0 0 5 5 0 0 20 0 15 0 95733164 10916999168 297374 33554432000 4194304 4196468 140730983539584 140187837786400 140188226681211 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31066] ppid=31057 vsize=10661132 memory=4134692831991786133 CPUtime=0.12 cores=1,3,5,7
/proc/31060/task/31066/stat : 31066 (java) R 31057 31060 30301 0 -1 4202560 190 0 0 0 6 6 0 0 20 0 15 0 95733164 10916999168 297374 33554432000 4194304 4196468 140730983539584 140187836733712 140188226684075 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31067] ppid=31057 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31067/stat : 31067 (java) S 31057 31060 30301 0 -1 1077944384 987 0 0 0 0 0 0 0 20 0 15 0 95733166 10916999168 297374 33554432000 4194304 4196468 140730983539584 140187538511264 140188233594581 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0

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

/proc/31060/task/31062/stat : 31062 (java) R 31057 31060 30301 0 -1 4202560 80799 0 0 0 237957 55 0 0 20 0 15 0 95733163 10916999168 731993 33554432000 4194304 4196468 140730983539584 140188237823936 140187876080863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31063] ppid=31057 vsize=10661132 memory=2927972 CPUtime=1.89 cores=1,3,5,7
/proc/31060/task/31063/stat : 31063 (java) S 31057 31060 30301 0 -1 1077944384 8543 0 0 0 168 21 0 0 20 0 15 0 95733164 10916999168 731993 33554432000 4194304 4196468 140730983539584 140187839892112 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31064] ppid=31057 vsize=10661132 memory=2927972 CPUtime=1.86 cores=1,3,5,7
/proc/31060/task/31064/stat : 31064 (java) S 31057 31060 30301 0 -1 1077944384 8090 0 0 0 166 20 0 0 20 0 15 0 95733164 10916999168 731993 33554432000 4194304 4196468 140730983539584 140187838839312 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31065] ppid=31057 vsize=10661132 memory=2927972 CPUtime=1.88 cores=1,3,5,7
/proc/31060/task/31065/stat : 31065 (java) S 31057 31060 30301 0 -1 1077944384 9803 0 0 0 169 19 0 0 20 0 15 0 95733164 10916999168 731993 33554432000 4194304 4196468 140730983539584 140187837786512 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31066] ppid=31057 vsize=10661132 memory=2927972 CPUtime=1.89 cores=1,3,5,7
/proc/31060/task/31066/stat : 31066 (java) S 31057 31060 30301 0 -1 1077944384 9230 0 0 0 168 21 0 0 20 0 15 0 95733164 10916999168 731993 33554432000 4194304 4196468 140730983539584 140187836733712 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31067] ppid=31057 vsize=10661132 memory=2927972 CPUtime=0.24 cores=1,3,5,7
/proc/31060/task/31067/stat : 31067 (java) S 31057 31060 30301 0 -1 1077944384 7834 0 0 0 21 3 0 0 20 0 15 0 95733166 10916999168 731993 33554432000 4194304 4196468 140730983539584 140187538512752 140188233595522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31068] ppid=31057 vsize=10661132 memory=2927972 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31068/stat : 31068 (java) S 31057 31060 30301 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95733166 10916999168 731993 33554432000 4194304 4196468 140730983539584 140187537458784 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31069] ppid=31057 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31069/stat : 31069 (java) S 31057 31060 30301 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 95733166 10916999168 731993 33554432000 4194304 4196468 140730983539584 140187536405872 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31070] ppid=31057 vsize=10661132 memory=2927972 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31070/stat : 31070 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916999168 731993 33554432000 4194304 4196468 140730983539584 140187535354192 140188233602971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31071] ppid=31057 vsize=10661132 memory=2927972 CPUtime=1.69 cores=1,3,5,7
/proc/31060/task/31071/stat : 31071 (java) S 31057 31060 30301 0 -1 1077944384 11850 0 0 0 168 1 0 0 20 0 15 0 95733169 10916999168 731993 33554432000 4194304 4196468 140730983539584 140187534301552 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31072] ppid=31057 vsize=10661132 memory=2588 CPUtime=1.84 cores=1,3,5,7
/proc/31060/task/31072/stat : 31072 (java) S 31057 31060 30301 0 -1 1077944384 11190 0 0 0 183 1 0 0 20 0 15 0 95733169 10916999168 731993 33554432000 4194304 4196468 140730983539584 140187533248752 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31073] ppid=31057 vsize=10661132 memory=6791534058613427641 CPUtime=0.54 cores=1,3,5,7
/proc/31060/task/31073/stat : 31073 (java) S 31057 31060 30301 0 -1 1077944384 8807 0 0 0 53 1 0 0 20 0 15 0 95733169 10916999168 731993 33554432000 4194304 4196468 140730983539584 140187464099952 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31074] ppid=31057 vsize=10661132 memory=2396 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31074/stat : 31074 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916999168 731993 33554432000 4194304 4196468 140730983539584 140187463047392 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31075] ppid=31057 vsize=10661132 memory=644 CPUtime=1.28 cores=1,3,5,7
/proc/31060/task/31075/stat : 31075 (java) S 31057 31060 30301 0 -1 1077944384 1722 0 0 0 57 71 0 0 20 0 15 0 95733169 10916999168 731993 33554432000 4194304 4196468 140730983539584 140187461995696 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
Current children cumulated CPU time: 2393.34 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2927972 KiB

[startup+2442.3 s]
/proc/loadavg: 1.55 1.62 1.66 3/216 31248
/proc/meminfo: memFree=20103648/32770624 swapFree=67108404/67108860
[pid=31060] ppid=31057 vsize=10661132 memory=2900316 CPUtime=2453.64 cores=1,3,5,7
/proc/31060/stat : 31060 (java) S 31057 31060 30301 0 -1 1077944320 161169 0 0 0 245156 208 0 0 20 0 15 0 95733163 10916999168 725079 33554432000 4194304 4196468 140730983539584 140730983522128 140188233584375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
/proc/31060/statm: 2665283 725079 3181 1 0 2627263 0
[pid=31060/tid=31062] ppid=31057 vsize=10661132 memory=2900316 CPUtime=2440.04 cores=1,3,5,7
/proc/31060/task/31062/stat : 31062 (java) R 31057 31060 30301 0 -1 4202560 81979 0 0 0 243948 56 0 0 20 0 15 0 95733163 10916999168 725079 33554432000 4194304 4196468 140730983539584 140188237823936 140187876080450 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31063] ppid=31057 vsize=10661132 memory=2900316 CPUtime=1.98 cores=1,3,5,7
/proc/31060/task/31063/stat : 31063 (java) S 31057 31060 30301 0 -1 1077944384 8594 0 0 0 177 21 0 0 20 0 15 0 95733164 10916999168 725079 33554432000 4194304 4196468 140730983539584 140187839892112 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31064] ppid=31057 vsize=10661132 memory=0 CPUtime=1.95 cores=1,3,5,7
/proc/31060/task/31064/stat : 31064 (java) S 31057 31060 30301 0 -1 1077944384 8177 0 0 0 175 20 0 0 20 0 15 0 95733164 10916999168 725079 33554432000 4194304 4196468 140730983539584 140187838839312 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31065] ppid=31057 vsize=10661132 memory=2900316 CPUtime=1.96 cores=1,3,5,7
/proc/31060/task/31065/stat : 31065 (java) S 31057 31060 30301 0 -1 1077944384 10156 0 0 0 177 19 0 0 20 0 15 0 95733164 10916999168 725079 33554432000 4194304 4196468 140730983539584 140187837786512 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31066] ppid=31057 vsize=10661132 memory=2900316 CPUtime=1.98 cores=1,3,5,7
/proc/31060/task/31066/stat : 31066 (java) S 31057 31060 30301 0 -1 1077944384 9254 0 0 0 177 21 0 0 20 0 15 0 95733164 10916999168 725079 33554432000 4194304 4196468 140730983539584 140187836733712 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31067] ppid=31057 vsize=10661132 memory=2900316 CPUtime=0.24 cores=1,3,5,7
/proc/31060/task/31067/stat : 31067 (java) S 31057 31060 30301 0 -1 1077944384 7995 0 0 0 21 3 0 0 20 0 15 0 95733166 10916999168 725079 33554432000 4194304 4196468 140730983539584 140187538512752 140188233595522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31068] ppid=31057 vsize=10661132 memory=2900316 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31068/stat : 31068 (java) S 31057 31060 30301 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95733166 10916999168 725079 33554432000 4194304 4196468 140730983539584 140187537458784 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31069] ppid=31057 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31069/stat : 31069 (java) S 31057 31060 30301 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 95733166 10916999168 725079 33554432000 4194304 4196468 140730983539584 140187536405872 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31070] ppid=31057 vsize=10661132 memory=2900316 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31070/stat : 31070 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916999168 725079 33554432000 4194304 4196468 140730983539584 140187535354192 140188233602971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31071] ppid=31057 vsize=10661132 memory=2900316 CPUtime=1.69 cores=1,3,5,7
/proc/31060/task/31071/stat : 31071 (java) S 31057 31060 30301 0 -1 1077944384 11852 0 0 0 168 1 0 0 20 0 15 0 95733169 10916999168 725079 33554432000 4194304 4196468 140730983539584 140187534301552 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31072] ppid=31057 vsize=10661132 memory=2900316 CPUtime=1.84 cores=1,3,5,7
/proc/31060/task/31072/stat : 31072 (java) S 31057 31060 30301 0 -1 1077944384 11192 0 0 0 183 1 0 0 20 0 15 0 95733169 10916999168 725079 33554432000 4194304 4196468 140730983539584 140187533248752 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31073] ppid=31057 vsize=10661132 memory=2900316 CPUtime=0.54 cores=1,3,5,7
/proc/31060/task/31073/stat : 31073 (java) S 31057 31060 30301 0 -1 1077944384 8809 0 0 0 53 1 0 0 20 0 15 0 95733169 10916999168 725079 33554432000 4194304 4196468 140730983539584 140187464099952 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31074] ppid=31057 vsize=10661132 memory=2900316 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31074/stat : 31074 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916999168 725079 33554432000 4194304 4196468 140730983539584 140187463047392 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31075] ppid=31057 vsize=10661132 memory=2900316 CPUtime=1.31 cores=1,3,5,7
/proc/31060/task/31075/stat : 31075 (java) S 31057 31060 30301 0 -1 1077944384 1753 0 0 0 59 72 0 0 20 0 15 0 95733169 10916999168 725079 33554432000 4194304 4196468 140730983539584 140187461995696 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
Current children cumulated CPU time: 2453.64 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2900316 KiB

[startup+2502.3 s]
/proc/loadavg: 1.74 1.66 1.68 3/216 31249
/proc/meminfo: memFree=20187844/32770624 swapFree=67108404/67108860
[pid=31060] ppid=31057 vsize=10661132 memory=2861324 CPUtime=2513.76 cores=1,3,5,7
/proc/31060/stat : 31060 (java) S 31057 31060 30301 0 -1 1077944320 163197 0 0 0 251165 211 0 0 20 0 15 0 95733163 10916999168 715331 33554432000 4194304 4196468 140730983539584 140730983522128 140188233584375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
/proc/31060/statm: 2665283 715331 3181 1 0 2627263 0
[pid=31060/tid=31062] ppid=31057 vsize=10661132 memory=1228 CPUtime=2500.01 cores=1,3,5,7
/proc/31060/task/31062/stat : 31062 (java) R 31057 31060 30301 0 -1 4202560 83255 0 0 0 249945 56 0 0 20 0 15 0 95733163 10916999168 715331 33554432000 4194304 4196468 140730983539584 140188237824048 140187876250218 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31063] ppid=31057 vsize=10661132 memory=2900316 CPUtime=2.01 cores=1,3,5,7
/proc/31060/task/31063/stat : 31063 (java) S 31057 31060 30301 0 -1 1077944384 8664 0 0 0 180 21 0 0 20 0 15 0 95733164 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187839892112 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31064] ppid=31057 vsize=10661132 memory=2900316 CPUtime=1.98 cores=1,3,5,7
/proc/31060/task/31064/stat : 31064 (java) S 31057 31060 30301 0 -1 1077944384 8249 0 0 0 178 20 0 0 20 0 15 0 95733164 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187838839312 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31065] ppid=31057 vsize=10661132 memory=2900316 CPUtime=1.99 cores=1,3,5,7
/proc/31060/task/31065/stat : 31065 (java) S 31057 31060 30301 0 -1 1077944384 10183 0 0 0 180 19 0 0 20 0 15 0 95733164 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187837786512 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31066] ppid=31057 vsize=10661132 memory=2900316 CPUtime=2 cores=1,3,5,7
/proc/31060/task/31066/stat : 31066 (java) S 31057 31060 30301 0 -1 1077944384 9638 0 0 0 179 21 0 0 20 0 15 0 95733164 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187836733712 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31067] ppid=31057 vsize=10661132 memory=2900316 CPUtime=0.25 cores=1,3,5,7
/proc/31060/task/31067/stat : 31067 (java) S 31057 31060 30301 0 -1 1077944384 8156 0 0 0 21 4 0 0 20 0 15 0 95733166 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187538512752 140188233595522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31068] ppid=31057 vsize=10661132 memory=2900316 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31068/stat : 31068 (java) S 31057 31060 30301 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95733166 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187537458784 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31069] ppid=31057 vsize=10661132 memory=2900316 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31069/stat : 31069 (java) S 31057 31060 30301 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 95733166 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187536405872 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31070] ppid=31057 vsize=10661132 memory=2900316 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31070/stat : 31070 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187535354192 140188233602971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31071] ppid=31057 vsize=10661132 memory=2900316 CPUtime=1.69 cores=1,3,5,7
/proc/31060/task/31071/stat : 31071 (java) S 31057 31060 30301 0 -1 1077944384 11854 0 0 0 168 1 0 0 20 0 15 0 95733169 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187534301552 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31072] ppid=31057 vsize=10661132 memory=2900316 CPUtime=1.84 cores=1,3,5,7
/proc/31060/task/31072/stat : 31072 (java) S 31057 31060 30301 0 -1 1077944384 11195 0 0 0 183 1 0 0 20 0 15 0 95733169 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187533248752 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31073] ppid=31057 vsize=10661132 memory=2861324 CPUtime=0.55 cores=1,3,5,7
/proc/31060/task/31073/stat : 31073 (java) S 31057 31060 30301 0 -1 1077944384 8811 0 0 0 53 2 0 0 20 0 15 0 95733169 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187464099952 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31074] ppid=31057 vsize=10661132 memory=2900316 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31074/stat : 31074 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187463047392 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31075] ppid=31057 vsize=10661132 memory=2900316 CPUtime=1.34 cores=1,3,5,7
/proc/31060/task/31075/stat : 31075 (java) S 31057 31060 30301 0 -1 1077944384 1784 0 0 0 59 75 0 0 20 0 15 0 95733169 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187461995696 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
Current children cumulated CPU time: 2513.76 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2861324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2508.6 s]
/proc/loadavg: 1.68 1.65 1.67 3/216 31250
/proc/meminfo: memFree=20190172/32770624 swapFree=67108404/67108860
[pid=31060] ppid=31057 vsize=10661132 memory=2861324 CPUtime=2520.06 cores=1,3,5,7
/proc/31060/stat : 31060 (java) S 31057 31060 30301 0 -1 1077944320 163241 0 0 0 251795 211 0 0 20 0 15 0 95733163 10916999168 715331 33554432000 4194304 4196468 140730983539584 140730983522128 140188233584375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
/proc/31060/statm: 2665283 715331 3181 1 0 2627263 0
[pid=31060/tid=31062] ppid=31057 vsize=10661132 memory=13847469322668609 CPUtime=2506.31 cores=1,3,5,7
/proc/31060/task/31062/stat : 31062 (java) R 31057 31060 30301 0 -1 4202560 83297 0 0 0 250575 56 0 0 20 0 15 0 95733163 10916999168 715331 33554432000 4194304 4196468 140730983539584 140188237823936 140187876250229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31063] ppid=31057 vsize=10661132 memory=3288 CPUtime=2.01 cores=1,3,5,7
/proc/31060/task/31063/stat : 31063 (java) S 31057 31060 30301 0 -1 1077944384 8664 0 0 0 180 21 0 0 20 0 15 0 95733164 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187839892112 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31064] ppid=31057 vsize=10661132 memory=2900316 CPUtime=1.98 cores=1,3,5,7
/proc/31060/task/31064/stat : 31064 (java) S 31057 31060 30301 0 -1 1077944384 8249 0 0 0 178 20 0 0 20 0 15 0 95733164 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187838839312 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31065] ppid=31057 vsize=10661132 memory=1408 CPUtime=1.99 cores=1,3,5,7
/proc/31060/task/31065/stat : 31065 (java) S 31057 31060 30301 0 -1 1077944384 10183 0 0 0 180 19 0 0 20 0 15 0 95733164 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187837786512 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31066] ppid=31057 vsize=10661132 memory=3172 CPUtime=2 cores=1,3,5,7
/proc/31060/task/31066/stat : 31066 (java) S 31057 31060 30301 0 -1 1077944384 9638 0 0 0 179 21 0 0 20 0 15 0 95733164 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187836733712 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31067] ppid=31057 vsize=10661132 memory=641496 CPUtime=0.25 cores=1,3,5,7
/proc/31060/task/31067/stat : 31067 (java) S 31057 31060 30301 0 -1 1077944384 8156 0 0 0 21 4 0 0 20 0 15 0 95733166 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187538512752 140188233595522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31068] ppid=31057 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31068/stat : 31068 (java) S 31057 31060 30301 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 95733166 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187537458784 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31069] ppid=31057 vsize=10661132 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31069/stat : 31069 (java) S 31057 31060 30301 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 95733166 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187536405872 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31070] ppid=31057 vsize=10661132 memory=9047017150487036571 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31070/stat : 31070 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187535354192 140188233602971 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31071] ppid=31057 vsize=10661132 memory=-8412656567318647667 CPUtime=1.69 cores=1,3,5,7
/proc/31060/task/31071/stat : 31071 (java) S 31057 31060 30301 0 -1 1077944384 11854 0 0 0 168 1 0 0 20 0 15 0 95733169 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187534301552 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31072] ppid=31057 vsize=10661132 memory=4427205132082312746 CPUtime=1.84 cores=1,3,5,7
/proc/31060/task/31072/stat : 31072 (java) S 31057 31060 30301 0 -1 1077944384 11195 0 0 0 183 1 0 0 20 0 15 0 95733169 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187533248752 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31073] ppid=31057 vsize=10661132 memory=-7023579799431922829 CPUtime=0.55 cores=1,3,5,7
/proc/31060/task/31073/stat : 31073 (java) S 31057 31060 30301 0 -1 1077944384 8811 0 0 0 53 2 0 0 20 0 15 0 95733169 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187464099952 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31074] ppid=31057 vsize=10661132 memory=-8412652152092201843 CPUtime=0 cores=1,3,5,7
/proc/31060/task/31074/stat : 31074 (java) S 31057 31060 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95733169 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187463047392 140188233594581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
[pid=31060/tid=31075] ppid=31057 vsize=10661132 memory=9047017150487036571 CPUtime=1.34 cores=1,3,5,7
/proc/31060/task/31075/stat : 31075 (java) S 31057 31060 30301 0 -1 1077944384 1786 0 0 0 59 75 0 0 20 0 15 0 95733169 10916999168 715331 33554432000 4194304 4196468 140730983539584 140187461995696 140188233595522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140730983543925 140730983544073 140730983544073 140730983546831 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2861324 KiB

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

[startup+2508.62 s]
# the end of solver process 31060 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.98 s, system=2.12328 s

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

Child status: 143
Real time (s): 2508.62
CPU time (s): 2520.1
CPU user time (s): 2517.98
CPU system time (s): 2.12328
CPU usage (%): 100.458
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 3058980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.98
system time used= 2.12328
maximum resident set size= 3058980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163740
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57152
involuntary context switches= 1113


# summary of solver processes directly reported to runsolver:
#   pid: 31060
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2517.98
#   total CPU system time (s): 2.12328

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6814 second user time and 20.0675 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-28 14:41:40
IDJOB=4298865
IDBENCH=141244
IDSOLVER=2762
FILE ID=node148/4298865-1532781700
RUNJOBID= node148-1532774285-30333
PBS_JOBID= 21022458
Free space on /tmp= 43264 MiB

SOLVER NAME= GG's minicp 2018-04-29
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko72_c18.xml
COMMAND LINE= java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298865-1532781700/watcher-4298865-1532781700 -o /tmp/evaluation-result-4298865-1532781700/solver-4298865-1532781700 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532774285-30333 --watchdog 2580  java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298865-1532781700.xml

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

MD5SUM BENCH= 69672b68d8d3f9201b488571cf4784d4
RANDOM SEED=790234919

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.50
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.50
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.50
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.50
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:        23352980 kB
MemAvailable:   31622112 kB
Buffers:          224320 kB
Cached:          8178888 kB
SwapCached:          352 kB
Active:          2302316 kB
Inactive:        6465088 kB
Active(anon):     317428 kB
Inactive(anon):    74228 kB
Active(file):    1984888 kB
Inactive(file):  6390860 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:              1196 kB
Writeback:             0 kB
AnonPages:        446380 kB
Mapped:            54936 kB
Shmem:             25016 kB
Slab:             349688 kB
SReclaimable:     321844 kB
SUnreclaim:        27844 kB
KernelStack:        3824 kB
PageTables:         6380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     899920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    378880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 43260 MiB
End job on node148 at 2018-07-28 15:23:29