Trace number 4297925

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Choco-solver 4.0.7b par (e747e1e)SAT (TO)229189766 2691.45 2520.07

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-02-0250_c18.xml
MD5SUM9ab3e648243ddfeac66c66819bd63413
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark229189766
Best CPU time to get the best result obtained on this benchmark2691.45
Satisfiable
(Un)Satisfiability was proved
Number of variables4758
Number of constraints3055
Number of domains59
Minimum domain size1
Maximum domain size105
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":1667},{"size":11,"count":1419},{"size":12,"count":1},{"size":21,"count":41},{"size":23,"count":11},{"size":32,"count":14},{"size":39,"count":42},{"size":41,"count":3},{"size":42,"count":5},{"size":47,"count":7},{"size":48,"count":8},{"size":49,"count":5},{"size":51,"count":12},{"size":53,"count":32},{"size":54,"count":10},{"size":55,"count":22},{"size":56,"count":8},{"size":57,"count":35},{"size":58,"count":37},{"size":59,"count":5},{"size":60,"count":10},{"size":61,"count":1},{"size":62,"count":14},{"size":63,"count":56},{"size":64,"count":19},{"size":65,"count":18},{"size":67,"count":34},{"size":69,"count":56},{"size":70,"count":15},{"size":71,"count":22},{"size":73,"count":14},{"size":76,"count":3},{"size":77,"count":19},{"size":82,"count":34},{"size":83,"count":32},{"size":84,"count":22},{"size":89,"count":29},{"size":90,"count":74},{"size":92,"count":126},{"size":95,"count":73},{"size":96,"count":86},{"size":97,"count":47},{"size":99,"count":20},{"size":102,"count":70},{"size":105,"count":478}]
Minimum variable degree2
Maximum variable degree1420
Distribution of variable degrees[{"degree":2,"count":4257},{"degree":3,"count":3},{"degree":4,"count":4},{"degree":5,"count":7},{"degree":6,"count":19},{"degree":7,"count":25},{"degree":8,"count":23},{"degree":9,"count":30},{"degree":10,"count":39},{"degree":11,"count":41},{"degree":12,"count":49},{"degree":13,"count":55},{"degree":14,"count":52},{"degree":15,"count":51},{"degree":16,"count":64},{"degree":17,"count":38},{"degree":1420,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":217},{"arity":3,"count":1419},{"arity":6,"count":1419}]
Number of extensional constraints1419
Number of intensional constraints1636
Distribution of constraint types[{"type":"extension","count":1419},{"type":"intension","count":1636}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297925-1532712813.xml"  -tl '20160s' -p 8
0.12/0.17	c Choco e747e1e
0.12/0.17	c [HOME/instance-4297925-1532712813.xml, -tl, 20160s, -p, 8]
0.12/0.21	c 8 solvers in parallel
0.34/0.28	c parse instance...
209.99/89.66	c solve instance...
233.17/92.76	o 229786001 
234.92/93.37	o 229757604 
241.53/95.94	o 229729221 
242.20/96.52	o 229729215 
246.23/99.81	o 229700840 
246.53/100.08	o 229700838 
246.53/100.09	o 229700835 
246.53/100.10	o 229686649 
249.61/102.56	o 229686647 
250.03/102.85	o 229672448 
923.61/775.58	o 229672446 
923.77/775.62	o 229658257 
924.11/775.83	o 229658255 
924.40/776.04	o 229658249 
925.02/776.63	o 229658247 
927.89/777.41	o 229644058 
928.09/777.55	o 229644056 
928.26/777.68	o 229644054 
928.26/777.69	o 229629863 
928.90/778.26	o 229629855 
928.90/778.27	o 229615664 
929.97/779.12	o 229615662 
930.59/779.71	o 229601474 
931.01/780.18	o 229601472 
931.62/780.77	o 229601466 
931.62/780.77	o 229587275 
931.62/780.78	o 229587273 
932.48/781.58	o 229573085 
932.48/781.59	o 229573083 
932.65/781.62	o 229573076 
933.40/782.37	o 229573068 
933.40/782.38	o 229558877 
934.15/783.03	o 229558875 
934.81/783.65	o 229544687 
934.81/783.66	o 229544685 
935.46/784.27	o 229530502 
935.46/784.28	o 229530493 
935.46/784.29	o 229530485 
935.59/784.30	o 229516294 
938.59/785.23	o 229502104 
939.34/785.95	o 229502102 
939.76/786.31	o 229502090 
939.76/786.32	o 229502088 
939.76/786.33	o 229487919 
939.76/786.34	o 229487917 
939.76/786.35	o 229487905 
939.76/786.36	o 229487903 
939.76/786.37	o 229473722 
940.52/786.97	o 229473720 
941.14/787.54	o 229473708 
941.14/787.55	o 229473706 
941.80/788.12	o 229459522 
941.80/788.13	o 229459520 
941.80/788.14	o 229459508 
942.23/788.52	o 229459506 
942.79/789.07	o 229459500 
943.60/789.81	o 229445309 
944.42/790.67	o 229431119 
944.42/790.68	o 229431105 
944.57/790.70	o 229431103 
945.19/791.38	o 229431091 
945.81/791.96	o 229431089 
946.55/792.62	o 229431084 
946.55/792.63	o 229431082 
946.55/792.65	o 229431080 
947.27/793.29	o 229416926 
948.10/794.02	o 229416924 
948.61/794.58	o 229416912 
948.61/794.59	o 229416910 
949.35/795.20	o 229416898 
949.87/795.78	o 229416896 
950.50/796.34	o 229416891 
951.01/796.90	o 229416889 
951.53/797.37	o 229416887 
952.17/797.95	o 229402725 
952.70/798.49	o 229402723 
955.17/798.82	o 229402711 
955.85/799.46	o 229402709 
956.49/800.06	o 229402703 
957.10/800.68	o 229388512 
957.84/801.34	o 229374322 
957.84/801.35	o 229374308 
957.84/801.37	o 229374306 
958.61/802.00	o 229374294 
958.72/802.03	o 229374292 
959.38/802.66	o 229374287 
960.00/803.22	o 229374285 
960.44/803.69	o 229374283 
961.19/804.37	o 229360129 
961.82/805.00	o 229360127 
962.47/805.60	o 229360115 
962.57/805.64	o 229360113 
963.26/806.22	o 229360101 
963.26/806.23	o 229360099 
963.26/806.24	o 229360094 
963.93/806.87	o 229360092 
964.59/807.50	o 229360090 
965.47/808.07	o 229345971 
968.87/811.38	o 229345938 
969.88/811.98	o 229345924 
970.50/812.57	o 229345910 
970.50/812.58	o 229331781 
974.91/816.24	o 229331740 
975.44/816.63	o 229331726 
976.07/817.21	o 229317581 
979.89/820.36	o 229317549 
981.60/821.01	o 229317535 
1636.01/1474.29	o 229317521 
1636.11/1474.33	o 229317514 
1636.89/1474.90	o 229317512 
1637.73/1475.79	o 229317510 
1638.63/1476.50	o 229317505 
1638.63/1476.51	o 229317503 
1641.63/1477.46	o 229303349 
1641.63/1477.47	o 229303335 
1641.63/1477.49	o 229303321 
1642.29/1478.10	o 229303314 
1642.80/1478.59	o 229303312 
1643.45/1479.19	o 229303310 
1644.18/1479.81	o 229303308 
1644.70/1480.37	o 229303306 
1645.32/1480.99	o 229303301 
1645.32/1481.00	o 229303299 
1646.10/1481.62	o 229303297 
1647.30/1482.28	o 229303294 
1647.30/1482.29	o 229303292 
1647.97/1482.87	o 229303290 
1648.92/1483.70	o 229303289 
1648.92/1483.71	o 229303287 
1649.56/1484.32	o 229303282 
1649.56/1484.33	o 229303280 
1649.56/1484.35	o 229303278 
1650.15/1484.84	o 229303276 
1650.77/1485.41	o 229289251 
1653.94/1488.51	o 229289141 
2329.98/2163.51	o 229289127 
2331.14/2164.24	o 229289113 
2331.76/2164.80	o 229289106 
2331.76/2164.82	o 229289104 
2332.36/2165.30	o 229289102 
2332.90/2165.87	o 229289100 
2333.52/2166.46	o 229289093 
2333.52/2166.48	o 229289091 
2334.20/2167.08	o 229289089 
2334.85/2167.69	o 229289086 
2335.58/2168.32	o 229289084 
2336.20/2168.93	o 229289082 
2339.19/2169.80	o 229289081 
2339.19/2169.82	o 229289074 
2339.76/2170.35	o 229289072 
2340.29/2170.82	o 229289070 
2341.17/2171.66	o 229289068 
2341.70/2172.13	o 229289061 
2342.35/2172.70	o 229289059 
2343.53/2173.31	o 229289057 
2344.19/2173.94	o 229289054 
2344.82/2174.51	o 229289052 
2344.82/2174.52	o 229289050 
2345.27/2174.98	o 229189880 
2348.75/2178.11	o 229189766 
2691.38/2520.01	s SATISFIABLE
2691.38/2520.01	v <instantiation>
2691.38/2520.01	v 	<list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] 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] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] </list>
2691.38/2520.01	v 	<values>2240 2240 2240 2292 2368 2240 2292 2380 2240 2264 2380 2240 2240 2516 2368 2396 2280 2280 2472 2240 2240 2472 2240 2368 2292 2240 2332 2264 2292 2516 2472 2240 2292 2240 2240 2240 2240 2240 2280 2240 2292 2240 2240 2396 2280 2472 2368 2516 2280 2292 2516 2368 2240 2512 2472 2472 2516 2332 2396 2240 2240 2240 2240 2556 2396 2556 2396 2264 2280 2240 2304 2396 2280 2240 2240 2292 2240 2240 2240 2292 2280 2556 2396 2240 2280 2396 2280 2280 2240 2432 2332 2240 2280 2240 2432 2436 2240 2240 2380 2368 2240 2380 2240 2332 2280 2280 2240 2380 2432 2280 2280 2292 2436 2408 2240 2368 2240 2240 2332 2280 2280 2304 2380 2280 2280 2472 2280 2432 2432 2292 2280 2280 2280 2436 2472 2280 2516 2436 2332 2240 2292 2280 2240 2472 2280 2280 2420 2408 2436 2516 2332 2380 2304 2472 2512 2280 2396 2240 2280 2240 2240 2240 2432 2380 2332 2292 2420 2240 2408 2280 2280 2516 2280 2240 2280 2472 2280 2240 2556 2368 2512 2332 2280 2280 2380 2280 2280 2368 2332 2332 2556 2280 2436 2280 2408 2292 2556 2240 2556 2472 2280 2556 2420 2408 2512 2240 2280 2512 2408 2292 2240 2512 2472 2280 2436 2280 2436 2512 2420 2280 2280 2280 2420 2512 2280 2280 2472 2420 2420 2436 2332 2332 2516 2420 2280 2420 2408 2408 2472 2332 2280 2512 2556 2292 2280 2408 2332 2280 2280 2332 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 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 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 11 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 1 1 1 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 1 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 10 0 0 0 1 0 0 0 0 10 0 9 10 0 10 10 10 0 0 10 10 10 10 0 0 10 10 10 1 10 0 0 0 7 0 10 10 0 0 10 10 7 10 8 0 4 10 10 10 1 0 10 2 10 0 10 10 8 10 10 0 6 0 1 0 10 9 10 6 0 0 0 10 0 10 0 0 0 0 0 10 10 0 10 10 10 10 10 10 0 0 0 10 10 0 10 0 1 10 10 0 1 10 0 1 1 0 1 0 10 10 0 0 0 10 1 4 10 0 1 10 10 10 1 0 1 10 10 0 0 5 0 0 0 0 10 1 10 1 0 0 0 10 0 0 9 10 6 0 10 0 10 10 0 10 10 0 10 0 10 1 4 0 10 0 0 0 8 0 10 1 0 10 0 0 0 0 10 10 1 0 10 10 1 1 10 10 10 10 10 0 0 9 10 7 2 0 10 0 6 0 1 9 0 3 0 3 0 8 10 0 10 1 10 10 10 8 0 0 3 10 0 10 10 0 1 0 10 0 0 10 9 0 0 0 10 4 10 0 10 10 10 10 1 0 0 0 0 1 0 0 10 10 10 0 0 0 0 0 0 9 0 10 10 1 0 0 10 1 0 10 0 10 8 8 0 1 10 0 0 0 0 0 10 0 10 10 0 10 0 10 0 10 0 10 0 0 0 10 10 3 0 10 10 10 10 10 5 10 10 0 0 6 10 10 0 0 0 0 10 0 0 3 10 10 0 10 0 10 10 10 10 0 10 10 10 7 0 0 0 0 10 10 10 10 10 3 10 10 0 5 0 6 0 0 10 1 10 0 0 0 0 10 10 0 1 10 10 0 0 9 0 0 9 1 1 6 0 1 9 10 0 10 8 10 0 10 0 0 10 10 0 10 8 10 9 0 0 10 10 1 0 0 10 0 0 0 10 10 0 4 10 0 1 0 0 0 10 10 0 10 10 10 10 0 0 0 10 0 1 0 1 1 4 10 0 0 0 9 0 0 1 0 10 10 0 10 10 1 10 10 10 10 0 6 10 10 0 8 10 0 8 10 10 0 9 0 0 10 10 0 10 10 0 10 0 10 0 0 0 0 0 0 10 0 0 0 10 10 10 5 0 0 0 10 10 10 0 10 10 10 10 9 10 10 0 10 0 10 0 10 0 9 10 0 10 10 10 10 0 0 10 0 8 7 0 10 0 0 10 10 10 10 0 10 10 0 10 0 0 10 10 10 0 10 0 0 10 7 10 0 10 10 0 10 0 10 3 10 4 10 0 0 10 1 10 10 10 10 0 10 0 0 0 10 8 10 10 1 0 10 9 10 0 1 0 10 0 0 0 1 0 10 10 1 0 0 10 0 0 10 0 6 10 0 1 0 0 0 8 10 1 0 4 10 10 0 10 0 10 1 0 0 10 1 9 0 0 7 0 10 3 10 0 0 0 10 10 10 10 0 1 0 0 0 10 7 10 10 10 5 10 10 10 10 4 0 10 1 2 10 10 10 10 0 10 0 0 10 0 0 10 0 0 0 10 10 4 0 0 0 10 0 0 0 10 1 10 3 2 0 0 0 10 0 10 0 10 10 10 0 0 0 10 10 10 10 0 0 10 0 10 0 10 0 0 10 10 1 10 10 10 10 0 0 10 0 9 0 10 10 10 5 9 10 1 0 10 0 0 7 0 0 6 0 0 10 10 10 7 0 10 0 0 1 10 10 10 0 0 8 3 0 10 0 10 7 10 0 10 10 10 4 10 10 0 10 8 10 0 10 0 2 9 0 4 4 8 0 0 0 10 10 0 6 0 10 0 10 10 2 10 10 0 10 10 10 10 10 0 10 1 1 8 3 10 7 10 1 10 0 0 0 0 0 10 7 10 0 0 7 0 10 7 0 1 10 10 0 0 0 10 7 10 10 10 5 10 0 10 10 10 9 10 7 0 0 10 0 10 10 10 1 0 8 0 10 0 0 0 1 0 10 0 0 10 10 1 10 10 0 0 0 8 10 0 10 0 0 10 6 0 10 10 0 10 1 10 10 10 10 10 0 10 0 0 0 0 10 4 1 10 0 10 8 5 0 0 10 0 10 10 8 0 10 4 0 10 0 0 10 10 7 10 10 10 10 10 10 0 10 10 0 10 1 2 10 0 0 0 10 10 10 9 10 9 1 10 10 10 6 0 0 10 10 10 0 10 0 10 9 10 0 0 10 10 0 7 0 0 0 10 0 0 10 1 10 10 10 10 9 0 10 10 10 0 10 5 0 10 0 10 0 10 10 10 10 9 0 9 0 5 0 0 0 10 5 10 0 10 10 10 0 1 10 10 2 10 7 10 0 0 0 10 0 0 0 10 10 0 1 10 10 0 10 10 10 8 10 0 0 1 5 0 1 1 0 10 10 0 0 10 3 0 10 0 10 10 10 10 0 0 10 10 0 8 2 0 0 10 10 0 0 0 10 10 0 10 10 0 10 0 10 0 0 10 10 10 10 10 10 0 0 0 7 10 10 0 1 0 0 1 10 0 0 0 10 10 7 0 10 0 9 10 10 10 0 0 0 10 1 9 10 10 0 0 0 0 10 0 0 1 0 0 7 10 9 0 10 10 10 10 0 9 9 0 10 0 10 0 10 10 0 10 10 0 0 0 10 10 4 0 0 8 10 0 0 10 10 10 0 0 5 10 6 0 0 0 8 0 0 4 10 0 1 0 0 0 9 10 0 10 0 0 0 3 6 10 10 0 10 0 9 4 10 2 10 10 10 0 10 0 0 0 10 10 0 10 10 10 8 10 0 0 10 0 1 0 5 0 10 10 1 1 10 1 0 7 2 1 5 0 10 10 0 10 10 10 0 10 0 0 1 0 10 10 0 0 10 10 9 10 0 9 10 10 0 0 9 4 0 0 5 0 9 8 0 10 10 10 10 0 0 10 1 10 10 0 3 0 10 0 0 0 6 10 10 5 10 0 9 0 0 10 0 1 0 10 0 0 10 10 0 0 0 0 10 10 10 0 1 10 10 10 0 8 10 0 1 0 10 1 7 1 10 10 10 1 1 0 0 0 10 0 8 10 10 3 10 10 0 0 0 10 10 1 10 10 0 1 6 0 0 9 6 0 10 10 10 10 0 10 10 5 0 1 0 10 10 10 3 0 10 0 10 0 0 10 0 0 0 10 0 10 10 0 9 8 0 4 0 0 1 10 10 1 140 0 52 0 0 40 40 92 40 40 128 156 0 0 0 192 92 40 40 192 40 0 40 40 52 40 0 0 52 140 140 40 40 180 0 104 52 76 180 224 40 0 116 28 28 88 28 64 36 104 88 128 40 40 88 88 88 0 0 316 0 0 156 40 0 224 140 12 52 76 224 12 40 264 128 12 116 116 40 140 88 140 136 16 16 0 76 0 12 0 100 56 176 40 48 140 0 276 92 0 272 0 0 16 24 28 16 24 16 248 16 16 140 48 140 100 88 140 100 100 16 0 12 40 40 0 0 0 128 0 0 52 40 140 192 40 0 272 40 40 0 0 0 156 140 40 196 316 180 196 40 184 44 276 0 184 148 276 236 0 40 40 0 148 128 28 28 40 88 148 88 128 36 40 88 36 116 156 0 0 116 160 160 116 24 12 40 40 40 0 88 0 24 40 40 156 0 40 0 0 0 0 0 0 40 40 0 0 0 40 40 140 236 232 232 192 40 180 40 52 0 0 0 64 196 0 40 272 232 40 0 52 92 276 316 52 168 92 76 180 192 192 36 192 52 40 156 0 0 196 0 180 180 128 76 128 88 88 88 88 148 0 36 188 76 40 52 40 140 128 40 0 0 196 0 40 0 0 40 40 0 232 168 40 0 92 64 48 100 52 140 92 140 224 48 88 0 252 68 292 248 208 224 12 52 0 40 12 40 184 276 276 108 0 80 4 108 40 92 192 140 44 40 52 64 232 156 40 196 40 0 168 168 180 12 52 0 12 12 52 52 12 180 12 144 264 12 52 156 0 40 156 0 0 0 0 196 40 40 232 40 0 196 40 40 40 40 92 40 156 40 40 0 52 40 64 0 0 0 168 0 92 40 40 40 196 40 316 192 40 40 100 0 40 152 0 0 40 40 0 140 0 24 40 0 40 196 40 128 316 40 40 12 52 144 12 40 0 40 128 156 192 0 52 192 0 40 232 0 52 316 180 92 0 52 92 140 0 196 180 120 104 0 28 16 64 116 76 116 88 236 40 40 156 236 0 12 0 0 192 0 180 92 192 104 40 192 36 28 104 128 88 64 88 76 64 144 12 36 88 40 128 68 236 236 136 136 224 236 4 276 80 96 236 0 0 40 0 232 0 156 140 0 0 0 12 40 0 236 0 224 184 236 236 96 276 236 128 188 128 64 68 88 12 88 52 0 196 276 40 116 144 40 4 0 92 232 232 232 140 232 0 40 36 40 192 192 64 76 192 40 36 140 276 84 0 0 80 224 64 92 92 184 104 52 52 156 40 156 156 64 104 116 76 64 104 156 40 140 40 92 92 316 156 156 0 192 128 232 128 0 40 276 40 0 40 40 232 180 40 0 40 196 0 40 0 40 40 160 276 276 120 316 264 92 64 156 16 28 16 116 40 160 116 292 124 224 16 64 40 156 116 64 64 68 24 28 28 24 68 156 144 172 40 40 40 0 0 0 40 276 52 276 0 0 140 40 40 0 0 0 316 40 180 168 92 24 64 24 12 28 12 92 64 24 156 156 116 40 156 156 12 152 100 232 40 140 92 40 40 272 40 40 52 40 156 192 0 232 180 40 40 52 12 224 12 116 0 92 52 40 0 40 40 40 196 40 40 40 40 0 40 40 0 52 40 40 40 0 40 92 40 40 180 180 40 40 104 52 88 180 128 104 52 220 180 0 40 40 40 0 264 148 252 84 136 276 276 44 224 116 104 116 156 156 116 160 12 12 40 40 0 0 0 232 192 232 128 12 0 156 156 16 40 12 116 40 116 116 0 52 40 156 0 0 40 0 52 0 52 40 128 100 52 232 0 140 40 0 40 40 180 40 276 0 192 24 192 100 192 100 40 100 100 92 92 0 52 52 52 224 40 52 196 0 276 316 196 152 100 40 152 40 100 232 0 192 0 0 0 0 40 40 52 124 80 40 0 196 0 156 16 76 0 0 276 0 40 192 40 180 92 40 40 276 0 40 40 40 168 12 56 100 92 100 136 132 88 128 64 88 88 0 40 88 92 192 52 316 92 52 92 176 176 132 132 56 56 40 40 168 140 92 40 52 0 88 76 52 92 0 76 152 0 40 192 192 0 0 0 40 88 0 52 276 128 0 40 40 128 40 180 52 12 48 140 176 88 40 40 0 152 52 40 100 24 40 88 0 232 40 152 192 40 0 276 40 0 0 0 0 40 40 0 0 180 116 140 144 116 156 144 0 36 196 156 0 156 16 28 156 168 40 104 0 0 276 316 180 128 76 88 36 88 36 144 36 144 40 40 0 40 40 40 40 128 92 52 52 36 92 40 0 156 236 116 236 100 88 156 192 0 40 0 168 212 12 140 92 132 100 176 92 100 40 192 116 0 0 0 0 0 24 40 0 0 40 0 232 0 0 84 40 0 64 140 52 12 156 236 232 12 24 4 100 124 40 224 40 88 12 0 52 12 0 40 40 100 0 100 0 40 40 276 128 0 140 128 140 0 0 0 0 128 236 0 128 196 156 156 104 144 156 36 156 40 64 140 192 104 192 0 40 88 12 192 232 236 108 44 236 40 36 76 0 52 36 276 40 272 92 144 52 180 144 12 128 180 52 40 192 232 52 0 40 40 232 40 84 40 0 0 0 192 156 12 180 52 116 168 40 128 128 12 0 0 196 156 120 0 28 36 104 4 236 236 0 48 224 104 180 0 136 92 48 28 92 92 24 28 24 208 104 40 140 220 44 272 180 140 52 116 64 12 104 116 104 40 40 40 12 40 12 0 0 140 316 40 0 180 92 152 64 100 152 28 100 100 92 56 100 76 92 88 0 12 180 76 220 12 128 144 40 116 52 136 136 12 0 40 40 92 40 104 0 0 0 276 40 0 140 236 0 0 12 140 128 52 276 276 184 276 236 192 40 40 192 0 192 36 0 0 0 12 40 0 140 0 92 92 40 136 264 36 88 144 76 104 272 232 0 232 76 4 104 232 52 224 52 104 52 40 0 0 276 52 0 0 56 40 48 52 156 0 144 36 40 88 140 92 276 84 0 136 44 84 136 52 120 76 16 0 76 12 316 0 136 276 44 224 140 140 128 136 136 180 52 140 0 12 180 180 220 232 232 192 0 0 232 28 108 0 128 116 220 232 92 44 192 52 64 0 52 0 0 0 96 92 128 140 0 0 0 52 232 0 0 184 88 12 140 140 52 0 148 224 40 128 52 </values>
2691.38/2520.01	v </instantiation>
2691.38/2520.01	c Unexpected resolution interruption!

