Trace number 4246097

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
R1: choco-solver 5a (2017-07-05)OPT123 204.359 26.5605

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t15-1.xml
MD5SUMb82332625d17a81d2c62c757de216262
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark123
Best CPU time to get the best result obtained on this benchmark7.4963198
Satisfiable
(Un)Satisfiability was proved
Number of variables3507
Number of constraints189
Number of domains12
Minimum domain size2
Maximum domain size20
Distribution of domain sizes[{"size":2,"count":334},{"size":3,"count":334},{"size":5,"count":334},{"size":8,"count":167},{"size":9,"count":167},{"size":10,"count":334},{"size":11,"count":167},{"size":12,"count":167},{"size":14,"count":668},{"size":15,"count":334},{"size":18,"count":334},{"size":20,"count":167}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":3507}]
Minimum constraint arity21
Maximum constraint arity3340
Distribution of constraint arities[{"arity":21,"count":167},{"arity":167,"count":21},{"arity":3340,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":187}]
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 -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246097-1500686782.xml"  -tl '2400s' -p 8 -x 3
0.00/0.17	c [HOME/instance-4246097-1500686782.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.22	c 8 solvers in parallel
0.00/0.29	c parse instance...
0.00/0.97	c solve instance...
7.92/1.65	o 167 
10.26/1.92	o 166 
12.72/2.23	o 165 
14.94/2.54	o 164 
16.50/2.79	o 163 
19.66/3.17	o 162 
22.07/3.42	o 161 
23.52/3.67	o 160 
25.85/3.93	o 159 
28.19/4.23	o 158 
29.85/4.47	o 157 
32.08/4.73	o 156 
33.63/4.93	o 155 
33.63/4.96	o 154 
33.63/4.98	o 153 
41.37/5.91	o 152 
42.93/6.12	o 151 
44.47/6.32	o 150 
46.05/6.56	o 149 
47.74/6.78	o 148 
49.91/7.02	o 147 
51.42/7.24	o 146 
52.97/7.47	o 145 
54.53/7.70	o 144 
56.89/7.93	o 143 
59.24/8.20	o 142 
60.81/8.43	o 141 
62.37/8.66	o 140 
64.00/8.90	o 139 
66.24/9.12	o 138 
67.80/9.34	o 137 
69.38/9.58	o 136 
71.74/9.80	o 135 
73.40/10.03	o 134 
74.87/10.27	o 133 
77.22/10.55	o 132 
78.80/10.77	o 131 
81.19/11.03	o 130 
82.63/11.27	o 129 
84.92/11.50	o 128 
86.49/11.72	o 127 
88.06/11.96	o 126 
90.51/12.23	o 125 
91.94/12.47	o 124 
94.31/12.72	o 123 
204.16/26.54	s OPTIMUM FOUND
204.16/26.54	v <instantiation>
204.16/26.54	v 	<list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] </list>
204.16/26.54	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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
204.16/26.54	v </instantiation>

Verifier Data 

OK	123

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246097-1500686782/watcher-4246097-1500686782 -o /tmp/evaluation-result-4246097-1500686782/solver-4246097-1500686782 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 797142081 HOME/instance-4246097-1500686782.xml 

pid=18913
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 5.05 8.98 11.46 3/262 18916
/proc/meminfo: memFree=21655516/32770624 swapFree=5860/271720
[pid=18916] ppid=18913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18916/stat : 18916 (xcsp3-exec) S 18913 18916 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3945607 9740288 346 33554432000 4194304 5098028 140734214975296 140734214973400 140676511339132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15466496 140734214980751 140734214980960 140734214980960 140734214983659 0
/proc/18916/statm: 2378 346 289 221 0 87 0

[startup+0.100137 s]
/proc/loadavg: 5.05 8.98 11.46 3/262 18916
/proc/meminfo: memFree=21655516/32770624 swapFree=5860/271720
[pid=18916] ppid=18913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18916/stat : 18916 (xcsp3-exec) S 18913 18916 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3945607 9740288 346 33554432000 4194304 5098028 140734214975296 140734214973400 140676511339132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15466496 140734214980751 140734214980960 140734214980960 140734214983659 0
/proc/18916/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.20035 s]
/proc/loadavg: 5.05 8.98 11.46 3/262 18916
/proc/meminfo: memFree=21655516/32770624 swapFree=5860/271720
[pid=18916] ppid=18913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18916/stat : 18916 (xcsp3-exec) S 18913 18916 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3945607 9740288 346 33554432000 4194304 5098028 140734214975296 140734214973400 140676511339132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15466496 140734214980751 140734214980960 140734214980960 140734214983659 0
/proc/18916/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300307 s]
/proc/loadavg: 5.05 8.98 11.46 3/262 18916
/proc/meminfo: memFree=21655516/32770624 swapFree=5860/271720
[pid=18916] ppid=18913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18916/stat : 18916 (xcsp3-exec) S 18913 18916 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3945607 9740288 346 33554432000 4194304 5098028 140734214975296 140734214973400 140676511339132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15466496 140734214980751 140734214980960 140734214980960 140734214983659 0
/proc/18916/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700163 s]
/proc/loadavg: 5.05 8.98 11.46 3/262 18916
/proc/meminfo: memFree=21655516/32770624 swapFree=5860/271720
[pid=18916] ppid=18913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18916/stat : 18916 (xcsp3-exec) S 18913 18916 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3945607 9740288 346 33554432000 4194304 5098028 140734214975296 140734214973400 140676511339132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15466496 140734214980751 140734214980960 140734214980960 140734214983659 0
/proc/18916/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.5015 s]
/proc/loadavg: 5.05 8.98 11.46 14/291 18945
/proc/meminfo: memFree=21477236/32770624 swapFree=5860/271764
[pid=18916] ppid=18913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18916/stat : 18916 (xcsp3-exec) S 18913 18916 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3945607 9740288 346 33554432000 4194304 5098028 140734214975296 140734214973400 140676511339132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15466496 140734214980751 140734214980960 140734214980960 140734214983659 0
/proc/18916/statm: 2378 346 289 221 0 87 0
[pid=18917] ppid=18916 vsize=13801768 CPUtime=7.14 cores=0,2,4,6,8,10,12,14
/proc/18917/stat : 18917 (java) S 18916 18916 7411 0 -1 1077944320 20882 0 0 0 705 9 0 0 20 0 28 0 3945607 14133010432 49104 33554432000 4194304 4196468 140729754172688 140729754155232 139841987055351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
/proc/18917/statm: 3450442 49104 3244 1 0 3437675 0
[pid=18917/tid=18918] ppid=18916 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18918/stat : 18918 (java) S 18916 18916 7411 0 -1 1077944384 6781 0 0 0 91 4 0 0 20 0 28 0 3945607 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841991296128 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18920] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18920/stat : 18920 (java) S 18916 18916 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3945608 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841926019600 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18921] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18921/stat : 18921 (java) S 18916 18916 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3945608 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841924967056 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18922] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18922/stat : 18922 (java) S 18916 18916 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3945608 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841923914000 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18923] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18923/stat : 18923 (java) S 18916 18916 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3945608 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841922861456 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18924] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18924/stat : 18924 (java) S 18916 18916 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3945608 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841921809424 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18925] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18925/stat : 18925 (java) S 18916 18916 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3945608 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841581309072 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18926] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18926/stat : 18926 (java) S 18916 18916 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3945608 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841580256016 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18927] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18927/stat : 18927 (java) S 18916 18916 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3945608 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841579203472 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18928] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18928/stat : 18928 (java) S 18916 18916 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3945610 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841180256496 139841987066498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18929] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18929/stat : 18929 (java) S 18916 18916 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3945611 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841179202720 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18930] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18930/stat : 18930 (java) S 18916 18916 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3945611 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841178149616 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18931] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18931/stat : 18931 (java) S 18916 18916 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3945614 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841177098192 139841987073947 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18932] ppid=18916 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18932/stat : 18932 (java) R 18916 18916 7411 0 -1 4202560 2882 0 0 0 100 0 0 0 20 0 28 0 3945614 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841176027520 139841966717344 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18933] ppid=18916 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18933/stat : 18933 (java) R 18916 18916 7411 0 -1 4202560 2839 0 0 0 90 1 0 0 20 0 28 0 3945614 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841174979488 139841968241136 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18934] ppid=18916 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18934/stat : 18934 (java) R 18916 18916 7411 0 -1 4202560 3566 0 0 0 89 0 0 0 20 0 28 0 3945614 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841173927536 139841968580894 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18935] ppid=18916 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18935/stat : 18935 (java) S 18916 18916 7411 0 -1 1077944384 2756 0 0 0 72 1 0 0 20 0 28 0 3945614 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841172888176 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18936] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18936/stat : 18936 (java) S 18916 18916 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3945615 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841171835360 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18937] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18937/stat : 18937 (java) S 18916 18916 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3945615 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841170782896 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18938] ppid=18916 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18938/stat : 18938 (java) R 18916 18916 7411 0 -1 4202560 104 0 0 0 33 0 0 0 20 0 28 0 3945705 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841163268712 139841607459052 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18939] ppid=18916 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18939/stat : 18939 (java) R 18916 18916 7411 0 -1 4202560 138 0 0 0 24 0 0 0 20 0 28 0 3945706 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841162217400 139841607755419 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18940] ppid=18916 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18940/stat : 18940 (java) R 18916 18916 7411 0 -1 4202560 97 0 0 0 42 0 0 0 20 0 28 0 3945706 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841161165584 139841607802495 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18941] ppid=18916 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18941/stat : 18941 (java) R 18916 18916 7411 0 -1 4202560 96 0 0 0 31 0 0 0 20 0 28 0 3945706 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841160112472 139841607801858 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18942] ppid=18916 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18942/stat : 18942 (java) R 18916 18916 7411 0 -1 4202560 53 0 0 0 31 0 0 0 20 0 28 0 3945706 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841159060200 139841608097072 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18943] ppid=18916 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18943/stat : 18943 (java) R 18916 18916 7411 0 -1 4202560 93 0 0 0 34 0 0 0 20 0 28 0 3945706 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841158006792 139841607500730 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18944] ppid=18916 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18944/stat : 18944 (java) R 18916 18916 7411 0 -1 4202560 85 0 0 0 32 0 0 0 20 0 28 0 3945706 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841156952024 139841607500539 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18945] ppid=18916 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18945/stat : 18945 (java) R 18916 18916 7411 0 -1 4202560 90 0 0 0 29 0 0 0 20 0 28 0 3945706 14133010432 49104 33554432000 4194304 4196468 140729754172688 139841155897920 139841607468130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 13811280

