Trace number 4274605

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2017-07-26SAT (TO)7499862 2520.1399 2464.1599

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-tai80a.xml
MD5SUMc9a66f606132a3c8760ec6756f0c4250
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark7129639
Best CPU time to get the best result obtained on this benchmark2519.7
Satisfiable
(Un)Satisfiability was proved
Number of variables6480
Number of constraints3128
Number of domains2
Minimum domain size80
Maximum domain size100
Distribution of domain sizes[{"size":80,"count":80},{"size":100,"count":3127}]
Minimum variable degree0
Maximum variable degree80
Distribution of variable degrees[{"degree":0,"count":3273},{"degree":2,"count":3127},{"degree":77,"count":3},{"degree":78,"count":14},{"degree":79,"count":29},{"degree":80,"count":34}]
Minimum constraint arity3
Maximum constraint arity80
Distribution of constraint arities[{"arity":3,"count":3127},{"arity":80,"count":1}]
Number of extensional constraints3127
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":3127},{"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.29/0.38	c version: 2017-07-26
0.29/0.38	c seed: 800075690
0.29/0.38	c timeout: 2520
0.29/0.38	c memlimit: 11000
0.29/0.38	c nbcore: 4
0.29/0.40	c Parsing instance...
21.11/10.30	c Parsing done, starting first complete search...
33.10/14.53	o 7771339
33.10/14.54	o 7769798
33.10/14.55	o 7766064
33.10/14.57	o 7759961
33.35/14.66	o 7759558
33.35/14.68	o 7745793
33.67/14.78	o 7733139
33.97/14.89	o 7733003
34.44/15.06	o 7732285
34.44/15.06	o 7728197
34.60/15.18	o 7721011
35.26/15.73	o 7717247
35.26/15.76	o 7716392
38.13/18.42	o 7715088
39.75/20.07	o 7712587
40.75/21.05	o 7709160
40.87/21.16	o 7707274
40.96/21.23	o 7704813
43.46/23.70	o 7700443
45.43/24.64	o 7699179
70.09/48.97	c First complete search done, starting ALNS search...
72.61/51.15	o 7610026
613.28/587.86	o 7592977
726.93/699.32	o 7588555
748.38/720.40	o 7586650
768.24/739.90	o 7572275
773.05/744.63	o 7571849
904.95/874.41	o 7560924
915.04/884.41	o 7535687
932.52/901.61	o 7534995
1029.98/997.73	o 7526290
1163.96/1129.86	o 7519126
1200.54/1165.86	o 7517242
1201.64/1166.96	o 7512632
1316.69/1280.41	o 7511913
1317.69/1281.44	o 7508425
1407.81/1370.47	o 7507437
1461.05/1422.95	o 7505795
1806.86/1764.25	o 7499862
1845.60/1802.48	c ALNS done, starting second complete search
1845.60/1802.49	c Best operator: KSuccessive(1604)_LastConf(Max) with improvement of: 97858
2520.09/2464.11	s SATISFIABLE
2520.09/2464.12	v <instantiation>
2520.09/2464.12	v 	<list>
2520.09/2464.12	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] 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][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[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] 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[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][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][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[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[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[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][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[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[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][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[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][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[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][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[10][11] d[10][12] d[10][13] d[10][14] 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[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[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[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[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[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[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][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[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[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][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[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[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[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][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[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[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[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[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[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[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][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[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][75] d[28][76] d[28][77] d[28][78] d[28][79] 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][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] 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[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][54] d[30][55] d[30][56] 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[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][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][78] d[31][79] 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][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[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[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[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[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][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[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[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][56] d[38][57] 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[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] 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[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[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[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[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[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[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[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[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][76] d[47][77] d[47][78] d[47][79] 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[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[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[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][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] 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[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][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[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[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[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][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] 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[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[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[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[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[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[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[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[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[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[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[68][69] 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[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][78] d[69][79] 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[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[75][76] d[75][77] d[75][78] d[75][79] d[76][77] d[76][78] d[76][79] d[77][78] d[77][79] d[78][79]
2520.09/2464.12	v 	</list>
2520.09/2464.12	v 	<values>
2520.09/2464.12	v 		26 60 75 50 3 32 61 64 66 16 49 36 58 1 20 13 30 65 11 6 33 79 51 77 57 76 44 28 12 37 24 45 25 10 18 42 55 53 29 4 7 72 68 9 48 52 78 34 23 47 40 59 43 19 21 2 39 74 17 46 41 71 62 67 22 8 70 69 5 27 35 15 63 73 0 54 56 31 38 14 6 30 48 42 79 19 21 56 41 12 40 61 71 37 1 15 32 75 9 94 39 2 23 39 32 51 48 2 31 24 38 18 1 49 41 90 17 71 21 23 35 79 71 68 66 35 1 17 68 57 73 21 15 49 97 47 13 82 26 70 45 26 73 62 7 71 45 12 97 16 13 96 91 49 31 87 87 86 99 24 53 19 84 65 88 24 50 30 86 18 5 55 23 14 28 44 68 33 53 47 9 92 98 13 84 30 71 32 76 33 35 15 49 55 17 13 87 19 0 68 78 48 25 33 48 98 73 74 79 58 87 17 55 29 52 91 38 14 37 56 33 80 0 98 66 97 53 92 96 40 71 16 37 98 93 92 5 94 94 14 46 5 32 5 1 62 18 2 86 25 59 92 94 16 69 41 0 8 30 33 6 29 38 98 53 51 4 96 80 93 39 17 55 74 11 71 31 30 23 78 63 83 29 32 2 20 43 81 50 92 69 47 36 82 87 30 62 26 67 98 85 10 74 8 20 74 25 45 86 57 36 29 32 43 2 15 40 57 84 60 76 24 75 46 23 75 11 51 67 66 53 92 98 85 60 8 10 12 59 55 80 5 96 59 53 66 30 22 46 61 73 15 51 91 3 97 80 41 97 33 77 82 7 22 32 9 84 36 64 10 14 19 25 50 22 21 12 18 8 12 82 62 50 12 90 6 66 96 28 75 94 62 15 5 76 3 62 28 31 0 43 82 93 2 50 61 39 62 62 48 17 15 62 66 0 29 86 37 43 62 42 7 62 95 6 57 2 82 98 39 91 26 34 60 3 51 75 44 97 82 83 76 69 82 1 67 84 92 7 36 23 35 29 48 32 82 65 49 76 77 59 52 75 32 51 49 17 17 87 29 53 36 95 37 56 83 94 25 41 58 19 49 14 20 66 71 84 29 40 5 19 48 24 83 39 82 82 44 76 36 80 46 76 93 13 45 88 84 61 53 3 28 60 57 3 62 44 9 70 68 62 1 44 62 86 81 92 28 56 95 11 95 45 80 31 94 13 15 7 90 4 89 98 9 90 52 19 4 9 90 17 84 3 63 28 35 83 55 28 10 0 66 56 35 15 78 51 4 3 94 16 79 78 49 67 21 8 78 42 72 10 7 72 15 25 11 30 44 58 11 58 76 54 72 78 69 5 63 66 92 70 93 80 31 81 56 53 45 65 29 20 25 89 13 81 76 93 5 4 16 19 84 11 54 11 23 25 17 45 57 75 25 73 84 69 35 2 2 48 63 43 44 15 77 67 93 73 46 81 82 85 87 24 7 12 62 85 90 17 30 19 17 93 4 26 8 35 99 3 98 7 23 50 54 80 25 17 94 18 36 9 39 14 66 39 57 60 27 34 10 99 81 13 22 97 48 26 32 34 68 56 49 33 72 65 26 7 82 42 57 31 96 18 92 54 20 88 77 39 73 97 21 37 68 56 77 60 48 62 26 97 47 40 54 96 85 67 28 77 31 54 77 36 61 42 89 96 61 84 41 54 15 56 12 62 72 48 97 57 52 45 31 81 70 82 25 18 82 37 56 44 59 15 90 39 74 6 70 57 20 55 29 48 93 33 79 60 39 94 80 49 75 89 84 15 20 75 12 33 62 81 93 43 20 82 22 76 34 79 11 77 0 87 10 60 95 7 85 68 99 92 4 23 5 28 65 28 71 48 96 26 61 26 31 30 2 65 33 28 53 17 87 82 56 11 55 2 47 20 10 10 17 98 49 99 67 54 81 29 33 26 66 26 44 80 82 63 26 92 78 46 89 61 66 3 97 65 42 6 82 88 65 87 17 40 17 29 33 3 3 14 93 57 41 81 97 0 16 2 30 52 42 38 65 45 70 28 65 27 1 78 10 90 34 1 46 20 57 9 42 67 32 93 28 9 38 64 98 85 91 89 97 17 21 35 25 85 94 30 17 41 99 85 31 67 13 44 59 93 87 76 4 26 13 80 67 91 76 60 79 92 54 64 36 48 61 18 58 12 83 91 13 40 62 15 25 4 37 86 65 96 28 52 33 26 77 13 80 28 0 89 13 80 42 45 91 46 66 38 71 30 0 70 89 9 12 3 52 28 97 97 24 4 51 76 90 75 23 95 86 45 90 37 48 48 85 76 25 4 62 46 41 2 36 29 11 83 10 14 3 96 94 72 2 53 72 94 63 44 51 70 56 46 91 54 56 87 20 79 74 65 21 32 0 83 99 67 57 77 89 40 90 22 59 44 77 13 41 15 6 21 60 74 26 77 66 63 19 99 79 51 53 22 21 31 47 52 9 71 63 12 2 81 79 28 27 29 22 1 49 98 3 50 67 98 39 69 52 17 9 97 18 22 45 42 0 56 9 46 29 2 80 80 97 27 90 53 64 89 62 54 79 7 52 34 1 24 28 9 6 93 68 88 8 94 80 84 14 1 16 0 2 62 72 32 10 15 34 80 79 92 83 84 33 79 90 30 13 12 0 10 8 84 0 30 61 2 25 62 11 59 32 37 28 9 27 96 73 46 56 22 89 9 63 75 40 55 47 66 40 56 0 51 27 81 99 38 99 91 30 3 84 14 14 5 79 69 17 0 90 43 33 68 84 27 81 93 42 17 84 50 57 37 7 83 86 61 95 48 18 1 47 52 27 96 47 69 51 13 62 83 72 64 74 64 18 28 66 68 70 47 26 3 24 10 24 95 37 21 78 13 70 22 17 23 79 18 59 19 9 41 75 38 82 54 60 74 8 27 29 40 7 55 84 72 13 54 89 51 17 27 11 13 6 87 67 97 79 69 48 34 87 91 47 88 29 91 41 83 86 30 27 40 4 75 74 5 47 23 74 67 12 63 64 66 24 76 11 44 53 54 19 95 90 29 55 47 53 56 50 58 26 88 3 89 19 81 54 31 89 58 86 84 94 4 91 68 85 85 46 98 1 27 53 53 63 84 12 81 88 59 77 18 6 20 17 95 44 52 15 66 99 68 24 49 52 20 43 84 47 22 47 48 12 8 47 85 81 35 56 10 20 53 52 6 65 99 71 68 25 70 46 99 87 66 61 52 38 33 41 94 87 12 76 69 24 67 72 71 64 64 80 64 6 65 90 45 83 29 55 58 22 92 86 30 49 97 65 61 26 32 29 74 31 48 48 16 2 27 61 88 80 84 44 0 35 6 38 29 71 50 9 80 40 70 28 94 98 13 45 98 15 22 53 92 81 32 81 7 1 93 38 86 15 3 79 3 9 92 43 50 12 67 69 63 29 19 53 70 3 79 73 47 60 87 88 23 50 30 17 3 82 15 60 71 44 61 24 89 11 61 92 83 58 64 55 20 56 96 43 85 76 81 56 43 24 27 45 71 58 89 28 22 21 34 46 77 49 0 6 83 42 27 57 89 63 33 21 16 55 64 84 22 27 86 13 18 57 11 10 22 88 75 57 44 82 91 44 89 71 74 5 85 52 78 23 63 60 88 70 71 27 6 59 66 19 6 39 79 10 13 31 59 20 75 11 55 8 81 50 40 10 88 54 49 58 43 26 37 32 18 84 47 98 66 77 30 58 21 18 75 89 91 33 10 55 54 57 4 85 73 50 3 48 90 57 10 40 38 5 3 5 61 36 38 9 22 99 79 69 25 48 63 72 92 52 66 46 72 48 31 53 12 82 32 53 92 41 44 88 46 69 22 25 23 69 67 31 1 31 90 68 62 1 1 58 2 32 87 92 6 56 44 69 3 11 79 89 87 35 12 81 44 69 66 87 53 91 21 86 52 78 96 23 91 96 31 25 32 21 99 70 72 85 15 68 87 93 69 81 30 72 97 29 1 23 96 64 17 57 81 48 74 67 27 24 76 25 63 54 3 21 10 27 99 68 25 59 99 29 26 51 26 4 48 59 1 73 31 54 97 99 66 87 39 16 87 12 38 12 19 91 51 6 41 68 17 1 12 63 95 86 53 5 85 37 3 86 83 49 96 15 52 13 36 18 2 98 73 73 89 55 35 22 69 63 63 98 59 35 41 37 40 9 78 8 36 33 57 72 56 6 31 76 45 37 19 7 55 96 87 31 23 46 95 1 9 90 77 69 56 89 1 79 85 35 48 88 88 12 52 28 32 98 3 87 23 31 96 16 50 37 99 93 43 30 26 43 48 52 3 97 53 17 36 56 2 13 71 49 79 38 87 37 7 30 78 62 26 53 91 18 81 64 96 35 91 52 66 71 32 78 88 76 44 82 1 74 26 67 26 50 48 41 57 21 91 73 91 41 87 58 70 35 8 11 72 99 20 9 10 32 12 74 2 70 32 34 26 46 44 84 41 18 2 99 25 57 36 79 44 69 55 27 44 25 90 96 35 28 18 31 22 38 85 67 88 1 21 32 9 91 50 92 64 33 34 85 30 94 84 50 17 7 63 42 68 18 3 38 0 59 28 13 33 39 84 63 23 47 55 77 92 37 13 21 1 41 29 76 28 65 99 59 69 72 53 30 27 45 87 44 62 39 78 72 96 89 78 0 89 43 27 62 81 4 21 21 5 59 91 47 99 72 29 75 63 69 70 60 29 92 54 67 45 18 33 43 64 56 44 2 80 9 30 89 79 34 49 98 6 78 57 58 92 4 13 19 25 57 35 9 26 45 76 64 31 8 41 90 78 23 49 17 46 86 23 34 10 84 60 54 87 66 30 3 80 68 78 88 98 93 61 9 71 91 85 99 55 13 88 62 49 95 66 62 75 63 17 0 99 30 20 5 98 99 37 26 2 85 24 34 39 43 31 74 78 0 28 4 73 29 80 38 27 45 47 44 85 83 6 12 10 40 45 91 24 31 57 41 77 44 35 80 61 36 51 58 3 21 39 94 16 24 21 19 37 31 67 90 60 60 5 15 80 42 85 58 48 98 25 25 22 43 91 69 24 81 91 2 79 46 89 86 15 35 36 21 87 67 26 8 50 52 9 91 30 96 61 23 51 74 4 29 72 21 47 91 54 35 8 33 64 44 24 44 85 5 63 94 69 76 64 56 14 82 37 23 74 82 88 69 28 5 51 1 55 67 5 46 86 13 4 49 26 73 32 42 31 75 91 3 71 84 84 58 85 17 20 89 97 35 17 67 42 83 6 34 41 8 8 37 35 42 54 47 67 10 1 72 78 97 77 12 40 4 53 4 40 58 54 35 30 81 11 4 50 74 88 19 22 21 27 70 80 23 24 23 48 82 36 18 99 58 4 14 93 71 74 12 80 1 20 93 7 19 79 60 76 68 34 42 0 7 27 84 71 35 20 93 40 71 37 26 51 87 92 56 55 21 93 1 19 37 3 81 40 76 26 49 68 80 33 2 69 37 43 58 26 3 37 35 23 81 4 56 20 28 60 30 59 48 15 17 35 42 25 56 74 83 42 70 85 78 25 44 20 15 66 56 28 48 77 73 63 47 28 15 49 87 20 20 78 44 29 10 63 45 26 64 54 63 11 80 11 37 42 68 29 26 94 45 93 10 5 26 44 49 85 85 40 57 3 24 62 12 94 69 28 63 22 3 82 52 89 33 26 8 74 49 32 85 73 54 70 18 35 21 5 56 72 77 21 55 73 32 53 94 68 68 89 61 94 71 22 73 67 33 95 28 83 46 78 26 69 74 55 4 97 8 76 39 98 92 27 46 30 60 1 94 75 27 42 67 81 95 54 31 19 93 52 81 85 49 84 78 39 58 18 12 96 31 29 77 62 74 26 8 80 46 17 29 20 84 21 54 12 35 55 37 5 90 76 94 56 99 11 93 67 81 58 57 43 93 49 32 71 32 54 40 62 85 36 9 66 79 73 23 9 86 35 58 99 81 76 91 22 35 10 80 22 85 20 46 70 76 20 33 41 80 42 0 16 74 87 41 33 38 45 93 35 34 69 60 27 53 25 24 24 3 19 19 8 75 17 3 80 91 54 14 77 45 13 8 3 3 70 75 61 10 71 21 77 61 88 30 62 46 41 55 42 22 43 22 1 92 27 55 36 27 1 12 2 62 32 20 34 90 44 27 34 61 6 91 57 96 14 99 24 63 53 17 64 51 73 81 21 60 36 38 56 11 81 19 61 21 78 22 26 50 1 46 30 54 4 22 20 96 50 58 95 95 26 51 96 3 27 30 90 22 18 30 46 70 84 94 16 63 25 39 60 99 35 12 40 84 9 9 39 39 3 51 64 94 32 94 54 76 31 14 72 11 0 40 13 17 73 32 64 36 62 23 84 74 17 91 25 76 75 91 54 73 18 18 61 50 13 2 79 64 34 41 94 16 55 12 37 32 79 48 46 36 97 58 81 21 29 93 94 9 75 19 72 66 49 39 49 35 74 65 47 87 86 69 28 34 50 6 49 75 75 26 58 85 85 56 45 47 10 47 49 30 8 21 87 45 45 33 53 30 90 21 40 55 12 85 96 25 95 62 51 34 7 49 80 42 13 66 65 84 23 38 13 46 70 18 62 81 98 63 39 60 89 66 75 8 61 37 99 39 36 42 33 62 26 33 67 53 65 67 36 75 11 62 54 78 27 59 74 30 9 39 83 7 43 55 5 49 7 6 24 69 88 89 4 64 0 94 62 50 20 29 10 99 90 3 57 26 73 46 68 69 17 71 90 96 71 85 68 40 40 95 93 76 80 2 82 26 70 0 14 64 57 31 48 91 58 75 18 51 58 29 55 22 72 76 79 15 89 19 15 49 16 29 25 51 16 48 12 16 4 69 36 72 98 64 57 56 22 8 82 46 16 55 46 64 54 12 2 94 41 86 45 27 72 92 67 14 80 59 81 55 94 6 5 71 9 44 84 6 61 79 72 53 8 84 97 43 30 86 10 92 10 47 54 46 6 44 60 71 34 28 56 10 21 1 88 15 89 44 45 1 60 56 23 2 3 2 52 64 30 57 17 22 1 93 86 41 91 27 1 45 70 13 28 21 87 11 30 94 5 18 22 27 73 91 73 66 91 21 5 6 91 79 92 69 56 6 99 91 1 33 16 87 69 87 35 37 45 20 97 54 77 30 69 76 75 23 93 87 96 79 70 98 42 3 92 
2520.09/2464.12	v 	</values>
2520.09/2464.12	v </instantiation>

Verifier Data 

OK	7499862

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274605-1502781204/watcher-4274605-1502781204 -o /tmp/evaluation-result-4274605-1502781204/solver-4274605-1502781204 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13744 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 800075690 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274605-1502781204.xml 

running on 4 cores: 0,2,4,6

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

solver pid=31556, runsolver pid=31553

[startup+0.100058 s]*
/proc/loadavg: 1.34 1.42 1.42 3/205 31562
/proc/meminfo: memFree=30096584/32770624 swapFree=67108860/67108860
[pid=31556] ppid=31553 vsize=13440536 memory=16976 CPUtime=0.01 cores=0,2,4,6
/proc/31556/stat : 31556 (java) S 31553 31556 12395 0 -1 1077944320 3561 0 0 0 1 0 0 0 20 0 7 0 120031825 13763108864 4244 18446744073709551615 4194304 4196468 140722445496720 140722445479264 140703255138039 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
/proc/31556/statm: 3360134 4244 1992 1 0 3349631 0
[pid=31556/tid=31558] ppid=31553 vsize=13440536 memory=-6439968830534014599 CPUtime=0.01 cores=0,2,4,6
/proc/31556/task/31558/stat : 31558 (java) R 31553 31556 12395 0 -1 4202560 2248 0 0 0 1 0 0 0 20 0 7 0 120031834 13763108864 4244 18446744073709551615 4194304 4196468 140722445496720 140703259380496 140703238512384 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31559] ppid=31553 vsize=13440536 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31559/stat : 31559 (java) S 31553 31556 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 120031834 13763108864 4244 18446744073709551615 4194304 4196468 140722445496720 140703197084304 140703255148245 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31560] ppid=31553 vsize=13440536 memory=140288041666176 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31560/stat : 31560 (java) S 31553 31556 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 120031835 13763108864 4244 18446744073709551615 4194304 4196468 140722445496720 140702854421008 140703255148245 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31561] ppid=31553 vsize=13440536 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31561/stat : 31561 (java) S 31553 31556 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 120031835 13763108864 4244 18446744073709551615 4194304 4196468 140722445496720 140702853368208 140703255148245 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31562] ppid=31553 vsize=13440536 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31562/stat : 31562 (java) S 31553 31556 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 120031835 13763108864 4244 18446744073709551615 4194304 4196468 140722445496720 140702852315408 140703255148245 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31563] ppid=31553 vsize=13440536 memory=140288041666176 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31563/stat : 31563 (java) S 31553 31556 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 120031836 13763108864 4244 18446744073709551615 4194304 4196468 140722445496720 140702801439600 140703255149186 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 16976 KiB

[startup+0.210139 s]*
/proc/loadavg: 1.34 1.42 1.42 4/214 31571
/proc/meminfo: memFree=30085172/32770624 swapFree=67108860/67108860
[pid=31556] ppid=31553 vsize=13976944 memory=35272 CPUtime=0.12 cores=0,2,4,6
/proc/31556/stat : 31556 (java) S 31553 31556 12395 0 -1 1077944320 7988 0 0 0 10 2 0 0 20 0 15 0 120031825 14312390656 8818 18446744073709551615 4194304 4196468 140722445496720 140722445479264 140703255138039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
/proc/31556/statm: 3494236 8818 3384 1 0 3483015 0
[pid=31556/tid=31558] ppid=31553 vsize=13976944 memory=8318255677412212789 CPUtime=0.08 cores=0,2,4,6
/proc/31556/task/31558/stat : 31558 (java) R 31553 31556 12395 0 -1 4202560 5935 0 0 0 7 1 0 0 20 0 15 0 120031834 14312390656 8818 18446744073709551615 4194304 4196468 140722445496720 140703259345088 140703247817757 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31559] ppid=31553 vsize=13976944 memory=331 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31559/stat : 31559 (java) S 31553 31556 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120031834 14312390656 8818 18446744073709551615 4194304 4196468 140722445496720 140703197084304 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31560] ppid=31553 vsize=13976944 memory=140288042824135 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31560/stat : 31560 (java) S 31553 31556 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120031835 14312390656 8818 18446744073709551615 4194304 4196468 140722445496720 140702854421008 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31561] ppid=31553 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31561/stat : 31561 (java) S 31553 31556 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120031835 14312390656 8818 18446744073709551615 4194304 4196468 140722445496720 140702853368208 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31562] ppid=31553 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31562/stat : 31562 (java) S 31553 31556 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120031835 14312390656 8818 18446744073709551615 4194304 4196468 140722445496720 140702852315408 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31563] ppid=31553 vsize=13976944 memory=140288041666176 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31563/stat : 31563 (java) S 31553 31556 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120031836 14312390656 8884 18446744073709551615 4194304 4196468 140722445496720 140702801439600 140703255149186 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31564] ppid=31553 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31564/stat : 31564 (java) S 31553 31556 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120031836 14312390656 8884 18446744073709551615 4194304 4196468 140722445496720 140702800385568 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31565] ppid=31553 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31565/stat : 31565 (java) S 31553 31556 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120031837 14312390656 8884 18446744073709551615 4194304 4196468 140722445496720 140702799332720 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31566] ppid=31553 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31566/stat : 31566 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14312390656 8950 18446744073709551615 4194304 4196468 140722445496720 140702798281040 140703255156635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31567] ppid=31553 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31567/stat : 31567 (java) S 31553 31556 12395 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 120031839 14312390656 8950 18446744073709551615 4194304 4196468 140722445496720 140702797228400 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31568] ppid=31553 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31568/stat : 31568 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14312390656 8950 18446744073709551615 4194304 4196468 140722445496720 140702796175600 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31569] ppid=31553 vsize=13976944 memory=140288041666176 CPUtime=0.01 cores=0,2,4,6
/proc/31556/task/31569/stat : 31569 (java) S 31553 31556 12395 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 15 0 120031839 14312390656 8950 18446744073709551615 4194304 4196468 140722445496720 140702795122800 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31570] ppid=31553 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31570/stat : 31570 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14312390656 8950 18446744073709551615 4194304 4196468 140722445496720 140702164183264 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31571] ppid=31553 vsize=13976944 memory=140288041666176 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31571/stat : 31571 (java) S 31553 31556 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120031843 14312390656 8950 18446744073709551615 4194304 4196468 140722445496720 140702163131568 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13976944 KiB
Current children cumulated memory: 35272 KiB

[startup+0.316466 s]*
/proc/loadavg: 1.34 1.42 1.42 5/214 31571
/proc/meminfo: memFree=30074764/32770624 swapFree=67108860/67108860
[pid=31556] ppid=31553 vsize=13975920 memory=45384 CPUtime=0.29 cores=0,2,4,6
/proc/31556/stat : 31556 (java) S 31553 31556 12395 0 -1 1077944320 10513 0 0 0 25 4 0 0 20 0 15 0 120031825 14311342080 11346 18446744073709551615 4194304 4196468 140722445496720 140722445479264 140703255138039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
/proc/31556/statm: 3493980 11346 3625 1 0 3482759 0
[pid=31556/tid=31558] ppid=31553 vsize=13975920 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/31556/task/31558/stat : 31558 (java) R 31553 31556 12395 0 -1 4202560 8144 0 0 0 16 3 0 0 20 0 15 0 120031834 14311342080 11346 18446744073709551615 4194304 4196468 140722445496720 140703259351712 140703239218526 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31559] ppid=31553 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31559/stat : 31559 (java) S 31553 31556 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120031834 14311342080 11346 18446744073709551615 4194304 4196468 140722445496720 140703197084304 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31560] ppid=31553 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31560/stat : 31560 (java) S 31553 31556 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120031835 14311342080 11346 18446744073709551615 4194304 4196468 140722445496720 140702854421008 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31561] ppid=31553 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31561/stat : 31561 (java) S 31553 31556 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120031835 14311342080 11346 18446744073709551615 4194304 4196468 140722445496720 140702853368208 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31562] ppid=31553 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31562/stat : 31562 (java) S 31553 31556 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120031835 14311342080 11346 18446744073709551615 4194304 4196468 140722445496720 140702852315408 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31563] ppid=31553 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31563/stat : 31563 (java) S 31553 31556 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120031836 14311342080 11346 18446744073709551615 4194304 4196468 140722445496720 140702801439600 140703255149186 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31564] ppid=31553 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31564/stat : 31564 (java) S 31553 31556 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120031836 14311342080 11346 18446744073709551615 4194304 4196468 140722445496720 140702800385568 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31565] ppid=31553 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31565/stat : 31565 (java) S 31553 31556 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120031837 14311342080 11346 18446744073709551615 4194304 4196468 140722445496720 140702799332720 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31566] ppid=31553 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31566/stat : 31566 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14311342080 11346 18446744073709551615 4194304 4196468 140722445496720 140702798281040 140703255156635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31567] ppid=31553 vsize=13975920 memory=140287926349696 CPUtime=0.01 cores=0,2,4,6
/proc/31556/task/31567/stat : 31567 (java) S 31553 31556 12395 0 -1 1077944384 464 0 0 0 1 0 0 0 20 0 15 0 120031839 14311342080 11346 18446744073709551615 4194304 4196468 140722445496720 140702797228400 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31568] ppid=31553 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31556/task/31568/stat : 31568 (java) S 31553 31556 12395 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 15 0 120031839 14311342080 11346 18446744073709551615 4194304 4196468 140722445496720 140702796175600 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31569] ppid=31553 vsize=13975920 memory=140288041666176 CPUtime=0.05 cores=0,2,4,6
/proc/31556/task/31569/stat : 31569 (java) S 31553 31556 12395 0 -1 1077944384 378 0 0 0 5 0 0 0 20 0 15 0 120031839 14311342080 11346 18446744073709551615 4194304 4196468 140722445496720 140702795122800 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31570] ppid=31553 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31570/stat : 31570 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14311342080 11346 18446744073709551615 4194304 4196468 140722445496720 140702164183264 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31571] ppid=31553 vsize=13975920 memory=140288041666176 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31571/stat : 31571 (java) S 31553 31556 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120031843 14311342080 11346 18446744073709551615 4194304 4196468 140722445496720 140702163131568 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 45384 KiB

[startup+0.701497 s]
/proc/loadavg: 1.34 1.42 1.42 3/214 31571
/proc/meminfo: memFree=30061880/32770624 swapFree=67108860/67108860
[pid=31556] ppid=31553 vsize=13977988 memory=74636 CPUtime=1.11 cores=0,2,4,6
/proc/31556/stat : 31556 (java) S 31553 31556 12395 0 -1 1077944320 13298 0 0 0 105 6 0 0 20 0 15 0 120031825 14313459712 18659 18446744073709551615 4194304 4196468 140722445496720 140722445479264 140703255138039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
/proc/31556/statm: 3494497 18659 3730 1 0 3483271 0
[pid=31556/tid=31558] ppid=31553 vsize=13977988 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/31556/task/31558/stat : 31558 (java) R 31553 31556 12395 0 -1 4202560 9836 0 0 0 52 4 0 0 20 0 15 0 120031834 14313459712 18659 18446744073709551615 4194304 4196468 140722445496720 140703259373248 140702877099733 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31559] ppid=31553 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31559/stat : 31559 (java) S 31553 31556 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120031834 14313459712 18659 18446744073709551615 4194304 4196468 140722445496720 140703197084304 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31560] ppid=31553 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31560/stat : 31560 (java) S 31553 31556 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120031835 14313459712 18659 18446744073709551615 4194304 4196468 140722445496720 140702854421008 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31561] ppid=31553 vsize=13977988 memory=7813587196152131638 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31561/stat : 31561 (java) S 31553 31556 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120031835 14313459712 18659 18446744073709551615 4194304 4196468 140722445496720 140702853368208 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31562] ppid=31553 vsize=13977988 memory=7014463425792201040 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31562/stat : 31562 (java) S 31553 31556 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120031835 14313459712 18659 18446744073709551615 4194304 4196468 140722445496720 140702852315408 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31563] ppid=31553 vsize=13977988 memory=7014444751693833280 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31563/stat : 31563 (java) S 31553 31556 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120031836 14313459712 18659 18446744073709551615 4194304 4196468 140722445496720 140702801439600 140703255149186 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31564] ppid=31553 vsize=13977988 memory=81 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31564/stat : 31564 (java) S 31553 31556 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120031836 14313459712 18659 18446744073709551615 4194304 4196468 140722445496720 140702800385568 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31565] ppid=31553 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31565/stat : 31565 (java) S 31553 31556 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120031837 14313459712 18659 18446744073709551615 4194304 4196468 140722445496720 140702799332720 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31566] ppid=31553 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31566/stat : 31566 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14313459712 18659 18446744073709551615 4194304 4196468 140722445496720 140702798281040 140703255156635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31567] ppid=31553 vsize=13977988 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/31556/task/31567/stat : 31567 (java) R 31553 31556 12395 0 -1 4202560 794 0 0 0 15 0 0 0 20 0 15 0 120031839 14313459712 18659 18446744073709551615 4194304 4196468 140722445496720 140702797228400 140703240037328 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31568] ppid=31553 vsize=13977988 memory=280574443167953 CPUtime=0.14 cores=0,2,4,6
/proc/31556/task/31568/stat : 31568 (java) R 31553 31556 12395 0 -1 4202560 486 0 0 0 14 0 0 0 20 0 15 0 120031839 14313459712 18659 18446744073709551615 4194304 4196468 140722445496720 140702796175600 140703234432290 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31569] ppid=31553 vsize=13977988 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/31556/task/31569/stat : 31569 (java) R 31553 31556 12395 0 -1 4202560 801 0 0 0 22 0 0 0 20 0 15 0 120031839 14313459712 18659 18446744073709551615 4194304 4196468 140722445496720 140702795119736 140703233769693 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31570] ppid=31553 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31570/stat : 31570 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14313459712 18659 18446744073709551615 4194304 4196468 140722445496720 140702164183264 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31571] ppid=31553 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31571/stat : 31571 (java) S 31553 31556 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120031843 14313459712 18659 18446744073709551615 4194304 4196468 140722445496720 140702163131568 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 74636 KiB

[startup+1.50154 s]
/proc/loadavg: 1.34 1.42 1.42 4/214 31571
/proc/meminfo: memFree=29995264/32770624 swapFree=67108860/67108860
[pid=31556] ppid=31553 vsize=13982084 memory=215212 CPUtime=3.39 cores=0,2,4,6
/proc/31556/stat : 31556 (java) S 31553 31556 12395 0 -1 1077944320 21165 0 0 0 328 11 0 0 20 0 15 0 120031825 14317654016 53803 18446744073709551615 4194304 4196468 140722445496720 140722445479264 140703255138039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
/proc/31556/statm: 3495521 53803 3794 1 0 3484295 0
[pid=31556/tid=31558] ppid=31553 vsize=13982084 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/31556/task/31558/stat : 31558 (java) R 31553 31556 12395 0 -1 4202560 11611 0 0 0 128 6 0 0 20 0 15 0 120031834 14317654016 53803 18446744073709551615 4194304 4196468 140722445496720 140703259373032 140702883050923 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31559] ppid=31553 vsize=13982084 memory=81 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31559/stat : 31559 (java) S 31553 31556 12395 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 120031834 14317654016 53803 18446744073709551615 4194304 4196468 140722445496720 140703197084304 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31560] ppid=31553 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31560/stat : 31560 (java) S 31553 31556 12395 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 120031835 14317654016 53803 18446744073709551615 4194304 4196468 140722445496720 140702854421008 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31561] ppid=31553 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31561/stat : 31561 (java) S 31553 31556 12395 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 120031835 14317654016 53803 18446744073709551615 4194304 4196468 140722445496720 140702853368208 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31562] ppid=31553 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31562/stat : 31562 (java) S 31553 31556 12395 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 120031835 14317654016 53803 18446744073709551615 4194304 4196468 140722445496720 140702852315408 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31563] ppid=31553 vsize=13982084 memory=280574443167953 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31563/stat : 31563 (java) S 31553 31556 12395 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 120031836 14317654016 53803 18446744073709551615 4194304 4196468 140722445496720 140702801439600 140703255149186 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31564] ppid=31553 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31564/stat : 31564 (java) S 31553 31556 12395 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 120031836 14317654016 53803 18446744073709551615 4194304 4196468 140722445496720 140702800385568 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31565] ppid=31553 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31565/stat : 31565 (java) S 31553 31556 12395 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 120031837 14317654016 53803 18446744073709551615 4194304 4196468 140722445496720 140702799332736 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31566] ppid=31553 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31566/stat : 31566 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14317654016 53803 18446744073709551615 4194304 4196468 140722445496720 140702798281040 140703255156635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31567] ppid=31553 vsize=13982084 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/31556/task/31567/stat : 31567 (java) S 31553 31556 12395 0 -1 1077944384 2505 0 0 0 69 0 0 0 20 0 15 0 120031839 14317654016 53803 18446744073709551615 4194304 4196468 140722445496720 140702797228400 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31568] ppid=31553 vsize=13982084 memory=3979247158607111994 CPUtime=0.69 cores=0,2,4,6
/proc/31556/task/31568/stat : 31568 (java) R 31553 31556 12395 0 -1 4202560 2510 0 0 0 69 0 0 0 20 0 15 0 120031839 14317654016 53803 18446744073709551615 4194304 4196468 140722445496720 140702796159792 140703240043802 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31569] ppid=31553 vsize=13982084 memory=7594803389660102296 CPUtime=0.57 cores=0,2,4,6
/proc/31556/task/31569/stat : 31569 (java) S 31553 31556 12395 0 -1 1077944384 2696 0 0 0 56 1 0 0 20 0 15 0 120031839 14317654016 53803 18446744073709551615 4194304 4196468 140722445496720 140702795122800 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31570] ppid=31553 vsize=13982084 memory=8332934192700688443 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31570/stat : 31570 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14317654016 53803 18446744073709551615 4194304 4196468 140722445496720 140702164183264 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31571] ppid=31553 vsize=13982084 memory=7683008445672097340 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31571/stat : 31571 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031843 14317654016 53803 18446744073709551615 4194304 4196468 140722445496720 140702163131568 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0

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