Verifier Data 

OK	229189766

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15120 MiB free)
  memory of node 1: 16384 MiB (11712 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297925-1532712813/watcher-4297925-1532712813 -o /tmp/evaluation-result-4297925-1532712813/solver-4297925-1532712813 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532707769-17894 --watchdog 2580 HOME/xcsp3-exec -seed 1078540374 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297925-1532712813.xml 

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

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


[startup+0.100136 s]*
/proc/loadavg: 8.15 8.18 8.24 2/200 18614
/proc/meminfo: memFree=27461964/32770624 swapFree=67108496/67108860
[pid=18593] ppid=18590 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18593/stat : 18593 (xcsp3-exec) S 18590 18593 17867 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88844570 115843072 363 33554432000 4194304 5098028 140726715892176 140726715890280 139797636981372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25051136 140726715900981 140726715901184 140726715901184 140726715903946 0
/proc/18593/statm: 28282 363 305 221 0 87 0
[pid=18595] ppid=18593 vsize=26104152 memory=26940 CPUtime=0.12 cores=0-7
/proc/18595/stat : 18595 (java) S 18593 18593 17867 0 -1 1077944320 5663 0 0 0 11 1 0 0 20 0 20 0 88844570 26730651648 6735 33554432000 4194304 4196468 140732570551984 140732570534528 140509429624567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
/proc/18595/statm: 6526038 6735 3000 1 0 6488315 0
[pid=18595/tid=18596] ppid=18593 vsize=26104152 memory=8042472842692828832 CPUtime=0.08 cores=0-7
/proc/18595/task/18596/stat : 18596 (java) R 18593 18593 17867 0 -1 4202560 3665 0 0 0 8 0 0 0 20 0 20 0 88844570 26730651648 6735 33554432000 4194304 4196468 140732570551984 140509433857840 140509411188188 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18597] ppid=18593 vsize=26104152 memory=732370499925601253 CPUtime=0 cores=0-7
/proc/18595/task/18597/stat : 18597 (java) S 18593 18593 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844571 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508987521808 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18598] ppid=18593 vsize=26104152 memory=140361588147840 CPUtime=0 cores=0-7
/proc/18595/task/18598/stat : 18598 (java) S 18593 18593 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844571 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508986469264 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18599] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18599/stat : 18599 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844571 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508985416720 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18600] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18600/stat : 18600 (java) S 18593 18593 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88844571 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508984364176 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18601] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18601/stat : 18601 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844571 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508983310608 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18602] ppid=18593 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18595/task/18602/stat : 18602 (java) S 18593 18593 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844571 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508982258064 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18603] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18603/stat : 18603 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844571 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508981205520 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18604] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18604/stat : 18604 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844571 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508980152976 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18605] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18605/stat : 18605 (java) S 18593 18593 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844573 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508825397744 140509429635714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18606] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18606/stat : 18606 (java) S 18593 18593 17867 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88844573 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508824343968 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18607] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18607/stat : 18607 (java) S 18593 18593 17867 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88844573 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508823291376 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18608] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18608/stat : 18608 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844576 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508822239952 140509429643163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18609] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18609/stat : 18609 (java) S 18593 18593 17867 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 88844576 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508821186544 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18610] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18610/stat : 18610 (java) S 18593 18593 17867 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 88844576 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508820134000 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18611] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18611/stat : 18611 (java) S 18593 18593 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88844576 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508819081456 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18612] ppid=18593 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18595/task/18612/stat : 18612 (java) S 18593 18593 17867 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 88844576 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508818028912 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18613] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18613/stat : 18613 (java) S 18593 18593 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88844576 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508816976608 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18614] ppid=18593 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18595/task/18614/stat : 18614 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844576 26730651648 6735 33554432000 4194304 4196468 140732570551984 140508815924144 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28392 KiB