[startup+3.10124 s]
/proc/loadavg: 5.29 8.96 11.44 13/291 18961
/proc/meminfo: memFree=21432044/32770624 swapFree=5860/271764
[pid=18916] ppid=18913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18916/stat : 18916 (xcsp3-exec) S 18913 18916 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3945607 9740288 346 33554432000 4194304 5098028 140734214975296 140734214973400 140676511339132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15466496 140734214980751 140734214980960 140734214980960 140734214983659 0
/proc/18916/statm: 2378 346 289 221 0 87 0
[pid=18917] ppid=18916 vsize=13801768 CPUtime=19.66 cores=0,2,4,6,8,10,12,14
/proc/18917/stat : 18917 (java) S 18916 18916 7411 0 -1 1077944320 28142 0 0 0 1943 23 0 0 20 0 28 0 3945607 14133010432 59230 33554432000 4194304 4196468 140729754172688 140729754155232 139841987055351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
/proc/18917/statm: 3450442 59230 3274 1 0 3437675 0
[pid=18917/tid=18918] ppid=18916 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18918/stat : 18918 (java) S 18916 18916 7411 0 -1 1077944384 6846 0 0 0 93 4 0 0 20 0 28 0 3945607 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841991296128 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18920] ppid=18916 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18920/stat : 18920 (java) S 18916 18916 7411 0 -1 1077944384 20 0 0 0 2 1 0 0 20 0 28 0 3945608 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841926019600 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18921] ppid=18916 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18921/stat : 18921 (java) S 18916 18916 7411 0 -1 1077944384 100 0 0 0 3 1 0 0 20 0 28 0 3945608 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841924967056 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18922] ppid=18916 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18922/stat : 18922 (java) S 18916 18916 7411 0 -1 1077944384 156 0 0 0 2 1 0 0 20 0 28 0 3945608 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841923914000 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18923] ppid=18916 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18923/stat : 18923 (java) S 18916 18916 7411 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 28 0 3945608 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841922861456 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18924] ppid=18916 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18924/stat : 18924 (java) S 18916 18916 7411 0 -1 1077944384 43 0 0 0 3 1 0 0 20 0 28 0 3945608 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841921809424 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18925] ppid=18916 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18925/stat : 18925 (java) S 18916 18916 7411 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 3945608 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841581309072 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18926] ppid=18916 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18926/stat : 18926 (java) S 18916 18916 7411 0 -1 1077944384 62 0 0 0 2 1 0 0 20 0 28 0 3945608 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841580256016 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18927] ppid=18916 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18927/stat : 18927 (java) S 18916 18916 7411 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 3945608 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841579203472 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18928] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18928/stat : 18928 (java) S 18916 18916 7411 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 28 0 3945610 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841180256496 139841987066498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18929] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18929/stat : 18929 (java) S 18916 18916 7411 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3945611 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841179202720 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18930] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18930/stat : 18930 (java) S 18916 18916 7411 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3945611 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841178149616 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18931] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18931/stat : 18931 (java) S 18916 18916 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3945614 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841177098192 139841987073947 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18932] ppid=18916 vsize=13801768 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18932/stat : 18932 (java) R 18916 18916 7411 0 -1 4202560 3825 0 0 0 190 1 0 0 20 0 28 0 3945614 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841176032128 139841971972708 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18933] ppid=18916 vsize=13801768 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18933/stat : 18933 (java) R 18916 18916 7411 0 -1 4202560 4291 0 0 0 172 1 0 0 20 0 28 0 3945614 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841174994072 139841970613938 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18934] ppid=18916 vsize=13801768 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18934/stat : 18934 (java) R 18916 18916 7411 0 -1 4202560 4969 0 0 0 170 1 0 0 20 0 28 0 3945614 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841173941016 139841964650096 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18935] ppid=18916 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18935/stat : 18935 (java) S 18916 18916 7411 0 -1 1077944384 3982 0 0 0 94 2 0 0 20 0 28 0 3945614 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841172888176 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18936] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18936/stat : 18936 (java) S 18916 18916 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3945615 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841171835360 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18937] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18937/stat : 18937 (java) S 18916 18916 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3945615 14133010432 59230 33554432000 4194304 4196468 140729754172688 139841170782896 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
Current children cumulated CPU time (s) 19.66
Current children cumulated vsize (KiB) 13811280

