Trace number 4297619

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 NameAnswerCPU timeWall clock time
Choco-solver 4.0.7b par (e747e1e)SAT 20.7315 4.46613

General information on the benchmark

NameBibd/
Bibd-sc-09-03-09_c18.xml
MD5SUM14461c5e126fcf4565f37d2e3313bad0
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark20.7315
Satisfiable
(Un)Satisfiability was proved
Number of variables9720
Number of constraints4042
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":4860}]
Minimum variable degree0
Maximum variable degree11
Distribution of variable degrees[{"degree":0,"count":4860},{"degree":2,"count":3888},{"degree":11,"count":972}]
Minimum constraint arity3
Maximum constraint arity972
Distribution of constraint arities[{"arity":3,"count":3888},{"arity":9,"count":108},{"arity":108,"count":45},{"arity":972,"count":1}]
Number of extensional constraints0
Number of intensional constraints3888
Distribution of constraint types[{"type":"intension","count":3888},{"type":"lex","count":1},{"type":"sum","count":153}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297619-1532715736.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297619-1532715736.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
9.22/2.70	c solve instance...
20.63/4.44	s SATISFIABLE
20.63/4.44	v <instantiation>
20.63/4.44	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] s[0][1][0] s[0][1][1] s[0][1][2] s[0][1][3] s[0][1][4] s[0][1][5] s[0][1][6] s[0][1][7] s[0][1][8] s[0][1][9] s[0][1][10] s[0][1][11] s[0][1][12] s[0][1][13] s[0][1][14] s[0][1][15] s[0][1][16] s[0][1][17] s[0][1][18] s[0][1][19] s[0][1][20] s[0][1][21] s[0][1][22] s[0][1][23] s[0][1][24] s[0][1][25] s[0][1][26] s[0][1][27] s[0][1][28] s[0][1][29] s[0][1][30] s[0][1][31] s[0][1][32] s[0][1][33] s[0][1][34] s[0][1][35] s[0][1][36] s[0][1][37] s[0][1][38] s[0][1][39] s[0][1][40] s[0][1][41] s[0][1][42] s[0][1][43] s[0][1][44] s[0][1][45] s[0][1][46] s[0][1][47] s[0][1][48] s[0][1][49] s[0][1][50] s[0][1][51] s[0][1][52] s[0][1][53] s[0][1][54] s[0][1][55] s[0][1][56] s[0][1][57] s[0][1][58] s[0][1][59] s[0][1][60] s[0][1][61] s[0][1][62] s[0][1][63] s[0][1][64] s[0][1][65] s[0][1][66] s[0][1][67] s[0][1][68] s[0][1][69] s[0][1][70] s[0][1][71] s[0][1][72] s[0][1][73] s[0][1][74] s[0][1][75] s[0][1][76] s[0][1][77] s[0][1][78] s[0][1][79] s[0][1][80] s[0][1][81] s[0][1][82] s[0][1][83] s[0][1][84] s[0][1][85] s[0][1][86] s[0][1][87] s[0][1][88] s[0][1][89] s[0][1][90] s[0][1][91] s[0][1][92] s[0][1][93] s[0][1][94] s[0][1][95] s[0][1][96] s[0][1][97] s[0][1][98] s[0][1][99] s[0][1][100] s[0][1][101] s[0][1][102] s[0][1][103] s[0][1][104] s[0][1][105] s[0][1][106] s[0][1][107] s[0][2][0] s[0][2][1] s[0][2][2] s[0][2][3] s[0][2][4] s[0][2][5] s[0][2][6] s[0][2][7] s[0][2][8] s[0][2][9] s[0][2][10] s[0][2][11] s[0][2][12] s[0][2][13] s[0][2][14] s[0][2][15] s[0][2][16] s[0][2][17] s[0][2][18] s[0][2][19] s[0][2][20] s[0][2][21] s[0][2][22] s[0][2][23] s[0][2][24] s[0][2][25] s[0][2][26] s[0][2][27] s[0][2][28] s[0][2][29] s[0][2][30] s[0][2][31] s[0][2][32] s[0][2][33] s[0][2][34] s[0][2][35] s[0][2][36] s[0][2][37] s[0][2][38] s[0][2][39] s[0][2][40] s[0][2][41] s[0][2][42] s[0][2][43] s[0][2][44] s[0][2][45] s[0][2][46] s[0][2][47] s[0][2][48] s[0][2][49] s[0][2][50] s[0][2][51] s[0][2][52] s[0][2][53] s[0][2][54] s[0][2][55] s[0][2][56] s[0][2][57] s[0][2][58] s[0][2][59] s[0][2][60] s[0][2][61] s[0][2][62] s[0][2][63] s[0][2][64] s[0][2][65] s[0][2][66] s[0][2][67] s[0][2][68] s[0][2][69] s[0][2][70] s[0][2][71] s[0][2][72] s[0][2][73] s[0][2][74] s[0][2][75] s[0][2][76] s[0][2][77] s[0][2][78] s[0][2][79] s[0][2][80] s[0][2][81] s[0][2][82] s[0][2][83] s[0][2][84] s[0][2][85] s[0][2][86] s[0][2][87] s[0][2][88] s[0][2][89] s[0][2][90] s[0][2][91] s[0][2][92] s[0][2][93] s[0][2][94] s[0][2][95] s[0][2][96] s[0][2][97] s[0][2][98] s[0][2][99] s[0][2][100] s[0][2][101] s[0][2][102] s[0][2][103] s[0][2][104] s[0][2][105] s[0][2][106] s[0][2][107] s[0][3][0] s[0][3][1] s[0][3][2] s[0][3][3] s[0][3][4] s[0][3][5] s[0][3][6] s[0][3][7] s[0][3][8] s[0][3][9] s[0][3][10] s[0][3][11] s[0][3][12] s[0][3][13] s[0][3][14] s[0][3][15] s[0][3][16] s[0][3][17] s[0][3][18] s[0][3][19] s[0][3][20] s[0][3][21] s[0][3][22] s[0][3][23] s[0][3][24] s[0][3][25] s[0][3][26] s[0][3][27] s[0][3][28] s[0][3][29] s[0][3][30] s[0][3][31] s[0][3][32] s[0][3][33] s[0][3][34] s[0][3][35] s[0][3][36] s[0][3][37] s[0][3][38] s[0][3][39] s[0][3][40] s[0][3][41] s[0][3][42] s[0][3][43] s[0][3][44] s[0][3][45] s[0][3][46] s[0][3][47] s[0][3][48] s[0][3][49] s[0][3][50] s[0][3][51] s[0][3][52] s[0][3][53] s[0][3][54] s[0][3][55] s[0][3][56] s[0][3][57] s[0][3][58] s[0][3][59] s[0][3][60] s[0][3][61] s[0][3][62] s[0][3][63] s[0][3][64] s[0][3][65] s[0][3][66] s[0][3][67] s[0][3][68] s[0][3][69] s[0][3][70] s[0][3][71] s[0][3][72] s[0][3][73] s[0][3][74] s[0][3][75] s[0][3][76] s[0][3][77] s[0][3][78] s[0][3][79] s[0][3][80] s[0][3][81] s[0][3][82] s[0][3][83] s[0][3][84] s[0][3][85] s[0][3][86] s[0][3][87] s[0][3][88] s[0][3][89] s[0][3][90] s[0][3][91] s[0][3][92] s[0][3][93] s[0][3][94] s[0][3][95] s[0][3][96] s[0][3][97] s[0][3][98] s[0][3][99] s[0][3][100] s[0][3][101] s[0][3][102] s[0][3][103] s[0][3][104] s[0][3][105] s[0][3][106] s[0][3][107] s[0][4][0] s[0][4][1] s[0][4][2] s[0][4][3] s[0][4][4] s[0][4][5] s[0][4][6] s[0][4][7] s[0][4][8] s[0][4][9] s[0][4][10] s[0][4][11] s[0][4][12] s[0][4][13] s[0][4][14] s[0][4][15] s[0][4][16] s[0][4][17] s[0][4][18] s[0][4][19] s[0][4][20] s[0][4][21] s[0][4][22] s[0][4][23] s[0][4][24] s[0][4][25] s[0][4][26] s[0][4][27] s[0][4][28] s[0][4][29] s[0][4][30] s[0][4][31] s[0][4][32] s[0][4][33] s[0][4][34] s[0][4][35] s[0][4][36] s[0][4][37] s[0][4][38] s[0][4][39] s[0][4][40] s[0][4][41] s[0][4][42] s[0][4][43] s[0][4][44] s[0][4][45] s[0][4][46] s[0][4][47] s[0][4][48] s[0][4][49] s[0][4][50] s[0][4][51] s[0][4][52] s[0][4][53] s[0][4][54] s[0][4][55] s[0][4][56] s[0][4][57] s[0][4][58] s[0][4][59] s[0][4][60] s[0][4][61] s[0][4][62] s[0][4][63] s[0][4][64] s[0][4][65] s[0][4][66] s[0][4][67] s[0][4][68] s[0][4][69] s[0][4][70] s[0][4][71] s[0][4][72] s[0][4][73] s[0][4][74] s[0][4][75] s[0][4][76] s[0][4][77] s[0][4][78] s[0][4][79] s[0][4][80] s[0][4][81] s[0][4][82] s[0][4][83] s[0][4][84] s[0][4][85] s[0][4][86] s[0][4][87] s[0][4][88] s[0][4][89] s[0][4][90] s[0][4][91] s[0][4][92] s[0][4][93] s[0][4][94] s[0][4][95] s[0][4][96] s[0][4][97] s[0][4][98] s[0][4][99] s[0][4][100] s[0][4][101] s[0][4][102] s[0][4][103] s[0][4][104] s[0][4][105] s[0][4][106] s[0][4][107] s[0][5][0] s[0][5][1] s[0][5][2] s[0][5][3] s[0][5][4] s[0][5][5] s[0][5][6] s[0][5][7] s[0][5][8] s[0][5][9] s[0][5][10] s[0][5][11] s[0][5][12] s[0][5][13] s[0][5][14] s[0][5][15] s[0][5][16] s[0][5][17] s[0][5][18] s[0][5][19] s[0][5][20] s[0][5][21] s[0][5][22] s[0][5][23] s[0][5][24] s[0][5][25] s[0][5][26] s[0][5][27] s[0][5][28] s[0][5][29] s[0][5][30] s[0][5][31] s[0][5][32] s[0][5][33] s[0][5][34] s[0][5][35] s[0][5][36] s[0][5][37] s[0][5][38] s[0][5][39] s[0][5][40] s[0][5][41] s[0][5][42] s[0][5][43] s[0][5][44] s[0][5][45] s[0][5][46] s[0][5][47] s[0][5][48] s[0][5][49] s[0][5][50] s[0][5][51] s[0][5][52] s[0][5][53] s[0][5][54] s[0][5][55] s[0][5][56] s[0][5][57] s[0][5][58] s[0][5][59] s[0][5][60] s[0][5][61] s[0][5][62] s[0][5][63] s[0][5][64] s[0][5][65] s[0][5][66] s[0][5][67] s[0][5][68] s[0][5][69] s[0][5][70] s[0][5][71] s[0][5][72] s[0][5][73] s[0][5][74] s[0][5][75] s[0][5][76] s[0][5][77] s[0][5][78] s[0][5][79] s[0][5][80] s[0][5][81] s[0][5][82] s[0][5][83] s[0][5][84] s[0][5][85] s[0][5][86] s[0][5][87] s[0][5][88] s[0][5][89] s[0][5][90] s[0][5][91] s[0][5][92] s[0][5][93] s[0][5][94] s[0][5][95] s[0][5][96] s[0][5][97] s[0][5][98] s[0][5][99] s[0][5][100] s[0][5][101] s[0][5][102] s[0][5][103] s[0][5][104] s[0][5][105] s[0][5][106] s[0][5][107] s[0][6][0] s[0][6][1] s[0][6][2] s[0][6][3] s[0][6][4] s[0][6][5] s[0][6][6] s[0][6][7] s[0][6][8] s[0][6][9] s[0][6][10] s[0][6][11] s[0][6][12] s[0][6][13] s[0][6][14] s[0][6][15] s[0][6][16] s[0][6][17] s[0][6][18] s[0][6][19] s[0][6][20] s[0][6][21] s[0][6][22] s[0][6][23] s[0][6][24] s[0][6][25] s[0][6][26] s[0][6][27] s[0][6][28] s[0][6][29] s[0][6][30] s[0][6][31] s[0][6][32] s[0][6][33] s[0][6][34] s[0][6][35] s[0][6][36] s[0][6][37] s[0][6][38] s[0][6][39] s[0][6][40] s[0][6][41] s[0][6][42] s[0][6][43] s[0][6][44] s[0][6][45] s[0][6][46] s[0][6][47] s[0][6][48] s[0][6][49] s[0][6][50] s[0][6][51] s[0][6][52] s[0][6][53] s[0][6][54] s[0][6][55] s[0][6][56] s[0][6][57] s[0][6][58] s[0][6][59] s[0][6][60] s[0][6][61] s[0][6][62] s[0][6][63] s[0][6][64] s[0][6][65] s[0][6][66] s[0][6][67] s[0][6][68] s[0][6][69] s[0][6][70] s[0][6][71] s[0][6][72] s[0][6][73] s[0][6][74] s[0][6][75] s[0][6][76] s[0][6][77] s[0][6][78] s[0][6][79] s[0][6][80] s[0][6][81] s[0][6][82] s[0][6][83] s[0][6][84] s[0][6][85] s[0][6][86] s[0][6][87] s[0][6][88] s[0][6][89] s[0][6][90] s[0][6][91] s[0][6][92] s[0][6][93] s[0][6][94] s[0][6][95] s[0][6][96] s[0][6][97] s[0][6][98] s[0][6][99] s[0][6][100] s[0][6][101] s[0][6][102] s[0][6][103] s[0][6][104] s[0][6][105] s[0][6][106] s[0][6][107] s[0][7][0] s[0][7][1] s[0][7][2] s[0][7][3] s[0][7][4] s[0][7][5] s[0][7][6] s[0][7][7] s[0][7][8] s[0][7][9] s[0][7][10] s[0][7][11] s[0][7][12] s[0][7][13] s[0][7][14] s[0][7][15] s[0][7][16] s[0][7][17] s[0][7][18] s[0][7][19] s[0][7][20] s[0][7][21] s[0][7][22] s[0][7][23] s[0][7][24] s[0][7][25] s[0][7][26] s[0][7][27] s[0][7][28] s[0][7][29] s[0][7][30] s[0][7][31] s[0][7][32] s[0][7][33] s[0][7][34] s[0][7][35] s[0][7][36] s[0][7][37] s[0][7][38] s[0][7][39] s[0][7][40] s[0][7][41] s[0][7][42] s[0][7][43] s[0][7][44] s[0][7][45] s[0][7][46] s[0][7][47] s[0][7][48] s[0][7][49] s[0][7][50] s[0][7][51] s[0][7][52] s[0][7][53] s[0][7][54] s[0][7][55] s[0][7][56] s[0][7][57] s[0][7][58] s[0][7][59] s[0][7][60] s[0][7][61] s[0][7][62] s[0][7][63] s[0][7][64] s[0][7][65] s[0][7][66] s[0][7][67] s[0][7][68] s[0][7][69] s[0][7][70] s[0][7][71] s[0][7][72] s[0][7][73] s[0][7][74] s[0][7][75] s[0][7][76] s[0][7][77] s[0][7][78] s[0][7][79] s[0][7][80] s[0][7][81] s[0][7][82] s[0][7][83] s[0][7][84] s[0][7][85] s[0][7][86] s[0][7][87] s[0][7][88] s[0][7][89] s[0][7][90] s[0][7][91] s[0][7][92] s[0][7][93] s[0][7][94] s[0][7][95] s[0][7][96] s[0][7][97] s[0][7][98] s[0][7][99] s[0][7][100] s[0][7][101] s[0][7][102] s[0][7][103] s[0][7][104] s[0][7][105] s[0][7][106] s[0][7][107] s[0][8][0] s[0][8][1] s[0][8][2] s[0][8][3] s[0][8][4] s[0][8][5] s[0][8][6] s[0][8][7] s[0][8][8] s[0][8][9] s[0][8][10] s[0][8][11] s[0][8][12] s[0][8][13] s[0][8][14] s[0][8][15] s[0][8][16] s[0][8][17] s[0][8][18] s[0][8][19] s[0][8][20] s[0][8][21] s[0][8][22] s[0][8][23] s[0][8][24] s[0][8][25] s[0][8][26] s[0][8][27] s[0][8][28] s[0][8][29] s[0][8][30] s[0][8][31] s[0][8][32] s[0][8][33] s[0][8][34] s[0][8][35] s[0][8][36] s[0][8][37] s[0][8][38] s[0][8][39] s[0][8][40] s[0][8][41] s[0][8][42] s[0][8][43] s[0][8][44] s[0][8][45] s[0][8][46] s[0][8][47] s[0][8][48] s[0][8][49] s[0][8][50] s[0][8][51] s[0][8][52] s[0][8][53] s[0][8][54] s[0][8][55] s[0][8][56] s[0][8][57] s[0][8][58] s[0][8][59] s[0][8][60] s[0][8][61] s[0][8][62] s[0][8][63] s[0][8][64] s[0][8][65] s[0][8][66] s[0][8][67] s[0][8][68] s[0][8][69] s[0][8][70] s[0][8][71] s[0][8][72] s[0][8][73] s[0][8][74] s[0][8][75] s[0][8][76] s[0][8][77] s[0][8][78] s[0][8][79] s[0][8][80] s[0][8][81] s[0][8][82] s[0][8][83] s[0][8][84] s[0][8][85] s[0][8][86] s[0][8][87] s[0][8][88] s[0][8][89] s[0][8][90] s[0][8][91] s[0][8][92] s[0][8][93] s[0][8][94] s[0][8][95] s[0][8][96] s[0][8][97] s[0][8][98] s[0][8][99] s[0][8][100] s[0][8][101] s[0][8][102] s[0][8][103] s[0][8][104] s[0][8][105] s[0][8][106] s[0][8][107] s[1][2][0] s[1][2][1] s[1][2][2] s[1][2][3] s[1][2][4] s[1][2][5] s[1][2][6] s[1][2][7] s[1][2][8] s[1][2][9] s[1][2][10] s[1][2][11] s[1][2][12] s[1][2][13] s[1][2][14] s[1][2][15] s[1][2][16] s[1][2][17] s[1][2][18] s[1][2][19] s[1][2][20] s[1][2][21] s[1][2][22] s[1][2][23] s[1][2][24] s[1][2][25] s[1][2][26] s[1][2][27] s[1][2][28] s[1][2][29] s[1][2][30] s[1][2][31] s[1][2][32] s[1][2][33] s[1][2][34] s[1][2][35] s[1][2][36] s[1][2][37] s[1][2][38] s[1][2][39] s[1][2][40] s[1][2][41] s[1][2][42] s[1][2][43] s[1][2][44] s[1][2][45] s[1][2][46] s[1][2][47] s[1][2][48] s[1][2][49] s[1][2][50] s[1][2][51] s[1][2][52] s[1][2][53] s[1][2][54] s[1][2][55] s[1][2][56] s[1][2][57] s[1][2][58] s[1][2][59] s[1][2][60] s[1][2][61] s[1][2][62] s[1][2][63] s[1][2][64] s[1][2][65] s[1][2][66] s[1][2][67] s[1][2][68] s[1][2][69] s[1][2][70] s[1][2][71] s[1][2][72] s[1][2][73] s[1][2][74] s[1][2][75] s[1][2][76] s[1][2][77] s[1][2][78] s[1][2][79] s[1][2][80] s[1][2][81] s[1][2][82] s[1][2][83] s[1][2][84] s[1][2][85] s[1][2][86] s[1][2][87] s[1][2][88] s[1][2][89] s[1][2][90] s[1][2][91] s[1][2][92] s[1][2][93] s[1][2][94] s[1][2][95] s[1][2][96] s[1][2][97] s[1][2][98] s[1][2][99] s[1][2][100] s[1][2][101] s[1][2][102] s[1][2][103] s[1][2][104] s[1][2][105] s[1][2][106] s[1][2][107] s[1][3][0] s[1][3][1] s[1][3][2] s[1][3][3] s[1][3][4] s[1][3][5] s[1][3][6] s[1][3][7] s[1][3][8] s[1][3][9] s[1][3][10] s[1][3][11] s[1][3][12] s[1][3][13] s[1][3][14] s[1][3][15] s[1][3][16] s[1][3][17] s[1][3][18] s[1][3][19] s[1][3][20] s[1][3][21] s[1][3][22] s[1][3][23] s[1][3][24] s[1][3][25] s[1][3][26] s[1][3][27] s[1][3][28] s[1][3][29] s[1][3][30] s[1][3][31] s[1][3][32] s[1][3][33] s[1][3][34] s[1][3][35] s[1][3][36] s[1][3][37] s[1][3][38] s[1][3][39] s[1][3][40] s[1][3][41] s[1][3][42] s[1][3][43] s[1][3][44] s[1][3][45] s[1][3][46] s[1][3][47] s[1][3][48] s[1][3][49] s[1][3][50] s[1][3][51] s[1][3][52] s[1][3][53] s[1][3][54] s[1][3][55] s[1][3][56] s[1][3][57] s[1][3][58] s[1][3][59] s[1][3][60] s[1][3][61] s[1][3][62] s[1][3][63] s[1][3][64] s[1][3][65] s[1][3][66] s[1][3][67] s[1][3][68] s[1][3][69] s[1][3][70] s[1][3][71] s[1][3][72] s[1][3][73] s[1][3][74] s[1][3][75] s[1][3][76] s[1][3][77] s[1][3][78] s[1][3][79] s[1][3][80] s[1][3][81] s[1][3][82] s[1][3][83] s[1][3][84] s[1][3][85] s[1][3][86] s[1][3][87] s[1][3][88] s[1][3][89] s[1][3][90] s[1][3][91] s[1][3][92] s[1][3][93] s[1][3][94] s[1][3][95] s[1][3][96] s[1][3][97] s[1][3][98] s[1][3][99] s[1][3][100] s[1][3][101] s[1][3][102] s[1][3][103] s[1][3][104] s[1][3][105] s[1][3][106] s[1][3][107] s[1][4][0] s[1][4][1] s[1][4][2] s[1][4][3] s[1][4][4] s[1][4][5] s[1][4][6] s[1][4][7] s[1][4][8] s[1][4][9] s[1][4][10] s[1][4][11] s[1][4][12] s[1][4][13] s[1][4][14] s[1][4][15] s[1][4][16] s[1][4][17] s[1][4][18] s[1][4][19] s[1][4][20] s[1][4][21] s[1][4][22] s[1][4][23] s[1][4][24] s[1][4][25] s[1][4][26] s[1][4][27] s[1][4][28] s[1][4][29] s[1][4][30] s[1][4][31] s[1][4][32] s[1][4][33] s[1][4][34] s[1][4][35] s[1][4][36] s[1][4][37] s[1][4][38] s[1][4][39] s[1][4][40] s[1][4][41] s[1][4][42] s[1][4][43] s[1][4][44] s[1][4][45] s[1][4][46] s[1][4][47] s[1][4][48] s[1][4][49] s[1][4][50] s[1][4][51] s[1][4][52] s[1][4][53] s[1][4][54] s[1][4][55] s[1][4][56] s[1][4][57] s[1][4][58] s[1][4][59] s[1][4][60] s[1][4][61] s[1][4][62] s[1][4][63] s[1][4][64] s[1][4][65] s[1][4][66] s[1][4][67] s[1][4][68] s[1][4][69] s[1][4][70] s[1][4][71] s[1][4][72] s[1][4][73] s[1][4][74] s[1][4][75] s[1][4][76] s[1][4][77] s[1][4][78] s[1][4][79] s[1][4][80] s[1][4][81] s[1][4][82] s[1][4][83] s[1][4][84] s[1][4][85] s[1][4][86] s[1][4][87] s[1][4][88] s[1][4][89] s[1][4][90] s[1][4][91] s[1][4][92] s[1][4][93] s[1][4][94] s[1][4][95] s[1][4][96] s[1][4][97] s[1][4][98] s[1][4][99] s[1][4][100] s[1][4][101] s[1][4][102] s[1][4][103] s[1][4][104] s[1][4][105] s[1][4][106] s[1][4][107] s[1][5][0] s[1][5][1] s[1][5][2] s[1][5][3] s[1][5][4] s[1][5][5] s[1][5][6] s[1][5][7] s[1][5][8] s[1][5][9] s[1][5][10] s[1][5][11] s[1][5][12] s[1][5][13] s[1][5][14] s[1][5][15] s[1][5][16] s[1][5][17] s[1][5][18] s[1][5][19] s[1][5][20] s[1][5][21] s[1][5][22] s[1][5][23] s[1][5][24] s[1][5][25] s[1][5][26] s[1][5][27] s[1][5][28] s[1][5][29] s[1][5][30] s[1][5][31] s[1][5][32] s[1][5][33] s[1][5][34] s[1][5][35] s[1][5][36] s[1][5][37] s[1][5][38] s[1][5][39] s[1][5][40] s[1][5][41] s[1][5][42] s[1][5][43] s[1][5][44] s[1][5][45] s[1][5][46] s[1][5][47] s[1][5][48] s[1][5][49] s[1][5][50] s[1][5][51] s[1][5][52] s[1][5][53] s[1][5][54] s[1][5][55] s[1][5][56] s[1][5][57] s[1][5][58] s[1][5][59] s[1][5][60] s[1][5][61] s[1][5][62] s[1][5][63] s[1][5][64] s[1][5][65] s[1][5][66] s[1][5][67] s[1][5][68] s[1][5][69] s[1][5][70] s[1][5][71] s[1][5][72] s[1][5][73] s[1][5][74] s[1][5][75] s[1][5][76] s[1][5][77] s[1][5][78] s[1][5][79] s[1][5][80] s[1][5][81] s[1][5][82] s[1][5][83] s[1][5][84] s[1][5][85] s[1][5][86] s[1][5][87] s[1][5][88] s[1][5][89] s[1][5][90] s[1][5][91] s[1][5][92] s[1][5][93] s[1][5][94] s[1][5][95] s[1][5][96] s[1][5][97] s[1][5][98] s[1][5][99] s[1][5][100] s[1][5][101] s[1][5][102] s[1][5][103] s[1][5][104] s[1][5][105] s[1][5][106] s[1][5][107] s[1][6][0] s[1][6][1] s[1][6][2] s[1][6][3] s[1][6][4] s[1][6][5] s[1][6][6] s[1][6][7] s[1][6][8] s[1][6][9] s[1][6][10] s[1][6][11] s[1][6][12] s[1][6][13] s[1][6][14] s[1][6][15] s[1][6][16] s[1][6][17] s[1][6][18] s[1][6][19] s[1][6][20] s[1][6][21] s[1][6][22] s[1][6][23] s[1][6][24] s[1][6][25] s[1][6][26] s[1][6][27] s[1][6][28] s[1][6][29] s[1][6][30] s[1][6][31] s[1][6][32] s[1][6][33] s[1][6][34] s[1][6][35] s[1][6][36] s[1][6][37] s[1][6][38] s[1][6][39] s[1][6][40] s[1][6][41] s[1][6][42] s[1][6][43] s[1][6][44] s[1][6][45] s[1][6][46] s[1][6][47] s[1][6][48] s[1][6][49] s[1][6][50] s[1][6][51] s[1][6][52] s[1][6][53] s[1][6][54] s[1][6][55] s[1][6][56] s[1][6][57] s[1][6][58] s[1][6][59] s[1][6][60] s[1][6][61] s[1][6][62] s[1][6][63] s[1][6][64] s[1][6][65] s[1][6][66] s[1][6][67] s[1][6][68] s[1][6][69] s[1][6][70] s[1][6][71] s[1][6][72] s[1][6][73] s[1][6][74] s[1][6][75] s[1][6][76] s[1][6][77] s[1][6][78] s[1][6][79] s[1][6][80] s[1][6][81] s[1][6][82] s[1][6][83] s[1][6][84] s[1][6][85] s[1][6][86] s[1][6][87] s[1][6][88] s[1][6][89] s[1][6][90] s[1][6][91] s[1][6][92] s[1][6][93] s[1][6][94] s[1][6][95] s[1][6][96] s[1][6][97] s[1][6][98] s[1][6][99] s[1][6][100] s[1][6][101] s[1][6][102] s[1][6][103] s[1][6][104] s[1][6][105] s[1][6][106] s[1][6][107] s[1][7][0] s[1][7][1] s[1][7][2] s[1][7][3] s[1][7][4] s[1][7][5] s[1][7][6] s[1][7][7] s[1][7][8] s[1][7][9] s[1][7][10] s[1][7][11] s[1][7][12] s[1][7][13] s[1][7][14] s[1][7][15] s[1][7][16] s[1][7][17] s[1][7][18] s[1][7][19] s[1][7][20] s[1][7][21] s[1][7][22] s[1][7][23] s[1][7][24] s[1][7][25] s[1][7][26] s[1][7][27] s[1][7][28] s[1][7][29] s[1][7][30] s[1][7][31] s[1][7][32] s[1][7][33] s[1][7][34] s[1][7][35] s[1][7][36] s[1][7][37] s[1][7][38] s[1][7][39] s[1][7][40] s[1][7][41] s[1][7][42] s[1][7][43] s[1][7][44] s[1][7][45] s[1][7][46] s[1][7][47] s[1][7][48] s[1][7][49] s[1][7][50] s[1][7][51] s[1][7][52] s[1][7][53] s[1][7][54] s[1][7][55] s[1][7][56] s[1][7][57] s[1][7][58] s[1][7][59] s[1][7][60] s[1][7][61] s[1][7][62] s[1][7][63] s[1][7][64] s[1][7][65] s[1][7][66] s[1][7][67] s[1][7][68] s[1][7][69] s[1][7][70] s[1][7][71] s[1][7][72] s[1][7][73] s[1][7][74] s[1][7][75] s[1][7][76] s[1][7][77] s[1][7][78] s[1][7][79] s[1][7][80] s[1][7][81] s[1][7][82] s[1][7][83] s[1][7][84] s[1][7][85] s[1][7][86] s[1][7][87] s[1][7][88] s[1][7][89] s[1][7][90] s[1][7][91] s[1][7][92] s[1][7][93] s[1][7][94] s[1][7][95] s[1][7][96] s[1][7][97] s[1][7][98] s[1][7][99] s[1][7][100] s[1][7][101] s[1][7][102] s[1][7][103] s[1][7][104] s[1][7][105] s[1][7][106] s[1][7][107] s[1][8][0] s[1][8][1] s[1][8][2] s[1][8][3] s[1][8][4] s[1][8][5] s[1][8][6] s[1][8][7] s[1][8][8] s[1][8][9] s[1][8][10] s[1][8][11] s[1][8][12] s[1][8][13] s[1][8][14] s[1][8][15] s[1][8][16] s[1][8][17] s[1][8][18] s[1][8][19] s[1][8][20] s[1][8][21] s[1][8][22] s[1][8][23] s[1][8][24] s[1][8][25] s[1][8][26] s[1][8][27] s[1][8][28] s[1][8][29] s[1][8][30] s[1][8][31] s[1][8][32] s[1][8][33] s[1][8][34] s[1][8][35] s[1][8][36] s[1][8][37] s[1][8][38] s[1][8][39] s[1][8][40] s[1][8][41] s[1][8][42] s[1][8][43] s[1][8][44] s[1][8][45] s[1][8][46] s[1][8][47] s[1][8][48] s[1][8][49] s[1][8][50] s[1][8][51] s[1][8][52] s[1][8][53] s[1][8][54] s[1][8][55] s[1][8][56] s[1][8][57] s[1][8][58] s[1][8][59] s[1][8][60] s[1][8][61] s[1][8][62] s[1][8][63] s[1][8][64] s[1][8][65] s[1][8][66] s[1][8][67] s[1][8][68] s[1][8][69] s[1][8][70] s[1][8][71] s[1][8][72] s[1][8][73] s[1][8][74] s[1][8][75] s[1][8][76] s[1][8][77] s[1][8][78] s[1][8][79] s[1][8][80] s[1][8][81] s[1][8][82] s[1][8][83] s[1][8][84] s[1][8][85] s[1][8][86] s[1][8][87] s[1][8][88] s[1][8][89] s[1][8][90] s[1][8][91] s[1][8][92] s[1][8][93] s[1][8][94] s[1][8][95] s[1][8][96] s[1][8][97] s[1][8][98] s[1][8][99] s[1][8][100] s[1][8][101] s[1][8][102] s[1][8][103] s[1][8][104] s[1][8][105] s[1][8][106] s[1][8][107] s[2][3][0] s[2][3][1] s[2][3][2] s[2][3][3] s[2][3][4] s[2][3][5] s[2][3][6] s[2][3][7] s[2][3][8] s[2][3][9] s[2][3][10] s[2][3][11] s[2][3][12] s[2][3][13] s[2][3][14] s[2][3][15] s[2][3][16] s[2][3][17] s[2][3][18] s[2][3][19] s[2][3][20] s[2][3][21] s[2][3][22] s[2][3][23] s[2][3][24] s[2][3][25] s[2][3][26] s[2][3][27] s[2][3][28] s[2][3][29] s[2][3][30] s[2][3][31] s[2][3][32] s[2][3][33] s[2][3][34] s[2][3][35] s[2][3][36] s[2][3][37] s[2][3][38] s[2][3][39] s[2][3][40] s[2][3][41] s[2][3][42] s[2][3][43] s[2][3][44] s[2][3][45] s[2][3][46] s[2][3][47] s[2][3][48] s[2][3][49] s[2][3][50] s[2][3][51] s[2][3][52] s[2][3][53] s[2][3][54] s[2][3][55] s[2][3][56] s[2][3][57] s[2][3][58] s[2][3][59] s[2][3][60] s[2][3][61] s[2][3][62] s[2][3][63] s[2][3][64] s[2][3][65] s[2][3][66] s[2][3][67] s[2][3][68] s[2][3][69] s[2][3][70] s[2][3][71] s[2][3][72] s[2][3][73] s[2][3][74] s[2][3][75] s[2][3][76] s[2][3][77] s[2][3][78] s[2][3][79] s[2][3][80] s[2][3][81] s[2][3][82] s[2][3][83] s[2][3][84] s[2][3][85] s[2][3][86] s[2][3][87] s[2][3][88] s[2][3][89] s[2][3][90] s[2][3][91] s[2][3][92] s[2][3][93] s[2][3][94] s[2][3][95] s[2][3][96] s[2][3][97] s[2][3][98] s[2][3][99] s[2][3][100] s[2][3][101] s[2][3][102] s[2][3][103] s[2][3][104] s[2][3][105] s[2][3][106] s[2][3][107] s[2][4][0] s[2][4][1] s[2][4][2] s[2][4][3] s[2][4][4] s[2][4][5] s[2][4][6] s[2][4][7] s[2][4][8] s[2][4][9] s[2][4][10] s[2][4][11] s[2][4][12] s[2][4][13] s[2][4][14] s[2][4][15] s[2][4][16] s[2][4][17] s[2][4][18] s[2][4][19] s[2][4][20] s[2][4][21] s[2][4][22] s[2][4][23] s[2][4][24] s[2][4][25] s[2][4][26] s[2][4][27] s[2][4][28] s[2][4][29] s[2][4][30] s[2][4][31] s[2][4][32] s[2][4][33] s[2][4][34] s[2][4][35] s[2][4][36] s[2][4][37] s[2][4][38] s[2][4][39] s[2][4][40] s[2][4][41] s[2][4][42] s[2][4][43] s[2][4][44] s[2][4][45] s[2][4][46] s[2][4][47] s[2][4][48] s[2][4][49] s[2][4][50] s[2][4][51] s[2][4][52] s[2][4][53] s[2][4][54] s[2][4][55] s[2][4][56] s[2][4][57] s[2][4][58] s[2][4][59] s[2][4][60] s[2][4][61] s[2][4][62] s[2][4][63] s[2][4][64] s[2][4][65] s[2][4][66] s[2][4][67] s[2][4][68] s[2][4][69] s[2][4][70] s[2][4][71] s[2][4][72] s[2][4][73] s[2][4][74] s[2][4][75] s[2][4][76] s[2][4][77] s[2][4][78] s[2][4][79] s[2][4][80] s[2][4][81] s[2][4][82] s[2][4][83] s[2][4][84] s[2][4][85] s[2][4][86] s[2][4][87] s[2][4][88] s[2][4][89] s[2][4][90] s[2][4][91] s[2][4][92] s[2][4][93] s[2][4][94] s[2][4][95] s[2][4][96] s[2][4][97] s[2][4][98] s[2][4][99] s[2][4][100] s[2][4][101] s[2][4][102] s[2][4][103] s[2][4][104] s[2][4][105] s[2][4][106] s[2][4][107] s[2][5][0] s[2][5][1] s[2][5][2] s[2][5][3] s[2][5][4] s[2][5][5] s[2][5][6] s[2][5][7] s[2][5][8] s[2][5][9] s[2][5][10] s[2][5][11] s[2][5][12] s[2][5][13] s[2][5][14] s[2][5][15] s[2][5][16] s[2][5][17] s[2][5][18] s[2][5][19] s[2][5][20] s[2][5][21] s[2][5][22] s[2][5][23] s[2][5][24] s[2][5][25] s[2][5][26] s[2][5][27] s[2][5][28] s[2][5][29] s[2][5][30] s[2][5][31] s[2][5][32] s[2][5][33] s[2][5][34] s[2][5][35] s[2][5][36] s[2][5][37] s[2][5][38] s[2][5][39] s[2][5][40] s[2][5][41] s[2][5][42] s[2][5][43] s[2][5][44] s[2][5][45] s[2][5][46] s[2][5][47] s[2][5][48] s[2][5][49] s[2][5][50] s[2][5][51] s[2][5][52] s[2][5][53] s[2][5][54] s[2][5][55] s[2][5][56] s[2][5][57] s[2][5][58] s[2][5][59] s[2][5][60] s[2][5][61] s[2][5][62] s[2][5][63] s[2][5][64] s[2][5][65] s[2][5][66] s[2][5][67] s[2][5][68] s[2][5][69] s[2][5][70] s[2][5][71] s[2][5][72] s[2][5][73] s[2][5][74] s[2][5][75] s[2][5][76] s[2][5][77] s[2][5][78] s[2][5][79] s[2][5][80] s[2][5][81] s[2][5][82] s[2][5][83] s[2][5][84] s[2][5][85] s[2][5][86] s[2][5][87] s[2][5][88] s[2][5][89] s[2][5][90] s[2][5][91] s[2][5][92] s[2][5][93] s[2][5][94] s[2][5][95] s[2][5][96] s[2][5][97] s[2][5][98] s[2][5][99] s[2][5][100] s[2][5][101] s[2][5][102] s[2][5][103] s[2][5][104] s[2][5][105] s[2][5][106] s[2][5][107] s[2][6][0] s[2][6][1] s[2][6][2] s[2][6][3] s[2][6][4] s[2][6][5] s[2][6][6] s[2][6][7] s[2][6][8] s[2][6][9] s[2][6][10] s[2][6][11] s[2][6][12] s[2][6][13] s[2][6][14] s[2][6][15] s[2][6][16] s[2][6][17] s[2][6][18] s[2][6][19] s[2][6][20] s[2][6][21] s[2][6][22] s[2][6][23] s[2][6][24] s[2][6][25] s[2][6][26] s[2][6][27] s[2][6][28] s[2][6][29] s[2][6][30] s[2][6][31] s[2][6][32] s[2][6][33] s[2][6][34] s[2][6][35] s[2][6][36] s[2][6][37] s[2][6][38] s[2][6][39] s[2][6][40] s[2][6][41] s[2][6][42] s[2][6][43] s[2][6][44] s[2][6][45] s[2][6][46] s[2][6][47] s[2][6][48] s[2][6][49] s[2][6][50] s[2][6][51] s[2][6][52] s[2][6][53] s[2][6][54] s[2][6][55] s[2][6][56] s[2][6][57] s[2][6][58] s[2][6][59] s[2][6][60] s[2][6][61] s[2][6][62] s[2][6][63] s[2][6][64] s[2][6][65] s[2][6][66] s[2][6][67] s[2][6][68] s[2][6][69] s[2][6][70] s[2][6][71] s[2][6][72] s[2][6][73] s[2][6][74] s[2][6][75] s[2][6][76] s[2][6][77] s[2][6][78] s[2][6][79] s[2][6][80] s[2][6][81] s[2][6][82] s[2][6][83] s[2][6][84] s[2][6][85] s[2][6][86] s[2][6][87] s[2][6][88] s[2][6][89] s[2][6][90] s[2][6][91] s[2][6][92] s[2][6][93] s[2][6][94] s[2][6][95] s[2][6][96] s[2][6][97] s[2][6][98] s[2][6][99] s[2][6][100] s[2][6][101] s[2][6][102] s[2][6][103] s[2][6][104] s[2][6][105] s[2][6][106] s[2][6][107] s[2][7][0] s[2][7][1] s[2][7][2] s[2][7][3] s[2][7][4] s[2][7][5] s[2][7][6] s[2][7][7] s[2][7][8] s[2][7][9] s[2][7][10] s[2][7][11] s[2][7][12] s[2][7][13] s[2][7][14] s[2][7][15] s[2][7][16] s[2][7][17] s[2][7][18] s[2][7][19] s[2][7][20] s[2][7][21] s[2][7][22] s[2][7][23] s[2][7][24] s[2][7][25] s[2][7][26] s[2][7][27] s[2][7][28] s[2][7][29] s[2][7][30] s[2][7][31] s[2][7][32] s[2][7][33] s[2][7][34] s[2][7][35] s[2][7][36] s[2][7][37] s[2][7][38] s[2][7][39] s[2][7][40] s[2][7][41] s[2][7][42] s[2][7][43] s[2][7][44] s[2][7][45] s[2][7][46] s[2][7][47] s[2][7][48] s[2][7][49] s[2][7][50] s[2][7][51] s[2][7][52] s[2][7][53] s[2][7][54] s[2][7][55] s[2][7][56] s[2][7][57] s[2][7][58] s[2][7][59] s[2][7][60] s[2][7][61] s[2][7][62] s[2][7][63] s[2][7][64] s[2][7][65] s[2][7][66] s[2][7][67] s[2][7][68] s[2][7][69] s[2][7][70] s[2][7][71] s[2][7][72] s[2][7][73] s[2][7][74] s[2][7][75] s[2][7][76] s[2][7][77] s[2][7][78] s[2][7][79] s[2][7][80] s[2][7][81] s[2][7][82] s[2][7][83] s[2][7][84] s[2][7][85] s[2][7][86] s[2][7][87] s[2][7][88] s[2][7][89] s[2][7][90] s[2][7][91] s[2][7][92] s[2][7][93] s[2][7][94] s[2][7][95] s[2][7][96] s[2][7][97] s[2][7][98] s[2][7][99] s[2][7][100] s[2][7][101] s[2][7][102] s[2][7][103] s[2][7][104] s[2][7][105] s[2][7][106] s[2][7][107] s[2][8][0] s[2][8][1] s[2][8][2] s[2][8][3] s[2][8][4] s[2][8][5] s[2][8][6] s[2][8][7] s[2][8][8] s[2][8][9] s[2][8][10] s[2][8][11] s[2][8][12] s[2][8][13] s[2][8][14] s[2][8][15] s[2][8][16] s[2][8][17] s[2][8][18] s[2][8][19] s[2][8][20] s[2][8][21] s[2][8][22] s[2][8][23] s[2][8][24] s[2][8][25] s[2][8][26] s[2][8][27] s[2][8][28] s[2][8][29] s[2][8][30] s[2][8][31] s[2][8][32] s[2][8][33] s[2][8][34] s[2][8][35] s[2][8][36] s[2][8][37] s[2][8][38] s[2][8][39] s[2][8][40] s[2][8][41] s[2][8][42] s[2][8][43] s[2][8][44] s[2][8][45] s[2][8][46] s[2][8][47] s[2][8][48] s[2][8][49] s[2][8][50] s[2][8][51] s[2][8][52] s[2][8][53] s[2][8][54] s[2][8][55] s[2][8][56] s[2][8][57] s[2][8][58] s[2][8][59] s[2][8][60] s[2][8][61] s[2][8][62] s[2][8][63] s[2][8][64] s[2][8][65] s[2][8][66] s[2][8][67] s[2][8][68] s[2][8][69] s[2][8][70] s[2][8][71] s[2][8][72] s[2][8][73] s[2][8][74] s[2][8][75] s[2][8][76] s[2][8][77] s[2][8][78] s[2][8][79] s[2][8][80] s[2][8][81] s[2][8][82] s[2][8][83] s[2][8][84] s[2][8][85] s[2][8][86] s[2][8][87] s[2][8][88] s[2][8][89] s[2][8][90] s[2][8][91] s[2][8][92] s[2][8][93] s[2][8][94] s[2][8][95] s[2][8][96] s[2][8][97] s[2][8][98] s[2][8][99] s[2][8][100] s[2][8][101] s[2][8][102] s[2][8][103] s[2][8][104] s[2][8][105] s[2][8][106] s[2][8][107] s[3][4][0] s[3][4][1] s[3][4][2] s[3][4][3] s[3][4][4] s[3][4][5] s[3][4][6] s[3][4][7] s[3][4][8] s[3][4][9] s[3][4][10] s[3][4][11] s[3][4][12] s[3][4][13] s[3][4][14] s[3][4][15] s[3][4][16] s[3][4][17] s[3][4][18] s[3][4][19] s[3][4][20] s[3][4][21] s[3][4][22] s[3][4][23] s[3][4][24] s[3][4][25] s[3][4][26] s[3][4][27] s[3][4][28] s[3][4][29] s[3][4][30] s[3][4][31] s[3][4][32] s[3][4][33] s[3][4][34] s[3][4][35] s[3][4][36] s[3][4][37] s[3][4][38] s[3][4][39] s[3][4][40] s[3][4][41] s[3][4][42] s[3][4][43] s[3][4][44] s[3][4][45] s[3][4][46] s[3][4][47] s[3][4][48] s[3][4][49] s[3][4][50] s[3][4][51] s[3][4][52] s[3][4][53] s[3][4][54] s[3][4][55] s[3][4][56] s[3][4][57] s[3][4][58] s[3][4][59] s[3][4][60] s[3][4][61] s[3][4][62] s[3][4][63] s[3][4][64] s[3][4][65] s[3][4][66] s[3][4][67] s[3][4][68] s[3][4][69] s[3][4][70] s[3][4][71] s[3][4][72] s[3][4][73] s[3][4][74] s[3][4][75] s[3][4][76] s[3][4][77] s[3][4][78] s[3][4][79] s[3][4][80] s[3][4][81] s[3][4][82] s[3][4][83] s[3][4][84] s[3][4][85] s[3][4][86] s[3][4][87] s[3][4][88] s[3][4][89] s[3][4][90] s[3][4][91] s[3][4][92] s[3][4][93] s[3][4][94] s[3][4][95] s[3][4][96] s[3][4][97] s[3][4][98] s[3][4][99] s[3][4][100] s[3][4][101] s[3][4][102] s[3][4][103] s[3][4][104] s[3][4][105] s[3][4][106] s[3][4][107] s[3][5][0] s[3][5][1] s[3][5][2] s[3][5][3] s[3][5][4] s[3][5][5] s[3][5][6] s[3][5][7] s[3][5][8] s[3][5][9] s[3][5][10] s[3][5][11] s[3][5][12] s[3][5][13] s[3][5][14] s[3][5][15] s[3][5][16] s[3][5][17] s[3][5][18] s[3][5][19] s[3][5][20] s[3][5][21] s[3][5][22] s[3][5][23] s[3][5][24] s[3][5][25] s[3][5][26] s[3][5][27] s[3][5][28] s[3][5][29] s[3][5][30] s[3][5][31] s[3][5][32] s[3][5][33] s[3][5][34] s[3][5][35] s[3][5][36] s[3][5][37] s[3][5][38] s[3][5][39] s[3][5][40] s[3][5][41] s[3][5][42] s[3][5][43] s[3][5][44] s[3][5][45] s[3][5][46] s[3][5][47] s[3][5][48] s[3][5][49] s[3][5][50] s[3][5][51] s[3][5][52] s[3][5][53] s[3][5][54] s[3][5][55] s[3][5][56] s[3][5][57] s[3][5][58] s[3][5][59] s[3][5][60] s[3][5][61] s[3][5][62] s[3][5][63] s[3][5][64] s[3][5][65] s[3][5][66] s[3][5][67] s[3][5][68] s[3][5][69] s[3][5][70] s[3][5][71] s[3][5][72] s[3][5][73] s[3][5][74] s[3][5][75] s[3][5][76] s[3][5][77] s[3][5][78] s[3][5][79] s[3][5][80] s[3][5][81] s[3][5][82] s[3][5][83] s[3][5][84] s[3][5][85] s[3][5][86] s[3][5][87] s[3][5][88] s[3][5][89] s[3][5][90] s[3][5][91] s[3][5][92] s[3][5][93] s[3][5][94] s[3][5][95] s[3][5][96] s[3][5][97] s[3][5][98] s[3][5][99] s[3][5][100] s[3][5][101] s[3][5][102] s[3][5][103] s[3][5][104] s[3][5][105] s[3][5][106] s[3][5][107] s[3][6][0] s[3][6][1] s[3][6][2] s[3][6][3] s[3][6][4] s[3][6][5] s[3][6][6] s[3][6][7] s[3][6][8] s[3][6][9] s[3][6][10] s[3][6][11] s[3][6][12] s[3][6][13] s[3][6][14] s[3][6][15] s[3][6][16] s[3][6][17] s[3][6][18] s[3][6][19] s[3][6][20] s[3][6][21] s[3][6][22] s[3][6][23] s[3][6][24] s[3][6][25] s[3][6][26] s[3][6][27] s[3][6][28] s[3][6][29] s[3][6][30] s[3][6][31] s[3][6][32] s[3][6][33] s[3][6][34] s[3][6][35] s[3][6][36] s[3][6][37] s[3][6][38] s[3][6][39] s[3][6][40] s[3][6][41] s[3][6][42] s[3][6][43] s[3][6][44] s[3][6][45] s[3][6][46] s[3][6][47] s[3][6][48] s[3][6][49] s[3][6][50] s[3][6][51] s[3][6][52] s[3][6][53] s[3][6][54] s[3][6][55] s[3][6][56] s[3][6][57] s[3][6][58] s[3][6][59] s[3][6][60] s[3][6][61] s[3][6][62] s[3][6][63] s[3][6][64] s[3][6][65] s[3][6][66] s[3][6][67] s[3][6][68] s[3][6][69] s[3][6][70] s[3][6][71] s[3][6][72] s[3][6][73] s[3][6][74] s[3][6][75] s[3][6][76] s[3][6][77] s[3][6][78] s[3][6][79] s[3][6][80] s[3][6][81] s[3][6][82] s[3][6][83] s[3][6][84] s[3][6][85] s[3][6][86] s[3][6][87] s[3][6][88] s[3][6][89] s[3][6][90] s[3][6][91] s[3][6][92] s[3][6][93] s[3][6][94] s[3][6][95] s[3][6][96] s[3][6][97] s[3][6][98] s[3][6][99] s[3][6][100] s[3][6][101] s[3][6][102] s[3][6][103] s[3][6][104] s[3][6][105] s[3][6][106] s[3][6][107] s[3][7][0] s[3][7][1] s[3][7][2] s[3][7][3] s[3][7][4] s[3][7][5] s[3][7][6] s[3][7][7] s[3][7][8] s[3][7][9] s[3][7][10] s[3][7][11] s[3][7][12] s[3][7][13] s[3][7][14] s[3][7][15] s[3][7][16] s[3][7][17] s[3][7][18] s[3][7][19] s[3][7][20] s[3][7][21] s[3][7][22] s[3][7][23] s[3][7][24] s[3][7][25] s[3][7][26] s[3][7][27] s[3][7][28] s[3][7][29] s[3][7][30] s[3][7][31] s[3][7][32] s[3][7][33] s[3][7][34] s[3][7][35] s[3][7][36] s[3][7][37] s[3][7][38] s[3][7][39] s[3][7][40] s[3][7][41] s[3][7][42] s[3][7][43] s[3][7][44] s[3][7][45] s[3][7][46] s[3][7][47] s[3][7][48] s[3][7][49] s[3][7][50] s[3][7][51] s[3][7][52] s[3][7][53] s[3][7][54] s[3][7][55] s[3][7][56] s[3][7][57] s[3][7][58] s[3][7][59] s[3][7][60] s[3][7][61] s[3][7][62] s[3][7][63] s[3][7][64] s[3][7][65] s[3][7][66] s[3][7][67] s[3][7][68] s[3][7][69] s[3][7][70] s[3][7][71] s[3][7][72] s[3][7][73] s[3][7][74] s[3][7][75] s[3][7][76] s[3][7][77] s[3][7][78] s[3][7][79] s[3][7][80] s[3][7][81] s[3][7][82] s[3][7][83] s[3][7][84] s[3][7][85] s[3][7][86] s[3][7][87] s[3][7][88] s[3][7][89] s[3][7][90] s[3][7][91] s[3][7][92] s[3][7][93] s[3][7][94] s[3][7][95] s[3][7][96] s[3][7][97] s[3][7][98] s[3][7][99] s[3][7][100] s[3][7][101] s[3][7][102] s[3][7][103] s[3][7][104] s[3][7][105] s[3][7][106] s[3][7][107] s[3][8][0] s[3][8][1] s[3][8][2] s[3][8][3] s[3][8][4] s[3][8][5] s[3][8][6] s[3][8][7] s[3][8][8] s[3][8][9] s[3][8][10] s[3][8][11] s[3][8][12] s[3][8][13] s[3][8][14] s[3][8][15] s[3][8][16] s[3][8][17] s[3][8][18] s[3][8][19] s[3][8][20] s[3][8][21] s[3][8][22] s[3][8][23] s[3][8][24] s[3][8][25] s[3][8][26] s[3][8][27] s[3][8][28] s[3][8][29] s[3][8][30] s[3][8][31] s[3][8][32] s[3][8][33] s[3][8][34] s[3][8][35] s[3][8][36] s[3][8][37] s[3][8][38] s[3][8][39] s[3][8][40] s[3][8][41] s[3][8][42] s[3][8][43] s[3][8][44] s[3][8][45] s[3][8][46] s[3][8][47] s[3][8][48] s[3][8][49] s[3][8][50] s[3][8][51] s[3][8][52] s[3][8][53] s[3][8][54] s[3][8][55] s[3][8][56] s[3][8][57] s[3][8][58] s[3][8][59] s[3][8][60] s[3][8][61] s[3][8][62] s[3][8][63] s[3][8][64] s[3][8][65] s[3][8][66] s[3][8][67] s[3][8][68] s[3][8][69] s[3][8][70] s[3][8][71] s[3][8][72] s[3][8][73] s[3][8][74] s[3][8][75] s[3][8][76] s[3][8][77] s[3][8][78] s[3][8][79] s[3][8][80] s[3][8][81] s[3][8][82] s[3][8][83] s[3][8][84] s[3][8][85] s[3][8][86] s[3][8][87] s[3][8][88] s[3][8][89] s[3][8][90] s[3][8][91] s[3][8][92] s[3][8][93] s[3][8][94] s[3][8][95] s[3][8][96] s[3][8][97] s[3][8][98] s[3][8][99] s[3][8][100] s[3][8][101] s[3][8][102] s[3][8][103] s[3][8][104] s[3][8][105] s[3][8][106] s[3][8][107] s[4][5][0] s[4][5][1] s[4][5][2] s[4][5][3] s[4][5][4] s[4][5][5] s[4][5][6] s[4][5][7] s[4][5][8] s[4][5][9] s[4][5][10] s[4][5][11] s[4][5][12] s[4][5][13] s[4][5][14] s[4][5][15] s[4][5][16] s[4][5][17] s[4][5][18] s[4][5][19] s[4][5][20] s[4][5][21] s[4][5][22] s[4][5][23] s[4][5][24] s[4][5][25] s[4][5][26] s[4][5][27] s[4][5][28] s[4][5][29] s[4][5][30] s[4][5][31] s[4][5][32] s[4][5][33] s[4][5][34] s[4][5][35] s[4][5][36] s[4][5][37] s[4][5][38] s[4][5][39] s[4][5][40] s[4][5][41] s[4][5][42] s[4][5][43] s[4][5][44] s[4][5][45] s[4][5][46] s[4][5][47] s[4][5][48] s[4][5][49] s[4][5][50] s[4][5][51] s[4][5][52] s[4][5][53] s[4][5][54] s[4][5][55] s[4][5][56] s[4][5][57] s[4][5][58] s[4][5][59] s[4][5][60] s[4][5][61] s[4][5][62] s[4][5][63] s[4][5][64] s[4][5][65] s[4][5][66] s[4][5][67] s[4][5][68] s[4][5][69] s[4][5][70] s[4][5][71] s[4][5][72] s[4][5][73] s[4][5][74] s[4][5][75] s[4][5][76] s[4][5][77] s[4][5][78] s[4][5][79] s[4][5][80] s[4][5][81] s[4][5][82] s[4][5][83] s[4][5][84] s[4][5][85] s[4][5][86] s[4][5][87] s[4][5][88] s[4][5][89] s[4][5][90] s[4][5][91] s[4][5][92] s[4][5][93] s[4][5][94] s[4][5][95] s[4][5][96] s[4][5][97] s[4][5][98] s[4][5][99] s[4][5][100] s[4][5][101] s[4][5][102] s[4][5][103] s[4][5][104] s[4][5][105] s[4][5][106] s[4][5][107] s[4][6][0] s[4][6][1] s[4][6][2] s[4][6][3] s[4][6][4] s[4][6][5] s[4][6][6] s[4][6][7] s[4][6][8] s[4][6][9] s[4][6][10] s[4][6][11] s[4][6][12] s[4][6][13] s[4][6][14] s[4][6][15] s[4][6][16] s[4][6][17] s[4][6][18] s[4][6][19] s[4][6][20] s[4][6][21] s[4][6][22] s[4][6][23] s[4][6][24] s[4][6][25] s[4][6][26] s[4][6][27] s[4][6][28] s[4][6][29] s[4][6][30] s[4][6][31] s[4][6][32] s[4][6][33] s[4][6][34] s[4][6][35] s[4][6][36] s[4][6][37] s[4][6][38] s[4][6][39] s[4][6][40] s[4][6][41] s[4][6][42] s[4][6][43] s[4][6][44] s[4][6][45] s[4][6][46] s[4][6][47] s[4][6][48] s[4][6][49] s[4][6][50] s[4][6][51] s[4][6][52] s[4][6][53] s[4][6][54] s[4][6][55] s[4][6][56] s[4][6][57] s[4][6][58] s[4][6][59] s[4][6][60] s[4][6][61] s[4][6][62] s[4][6][63] s[4][6][64] s[4][6][65] s[4][6][66] s[4][6][67] s[4][6][68] s[4][6][69] s[4][6][70] s[4][6][71] s[4][6][72] s[4][6][73] s[4][6][74] s[4][6][75] s[4][6][76] s[4][6][77] s[4][6][78] s[4][6][79] s[4][6][80] s[4][6][81] s[4][6][82] s[4][6][83] s[4][6][84] s[4][6][85] s[4][6][86] s[4][6][87] s[4][6][88] s[4][6][89] s[4][6][90] s[4][6][91] s[4][6][92] s[4][6][93] s[4][6][94] s[4][6][95] s[4][6][96] s[4][6][97] s[4][6][98] s[4][6][99] s[4][6][100] s[4][6][101] s[4][6][102] s[4][6][103] s[4][6][104] s[4][6][105] s[4][6][106] s[4][6][107] s[4][7][0] s[4][7][1] s[4][7][2] s[4][7][3] s[4][7][4] s[4][7][5] s[4][7][6] s[4][7][7] s[4][7][8] s[4][7][9] s[4][7][10] s[4][7][11] s[4][7][12] s[4][7][13] s[4][7][14] s[4][7][15] s[4][7][16] s[4][7][17] s[4][7][18] s[4][7][19] s[4][7][20] s[4][7][21] s[4][7][22] s[4][7][23] s[4][7][24] s[4][7][25] s[4][7][26] s[4][7][27] s[4][7][28] s[4][7][29] s[4][7][30] s[4][7][31] s[4][7][32] s[4][7][33] s[4][7][34] s[4][7][35] s[4][7][36] s[4][7][37] s[4][7][38] s[4][7][39] s[4][7][40] s[4][7][41] s[4][7][42] s[4][7][43] s[4][7][44] s[4][7][45] s[4][7][46] s[4][7][47] s[4][7][48] s[4][7][49] s[4][7][50] s[4][7][51] s[4][7][52] s[4][7][53] s[4][7][54] s[4][7][55] s[4][7][56] s[4][7][57] s[4][7][58] s[4][7][59] s[4][7][60] s[4][7][61] s[4][7][62] s[4][7][63] s[4][7][64] s[4][7][65] s[4][7][66] s[4][7][67] s[4][7][68] s[4][7][69] s[4][7][70] s[4][7][71] s[4][7][72] s[4][7][73] s[4][7][74] s[4][7][75] s[4][7][76] s[4][7][77] s[4][7][78] s[4][7][79] s[4][7][80] s[4][7][81] s[4][7][82] s[4][7][83] s[4][7][84] s[4][7][85] s[4][7][86] s[4][7][87] s[4][7][88] s[4][7][89] s[4][7][90] s[4][7][91] s[4][7][92] s[4][7][93] s[4][7][94] s[4][7][95] s[4][7][96] s[4][7][97] s[4][7][98] s[4][7][99] s[4][7][100] s[4][7][101] s[4][7][102] s[4][7][103] s[4][7][104] s[4][7][105] s[4][7][106] s[4][7][107] s[4][8][0] s[4][8][1] s[4][8][2] s[4][8][3] s[4][8][4] s[4][8][5] s[4][8][6] s[4][8][7] s[4][8][8] s[4][8][9] s[4][8][10] s[4][8][11] s[4][8][12] s[4][8][13] s[4][8][14] s[4][8][15] s[4][8][16] s[4][8][17] s[4][8][18] s[4][8][19] s[4][8][20] s[4][8][21] s[4][8][22] s[4][8][23] s[4][8][24] s[4][8][25] s[4][8][26] s[4][8][27] s[4][8][28] s[4][8][29] s[4][8][30] s[4][8][31] s[4][8][32] s[4][8][33] s[4][8][34] s[4][8][35] s[4][8][36] s[4][8][37] s[4][8][38] s[4][8][39] s[4][8][40] s[4][8][41] s[4][8][42] s[4][8][43] s[4][8][44] s[4][8][45] s[4][8][46] s[4][8][47] s[4][8][48] s[4][8][49] s[4][8][50] s[4][8][51] s[4][8][52] s[4][8][53] s[4][8][54] s[4][8][55] s[4][8][56] s[4][8][57] s[4][8][58] s[4][8][59] s[4][8][60] s[4][8][61] s[4][8][62] s[4][8][63] s[4][8][64] s[4][8][65] s[4][8][66] s[4][8][67] s[4][8][68] s[4][8][69] s[4][8][70] s[4][8][71] s[4][8][72] s[4][8][73] s[4][8][74] s[4][8][75] s[4][8][76] s[4][8][77] s[4][8][78] s[4][8][79] s[4][8][80] s[4][8][81] s[4][8][82] s[4][8][83] s[4][8][84] s[4][8][85] s[4][8][86] s[4][8][87] s[4][8][88] s[4][8][89] s[4][8][90] s[4][8][91] s[4][8][92] s[4][8][93] s[4][8][94] s[4][8][95] s[4][8][96] s[4][8][97] s[4][8][98] s[4][8][99] s[4][8][100] s[4][8][101] s[4][8][102] s[4][8][103] s[4][8][104] s[4][8][105] s[4][8][106] s[4][8][107] s[5][6][0] s[5][6][1] s[5][6][2] s[5][6][3] s[5][6][4] s[5][6][5] s[5][6][6] s[5][6][7] s[5][6][8] s[5][6][9] s[5][6][10] s[5][6][11] s[5][6][12] s[5][6][13] s[5][6][14] s[5][6][15] s[5][6][16] s[5][6][17] s[5][6][18] s[5][6][19] s[5][6][20] s[5][6][21] s[5][6][22] s[5][6][23] s[5][6][24] s[5][6][25] s[5][6][26] s[5][6][27] s[5][6][28] s[5][6][29] s[5][6][30] s[5][6][31] s[5][6][32] s[5][6][33] s[5][6][34] s[5][6][35] s[5][6][36] s[5][6][37] s[5][6][38] s[5][6][39] s[5][6][40] s[5][6][41] s[5][6][42] s[5][6][43] s[5][6][44] s[5][6][45] s[5][6][46] s[5][6][47] s[5][6][48] s[5][6][49] s[5][6][50] s[5][6][51] s[5][6][52] s[5][6][53] s[5][6][54] s[5][6][55] s[5][6][56] s[5][6][57] s[5][6][58] s[5][6][59] s[5][6][60] s[5][6][61] s[5][6][62] s[5][6][63] s[5][6][64] s[5][6][65] s[5][6][66] s[5][6][67] s[5][6][68] s[5][6][69] s[5][6][70] s[5][6][71] s[5][6][72] s[5][6][73] s[5][6][74] s[5][6][75] s[5][6][76] s[5][6][77] s[5][6][78] s[5][6][79] s[5][6][80] s[5][6][81] s[5][6][82] s[5][6][83] s[5][6][84] s[5][6][85] s[5][6][86] s[5][6][87] s[5][6][88] s[5][6][89] s[5][6][90] s[5][6][91] s[5][6][92] s[5][6][93] s[5][6][94] s[5][6][95] s[5][6][96] s[5][6][97] s[5][6][98] s[5][6][99] s[5][6][100] s[5][6][101] s[5][6][102] s[5][6][103] s[5][6][104] s[5][6][105] s[5][6][106] s[5][6][107] s[5][7][0] s[5][7][1] s[5][7][2] s[5][7][3] s[5][7][4] s[5][7][5] s[5][7][6] s[5][7][7] s[5][7][8] s[5][7][9] s[5][7][10] s[5][7][11] s[5][7][12] s[5][7][13] s[5][7][14] s[5][7][15] s[5][7][16] s[5][7][17] s[5][7][18] s[5][7][19] s[5][7][20] s[5][7][21] s[5][7][22] s[5][7][23] s[5][7][24] s[5][7][25] s[5][7][26] s[5][7][27] s[5][7][28] s[5][7][29] s[5][7][30] s[5][7][31] s[5][7][32] s[5][7][33] s[5][7][34] s[5][7][35] s[5][7][36] s[5][7][37] s[5][7][38] s[5][7][39] s[5][7][40] s[5][7][41] s[5][7][42] s[5][7][43] s[5][7][44] s[5][7][45] s[5][7][46] s[5][7][47] s[5][7][48] s[5][7][49] s[5][7][50] s[5][7][51] s[5][7][52] s[5][7][53] s[5][7][54] s[5][7][55] s[5][7][56] s[5][7][57] s[5][7][58] s[5][7][59] s[5][7][60] s[5][7][61] s[5][7][62] s[5][7][63] s[5][7][64] s[5][7][65] s[5][7][66] s[5][7][67] s[5][7][68] s[5][7][69] s[5][7][70] s[5][7][71] s[5][7][72] s[5][7][73] s[5][7][74] s[5][7][75] s[5][7][76] s[5][7][77] s[5][7][78] s[5][7][79] s[5][7][80] s[5][7][81] s[5][7][82] s[5][7][83] s[5][7][84] s[5][7][85] s[5][7][86] s[5][7][87] s[5][7][88] s[5][7][89] s[5][7][90] s[5][7][91] s[5][7][92] s[5][7][93] s[5][7][94] s[5][7][95] s[5][7][96] s[5][7][97] s[5][7][98] s[5][7][99] s[5][7][100] s[5][7][101] s[5][7][102] s[5][7][103] s[5][7][104] s[5][7][105] s[5][7][106] s[5][7][107] s[5][8][0] s[5][8][1] s[5][8][2] s[5][8][3] s[5][8][4] s[5][8][5] s[5][8][6] s[5][8][7] s[5][8][8] s[5][8][9] s[5][8][10] s[5][8][11] s[5][8][12] s[5][8][13] s[5][8][14] s[5][8][15] s[5][8][16] s[5][8][17] s[5][8][18] s[5][8][19] s[5][8][20] s[5][8][21] s[5][8][22] s[5][8][23] s[5][8][24] s[5][8][25] s[5][8][26] s[5][8][27] s[5][8][28] s[5][8][29] s[5][8][30] s[5][8][31] s[5][8][32] s[5][8][33] s[5][8][34] s[5][8][35] s[5][8][36] s[5][8][37] s[5][8][38] s[5][8][39] s[5][8][40] s[5][8][41] s[5][8][42] s[5][8][43] s[5][8][44] s[5][8][45] s[5][8][46] s[5][8][47] s[5][8][48] s[5][8][49] s[5][8][50] s[5][8][51] s[5][8][52] s[5][8][53] s[5][8][54] s[5][8][55] s[5][8][56] s[5][8][57] s[5][8][58] s[5][8][59] s[5][8][60] s[5][8][61] s[5][8][62] s[5][8][63] s[5][8][64] s[5][8][65] s[5][8][66] s[5][8][67] s[5][8][68] s[5][8][69] s[5][8][70] s[5][8][71] s[5][8][72] s[5][8][73] s[5][8][74] s[5][8][75] s[5][8][76] s[5][8][77] s[5][8][78] s[5][8][79] s[5][8][80] s[5][8][81] s[5][8][82] s[5][8][83] s[5][8][84] s[5][8][85] s[5][8][86] s[5][8][87] s[5][8][88] s[5][8][89] s[5][8][90] s[5][8][91] s[5][8][92] s[5][8][93] s[5][8][94] s[5][8][95] s[5][8][96] s[5][8][97] s[5][8][98] s[5][8][99] s[5][8][100] s[5][8][101] s[5][8][102] s[5][8][103] s[5][8][104] s[5][8][105] s[5][8][106] s[5][8][107] s[6][7][0] s[6][7][1] s[6][7][2] s[6][7][3] s[6][7][4] s[6][7][5] s[6][7][6] s[6][7][7] s[6][7][8] s[6][7][9] s[6][7][10] s[6][7][11] s[6][7][12] s[6][7][13] s[6][7][14] s[6][7][15] s[6][7][16] s[6][7][17] s[6][7][18] s[6][7][19] s[6][7][20] s[6][7][21] s[6][7][22] s[6][7][23] s[6][7][24] s[6][7][25] s[6][7][26] s[6][7][27] s[6][7][28] s[6][7][29] s[6][7][30] s[6][7][31] s[6][7][32] s[6][7][33] s[6][7][34] s[6][7][35] s[6][7][36] s[6][7][37] s[6][7][38] s[6][7][39] s[6][7][40] s[6][7][41] s[6][7][42] s[6][7][43] s[6][7][44] s[6][7][45] s[6][7][46] s[6][7][47] s[6][7][48] s[6][7][49] s[6][7][50] s[6][7][51] s[6][7][52] s[6][7][53] s[6][7][54] s[6][7][55] s[6][7][56] s[6][7][57] s[6][7][58] s[6][7][59] s[6][7][60] s[6][7][61] s[6][7][62] s[6][7][63] s[6][7][64] s[6][7][65] s[6][7][66] s[6][7][67] s[6][7][68] s[6][7][69] s[6][7][70] s[6][7][71] s[6][7][72] s[6][7][73] s[6][7][74] s[6][7][75] s[6][7][76] s[6][7][77] s[6][7][78] s[6][7][79] s[6][7][80] s[6][7][81] s[6][7][82] s[6][7][83] s[6][7][84] s[6][7][85] s[6][7][86] s[6][7][87] s[6][7][88] s[6][7][89] s[6][7][90] s[6][7][91] s[6][7][92] s[6][7][93] s[6][7][94] s[6][7][95] s[6][7][96] s[6][7][97] s[6][7][98] s[6][7][99] s[6][7][100] s[6][7][101] s[6][7][102] s[6][7][103] s[6][7][104] s[6][7][105] s[6][7][106] s[6][7][107] s[6][8][0] s[6][8][1] s[6][8][2] s[6][8][3] s[6][8][4] s[6][8][5] s[6][8][6] s[6][8][7] s[6][8][8] s[6][8][9] s[6][8][10] s[6][8][11] s[6][8][12] s[6][8][13] s[6][8][14] s[6][8][15] s[6][8][16] s[6][8][17] s[6][8][18] s[6][8][19] s[6][8][20] s[6][8][21] s[6][8][22] s[6][8][23] s[6][8][24] s[6][8][25] s[6][8][26] s[6][8][27] s[6][8][28] s[6][8][29] s[6][8][30] s[6][8][31] s[6][8][32] s[6][8][33] s[6][8][34] s[6][8][35] s[6][8][36] s[6][8][37] s[6][8][38] s[6][8][39] s[6][8][40] s[6][8][41] s[6][8][42] s[6][8][43] s[6][8][44] s[6][8][45] s[6][8][46] s[6][8][47] s[6][8][48] s[6][8][49] s[6][8][50] s[6][8][51] s[6][8][52] s[6][8][53] s[6][8][54] s[6][8][55] s[6][8][56] s[6][8][57] s[6][8][58] s[6][8][59] s[6][8][60] s[6][8][61] s[6][8][62] s[6][8][63] s[6][8][64] s[6][8][65] s[6][8][66] s[6][8][67] s[6][8][68] s[6][8][69] s[6][8][70] s[6][8][71] s[6][8][72] s[6][8][73] s[6][8][74] s[6][8][75] s[6][8][76] s[6][8][77] s[6][8][78] s[6][8][79] s[6][8][80] s[6][8][81] s[6][8][82] s[6][8][83] s[6][8][84] s[6][8][85] s[6][8][86] s[6][8][87] s[6][8][88] s[6][8][89] s[6][8][90] s[6][8][91] s[6][8][92] s[6][8][93] s[6][8][94] s[6][8][95] s[6][8][96] s[6][8][97] s[6][8][98] s[6][8][99] s[6][8][100] s[6][8][101] s[6][8][102] s[6][8][103] s[6][8][104] s[6][8][105] s[6][8][106] s[6][8][107] s[7][8][0] s[7][8][1] s[7][8][2] s[7][8][3] s[7][8][4] s[7][8][5] s[7][8][6] s[7][8][7] s[7][8][8] s[7][8][9] s[7][8][10] s[7][8][11] s[7][8][12] s[7][8][13] s[7][8][14] s[7][8][15] s[7][8][16] s[7][8][17] s[7][8][18] s[7][8][19] s[7][8][20] s[7][8][21] s[7][8][22] s[7][8][23] s[7][8][24] s[7][8][25] s[7][8][26] s[7][8][27] s[7][8][28] s[7][8][29] s[7][8][30] s[7][8][31] s[7][8][32] s[7][8][33] s[7][8][34] s[7][8][35] s[7][8][36] s[7][8][37] s[7][8][38] s[7][8][39] s[7][8][40] s[7][8][41] s[7][8][42] s[7][8][43] s[7][8][44] s[7][8][45] s[7][8][46] s[7][8][47] s[7][8][48] s[7][8][49] s[7][8][50] s[7][8][51] s[7][8][52] s[7][8][53] s[7][8][54] s[7][8][55] s[7][8][56] s[7][8][57] s[7][8][58] s[7][8][59] s[7][8][60] s[7][8][61] s[7][8][62] s[7][8][63] s[7][8][64] s[7][8][65] s[7][8][66] s[7][8][67] s[7][8][68] s[7][8][69] s[7][8][70] s[7][8][71] s[7][8][72] s[7][8][73] s[7][8][74] s[7][8][75] s[7][8][76] s[7][8][77] s[7][8][78] s[7][8][79] s[7][8][80] s[7][8][81] s[7][8][82] s[7][8][83] s[7][8][84] s[7][8][85] s[7][8][86] s[7][8][87] s[7][8][88] s[7][8][89] s[7][8][90] s[7][8][91] s[7][8][92] s[7][8][93] s[7][8][94] s[7][8][95] s[7][8][96] s[7][8][97] s[7][8][98] s[7][8][99] s[7][8][100] s[7][8][101] s[7][8][102] s[7][8][103] s[7][8][104] s[7][8][105] s[7][8][106] s[7][8][107] </list>
20.63/4.44	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
20.63/4.44	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297619-1532715736/watcher-4297619-1532715736 -o /tmp/evaluation-result-4297619-1532715736/solver-4297619-1532715736 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532705124-11690 --watchdog 2580 HOME/xcsp3-exec -seed 1791912289 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297619-1532715736.xml 

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

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