[startup+0.210395 s]*
/proc/loadavg: 8.15 8.18 8.24 3/200 18614
/proc/meminfo: memFree=27450132/32770624 swapFree=67108496/67108860
[pid=18593] ppid=18590 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18593/stat : 18593 (xcsp3-exec) S 18590 18593 17867 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88844570 115843072 363 33554432000 4194304 5098028 140726715892176 140726715890280 139797636981372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25051136 140726715900981 140726715901184 140726715901184 140726715903946 0
/proc/18593/statm: 28282 363 305 221 0 87 0
[pid=18595] ppid=18593 vsize=26104152 memory=39712 CPUtime=0.34 cores=0-7
/proc/18595/stat : 18595 (java) S 18593 18593 17867 0 -1 1077944320 8502 0 0 0 31 3 0 0 20 0 20 0 88844570 26730651648 9928 33554432000 4194304 4196468 140732570551984 140732570534528 140509429624567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
/proc/18595/statm: 6526038 9928 3130 1 0 6488315 0
[pid=18595/tid=18596] ppid=18593 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/18595/task/18596/stat : 18596 (java) D 18593 18593 17867 0 -1 1077944384 5600 0 0 0 18 1 0 0 20 0 20 0 88844570 26730651648 9929 33554432000 4194304 4196468 140732570551984 140509433846712 140509431899847 0 4 0 16800975 18446744072101756452 0 0 -1 6 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18597] ppid=18593 vsize=26104152 memory=280723065538296 CPUtime=0 cores=0-7
/proc/18595/task/18597/stat : 18597 (java) S 18593 18593 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844571 26730651648 9929 33554432000 4194304 4196468 140732570551984 140508987521808 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18598] ppid=18593 vsize=26104152 memory=140361588147840 CPUtime=0 cores=0-7
/proc/18595/task/18598/stat : 18598 (java) S 18593 18593 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844571 26730651648 9929 33554432000 4194304 4196468 140732570551984 140508986469264 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18599] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18599/stat : 18599 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844571 26730651648 9929 33554432000 4194304 4196468 140732570551984 140508985416720 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18600] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18600/stat : 18600 (java) S 18593 18593 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88844571 26730651648 9929 33554432000 4194304 4196468 140732570551984 140508984364176 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18601] ppid=18593 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18601/stat : 18601 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844571 26730651648 9929 33554432000 4194304 4196468 140732570551984 140508983310608 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18602] ppid=18593 vsize=26106268 memory=-1 CPUtime=0 cores=0-7
/proc/18595/task/18602/stat : 18602 (java) S 18593 18593 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844571 26732818432 9929 33554432000 4194304 4196468 140732570551984 140508982258064 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18603] ppid=18593 vsize=26106268 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18603/stat : 18603 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844571 26732818432 9929 33554432000 4194304 4196468 140732570551984 140508981205520 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18604] ppid=18593 vsize=26106268 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18604/stat : 18604 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844571 26732818432 9929 33554432000 4194304 4196468 140732570551984 140508980152976 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18605] ppid=18593 vsize=26106268 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18605/stat : 18605 (java) S 18593 18593 17867 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88844573 26732818432 9929 33554432000 4194304 4196468 140732570551984 140508825397744 140509429635714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18606] ppid=18593 vsize=26106268 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18606/stat : 18606 (java) S 18593 18593 17867 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88844573 26732818432 9929 33554432000 4194304 4196468 140732570551984 140508824343968 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18607] ppid=18593 vsize=26106268 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18607/stat : 18607 (java) S 18593 18593 17867 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88844573 26732818432 9929 33554432000 4194304 4196468 140732570551984 140508823291376 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18608] ppid=18593 vsize=26106268 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18608/stat : 18608 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844576 26732818432 9929 33554432000 4194304 4196468 140732570551984 140508822239952 140509429643163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18609] ppid=18593 vsize=26106268 memory=0 CPUtime=0.01 cores=0-7
/proc/18595/task/18609/stat : 18609 (java) S 18593 18593 17867 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 20 0 88844576 26732818432 9929 33554432000 4194304 4196468 140732570551984 140508821186544 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18610] ppid=18593 vsize=26106268 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18610/stat : 18610 (java) S 18593 18593 17867 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 88844576 26732818432 9929 33554432000 4194304 4196468 140732570551984 140508820134000 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18611] ppid=18593 vsize=26106268 memory=0 CPUtime=0.02 cores=0-7
/proc/18595/task/18611/stat : 18611 (java) S 18593 18593 17867 0 -1 1077944384 316 0 0 0 2 0 0 0 20 0 20 0 88844576 26732818432 9929 33554432000 4194304 4196468 140732570551984 140508819081456 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18612] ppid=18593 vsize=26106268 memory=0 CPUtime=0.07 cores=0-7
/proc/18595/task/18612/stat : 18612 (java) S 18593 18593 17867 0 -1 1077944384 758 0 0 0 7 0 0 0 20 0 20 0 88844576 26732818432 9929 33554432000 4194304 4196468 140732570551984 140508818028912 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18613] ppid=18593 vsize=26106268 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18613/stat : 18613 (java) S 18593 18593 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88844576 26732818432 9929 33554432000 4194304 4196468 140732570551984 140508816976608 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18614] ppid=18593 vsize=26106268 memory=-1 CPUtime=0 cores=0-7
/proc/18595/task/18614/stat : 18614 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844576 26732818432 9929 33554432000 4194304 4196468 140732570551984 140508815924144 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41164 KiB

