Trace number 4281420

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 4.0.5 par (2017-08-18)SAT (TO)982 1949.05 252.12399

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-069.xml
MD5SUMe65d1522f1056f49054155eb060914b2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark598
Best CPU time to get the best result obtained on this benchmark251.939
Satisfiable
(Un)Satisfiability was proved
Number of variables4829
Number of constraints2482
Number of domains137
Minimum domain size2
Maximum domain size137
Distribution of domain sizes[{"size":2,"count":2416},{"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":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"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}]
Minimum variable degree0
Maximum variable degree68
Distribution of variable degrees[{"degree":0,"count":2278},{"degree":2,"count":2482},{"degree":68,"count":69}]
Minimum constraint arity2
Maximum constraint arity69
Distribution of constraint arities[{"arity":2,"count":69},{"arity":3,"count":2347},{"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":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"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}]
Number of extensional constraints0
Number of intensional constraints2414
Distribution of constraint types[{"type":"intension","count":2414},{"type":"sum","count":68}]
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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281420-1503186338.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4281420-1503186338.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.34/0.27	c parse instance...
8.74/2.31	c solve instance...
11.76/2.76	o 107134 
12.44/2.87	o 98022 
12.95/2.90	o 97762 
12.95/2.92	o 89706 
13.50/3.05	o 89446 
13.50/3.06	o 89194 
13.50/3.08	o 82154 
14.10/3.15	o 81878 
14.10/3.16	o 81626 
14.10/3.17	o 81398 
14.10/3.17	o 75334 
14.10/3.19	o 75042 
14.10/3.20	o 74790 
14.74/3.21	o 74546 
14.74/3.22	o 74342 
14.74/3.22	o 69214 
15.21/3.33	o 67994 
16.92/4.30	o 63762 
16.92/4.32	o 63438 
16.92/4.33	o 63154 
16.92/4.34	o 62910 
16.92/4.35	o 62674 
16.92/4.36	o 62478 
16.92/4.37	o 62322 
16.92/4.38	o 2178 
16.92/4.39	o 2026 
17.58/4.42	o 2022 
17.58/4.42	o 1890 
17.58/4.44	o 1886 
17.58/4.46	o 1862 
17.58/4.48	o 1850 
17.58/4.49	o 1834 
18.17/4.55	o 1790 
18.73/4.60	o 1770 
18.73/4.66	o 1702 
21.56/5.51	o 1694 
21.56/5.56	o 1634 
23.18/6.43	o 1594 
23.18/6.46	o 1546 
51.42/10.66	o 1390 
63.00/12.61	o 1322 
69.08/13.55	o 1298 
126.59/20.89	o 1234 
135.72/22.68	o 1230 
161.93/26.45	o 1222 
219.64/33.82	o 1170 
237.52/36.61	o 1122 
806.93/108.41	o 1094 
819.44/110.21	o 1070 
1512.91/197.34	o 1050 
1583.83/206.32	o 982 
1948.31/252.08	s SATISFIABLE
1948.31/252.08	v <instantiation>
1948.31/252.08	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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[64][0] y[64][1] y[64][2] y[64][3] y[65][0] y[65][1] y[65][2] y[66][0] y[66][1] y[67][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] 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] </list>
1948.31/252.10	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 4 -7 8 5 2 1 0 -3 4 1 6 1 -6 1 -4 -3 0 1 4 -1 -4 -5 0 11 -2 1 10 1 2 3 4 1 -2 -7 0 11 -4 1 -2 -1 0 3 4 -1 -6 1 6 -3 -2 1 -4 -3 4 -3 0 -1 -4 -1 0 1 0 1 0 -1 0 1 0 1 16 49 64 25 4 1 0 9 16 1 36 1 36 1 16 9 0 1 16 1 16 25 0 121 4 1 100 1 4 9 16 1 4 49 0 121 16 1 4 1 0 9 16 1 36 1 36 9 4 1 16 9 16 9 0 1 16 1 0 1 0 1 0 1 0 1 0 1 </values>
1948.31/252.10	v </instantiation>
1948.31/252.10	c Unexpected resolution interruption!

Verifier Data 

OK	982

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281420-1503186338/watcher-4281420-1503186338 -o /tmp/evaluation-result-4281420-1503186338/solver-4281420-1503186338 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503173765-20601 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1684209883 HOME/instance-4281420-1503186338.xml 

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

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

solver pid=27415, runsolver pid=27412

[startup+0.100111 s]*
/proc/loadavg: 3.79 6.84 7.57 2/200 27436
/proc/meminfo: memFree=27014084/32770624 swapFree=67108860/67108860
[pid=27415] ppid=27412 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27415/stat : 27415 (xcsp3-exec) S 27412 27415 20574 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151721856 9740288 346 33554432000 4194304 5098028 140729566700080 140729566698184 140251936055932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17920000 140729566704746 140729566704956 140729566704956 140729566707691 0
/proc/27415/statm: 2378 346 289 221 0 87 0
[pid=27417] ppid=27415 vsize=25999808 memory=26368 CPUtime=0.12 cores=0-7
/proc/27417/stat : 27417 (java) S 27415 27415 20574 0 -1 1077944320 5482 0 0 0 10 2 0 0 20 0 20 0 151721856 26623803392 6592 33554432000 4194304 4196468 140720959515616 140720959498160 140203755278071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
/proc/27417/statm: 6499952 6592 2861 1 0 6488269 0
[pid=27417/tid=27418] ppid=27415 vsize=25999808 memory=7970134873189818520 CPUtime=0.09 cores=0-7
/proc/27417/task/27418/stat : 27418 (java) R 27415 27415 20574 0 -1 4202560 3477 0 0 0 8 1 0 0 20 0 20 0 151721856 26623803392 6592 33554432000 4194304 4196468 140720959515616 140203759497048 140203755290006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27419] ppid=27415 vsize=25999808 memory=732370359615052773 CPUtime=0 cores=0-7
/proc/27417/task/27419/stat : 27419 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721857 26623803392 6592 33554432000 4194304 4196468 140720959515616 140203707898896 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27420] ppid=27415 vsize=25999808 memory=140221277599360 CPUtime=0 cores=0-7
/proc/27417/task/27420/stat : 27420 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721857 26623803392 6592 33554432000 4194304 4196468 140720959515616 140203706846352 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27421] ppid=27415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27421/stat : 27421 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721857 26623803392 6592 33554432000 4194304 4196468 140720959515616 140203705793296 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27422] ppid=27415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27422/stat : 27422 (java) S 27415 27415 20574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151721857 26623803392 6592 33554432000 4194304 4196468 140720959515616 140203310578576 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27423] ppid=27415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27423/stat : 27423 (java) S 27415 27415 20574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151721857 26623803392 6592 33554432000 4194304 4196468 140720959515616 140203309525520 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27424] ppid=27415 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27417/task/27424/stat : 27424 (java) S 27415 27415 20574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151721857 26623803392 6592 33554432000 4194304 4196468 140720959515616 140203308472976 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27425] ppid=27415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27425/stat : 27425 (java) S 27415 27415 20574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151721857 26623803392 6592 33554432000 4194304 4196468 140720959515616 140203307419920 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27426] ppid=27415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27426/stat : 27426 (java) S 27415 27415 20574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151721857 26623803392 6592 33554432000 4194304 4196468 140720959515616 140203306367376 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27427] ppid=27415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27427/stat : 27427 (java) S 27415 27415 20574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151721859 26623803392 6592 33554432000 4194304 4196468 140720959515616 140201960450800 140203755289218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27428] ppid=27415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27428/stat : 27428 (java) S 27415 27415 20574 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151721859 26623803392 6592 33554432000 4194304 4196468 140720959515616 140201959397024 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27429] ppid=27415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27429/stat : 27429 (java) S 27415 27415 20574 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151721859 26623803392 6592 33554432000 4194304 4196468 140720959515616 140201958343920 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27430] ppid=27415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27430/stat : 27430 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721862 26623803392 6592 33554432000 4194304 4196468 140720959515616 140201957292496 140203755296667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27431] ppid=27415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27431/stat : 27431 (java) S 27415 27415 20574 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 151721862 26623803392 6592 33554432000 4194304 4196468 140720959515616 140201956239600 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27432] ppid=27415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27432/stat : 27432 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721862 26623803392 6592 33554432000 4194304 4196468 140720959515616 140201955187056 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27433] ppid=27415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27433/stat : 27433 (java) S 27415 27415 20574 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 151721862 26623803392 6592 33554432000 4194304 4196468 140720959515616 140201954134000 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27434] ppid=27415 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/27417/task/27434/stat : 27434 (java) R 27415 27415 20574 0 -1 4202560 271 0 0 0 1 0 0 0 20 0 20 0 151721862 26623803392 6592 33554432000 4194304 4196468 140720959515616 140201953081456 140203739358558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27435] ppid=27415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27435/stat : 27435 (java) S 27415 27415 20574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151721862 26623803392 6592 33554432000 4194304 4196468 140720959515616 140201952029664 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27436] ppid=27415 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27417/task/27436/stat : 27436 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721862 26623803392 6592 33554432000 4194304 4196468 140720959515616 140201950977200 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27752 KiB