/proc/31556/task/31558/stat : 31558 (java) R 31553 31556 12395 0 -1 4202560 865534 0 0 0 236595 78 0 0 20 0 15 0 120031834 14317654016 1314956 18446744073709551615 4194304 4196468 140722445496720 140703259376192 140702888250255 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31559] ppid=31553 vsize=13982084 memory=-8774313645642428999 CPUtime=14.54 cores=0,2,4,6
/proc/31556/task/31559/stat : 31559 (java) S 31553 31556 12395 0 -1 1077944384 78921 0 0 0 1328 126 0 0 20 0 15 0 120031834 14317654016 1314956 18446744073709551615 4194304 4196468 140722445496720 140703197084304 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31560] ppid=31553 vsize=13982084 memory=5265540 CPUtime=14.57 cores=0,2,4,6
/proc/31556/task/31560/stat : 31560 (java) S 31553 31556 12395 0 -1 1077944384 92521 0 0 0 1328 129 0 0 20 0 15 0 120031835 14317654016 1314956 18446744073709551615 4194304 4196468 140722445496720 140702854421008 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31561] ppid=31553 vsize=13982084 memory=5259324 CPUtime=14.51 cores=0,2,4,6
/proc/31556/task/31561/stat : 31561 (java) S 31553 31556 12395 0 -1 1077944384 77064 0 0 0 1326 125 0 0 20 0 15 0 120031835 14317654016 1314956 18446744073709551615 4194304 4196468 140722445496720 140702853368208 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31562] ppid=31553 vsize=13982084 memory=5265980 CPUtime=14.57 cores=0,2,4,6
/proc/31556/task/31562/stat : 31562 (java) S 31553 31556 12395 0 -1 1077944384 90525 0 0 0 1327 130 0 0 20 0 15 0 120031835 14317654016 1314956 18446744073709551615 4194304 4196468 140722445496720 140702852315408 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31563] ppid=31553 vsize=13982084 memory=5259824 CPUtime=0.69 cores=0,2,4,6
/proc/31556/task/31563/stat : 31563 (java) S 31553 31556 12395 0 -1 1077944384 15307 0 0 0 60 9 0 0 20 0 15 0 120031836 14317654016 1314956 18446744073709551615 4194304 4196468 140722445496720 140702801439600 140703255149186 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31564] ppid=31553 vsize=13982084 memory=5259824 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31564/stat : 31564 (java) S 31553 31556 12395 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 120031836 14317654016 1314956 18446744073709551615 4194304 4196468 140722445496720 140702800385632 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31565] ppid=31553 vsize=13982084 memory=5259824 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31565/stat : 31565 (java) S 31553 31556 12395 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 120031837 14317654016 1314956 18446744073709551615 4194304 4196468 140722445496720 140702799332736 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31566] ppid=31553 vsize=13982084 memory=5259824 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31566/stat : 31566 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14317654016 1314956 18446744073709551615 4194304 4196468 140722445496720 140702798281040 140703255156635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31567] ppid=31553 vsize=13982084 memory=5265980 CPUtime=2.95 cores=0,2,4,6
/proc/31556/task/31567/stat : 31567 (java) S 31553 31556 12395 0 -1 1077944384 16580 0 0 0 290 5 0 0 20 0 15 0 120031839 14317654016 1314956 18446744073709551615 4194304 4196468 140722445496720 140702797228400 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31568] ppid=31553 vsize=13982084 memory=5259824 CPUtime=3.69 cores=0,2,4,6
/proc/31556/task/31568/stat : 31568 (java) S 31553 31556 12395 0 -1 1077944384 30412 0 0 0 366 3 0 0 20 0 15 0 120031839 14317654016 1314956 18446744073709551615 4194304 4196468 140722445496720 140702796175600 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31569] ppid=31553 vsize=13982084 memory=34304 CPUtime=1.19 cores=0,2,4,6
/proc/31556/task/31569/stat : 31569 (java) S 31553 31556 12395 0 -1 1077944384 34839 0 0 0 115 4 0 0 20 0 15 0 120031839 14317654016 1314956 18446744073709551615 4194304 4196468 140722445496720 140702795122800 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31570] ppid=31553 vsize=13982084 memory=18468 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31570/stat : 31570 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14317654016 1314956 18446744073709551615 4194304 4196468 140722445496720 140702164183264 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31571] ppid=31553 vsize=13982084 memory=5259824 CPUtime=1.47 cores=0,2,4,6
/proc/31556/task/31571/stat : 31571 (java) S 31553 31556 12395 0 -1 1077944384 1634 0 0 0 71 76 0 0 20 0 15 0 120031843 14317654016 1314956 18446744073709551615 4194304 4196468 140722445496720 140702163131568 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
Current children cumulated CPU time: 2435.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 5259824 KiB