[startup+0.310256 s]*
/proc/loadavg: 8.15 8.18 8.24 3/200 18614
/proc/meminfo: memFree=27443184/32770624 swapFree=67108496/67108860
[pid=18593] ppid=18590 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18593/stat : 18593 (xcsp3-exec) S 18590 18593 17867 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88844570 115843072 363 33554432000 4194304 5098028 140726715892176 140726715890280 139797636981372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25051136 140726715900981 140726715901184 140726715901184 140726715903946 0
/proc/18593/statm: 28282 363 305 221 0 87 0
[pid=18595] ppid=18593 vsize=26108408 memory=47056 CPUtime=0.51 cores=0-7
/proc/18595/stat : 18595 (java) S 18593 18593 17867 0 -1 1077944320 9429 0 0 0 48 3 0 0 20 0 20 0 88844570 26735009792 11764 33554432000 4194304 4196468 140732570551984 140732570534528 140509429624567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
/proc/18595/statm: 6527102 11764 3269 1 0 6488315 0
[pid=18595/tid=18596] ppid=18593 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18595/task/18596/stat : 18596 (java) R 18593 18593 17867 0 -1 4202560 6317 0 0 0 27 2 0 0 20 0 20 0 88844570 26735009792 11764 33554432000 4194304 4196468 140732570551984 140509433864208 140509413705054 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18597] ppid=18593 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18597/stat : 18597 (java) S 18593 18593 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844571 26735009792 11764 33554432000 4194304 4196468 140732570551984 140508987521808 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18598] ppid=18593 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18598/stat : 18598 (java) S 18593 18593 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844571 26735009792 11764 33554432000 4194304 4196468 140732570551984 140508986469264 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18599] ppid=18593 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18599/stat : 18599 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844571 26735009792 11764 33554432000 4194304 4196468 140732570551984 140508985416720 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18600] ppid=18593 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18600/stat : 18600 (java) S 18593 18593 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88844571 26735009792 11764 33554432000 4194304 4196468 140732570551984 140508984364176 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18601] ppid=18593 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/18595/task/18601/stat : 18601 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844571 26735009792 11764 33554432000 4194304 4196468 140732570551984 140508983310608 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18602] ppid=18593 vsize=26108408 memory=140361477485487 CPUtime=0 cores=0-7
/proc/18595/task/18602/stat : 18602 (java) S 18593 18593 17867 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844571 26735009792 11764 33554432000 4194304 4196468 140732570551984 140508982258064 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18603] ppid=18593 vsize=26108408 memory=140361477487792 CPUtime=0 cores=0-7
/proc/18595/task/18603/stat : 18603 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844571 26735009792 11764 33554432000 4194304 4196468 140732570551984 140508981205520 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18604] ppid=18593 vsize=26108408 memory=140361477490096 CPUtime=0 cores=0-7
/proc/18595/task/18604/stat : 18604 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844571 26735009792 11773 33554432000 4194304 4196468 140732570551984 140508980152976 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18605] ppid=18593 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18605/stat : 18605 (java) S 18593 18593 17867 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88844573 26735009792 11773 33554432000 4194304 4196468 140732570551984 140508825397744 140509429635714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18606] ppid=18593 vsize=26108408 memory=280722954987152 CPUtime=0 cores=0-7
/proc/18595/task/18606/stat : 18606 (java) S 18593 18593 17867 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88844573 26735009792 11773 33554432000 4194304 4196468 140732570551984 140508824343968 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18607] ppid=18593 vsize=26108408 memory=280722954994064 CPUtime=0 cores=0-7
/proc/18595/task/18607/stat : 18607 (java) S 18593 18593 17867 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88844573 26735009792 11773 33554432000 4194304 4196468 140732570551984 140508823291376 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18608] ppid=18593 vsize=26108408 memory=280722954935344 CPUtime=0 cores=0-7
/proc/18595/task/18608/stat : 18608 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844576 26735009792 11773 33554432000 4194304 4196468 140732570551984 140508822239952 140509429643163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18609] ppid=18593 vsize=26108408 memory=280722955007888 CPUtime=0.02 cores=0-7
/proc/18595/task/18609/stat : 18609 (java) S 18593 18593 17867 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 20 0 88844576 26735009792 11773 33554432000 4194304 4196468 140732570551984 140508821186544 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18610] ppid=18593 vsize=26108408 memory=280722955014800 CPUtime=0.02 cores=0-7
/proc/18595/task/18610/stat : 18610 (java) S 18593 18593 17867 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 20 0 88844576 26735009792 11773 33554432000 4194304 4196468 140732570551984 140508820134000 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18611] ppid=18593 vsize=26108408 memory=280722955012496 CPUtime=0.04 cores=0-7
/proc/18595/task/18611/stat : 18611 (java) S 18593 18593 17867 0 -1 1077944384 335 0 0 0 4 0 0 0 20 0 20 0 88844576 26735009792 11773 33554432000 4194304 4196468 140732570551984 140508819081456 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18612] ppid=18593 vsize=26108408 memory=280722955028656 CPUtime=0.12 cores=0-7
/proc/18595/task/18612/stat : 18612 (java) S 18593 18593 17867 0 -1 1077944384 822 0 0 0 12 0 0 0 20 0 20 0 88844576 26735009792 11773 33554432000 4194304 4196468 140732570551984 140508818028912 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18613] ppid=18593 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18595/task/18613/stat : 18613 (java) S 18593 18593 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88844576 26735009792 11773 33554432000 4194304 4196468 140732570551984 140508816976608 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18614] ppid=18593 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/18595/task/18614/stat : 18614 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844576 26735009792 11773 33554432000 4194304 4196468 140732570551984 140508815924144 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48508 KiB