[startup+0.100111 s]*
/proc/loadavg: 2.42 1.39 1.48 2/200 16572
/proc/meminfo: memFree=28138580/32770624 swapFree=67108532/67108860
[pid=16551] ppid=16548 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16551/stat : 16551 (xcsp3-exec) S 16548 16551 11663 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89136761 115843072 364 33554432000 4194304 5098028 140733463430352 140733463428456 140518466482812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33632256 140733463434293 140733463434496 140733463434496 140733463437258 0
/proc/16551/statm: 28282 364 306 221 0 87 0
[pid=16553] ppid=16551 vsize=26104152 memory=26848 CPUtime=0.11 cores=0-7
/proc/16553/stat : 16553 (java) S 16551 16551 11663 0 -1 1077944320 5659 0 0 0 10 1 0 0 20 0 20 0 89136761 26730651648 6712 33554432000 4194304 4196468 140732101299408 140732101281952 139824327446263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
/proc/16553/statm: 6526038 6712 3000 1 0 6488315 0
[pid=16553/tid=16554] ppid=16551 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/16553/task/16554/stat : 16554 (java) R 16551 16551 11663 0 -1 4202560 3666 0 0 0 8 0 0 0 20 0 20 0 89136762 26730651648 6712 33554432000 4194304 4196468 140732101299408 139824331679536 139824327468189 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16555] ppid=16551 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16553/task/16555/stat : 16555 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 6712 33554432000 4194304 4196468 140732101299408 139824280067088 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16556] ppid=16551 vsize=26104152 memory=140298691868288 CPUtime=0 cores=0-7
/proc/16553/task/16556/stat : 16556 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 6712 33554432000 4194304 4196468 140732101299408 139824279014544 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16557] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16557/stat : 16557 (java) S 16551 16551 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 6712 33554432000 4194304 4196468 140732101299408 139824277961488 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16558] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16558/stat : 16558 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 6712 33554432000 4194304 4196468 140732101299408 139824276908944 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16559] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16559/stat : 16559 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 6712 33554432000 4194304 4196468 140732101299408 139824275855888 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16560] ppid=16551 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16553/task/16560/stat : 16560 (java) S 16551 16551 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 6712 33554432000 4194304 4196468 140732101299408 139824274803344 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16561] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16561/stat : 16561 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 6712 33554432000 4194304 4196468 140732101299408 139824273750288 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16562] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16562/stat : 16562 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 6712 33554432000 4194304 4196468 140732101299408 139824272697744 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16563] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16563/stat : 16563 (java) S 16551 16551 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136764 26730651648 6712 33554432000 4194304 4196468 140732101299408 139822598929136 139824327457410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16564] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16564/stat : 16564 (java) S 16551 16551 11663 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89136764 26730651648 6712 33554432000 4194304 4196468 140732101299408 139822597875360 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16565] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16565/stat : 16565 (java) S 16551 16551 11663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89136765 26730651648 6712 33554432000 4194304 4196468 140732101299408 139822596822256 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16566] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16566/stat : 16566 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136767 26730651648 6712 33554432000 4194304 4196468 140732101299408 139822595770832 139824327464859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16567] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16567/stat : 16567 (java) S 16551 16551 11663 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 89136767 26730651648 6712 33554432000 4194304 4196468 140732101299408 139822594717936 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16568] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16568/stat : 16568 (java) S 16551 16551 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89136767 26730651648 6712 33554432000 4194304 4196468 140732101299408 139822151588208 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16569] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16569/stat : 16569 (java) S 16551 16551 11663 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 89136767 26730651648 6712 33554432000 4194304 4196468 140732101299408 139822150535152 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16570] ppid=16551 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/16553/task/16570/stat : 16570 (java) S 16551 16551 11663 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 89136767 26730651648 6712 33554432000 4194304 4196468 140732101299408 139822149482608 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16571] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16571/stat : 16571 (java) S 16551 16551 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89136767 26730651648 6712 33554432000 4194304 4196468 140732101299408 139822148430816 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16572] ppid=16551 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16553/task/16572/stat : 16572 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136767 26730651648 6712 33554432000 4194304 4196468 140732101299408 139822147378352 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28304 KiB