[startup+2442.3 s]
/proc/loadavg: 1.33 1.56 1.60 3/216 31914
/proc/meminfo: memFree=25228920/32770624 swapFree=67108860/67108860
[pid=31556] ppid=31553 vsize=13982084 memory=5281648 CPUtime=2498.02 cores=0,2,4,6
/proc/31556/stat : 31556 (java) S 31553 31556 12395 0 -1 1077944320 1322812 0 0 0 249128 674 0 0 20 0 15 0 120031825 14317654016 1320412 18446744073709551615 4194304 4196468 140722445496720 140722445479264 140703255138039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
/proc/31556/statm: 3495521 1320412 3842 1 0 3484295 0
[pid=31556/tid=31558] ppid=31553 vsize=13982084 memory=5287760 CPUtime=2425.61 cores=0,2,4,6
/proc/31556/task/31558/stat : 31558 (java) R 31553 31556 12395 0 -1 4202560 869631 0 0 0 242481 80 0 0 20 0 15 0 120031834 14317654016 1320412 18446744073709551615 4194304 4196468 140722445496720 140703259376192 140702888250449 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31559] ppid=31553 vsize=13982084 memory=5257216 CPUtime=15.53 cores=0,2,4,6
/proc/31556/task/31559/stat : 31559 (java) S 31553 31556 12395 0 -1 1077944384 80530 0 0 0 1426 127 0 0 20 0 15 0 120031834 14317654016 1320412 18446744073709551615 4194304 4196468 140722445496720 140703197084304 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31560] ppid=31553 vsize=13982084 memory=150 CPUtime=15.57 cores=0,2,4,6
/proc/31556/task/31560/stat : 31560 (java) S 31553 31556 12395 0 -1 1077944384 95041 0 0 0 1427 130 0 0 20 0 15 0 120031835 14317654016 1320412 18446744073709551615 4194304 4196468 140722445496720 140702854421008 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31561] ppid=31553 vsize=13982084 memory=5265980 CPUtime=15.51 cores=0,2,4,6
/proc/31556/task/31561/stat : 31561 (java) S 31553 31556 12395 0 -1 1077944384 79051 0 0 0 1425 126 0 0 20 0 15 0 120031835 14317654016 1320412 18446744073709551615 4194304 4196468 140722445496720 140702853368208 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31562] ppid=31553 vsize=13982084 memory=5289144 CPUtime=15.55 cores=0,2,4,6
/proc/31556/task/31562/stat : 31562 (java) S 31553 31556 12395 0 -1 1077944384 92724 0 0 0 1424 131 0 0 20 0 15 0 120031835 14317654016 1320412 18446744073709551615 4194304 4196468 140722445496720 140702852315408 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31563] ppid=31553 vsize=13982084 memory=5287760 CPUtime=0.81 cores=0,2,4,6
/proc/31556/task/31563/stat : 31563 (java) S 31553 31556 12395 0 -1 1077944384 20836 0 0 0 72 9 0 0 20 0 15 0 120031836 14317654016 1320412 18446744073709551615 4194304 4196468 140722445496720 140702801439600 140703255149186 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31564] ppid=31553 vsize=13982084 memory=5287760 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31564/stat : 31564 (java) S 31553 31556 12395 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 120031836 14317654016 1320412 18446744073709551615 4194304 4196468 140722445496720 140702800385632 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31565] ppid=31553 vsize=13982084 memory=5287796 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31565/stat : 31565 (java) S 31553 31556 12395 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 120031837 14317654016 1320412 18446744073709551615 4194304 4196468 140722445496720 140702799332736 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31566] ppid=31553 vsize=13982084 memory=5281648 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31566/stat : 31566 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14317654016 1320412 18446744073709551615 4194304 4196468 140722445496720 140702798281040 140703255156635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31567] ppid=31553 vsize=13982084 memory=5281648 CPUtime=2.95 cores=0,2,4,6
/proc/31556/task/31567/stat : 31567 (java) S 31553 31556 12395 0 -1 1077944384 16586 0 0 0 290 5 0 0 20 0 15 0 120031839 14317654016 1320412 18446744073709551615 4194304 4196468 140722445496720 140702797228400 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31568] ppid=31553 vsize=13982084 memory=5287960 CPUtime=3.69 cores=0,2,4,6
/proc/31556/task/31568/stat : 31568 (java) S 31553 31556 12395 0 -1 1077944384 30420 0 0 0 366 3 0 0 20 0 15 0 120031839 14317654016 1320412 18446744073709551615 4194304 4196468 140722445496720 140702796175600 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31569] ppid=31553 vsize=13982084 memory=5281648 CPUtime=1.19 cores=0,2,4,6
/proc/31556/task/31569/stat : 31569 (java) S 31553 31556 12395 0 -1 1077944384 34845 0 0 0 115 4 0 0 20 0 15 0 120031839 14317654016 1320412 18446744073709551615 4194304 4196468 140722445496720 140702795122800 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31570] ppid=31553 vsize=13982084 memory=5281648 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31570/stat : 31570 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14317654016 1320412 18446744073709551615 4194304 4196468 140722445496720 140702164183264 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31571] ppid=31553 vsize=13982084 memory=5281648 CPUtime=1.51 cores=0,2,4,6
/proc/31556/task/31571/stat : 31571 (java) S 31553 31556 12395 0 -1 1077944384 1720 0 0 0 73 78 0 0 20 0 15 0 120031843 14317654016 1320412 18446744073709551615 4194304 4196468 140722445496720 140702163131568 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
Current children cumulated CPU time: 2498.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 5281648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2464.11 s]
/proc/loadavg: 1.41 1.56 1.60 3/216 31914
/proc/meminfo: memFree=25233300/32770624 swapFree=67108860/67108860
[pid=31556] ppid=31553 vsize=13982084 memory=5272412 CPUtime=2520.09 cores=0,2,4,6
/proc/31556/stat : 31556 (java) S 31553 31556 12395 0 -1 1077944320 1325338 0 0 0 251334 675 0 0 20 0 15 0 120031825 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140722445479264 140703255138039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
/proc/31556/statm: 3495521 1318103 3842 1 0 3484295 0
[pid=31556/tid=31558] ppid=31553 vsize=13982084 memory=5273952 CPUtime=2447.33 cores=0,2,4,6
/proc/31556/task/31558/stat : 31558 (java) R 31553 31556 12395 0 -1 4202560 870801 0 0 0 244653 80 0 0 20 0 15 0 120031834 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140703259376304 140702887425711 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31559] ppid=31553 vsize=13982084 memory=5272412 CPUtime=15.61 cores=0,2,4,6
/proc/31556/task/31559/stat : 31559 (java) S 31553 31556 12395 0 -1 1077944384 80824 0 0 0 1434 127 0 0 20 0 15 0 120031834 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140703197084304 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31560] ppid=31553 vsize=13982084 memory=5273952 CPUtime=15.65 cores=0,2,4,6
/proc/31556/task/31560/stat : 31560 (java) S 31553 31556 12395 0 -1 1077944384 95405 0 0 0 1435 130 0 0 20 0 15 0 120031835 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702854421008 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31561] ppid=31553 vsize=13982084 memory=5273952 CPUtime=15.59 cores=0,2,4,6
/proc/31556/task/31561/stat : 31561 (java) S 31553 31556 12395 0 -1 1077944384 79378 0 0 0 1433 126 0 0 20 0 15 0 120031835 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702853368208 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31562] ppid=31553 vsize=13982084 memory=5273952 CPUtime=15.63 cores=0,2,4,6
/proc/31556/task/31562/stat : 31562 (java) S 31553 31556 12395 0 -1 1077944384 93088 0 0 0 1432 131 0 0 20 0 15 0 120031835 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702852315408 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31563] ppid=31553 vsize=13982084 memory=5280108 CPUtime=0.83 cores=0,2,4,6
/proc/31556/task/31563/stat : 31563 (java) S 31553 31556 12395 0 -1 1077944384 20839 0 0 0 73 10 0 0 20 0 15 0 120031836 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702801439600 140703255149186 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31564] ppid=31553 vsize=13982084 memory=5281648 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31564/stat : 31564 (java) S 31553 31556 12395 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 120031836 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702800385632 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31565] ppid=31553 vsize=13982084 memory=5272412 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31565/stat : 31565 (java) S 31553 31556 12395 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 120031837 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702799332736 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31566] ppid=31553 vsize=13982084 memory=5272412 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31566/stat : 31566 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702798281040 140703255156635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31567] ppid=31553 vsize=13982084 memory=5287796 CPUtime=2.95 cores=0,2,4,6
/proc/31556/task/31567/stat : 31567 (java) S 31553 31556 12395 0 -1 1077944384 16586 0 0 0 290 5 0 0 20 0 15 0 120031839 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702797228400 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31568] ppid=31553 vsize=13982084 memory=345696 CPUtime=3.69 cores=0,2,4,6
/proc/31556/task/31568/stat : 31568 (java) S 31553 31556 12395 0 -1 1077944384 30422 0 0 0 366 3 0 0 20 0 15 0 120031839 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702796175600 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31569] ppid=31553 vsize=13982084 memory=5273952 CPUtime=1.19 cores=0,2,4,6
/proc/31556/task/31569/stat : 31569 (java) S 31553 31556 12395 0 -1 1077944384 34845 0 0 0 115 4 0 0 20 0 15 0 120031839 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702795122800 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31570] ppid=31553 vsize=13982084 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31570/stat : 31570 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702164183264 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31571] ppid=31553 vsize=13982084 memory=5273952 CPUtime=1.52 cores=0,2,4,6
/proc/31556/task/31571/stat : 31571 (java) S 31553 31556 12395 0 -1 1077944384 1722 0 0 0 74 78 0 0 20 0 15 0 120031843 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702163131568 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 5272412 KiB

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