[startup+6.30134 s]
/proc/loadavg: 5.29 8.96 11.44 18/291 19065
/proc/meminfo: memFree=21384996/32770624 swapFree=5860/271764
[pid=18916] ppid=18913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18916/stat : 18916 (xcsp3-exec) S 18913 18916 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3945607 9740288 346 33554432000 4194304 5098028 140734214975296 140734214973400 140676511339132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15466496 140734214980751 140734214980960 140734214980960 140734214983659 0
/proc/18916/statm: 2378 346 289 221 0 87 0
[pid=18917] ppid=18916 vsize=13801768 CPUtime=44.47 cores=0,2,4,6,8,10,12,14
/proc/18917/stat : 18917 (java) S 18916 18916 7411 0 -1 1077944320 32991 0 0 0 4415 32 0 0 20 0 28 0 3945607 14133010432 65751 33554432000 4194304 4196468 140729754172688 140729754155232 139841987055351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
/proc/18917/statm: 3450442 65751 3284 1 0 3437675 0
[pid=18917/tid=18918] ppid=18916 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18918/stat : 18918 (java) S 18916 18916 7411 0 -1 1077944384 6922 0 0 0 96 4 0 0 20 0 28 0 3945607 14133010432 65751 33554432000 4194304 4196468 140729754172688 139841991296128 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18920] ppid=18916 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18920/stat : 18920 (java) S 18916 18916 7411 0 -1 1077944384 27 0 0 0 3 1 0 0 20 0 28 0 3945608 14133010432 65751 33554432000 4194304 4196468 140729754172688 139841926019600 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18921] ppid=18916 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18921/stat : 18921 (java) S 18916 18916 7411 0 -1 1077944384 136 0 0 0 5 2 0 0 20 0 28 0 3945608 14133010432 65751 33554432000 4194304 4196468 140729754172688 139841924967056 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18922] ppid=18916 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18922/stat : 18922 (java) S 18916 18916 7411 0 -1 1077944384 209 0 0 0 3 2 0 0 20 0 28 0 3945608 14133010432 65751 33554432000 4194304 4196468 140729754172688 139841923914000 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18923] ppid=18916 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18923/stat : 18923 (java) S 18916 18916 7411 0 -1 1077944384 313 0 0 0 2 1 0 0 20 0 28 0 3945608 14133010432 65751 33554432000 4194304 4196468 140729754172688 139841922861456 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0

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