[startup+0.209691 s]*
/proc/loadavg: 3.79 6.84 7.57 2/200 27436
/proc/meminfo: memFree=27003268/32770624 swapFree=67108860/67108860
[pid=27415] ppid=27412 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27415/stat : 27415 (xcsp3-exec) S 27412 27415 20574 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151721856 9740288 346 33554432000 4194304 5098028 140729566700080 140729566698184 140251936055932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17920000 140729566704746 140729566704956 140729566704956 140729566707691 0
/proc/27415/statm: 2378 346 289 221 0 87 0
[pid=27417] ppid=27415 vsize=26004064 memory=38980 CPUtime=0.34 cores=0-7
/proc/27417/stat : 27417 (java) S 27415 27415 20574 0 -1 1077944320 8232 0 0 0 31 3 0 0 20 0 20 0 151721856 26628161536 9745 33554432000 4194304 4196468 140720959515616 140720959498160 140203755278071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
/proc/27417/statm: 6501016 9745 3073 1 0 6488269 0
[pid=27417/tid=27418] ppid=27415 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7
/proc/27417/task/27418/stat : 27418 (java) R 27415 27415 20574 0 -1 4202560 5399 0 0 0 18 2 0 0 20 0 20 0 151721856 26628161536 9745 33554432000 4194304 4196468 140720959515616 140203759492048 140203747956085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27419] ppid=27415 vsize=26004064 memory=732370359615052773 CPUtime=0 cores=0-7
/proc/27417/task/27419/stat : 27419 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 9745 33554432000 4194304 4196468 140720959515616 140203707898896 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27420] ppid=27415 vsize=26004064 memory=140221277599360 CPUtime=0 cores=0-7
/proc/27417/task/27420/stat : 27420 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 9745 33554432000 4194304 4196468 140720959515616 140203706846352 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27421] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27421/stat : 27421 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 9745 33554432000 4194304 4196468 140720959515616 140203705793296 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27422] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27422/stat : 27422 (java) S 27415 27415 20574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 9745 33554432000 4194304 4196468 140720959515616 140203310578576 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27423] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27423/stat : 27423 (java) S 27415 27415 20574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 9745 33554432000 4194304 4196468 140720959515616 140203309525520 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27424] ppid=27415 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27417/task/27424/stat : 27424 (java) S 27415 27415 20574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 9745 33554432000 4194304 4196468 140720959515616 140203308472976 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27425] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27425/stat : 27425 (java) S 27415 27415 20574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 9745 33554432000 4194304 4196468 140720959515616 140203307419920 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27426] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27426/stat : 27426 (java) S 27415 27415 20574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 9745 33554432000 4194304 4196468 140720959515616 140203306367376 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27427] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27427/stat : 27427 (java) S 27415 27415 20574 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151721859 26628161536 9745 33554432000 4194304 4196468 140720959515616 140201960450800 140203755289218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27428] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27428/stat : 27428 (java) S 27415 27415 20574 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151721859 26628161536 9745 33554432000 4194304 4196468 140720959515616 140201959397024 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27429] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27429/stat : 27429 (java) S 27415 27415 20574 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151721859 26628161536 9745 33554432000 4194304 4196468 140720959515616 140201958343920 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27430] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27430/stat : 27430 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721862 26628161536 9745 33554432000 4194304 4196468 140720959515616 140201957292496 140203755296667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27431] ppid=27415 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/27417/task/27431/stat : 27431 (java) S 27415 27415 20574 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 20 0 151721862 26628161536 9745 33554432000 4194304 4196468 140720959515616 140201956239600 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27432] ppid=27415 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/27417/task/27432/stat : 27432 (java) S 27415 27415 20574 0 -1 1077944384 155 0 0 0 2 0 0 0 20 0 20 0 151721862 26628161536 9745 33554432000 4194304 4196468 140720959515616 140201955187056 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27433] ppid=27415 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/27417/task/27433/stat : 27433 (java) S 27415 27415 20574 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 20 0 151721862 26628161536 9745 33554432000 4194304 4196468 140720959515616 140201954134000 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27434] ppid=27415 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/27417/task/27434/stat : 27434 (java) R 27415 27415 20574 0 -1 4202560 753 0 0 0 8 0 0 0 20 0 20 0 151721862 26628161536 9745 33554432000 4194304 4196468 140720959515616 140201953081456 140203755299418 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27435] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27435/stat : 27435 (java) S 27415 27415 20574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151721862 26628161536 9745 33554432000 4194304 4196468 140720959515616 140201952029664 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27436] ppid=27415 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27417/task/27436/stat : 27436 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721862 26628161536 9745 33554432000 4194304 4196468 140720959515616 140201950977200 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40364 KiB