[startup+0.210156 s]*
/proc/loadavg: 2.42 1.39 1.48 3/200 16572
/proc/meminfo: memFree=28128284/32770624 swapFree=67108532/67108860
[pid=16551] ppid=16548 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16551/stat : 16551 (xcsp3-exec) S 16548 16551 11663 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89136761 115843072 364 33554432000 4194304 5098028 140733463430352 140733463428456 140518466482812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33632256 140733463434293 140733463434496 140733463434496 140733463437258 0
/proc/16551/statm: 28282 364 306 221 0 87 0
[pid=16553] ppid=16551 vsize=26104152 memory=39144 CPUtime=0.33 cores=0-7
/proc/16553/stat : 16553 (java) S 16551 16551 11663 0 -1 1077944320 8456 0 0 0 30 3 0 0 20 0 20 0 89136761 26730651648 9786 33554432000 4194304 4196468 140732101299408 140732101281952 139824327446263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
/proc/16553/statm: 6526038 9786 3181 1 0 6488315 0
[pid=16553/tid=16554] ppid=16551 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16553/task/16554/stat : 16554 (java) R 16551 16551 11663 0 -1 4202560 5542 0 0 0 18 1 0 0 20 0 20 0 89136762 26730651648 9786 33554432000 4194304 4196468 140732101299408 139824331682960 139824311526750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16555] ppid=16551 vsize=26104152 memory=339 CPUtime=0 cores=0-7
/proc/16553/task/16555/stat : 16555 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 9786 33554432000 4194304 4196468 140732101299408 139824280067088 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16556] ppid=16551 vsize=26104152 memory=288370674843580032 CPUtime=0 cores=0-7
/proc/16553/task/16556/stat : 16556 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 9786 33554432000 4194304 4196468 140732101299408 139824279014544 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16557] ppid=16551 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16553/task/16557/stat : 16557 (java) S 16551 16551 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 9786 33554432000 4194304 4196468 140732101299408 139824277961488 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16558] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16558/stat : 16558 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 9786 33554432000 4194304 4196468 140732101299408 139824276908944 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16559] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16559/stat : 16559 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 9786 33554432000 4194304 4196468 140732101299408 139824275855888 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16560] ppid=16551 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16553/task/16560/stat : 16560 (java) S 16551 16551 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 9786 33554432000 4194304 4196468 140732101299408 139824274803344 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16561] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16561/stat : 16561 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 9786 33554432000 4194304 4196468 140732101299408 139824273750288 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16562] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16562/stat : 16562 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26730651648 9786 33554432000 4194304 4196468 140732101299408 139824272697744 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16563] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16563/stat : 16563 (java) S 16551 16551 11663 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89136764 26730651648 9786 33554432000 4194304 4196468 140732101299408 139822598929136 139824327457410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16564] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16564/stat : 16564 (java) S 16551 16551 11663 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89136764 26730651648 9786 33554432000 4194304 4196468 140732101299408 139822597875360 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16565] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16565/stat : 16565 (java) S 16551 16551 11663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89136765 26730651648 9786 33554432000 4194304 4196468 140732101299408 139822596822256 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16566] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16566/stat : 16566 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136767 26730651648 9786 33554432000 4194304 4196468 140732101299408 139822595770832 139824327464859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16567] ppid=16551 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/16553/task/16567/stat : 16567 (java) S 16551 16551 11663 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 20 0 89136767 26730651648 9786 33554432000 4194304 4196468 140732101299408 139822594717936 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16568] ppid=16551 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/16553/task/16568/stat : 16568 (java) S 16551 16551 11663 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 20 0 89136767 26730651648 9786 33554432000 4194304 4196468 140732101299408 139822151588208 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16569] ppid=16551 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/16553/task/16569/stat : 16569 (java) S 16551 16551 11663 0 -1 1077944384 392 0 0 0 1 0 0 0 20 0 20 0 89136767 26730651648 9786 33554432000 4194304 4196468 140732101299408 139822150535152 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16570] ppid=16551 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/16553/task/16570/stat : 16570 (java) S 16551 16551 11663 0 -1 1077944384 784 0 0 0 7 0 0 0 20 0 20 0 89136767 26730651648 9786 33554432000 4194304 4196468 140732101299408 139822149482608 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16571] ppid=16551 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16571/stat : 16571 (java) S 16551 16551 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89136767 26730651648 9786 33554432000 4194304 4196468 140732101299408 139822148430816 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16572] ppid=16551 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16553/task/16572/stat : 16572 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136767 26730651648 9786 33554432000 4194304 4196468 140732101299408 139822147378352 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40600 KiB