/proc/18917/task/18929/stat : 18929 (java) S 18916 18916 7411 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3945611 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841179202784 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18930] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18930/stat : 18930 (java) S 18916 18916 7411 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3945611 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841178149632 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18931] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18931/stat : 18931 (java) S 18916 18916 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3945614 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841177098192 139841987073947 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18932] ppid=18916 vsize=13801768 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18932/stat : 18932 (java) S 18916 18916 7411 0 -1 1077944384 6768 0 0 0 292 1 0 0 20 0 28 0 3945614 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841176046320 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18933] ppid=18916 vsize=13801768 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18933/stat : 18933 (java) S 18916 18916 7411 0 -1 1077944384 6886 0 0 0 279 2 0 0 20 0 28 0 3945614 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841174993776 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18934] ppid=18916 vsize=13801768 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18934/stat : 18934 (java) S 18916 18916 7411 0 -1 1077944384 8051 0 0 0 274 1 0 0 20 0 28 0 3945614 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841173940720 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18935] ppid=18916 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18935/stat : 18935 (java) S 18916 18916 7411 0 -1 1077944384 5014 0 0 0 110 2 0 0 20 0 28 0 3945614 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841172888176 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18936] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18936/stat : 18936 (java) S 18916 18916 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3945615 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841171835360 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18937] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18937/stat : 18937 (java) S 18916 18916 7411 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 28 0 3945615 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841170782896 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19298] ppid=18916 vsize=13801768 CPUtime=13.09 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19298/stat : 19298 (java) R 18916 18916 7411 0 -1 4202560 259 0 0 0 1309 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841161161048 139841607801911 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19299] ppid=18916 vsize=13801768 CPUtime=13.07 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19299/stat : 19299 (java) R 18916 18916 7411 0 -1 4202560 258 0 0 0 1307 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841160109640 139841609084958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19300] ppid=18916 vsize=13801768 CPUtime=13.12 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19300/stat : 19300 (java) R 18916 18916 7411 0 -1 4202560 383 0 0 0 1312 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841158004936 139841602934044 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19301] ppid=18916 vsize=13801768 CPUtime=13.22 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19301/stat : 19301 (java) R 18916 18916 7411 0 -1 4202560 1187 0 0 0 1322 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841163269160 139841602934996 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19302] ppid=18916 vsize=13801768 CPUtime=13.13 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19302/stat : 19302 (java) R 18916 18916 7411 0 -1 4202560 316 0 0 0 1313 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841159058200 139841607801858 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19303] ppid=18916 vsize=13801768 CPUtime=13.02 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19303/stat : 19303 (java) R 18916 18916 7411 0 -1 4202560 255 0 0 0 1302 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841156952136 139841607801823 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19304] ppid=18916 vsize=13801768 CPUtime=12.89 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19304/stat : 19304 (java) R 18916 18916 7411 0 -1 4202560 258 0 0 0 1289 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841155899080 139841609644377 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19305] ppid=18916 vsize=13801768 CPUtime=13.02 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19305/stat : 19305 (java) R 18916 18916 7411 0 -1 4202560 239 0 0 0 1302 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841162215352 139841607802293 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
Current children cumulated CPU time (s) 200.07
Current children cumulated vsize (KiB) 13811280