[startup+0.309569 s]*
/proc/loadavg: 3.79 6.84 7.57 3/200 27436
/proc/meminfo: memFree=26998368/32770624 swapFree=67108860/67108860
[pid=27415] ppid=27412 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27415/stat : 27415 (xcsp3-exec) S 27412 27415 20574 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151721856 9740288 346 33554432000 4194304 5098028 140729566700080 140729566698184 140251936055932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17920000 140729566704746 140729566704956 140729566704956 140729566707691 0
/proc/27415/statm: 2378 346 289 221 0 87 0
[pid=27417] ppid=27415 vsize=26004064 memory=43892 CPUtime=0.5 cores=0-7
/proc/27417/stat : 27417 (java) S 27415 27415 20574 0 -1 1077944320 9182 0 0 0 47 3 0 0 20 0 20 0 151721856 26628161536 10973 33554432000 4194304 4196468 140720959515616 140720959498160 140203755278071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
/proc/27417/statm: 6501016 10973 3098 1 0 6488269 0
[pid=27417/tid=27418] ppid=27415 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/27417/task/27418/stat : 27418 (java) R 27415 27415 20574 0 -1 4202560 6106 0 0 0 27 2 0 0 20 0 20 0 151721856 26628161536 10973 33554432000 4194304 4196468 140720959515616 140203759515632 140203755299997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27419] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27419/stat : 27419 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 10973 33554432000 4194304 4196468 140720959515616 140203707898896 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27420] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27420/stat : 27420 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 10973 33554432000 4194304 4196468 140720959515616 140203706846352 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27421] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27421/stat : 27421 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 10973 33554432000 4194304 4196468 140720959515616 140203705793296 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27422] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27422/stat : 27422 (java) S 27415 27415 20574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 10973 33554432000 4194304 4196468 140720959515616 140203310578576 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27423] ppid=27415 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/27417/task/27423/stat : 27423 (java) S 27415 27415 20574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 10973 33554432000 4194304 4196468 140720959515616 140203309525520 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27424] ppid=27415 vsize=26004064 memory=140221152850863 CPUtime=0 cores=0-7
/proc/27417/task/27424/stat : 27424 (java) S 27415 27415 20574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 10973 33554432000 4194304 4196468 140720959515616 140203308472976 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27425] ppid=27415 vsize=26004064 memory=140221152853168 CPUtime=0 cores=0-7
/proc/27417/task/27425/stat : 27425 (java) S 27415 27415 20574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 10973 33554432000 4194304 4196468 140720959515616 140203307419920 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27426] ppid=27415 vsize=26004064 memory=140221152855472 CPUtime=0 cores=0-7
/proc/27417/task/27426/stat : 27426 (java) S 27415 27415 20574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151721857 26628161536 10973 33554432000 4194304 4196468 140720959515616 140203306367376 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27427] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27427/stat : 27427 (java) S 27415 27415 20574 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151721859 26628161536 10973 33554432000 4194304 4196468 140720959515616 140201960450800 140203755289218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27428] ppid=27415 vsize=26004064 memory=280442305717904 CPUtime=0 cores=0-7
/proc/27417/task/27428/stat : 27428 (java) S 27415 27415 20574 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151721859 26628161536 10973 33554432000 4194304 4196468 140720959515616 140201959397024 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27429] ppid=27415 vsize=26004064 memory=280442305724816 CPUtime=0 cores=0-7
/proc/27417/task/27429/stat : 27429 (java) S 27415 27415 20574 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151721859 26628161536 10973 33554432000 4194304 4196468 140720959515616 140201958343920 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27430] ppid=27415 vsize=26004064 memory=280442305666096 CPUtime=0 cores=0-7
/proc/27417/task/27430/stat : 27430 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721862 26628161536 10973 33554432000 4194304 4196468 140720959515616 140201957292496 140203755296667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27431] ppid=27415 vsize=26004064 memory=280442305738640 CPUtime=0.01 cores=0-7
/proc/27417/task/27431/stat : 27431 (java) S 27415 27415 20574 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 20 0 151721862 26628161536 10973 33554432000 4194304 4196468 140720959515616 140201956239600 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27432] ppid=27415 vsize=26004064 memory=280442305745552 CPUtime=0.03 cores=0-7
/proc/27417/task/27432/stat : 27432 (java) S 27415 27415 20574 0 -1 1077944384 236 0 0 0 3 0 0 0 20 0 20 0 151721862 26628161536 10973 33554432000 4194304 4196468 140720959515616 140201955187056 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27433] ppid=27415 vsize=26004064 memory=280442305743248 CPUtime=0.02 cores=0-7
/proc/27417/task/27433/stat : 27433 (java) S 27415 27415 20574 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 20 0 151721862 26628161536 10973 33554432000 4194304 4196468 140720959515616 140201954134000 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27434] ppid=27415 vsize=26004064 memory=280442305759408 CPUtime=0.12 cores=0-7
/proc/27417/task/27434/stat : 27434 (java) R 27415 27415 20574 0 -1 4202560 889 0 0 0 12 0 0 0 20 0 20 0 151721862 26628161536 10973 33554432000 4194304 4196468 140720959515616 140201953081456 140203734226536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27435] ppid=27415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27435/stat : 27435 (java) S 27415 27415 20574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151721862 26628161536 10973 33554432000 4194304 4196468 140720959515616 140201952029664 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27436] ppid=27415 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27417/task/27436/stat : 27436 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721862 26628161536 10973 33554432000 4194304 4196468 140720959515616 140201950977200 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45276 KiB

