Trace number 4400616

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-16SAT (TO)811 2400.7 607.414

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-078.xml
MD5SUMb749a4e5de10f3f67b20d160b8ef335e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark659
Best CPU time to get the best result obtained on this benchmark2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables6161
Number of constraints3157
Number of domains155
Minimum domain size2
Maximum domain size155
Distribution of domain sizes[{"size":2,"count":3082},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}]
Minimum variable degree0
Maximum variable degree77
Distribution of variable degrees[{"degree":0,"count":2926},{"degree":2,"count":3157},{"degree":77,"count":78}]
Minimum constraint arity2
Maximum constraint arity78
Distribution of constraint arities[{"arity":2,"count":78},{"arity":3,"count":3004},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}]
Number of extensional constraints0
Number of intensional constraints3080
Distribution of constraint types[{"type":"intension","count":3080},{"type":"sum","count":77}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400616-1568694016.xml"  -tl '2400s' -p 4
0.12/0.18	c Choco e747e1e
0.12/0.67	c [HOME/instance-4400616-1568694016.xml, -tl, 2400s, -p, 4]
0.12/0.67	c 4 solvers in parallel
0.12/0.67	c parse instance...
7.47/2.83	c solve instance...
9.74/3.49	o 155155 
10.07/3.53	o 143451 
10.07/3.54	o 143155 
10.07/3.55	o 132651 
10.07/3.56	o 132355 
10.07/3.56	o 132067 
10.07/3.57	o 122723 
10.07/3.58	o 122411 
10.07/3.59	o 122123 
10.07/3.59	o 121859 
10.74/3.76	o 113635 
11.37/3.98	o 113307 
11.68/4.01	o 113019 
11.68/4.02	o 112739 
11.68/4.03	o 112499 
11.68/4.03	o 105355 
11.68/4.04	o 102563 
11.68/4.06	o 97851 
12.07/4.18	o 97491 
14.10/5.61	o 97171 
14.10/5.62	o 96891 
14.10/5.63	o 96619 
14.10/5.65	o 96387 
14.10/5.65	o 96195 
14.10/5.65	o 91091 
14.10/5.67	o 90715 
14.10/5.69	o 90379 
14.10/5.70	o 90083 
14.42/5.76	o 89811 
14.42/5.77	o 89563 
14.42/5.78	o 89355 
14.42/5.78	o 89187 
14.71/5.80	o 85043 
14.71/5.85	o 84651 
14.71/5.87	o 81107 
15.05/5.97	o 79675 
16.97/7.29	o 2019 
17.09/7.34	o 1955 
17.48/7.47	o 1891 
19.83/8.00	o 1859 
21.01/8.39	o 1659 
21.41/8.47	o 1635 
22.94/8.82	o 1563 
26.16/9.63	o 1395 
26.16/9.65	o 1387 
26.16/9.69	o 1235 
31.65/11.08	o 1211 
32.03/11.19	o 1187 
32.41/11.23	o 1155 
38.72/12.82	o 987 
64.94/19.45	o 939 
139.93/38.87	o 915 
139.93/38.88	o 907 
148.85/41.18	o 867 
169.90/46.49	o 827 
196.52/53.13	o 819 
1573.00/399.53	o 811 
2400.31/607.36	s SATISFIABLE
2400.31/607.36	v <instantiation>
2400.31/607.36	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[73][0] y[73][1] y[73][2] y[73][3] y[74][0] y[74][1] y[74][2] y[75][0] y[75][1] y[76][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] </list>
2400.31/607.38	v 	<values>-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 -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 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 -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 -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 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 -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 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 -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 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 -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 -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 -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 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 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 -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 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 -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 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 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 -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 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 -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 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 -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 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 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 -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 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 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 -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 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 -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 -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 -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 -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 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 -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 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 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 -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 -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 -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 -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 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 -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 -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 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 -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 -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 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 -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 -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 -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 -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 -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 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 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 -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 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 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 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 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 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 -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 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 -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 -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 -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 -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 -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 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 -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 -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 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 -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 -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 -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 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 -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 -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 -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 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 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 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 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -3 2 -1 -4 -3 4 1 2 1 -2 -1 4 7 -2 -1 2 5 0 3 0 -1 6 -3 -2 1 4 -5 -4 -7 4 -1 -4 3 2 -1 -2 -5 2 -7 0 3 8 -1 -4 -1 2 -5 6 -3 2 -1 -2 1 0 1 -4 -1 -2 -1 2 1 -4 3 4 -5 6 -1 4 -3 0 -3 -2 1 -2 -1 0 1 9 4 1 16 9 16 1 4 1 4 1 16 49 4 1 4 25 0 9 0 1 36 9 4 1 16 25 16 49 16 1 16 9 4 1 4 25 4 49 0 9 64 1 16 1 4 25 36 9 4 1 4 1 0 1 16 1 4 1 4 1 16 9 16 25 36 1 16 9 0 9 4 1 4 1 0 1 </values>
2400.31/607.38	v </instantiation>
2400.31/607.38	c Unexpected resolution interruption!

Verifier Data 

OK	811

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400616-1568694016/watcher-4400616-1568694016 -o /tmp/evaluation-result-4400616-1568694016/solver-4400616-1568694016 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24303 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 831426342 HOME/instance-4400616-1568694016.xml 

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

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


[startup+0.100058 s]*
/proc/loadavg: 8.42 8.46 8.37 7/234 2610
/proc/meminfo: memFree=30833464/32770624 swapFree=66997372/67108860
[pid=2594] ppid=2591 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2594/stat : 2594 (xcsp3-exec) S 2591 2594 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445654670 115843072 363 33554432000 4194304 5098028 140722996377904 140722996376008 140669042696828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20860928 140722996384635 140722996384877 140722996384877 140722996387786 0
/proc/2594/statm: 28282 363 304 221 0 87 0
[pid=2596] ppid=2594 vsize=15144776 memory=30032 CPUtime=0.12 cores=0,2,4,6
/proc/2596/stat : 2596 (java) S 2594 2594 24272 0 -1 1077944320 5628 0 0 0 11 1 0 0 20 0 15 0 445654671 15508250624 7508 33554432000 4194304 4196468 140727000217264 140727000199808 140469789490935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
/proc/2596/statm: 3786194 7508 3167 1 0 3748377 0
[pid=2596/tid=2597] ppid=2594 vsize=15144776 memory=-7828588039587135835 CPUtime=0.09 cores=0,2,4,6
/proc/2596/task/2597/stat : 2597 (java) R 2594 2594 24272 0 -1 4202560 3549 0 0 0 8 1 0 0 20 0 15 0 445654671 15508250624 7508 33554432000 4194304 4196468 140727000217264 140469793722256 140469773571422 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2598] ppid=2594 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2598/stat : 2598 (java) S 2594 2594 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445654672 15508250624 7508 33554432000 4194304 4196468 140727000217264 140469725727376 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2599] ppid=2594 vsize=15144776 memory=140353977042560 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2599/stat : 2599 (java) S 2594 2594 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445654672 15508250624 7508 33554432000 4194304 4196468 140727000217264 140469380635152 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2600] ppid=2594 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2600/stat : 2600 (java) S 2594 2594 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445654672 15508250624 7508 33554432000 4194304 4196468 140727000217264 140469379582352 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2601] ppid=2594 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2601/stat : 2601 (java) S 2594 2594 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445654672 15508250624 7508 33554432000 4194304 4196468 140727000217264 140469378529552 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2602] ppid=2594 vsize=15144776 memory=140353977042560 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2602/stat : 2602 (java) S 2594 2594 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445654673 15508250624 7508 33554432000 4194304 4196468 140727000217264 140469325282160 140469789502082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2603] ppid=2594 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2603/stat : 2603 (java) S 2594 2594 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445654674 15508250624 7508 33554432000 4194304 4196468 140727000217264 140469324228128 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2604] ppid=2594 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2604/stat : 2604 (java) S 2594 2594 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445654674 15508250624 7508 33554432000 4194304 4196468 140727000217264 140469323175280 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2605] ppid=2594 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2605/stat : 2605 (java) S 2594 2594 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445654676 15508250624 7508 33554432000 4194304 4196468 140727000217264 140468726786384 140469789509531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2606] ppid=2594 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2606/stat : 2606 (java) R 2594 2594 24272 0 -1 4202560 435 0 0 0 0 0 0 0 20 0 15 0 445654676 15508250624 7508 33554432000 4194304 4196468 140727000217264 140468725733744 140469769904240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2607] ppid=2594 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2607/stat : 2607 (java) R 2594 2594 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445654676 15508250624 7508 33554432000 4194304 4196468 140727000217264 140468724680944 140469789502082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2608] ppid=2594 vsize=15144776 memory=140353977042560 CPUtime=0.02 cores=0,2,4,6
/proc/2596/task/2608/stat : 2608 (java) R 2594 2594 24272 0 -1 4202560 380 0 0 0 2 0 0 0 20 0 15 0 445654676 15508250624 7508 33554432000 4194304 4196468 140727000217264 140468723628144 140469773571422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2609] ppid=2594 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2609/stat : 2609 (java) S 2594 2594 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445654676 15508250624 7508 33554432000 4194304 4196468 140727000217264 140468722575584 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2610] ppid=2594 vsize=15144776 memory=140353977042560 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2610/stat : 2610 (java) S 2594 2594 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445654677 15508250624 7508 33554432000 4194304 4196468 140727000217264 140468721523888 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31484 KiB