[startup+0.309655 s]*
/proc/loadavg: 2.42 1.39 1.48 5/200 16572
/proc/meminfo: memFree=28121956/32770624 swapFree=67108532/67108860
[pid=16551] ppid=16548 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16551/stat : 16551 (xcsp3-exec) S 16548 16551 11663 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89136761 115843072 364 33554432000 4194304 5098028 140733463430352 140733463428456 140518466482812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33632256 140733463434293 140733463434496 140733463434496 140733463437258 0
/proc/16551/statm: 28282 364 306 221 0 87 0
[pid=16553] ppid=16551 vsize=26108408 memory=46464 CPUtime=0.51 cores=0-7
/proc/16553/stat : 16553 (java) S 16551 16551 11663 0 -1 1077944320 9311 0 0 0 47 4 0 0 20 0 20 0 89136761 26735009792 11616 33554432000 4194304 4196468 140732101299408 140732101281952 139824327446263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
/proc/16553/statm: 6527102 11616 3270 1 0 6488315 0
[pid=16553/tid=16554] ppid=16551 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16553/task/16554/stat : 16554 (java) R 16551 16551 11663 0 -1 4202560 6219 0 0 0 27 2 0 0 20 0 20 0 89136762 26735009792 11672 33554432000 4194304 4196468 140732101299408 139824331677456 139824311526750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16555] ppid=16551 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16555/stat : 16555 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26735009792 11672 33554432000 4194304 4196468 140732101299408 139824280067088 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16556] ppid=16551 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16556/stat : 16556 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26735009792 11672 33554432000 4194304 4196468 140732101299408 139824279014544 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16557] ppid=16551 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16557/stat : 16557 (java) S 16551 16551 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89136763 26735009792 11672 33554432000 4194304 4196468 140732101299408 139824277961488 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16558] ppid=16551 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16558/stat : 16558 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26735009792 11672 33554432000 4194304 4196468 140732101299408 139824276908944 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16559] ppid=16551 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/16553/task/16559/stat : 16559 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26735009792 11672 33554432000 4194304 4196468 140732101299408 139824275855888 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16560] ppid=16551 vsize=26108408 memory=140298529371055 CPUtime=0 cores=0-7
/proc/16553/task/16560/stat : 16560 (java) S 16551 16551 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136763 26735009792 11672 33554432000 4194304 4196468 140732101299408 139824274803344 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16561] ppid=16551 vsize=26108408 memory=140298529373360 CPUtime=0 cores=0-7
/proc/16553/task/16561/stat : 16561 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26735009792 11672 33554432000 4194304 4196468 140732101299408 139824273750288 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16562] ppid=16551 vsize=26108408 memory=140298529375664 CPUtime=0 cores=0-7
/proc/16553/task/16562/stat : 16562 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26735009792 11672 33554432000 4194304 4196468 140732101299408 139824272697744 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16563] ppid=16551 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16563/stat : 16563 (java) S 16551 16551 11663 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89136764 26735009792 11672 33554432000 4194304 4196468 140732101299408 139822598929136 139824327457410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16564] ppid=16551 vsize=26108408 memory=280597058758288 CPUtime=0 cores=0-7
/proc/16553/task/16564/stat : 16564 (java) S 16551 16551 11663 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89136764 26735009792 11672 33554432000 4194304 4196468 140732101299408 139822597875360 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16565] ppid=16551 vsize=26108408 memory=280597058765200 CPUtime=0 cores=0-7
/proc/16553/task/16565/stat : 16565 (java) S 16551 16551 11663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89136765 26735009792 11672 33554432000 4194304 4196468 140732101299408 139822596822256 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16566] ppid=16551 vsize=26108408 memory=280597058706480 CPUtime=0 cores=0-7
/proc/16553/task/16566/stat : 16566 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136767 26735009792 11672 33554432000 4194304 4196468 140732101299408 139822595770832 139824327464859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16567] ppid=16551 vsize=26108408 memory=280597058779024 CPUtime=0.02 cores=0-7
/proc/16553/task/16567/stat : 16567 (java) S 16551 16551 11663 0 -1 1077944384 338 0 0 0 2 0 0 0 20 0 20 0 89136767 26735009792 11685 33554432000 4194304 4196468 140732101299408 139822594717936 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16568] ppid=16551 vsize=26108408 memory=280597058785936 CPUtime=0.04 cores=0-7
/proc/16553/task/16568/stat : 16568 (java) R 16551 16551 11663 0 -1 4202560 186 0 0 0 4 0 0 0 20 0 20 0 89136767 26735009792 11685 33554432000 4194304 4196468 140732101299408 139822151587392 139824310831107 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16569] ppid=16551 vsize=26108408 memory=280597058783632 CPUtime=0.02 cores=0-7
/proc/16553/task/16569/stat : 16569 (java) S 16551 16551 11663 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 20 0 89136767 26735009792 11685 33554432000 4194304 4196468 140732101299408 139822150535152 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16570] ppid=16551 vsize=26108408 memory=280597058799792 CPUtime=0.11 cores=0-7
/proc/16553/task/16570/stat : 16570 (java) S 16551 16551 11663 0 -1 1077944384 867 0 0 0 11 0 0 0 20 0 20 0 89136767 26735009792 11685 33554432000 4194304 4196468 140732101299408 139822149482608 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16571] ppid=16551 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16571/stat : 16571 (java) S 16551 16551 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89136767 26735009792 11685 33554432000 4194304 4196468 140732101299408 139822148430816 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16572] ppid=16551 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/16553/task/16572/stat : 16572 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136767 26735009792 11685 33554432000 4194304 4196468 140732101299408 139822147378352 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47920 KiB