[startup+0.700962 s]
/proc/loadavg: 3.79 6.84 7.57 5/200 27436
/proc/meminfo: memFree=26965844/32770624 swapFree=67108860/67108860
[pid=27415] ppid=27412 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27415/stat : 27415 (xcsp3-exec) S 27412 27415 20574 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151721856 9740288 346 33554432000 4194304 5098028 140729566700080 140729566698184 140251936055932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17920000 140729566704746 140729566704956 140729566704956 140729566707691 0
/proc/27415/statm: 2378 346 289 221 0 87 0
[pid=27417] ppid=27415 vsize=26006188 memory=99588 CPUtime=1.99 cores=0-7
/proc/27417/stat : 27417 (java) S 27415 27415 20574 0 -1 1077944320 14533 0 0 0 194 5 0 0 20 0 20 0 151721856 26630336512 24897 33554432000 4194304 4196468 140720959515616 140720959498160 140203755278071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
/proc/27417/statm: 6501547 24897 3207 1 0 6488781 0
[pid=27417/tid=27418] ppid=27415 vsize=26006188 memory=280442306054336 CPUtime=0.67 cores=0-7
/proc/27417/task/27418/stat : 27418 (java) R 27415 27415 20574 0 -1 4202560 6792 0 0 0 64 3 0 0 20 0 20 0 151721856 26630336512 24897 33554432000 4194304 4196468 140720959515616 140203759514304 140203385801626 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27419] ppid=27415 vsize=26006188 memory=1012 CPUtime=0 cores=0-7
/proc/27417/task/27419/stat : 27419 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721857 26630336512 24897 33554432000 4194304 4196468 140720959515616 140203707898896 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27420] ppid=27415 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/27417/task/27420/stat : 27420 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721857 26630336512 24897 33554432000 4194304 4196468 140720959515616 140203706846352 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27421] ppid=27415 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/27417/task/27421/stat : 27421 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151721857 26630336512 24897 33554432000 4194304 4196468 140720959515616 140203705793296 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0

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