[startup+0.782033 s]*
/proc/loadavg: 8.42 8.46 8.37 9/234 2610
/proc/meminfo: memFree=30796732/32770624 swapFree=66997372/67108860
[pid=2594] ppid=2591 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2594/stat : 2594 (xcsp3-exec) S 2591 2594 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445654670 115843072 363 33554432000 4194304 5098028 140722996377904 140722996376008 140669042696828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20860928 140722996384635 140722996384877 140722996384877 140722996387786 0
/proc/2594/statm: 28282 363 304 221 0 87 0
[pid=2596] ppid=2594 vsize=15149108 memory=68492 CPUtime=0.9 cores=0,2,4,6
/proc/2596/stat : 2596 (java) S 2594 2594 24272 0 -1 1077944320 13114 0 0 0 85 5 0 0 20 0 15 0 445654671 15512686592 17123 33554432000 4194304 4196468 140727000217264 140727000199808 140469789490935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
/proc/2596/statm: 3787277 17123 3419 1 0 3748377 0
[pid=2596/tid=2597] ppid=2594 vsize=15149108 memory=7022364632946311227 CPUtime=0.42 cores=0,2,4,6
/proc/2596/task/2597/stat : 2597 (java) R 2594 2594 24272 0 -1 4202560 8169 0 0 0 39 3 0 0 20 0 15 0 445654671 15512686592 17123 33554432000 4194304 4196468 140727000217264 140469793727040 140469407980825 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2598] ppid=2594 vsize=15149108 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2598/stat : 2598 (java) S 2594 2594 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445654672 15512686592 17123 33554432000 4194304 4196468 140727000217264 140469725727376 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2599] ppid=2594 vsize=15149108 memory=140353977067115 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2599/stat : 2599 (java) S 2594 2594 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445654672 15512686592 17123 33554432000 4194304 4196468 140727000217264 140469380635152 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2600] ppid=2594 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2600/stat : 2600 (java) S 2594 2594 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445654672 15512686592 17123 33554432000 4194304 4196468 140727000217264 140469379582352 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2601] ppid=2594 vsize=15149108 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2601/stat : 2601 (java) S 2594 2594 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445654672 15512686592 17123 33554432000 4194304 4196468 140727000217264 140469378529552 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2602] ppid=2594 vsize=15149108 memory=140353977042560 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2602/stat : 2602 (java) S 2594 2594 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445654673 15512686592 17123 33554432000 4194304 4196468 140727000217264 140469325282160 140469789502082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2603] ppid=2594 vsize=15149108 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2603/stat : 2603 (java) S 2594 2594 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445654674 15512686592 17123 33554432000 4194304 4196468 140727000217264 140469324228128 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2604] ppid=2594 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2604/stat : 2604 (java) S 2594 2594 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445654674 15512686592 17123 33554432000 4194304 4196468 140727000217264 140469323175280 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2605] ppid=2594 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2605/stat : 2605 (java) S 2594 2594 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445654676 15512686592 17123 33554432000 4194304 4196468 140727000217264 140468726786384 140469789509531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2606] ppid=2594 vsize=15149108 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/2596/task/2606/stat : 2606 (java) D 2594 2594 24272 0 -1 4202560 1565 0 0 0 15 0 0 0 20 0 15 0 445654676 15512686592 17123 33554432000 4194304 4196468 140727000217264 140468725719224 140469781780317 0 4 0 16800975 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2607] ppid=2594 vsize=15149108 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/2596/task/2607/stat : 2607 (java) R 2594 2594 24272 0 -1 4202560 618 0 0 0 11 0 0 0 20 0 15 0 445654676 15512686592 17123 33554432000 4194304 4196468 140727000217264 140468724667512 140469770191232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2608] ppid=2594 vsize=15149108 memory=140353977042560 CPUtime=0.2 cores=0,2,4,6
/proc/2596/task/2608/stat : 2608 (java) R 2594 2594 24272 0 -1 4202560 1456 0 0 0 19 1 0 0 20 0 15 0 445654676 15512686592 17123 33554432000 4194304 4196468 140727000217264 140468723625400 140469782207898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2609] ppid=2594 vsize=15149108 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2609/stat : 2609 (java) S 2594 2594 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445654676 15512686592 17150 33554432000 4194304 4196468 140727000217264 140468722575584 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2610] ppid=2594 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2610/stat : 2610 (java) S 2594 2594 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445654677 15512686592 17150 33554432000 4194304 4196468 140727000217264 140468721523888 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
Current children cumulated CPU time: 0.9 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 69944 KiB