[startup+0.70101 s]
/proc/loadavg: 2.42 1.39 1.48 6/200 16572
/proc/meminfo: memFree=28091996/32770624 swapFree=67108532/67108860
[pid=16551] ppid=16548 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16551/stat : 16551 (xcsp3-exec) S 16548 16551 11663 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89136761 115843072 364 33554432000 4194304 5098028 140733463430352 140733463428456 140518466482812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33632256 140733463434293 140733463434496 140733463434496 140733463437258 0
/proc/16551/statm: 28282 364 306 221 0 87 0
[pid=16553] ppid=16551 vsize=26110532 memory=119512 CPUtime=2.08 cores=0-7
/proc/16553/stat : 16553 (java) S 16551 16551 11663 0 -1 1077944320 14254 0 0 0 201 7 0 0 20 0 20 0 89136761 26737184768 29878 33554432000 4194304 4196468 140732101299408 140732101281952 139824327446263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
/proc/16553/statm: 6527633 29878 3358 1 0 6488827 0
[pid=16553/tid=16554] ppid=16551 vsize=26110532 memory=280597059157680 CPUtime=0.67 cores=0-7
/proc/16553/task/16554/stat : 16554 (java) R 16551 16551 11663 0 -1 4202560 6837 0 0 0 63 4 0 0 20 0 20 0 89136762 26737184768 29878 33554432000 4194304 4196468 140732101299408 139824331681872 139823952315186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16555] ppid=16551 vsize=26110532 memory=140298529579888 CPUtime=0 cores=0-7
/proc/16553/task/16555/stat : 16555 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26737184768 29878 33554432000 4194304 4196468 140732101299408 139824280067088 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16556] ppid=16551 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16556/stat : 16556 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136763 26737184768 29878 33554432000 4194304 4196468 140732101299408 139824279014544 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16557] ppid=16551 vsize=26110532 memory=1012 CPUtime=0 cores=0-7
/proc/16553/task/16557/stat : 16557 (java) S 16551 16551 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89136763 26737184768 29878 33554432000 4194304 4196468 140732101299408 139824277961488 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0

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