[pid=27417/tid=27835] ppid=27415 vsize=27006696 memory=1568 CPUtime=52.05 cores=0-7
/proc/27417/task/27835/stat : 27835 (java) R 27415 27415 20574 0 -1 4202560 1300 0 0 0 5204 1 0 0 20 0 28 0 151732878 27654856704 890372 33554432000 4194304 4196468 140720959515616 140201929290472 140203389714206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
Current children cumulated CPU time: 1234.91 s
Current children cumulated vsize: 27016208 KiB
Current children cumulated memory: 3562872 KiB

[startup+222.302 s]
/proc/loadavg: 7.99 7.52 7.69 9/208 27851
/proc/meminfo: memFree=23475220/32770624 swapFree=67108860/67108860
[pid=27415] ppid=27412 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27415/stat : 27415 (xcsp3-exec) S 27412 27415 20574 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151721856 9740288 346 33554432000 4194304 5098028 140729566700080 140729566698184 140251936055932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17920000 140729566704746 140729566704956 140729566704956 140729566707691 0
/proc/27415/statm: 2378 346 289 221 0 87 0
[pid=27417] ppid=27415 vsize=27006696 memory=3561428 CPUtime=1711.28 cores=0-7
/proc/27417/stat : 27417 (java) S 27415 27415 20574 0 -1 1077944320 168888 0 0 0 170885 243 0 0 20 0 28 0 151721856 27654856704 890357 33554432000 4194304 4196468 140720959515616 140720959498160 140203755278071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
/proc/27417/statm: 6751674 890357 3289 1 0 6738908 0
[pid=27417/tid=27418] ppid=27415 vsize=27006696 memory=3561488 CPUtime=2.22 cores=0-7
/proc/27417/task/27418/stat : 27418 (java) S 27415 27415 20574 0 -1 1077944384 9191 0 0 0 216 6 0 0 20 0 28 0 151721856 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203759518848 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27419] ppid=27415 vsize=27006696 memory=3560948 CPUtime=0.29 cores=0-7
/proc/27417/task/27419/stat : 27419 (java) S 27415 27415 20574 0 -1 1077944384 779 0 0 0 20 9 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203707898896 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27420] ppid=27415 vsize=27006696 memory=3561364 CPUtime=0.27 cores=0-7
/proc/27417/task/27420/stat : 27420 (java) S 27415 27415 20574 0 -1 1077944384 1088 0 0 0 19 8 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203706846352 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27421] ppid=27415 vsize=27006696 memory=3561364 CPUtime=0.27 cores=0-7
/proc/27417/task/27421/stat : 27421 (java) S 27415 27415 20574 0 -1 1077944384 451 0 0 0 19 8 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203705793296 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27422] ppid=27415 vsize=27006696 memory=3561364 CPUtime=0.25 cores=0-7
/proc/27417/task/27422/stat : 27422 (java) S 27415 27415 20574 0 -1 1077944384 856 0 0 0 18 7 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203310578576 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27423] ppid=27415 vsize=27006696 memory=3561364 CPUtime=0.29 cores=0-7
/proc/27417/task/27423/stat : 27423 (java) S 27415 27415 20574 0 -1 1077944384 709 0 0 0 20 9 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203309525520 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27424] ppid=27415 vsize=27006696 memory=1384 CPUtime=0.28 cores=0-7
/proc/27417/task/27424/stat : 27424 (java) S 27415 27415 20574 0 -1 1077944384 357 0 0 0 20 8 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203308472976 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27425] ppid=27415 vsize=27006696 memory=3561428 CPUtime=0.26 cores=0-7
/proc/27417/task/27425/stat : 27425 (java) S 27415 27415 20574 0 -1 1077944384 638 0 0 0 18 8 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203307419920 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27426] ppid=27415 vsize=27006696 memory=1384 CPUtime=0.25 cores=0-7
/proc/27417/task/27426/stat : 27426 (java) S 27415 27415 20574 0 -1 1077944384 266 0 0 0 18 7 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203306367376 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27427] ppid=27415 vsize=27006696 memory=1384 CPUtime=0.04 cores=0-7
/proc/27417/task/27427/stat : 27427 (java) S 27415 27415 20574 0 -1 1077944384 4492 0 0 0 4 0 0 0 20 0 28 0 151721859 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201960450800 140203755289218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27428] ppid=27415 vsize=27006696 memory=3561364 CPUtime=0 cores=0-7
/proc/27417/task/27428/stat : 27428 (java) S 27415 27415 20574 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 151721859 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201959397088 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27429] ppid=27415 vsize=27006696 memory=3561364 CPUtime=0 cores=0-7
/proc/27417/task/27429/stat : 27429 (java) S 27415 27415 20574 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 151721859 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201958343936 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27430] ppid=27415 vsize=27006696 memory=1384 CPUtime=0 cores=0-7
/proc/27417/task/27430/stat : 27430 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151721862 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201957292496 140203755296667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27431] ppid=27415 vsize=27006696 memory=0 CPUtime=4.05 cores=0-7
/proc/27417/task/27431/stat : 27431 (java) S 27415 27415 20574 0 -1 1077944384 18728 0 0 0 403 2 0 0 20 0 28 0 151721862 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201956239600 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27432] ppid=27415 vsize=27006696 memory=17985 CPUtime=3.86 cores=0-7
/proc/27417/task/27432/stat : 27432 (java) S 27415 27415 20574 0 -1 1077944384 16037 0 0 0 383 3 0 0 20 0 28 0 151721862 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201955187056 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27433] ppid=27415 vsize=27006696 memory=1384 CPUtime=3.72 cores=0-7
/proc/27417/task/27433/stat : 27433 (java) S 27415 27415 20574 0 -1 1077944384 13019 0 0 0 369 3 0 0 20 0 28 0 151721862 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201954134000 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27434] ppid=27415 vsize=27006696 memory=1384 CPUtime=1.26 cores=0-7
/proc/27417/task/27434/stat : 27434 (java) S 27415 27415 20574 0 -1 1077944384 18803 0 0 0 121 5 0 0 20 0 28 0 151721862 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201953081456 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27435] ppid=27415 vsize=27006696 memory=13144 CPUtime=0 cores=0-7
/proc/27417/task/27435/stat : 27435 (java) S 27415 27415 20574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151721862 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201952029664 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27436] ppid=27415 vsize=27006696 memory=1944 CPUtime=0.08 cores=0-7
/proc/27417/task/27436/stat : 27436 (java) R 27415 27415 20574 0 -1 1077944384 2513 0 0 0 4 4 0 0 20 0 28 0 151721862 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201950977200 140203755289218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27844] ppid=27415 vsize=27006696 memory=6 CPUtime=15.96 cores=0-7
/proc/27417/task/27844/stat : 27844 (java) R 27415 27415 20574 0 -1 4202560 579 0 0 0 1596 0 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201932447336 140203392791981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27845] ppid=27415 vsize=27006696 memory=715 CPUtime=15.95 cores=0-7
/proc/27417/task/27845/stat : 27845 (java) R 27415 27415 20574 0 -1 4202560 580 0 0 0 1595 0 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201930342712 140203392791981 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27846] ppid=27415 vsize=27006696 memory=6791534058613427641 CPUtime=15.97 cores=0-7
/proc/27417/task/27846/stat : 27846 (java) R 27415 27415 20574 0 -1 4202560 922 0 0 0 1596 1 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201936650632 140203396649499 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27847] ppid=27415 vsize=27006696 memory=1568 CPUtime=15.97 cores=0-7
/proc/27417/task/27847/stat : 27847 (java) R 27415 27415 20574 0 -1 4202560 1539 0 0 0 1594 3 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201931394680 140203395318663 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27848] ppid=27415 vsize=27006696 memory=1384 CPUtime=15.63 cores=0-7
/proc/27417/task/27848/stat : 27848 (java) R 27415 27415 20574 0 -1 4202560 4688 0 0 0 1556 7 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201938755672 140203395383818 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27849] ppid=27415 vsize=27006696 memory=1384 CPUtime=15.94 cores=0-7
/proc/27417/task/27849/stat : 27849 (java) R 27415 27415 20574 0 -1 4202560 377 0 0 0 1594 0 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201928236968 140203395283980 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27850] ppid=27415 vsize=27006696 memory=4140 CPUtime=15.96 cores=0-7
/proc/27417/task/27850/stat : 27850 (java) R 27415 27415 20574 0 -1 4202560 1644 0 0 0 1595 1 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201927184112 140203392385905 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27851] ppid=27415 vsize=27006696 memory=42048 CPUtime=15.96 cores=0-7
/proc/27417/task/27851/stat : 27851 (java) R 27415 27415 20574 0 -1 4202560 1190 0 0 0 1595 1 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201929289712 140203395319091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
Current children cumulated CPU time: 1711.28 s
Current children cumulated vsize: 27016208 KiB
Current children cumulated memory: 3562812 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.08 7.58 7.71 9/207 27851
/proc/meminfo: memFree=23476092/32770624 swapFree=67108860/67108860
[pid=27415] ppid=27412 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27415/stat : 27415 (xcsp3-exec) S 27412 27415 20574 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151721856 9740288 346 33554432000 4194304 5098028 140729566700080 140729566698184 140251936055932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17920000 140729566704746 140729566704956 140729566704956 140729566707691 0
/proc/27415/statm: 2378 346 289 221 0 87 0
[pid=27417] ppid=27415 vsize=27006696 memory=3561428 CPUtime=1948.31 cores=0-7
/proc/27417/stat : 27417 (java) S 27415 27415 20574 0 -1 1077944320 172473 0 0 0 194579 252 0 0 20 0 28 0 151721856 27654856704 890357 33554432000 4194304 4196468 140720959515616 140720959498160 140203755278071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
/proc/27417/statm: 6751674 890357 3289 1 0 6738908 0
[pid=27417/tid=27418] ppid=27415 vsize=27006696 memory=6791534058613427641 CPUtime=2.22 cores=0-7
/proc/27417/task/27418/stat : 27418 (java) S 27415 27415 20574 0 -1 1077944384 9191 0 0 0 216 6 0 0 20 0 28 0 151721856 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203759518848 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27419] ppid=27415 vsize=27006696 memory=-7003737579269690708 CPUtime=0.29 cores=0-7
/proc/27417/task/27419/stat : 27419 (java) S 27415 27415 20574 0 -1 1077944384 779 0 0 0 20 9 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203707898896 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27420] ppid=27415 vsize=27006696 memory=1012 CPUtime=0.27 cores=0-7
/proc/27417/task/27420/stat : 27420 (java) S 27415 27415 20574 0 -1 1077944384 1088 0 0 0 19 8 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203706846352 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27421] ppid=27415 vsize=27006696 memory=1716 CPUtime=0.27 cores=0-7
/proc/27417/task/27421/stat : 27421 (java) S 27415 27415 20574 0 -1 1077944384 451 0 0 0 19 8 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203705793296 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27422] ppid=27415 vsize=27006696 memory=5792 CPUtime=0.25 cores=0-7
/proc/27417/task/27422/stat : 27422 (java) S 27415 27415 20574 0 -1 1077944384 856 0 0 0 18 7 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203310578576 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27423] ppid=27415 vsize=27006696 memory=4616 CPUtime=0.29 cores=0-7
/proc/27417/task/27423/stat : 27423 (java) S 27415 27415 20574 0 -1 1077944384 709 0 0 0 20 9 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203309525520 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27424] ppid=27415 vsize=27006696 memory=792 CPUtime=0.28 cores=0-7
/proc/27417/task/27424/stat : 27424 (java) S 27415 27415 20574 0 -1 1077944384 357 0 0 0 20 8 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203308472976 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27425] ppid=27415 vsize=27006696 memory=1420 CPUtime=0.26 cores=0-7
/proc/27417/task/27425/stat : 27425 (java) S 27415 27415 20574 0 -1 1077944384 638 0 0 0 18 8 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203307419920 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27426] ppid=27415 vsize=27006696 memory=13144 CPUtime=0.25 cores=0-7
/proc/27417/task/27426/stat : 27426 (java) S 27415 27415 20574 0 -1 1077944384 266 0 0 0 18 7 0 0 20 0 28 0 151721857 27654856704 890357 33554432000 4194304 4196468 140720959515616 140203306367376 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27427] ppid=27415 vsize=27006696 memory=1944 CPUtime=0.04 cores=0-7
/proc/27417/task/27427/stat : 27427 (java) S 27415 27415 20574 0 -1 1077944384 4502 0 0 0 4 0 0 0 20 0 28 0 151721859 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201960450800 140203755289218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27428] ppid=27415 vsize=27006696 memory=1196 CPUtime=0 cores=0-7
/proc/27417/task/27428/stat : 27428 (java) S 27415 27415 20574 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 151721859 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201959397088 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27429] ppid=27415 vsize=27006696 memory=8592 CPUtime=0 cores=0-7
/proc/27417/task/27429/stat : 27429 (java) S 27415 27415 20574 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 151721859 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201958343936 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27430] ppid=27415 vsize=27006696 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27430/stat : 27430 (java) S 27415 27415 20574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151721862 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201957292496 140203755296667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27431] ppid=27415 vsize=27006696 memory=0 CPUtime=4.05 cores=0-7
/proc/27417/task/27431/stat : 27431 (java) S 27415 27415 20574 0 -1 1077944384 18739 0 0 0 403 2 0 0 20 0 28 0 151721862 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201956239600 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27432] ppid=27415 vsize=27006696 memory=267909292 CPUtime=3.86 cores=0-7
/proc/27417/task/27432/stat : 27432 (java) S 27415 27415 20574 0 -1 1077944384 16042 0 0 0 383 3 0 0 20 0 28 0 151721862 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201955187056 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27433] ppid=27415 vsize=27006696 memory=0 CPUtime=3.72 cores=0-7
/proc/27417/task/27433/stat : 27433 (java) S 27415 27415 20574 0 -1 1077944384 13024 0 0 0 369 3 0 0 20 0 28 0 151721862 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201954134000 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27434] ppid=27415 vsize=27006696 memory=3 CPUtime=1.26 cores=0-7
/proc/27417/task/27434/stat : 27434 (java) S 27415 27415 20574 0 -1 1077944384 18809 0 0 0 121 5 0 0 20 0 28 0 151721862 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201953081456 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27435] ppid=27415 vsize=27006696 memory=0 CPUtime=0 cores=0-7
/proc/27417/task/27435/stat : 27435 (java) S 27415 27415 20574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151721862 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201952029664 140203755288277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27436] ppid=27415 vsize=27006696 memory=0 CPUtime=0.08 cores=0-7
/proc/27417/task/27436/stat : 27436 (java) S 27415 27415 20574 0 -1 1077944384 2644 0 0 0 4 4 0 0 20 0 28 0 151721862 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201950977200 140203755289218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27844] ppid=27415 vsize=27006696 memory=17 CPUtime=45.67 cores=0-7
/proc/27417/task/27844/stat : 27844 (java) R 27415 27415 20574 0 -1 4202560 708 0 0 0 4567 0 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201932447336 140203389714220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27845] ppid=27415 vsize=27006696 memory=4 CPUtime=45.64 cores=0-7
/proc/27417/task/27845/stat : 27845 (java) R 27415 27415 20574 0 -1 4202560 699 0 0 0 4564 0 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201930342712 140203395284192 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27846] ppid=27415 vsize=27006696 memory=0 CPUtime=45.67 cores=0-7
/proc/27417/task/27846/stat : 27846 (java) R 27415 27415 20574 0 -1 4202560 1133 0 0 0 4566 1 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201936650632 140203397216576 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27847] ppid=27415 vsize=27006696 memory=38 CPUtime=45.67 cores=0-7
/proc/27417/task/27847/stat : 27847 (java) R 27415 27415 20574 0 -1 4202560 1855 0 0 0 4564 3 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201931394680 140203395253432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27848] ppid=27415 vsize=27006696 memory=0 CPUtime=44.71 cores=0-7
/proc/27417/task/27848/stat : 27848 (java) R 27415 27415 20574 0 -1 4202560 6428 0 0 0 4457 14 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201938755672 140203396961321 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27849] ppid=27415 vsize=27006696 memory=1944 CPUtime=45.65 cores=0-7
/proc/27417/task/27849/stat : 27849 (java) R 27415 27415 20574 0 -1 4202560 461 0 0 0 4564 1 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201928236968 140203392792019 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27850] ppid=27415 vsize=27006696 memory=1196 CPUtime=45.67 cores=0-7
/proc/27417/task/27850/stat : 27850 (java) R 27415 27415 20574 0 -1 4202560 2149 0 0 0 4566 1 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201927184248 140203392385943 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
[pid=27417/tid=27851] ppid=27415 vsize=27006696 memory=8592 CPUtime=45.65 cores=0-7
/proc/27417/task/27851/stat : 27851 (java) R 27415 27415 20574 0 -1 4202560 1503 0 0 0 4564 1 0 0 20 0 28 0 151742488 27654856704 890357 33554432000 4194304 4196468 140720959515616 140201929289712 140203395540871 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37588992 140720959521944 140720959522120 140720959522120 140720959524815 0
Current children cumulated CPU time: 1948.31 s
Current children cumulated vsize: 27016208 KiB
Current children cumulated memory: 3562812 KiB

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