[startup+0.81067 s]*
/proc/loadavg: 8.42 8.46 8.37 11/234 2610
/proc/meminfo: memFree=30794312/32770624 swapFree=66997372/67108860
[pid=2594] ppid=2591 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2594/stat : 2594 (xcsp3-exec) S 2591 2594 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445654670 115843072 363 33554432000 4194304 5098028 140722996377904 140722996376008 140669042696828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20860928 140722996384635 140722996384877 140722996384877 140722996387786 0
/proc/2594/statm: 28282 363 304 221 0 87 0
[pid=2596] ppid=2594 vsize=15149108 memory=71132 CPUtime=1 cores=0,2,4,6
/proc/2596/stat : 2596 (java) S 2594 2594 24272 0 -1 1077944320 13291 0 0 0 95 5 0 0 20 0 15 0 445654671 15512686592 17783 33554432000 4194304 4196468 140727000217264 140727000199808 140469789490935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
/proc/2596/statm: 3787277 17783 3422 1 0 3748377 0
[pid=2596/tid=2597] ppid=2594 vsize=15149108 memory=8317482817917895235 CPUtime=0.44 cores=0,2,4,6
/proc/2596/task/2597/stat : 2597 (java) R 2594 2594 24272 0 -1 4202560 8176 0 0 0 41 3 0 0 20 0 15 0 445654671 15512686592 17884 33554432000 4194304 4196468 140727000217264 140469793725656 140469405253696 0 4 0 16800975 0 0 0 -1 6 0 0 34 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2598] ppid=2594 vsize=15149108 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2598/stat : 2598 (java) S 2594 2594 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445654672 15512686592 17884 33554432000 4194304 4196468 140727000217264 140469725727376 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2599] ppid=2594 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2599/stat : 2599 (java) S 2594 2594 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445654672 15512686592 17884 33554432000 4194304 4196468 140727000217264 140469380635152 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2600] ppid=2594 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2600/stat : 2600 (java) S 2594 2594 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445654672 15512686592 17884 33554432000 4194304 4196468 140727000217264 140469379582352 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2601] ppid=2594 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2601/stat : 2601 (java) S 2594 2594 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445654672 15512686592 17884 33554432000 4194304 4196468 140727000217264 140469378529552 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2602] ppid=2594 vsize=15149108 memory=170985786 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2602/stat : 2602 (java) S 2594 2594 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445654673 15512686592 17884 33554432000 4194304 4196468 140727000217264 140469325282160 140469789502082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2603] ppid=2594 vsize=15149108 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2603/stat : 2603 (java) S 2594 2594 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445654674 15512686592 17884 33554432000 4194304 4196468 140727000217264 140469324228128 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2604] ppid=2594 vsize=15149108 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2604/stat : 2604 (java) S 2594 2594 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445654674 15512686592 17884 33554432000 4194304 4196468 140727000217264 140469323175280 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2605] ppid=2594 vsize=15149108 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2605/stat : 2605 (java) S 2594 2594 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445654676 15512686592 17884 33554432000 4194304 4196468 140727000217264 140468726786384 140469789509531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2606] ppid=2594 vsize=15149108 memory=7681407940103534239 CPUtime=0.17 cores=0,2,4,6
/proc/2596/task/2606/stat : 2606 (java) S 2594 2594 24272 0 -1 1077944384 1588 0 0 0 17 0 0 0 20 0 15 0 445654676 15512686592 17884 33554432000 4194304 4196468 140727000217264 140468725733744 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2607] ppid=2594 vsize=15149108 memory=8764710173913800808 CPUtime=0.13 cores=0,2,4,6
/proc/2596/task/2607/stat : 2607 (java) S 2594 2594 24272 0 -1 1077944384 675 0 0 0 13 0 0 0 20 0 15 0 445654676 15512686592 17884 33554432000 4194304 4196468 140727000217264 140468724680944 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2608] ppid=2594 vsize=15149108 memory=7377292432179358372 CPUtime=0.23 cores=0,2,4,6
/proc/2596/task/2608/stat : 2608 (java) R 2594 2594 24272 0 -1 4202560 1555 0 0 0 22 1 0 0 20 0 15 0 445654676 15512686592 17884 33554432000 4194304 4196468 140727000217264 140468723624096 140469768399417 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2609] ppid=2594 vsize=15149108 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2609/stat : 2609 (java) S 2594 2594 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445654676 15512686592 17884 33554432000 4194304 4196468 140727000217264 140468722575584 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2610] ppid=2594 vsize=15149108 memory=7317634893576766894 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2610/stat : 2610 (java) S 2594 2594 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445654677 15512686592 17884 33554432000 4194304 4196468 140727000217264 140468721523888 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 72584 KiB