[startup+26.4016 s]
/proc/loadavg: 8.08 9.35 11.51 17/291 19305
/proc/meminfo: memFree=21229312/32770624 swapFree=5860/271796
[pid=18916] ppid=18913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18916/stat : 18916 (xcsp3-exec) S 18913 18916 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3945607 9740288 346 33554432000 4194304 5098028 140734214975296 140734214973400 140676511339132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15466496 140734214980751 140734214980960 140734214980960 140734214983659 0
/proc/18916/statm: 2378 346 289 221 0 87 0
[pid=18917] ppid=18916 vsize=13801768 CPUtime=203.36 cores=0,2,4,6,8,10,12,14
/proc/18917/stat : 18917 (java) S 18916 18916 7411 0 -1 1077944320 50282 0 0 0 20275 61 0 0 20 0 28 0 3945607 14133010432 104059 33554432000 4194304 4196468 140729754172688 140729754155232 139841987055351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
/proc/18917/statm: 3450442 104059 3288 1 0 3437675 0
[pid=18917/tid=18918] ppid=18916 vsize=13801768 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18918/stat : 18918 (java) S 18916 18916 7411 0 -1 1077944384 6925 0 0 0 99 5 0 0 20 0 28 0 3945607 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841991296128 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18920] ppid=18916 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18920/stat : 18920 (java) S 18916 18916 7411 0 -1 1077944384 59 0 0 0 5 4 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841926019600 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18921] ppid=18916 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18921/stat : 18921 (java) S 18916 18916 7411 0 -1 1077944384 335 0 0 0 7 4 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841924967056 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18922] ppid=18916 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18922/stat : 18922 (java) S 18916 18916 7411 0 -1 1077944384 275 0 0 0 6 5 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841923914000 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18923] ppid=18916 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18923/stat : 18923 (java) S 18916 18916 7411 0 -1 1077944384 387 0 0 0 5 4 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841922861456 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18924] ppid=18916 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18924/stat : 18924 (java) S 18916 18916 7411 0 -1 1077944384 210 0 0 0 8 4 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841921809424 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18925] ppid=18916 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18925/stat : 18925 (java) S 18916 18916 7411 0 -1 1077944384 133 0 0 0 5 3 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841581309072 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18926] ppid=18916 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18926/stat : 18926 (java) S 18916 18916 7411 0 -1 1077944384 112 0 0 0 5 5 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841580256016 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18927] ppid=18916 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18927/stat : 18927 (java) S 18916 18916 7411 0 -1 1077944384 706 0 0 0 4 4 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841579203472 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18928] ppid=18916 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18928/stat : 18928 (java) S 18916 18916 7411 0 -1 1077944384 813 0 0 0 1 2 0 0 20 0 28 0 3945610 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841180256496 139841987066498 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18929] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18929/stat : 18929 (java) S 18916 18916 7411 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3945611 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841179202784 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18930] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18930/stat : 18930 (java) S 18916 18916 7411 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3945611 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841178149632 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18931] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18931/stat : 18931 (java) S 18916 18916 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3945614 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841177098192 139841987073947 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18932] ppid=18916 vsize=13801768 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18932/stat : 18932 (java) S 18916 18916 7411 0 -1 1077944384 6768 0 0 0 292 1 0 0 20 0 28 0 3945614 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841176046320 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18933] ppid=18916 vsize=13801768 CPUtime=2.85 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18933/stat : 18933 (java) S 18916 18916 7411 0 -1 1077944384 7423 0 0 0 283 2 0 0 20 0 28 0 3945614 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841174993776 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18934] ppid=18916 vsize=13801768 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18934/stat : 18934 (java) S 18916 18916 7411 0 -1 1077944384 8051 0 0 0 274 1 0 0 20 0 28 0 3945614 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841173940720 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18935] ppid=18916 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18935/stat : 18935 (java) S 18916 18916 7411 0 -1 1077944384 5014 0 0 0 110 2 0 0 20 0 28 0 3945614 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841172888176 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18936] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18936/stat : 18936 (java) S 18916 18916 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3945615 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841171835360 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18937] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18937/stat : 18937 (java) S 18916 18916 7411 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 28 0 3945615 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841170782896 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19298] ppid=18916 vsize=13801768 CPUtime=13.51 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19298/stat : 19298 (java) R 18916 18916 7411 0 -1 4202560 259 0 0 0 1351 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841161161048 139841607801858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19299] ppid=18916 vsize=13801768 CPUtime=13.49 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19299/stat : 19299 (java) R 18916 18916 7411 0 -1 4202560 260 0 0 0 1349 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841160109640 139841608585509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19300] ppid=18916 vsize=13801768 CPUtime=13.53 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19300/stat : 19300 (java) R 18916 18916 7411 0 -1 4202560 389 0 0 0 1353 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841158005360 139841609644377 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19301] ppid=18916 vsize=13801768 CPUtime=13.63 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19301/stat : 19301 (java) R 18916 18916 7411 0 -1 4202560 1199 0 0 0 1363 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841163269160 139841608480718 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19302] ppid=18916 vsize=13801768 CPUtime=13.51 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19302/stat : 19302 (java) R 18916 18916 7411 0 -1 4202560 316 0 0 0 1351 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841159058200 139841607801914 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19303] ppid=18916 vsize=13801768 CPUtime=13.44 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19303/stat : 19303 (java) R 18916 18916 7411 0 -1 4202560 255 0 0 0 1344 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841156952136 139841608585509 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19304] ppid=18916 vsize=13801768 CPUtime=13.29 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19304/stat : 19304 (java) R 18916 18916 7411 0 -1 4202560 258 0 0 0 1329 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841155899080 139841607801784 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19305] ppid=18916 vsize=13801768 CPUtime=13.43 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19305/stat : 19305 (java) R 18916 18916 7411 0 -1 4202560 239 0 0 0 1343 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841162215352 139841607801858 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
Current children cumulated CPU time (s) 203.36
Current children cumulated vsize (KiB) 13811280

