Trace number 4298968

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
The dodo solver 2018-04-29SAT (TO)53834 2520.1 2511.53

General information on the benchmark

NameQuadraticAssignment/
QuadraticAssignment-sko81_c18.xml
MD5SUM7967f0a5d6026ea184db99fec624e08d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark53146
Best CPU time to get the best result obtained on this benchmark2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables6642
Number of constraints3241
Number of domains2
Minimum domain size8
Maximum domain size81
Distribution of domain sizes[{"size":8,"count":3240},{"size":81,"count":81}]
Minimum variable degree0
Maximum variable degree81
Distribution of variable degrees[{"degree":0,"count":3321},{"degree":2,"count":3240},{"degree":81,"count":81}]
Minimum constraint arity3
Maximum constraint arity81
Distribution of constraint arities[{"arity":3,"count":3240},{"arity":81,"count":1}]
Number of extensional constraints3240
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":3240},{"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.12/0.13	c version: 2018-04-11
0.12/0.13	c seed: 1811631
0.12/0.13	c timeout: 2520
0.12/0.13	c memlimit: -1
0.12/0.13	c nbcore: -1
11.58/7.34	o 54281
11.58/7.35	o 54246
11.58/7.39	o 54186
11.58/7.39	o 54144
11.80/7.41	o 54134
11.80/7.47	o 54121
12.06/7.53	o 54111
13.05/8.18	o 54064
13.05/8.18	o 54039
13.36/8.43	o 54031
13.46/8.51	o 54025
16.87/11.85	o 54024
17.01/11.95	o 53986
17.17/12.03	o 53982
17.17/12.09	o 53976
17.27/12.18	o 53963
17.46/12.36	o 53906
17.46/12.37	o 53834
2520.06/2511.50	s SATISFIABLE
2520.06/2511.51	v <instantiation>
2520.06/2511.51	v 	<list>
2520.06/2511.51	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] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] 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[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[0][80] 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[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[1][80] 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[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[2][80] 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[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[3][80] 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[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[4][80] 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[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[5][80] 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[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[6][80] 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[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[7][80] 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[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[8][80] 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[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[9][80] 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[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[10][80] 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[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[11][80] 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[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[12][80] 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[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[13][80] 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[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[14][80] 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[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[15][80] 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[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[16][80] 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[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[17][80] 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[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[18][80] 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[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[19][80] 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[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[20][80] 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[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[21][80] 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[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[22][80] 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[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[23][80] 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[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[24][80] 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[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[25][80] 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[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[26][80] 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[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[27][80] 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[28][72] d[28][73] d[28][74] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[28][80] 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[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[29][80] 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[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[30][80] 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[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][77] d[31][78] d[31][79] d[31][80] 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[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[32][80] 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[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[33][80] 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[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[34][80] 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[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[35][80] 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[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[36][80] 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[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[37][80] 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[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[38][80] 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[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[39][80] 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[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[40][80] 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[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[41][80] 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[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[42][80] 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[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[43][80] 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[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[44][80] 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[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[45][80] 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[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[46][80] 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[47][72] d[47][73] d[47][74] d[47][75] d[47][76] d[47][77] d[47][78] d[47][79] d[47][80] 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[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[48][80] 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[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[49][80] 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[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[50][80] 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[51][72] d[51][73] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[51][80] 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[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[52][80] 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[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[53][80] 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[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[54][80] 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[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[55][80] 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[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[56][80] 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[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[57][80] 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[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[58][80] 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[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[59][80] 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[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[60][80] 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[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[61][80] 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[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[62][80] 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[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[63][80] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[64][80] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[65][80] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[66][80] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[67][80] d[68][69] d[68][70] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[68][80] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][77] d[69][78] d[69][79] d[69][80] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[70][80] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[71][80] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[72][80] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[73][80] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[74][80] d[75][76] d[75][77] d[75][78] d[75][79] d[75][80] d[76][77] d[76][78] d[76][79] d[76][80] d[77][78] d[77][79] d[77][80] d[78][79] d[78][80] d[79][80] 
2520.06/2511.51	v 	</list>
2520.06/2511.51	v 	<values>
2520.06/2511.51	v 		0 1 2 3 4 5 6 7 8 9 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 72 73 79 76 80 78 74 75 77 0 5 0 10 0 10 10 2 0 6 1 2 1 2 10 10 1 2 5 0 5 5 2 4 0 2 0 4 0 0 10 1 2 5 10 0 1 2 2 1 5 10 5 10 1 0 4 2 10 5 0 5 2 2 2 2 5 5 2 2 10 0 1 1 0 0 0 0 5 6 1 10 2 1 4 5 1 10 3 2 5 1 10 0 5 0 5 0 5 5 2 5 10 4 0 5 1 5 0 0 0 0 5 10 5 5 0 5 2 2 10 0 5 5 2 1 0 3 0 0 0 10 5 10 4 0 0 0 0 0 5 3 5 0 0 0 5 0 1 0 0 5 0 5 5 5 5 5 5 2 3 0 5 2 0 5 2 0 0 5 6 5 2 0 2 0 2 0 6 1 1 3 0 0 5 1 10 1 2 0 5 6 5 2 2 1 5 5 5 1 0 1 0 1 1 5 6 0 1 0 0 1 5 5 5 2 4 0 1 0 1 10 0 0 0 2 5 2 0 0 3 10 0 0 5 5 0 4 2 6 2 1 1 3 5 0 2 0 10 5 0 0 5 5 5 4 2 0 0 0 3 2 2 1 5 5 5 0 5 3 2 0 2 0 3 5 2 0 0 5 10 5 2 5 5 0 0 0 0 0 5 10 1 0 0 2 5 0 5 0 1 0 5 2 4 3 5 2 1 3 0 6 4 5 1 0 0 2 1 2 5 1 5 1 10 0 2 5 0 5 2 5 3 0 5 5 4 0 0 1 0 0 5 0 3 1 1 0 1 5 4 0 2 1 2 0 1 2 0 5 5 10 0 5 1 2 5 1 5 2 2 2 0 5 0 1 10 2 0 1 10 2 2 0 1 0 0 2 4 10 5 3 2 5 4 5 10 1 2 2 5 0 5 2 5 2 0 5 1 5 10 5 0 0 10 1 2 1 0 2 1 10 5 0 5 0 0 2 5 10 2 1 5 2 10 0 0 5 3 0 1 6 3 5 2 5 2 0 2 5 0 5 2 5 3 0 2 2 2 1 5 0 2 5 2 0 5 1 0 1 10 2 0 0 6 0 5 0 1 0 1 0 2 2 2 10 5 0 10 0 0 5 0 0 5 10 0 0 10 2 1 0 0 2 2 5 10 0 10 1 5 0 5 2 10 2 4 4 0 1 1 2 0 5 5 0 10 0 1 5 4 3 2 2 0 5 6 2 3 0 5 0 0 0 1 5 5 2 2 10 5 2 1 0 4 2 5 2 2 3 2 2 0 2 2 2 1 1 2 1 0 0 10 0 1 0 1 5 2 1 0 0 1 2 6 2 5 0 0 0 0 5 2 0 2 0 0 0 2 0 5 2 0 2 2 2 0 0 2 0 5 0 10 4 5 0 0 2 0 5 1 2 0 10 0 0 10 0 0 6 1 5 0 2 0 2 0 5 5 10 0 0 1 10 2 0 5 1 0 1 3 0 1 1 0 0 2 1 2 2 10 10 10 0 0 1 1 2 0 1 0 5 0 5 5 0 3 3 4 5 2 0 2 2 5 1 0 0 0 0 1 0 2 10 5 0 0 5 0 0 2 5 10 5 0 0 0 5 5 0 5 10 0 1 2 2 0 0 5 1 10 0 10 5 5 1 5 5 5 2 10 0 10 0 0 5 10 5 1 2 2 2 1 3 0 1 5 0 1 2 1 0 0 0 10 3 10 0 4 0 5 0 5 0 0 1 3 2 1 2 4 1 5 2 2 0 2 4 0 4 0 2 3 1 0 6 6 5 0 6 0 2 5 2 0 4 1 10 0 10 0 1 2 1 5 6 0 1 10 1 5 5 5 0 2 1 0 5 10 4 0 0 5 5 10 2 1 0 5 2 1 0 0 0 1 2 5 1 0 0 1 4 2 5 0 3 1 1 5 1 5 5 1 3 5 10 0 5 0 3 3 0 5 1 2 4 10 5 10 2 2 1 0 10 0 0 5 2 2 5 1 0 5 4 2 10 5 0 5 0 0 4 5 6 5 0 10 6 2 2 10 0 0 2 0 1 2 3 5 0 2 10 1 0 1 3 0 5 0 0 0 4 10 10 2 1 2 1 2 5 0 10 5 2 2 5 10 2 0 1 1 0 10 10 3 2 1 0 10 5 3 10 10 5 10 2 0 5 10 3 0 5 1 5 0 0 5 4 3 5 5 0 5 3 2 2 10 10 2 0 1 0 5 2 0 2 0 2 5 2 0 2 10 5 1 2 5 10 3 2 5 2 1 0 0 5 2 0 2 10 5 0 5 2 0 3 5 0 0 0 1 5 6 0 2 1 10 0 0 2 2 5 0 0 10 5 1 2 2 5 10 5 10 1 10 3 10 5 0 0 0 5 2 0 0 10 5 5 5 6 2 0 10 1 4 5 5 3 1 0 1 5 5 2 0 4 0 5 5 4 5 0 0 0 5 3 0 5 0 2 0 1 4 5 2 0 6 5 0 0 3 0 5 2 0 0 5 0 10 1 0 1 3 0 2 0 1 0 0 1 0 0 5 2 10 5 3 0 0 0 1 1 10 2 10 5 0 5 1 0 0 3 5 2 5 1 1 4 2 5 0 2 5 1 0 2 3 2 5 0 0 2 0 1 1 0 10 1 10 2 0 5 0 4 0 2 2 5 2 2 2 4 0 0 3 5 0 2 3 4 5 1 1 0 10 0 4 10 5 1 10 3 10 0 5 2 0 2 3 5 0 2 10 1 5 0 1 3 10 0 5 10 5 5 1 0 2 1 1 6 0 0 5 0 10 10 0 0 0 0 1 5 10 0 0 0 5 1 5 10 5 2 10 0 5 1 5 10 5 0 2 0 1 0 0 5 10 0 1 0 5 5 2 5 2 1 2 3 10 5 2 1 2 1 0 1 2 5 2 0 0 2 0 5 10 2 5 2 0 2 10 0 0 5 5 0 0 2 5 2 5 0 1 4 0 5 0 5 5 0 5 5 5 5 2 1 5 4 0 1 5 2 0 1 0 1 5 10 2 1 3 4 5 2 0 0 1 6 0 5 5 10 5 1 0 2 5 0 0 0 5 5 5 5 10 5 5 1 1 5 1 2 0 0 0 5 0 2 10 1 1 5 5 5 1 2 0 5 4 4 0 1 2 0 1 4 5 2 5 5 5 1 5 10 1 3 0 0 4 0 2 1 5 0 5 2 1 0 4 10 5 0 0 2 4 4 0 0 3 0 3 5 5 3 10 1 0 1 5 5 1 5 10 0 2 5 0 5 5 5 4 5 4 0 1 2 5 2 0 5 4 2 0 4 2 5 2 10 5 5 5 0 2 0 5 4 0 0 2 1 5 2 5 5 0 0 10 0 0 1 1 1 5 2 3 4 0 0 10 6 10 0 10 0 1 0 10 0 0 0 1 0 10 6 5 4 5 0 4 2 2 5 0 5 0 0 0 0 5 5 5 0 0 3 1 5 10 0 5 2 5 0 4 0 0 0 0 2 2 0 5 0 10 0 5 2 5 10 0 0 5 2 3 0 5 1 1 2 0 0 2 0 2 0 0 10 0 5 0 0 4 4 10 0 10 5 2 5 0 5 5 5 2 2 2 2 0 5 1 2 0 5 0 0 10 0 0 6 5 0 1 2 5 1 4 10 5 1 0 10 0 5 3 10 3 4 5 0 5 2 5 10 0 5 10 10 10 0 0 4 3 5 2 2 2 5 1 0 10 2 1 0 0 2 10 1 6 5 5 0 4 5 6 0 2 3 4 2 1 3 0 0 0 0 5 1 5 2 5 0 0 0 0 0 0 0 2 5 0 5 1 10 0 0 1 2 5 2 0 2 4 4 5 4 1 1 0 2 1 0 1 0 0 0 5 6 2 10 1 5 0 0 5 0 2 5 0 2 1 0 2 2 1 2 10 0 0 10 1 2 5 1 5 1 0 0 2 5 5 2 1 0 0 5 1 0 5 5 1 2 10 5 2 0 2 0 10 2 1 0 4 0 2 1 1 1 1 0 2 0 1 0 10 5 0 2 1 1 10 0 1 5 5 2 4 10 5 5 0 10 5 0 0 2 1 10 2 2 2 3 2 6 5 0 0 0 1 1 5 5 0 5 0 2 0 3 10 4 1 2 2 5 5 0 0 3 10 1 3 2 0 2 0 6 3 0 0 1 2 3 1 4 0 2 5 5 0 0 0 0 1 2 10 2 0 3 2 10 4 2 6 5 10 4 0 0 10 2 4 5 0 0 6 5 0 1 2 2 10 1 2 0 3 2 2 1 1 10 0 2 5 0 1 0 3 5 2 0 0 0 0 0 5 5 5 2 2 5 1 6 6 5 2 3 5 5 5 2 2 5 6 10 5 2 5 1 0 1 2 5 5 0 2 5 0 0 0 3 0 1 0 5 0 0 10 0 5 1 10 2 2 2 10 0 0 1 5 4 10 0 0 1 3 4 2 0 1 2 5 6 1 10 1 0 2 4 1 4 4 0 2 2 2 0 1 2 0 1 5 10 2 0 5 0 4 5 0 6 1 0 2 10 0 5 2 2 5 2 2 4 5 2 0 1 2 4 2 2 0 10 3 5 0 2 5 0 2 0 5 0 0 6 0 0 5 0 0 0 0 0 5 5 0 5 0 4 0 0 2 3 10 0 0 1 2 5 10 1 2 10 4 10 1 0 5 2 1 5 10 0 2 10 3 3 2 0 2 0 10 5 6 5 0 0 2 0 1 0 0 1 5 0 2 2 1 10 5 5 0 1 0 2 0 10 2 0 0 0 5 1 2 5 0 0 10 0 0 5 0 5 0 3 0 0 0 0 2 0 5 1 2 5 1 1 0 1 0 4 2 0 5 0 10 0 5 5 5 10 0 2 2 2 3 1 1 2 5 10 0 5 0 5 2 1 4 5 1 1 5 0 0 2 5 0 2 3 2 0 0 0 2 5 0 2 2 0 5 5 0 0 4 3 2 10 0 2 2 0 5 0 5 5 10 3 2 5 2 0 0 5 2 0 0 3 0 6 10 5 1 1 1 2 5 10 0 2 2 5 0 0 4 0 0 1 4 5 5 2 3 5 0 5 1 0 0 0 0 0 6 2 1 4 0 6 0 5 5 1 4 2 5 5 1 10 5 0 2 1 10 5 10 5 10 1 10 10 0 1 2 2 0 5 5 2 2 5 0 3 1 0 1 5 10 2 5 1 10 0 5 5 2 2 5 2 10 0 2 4 1 5 5 2 0 10 2 5 5 0 2 0 1 0 0 0 0 5 0 2 3 0 6 6 5 2 5 2 5 2 0 5 3 3 0 4 2 2 1 0 3 0 0 1 2 0 2 0 0 2 5 1 2 3 0 0 2 0 0 10 0 5 0 5 2 1 5 3 5 4 10 2 2 1 0 0 5 6 0 5 0 0 1 0 0 2 2 0 0 10 3 0 3 5 3 3 5 3 0 2 2 10 3 3 0 5 5 2 1 0 2 1 2 5 10 0 0 0 2 5 5 0 0 1 0 0 5 10 0 2 0 1 2 0 0 2 5 2 2 0 3 0 2 0 2 1 2 4 5 0 5 1 2 0 4 1 1 5 2 2 0 10 2 5 1 10 2 2 2 1 5 2 0 2 5 0 0 3 0 5 2 2 4 0 0 0 0 10 5 1 5 0 2 3 0 0 0 1 0 3 5 5 2 1 1 2 10 0 3 2 5 1 0 0 0 10 2 10 1 0 5 0 2 1 0 5 6 0 2 5 1 0 0 10 1 5 6 1 4 2 2 4 10 5 2 0 2 0 2 5 5 0 5 0 0 0 3 0 5 2 5 1 0 0 2 10 0 1 2 1 5 5 10 2 2 4 0 0 2 0 0 0 10 0 0 3 5 1 10 5 5 1 10 1 10 0 0 0 1 5 0 10 0 0 2 0 10 10 5 2 3 10 2 1 0 5 0 1 0 10 0 4 0 5 1 2 0 10 3 1 0 0 3 0 1 0 1 1 0 0 1 3 0 2 1 0 2 2 5 5 0 0 5 0 0 0 0 0 3 1 1 0 1 1 0 10 0 0 10 2 2 2 10 0 1 3 0 5 10 10 0 5 0 2 5 1 2 2 5 0 0 0 10 0 3 4 0 0 1 2 2 0 10 0 2 10 2 6 0 5 3 1 3 5 2 2 5 0 0 0 2 0 2 4 6 0 0 0 2 3 10 2 1 1 0 1 5 2 1 5 0 2 0 5 0 1 2 4 2 3 2 2 2 6 0 0 0 0 0 1 0 4 5 2 4 0 2 0 0 4 1 5 0 5 10 1 5 1 2 5 4 2 2 5 10 0 1 0 4 5 2 2 5 10 2 5 2 5 0 2 10 2 10 0 0 5 10 5 1 0 0 0 4 2 4 0 0 0 0 0 2 0 1 5 5 1 10 2 3 0 0 4 3 3 0 0 1 1 0 5 0 0 0 6 2 5 0 2 6 2 2 5 2 5 0 0 0 5 5 5 0 6 2 0 5 4 5 0 0 1 1 0 5 0 0 0 2 2 10 0 1 4 0 0 4 2 2 10 5 0 5 5 5 0 1 3 10 3 2 2 1 5 2 0 1 2 2 2 2 2 0 5 0 5 4 0 10 6 3 5 0 2 5 1 5 3 4 0 0 4 0 0 4 1 2 1 10 2 5 1 5 0 10 1 10 1 5 2 2 0 5 0 0 0 10 5 1 0 2 1 10 0 5 0 10 2 5 2 5 5 5 0 1 10 6 10 10 1 5 1 1 5 2 3 2 6 0 4 0 0 5 0 6 0 10 2 0 0 10 5 10 0 5 2 5 0 0 0 10 0 2 2 1 0 0 2 0 5 3 0 10 0 2 0 0 4 2 1 2 5 1 0 5 5 3 1 5 0 2 0 0 0 10 2 0 0 2 5 4 5 0 4 10 5 0 0 1 0 5 5 5 5 2 6 4 1 6 5 1 3 2 1 6 2 0 1 1 0 2 3 1 1 6 0 0 2 0 2 1 1 5 1 0 5 10 0 2 5 2 5 5 2 2 3 2 1 2 2 5 2 0 5 1 5 2 5 0 5 0 10 0 0 4 0 0 0 0 2 5 2 0 0 2 0 5 1 10 2 5 0 2 2 2 3 3 5 0 1 2 0 1 5 0 5 0 0 0 5 2 0 10 0 0 1 2 2 6 2 0 0 5 2 5 2 0 0 5 5 3 2 5 4 0 5 10 2 1 5 1 1 2 0 2 10 3 2 0 10 2 1 4 10 0 5 5 3 2 5 2 0 5 5 5 5 5 0 2 0 5 5 10 1 0 1 0 5 10 2 0 5 1 0 
2520.06/2511.51	v 	</values>
2520.06/2511.51	v </instantiation>

Verifier Data

OK	53834

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298968-1532794626/watcher-4298968-1532794626 -o /tmp/evaluation-result-4298968-1532794626/solver-4298968-1532794626 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532774549-6745 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298968-1532794626.xml --timelimit 2520 

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=8840, runsolver pid=8837

[startup+0.100062 s]*
/proc/loadavg: 1.32 1.57 1.66 4/219 8855
/proc/meminfo: memFree=27130316/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10658972 memory=26484 CPUtime=0.12 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 5536 0 0 0 11 1 0 0 20 0 15 0 97025782 10914787328 6621 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2664743 6621 2825 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10658972 memory=-8196700188312899164 CPUtime=0.09 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 3368 0 0 0 8 1 0 0 20 0 15 0 97025782 10914787328 6621 33554432000 4194304 4196468 140730271922720 140559282653152 140559278443926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10658972 memory=5793855792557488569 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10658972 memory=140541547595392 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97025783 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97025784 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97025785 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) S 8837 8840 6713 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 97025787 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558579211120 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025787 10914787328 6621 33554432000 4194304 4196468 140730271922720 140558578158320 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10658972 memory=140541547595392 CPUtime=0.02 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) R 8837 8840 6713 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 15 0 97025787 10914787328 6621 33554432000 4194304 4196468 140730271922720 140557933173360 140559270669118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10914787328 6621 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10658972 memory=140541547595392 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025788 10914787328 6621 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 26484 KiB

[startup+0.210768 s]*
/proc/loadavg: 1.32 1.57 1.66 5/219 8855
/proc/meminfo: memFree=27117864/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10661056 memory=39104 CPUtime=0.34 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 8298 0 0 0 31 3 0 0 20 0 15 0 97025782 10916921344 9776 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2665264 9776 3002 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10661056 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 5225 0 0 0 18 2 0 0 20 0 15 0 97025782 10916921344 9776 33554432000 4194304 4196468 140730271922720 140559282668344 140559262512478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661056 memory=4211974267752385930 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661056 memory=140541547595392 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97025783 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661056 memory=140541547595392 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97025784 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97025785 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) R 8837 8840 6713 0 -1 4202560 699 0 0 0 2 0 0 0 20 0 15 0 97025787 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558579211120 140559256172864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) R 8837 8840 6713 0 -1 1077944384 139 0 0 0 2 0 0 0 20 0 15 0 97025787 10916921344 9776 33554432000 4194304 4196468 140730271922720 140558578158320 140559278443138 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10661056 memory=140541547595392 CPUtime=0.07 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) R 8837 8840 6713 0 -1 4202560 886 0 0 0 7 0 0 0 20 0 15 0 97025787 10916921344 9776 33554432000 4194304 4196468 140730271922720 140557933173360 140559256797700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10916921344 9776 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10661056 memory=140541547595392 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025788 10916921344 9776 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 39104 KiB

[startup+0.311288 s]*
/proc/loadavg: 1.32 1.57 1.66 5/219 8855
/proc/meminfo: memFree=27103536/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10661132 memory=53380 CPUtime=0.67 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 10379 0 0 0 64 3 0 0 20 0 15 0 97025782 10916999168 13345 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2665283 13345 3070 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10661132 memory=7377246124687064083 CPUtime=0.3 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 5539 0 0 0 28 2 0 0 20 0 15 0 97025782 10916999168 13345 33554432000 4194304 4196468 140730271922720 140559282669488 140558915424171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661132 memory=4211974267752385930 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661132 memory=140541547597771 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661132 memory=140541396370505 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661132 memory=140541396372943 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661132 memory=140541547602132 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97025784 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10661132 memory=140541396382127 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10661132 memory=281082792755088 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10661132 memory=281082792752784 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10661132 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) R 8837 8840 6713 0 -1 4202560 1480 0 0 0 11 0 0 0 20 0 15 0 97025787 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558579192136 140559278443926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10661132 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) R 8837 8840 6713 0 -1 4202560 602 0 0 0 10 0 0 0 20 0 15 0 97025787 10916999168 13345 33554432000 4194304 4196468 140730271922720 140558578139888 140559261842784 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10661132 memory=140541547595392 CPUtime=0.14 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) R 8837 8840 6713 0 -1 4202560 1391 0 0 0 14 0 0 0 20 0 15 0 97025787 10916999168 13345 33554432000 4194304 4196468 140730271922720 140557933173488 140559278443926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10661132 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 13345 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10661132 memory=140541547595392 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 13345 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 53380 KiB

[startup+0.700786 s]
/proc/loadavg: 1.32 1.57 1.66 5/219 8855
/proc/meminfo: memFree=27070400/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10661132 memory=105148 CPUtime=1.9 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 12143 0 0 0 186 4 0 0 20 0 15 0 97025782 10916999168 26287 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2665283 26287 3111 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10661132 memory=5484 CPUtime=0.67 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 5797 0 0 0 64 3 0 0 20 0 15 0 97025782 10916999168 26287 33554432000 4194304 4196468 140730271922720 140559282669728 140558915383696 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661132 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661132 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661132 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661132 memory=7453282923411170919 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97025783 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661132 memory=6220993253238723945 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97025784 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10661132 memory=36 CPUtime=0.44 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) R 8837 8840 6713 0 -1 4202560 1643 0 0 0 44 0 0 0 20 0 15 0 97025787 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558579211120 140559263329575 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10661132 memory=3 CPUtime=0.42 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) S 8837 8840 6713 0 -1 1077944384 1230 0 0 0 42 0 0 0 20 0 15 0 97025787 10916999168 26287 33554432000 4194304 4196468 140730271922720 140558578158320 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10661132 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) S 8837 8840 6713 0 -1 1077944384 2103 0 0 0 34 0 0 0 20 0 15 0 97025787 10916999168 26287 33554432000 4194304 4196468 140730271922720 140557933173360 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10661132 memory=281082792938992 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 26287 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 26287 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 105148 KiB

[startup+1.50078 s]
/proc/loadavg: 1.32 1.57 1.66 3/219 8855
/proc/meminfo: memFree=26898620/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10661132 memory=442148 CPUtime=3.67 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 13590 0 0 0 330 37 0 0 20 0 15 0 97025782 10916999168 110537 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2665283 110537 3170 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10661132 memory=0 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 5863 0 0 0 119 3 0 0 20 0 15 0 97025782 10916999168 110537 33554432000 4194304 4196468 140730271922720 140559282667656 140558919510027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661132 memory=-6511782102145834793 CPUtime=0.22 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 245 0 0 0 15 7 0 0 20 0 15 0 97025783 10916999168 110537 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661132 memory=-3472574513799858008 CPUtime=0.21 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 214 0 0 0 14 7 0 0 20 0 15 0 97025783 10916999168 110537 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661132 memory=9050432703280480429 CPUtime=0.22 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 230 0 0 0 15 7 0 0 20 0 15 0 97025783 10916999168 110537 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661132 memory=-6368755452884768643 CPUtime=0.22 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 230 0 0 0 14 8 0 0 20 0 15 0 97025783 10916999168 110537 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661132 memory=-3472574513799858009 CPUtime=0.01 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 15 0 97025784 10916999168 110537 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0

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

/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 44393 0 0 0 244085 20 0 0 20 0 15 0 97025782 10916999168 462379 33554432000 4194304 4196468 140730271922720 140559282673280 140558920758799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 3962 0 0 0 92 30 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 3203 0 0 0 91 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 3890 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 4827 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0.09 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 3870 0 0 0 5 4 0 0 20 0 15 0 97025784 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.33 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) S 8837 8840 6713 0 -1 1077944384 6019 0 0 0 132 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558579211120 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.31 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) S 8837 8840 6713 0 -1 1077944384 9448 0 0 0 130 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558578158320 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0.5 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) S 8837 8840 6713 0 -1 1077944384 6471 0 0 0 49 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557933173360 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.56 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1771 0 0 0 65 91 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 2450.81 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1849516 KiB

[startup+2502.3 s]
/proc/loadavg: 1.87 1.90 1.87 3/218 9016
/proc/meminfo: memFree=25166540/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10661132 memory=1849516 CPUtime=2510.85 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 90355 0 0 0 250856 229 0 0 20 0 15 0 97025782 10916999168 462379 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2665283 462379 3196 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10661132 memory=1849516 CPUtime=2501.06 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 45444 0 0 0 250085 21 0 0 20 0 15 0 97025782 10916999168 462379 33554432000 4194304 4196468 140730271922720 140559282673280 140558920761743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 3962 0 0 0 92 30 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 3203 0 0 0 91 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 3890 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 4827 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0.1 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 3882 0 0 0 6 4 0 0 20 0 15 0 97025784 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.33 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) S 8837 8840 6713 0 -1 1077944384 6026 0 0 0 132 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558579211120 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.31 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) S 8837 8840 6713 0 -1 1077944384 9456 0 0 0 130 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558578158320 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10661132 memory=3560 CPUtime=0.5 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) S 8837 8840 6713 0 -1 1077944384 6475 0 0 0 49 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557933173360 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10661132 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10661132 memory=2192 CPUtime=1.6 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1830 0 0 0 68 92 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 2510.85 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1849516 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2511.5 s]
/proc/loadavg: 1.80 1.89 1.87 3/218 9016
/proc/meminfo: memFree=25178704/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10661132 memory=1849516 CPUtime=2520.06 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 90495 0 0 0 251776 230 0 0 20 0 15 0 97025782 10916999168 462379 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2665283 462379 3196 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10661132 memory=1696 CPUtime=2510.26 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 45582 0 0 0 251005 21 0 0 20 0 15 0 97025782 10916999168 462379 33554432000 4194304 4196468 140730271922720 140559282673280 140558920701234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 3962 0 0 0 92 30 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 3203 0 0 0 91 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 3890 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 4827 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661132 memory=281082792833360 CPUtime=0.1 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 3882 0 0 0 6 4 0 0 20 0 15 0 97025784 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10661132 memory=7883944108235712103 CPUtime=1.33 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) S 8837 8840 6713 0 -1 1077944384 6026 0 0 0 132 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558579211120 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10661132 memory=1720 CPUtime=1.31 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) S 8837 8840 6713 0 -1 1077944384 9456 0 0 0 130 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558578158320 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10661132 memory=792 CPUtime=0.5 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) S 8837 8840 6713 0 -1 1077944384 6475 0 0 0 49 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557933173360 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10661132 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10661132 memory=2192 CPUtime=1.61 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1832 0 0 0 68 93 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1849516 KiB

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

[startup+2511.53 s]
# the end of solver process 8840 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.79 s, system=2.31243 s

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

[startup+2511.5 s]
/proc/loadavg: 1.80 1.89 1.87 3/218 9016
/proc/meminfo: memFree=25178704/32770624 swapFree=67108860/67108860
[pid=8840] ppid=8837 vsize=10661132 memory=1849516 CPUtime=2520.06 cores=1,3,5,7
/proc/8840/stat : 8840 (java) S 8837 8840 6713 0 -1 1077944320 90495 0 0 0 251776 230 0 0 20 0 15 0 97025782 10916999168 462379 33554432000 4194304 4196468 140730271922720 140730271905264 140559278431991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
/proc/8840/statm: 2665283 462379 3196 1 0 2627263 0
[pid=8840/tid=8842] ppid=8837 vsize=10661132 memory=1696 CPUtime=2510.26 cores=1,3,5,7
/proc/8840/task/8842/stat : 8842 (java) R 8837 8840 6713 0 -1 4202560 45582 0 0 0 251005 21 0 0 20 0 15 0 97025782 10916999168 462379 33554432000 4194304 4196468 140730271922720 140559282673280 140558920701234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8843] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8843/stat : 8843 (java) S 8837 8840 6713 0 -1 1077944384 3962 0 0 0 92 30 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558884801680 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8844] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.22 cores=1,3,5,7
/proc/8840/task/8844/stat : 8844 (java) S 8837 8840 6713 0 -1 1077944384 3203 0 0 0 91 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558883748880 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8845] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8845/stat : 8845 (java) S 8837 8840 6713 0 -1 1077944384 3890 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558882696080 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8846] ppid=8837 vsize=10661132 memory=1849516 CPUtime=1.21 cores=1,3,5,7
/proc/8840/task/8846/stat : 8846 (java) S 8837 8840 6713 0 -1 1077944384 4827 0 0 0 90 31 0 0 20 0 15 0 97025783 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558881643280 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8847] ppid=8837 vsize=10661132 memory=281082792833360 CPUtime=0.1 cores=1,3,5,7
/proc/8840/task/8847/stat : 8847 (java) S 8837 8840 6713 0 -1 1077944384 3882 0 0 0 6 4 0 0 20 0 15 0 97025784 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558583421296 140559278443138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8848] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8848/stat : 8848 (java) S 8837 8840 6713 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558582367264 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8849] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8849/stat : 8849 (java) S 8837 8840 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97025785 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558581314416 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8850] ppid=8837 vsize=10661132 memory=1849516 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8850/stat : 8850 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558580262736 140559278450587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8851] ppid=8837 vsize=10661132 memory=7883944108235712103 CPUtime=1.33 cores=1,3,5,7
/proc/8840/task/8851/stat : 8851 (java) S 8837 8840 6713 0 -1 1077944384 6026 0 0 0 132 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558579211120 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8852] ppid=8837 vsize=10661132 memory=1720 CPUtime=1.31 cores=1,3,5,7
/proc/8840/task/8852/stat : 8852 (java) S 8837 8840 6713 0 -1 1077944384 9456 0 0 0 130 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140558578158320 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8853] ppid=8837 vsize=10661132 memory=792 CPUtime=0.5 cores=1,3,5,7
/proc/8840/task/8853/stat : 8853 (java) S 8837 8840 6713 0 -1 1077944384 6475 0 0 0 49 1 0 0 20 0 15 0 97025787 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557933173360 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8854] ppid=8837 vsize=10661132 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/8840/task/8854/stat : 8854 (java) S 8837 8840 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557932120800 140559278442197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
[pid=8840/tid=8855] ppid=8837 vsize=10661132 memory=2192 CPUtime=1.61 cores=1,3,5,7
/proc/8840/task/8855/stat : 8855 (java) S 8837 8840 6713 0 -1 1077944384 1832 0 0 0 68 93 0 0 20 0 15 0 97025788 10916999168 462379 33554432000 4194304 4196468 140730271922720 140557931068080 140559278443138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20398080 140730271929464 140730271929609 140730271929609 140730271932367 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1849516 KiB

Child status: 143
Real time (s): 2511.53
CPU time (s): 2520.1
CPU user time (s): 2517.79
CPU system time (s): 2.31243
CPU usage (%): 100.341
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 1849516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.79
system time used= 2.31243
maximum resident set size= 1850020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91031
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56863
involuntary context switches= 1376


# summary of solver processes directly reported to runsolver:
#   pid: 8840
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2517.79
#   total CPU system time (s): 2.31243

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2095 second user time and 22.6786 second system time

The end

Launcher Data

Begin job on node135 at 2018-07-28 18:17:06
IDJOB=4298968
IDBENCH=141258
IDSOLVER=2768
FILE ID=node135/4298968-1532794626
RUNJOBID= node135-1532774549-6745
PBS_JOBID= 21022460
Free space on /tmp= 48364 MiB

SOLVER NAME= The dodo solver 2018-04-29
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko81_c18.xml
COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298968-1532794626/watcher-4298968-1532794626 -o /tmp/evaluation-result-4298968-1532794626/solver-4298968-1532794626 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532774549-6745 --watchdog 2580  java -jar HOME/dodo_solver.jar HOME/instance-4298968-1532794626.xml --timelimit 2520

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

MD5SUM BENCH= 7967f0a5d6026ea184db99fec624e08d
RANDOM SEED=1772535831

node135.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:        27145368 kB
MemAvailable:   31759600 kB
Buffers:          197428 kB
Cached:          4649232 kB
SwapCached:            0 kB
Active:          1821484 kB
Inactive:        3254640 kB
Active(anon):     180092 kB
Inactive(anon):    76932 kB
Active(file):    1641392 kB
Inactive(file):  3177708 kB
Unevictable:        7212 kB
Mlocked:            7212 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1296 kB
Writeback:             0 kB
AnonPages:        248464 kB
Mapped:            54592 kB
Shmem:             25248 kB
Slab:             249972 kB
SReclaimable:     221936 kB
SUnreclaim:        28036 kB
KernelStack:        3856 kB
PageTables:         5732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1176780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    161792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 48364 MiB
End job on node135 at 2018-07-28 18:58:58