[startup+0.910547 s]*
/proc/loadavg: 8.42 8.46 8.37 8/234 2610
/proc/meminfo: memFree=30780412/32770624 swapFree=66997372/67108860
[pid=2594] ppid=2591 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2594/stat : 2594 (xcsp3-exec) S 2591 2594 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445654670 115843072 363 33554432000 4194304 5098028 140722996377904 140722996376008 140669042696828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20860928 140722996384635 140722996384877 140722996384877 140722996387786 0
/proc/2594/statm: 28282 363 304 221 0 87 0
[pid=2596] ppid=2594 vsize=15151156 memory=86832 CPUtime=1.34 cores=0,2,4,6
/proc/2596/stat : 2596 (java) S 2594 2594 24272 0 -1 1077944320 13609 0 0 0 128 6 0 0 20 0 15 0 445654671 15514783744 21708 33554432000 4194304 4196468 140727000217264 140727000199808 140469789490935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
/proc/2596/statm: 3787789 21708 3433 1 0 3748889 0
[pid=2596/tid=2597] ppid=2594 vsize=15151156 memory=7022364632946311227 CPUtime=0.53 cores=0,2,4,6
/proc/2596/task/2597/stat : 2597 (java) R 2594 2594 24272 0 -1 4202560 8262 0 0 0 50 3 0 0 20 0 15 0 445654671 15514783744 21708 33554432000 4194304 4196468 140727000217264 140469793725784 140469408336369 0 4 0 16800975 0 0 0 -1 0 0 0 34 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2598] ppid=2594 vsize=15151156 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2598/stat : 2598 (java) S 2594 2594 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445654672 15514783744 21708 33554432000 4194304 4196468 140727000217264 140469725727376 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2599] ppid=2594 vsize=15151156 memory=140353977067115 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2599/stat : 2599 (java) S 2594 2594 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445654672 15514783744 21708 33554432000 4194304 4196468 140727000217264 140469380635152 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2600] ppid=2594 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2600/stat : 2600 (java) S 2594 2594 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445654672 15514783744 21708 33554432000 4194304 4196468 140727000217264 140469379582352 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2601] ppid=2594 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2601/stat : 2601 (java) S 2594 2594 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445654672 15514783744 21708 33554432000 4194304 4196468 140727000217264 140469378529552 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2602] ppid=2594 vsize=15151156 memory=140353977042560 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2602/stat : 2602 (java) S 2594 2594 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445654673 15514783744 21708 33554432000 4194304 4196468 140727000217264 140469325282160 140469789502082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2603] ppid=2594 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2603/stat : 2603 (java) S 2594 2594 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445654674 15514783744 21708 33554432000 4194304 4196468 140727000217264 140469324228128 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2604] ppid=2594 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2604/stat : 2604 (java) S 2594 2594 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445654674 15514783744 21708 33554432000 4194304 4196468 140727000217264 140469323175280 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2605] ppid=2594 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2605/stat : 2605 (java) S 2594 2594 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445654676 15514783744 21708 33554432000 4194304 4196468 140727000217264 140468726786384 140469789509531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2606] ppid=2594 vsize=15151156 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/2596/task/2606/stat : 2606 (java) R 2594 2594 24272 0 -1 4202560 1638 0 0 0 27 0 0 0 20 0 15 0 445654676 15514783744 21708 33554432000 4194304 4196468 140727000217264 140468725725072 140469774391447 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2607] ppid=2594 vsize=15151156 memory=-1 CPUtime=0.22 cores=0,2,4,6
/proc/2596/task/2607/stat : 2607 (java) R 2594 2594 24272 0 -1 4202560 755 0 0 0 22 0 0 0 20 0 15 0 445654676 15514783744 21708 33554432000 4194304 4196468 140727000217264 140468724669088 140469768680433 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2608] ppid=2594 vsize=15151156 memory=140353977042560 CPUtime=0.29 cores=0,2,4,6
/proc/2596/task/2608/stat : 2608 (java) S 2594 2594 24272 0 -1 1077944384 1663 0 0 0 28 1 0 0 20 0 15 0 445654676 15514783744 21708 33554432000 4194304 4196468 140727000217264 140468723628144 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2609] ppid=2594 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2609/stat : 2609 (java) S 2594 2594 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445654676 15514783744 21708 33554432000 4194304 4196468 140727000217264 140468722575584 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2610] ppid=2594 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2610/stat : 2610 (java) S 2594 2594 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445654677 15514783744 21708 33554432000 4194304 4196468 140727000217264 140468721523888 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 88284 KiB