[pid=16553/tid=16570] ppid=16551 vsize=26645092 memory=0 CPUtime=0.78 cores=0-7
/proc/16553/task/16570/stat : 16570 (java) R 16551 16551 11663 0 -1 1077944384 3944 0 0 0 77 1 0 0 20 0 28 0 89136767 27284574208 146884 33554432000 4194304 4196468 140732101299408 139822149482608 139824327457410 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16571] ppid=16551 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16571/stat : 16571 (java) S 16551 16551 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89136767 27284574208 146884 33554432000 4194304 4196468 140732101299408 139822148430816 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16572] ppid=16551 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16572/stat : 16572 (java) S 16551 16551 11663 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 89136767 27284574208 146884 33554432000 4194304 4196468 140732101299408 139822147378352 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16573] ppid=16551 vsize=26645092 memory=0 CPUtime=0.31 cores=0-7
/proc/16553/task/16573/stat : 16573 (java) R 16551 16551 11663 0 -1 4202560 83 0 0 0 31 0 0 0 20 0 28 0 89137036 27284574208 146884 33554432000 4194304 4196468 140732101299408 139822136683512 139823961903823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16574] ppid=16551 vsize=26645092 memory=0 CPUtime=0.29 cores=0-7
/proc/16553/task/16574/stat : 16574 (java) R 16551 16551 11663 0 -1 4202560 46 0 0 0 29 0 0 0 20 0 28 0 89137036 27284574208 146884 33554432000 4194304 4196468 140732101299408 139822135631712 139823962103924 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16575] ppid=16551 vsize=26645092 memory=4048 CPUtime=0.25 cores=0-7
/proc/16553/task/16575/stat : 16575 (java) R 16551 16551 11663 0 -1 4202560 33 0 0 0 25 0 0 0 20 0 28 0 89137036 27284574208 146884 33554432000 4194304 4196468 140732101299408 139822134578872 139823952198292 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16576] ppid=16551 vsize=26645092 memory=640 CPUtime=0.39 cores=0-7
/proc/16553/task/16576/stat : 16576 (java) R 16551 16551 11663 0 -1 4202560 95 0 0 0 39 0 0 0 20 0 28 0 89137036 27284574208 146884 33554432000 4194304 4196468 140732101299408 139822133528248 139823961556512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16577] ppid=16551 vsize=26645092 memory=1788 CPUtime=0.41 cores=0-7
/proc/16553/task/16577/stat : 16577 (java) R 16551 16551 11663 0 -1 4202560 32 0 0 0 41 0 0 0 20 0 28 0 89137036 27284574208 146884 33554432000 4194304 4196468 140732101299408 139822132475416 139823962041978 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16578] ppid=16551 vsize=26645092 memory=960 CPUtime=0.34 cores=0-7
/proc/16553/task/16578/stat : 16578 (java) R 16551 16551 11663 0 -1 4202560 41 0 0 0 34 0 0 0 20 0 28 0 89137036 27284574208 146884 33554432000 4194304 4196468 140732101299408 139822131420792 139823952305913 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16579] ppid=16551 vsize=26645092 memory=1232 CPUtime=0.28 cores=0-7
/proc/16553/task/16579/stat : 16579 (java) R 16551 16551 11663 0 -1 4202560 34 0 0 0 28 0 0 0 20 0 28 0 89137036 27284574208 146884 33554432000 4194304 4196468 140732101299408 139822130369496 139823952286535 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16580] ppid=16551 vsize=26645092 memory=2332 CPUtime=0.22 cores=0-7
/proc/16553/task/16580/stat : 16580 (java) R 16551 16551 11663 0 -1 4202560 29 0 0 0 22 0 0 0 20 0 28 0 89137036 27284574208 146884 33554432000 4194304 4196468 140732101299408 139822129315272 139823961595573 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
Current children cumulated CPU time: 12.9 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 588992 KiB