[startup+2464.16 s]
# the end of solver process 31556 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.37 s, system=6.7771 s

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

[startup+2464.11 s]
/proc/loadavg: 1.41 1.56 1.60 3/216 31914
/proc/meminfo: memFree=25233300/32770624 swapFree=67108860/67108860
[pid=31556] ppid=31553 vsize=13982084 memory=5272412 CPUtime=2520.09 cores=0,2,4,6
/proc/31556/stat : 31556 (java) S 31553 31556 12395 0 -1 1077944320 1325338 0 0 0 251334 675 0 0 20 0 15 0 120031825 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140722445479264 140703255138039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
/proc/31556/statm: 3495521 1318103 3842 1 0 3484295 0
[pid=31556/tid=31558] ppid=31553 vsize=13982084 memory=5273952 CPUtime=2447.33 cores=0,2,4,6
/proc/31556/task/31558/stat : 31558 (java) R 31553 31556 12395 0 -1 4202560 870801 0 0 0 244653 80 0 0 20 0 15 0 120031834 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140703259376304 140702887425711 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31559] ppid=31553 vsize=13982084 memory=5272412 CPUtime=15.61 cores=0,2,4,6
/proc/31556/task/31559/stat : 31559 (java) S 31553 31556 12395 0 -1 1077944384 80824 0 0 0 1434 127 0 0 20 0 15 0 120031834 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140703197084304 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31560] ppid=31553 vsize=13982084 memory=5273952 CPUtime=15.65 cores=0,2,4,6
/proc/31556/task/31560/stat : 31560 (java) S 31553 31556 12395 0 -1 1077944384 95405 0 0 0 1435 130 0 0 20 0 15 0 120031835 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702854421008 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31561] ppid=31553 vsize=13982084 memory=5273952 CPUtime=15.59 cores=0,2,4,6
/proc/31556/task/31561/stat : 31561 (java) S 31553 31556 12395 0 -1 1077944384 79378 0 0 0 1433 126 0 0 20 0 15 0 120031835 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702853368208 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31562] ppid=31553 vsize=13982084 memory=5273952 CPUtime=15.63 cores=0,2,4,6
/proc/31556/task/31562/stat : 31562 (java) S 31553 31556 12395 0 -1 1077944384 93088 0 0 0 1432 131 0 0 20 0 15 0 120031835 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702852315408 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31563] ppid=31553 vsize=13982084 memory=5280108 CPUtime=0.83 cores=0,2,4,6
/proc/31556/task/31563/stat : 31563 (java) S 31553 31556 12395 0 -1 1077944384 20839 0 0 0 73 10 0 0 20 0 15 0 120031836 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702801439600 140703255149186 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31564] ppid=31553 vsize=13982084 memory=5281648 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31564/stat : 31564 (java) S 31553 31556 12395 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 120031836 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702800385632 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31565] ppid=31553 vsize=13982084 memory=5272412 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31565/stat : 31565 (java) S 31553 31556 12395 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 120031837 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702799332736 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31566] ppid=31553 vsize=13982084 memory=5272412 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31566/stat : 31566 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702798281040 140703255156635 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31567] ppid=31553 vsize=13982084 memory=5287796 CPUtime=2.95 cores=0,2,4,6
/proc/31556/task/31567/stat : 31567 (java) S 31553 31556 12395 0 -1 1077944384 16586 0 0 0 290 5 0 0 20 0 15 0 120031839 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702797228400 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31568] ppid=31553 vsize=13982084 memory=345696 CPUtime=3.69 cores=0,2,4,6
/proc/31556/task/31568/stat : 31568 (java) S 31553 31556 12395 0 -1 1077944384 30422 0 0 0 366 3 0 0 20 0 15 0 120031839 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702796175600 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31569] ppid=31553 vsize=13982084 memory=5273952 CPUtime=1.19 cores=0,2,4,6
/proc/31556/task/31569/stat : 31569 (java) S 31553 31556 12395 0 -1 1077944384 34845 0 0 0 115 4 0 0 20 0 15 0 120031839 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702795122800 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31570] ppid=31553 vsize=13982084 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/31556/task/31570/stat : 31570 (java) S 31553 31556 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120031839 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702164183264 140703255148245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
[pid=31556/tid=31571] ppid=31553 vsize=13982084 memory=5273952 CPUtime=1.52 cores=0,2,4,6
/proc/31556/task/31571/stat : 31571 (java) S 31553 31556 12395 0 -1 1077944384 1722 0 0 0 74 78 0 0 20 0 15 0 120031843 14317654016 1318103 18446744073709551615 4194304 4196468 140722445496720 140702163131568 140703255149186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25661440 140722445500787 140722445500969 140722445500969 140722445504463 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 5272412 KiB