[startup+1.50495 s]*
/proc/loadavg: 8.42 8.46 8.37 7/234 2610
/proc/meminfo: memFree=30658028/32770624 swapFree=66997372/67108860
[pid=2594] ppid=2591 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2594/stat : 2594 (xcsp3-exec) S 2591 2594 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445654670 115843072 363 33554432000 4194304 5098028 140722996377904 140722996376008 140669042696828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20860928 140722996384635 140722996384877 140722996384877 140722996387786 0
/proc/2594/statm: 28282 363 304 221 0 87 0

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

/proc/2596/stat : 2596 (java) S 2594 2594 24272 0 -1 1077944320 183285 0 0 0 206068 121 0 0 20 0 19 0 445654671 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140727000199808 140469789490935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
/proc/2596/statm: 3921429 1044394 3544 1 0 3882529 0
[pid=2596/tid=2597] ppid=2594 vsize=15685716 memory=8112282956445269571 CPUtime=2.38 cores=0,2,4,6
/proc/2596/task/2597/stat : 2597 (java) S 2594 2594 24272 0 -1 1077944384 13148 0 0 0 230 8 0 0 20 0 19 0 445654671 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469793731712 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2598] ppid=2594 vsize=15685716 memory=1112 CPUtime=0.32 cores=0,2,4,6
/proc/2596/task/2598/stat : 2598 (java) S 2594 2594 24272 0 -1 1077944384 1975 0 0 0 25 7 0 0 20 0 19 0 445654672 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469725727376 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2599] ppid=2594 vsize=15685716 memory=1004 CPUtime=0.3 cores=0,2,4,6
/proc/2596/task/2599/stat : 2599 (java) S 2594 2594 24272 0 -1 1077944384 2142 0 0 0 23 7 0 0 20 0 19 0 445654672 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469380635152 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2600] ppid=2594 vsize=15685716 memory=6036 CPUtime=0.29 cores=0,2,4,6
/proc/2596/task/2600/stat : 2600 (java) S 2594 2594 24272 0 -1 1077944384 1382 0 0 0 22 7 0 0 20 0 19 0 445654672 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469379582352 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2601] ppid=2594 vsize=15685716 memory=14008 CPUtime=0.3 cores=0,2,4,6
/proc/2596/task/2601/stat : 2601 (java) S 2594 2594 24272 0 -1 1077944384 1372 0 0 0 23 7 0 0 20 0 19 0 445654672 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469378529552 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2602] ppid=2594 vsize=15685716 memory=2124 CPUtime=0.06 cores=0,2,4,6
/proc/2596/task/2602/stat : 2602 (java) S 2594 2594 24272 0 -1 1077944384 4973 0 0 0 3 3 0 0 20 0 19 0 445654673 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469325282160 140469789502082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2603] ppid=2594 vsize=15685716 memory=48268 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2603/stat : 2603 (java) S 2594 2594 24272 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 445654674 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469324228192 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2604] ppid=2594 vsize=15685716 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2604/stat : 2604 (java) S 2594 2594 24272 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 445654674 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469323175296 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2605] ppid=2594 vsize=15685716 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2605/stat : 2605 (java) S 2594 2594 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445654676 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468726786384 140469789509531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2606] ppid=2594 vsize=15685716 memory=4104 CPUtime=6.11 cores=0,2,4,6
/proc/2596/task/2606/stat : 2606 (java) S 2594 2594 24272 0 -1 1077944384 33137 0 0 0 608 3 0 0 20 0 19 0 445654676 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468725733744 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2607] ppid=2594 vsize=15685716 memory=1388 CPUtime=5.65 cores=0,2,4,6
/proc/2596/task/2607/stat : 2607 (java) S 2594 2594 24272 0 -1 1077944384 37247 0 0 0 562 3 0 0 20 0 19 0 445654676 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468724680944 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2608] ppid=2594 vsize=15685716 memory=776 CPUtime=1.18 cores=0,2,4,6
/proc/2596/task/2608/stat : 2608 (java) S 2594 2594 24272 0 -1 1077944384 19025 0 0 0 114 4 0 0 20 0 19 0 445654676 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468723628144 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2609] ppid=2594 vsize=15685716 memory=4177576 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2609/stat : 2609 (java) S 2594 2594 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445654676 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468722575584 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2610] ppid=2594 vsize=15685716 memory=14008 CPUtime=0.16 cores=0,2,4,6
/proc/2596/task/2610/stat : 2610 (java) S 2594 2594 24272 0 -1 1077944384 1573 0 0 0 11 5 0 0 20 0 19 0 445654677 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468721523888 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2889] ppid=2594 vsize=15685716 memory=2124 CPUtime=121.66 cores=0,2,4,6
/proc/2596/task/2889/stat : 2889 (java) R 2594 2594 24272 0 -1 4202560 709 0 0 0 12166 0 0 0 20 0 19 0 445694624 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468264012520 140469411355908 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2890] ppid=2594 vsize=15685716 memory=26204 CPUtime=122.51 cores=0,2,4,6
/proc/2596/task/2890/stat : 2890 (java) R 2594 2594 24272 0 -1 4202560 5098 0 0 0 12250 1 0 0 20 0 19 0 445694624 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468718999464 140469408207058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2891] ppid=2594 vsize=15685716 memory=12024 CPUtime=122.38 cores=0,2,4,6
/proc/2596/task/2891/stat : 2891 (java) R 2594 2594 24272 0 -1 4202560 2528 0 0 0 12238 0 0 0 20 0 19 0 445694624 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468265065864 140469411581866 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2892] ppid=2594 vsize=15685716 memory=500 CPUtime=122.15 cores=0,2,4,6
/proc/2596/task/2892/stat : 2892 (java) R 2594 2594 24272 0 -1 4202560 2550 0 0 0 12215 0 0 0 20 0 19 0 445694624 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468260856504 140469415985177 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
Current children cumulated CPU time: 2061.89 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 4179028 KiB