[startup+4.00258 s]*
/proc/loadavg: 2.63 1.45 1.50 10/208 16580
/proc/meminfo: memFree=27464404/32770624 swapFree=67108532/67108860
[pid=16551] ppid=16548 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16551/stat : 16551 (xcsp3-exec) S 16548 16551 11663 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89136761 115843072 364 33554432000 4194304 5098028 140733463430352 140733463428456 140518466482812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33632256 140733463434293 140733463434496 140733463434496 140733463437258 0
/proc/16551/statm: 28282 364 306 221 0 87 0
[pid=16553] ppid=16551 vsize=26645092 memory=702416 CPUtime=19.31 cores=0-7
/proc/16553/stat : 16553 (java) S 16551 16551 11663 0 -1 1077944320 34551 0 0 0 1864 67 0 0 20 0 28 0 89136761 27284574208 175604 33554432000 4194304 4196468 140732101299408 140732101281952 139824327446263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
/proc/16553/statm: 6661273 175604 3428 1 0 6622467 0
[pid=16553/tid=16554] ppid=16551 vsize=26645092 memory=8316850467074736180 CPUtime=2.57 cores=0-7
/proc/16553/task/16554/stat : 16554 (java) S 16551 16551 11663 0 -1 1077944384 9798 0 0 0 248 9 0 0 20 0 28 0 89136762 27284574208 175604 33554432000 4194304 4196468 140732101299408 139824331687040 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16555] ppid=16551 vsize=26645092 memory=11933 CPUtime=0.19 cores=0-7
/proc/16553/task/16555/stat : 16555 (java) S 16551 16551 11663 0 -1 1077944384 323 0 0 0 13 6 0 0 20 0 28 0 89136763 27284574208 175604 33554432000 4194304 4196468 140732101299408 139824280067088 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16556] ppid=16551 vsize=26645092 memory=301794158559343061 CPUtime=0.18 cores=0-7
/proc/16553/task/16556/stat : 16556 (java) S 16551 16551 11663 0 -1 1077944384 181 0 0 0 12 6 0 0 20 0 28 0 89136763 27284574208 175604 33554432000 4194304 4196468 140732101299408 139824279014544 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16557] ppid=16551 vsize=26645092 memory=-9001727377965607015 CPUtime=0.17 cores=0-7
/proc/16553/task/16557/stat : 16557 (java) S 16551 16551 11663 0 -1 1077944384 125 0 0 0 12 5 0 0 20 0 28 0 89136763 27284574208 175604 33554432000 4194304 4196468 140732101299408 139824277961488 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16558] ppid=16551 vsize=26645092 memory=-7019007797916124576 CPUtime=0.17 cores=0-7
/proc/16553/task/16558/stat : 16558 (java) S 16551 16551 11663 0 -1 1077944384 194 0 0 0 11 6 0 0 20 0 28 0 89136763 27284574208 175604 33554432000 4194304 4196468 140732101299408 139824276908944 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16559] ppid=16551 vsize=26645092 memory=8761921863948460128 CPUtime=0.17 cores=0-7
/proc/16553/task/16559/stat : 16559 (java) S 16551 16551 11663 0 -1 1077944384 172 0 0 0 12 5 0 0 20 0 28 0 89136763 27284574208 175604 33554432000 4194304 4196468 140732101299408 139824275855888 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16560] ppid=16551 vsize=26645092 memory=-7384994778349281183 CPUtime=0.18 cores=0-7
/proc/16553/task/16560/stat : 16560 (java) S 16551 16551 11663 0 -1 1077944384 243 0 0 0 12 6 0 0 20 0 28 0 89136763 27284574208 175604 33554432000 4194304 4196468 140732101299408 139824274803344 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16561] ppid=16551 vsize=26645092 memory=0 CPUtime=0.19 cores=0-7
/proc/16553/task/16561/stat : 16561 (java) S 16551 16551 11663 0 -1 1077944384 183 0 0 0 13 6 0 0 20 0 28 0 89136763 27284574208 175604 33554432000 4194304 4196468 140732101299408 139824273750288 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16562] ppid=16551 vsize=26645092 memory=0 CPUtime=0.17 cores=0-7
/proc/16553/task/16562/stat : 16562 (java) S 16551 16551 11663 0 -1 1077944384 808 0 0 0 12 5 0 0 20 0 28 0 89136763 27284574208 175604 33554432000 4194304 4196468 140732101299408 139824272697744 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16563] ppid=16551 vsize=26645092 memory=0 CPUtime=0.01 cores=0-7
/proc/16553/task/16563/stat : 16563 (java) S 16551 16551 11663 0 -1 1077944384 719 0 0 0 1 0 0 0 20 0 28 0 89136764 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822598929136 139824327457410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16564] ppid=16551 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16564/stat : 16564 (java) S 16551 16551 11663 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 89136764 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822597875424 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16565] ppid=16551 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16565/stat : 16565 (java) S 16551 16551 11663 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 89136765 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822596822272 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16566] ppid=16551 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16566/stat : 16566 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89136767 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822595770832 139824327464859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16567] ppid=16551 vsize=26645092 memory=0 CPUtime=2.35 cores=0-7
/proc/16553/task/16567/stat : 16567 (java) S 16551 16551 11663 0 -1 1077944384 4957 0 0 0 233 2 0 0 20 0 28 0 89136767 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822594717936 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16568] ppid=16551 vsize=26645092 memory=1456 CPUtime=2.24 cores=0-7
/proc/16553/task/16568/stat : 16568 (java) S 16551 16551 11663 0 -1 1077944384 4757 0 0 0 223 1 0 0 20 0 28 0 89136767 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822151588208 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16569] ppid=16551 vsize=26645092 memory=462312 CPUtime=2.37 cores=0-7
/proc/16553/task/16569/stat : 16569 (java) R 16551 16551 11663 0 -1 1077944384 6211 0 0 0 235 2 0 0 20 0 28 0 89136767 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822150535152 139824327457410 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16570] ppid=16551 vsize=26645092 memory=6944656591801717918 CPUtime=0.87 cores=0-7
/proc/16553/task/16570/stat : 16570 (java) S 16551 16551 11663 0 -1 1077944384 4059 0 0 0 85 2 0 0 20 0 28 0 89136767 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822149482608 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16571] ppid=16551 vsize=26645092 memory=-7384994778349281184 CPUtime=0 cores=0-7
/proc/16553/task/16571/stat : 16571 (java) S 16551 16551 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89136767 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822148430816 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16572] ppid=16551 vsize=26645092 memory=-7522837415797432224 CPUtime=0 cores=0-7
/proc/16553/task/16572/stat : 16572 (java) S 16551 16551 11663 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 89136767 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822147378352 139824327457410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16573] ppid=16551 vsize=26645092 memory=-7522837583129502606 CPUtime=0.89 cores=0-7
/proc/16553/task/16573/stat : 16573 (java) R 16551 16551 11663 0 -1 4202560 83 0 0 0 89 0 0 0 20 0 28 0 89137036 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822136683424 139823962136357 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16574] ppid=16551 vsize=26645092 memory=0 CPUtime=0.93 cores=0-7
/proc/16553/task/16574/stat : 16574 (java) R 16551 16551 11663 0 -1 4202560 46 0 0 0 93 0 0 0 20 0 28 0 89137036 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822135632664 139823962601250 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16575] ppid=16551 vsize=26645092 memory=0 CPUtime=0.79 cores=0-7
/proc/16553/task/16575/stat : 16575 (java) R 16551 16551 11663 0 -1 4202560 42 0 0 0 79 0 0 0 20 0 28 0 89137036 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822134580904 139823962103812 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16576] ppid=16551 vsize=26645092 memory=0 CPUtime=1.05 cores=0-7
/proc/16553/task/16576/stat : 16576 (java) R 16551 16551 11663 0 -1 4202560 144 0 0 0 105 0 0 0 20 0 28 0 89137036 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822133525896 139823962335104 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16577] ppid=16551 vsize=26645092 memory=0 CPUtime=1.04 cores=0-7
/proc/16553/task/16577/stat : 16577 (java) R 16551 16551 11663 0 -1 4202560 32 0 0 0 104 0 0 0 20 0 28 0 89137036 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822132473464 139823962135868 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16578] ppid=16551 vsize=26645092 memory=0 CPUtime=0.89 cores=0-7
/proc/16553/task/16578/stat : 16578 (java) R 16551 16551 11663 0 -1 4202560 41 0 0 0 89 0 0 0 20 0 28 0 89137036 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822131421624 139823961618525 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16579] ppid=16551 vsize=26645092 memory=0 CPUtime=0.95 cores=0-7
/proc/16553/task/16579/stat : 16579 (java) R 16551 16551 11663 0 -1 4202560 35 0 0 0 95 0 0 0 20 0 28 0 89137036 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822130372880 139823961618415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16580] ppid=16551 vsize=26645092 memory=0 CPUtime=0.79 cores=0-7
/proc/16553/task/16580/stat : 16580 (java) R 16551 16551 11663 0 -1 4202560 29 0 0 0 79 0 0 0 20 0 28 0 89137036 27284574208 175604 33554432000 4194304 4196468 140732101299408 139822129315840 139823961595437 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
Current children cumulated CPU time: 19.31 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 703872 KiB