[startup+0.701058 s]
/proc/loadavg: 8.15 8.18 8.24 3/200 18614
/proc/meminfo: memFree=27321664/32770624 swapFree=67108496/67108860
[pid=18593] ppid=18590 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18593/stat : 18593 (xcsp3-exec) S 18590 18593 17867 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88844570 115843072 363 33554432000 4194304 5098028 140726715892176 140726715890280 139797636981372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25051136 140726715900981 140726715901184 140726715901184 140726715903946 0
/proc/18593/statm: 28282 363 305 221 0 87 0
[pid=18595] ppid=18593 vsize=26110532 memory=301548 CPUtime=1.87 cores=0-7
/proc/18595/stat : 18595 (java) S 18593 18593 17867 0 -1 1077944320 14651 0 0 0 156 31 0 0 20 0 20 0 88844570 26737184768 75387 33554432000 4194304 4196468 140732570551984 140732570534528 140509429624567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
/proc/18595/statm: 6527633 75387 3348 1 0 6488827 0
[pid=18595/tid=18596] ppid=18593 vsize=26110532 memory=280722955323520 CPUtime=0.62 cores=0-7
/proc/18595/task/18596/stat : 18596 (java) R 18593 18593 17867 0 -1 4202560 6727 0 0 0 55 7 0 0 20 0 20 0 88844570 26737184768 75387 33554432000 4194304 4196468 140732570551984 140509433861648 140509413668197 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18597] ppid=18593 vsize=26110532 memory=5016521802889 CPUtime=0.03 cores=0-7
/proc/18595/task/18597/stat : 18597 (java) S 18593 18593 17867 0 -1 1077944384 49 0 0 0 1 2 0 0 20 0 20 0 88844571 26737184768 75387 33554432000 4194304 4196468 140732570551984 140508987521808 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18598] ppid=18593 vsize=26110532 memory=0 CPUtime=0.03 cores=0-7
/proc/18595/task/18598/stat : 18598 (java) S 18593 18593 17867 0 -1 1077944384 48 0 0 0 1 2 0 0 20 0 20 0 88844571 26737184768 75387 33554432000 4194304 4196468 140732570551984 140508986469264 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18599] ppid=18593 vsize=26110532 memory=0 CPUtime=0.03 cores=0-7
/proc/18595/task/18599/stat : 18599 (java) S 18593 18593 17867 0 -1 1077944384 42 0 0 0 1 2 0 0 20 0 20 0 88844571 26737184768 75387 33554432000 4194304 4196468 140732570551984 140508985416720 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0

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