[startup+582.302 s]
/proc/loadavg: 9.04 8.73 8.51 12/237 3856
/proc/meminfo: memFree=27107500/32770624 swapFree=66997372/67108860
[pid=2594] ppid=2591 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2594/stat : 2594 (xcsp3-exec) S 2591 2594 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445654670 115843072 363 33554432000 4194304 5098028 140722996377904 140722996376008 140669042696828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20860928 140722996384635 140722996384877 140722996384877 140722996387786 0
/proc/2594/statm: 28282 363 304 221 0 87 0
[pid=2596] ppid=2594 vsize=15685716 memory=4177576 CPUtime=2300.79 cores=0,2,4,6
/proc/2596/stat : 2596 (java) S 2594 2594 24272 0 -1 1077944320 185598 0 0 0 229957 122 0 0 20 0 19 0 445654671 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140727000199808 140469789490935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
/proc/2596/statm: 3921429 1044394 3544 1 0 3882529 0
[pid=2596/tid=2597] ppid=2594 vsize=15685716 memory=1668 CPUtime=2.38 cores=0,2,4,6
/proc/2596/task/2597/stat : 2597 (java) S 2594 2594 24272 0 -1 1077944384 13148 0 0 0 230 8 0 0 20 0 19 0 445654671 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469793731712 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2598] ppid=2594 vsize=15685716 memory=1112 CPUtime=0.32 cores=0,2,4,6
/proc/2596/task/2598/stat : 2598 (java) S 2594 2594 24272 0 -1 1077944384 1975 0 0 0 25 7 0 0 20 0 19 0 445654672 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469725727376 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2599] ppid=2594 vsize=15685716 memory=1004 CPUtime=0.3 cores=0,2,4,6
/proc/2596/task/2599/stat : 2599 (java) S 2594 2594 24272 0 -1 1077944384 2142 0 0 0 23 7 0 0 20 0 19 0 445654672 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469380635152 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2600] ppid=2594 vsize=15685716 memory=6036 CPUtime=0.29 cores=0,2,4,6
/proc/2596/task/2600/stat : 2600 (java) S 2594 2594 24272 0 -1 1077944384 1382 0 0 0 22 7 0 0 20 0 19 0 445654672 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469379582352 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2601] ppid=2594 vsize=15685716 memory=14008 CPUtime=0.3 cores=0,2,4,6
/proc/2596/task/2601/stat : 2601 (java) S 2594 2594 24272 0 -1 1077944384 1372 0 0 0 23 7 0 0 20 0 19 0 445654672 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469378529552 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2602] ppid=2594 vsize=15685716 memory=1452 CPUtime=0.06 cores=0,2,4,6
/proc/2596/task/2602/stat : 2602 (java) S 2594 2594 24272 0 -1 1077944384 4982 0 0 0 3 3 0 0 20 0 19 0 445654673 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469325282160 140469789502082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2603] ppid=2594 vsize=15685716 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2603/stat : 2603 (java) S 2594 2594 24272 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 445654674 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469324228192 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2604] ppid=2594 vsize=15685716 memory=4177576 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2604/stat : 2604 (java) S 2594 2594 24272 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 445654674 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140469323175296 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2605] ppid=2594 vsize=15685716 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2605/stat : 2605 (java) S 2594 2594 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445654676 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468726786384 140469789509531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2606] ppid=2594 vsize=15685716 memory=1668 CPUtime=6.11 cores=0,2,4,6
/proc/2596/task/2606/stat : 2606 (java) S 2594 2594 24272 0 -1 1077944384 33140 0 0 0 608 3 0 0 20 0 19 0 445654676 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468725733744 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2607] ppid=2594 vsize=15685716 memory=1112 CPUtime=5.65 cores=0,2,4,6
/proc/2596/task/2607/stat : 2607 (java) S 2594 2594 24272 0 -1 1077944384 37250 0 0 0 562 3 0 0 20 0 19 0 445654676 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468724680944 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2608] ppid=2594 vsize=15685716 memory=1004 CPUtime=1.18 cores=0,2,4,6
/proc/2596/task/2608/stat : 2608 (java) S 2594 2594 24272 0 -1 1077944384 19034 0 0 0 114 4 0 0 20 0 19 0 445654676 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468723628144 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2609] ppid=2594 vsize=15685716 memory=6036 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2609/stat : 2609 (java) S 2594 2594 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445654676 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468722575584 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2610] ppid=2594 vsize=15685716 memory=14008 CPUtime=0.18 cores=0,2,4,6
/proc/2596/task/2610/stat : 2610 (java) S 2594 2594 24272 0 -1 1077944384 1604 0 0 0 12 6 0 0 20 0 19 0 445654677 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468721523888 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2889] ppid=2594 vsize=15685716 memory=288230574492221466 CPUtime=181.64 cores=0,2,4,6
/proc/2596/task/2889/stat : 2889 (java) R 2594 2594 24272 0 -1 4202560 827 0 0 0 18164 0 0 0 20 0 19 0 445694624 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468264012520 140469413659027 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2890] ppid=2594 vsize=15685716 memory=288230596050944315 CPUtime=181.6 cores=0,2,4,6
/proc/2596/task/2890/stat : 2890 (java) R 2594 2594 24272 0 -1 4202560 6311 0 0 0 18159 1 0 0 20 0 19 0 445694624 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468718999464 140469413659027 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2891] ppid=2594 vsize=15685716 memory=14692993764428413 CPUtime=182.22 cores=0,2,4,6
/proc/2596/task/2891/stat : 2891 (java) R 2594 2594 24272 0 -1 4202560 2906 0 0 0 18222 0 0 0 20 0 19 0 445694624 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468265065864 140469410567344 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2892] ppid=2594 vsize=15685716 memory=8317482817917895235 CPUtime=182.12 cores=0,2,4,6
/proc/2596/task/2892/stat : 2892 (java) R 2594 2594 24272 0 -1 4202560 3099 0 0 0 18212 0 0 0 20 0 19 0 445694624 16062173184 1044394 33554432000 4194304 4196468 140727000217264 140468260856504 140469409757537 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
Current children cumulated CPU time: 2300.79 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 4179028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+607.302 s]
/proc/loadavg: 9.04 8.76 8.52 9/237 3914
/proc/meminfo: memFree=27004252/32770624 swapFree=66997372/67108860
[pid=2594] ppid=2591 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2594/stat : 2594 (xcsp3-exec) S 2591 2594 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445654670 115843072 363 33554432000 4194304 5098028 140722996377904 140722996376008 140669042696828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20860928 140722996384635 140722996384877 140722996384877 140722996387786 0
/proc/2594/statm: 28282 363 304 221 0 87 0
[pid=2596] ppid=2594 vsize=15685716 memory=4178992 CPUtime=2400.31 cores=0,2,4,6
/proc/2596/stat : 2596 (java) S 2594 2594 24272 0 -1 1077944320 187407 0 0 0 239906 125 0 0 20 0 19 0 445654671 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140727000199808 140469789490935 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
/proc/2596/statm: 3921429 1044748 3544 1 0 3882529 0
[pid=2596/tid=2597] ppid=2594 vsize=15685716 memory=812 CPUtime=2.38 cores=0,2,4,6
/proc/2596/task/2597/stat : 2597 (java) S 2594 2594 24272 0 -1 1077944384 13148 0 0 0 230 8 0 0 20 0 19 0 445654671 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140469793731712 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2598] ppid=2594 vsize=15685716 memory=1764 CPUtime=0.32 cores=0,2,4,6
/proc/2596/task/2598/stat : 2598 (java) S 2594 2594 24272 0 -1 1077944384 2028 0 0 0 25 7 0 0 20 0 19 0 445654672 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140469725727376 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2599] ppid=2594 vsize=15685716 memory=4872558044660077418 CPUtime=0.31 cores=0,2,4,6
/proc/2596/task/2599/stat : 2599 (java) S 2594 2594 24272 0 -1 1077944384 2252 0 0 0 24 7 0 0 20 0 19 0 445654672 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140469380635152 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2600] ppid=2594 vsize=15685716 memory=4178992 CPUtime=0.3 cores=0,2,4,6
/proc/2596/task/2600/stat : 2600 (java) S 2594 2594 24272 0 -1 1077944384 1924 0 0 0 23 7 0 0 20 0 19 0 445654672 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140469379582352 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2601] ppid=2594 vsize=15685716 memory=14692993764428413 CPUtime=0.31 cores=0,2,4,6
/proc/2596/task/2601/stat : 2601 (java) S 2594 2594 24272 0 -1 1077944384 1422 0 0 0 24 7 0 0 20 0 19 0 445654672 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140469378529552 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2602] ppid=2594 vsize=15685716 memory=1060 CPUtime=0.06 cores=0,2,4,6
/proc/2596/task/2602/stat : 2602 (java) S 2594 2594 24272 0 -1 1077944384 5206 0 0 0 3 3 0 0 20 0 19 0 445654673 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140469325282160 140469789502082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2603] ppid=2594 vsize=15685716 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2603/stat : 2603 (java) S 2594 2594 24272 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 445654674 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140469324228192 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2604] ppid=2594 vsize=15685716 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2604/stat : 2604 (java) S 2594 2594 24272 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 445654674 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140469323175296 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2605] ppid=2594 vsize=15685716 memory=1668 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2605/stat : 2605 (java) S 2594 2594 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445654676 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140468726786384 140469789509531 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2606] ppid=2594 vsize=15685716 memory=1112 CPUtime=6.11 cores=0,2,4,6
/proc/2596/task/2606/stat : 2606 (java) S 2594 2594 24272 0 -1 1077944384 33140 0 0 0 608 3 0 0 20 0 19 0 445654676 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140468725733744 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2607] ppid=2594 vsize=15685716 memory=26204 CPUtime=5.65 cores=0,2,4,6
/proc/2596/task/2607/stat : 2607 (java) S 2594 2594 24272 0 -1 1077944384 37250 0 0 0 562 3 0 0 20 0 19 0 445654676 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140468724680944 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2608] ppid=2594 vsize=15685716 memory=1452 CPUtime=1.18 cores=0,2,4,6
/proc/2596/task/2608/stat : 2608 (java) S 2594 2594 24272 0 -1 1077944384 19307 0 0 0 114 4 0 0 20 0 19 0 445654676 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140468723628144 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2609] ppid=2594 vsize=15685716 memory=4178992 CPUtime=0 cores=0,2,4,6
/proc/2596/task/2609/stat : 2609 (java) S 2594 2594 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445654676 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140468722575584 140469789501141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2610] ppid=2594 vsize=15685716 memory=14692993764428413 CPUtime=0.19 cores=0,2,4,6
/proc/2596/task/2610/stat : 2610 (java) S 2594 2594 24272 0 -1 1077944384 1606 0 0 0 13 6 0 0 20 0 19 0 445654677 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140468721523888 140469789502082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2889] ppid=2594 vsize=15685716 memory=3028 CPUtime=206.37 cores=0,2,4,6
/proc/2596/task/2889/stat : 2889 (java) R 2594 2594 24272 0 -1 4202560 831 0 0 0 20635 2 0 0 20 0 19 0 445694624 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140468264012432 140469408960902 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2890] ppid=2594 vsize=15685716 memory=2012 CPUtime=206.58 cores=0,2,4,6
/proc/2596/task/2890/stat : 2890 (java) R 2594 2594 24272 0 -1 4202560 6692 0 0 0 20657 1 0 0 20 0 19 0 445694624 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140468718999984 140469408207058 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2891] ppid=2594 vsize=15685716 memory=4104 CPUtime=206.99 cores=0,2,4,6
/proc/2596/task/2891/stat : 2891 (java) R 2594 2594 24272 0 -1 4202560 2952 0 0 0 20699 0 0 0 20 0 19 0 445694624 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140468265065864 140469406374008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
[pid=2596/tid=2892] ppid=2594 vsize=15685716 memory=1388 CPUtime=207.1 cores=0,2,4,6
/proc/2596/task/2892/stat : 2892 (java) R 2594 2594 24272 0 -1 4202560 3223 0 0 0 20710 0 0 0 20 0 19 0 445694624 16062173184 1044748 33554432000 4194304 4196468 140727000217264 140468260856344 140469408960991 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18104320 140727000220655 140727000220826 140727000220826 140727000223695 0
Current children cumulated CPU time: 2400.31 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 4180444 KiB

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