[startup+26.5157 s]
/proc/loadavg: 8.08 9.35 11.51 17/291 19305
/proc/meminfo: memFree=21229312/32770624 swapFree=5860/271796
[pid=18916] ppid=18913 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18916/stat : 18916 (xcsp3-exec) S 18913 18916 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3945607 9740288 346 33554432000 4194304 5098028 140734214975296 140734214973400 140676511339132 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15466496 140734214980751 140734214980960 140734214980960 140734214983659 0
/proc/18916/statm: 2378 346 289 221 0 87 0
[pid=18917] ppid=18916 vsize=13801768 CPUtime=204.16 cores=0,2,4,6,8,10,12,14
/proc/18917/stat : 18917 (java) S 18916 18916 7411 0 -1 1077944320 50286 0 0 0 20355 61 0 0 20 0 28 0 3945607 14133010432 104059 33554432000 4194304 4196468 140729754172688 140729754155232 139841987055351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
/proc/18917/statm: 3450442 104059 3288 1 0 3437675 0
[pid=18917/tid=18918] ppid=18916 vsize=13801768 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18918/stat : 18918 (java) S 18916 18916 7411 0 -1 1077944384 6925 0 0 0 99 5 0 0 20 0 28 0 3945607 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841991296128 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18920] ppid=18916 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18920/stat : 18920 (java) S 18916 18916 7411 0 -1 1077944384 59 0 0 0 5 4 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841926019600 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18921] ppid=18916 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18921/stat : 18921 (java) S 18916 18916 7411 0 -1 1077944384 335 0 0 0 7 4 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841924967056 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18922] ppid=18916 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18922/stat : 18922 (java) S 18916 18916 7411 0 -1 1077944384 275 0 0 0 6 5 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841923914000 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18923] ppid=18916 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18923/stat : 18923 (java) S 18916 18916 7411 0 -1 1077944384 387 0 0 0 5 4 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841922861456 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18924] ppid=18916 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18924/stat : 18924 (java) S 18916 18916 7411 0 -1 1077944384 210 0 0 0 8 4 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841921809424 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18925] ppid=18916 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18925/stat : 18925 (java) S 18916 18916 7411 0 -1 1077944384 133 0 0 0 5 3 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841581309072 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18926] ppid=18916 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18926/stat : 18926 (java) S 18916 18916 7411 0 -1 1077944384 112 0 0 0 5 5 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841580256016 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18927] ppid=18916 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18927/stat : 18927 (java) S 18916 18916 7411 0 -1 1077944384 706 0 0 0 4 4 0 0 20 0 28 0 3945608 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841579203472 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18928] ppid=18916 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18928/stat : 18928 (java) S 18916 18916 7411 0 -1 1077944384 813 0 0 0 1 2 0 0 20 0 28 0 3945610 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841180256496 139841987066498 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18929] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18929/stat : 18929 (java) S 18916 18916 7411 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3945611 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841179202784 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18930] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18930/stat : 18930 (java) S 18916 18916 7411 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3945611 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841178149632 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18931] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18931/stat : 18931 (java) S 18916 18916 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3945614 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841177098192 139841987073947 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18932] ppid=18916 vsize=13801768 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18932/stat : 18932 (java) S 18916 18916 7411 0 -1 1077944384 6768 0 0 0 292 1 0 0 20 0 28 0 3945614 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841176046320 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18933] ppid=18916 vsize=13801768 CPUtime=2.85 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18933/stat : 18933 (java) S 18916 18916 7411 0 -1 1077944384 7423 0 0 0 283 2 0 0 20 0 28 0 3945614 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841174993776 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18934] ppid=18916 vsize=13801768 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18934/stat : 18934 (java) S 18916 18916 7411 0 -1 1077944384 8051 0 0 0 274 1 0 0 20 0 28 0 3945614 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841173940720 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18935] ppid=18916 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18935/stat : 18935 (java) S 18916 18916 7411 0 -1 1077944384 5014 0 0 0 110 2 0 0 20 0 28 0 3945614 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841172888176 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18936] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18936/stat : 18936 (java) S 18916 18916 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3945615 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841171835360 139841987065557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=18937] ppid=18916 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18917/task/18937/stat : 18937 (java) S 18916 18916 7411 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 28 0 3945615 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841170782896 139841987066498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19298] ppid=18916 vsize=13801768 CPUtime=13.61 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19298/stat : 19298 (java) R 18916 18916 7411 0 -1 4202560 259 0 0 0 1361 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841161161048 139841608097178 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19299] ppid=18916 vsize=13801768 CPUtime=13.59 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19299/stat : 19299 (java) R 18916 18916 7411 0 -1 4202560 260 0 0 0 1359 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841160109640 139841602934040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19300] ppid=18916 vsize=13801768 CPUtime=13.63 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19300/stat : 19300 (java) R 18916 18916 7411 0 -1 4202560 389 0 0 0 1363 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841158005360 139841608097149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19301] ppid=18916 vsize=13801768 CPUtime=13.73 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19301/stat : 19301 (java) R 18916 18916 7411 0 -1 4202560 1203 0 0 0 1373 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841163269160 139841607801906 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19302] ppid=18916 vsize=13801768 CPUtime=13.61 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19302/stat : 19302 (java) R 18916 18916 7411 0 -1 4202560 316 0 0 0 1361 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841159058200 139841608097114 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19303] ppid=18916 vsize=13801768 CPUtime=13.54 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19303/stat : 19303 (java) R 18916 18916 7411 0 -1 4202560 255 0 0 0 1354 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841156952136 139841608586843 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19304] ppid=18916 vsize=13801768 CPUtime=13.38 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19304/stat : 19304 (java) R 18916 18916 7411 0 -1 4202560 258 0 0 0 1338 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841155899080 139841608231408 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
[pid=18917/tid=19305] ppid=18916 vsize=13801768 CPUtime=13.53 cores=0,2,4,6,8,10,12,14
/proc/18917/task/19305/stat : 19305 (java) R 18916 18916 7411 0 -1 4202560 239 0 0 0 1353 0 0 0 20 0 28 0 3946879 14133010432 104059 33554432000 4194304 4196468 140729754172688 139841162215352 139841607801858 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36888576 140729754174652 140729754174828 140729754174828 140729754177487 0
Current children cumulated CPU time (s) 204.16
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 26.5605
CPU time (s): 204.359
CPU user time (s): 203.726
CPU system time (s): 0.633587
CPU usage (%): 769.41
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 203.726
system time used= 0.633587
maximum resident set size= 416236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51811
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8411
involuntary context switches= 15593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.319569 second user time and 0.390818 second system time