[pid=18595/tid=19951] ppid=18593 vsize=26645092 memory=1452 CPUtime=0.53 cores=0-7
/proc/18595/task/19951/stat : 19951 (java) S 18593 18593 17867 0 -1 1077944384 21 0 0 0 53 0 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508799784400 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
Current children cumulated CPU time: 2613.64 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 11931896 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 0.99 1.51 2/207 19958
/proc/meminfo: memFree=15536188/32770624 swapFree=67108496/67108860
[pid=18593] ppid=18590 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18593/stat : 18593 (xcsp3-exec) S 18590 18593 17867 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88844570 115843072 363 33554432000 4194304 5098028 140726715892176 140726715890280 139797636981372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25051136 140726715900981 140726715901184 140726715901184 140726715903946 0
/proc/18593/statm: 28282 363 305 221 0 87 0
[pid=18595] ppid=18593 vsize=26645092 memory=11930444 CPUtime=2673.66 cores=0-7
/proc/18595/stat : 18595 (java) S 18593 18593 17867 0 -1 1077944320 646674 0 0 0 264985 2381 0 0 20 0 28 0 88844570 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140732570534528 140509429624567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
/proc/18595/statm: 6661273 2982611 3463 1 0 6622467 0
[pid=18595/tid=18596] ppid=18593 vsize=26645092 memory=11930444 CPUtime=73.08 cores=0-7
/proc/18595/task/18596/stat : 18596 (java) S 18593 18593 17867 0 -1 1077944384 39249 0 0 0 7201 107 0 0 20 0 28 0 88844570 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140509433865376 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18597] ppid=18593 vsize=26645092 memory=11930440 CPUtime=17.82 cores=0-7
/proc/18595/task/18597/stat : 18597 (java) S 18593 18593 17867 0 -1 1077944384 33454 0 0 0 1532 250 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508987521808 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18598] ppid=18593 vsize=26645092 memory=1452 CPUtime=17.91 cores=0-7
/proc/18595/task/18598/stat : 18598 (java) S 18593 18593 17867 0 -1 1077944384 55904 0 0 0 1542 249 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508986469264 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18599] ppid=18593 vsize=26645092 memory=11930440 CPUtime=17.93 cores=0-7
/proc/18595/task/18599/stat : 18599 (java) S 18593 18593 17867 0 -1 1077944384 33133 0 0 0 1554 239 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508985416720 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18600] ppid=18593 vsize=26645092 memory=11930440 CPUtime=17.85 cores=0-7
/proc/18595/task/18600/stat : 18600 (java) S 18593 18593 17867 0 -1 1077944384 34778 0 0 0 1535 250 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508984364176 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18601] ppid=18593 vsize=26645092 memory=11930440 CPUtime=17.92 cores=0-7
/proc/18595/task/18601/stat : 18601 (java) S 18593 18593 17867 0 -1 1077944384 19626 0 0 0 1545 247 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508983310608 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18602] ppid=18593 vsize=26645092 memory=11930440 CPUtime=17.81 cores=0-7
/proc/18595/task/18602/stat : 18602 (java) S 18593 18593 17867 0 -1 1077944384 33876 0 0 0 1541 240 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508982258064 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18603] ppid=18593 vsize=26645092 memory=11930440 CPUtime=17.89 cores=0-7
/proc/18595/task/18603/stat : 18603 (java) S 18593 18593 17867 0 -1 1077944384 30186 0 0 0 1537 252 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508981205520 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18604] ppid=18593 vsize=26645092 memory=1452 CPUtime=18.03 cores=0-7
/proc/18595/task/18604/stat : 18604 (java) S 18593 18593 17867 0 -1 1077944384 40731 0 0 0 1555 248 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508980152976 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18605] ppid=18593 vsize=26645092 memory=1452 CPUtime=0.67 cores=0-7
/proc/18595/task/18605/stat : 18605 (java) S 18593 18593 17867 0 -1 1077944384 27004 0 0 0 55 12 0 0 20 0 28 0 88844573 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508825397744 140509429635714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18606] ppid=18593 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/18595/task/18606/stat : 18606 (java) S 18593 18593 17867 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 88844573 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508824344032 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18607] ppid=18593 vsize=26645092 memory=11930444 CPUtime=0 cores=0-7
/proc/18595/task/18607/stat : 18607 (java) S 18593 18593 17867 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 28 0 88844573 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508823291392 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18608] ppid=18593 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/18595/task/18608/stat : 18608 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88844576 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508822239952 140509429643163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18609] ppid=18593 vsize=26645092 memory=11930444 CPUtime=5.13 cores=0-7
/proc/18595/task/18609/stat : 18609 (java) S 18593 18593 17867 0 -1 1077944384 22351 0 0 0 509 4 0 0 20 0 28 0 88844576 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508821186544 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18610] ppid=18593 vsize=26645092 memory=11930444 CPUtime=4.94 cores=0-7
/proc/18595/task/18610/stat : 18610 (java) S 18593 18593 17867 0 -1 1077944384 25060 0 0 0 490 4 0 0 20 0 28 0 88844576 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508820134000 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18611] ppid=18593 vsize=26645092 memory=11930444 CPUtime=5.07 cores=0-7
/proc/18595/task/18611/stat : 18611 (java) S 18593 18593 17867 0 -1 1077944384 35107 0 0 0 501 6 0 0 20 0 28 0 88844576 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508819081456 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18612] ppid=18593 vsize=26645092 memory=11930444 CPUtime=1.29 cores=0-7
/proc/18595/task/18612/stat : 18612 (java) S 18593 18593 17867 0 -1 1077944384 20869 0 0 0 123 6 0 0 20 0 28 0 88844576 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508818028912 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18613] ppid=18593 vsize=26645092 memory=11930444 CPUtime=0 cores=0-7
/proc/18595/task/18613/stat : 18613 (java) S 18593 18593 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88844576 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508816976608 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18614] ppid=18593 vsize=26645092 memory=11930444 CPUtime=1.35 cores=0-7
/proc/18595/task/18614/stat : 18614 (java) S 18593 18593 17867 0 -1 1077944384 6761 0 0 0 72 63 0 0 20 0 28 0 88844576 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508815924144 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19944] ppid=18593 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/18595/task/19944/stat : 19944 (java) S 18593 18593 17867 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508797677712 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19945] ppid=18593 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/18595/task/19945/stat : 19945 (java) S 18593 18593 17867 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508798731984 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19946] ppid=18593 vsize=26645092 memory=11930444 CPUtime=0 cores=0-7
/proc/18595/task/19946/stat : 19946 (java) S 18593 18593 17867 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508802941776 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19947] ppid=18593 vsize=26645092 memory=11930444 CPUtime=0 cores=0-7
/proc/18595/task/19947/stat : 19947 (java) S 18593 18593 17867 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508801889232 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19948] ppid=18593 vsize=26645092 memory=25748 CPUtime=0 cores=0-7
/proc/18595/task/19948/stat : 19948 (java) S 18593 18593 17867 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508805047376 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19949] ppid=18593 vsize=26645092 memory=11930444 CPUtime=0 cores=0-7
/proc/18595/task/19949/stat : 19949 (java) S 18593 18593 17867 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508800836816 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19950] ppid=18593 vsize=26645092 memory=1452 CPUtime=324.17 cores=0-7
/proc/18595/task/19950/stat : 19950 (java) R 18593 18593 17867 0 -1 4202560 13880 0 0 0 32411 6 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508803989136 140509071782455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19951] ppid=18593 vsize=26645092 memory=1452 CPUtime=0.53 cores=0-7
/proc/18595/task/19951/stat : 19951 (java) S 18593 18593 17867 0 -1 1077944384 21 0 0 0 53 0 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508799784400 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
Current children cumulated CPU time: 2673.66 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 11931896 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.00 0.99 1.50 2/207 19958
/proc/meminfo: memFree=15536188/32770624 swapFree=67108496/67108860
[pid=18593] ppid=18590 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18593/stat : 18593 (xcsp3-exec) S 18590 18593 17867 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88844570 115843072 363 33554432000 4194304 5098028 140726715892176 140726715890280 139797636981372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25051136 140726715900981 140726715901184 140726715901184 140726715903946 0
/proc/18593/statm: 28282 363 305 221 0 87 0
[pid=18595] ppid=18593 vsize=26645092 memory=11930444 CPUtime=2691.38 cores=0-7
/proc/18595/stat : 18595 (java) S 18593 18593 17867 0 -1 1077944320 647369 0 0 0 266756 2382 0 0 20 0 28 0 88844570 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140732570534528 140509429624567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
/proc/18595/statm: 6661273 2982611 3463 1 0 6622467 0
[pid=18595/tid=18596] ppid=18593 vsize=26645092 memory=1398720917958146503 CPUtime=73.08 cores=0-7
/proc/18595/task/18596/stat : 18596 (java) S 18593 18593 17867 0 -1 1077944384 39249 0 0 0 7201 107 0 0 20 0 28 0 88844570 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140509433865376 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18597] ppid=18593 vsize=26645092 memory=-7003737579269690708 CPUtime=17.82 cores=0-7
/proc/18595/task/18597/stat : 18597 (java) S 18593 18593 17867 0 -1 1077944384 33454 0 0 0 1532 250 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508987521808 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18598] ppid=18593 vsize=26645092 memory=15184 CPUtime=17.91 cores=0-7
/proc/18595/task/18598/stat : 18598 (java) S 18593 18593 17867 0 -1 1077944384 55904 0 0 0 1542 249 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508986469264 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18599] ppid=18593 vsize=26645092 memory=4000 CPUtime=17.93 cores=0-7
/proc/18595/task/18599/stat : 18599 (java) S 18593 18593 17867 0 -1 1077944384 33133 0 0 0 1554 239 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508985416720 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18600] ppid=18593 vsize=26645092 memory=1452 CPUtime=17.85 cores=0-7
/proc/18595/task/18600/stat : 18600 (java) S 18593 18593 17867 0 -1 1077944384 34778 0 0 0 1535 250 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508984364176 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18601] ppid=18593 vsize=26645092 memory=11930444 CPUtime=17.92 cores=0-7
/proc/18595/task/18601/stat : 18601 (java) S 18593 18593 17867 0 -1 1077944384 19626 0 0 0 1545 247 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508983310608 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18602] ppid=18593 vsize=26645092 memory=1800 CPUtime=17.81 cores=0-7
/proc/18595/task/18602/stat : 18602 (java) S 18593 18593 17867 0 -1 1077944384 33876 0 0 0 1541 240 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508982258064 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18603] ppid=18593 vsize=26645092 memory=916 CPUtime=17.89 cores=0-7
/proc/18595/task/18603/stat : 18603 (java) S 18593 18593 17867 0 -1 1077944384 30186 0 0 0 1537 252 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508981205520 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18604] ppid=18593 vsize=26645092 memory=4148 CPUtime=18.03 cores=0-7
/proc/18595/task/18604/stat : 18604 (java) S 18593 18593 17867 0 -1 1077944384 40731 0 0 0 1555 248 0 0 20 0 28 0 88844571 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508980152976 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18605] ppid=18593 vsize=26645092 memory=11930444 CPUtime=0.67 cores=0-7
/proc/18595/task/18605/stat : 18605 (java) S 18593 18593 17867 0 -1 1077944384 27004 0 0 0 55 12 0 0 20 0 28 0 88844573 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508825397744 140509429635714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18606] ppid=18593 vsize=26645092 memory=6380 CPUtime=0 cores=0-7
/proc/18595/task/18606/stat : 18606 (java) S 18593 18593 17867 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 88844573 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508824344032 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18607] ppid=18593 vsize=26645092 memory=5500 CPUtime=0 cores=0-7
/proc/18595/task/18607/stat : 18607 (java) S 18593 18593 17867 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 28 0 88844573 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508823291392 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18608] ppid=18593 vsize=26645092 memory=4460 CPUtime=0 cores=0-7
/proc/18595/task/18608/stat : 18608 (java) S 18593 18593 17867 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88844576 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508822239952 140509429643163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18609] ppid=18593 vsize=26645092 memory=1380 CPUtime=5.13 cores=0-7
/proc/18595/task/18609/stat : 18609 (java) S 18593 18593 17867 0 -1 1077944384 22354 0 0 0 509 4 0 0 20 0 28 0 88844576 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508821186544 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18610] ppid=18593 vsize=26645092 memory=1160 CPUtime=4.94 cores=0-7
/proc/18595/task/18610/stat : 18610 (java) S 18593 18593 17867 0 -1 1077944384 25069 0 0 0 490 4 0 0 20 0 28 0 88844576 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508820134000 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18611] ppid=18593 vsize=26645092 memory=15184 CPUtime=5.07 cores=0-7
/proc/18595/task/18611/stat : 18611 (java) S 18593 18593 17867 0 -1 1077944384 35110 0 0 0 501 6 0 0 20 0 28 0 88844576 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508819081456 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18612] ppid=18593 vsize=26645092 memory=4000 CPUtime=1.29 cores=0-7
/proc/18595/task/18612/stat : 18612 (java) S 18593 18593 17867 0 -1 1077944384 20872 0 0 0 123 6 0 0 20 0 28 0 88844576 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508818028912 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18613] ppid=18593 vsize=26645092 memory=11930444 CPUtime=0 cores=0-7
/proc/18595/task/18613/stat : 18613 (java) S 18593 18593 17867 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88844576 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508816976608 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=18614] ppid=18593 vsize=26645092 memory=5048 CPUtime=1.36 cores=0-7
/proc/18595/task/18614/stat : 18614 (java) S 18593 18593 17867 0 -1 1077944384 6767 0 0 0 73 63 0 0 20 0 28 0 88844576 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508815924144 140509429635714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19944] ppid=18593 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/18595/task/19944/stat : 19944 (java) S 18593 18593 17867 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508797677712 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19945] ppid=18593 vsize=26645092 memory=11930444 CPUtime=0 cores=0-7
/proc/18595/task/19945/stat : 19945 (java) S 18593 18593 17867 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508798731984 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19946] ppid=18593 vsize=26645092 memory=4096 CPUtime=0 cores=0-7
/proc/18595/task/19946/stat : 19946 (java) S 18593 18593 17867 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508802941776 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19947] ppid=18593 vsize=26645092 memory=1398720917958146503 CPUtime=0 cores=0-7
/proc/18595/task/19947/stat : 19947 (java) S 18593 18593 17867 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508801889232 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19948] ppid=18593 vsize=26645092 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/18595/task/19948/stat : 19948 (java) S 18593 18593 17867 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508805047376 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19949] ppid=18593 vsize=26645092 memory=932 CPUtime=0 cores=0-7
/proc/18595/task/19949/stat : 19949 (java) S 18593 18593 17867 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508800836816 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19950] ppid=18593 vsize=26645092 memory=1564 CPUtime=341.87 cores=0-7
/proc/18595/task/19950/stat : 19950 (java) R 18593 18593 17867 0 -1 4202560 14551 0 0 0 34181 6 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508803989136 140509072770464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
[pid=18595/tid=19951] ppid=18593 vsize=26645092 memory=2212 CPUtime=0.53 cores=0-7
/proc/18595/task/19951/stat : 19951 (java) S 18593 18593 17867 0 -1 1077944384 21 0 0 0 53 0 0 0 20 0 28 0 89062382 27284574208 2982611 33554432000 4194304 4196468 140732570551984 140508799784400 140509429634773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38207488 140732570559617 140732570559789 140732570559789 140732570562511 0
Current children cumulated CPU time: 2691.38 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 11931896 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.07
CPU time (s): 2691.45
CPU user time (s): 2667.57
CPU system time (s): 23.8791
CPU usage (%): 106.801
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 11942016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2667.57
system time used= 23.8791
maximum resident set size= 11940804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 648880
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79471
involuntary context switches= 5083