[startup+252.04 s]
# the end of solver process 27415 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000969 s, system=0.000969 s

[startup+252.124 s]
# the end of solver process 27417 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1946.5 s, system=2.54503 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): 252.124
CPU time (s): 1949.05
CPU user time (s): 1946.5
CPU system time (s): 2.54503
CPU usage (%): 773.051
Max. virtual memory (cumulated for all children) (KiB): 27016208
Max. memory (cumulated for all children) (KiB): 3562888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1946.5
system time used= 2.54503
maximum resident set size= 3561936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173962
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16071
involuntary context switches= 20520


# summary of solver processes directly reported to runsolver:
#   pid: 27415,27417
#   total CPU time (s): 1949.05
#   total CPU user time (s): 1946.5
#   total CPU system time (s): 2.54503

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.10924 second user time and 3.15559 second system time

The end

Launcher Data 

Begin job on node103 at 2017-08-20 01:31:18
IDJOB=4281420
IDBENCH=127023
IDSOLVER=2676
FILE ID=node103/4281420-1503186338
RUNJOBID= node103-1503173765-20601
PBS_JOBID= 20630841
Free space on /tmp= 61652 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-069.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281420-1503186338/watcher-4281420-1503186338 -o /tmp/evaluation-result-4281420-1503186338/solver-4281420-1503186338 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503173765-20601 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1684209883 HOME/instance-4281420-1503186338.xml

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

MD5SUM BENCH= e65d1522f1056f49054155eb060914b2
RANDOM SEED=1684209883

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.56
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.56
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.56
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.56
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:        27030900 kB
MemAvailable:   31974376 kB
Buffers:          237656 kB
Cached:          4999208 kB
SwapCached:            0 kB
Active:          1007436 kB
Inactive:        4286116 kB
Active(anon):       5748 kB
Inactive(anon):    86700 kB
Active(file):    1001688 kB
Inactive(file):  4199416 kB
Unevictable:        7496 kB
Mlocked:            7496 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7812 kB
Writeback:            12 kB
AnonPages:         62656 kB
Mapped:            51436 kB
Shmem:             33420 kB
Slab:             143200 kB
SReclaimable:     116412 kB
SUnreclaim:        26788 kB
KernelStack:        3248 kB
PageTables:         5428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     334244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61644 MiB
End job on node103 at 2017-08-20 01:35:30