[startup+607.334 s]
# the end of solver process 2594 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000796 s, system=0.001593 s

[startup+607.414 s]
# the end of solver process 2596 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.42 s, system=1.28112 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 607.414
CPU time (s): 2400.7
CPU user time (s): 2399.42
CPU system time (s): 1.28112
CPU usage (%): 395.233
Max. virtual memory (cumulated for all children) (KiB): 15798844
Max. memory (cumulated for all children) (KiB): 4180444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.42
system time used= 1.28112
maximum resident set size= 4181672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18882
involuntary context switches= 41395


# summary of solver processes directly reported to runsolver:
#   pid: 2594,2596
#   total CPU time (s): 2400.7
#   total CPU user time (s): 2399.42
#   total CPU system time (s): 1.28112

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.8411 second user time and 6.71179 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-17 06:19:17
IDJOB=4400616
IDBENCH=127075
IDSOLVER=2856
FILE ID=node103/4400616-1568694016
RUNJOBID= node103-1568691240-24303
PBS_JOBID= 21703799
Free space on /tmp= 61692 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-078.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400616-1568694016/watcher-4400616-1568694016 -o /tmp/evaluation-result-4400616-1568694016/solver-4400616-1568694016 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24303 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 831426342 HOME/instance-4400616-1568694016.xml

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

MD5SUM BENCH= b749a4e5de10f3f67b20d160b8ef335e
RANDOM SEED=831426342

node103.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.74
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.74
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.74
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.74
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:        30852664 kB
MemAvailable:   31253320 kB
Buffers:           76288 kB
Cached:           619416 kB
SwapCached:         9016 kB
Active:          1067436 kB
Inactive:         272964 kB
Active(anon):     636852 kB
Inactive(anon):    57316 kB
Active(file):     430584 kB
Inactive(file):   215648 kB
Unevictable:      111148 kB
Mlocked:          111148 kB
SwapTotal:      67108860 kB
SwapFree:       66997372 kB
Dirty:             26168 kB
Writeback:             0 kB
AnonPages:        895700 kB
Mapped:            61660 kB
Shmem:             40856 kB
Slab:             170588 kB
SReclaimable:     140516 kB
SUnreclaim:        30072 kB
KernelStack:        4176 kB
PageTables:         6964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2402940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    786432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61668 MiB
End job on node103 at 2019-09-17 06:29:25