[startup+4.40106 s]
/proc/loadavg: 2.63 1.45 1.50 10/208 16580
/proc/meminfo: memFree=27464404/32770624 swapFree=67108532/67108860
[pid=16551] ppid=16548 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16551/stat : 16551 (xcsp3-exec) S 16548 16551 11663 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89136761 115843072 364 33554432000 4194304 5098028 140733463430352 140733463428456 140518466482812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33632256 140733463434293 140733463434496 140733463434496 140733463437258 0
/proc/16551/statm: 28282 364 306 221 0 87 0
[pid=16553] ppid=16551 vsize=26645092 memory=702468 CPUtime=20.63 cores=0-7
/proc/16553/stat : 16553 (java) S 16551 16551 11663 0 -1 1077944320 34565 0 0 0 1996 67 0 0 20 0 28 0 89136761 27284574208 175617 33554432000 4194304 4196468 140732101299408 140732101281952 139824327446263 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
/proc/16553/statm: 6661273 175617 3428 1 0 6622467 0
[pid=16553/tid=16554] ppid=16551 vsize=26645092 memory=280597058898544 CPUtime=2.57 cores=0-7
/proc/16553/task/16554/stat : 16554 (java) S 16551 16551 11663 0 -1 1077944384 9798 0 0 0 248 9 0 0 20 0 28 0 89136762 27284574208 175617 33554432000 4194304 4196468 140732101299408 139824331687040 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16555] ppid=16551 vsize=26645092 memory=16166 CPUtime=0.19 cores=0-7
/proc/16553/task/16555/stat : 16555 (java) S 16551 16551 11663 0 -1 1077944384 323 0 0 0 13 6 0 0 20 0 28 0 89136763 27284574208 175617 33554432000 4194304 4196468 140732101299408 139824280067088 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16556] ppid=16551 vsize=26645092 memory=0 CPUtime=0.18 cores=0-7
/proc/16553/task/16556/stat : 16556 (java) S 16551 16551 11663 0 -1 1077944384 181 0 0 0 12 6 0 0 20 0 28 0 89136763 27284574208 175617 33554432000 4194304 4196468 140732101299408 139824279014544 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16557] ppid=16551 vsize=26645092 memory=0 CPUtime=0.17 cores=0-7
/proc/16553/task/16557/stat : 16557 (java) S 16551 16551 11663 0 -1 1077944384 125 0 0 0 12 5 0 0 20 0 28 0 89136763 27284574208 175617 33554432000 4194304 4196468 140732101299408 139824277961488 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16558] ppid=16551 vsize=26645092 memory=257 CPUtime=0.17 cores=0-7
/proc/16553/task/16558/stat : 16558 (java) S 16551 16551 11663 0 -1 1077944384 194 0 0 0 11 6 0 0 20 0 28 0 89136763 27284574208 175617 33554432000 4194304 4196468 140732101299408 139824276908944 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16559] ppid=16551 vsize=26645092 memory=19 CPUtime=0.17 cores=0-7
/proc/16553/task/16559/stat : 16559 (java) S 16551 16551 11663 0 -1 1077944384 172 0 0 0 12 5 0 0 20 0 28 0 89136763 27284574208 175617 33554432000 4194304 4196468 140732101299408 139824275855888 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16560] ppid=16551 vsize=26645092 memory=18 CPUtime=0.18 cores=0-7
/proc/16553/task/16560/stat : 16560 (java) S 16551 16551 11663 0 -1 1077944384 243 0 0 0 12 6 0 0 20 0 28 0 89136763 27284574208 175617 33554432000 4194304 4196468 140732101299408 139824274803344 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16561] ppid=16551 vsize=26645092 memory=17 CPUtime=0.19 cores=0-7
/proc/16553/task/16561/stat : 16561 (java) S 16551 16551 11663 0 -1 1077944384 183 0 0 0 13 6 0 0 20 0 28 0 89136763 27284574208 175617 33554432000 4194304 4196468 140732101299408 139824273750288 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16562] ppid=16551 vsize=26645092 memory=17 CPUtime=0.17 cores=0-7
/proc/16553/task/16562/stat : 16562 (java) S 16551 16551 11663 0 -1 1077944384 808 0 0 0 12 5 0 0 20 0 28 0 89136763 27284574208 175617 33554432000 4194304 4196468 140732101299408 139824272697744 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16563] ppid=16551 vsize=26645092 memory=17 CPUtime=0.01 cores=0-7
/proc/16553/task/16563/stat : 16563 (java) S 16551 16551 11663 0 -1 1077944384 719 0 0 0 1 0 0 0 20 0 28 0 89136764 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822598929136 139824327457410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16564] ppid=16551 vsize=26645092 memory=18 CPUtime=0 cores=0-7
/proc/16553/task/16564/stat : 16564 (java) S 16551 16551 11663 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 89136764 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822597875424 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16565] ppid=16551 vsize=26645092 memory=19 CPUtime=0 cores=0-7
/proc/16553/task/16565/stat : 16565 (java) S 16551 16551 11663 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 89136765 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822596822272 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16566] ppid=16551 vsize=26645092 memory=17 CPUtime=0 cores=0-7
/proc/16553/task/16566/stat : 16566 (java) S 16551 16551 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89136767 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822595770832 139824327464859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16567] ppid=16551 vsize=26645092 memory=1 CPUtime=2.35 cores=0-7
/proc/16553/task/16567/stat : 16567 (java) D 16551 16551 11663 0 -1 4202560 4957 0 0 0 233 2 0 0 20 0 28 0 89136767 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822594718232 139824307370399 0 4 0 16800975 18446744072100379781 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16568] ppid=16551 vsize=26645092 memory=0 CPUtime=2.25 cores=0-7
/proc/16553/task/16568/stat : 16568 (java) D 16551 16551 11663 0 -1 4202560 4761 0 0 0 224 1 0 0 20 0 28 0 89136767 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822151588128 139824307370399 0 4 0 16800975 18446744072100379781 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16569] ppid=16551 vsize=26645092 memory=0 CPUtime=2.38 cores=0-7
/proc/16553/task/16569/stat : 16569 (java) D 16551 16551 11663 0 -1 4202560 6213 0 0 0 236 2 0 0 20 0 28 0 89136767 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822150535448 139824307370399 0 4 0 16800975 18446744072100379781 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16570] ppid=16551 vsize=26645092 memory=140298529581125 CPUtime=0.87 cores=0-7
/proc/16553/task/16570/stat : 16570 (java) D 16551 16551 11663 0 -1 4202560 4063 0 0 0 85 2 0 0 20 0 28 0 89136767 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822149482904 139824307370399 0 4 0 16800975 18446744072100379781 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16571] ppid=16551 vsize=26645092 memory=280597059575328 CPUtime=0 cores=0-7
/proc/16553/task/16571/stat : 16571 (java) S 16551 16551 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89136767 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822148430816 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16572] ppid=16551 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/16553/task/16572/stat : 16572 (java) D 16551 16551 11663 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 28 0 89136767 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822147378272 139824312302350 0 4 0 16800975 18446744072100379781 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16573] ppid=16551 vsize=26645092 memory=140298529587748 CPUtime=1.06 cores=0-7
/proc/16553/task/16573/stat : 16573 (java) D 16551 16551 11663 0 -1 4202560 85 0 0 0 106 0 0 0 20 0 28 0 89137036 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822136686528 139824313148899 0 4 0 16800975 18446744072100379781 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16574] ppid=16551 vsize=26645092 memory=280597058977792 CPUtime=1.1 cores=0-7
/proc/16553/task/16574/stat : 16574 (java) S 16551 16551 11663 0 -1 1077944384 46 0 0 0 110 0 0 0 20 0 28 0 89137036 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822135637328 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16575] ppid=16551 vsize=26645092 memory=6226600762557622886 CPUtime=0.94 cores=0-7
/proc/16553/task/16575/stat : 16575 (java) S 16551 16551 11663 0 -1 1077944384 42 0 0 0 94 0 0 0 20 0 28 0 89137036 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822134584272 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16576] ppid=16551 vsize=26645092 memory=6297532456688117094 CPUtime=1.2 cores=0-7
/proc/16553/task/16576/stat : 16576 (java) S 16551 16551 11663 0 -1 1077944384 145 0 0 0 120 0 0 0 20 0 28 0 89137036 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822133531728 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16577] ppid=16551 vsize=26645092 memory=7230082063021534314 CPUtime=1.21 cores=0-7
/proc/16553/task/16577/stat : 16577 (java) S 16551 16551 11663 0 -1 1077944384 32 0 0 0 121 0 0 0 20 0 28 0 89137036 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822132478672 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16578] ppid=16551 vsize=26645092 memory=280597058723272 CPUtime=1.06 cores=0-7
/proc/16553/task/16578/stat : 16578 (java) S 16551 16551 11663 0 -1 1077944384 41 0 0 0 106 0 0 0 20 0 28 0 89137036 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822131426128 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16579] ppid=16551 vsize=26645092 memory=0 CPUtime=1.11 cores=0-7
/proc/16553/task/16579/stat : 16579 (java) S 16551 16551 11663 0 -1 1077944384 35 0 0 0 111 0 0 0 20 0 28 0 89137036 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822130374096 139824327456469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
[pid=16553/tid=16580] ppid=16551 vsize=26645092 memory=0 CPUtime=0.96 cores=0-7
/proc/16553/task/16580/stat : 16580 (java) D 16551 16551 11663 0 -1 4202560 29 0 0 0 96 0 0 0 20 0 28 0 89137036 27284574208 175617 33554432000 4194304 4196468 140732101299408 139822129320768 139824311948979 0 4 0 16800975 18446744072100379781 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140732101301377 140732101301549 140732101301549 140732101304271 0
Current children cumulated CPU time: 20.63 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 703924 KiB

Child status: 0
Real time (s): 4.46613
CPU time (s): 20.7315
CPU user time (s): 20.0392
CPU system time (s): 0.692361
CPU usage (%): 464.195
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 703924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.0392
system time used= 0.692361
maximum resident set size= 703660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3699
involuntary context switches= 418


# summary of solver processes directly reported to runsolver:
#   pid: 16551
#   total CPU time (s): 20.7315
#   total CPU user time (s): 20.0392
#   total CPU system time (s): 0.692361

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052049 second user time and 0.093893 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-27 20:22:16
IDJOB=4297619
IDBENCH=141328
IDSOLVER=2760
FILE ID=node104/4297619-1532715736
RUNJOBID= node104-1532705124-11690
PBS_JOBID= 21022309
Free space on /tmp= 48344 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Bibd/Bibd-sc-09-03-09_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297619-1532715736/watcher-4297619-1532715736 -o /tmp/evaluation-result-4297619-1532715736/solver-4297619-1532715736 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532705124-11690 --watchdog 2580  HOME/xcsp3-exec -seed 1791912289 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297619-1532715736.xml

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

MD5SUM BENCH= 14461c5e126fcf4565f37d2e3313bad0
RANDOM SEED=1791912289

node104.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.11
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.11
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.11
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.11
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:        28154692 kB
MemAvailable:   31949188 kB
Buffers:          122480 kB
Cached:          3925024 kB
SwapCached:           12 kB
Active:          1918032 kB
Inactive:        2182892 kB
Active(anon):       7872 kB
Inactive(anon):    73044 kB
Active(file):    1910160 kB
Inactive(file):  2109848 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108860 kB
SwapFree:       67108532 kB
Dirty:             22120 kB
Writeback:             0 kB
AnonPages:         84584 kB
Mapped:            39232 kB
Shmem:             25060 kB
Slab:             208924 kB
SReclaimable:     180648 kB
SUnreclaim:        28276 kB
KernelStack:        3696 kB
PageTables:         5296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48324 MiB
End job on node104 at 2018-07-27 20:22:20