# summary of solver processes directly reported to runsolver:
#   pid: 18593,18595
#   total CPU time (s): 2691.45
#   total CPU user time (s): 2667.57
#   total CPU system time (s): 23.8791

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3843 second user time and 24.6 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-27 19:33:34
IDJOB=4297925
IDBENCH=141264
IDSOLVER=2760
FILE ID=node149/4297925-1532712813
RUNJOBID= node149-1532707769-17894
PBS_JOBID= 21022313
Free space on /tmp= 43192 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-02-0250_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297925-1532712813/watcher-4297925-1532712813 -o /tmp/evaluation-result-4297925-1532712813/solver-4297925-1532712813 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532707769-17894 --watchdog 2580  HOME/xcsp3-exec -seed 1078540374 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297925-1532712813.xml

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

MD5SUM BENCH= 9ab3e648243ddfeac66c66819bd63413
RANDOM SEED=1078540374

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27476188 kB
MemAvailable:   31925628 kB
Buffers:           99220 kB
Cached:          4569756 kB
SwapCached:           60 kB
Active:          1610784 kB
Inactive:        3112788 kB
Active(anon):       4488 kB
Inactive(anon):    78020 kB
Active(file):    1606296 kB
Inactive(file):  3034768 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:             89572 kB
Writeback:             0 kB
AnonPages:         76244 kB
Mapped:            34212 kB
Shmem:             25040 kB
Slab:             264204 kB
SReclaimable:     236836 kB
SUnreclaim:        27368 kB
KernelStack:        3536 kB
PageTables:         4776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43168 MiB
End job on node149 at 2018-07-27 20:15:34