The end

Launcher Data 

Begin job on node131 at 2017-07-22 03:26:22
IDJOB=4246097
IDBENCH=124135
IDSOLVER=2626
FILE ID=node131/4246097-1500686782
RUNJOBID= node131-1500682620-7801
PBS_JOBID= 20623041
Free space on /tmp= 62012 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246097-1500686782/watcher-4246097-1500686782 -o /tmp/evaluation-result-4246097-1500686782/solver-4246097-1500686782 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 797142081 HOME/instance-4246097-1500686782.xml

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

MD5SUM BENCH= b82332625d17a81d2c62c757de216262
RANDOM SEED=797142081

node131.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.06
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.06
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.06
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.06
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        21655288 kB
MemAvailable:   21801092 kB
Buffers:          106388 kB
Cached:           322820 kB
SwapCached:            0 kB
Active:         10387012 kB
Inactive:         280400 kB
Active(anon):   10241216 kB
Inactive(anon):     8680 kB
Active(file):     145796 kB
Inactive(file):   271720 kB
Unevictable:        5860 kB
Mlocked:            5860 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8440 kB
Writeback:             0 kB
AnonPages:      10256408 kB
Mapped:            42512 kB
Shmem:              8844 kB
Slab:             123240 kB
SReclaimable:      88248 kB
SUnreclaim:        34992 kB
KernelStack:        4848 kB
PageTables:        24704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   11010776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9887744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62004 MiB
End job on node131 at 2017-07-22 03:26:48