Child status: 143
Real time (s): 2464.16
CPU time (s): 2520.14
CPU user time (s): 2513.37
CPU system time (s): 6.7771
CPU usage (%): 102.272
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 5521900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.37
system time used= 6.7771
maximum resident set size= 5521900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1327032
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64943
involuntary context switches= 3425


# summary of solver processes directly reported to runsolver:
#   pid: 31556
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2513.37
#   total CPU system time (s): 6.7771

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.965 second user time and 24.2078 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-15 08:59:31
IDJOB=4274605
IDBENCH=123023
IDSOLVER=2667
FILE ID=node135/4274605-1502781204
RUNJOBID= node135-1502658244-13744
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai80a.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274605-1502781204/watcher-4274605-1502781204 -o /tmp/evaluation-result-4274605-1502781204/solver-4274605-1502781204 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13744 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 800075690 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274605-1502781204.xml

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

MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250
RANDOM SEED=800075690

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.21
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.21
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.21
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.21
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:        30102992 kB
MemAvailable:   31144820 kB
Buffers:          323992 kB
Cached:          1012932 kB
SwapCached:            0 kB
Active:          1629416 kB
Inactive:         584224 kB
Active(anon):     877140 kB
Inactive(anon):    41324 kB
Active(file):     752276 kB
Inactive(file):   542900 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42296 kB
Writeback:             0 kB
AnonPages:        876480 kB
Mapped:            73660 kB
Shmem:             41656 kB
Slab:             152956 kB
SReclaimable:     124976 kB
SUnreclaim:        27980 kB
KernelStack:        3504 kB
PageTables:         7712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1657176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    765952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61948 MiB
End job on node135 at 2017-08-15 09:40:36