Trace number 4297927

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)268587954 2861.15 2520.09

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-04-0300_c18.xml
MD5SUMd2f9cd7b3c3026f57264f10c0685d9a6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark268587954
Best CPU time to get the best result obtained on this benchmark2861.15
Satisfiable
(Un)Satisfiability was proved
Number of variables5284
Number of constraints3360
Number of domains68
Minimum domain size1
Maximum domain size135
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":1859},{"size":11,"count":1561},{"size":12,"count":1},{"size":25,"count":10},{"size":29,"count":10},{"size":31,"count":42},{"size":33,"count":12},{"size":36,"count":26},{"size":39,"count":45},{"size":41,"count":7},{"size":45,"count":9},{"size":50,"count":6},{"size":51,"count":9},{"size":53,"count":7},{"size":57,"count":23},{"size":58,"count":6},{"size":61,"count":6},{"size":62,"count":10},{"size":67,"count":13},{"size":73,"count":1},{"size":74,"count":2},{"size":75,"count":8},{"size":77,"count":3},{"size":79,"count":9},{"size":81,"count":11},{"size":83,"count":7},{"size":84,"count":1},{"size":85,"count":1},{"size":87,"count":11},{"size":89,"count":6},{"size":93,"count":4},{"size":95,"count":35},{"size":97,"count":5},{"size":100,"count":29},{"size":102,"count":51},{"size":104,"count":11},{"size":105,"count":5},{"size":107,"count":8},{"size":109,"count":6},{"size":110,"count":32},{"size":117,"count":53},{"size":118,"count":63},{"size":122,"count":30},{"size":127,"count":118},{"size":130,"count":112},{"size":132,"count":30},{"size":135,"count":968}]
Minimum variable degree2
Maximum variable degree1562
Distribution of variable degrees[{"degree":2,"count":4684},{"degree":3,"count":6},{"degree":4,"count":6},{"degree":5,"count":11},{"degree":6,"count":24},{"degree":7,"count":24},{"degree":8,"count":40},{"degree":9,"count":42},{"degree":10,"count":48},{"degree":11,"count":68},{"degree":12,"count":79},{"degree":13,"count":128},{"degree":14,"count":97},{"degree":15,"count":11},{"degree":16,"count":8},{"degree":17,"count":6},{"degree":18,"count":1},{"degree":1562,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":238},{"arity":3,"count":1561},{"arity":6,"count":1561}]
Number of extensional constraints1561
Number of intensional constraints1799
Distribution of constraint types[{"type":"extension","count":1561},{"type":"intension","count":1799}]
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-4297927-1532712771.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297927-1532712771.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
389.24/144.92	c solve instance...
429.77/150.76	o 279990115 
440.30/155.96	o 279958883 
1520.23/1230.37	o 279943265 
1522.69/1231.42	o 279912033 
1522.69/1231.45	o 279912028 
1524.26/1232.22	o 279912024 
1524.58/1232.56	o 279912019 
1525.42/1233.32	o 279912018 
1525.74/1233.62	o 279912017 
1525.74/1233.63	o 279912016 
1526.69/1234.57	o 279896423 
1527.64/1235.49	o 279896418 
1527.64/1235.50	o 279896414 
1528.12/1235.85	o 279896409 
1528.12/1235.86	o 279896408 
1528.37/1236.07	o 279896407 
1529.40/1237.09	o 279896406 
1530.43/1238.01	o 279896404 
1532.49/1238.35	o 279896403 
1533.88/1239.33	o 279896402 
1533.88/1239.35	o 279896401 
1534.84/1240.27	o 279880802 
1535.87/1241.25	o 279880797 
1536.90/1242.26	o 279880793 
1538.04/1243.31	o 279880788 
1538.04/1243.34	o 279880786 
1538.04/1243.35	o 279865192 
1539.13/1244.30	o 279865187 
1539.13/1244.32	o 279865183 
1539.13/1244.33	o 279865178 
1539.13/1244.34	o 279865176 
1539.13/1244.38	o 279865173 
1540.39/1245.49	o 279865171 
1540.49/1245.51	o 279865170 
1541.58/1246.53	o 279849577 
1541.58/1246.56	o 279849572 
1542.54/1247.49	o 279849568 
1542.65/1247.50	o 279849563 
1543.60/1248.45	o 279849561 
1545.17/1249.45	o 279849560 
1547.35/1250.61	o 279849558 
1547.35/1250.62	o 279849557 
1549.37/1251.69	o 279849556 
1549.49/1251.72	o 279849555 
1549.49/1251.73	o 279833966 
1549.49/1251.74	o 279833961 
1550.05/1252.19	o 279833957 
1550.05/1252.20	o 279833952 
1550.16/1252.22	o 279833950 
1551.21/1253.14	o 279833947 
1551.21/1253.15	o 279833945 
1551.34/1253.21	o 279833944 
1552.28/1254.18	o 279818355 
1552.28/1254.19	o 279818350 
1552.41/1254.21	o 279818346 
1552.41/1254.22	o 279818341 
1552.41/1254.23	o 279818339 
1552.41/1254.24	o 279818336 
1553.55/1255.23	o 279818334 
1553.55/1255.27	o 279818333 
1553.55/1255.30	o 279818330 
1553.71/1255.32	o 279818328 
1554.66/1256.29	o 279818325 
1554.77/1256.30	o 279818323 
1555.70/1257.25	o 279818322 
1555.70/1257.28	o 279802737 
1556.76/1258.29	o 279802732 
1557.78/1259.25	o 279802728 
1558.81/1260.21	o 279802723 
1559.83/1261.23	o 279802721 
1561.04/1262.41	o 279802718 
1561.96/1263.35	o 279802716 
1562.89/1264.29	o 279802715 
1563.92/1265.22	o 279787126 
1563.92/1265.24	o 279787121 
1563.92/1265.25	o 279787117 
1564.98/1266.25	o 279787112 
1564.98/1266.27	o 279787110 
1566.11/1267.33	o 279787107 
1566.11/1267.38	o 279787105 
1567.16/1268.34	o 279787104 
1567.16/1268.35	o 279771515 
1567.16/1268.37	o 279771510 
1567.16/1268.37	o 279771506 
1568.25/1269.31	o 279771501 
1568.25/1269.34	o 279771499 
1569.51/1270.44	o 279771496 
1570.44/1271.37	o 279771494 
1570.44/1271.38	o 279771493 
1571.91/1272.75	o 279771490 
1571.91/1272.77	o 279771488 
1571.91/1272.79	o 279771485 
1572.96/1273.74	o 279771483 
1572.96/1273.75	o 279771482 
1573.12/1273.85	o 279755896 
1574.04/1274.74	o 279755891 
1574.04/1274.75	o 279755887 
1574.98/1275.68	o 279755882 
1575.90/1276.59	o 279755880 
1576.93/1277.57	o 279755877 
1577.95/1278.54	o 279755875 
1578.87/1279.46	o 279755871 
1579.80/1280.39	o 279755869 
1580.72/1281.28	o 279755866 
1580.72/1281.30	o 279755864 
1581.76/1282.23	o 279755863 
1582.61/1283.09	o 279755861 
1583.64/1284.01	o 279740274 
1583.64/1284.02	o 279740269 
1583.64/1284.04	o 279740265 
1583.64/1284.06	o 279740260 
1583.64/1284.07	o 279740258 
1583.64/1284.08	o 279740255 
1583.84/1284.11	o 279740253 
1584.77/1285.03	o 279740249 
1585.68/1285.99	o 279740247 
1585.68/1286.01	o 279740244 
1586.73/1286.91	o 279740242 
1587.66/1287.85	o 279740241 
1587.66/1287.87	o 279724665 
1587.66/1287.89	o 279724660 
1588.64/1288.76	o 279724656 
1589.66/1289.71	o 279724651 
1589.66/1289.73	o 279724650 
1589.66/1289.75	o 279724649 
1590.62/1290.67	o 279724648 
1591.64/1291.68	o 279724646 
1591.77/1291.70	o 279724645 
1592.69/1292.65	o 279724644 
1593.81/1293.62	o 279724643 
1594.35/1294.14	o 279724640 
1595.27/1295.07	o 279724638 
1595.27/1295.09	o 279724635 
1596.20/1295.96	o 279724633 
1597.52/1297.23	o 279724632 
1598.56/1298.22	o 279724630 
1599.50/1299.15	o 279709043 
1600.45/1300.09	o 279709038 
1601.37/1301.00	o 279709034 
1602.28/1301.86	o 279709029 
1603.31/1302.81	o 279709027 
1604.13/1303.69	o 279709024 
1605.15/1304.64	o 279709022 
1605.15/1304.66	o 279709018 
1606.00/1305.44	o 279709016 
1606.93/1306.34	o 279709013 
1608.24/1307.61	o 279709011 
1609.21/1308.59	o 279709010 
1610.27/1309.50	o 279693430 
1610.27/1309.53	o 279693425 
1610.27/1309.54	o 279693421 
1610.27/1309.57	o 279693416 
1611.55/1310.76	o 279693414 
1612.57/1311.79	o 279693411 
1612.69/1311.80	o 279693409 
1613.62/1312.75	o 279693405 
1613.62/1312.77	o 279693403 
1614.64/1313.74	o 279693400 
1614.64/1313.75	o 279693398 
1615.48/1314.52	o 279693397 
1616.43/1315.45	o 279693395 
1616.43/1315.49	o 279677814 
1617.29/1316.23	o 279677809 
1617.29/1316.27	o 279677805 
1618.34/1317.25	o 279677800 
1619.36/1318.21	o 279677798 
1619.36/1318.24	o 279677795 
1619.36/1318.25	o 279677793 
1620.32/1319.18	o 279677789 
1621.13/1319.92	o 279677787 
1622.04/1320.88	o 279677784 
1622.77/1321.59	o 279677782 
1623.60/1322.32	o 279677781 
1624.54/1323.23	o 279677780 
1624.54/1323.24	o 279677778 
1624.54/1323.25	o 279677777 
1624.54/1323.26	o 279677776 
1624.54/1323.27	o 279677775 
1625.54/1324.17	o 278678350 
1666.27/1329.57	o 268587969 
2769.74/2430.72	o 268587966 
2770.92/2431.49	o 268587961 
2771.01/2431.50	o 268587958 
2771.85/2432.36	o 268587957 
2772.83/2433.16	o 268587955 
2775.01/2434.68	o 268587954 
2861.05/2520.02	s SATISFIABLE
2861.05/2520.02	v <instantiation>
2861.05/2520.02	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] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] 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] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] 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] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] 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] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] 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] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] </list>
2861.05/2520.02	v 	<values>2644 2356 2232 2260 2360 2404 2656 2204 2664 2456 2652 2500 2580 2392 2440 2460 2464 2508 2176 2272 2260 2160 2492 2160 2164 2660 2300 2432 2176 2592 2292 2644 2408 2652 2312 2256 2580 2220 2616 2200 2228 2352 2596 2476 2304 2276 2556 2600 2396 2624 2212 2644 2672 2548 2368 2684 2200 2416 2380 2684 2532 2204 2216 2552 2208 2364 2612 2684 2424 2340 2652 2280 2272 2204 2284 2620 2580 2632 2368 2400 2588 2160 2620 2692 2444 2212 2496 2584 2648 2200 2696 2580 2696 2512 2232 2192 2448 2456 2688 2348 2256 2200 2172 2424 2480 2356 2308 2564 2520 2636 2216 2312 2448 2636 2252 2576 2604 2656 2440 2580 2624 2636 2588 2248 2612 2384 2492 2628 2200 2544 2560 2240 2520 2656 2264 2168 2260 2436 2648 2472 2176 2160 2620 2172 2560 2300 2160 2584 2236 2656 2272 2644 2164 2340 2208 2628 2336 2548 2372 2600 2392 2160 2480 2596 2308 2612 2252 2632 2580 2472 2588 2612 2656 2696 2672 2276 2688 2220 2340 2640 2516 2196 2312 2688 2252 2612 2476 2160 2556 2632 2160 2516 2232 2624 2560 2200 2652 2500 2408 2692 2296 2652 2620 2396 2632 2676 2164 2440 2392 2396 2436 2640 2316 2244 2380 2548 2588 2300 2160 2584 2596 2480 2624 2164 2672 2376 2348 2512 2532 2676 2600 2604 2200 2676 2628 2540 2340 2696 2408 2164 2696 2204 2540 2556 2540 2500 2216 2432 2488 2636 2352 2292 2328 2668 2200 2436 2644 2428 2696 2272 2620 2536 2664 2416 2680 2468 2652 2560 2684 2200 2160 2236 2392 2432 2512 2540 2580 2204 2368 2164 2624 2572 2556 2620 2200 2656 2216 2412 2664 2204 2368 2324 2408 2268 2292 2300 2596 2648 2476 2340 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 11 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 3 0 0 0 0 10 0 0 0 0 1 8 0 0 0 10 0 0 0 1 10 0 5 8 3 0 0 9 10 0 0 0 0 3 0 0 0 0 7 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 9 10 0 0 0 8 0 0 0 0 0 0 0 0 10 0 0 6 0 8 1 1 1 1 0 0 0 0 0 1 1 0 0 2 0 0 1 1 0 10 0 0 0 7 0 0 0 0 0 0 3 0 0 0 0 1 1 0 1 0 0 0 0 0 7 5 0 0 0 0 0 0 0 0 0 1 0 0 0 0 10 1 0 0 1 0 0 0 0 3 0 0 0 4 0 0 0 10 3 0 0 0 10 8 0 6 0 0 0 0 0 10 1 0 0 1 2 0 0 0 0 7 3 1 0 0 5 7 0 0 0 0 0 6 1 0 0 0 2 10 0 0 0 1 0 0 1 4 1 8 0 0 0 1 10 0 0 1 0 10 0 1 0 0 6 0 0 7 0 8 0 0 1 0 0 0 0 1 4 0 8 1 0 8 1 0 0 0 0 10 0 0 0 0 10 0 1 0 0 0 0 0 6 3 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 1 0 0 0 0 9 0 0 1 0 0 10 0 1 6 0 0 0 0 1 0 1 0 0 0 0 0 0 4 0 10 1 3 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 9 0 0 0 1 0 1 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 1 0 0 10 0 0 3 1 0 0 0 0 0 0 3 4 0 0 0 0 0 0 0 0 0 5 9 0 1 0 0 4 6 0 0 0 0 0 8 0 0 0 1 1 1 0 8 0 3 1 0 1 9 0 0 0 0 3 0 0 2 4 0 0 0 0 0 0 0 6 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 8 0 5 0 10 8 0 0 0 0 10 9 0 0 0 0 0 0 0 0 0 10 1 3 0 0 5 0 0 2 0 0 0 0 0 0 10 1 1 0 9 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 1 1 0 1 0 0 0 0 0 0 6 0 0 0 0 0 1 0 9 0 0 10 0 0 6 0 9 7 0 0 0 10 0 0 0 0 10 0 0 4 8 10 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 6 0 0 0 0 10 0 0 0 0 10 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 5 0 0 0 0 0 0 0 10 0 0 9 10 0 0 0 0 3 0 1 8 1 0 2 5 0 1 0 0 8 0 0 10 0 7 5 0 1 0 0 0 4 10 0 1 0 0 0 9 0 0 6 0 0 0 0 9 0 1 10 0 0 0 2 0 1 0 1 0 5 10 0 0 0 1 1 0 0 0 0 0 1 10 0 0 4 1 7 5 4 1 0 5 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 1 9 0 1 0 0 0 0 0 4 1 0 2 0 0 0 0 0 0 1 0 9 4 0 3 0 0 0 0 0 9 0 9 0 0 10 0 7 7 0 0 0 1 0 0 0 0 0 0 10 9 0 10 0 0 0 0 0 0 0 0 7 10 0 0 8 0 2 0 0 0 0 0 0 0 0 10 1 0 0 0 0 7 0 0 2 0 0 0 0 0 1 0 0 1 0 2 0 10 0 0 0 0 0 0 0 9 0 3 3 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 9 0 2 0 0 0 4 6 0 0 0 0 0 0 0 0 0 0 9 4 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 10 1 9 0 0 0 0 1 0 0 0 0 0 1 3 0 1 0 0 0 1 1 0 1 0 0 0 2 1 0 0 0 10 0 0 0 0 0 0 0 1 10 0 0 0 9 0 0 0 10 0 0 0 0 0 1 10 0 0 0 1 0 0 0 0 0 1 0 0 0 5 1 0 0 0 0 0 8 0 0 0 1 0 5 0 7 0 0 0 0 0 0 1 9 0 0 9 1 0 10 0 0 9 0 1 0 0 0 0 0 0 0 0 2 9 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 10 0 6 0 0 0 0 10 0 0 0 0 0 1 1 1 1 0 0 6 0 0 2 0 5 0 0 0 0 0 2 1 0 0 0 10 0 0 0 1 0 2 0 0 0 0 0 0 0 9 0 1 0 6 0 0 0 0 0 0 0 0 0 7 2 0 1 0 0 0 0 1 10 0 0 0 0 0 10 10 0 10 0 1 0 0 0 0 9 0 0 0 9 0 0 0 0 0 0 8 0 1 0 0 0 0 0 0 0 6 0 4 0 0 0 0 0 5 0 0 9 0 1 0 0 0 0 0 7 1 1 0 10 1 0 0 0 0 0 1 0 0 1 0 0 10 0 0 0 0 0 0 0 1 10 10 0 0 0 0 0 4 0 0 0 9 0 0 0 0 0 10 0 0 1 1 10 0 0 1 0 0 9 0 0 0 0 0 0 0 0 9 5 1 0 0 0 0 10 0 0 0 0 0 0 7 5 0 0 7 0 0 0 8 10 5 0 0 2 0 0 5 0 0 0 0 0 10 0 0 8 4 0 0 0 0 0 0 0 4 0 2 7 0 0 0 10 10 0 4 0 1 0 0 10 0 0 0 1 0 0 0 1 0 8 0 0 1 1 7 0 0 4 0 0 10 1 0 0 0 0 0 8 0 0 0 0 10 0 0 0 0 0 0 1 0 10 0 10 0 0 0 0 8 0 10 0 0 3 10 0 9 3 0 1 6 0 0 10 7 1 0 0 0 0 2 2 0 4 1 0 0 0 0 0 0 0 0 0 8 0 0 1 0 10 0 0 0 0 10 0 1 0 0 1 0 0 0 0 0 0 0 9 0 0 1 0 0 0 0 1 0 0 0 0 0 0 8 10 0 0 0 0 8 0 0 0 0 1 0 0 1 6 1 0 1 0 7 0 0 0 3 0 0 8 0 0 0 0 0 0 0 0 3 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 2 7 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 10 0 1 0 0 0 0 10 6 1 0 0 0 0 0 0 9 0 1 1 0 0 9 1 0 0 0 0 2 9 0 1 0 1 0 0 0 0 0 0 0 0 0 5 0 0 0 5 0 5 0 0 0 0 10 0 0 0 0 5 0 384 372 440 188 28 44 108 40 480 440 96 64 52 24 48 28 116 288 160 336 192 312 152 224 360 244 168 280 72 24 140 12 148 464 40 396 204 96 84 184 24 16 100 380 324 436 360 56 148 288 276 296 80 160 156 36 292 200 200 204 116 140 232 244 192 12 88 104 188 64 188 492 480 428 444 212 72 480 420 380 496 16 100 20 376 72 220 316 32 44 312 296 112 96 420 64 76 184 504 36 272 420 132 60 124 104 272 36 60 76 96 244 168 216 84 240 220 124 392 396 32 228 140 304 88 24 216 304 416 448 300 160 120 308 260 20 248 196 120 92 208 320 304 116 156 420 52 172 16 228 252 308 112 88 24 28 92 232 96 228 176 256 72 140 280 216 148 256 112 240 28 116 148 180 60 228 176 120 100 80 256 28 92 288 236 20 288 188 176 120 264 92 172 232 100 16 12 124 156 124 468 136 380 316 368 480 340 356 112 72 260 68 364 68 400 112 288 32 436 220 96 48 124 432 372 96 420 248 152 428 12 428 452 276 180 316 272 164 192 144 100 152 204 204 220 44 172 420 476 484 512 396 516 40 252 12 64 284 12 228 488 476 420 508 472 264 532 16 456 500 96 84 48 144 36 120 4 12 12 0 92 92 296 188 252 160 220 264 120 216 52 496 516 384 408 496 520 444 288 308 16 292 220 32 88 16 180 352 48 340 128 220 88 376 388 292 112 432 80 8 104 64 304 152 212 68 28 192 452 4 484 12 260 256 56 236 416 80 52 100 268 144 60 160 276 168 288 360 28 144 324 392 224 96 120 256 280 160 400 104 216 4 332 420 24 8 20 380 256 48 60 376 392 296 412 188 80 4 132 248 404 48 140 124 40 16 176 60 12 276 140 420 320 52 272 496 180 496 208 236 356 448 216 32 52 164 68 424 356 408 468 392 48 292 180 280 224 88 184 20 196 332 148 320 48 44 172 24 116 400 396 48 164 108 180 184 108 96 164 140 312 148 152 60 388 216 140 84 388 112 88 252 380 324 336 132 76 192 408 60 92 8 36 80 308 92 88 348 132 336 96 96 84 396 392 92 428 24 40 76 60 184 44 76 260 88 192 200 248 124 196 56 68 452 4 108 460 184 4 84 296 112 212 372 236 36 24 180 52 428 12 344 216 484 408 32 440 360 260 164 32 132 20 432 236 472 4 52 388 328 140 76 36 124 252 232 96 44 268 468 64 524 376 144 40 520 128 224 376 356 116 16 268 16 204 80 232 272 24 212 64 196 24 72 92 184 312 216 220 288 240 300 172 336 56 520 344 72 104 464 356 448 480 100 184 280 284 224 288 480 408 424 104 420 448 448 420 344 272 36 96 32 36 68 72 20 184 212 444 192 248 404 480 468 44 364 192 124 100 248 328 120 216 52 452 264 84 84 408 8 76 136 48 372 28 436 192 52 8 56 248 144 276 88 96 172 204 124 260 84 188 156 52 220 148 84 88 132 176 48 344 172 344 180 68 280 40 488 488 220 164 32 0 448 368 284 160 80 220 268 120 324 280 316 56 364 32 340 352 288 168 76 380 268 300 140 488 432 316 96 296 416 424 296 480 236 116 76 88 328 304 412 80 84 420 312 64 292 420 84 420 472 424 296 264 136 320 208 72 28 72 208 144 68 228 228 64 180 88 236 80 32 140 24 68 40 116 64 388 320 188 516 376 256 108 140 356 68 280 4 348 104 284 8 140 4 52 208 196 228 112 252 176 348 156 324 188 84 116 16 180 4 136 324 408 348 308 424 68 88 112 36 200 208 12 400 488 376 68 8 496 248 316 300 380 272 204 152 40 536 84 288 396 344 228 100 108 212 256 172 248 136 156 280 492 164 124 344 348 292 128 80 224 456 424 408 328 64 72 32 424 120 464 432 108 60 280 188 436 240 100 364 184 56 172 288 204 192 224 248 120 208 120 216 196 220 32 528 128 84 256 176 32 388 92 144 96 232 348 292 112 144 304 52 216 440 292 440 36 72 392 424 216 440 452 28 416 424 180 208 16 124 72 44 200 84 228 276 116 16 264 248 76 340 76 360 128 348 16 356 32 60 364 32 156 136 60 268 44 20 12 84 116 328 208 76 48 96 228 220 396 300 132 124 0 408 192 272 148 64 228 200 336 120 384 60 48 24 8 296 256 96 88 360 328 16 28 88 68 372 24 340 124 72 92 400 128 96 356 32 260 192 236 96 48 308 20 328 268 284 420 416 84 360 324 148 4 36 276 352 32 76 472 32 420 428 428 44 344 288 88 24 424 404 84 144 36 304 0 412 172 264 16 260 164 188 216 296 196 16 136 240 328 188 152 16 408 432 16 424 384 176 340 140 168 212 112 372 56 384 52 136 328 76 80 20 220 44 356 448 452 348 88 80 168 408 100 140 104 112 144 36 56 140 248 340 440 304 324 32 164 100 212 76 168 204 264 124 476 496 100 24 328 16 324 336 412 168 436 360 404 252 164 244 276 76 144 40 100 52 68 276 220 28 308 196 148 308 60 216 100 464 496 24 460 252 444 424 76 272 180 368 272 184 424 440 460 144 128 100 44 240 96 188 40 192 92 96 136 96 148 92 84 380 340 132 244 424 16 44 40 76 348 436 36 320 400 32 168 416 360 104 356 108 324 392 36 236 176 416 56 476 460 72 272 120 28 176 436 364 448 204 84 68 140 104 176 96 176 312 140 172 32 256 240 304 176 164 12 44 284 300 132 24 384 332 116 260 248 280 192 436 452 156 140 464 56 108 168 196 316 76 68 188 36 188 296 244 28 380 272 164 228 104 392 28 216 376 200 220 444 40 412 396 320 44 64 264 360 24 184 224 92 180 56 84 68 100 336 32 296 72 112 396 396 100 76 96 288 324 12 240 332 308 280 360 52 344 56 64 176 188 92 32 44 208 316 48 40 256 244 100 404 116 108 216 176 300 48 108 300 248 352 32 472 176 356 64 188 488 256 308 296 92 404 64 32 180 148 56 44 84 396 428 536 380 208 248 96 72 140 16 316 164 364 492 480 424 512 40 396 476 536 460 352 272 88 244 208 308 420 160 20 88 68 424 264 36 48 192 96 268 260 20 116 12 176 104 68 120 108 192 60 244 140 528 296 192 72 12 488 336 140 244 4 300 180 20 96 16 224 44 32 12 24 416 208 28 300 128 116 104 264 348 532 108 244 184 240 88 208 140 152 260 32 440 84 4 20 152 100 48 344 436 336 420 88 272 140 48 56 84 52 84 340 256 380 504 88 28 36 84 56 228 228 120 460 136 388 84 164 456 516 40 472 24 68 336 60 308 104 212 100 164 60 272 28 64 404 48 236 496 356 228 496 32 244 192 56 152 336 92 96 232 52 328 244 256 188 376 416 244 496 304 264 88 20 80 64 340 340 300 320 232 92 160 120 288 60 16 272 136 264 356 48 12 464 72 356 72 268 236 152 220 76 408 412 60 128 152 48 156 252 200 448 12 360 20 524 208 208 44 56 280 408 356 356 60 44 304 296 </values>
2861.05/2520.02	v </instantiation>
2861.05/2520.02	c Unexpected resolution interruption!

Verifier Data 

OK	268587954

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297927-1532712771/watcher-4297927-1532712771 -o /tmp/evaluation-result-4297927-1532712771/solver-4297927-1532712771 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532705124-11690 --watchdog 2580 HOME/xcsp3-exec -seed 1214492826 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297927-1532712771.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=14445, runsolver pid=14442
Current StackSize limit: 8192 KiB


[startup+0.100139 s]*
/proc/loadavg: 7.63 8.18 8.22 2/200 14466
/proc/meminfo: memFree=28052632/32770624 swapFree=67108532/67108860
[pid=14445] ppid=14442 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14445/stat : 14445 (xcsp3-exec) S 14442 14445 11663 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88840367 115843072 364 33554432000 4194304 5098028 140726919326384 140726919324488 139796495401596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18911232 140726919328821 140726919329024 140726919329024 140726919331786 0
/proc/14445/statm: 28282 364 306 221 0 87 0
[pid=14447] ppid=14445 vsize=26104152 memory=26888 CPUtime=0.11 cores=0-7
/proc/14447/stat : 14447 (java) S 14445 14445 11663 0 -1 1077944320 5637 0 0 0 10 1 0 0 20 0 20 0 88840367 26730651648 6722 33554432000 4194304 4196468 140720648853216 140720648835760 140345729003255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
/proc/14447/statm: 6526038 6722 3002 1 0 6488315 0
[pid=14447/tid=14448] ppid=14445 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/14447/task/14448/stat : 14448 (java) R 14445 14445 11663 0 -1 4202560 3661 0 0 0 8 1 0 0 20 0 20 0 88840368 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345733222232 140345713223488 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14449] ppid=14445 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14447/task/14449/stat : 14449 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345651583248 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14450] ppid=14445 vsize=26104152 memory=140303999936128 CPUtime=0 cores=0-7
/proc/14447/task/14450/stat : 14450 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345650530704 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14451] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14451/stat : 14451 (java) S 14445 14445 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345649478160 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14452] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14452/stat : 14452 (java) S 14445 14445 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345648425616 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14453] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14453/stat : 14453 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345647373072 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14454] ppid=14445 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/14447/task/14454/stat : 14454 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345646320528 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14455] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14455/stat : 14455 (java) S 14445 14445 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345645267984 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14456] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14456/stat : 14456 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345644215440 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14457] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14457/stat : 14457 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840370 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345124874224 140345729014402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14458] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14458/stat : 14458 (java) S 14445 14445 11663 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88840371 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345123820448 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14459] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14459/stat : 14459 (java) S 14445 14445 11663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88840371 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345122767856 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14460] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14460/stat : 14460 (java) S 14445 14445 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840373 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345121716432 140345729021851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14461] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14461/stat : 14461 (java) S 14445 14445 11663 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 88840373 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345120664048 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14462] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14462/stat : 14462 (java) R 14445 14445 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840373 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345119611504 140345729014402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14463] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14463/stat : 14463 (java) S 14445 14445 11663 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 88840373 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345118558960 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14464] ppid=14445 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/14447/task/14464/stat : 14464 (java) R 14445 14445 11663 0 -1 4202560 242 0 0 0 1 0 0 0 20 0 20 0 88840373 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345117506416 140345729015190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14465] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14465/stat : 14465 (java) S 14445 14445 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88840374 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345116453088 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14466] ppid=14445 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/14447/task/14466/stat : 14466 (java) S 14445 14445 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840374 26730651648 6722 33554432000 4194304 4196468 140720648853216 140345115400624 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28344 KiB

[startup+0.210192 s]*
/proc/loadavg: 7.63 8.18 8.22 2/200 14466
/proc/meminfo: memFree=28041220/32770624 swapFree=67108532/67108860
[pid=14445] ppid=14442 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14445/stat : 14445 (xcsp3-exec) S 14442 14445 11663 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88840367 115843072 364 33554432000 4194304 5098028 140726919326384 140726919324488 139796495401596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18911232 140726919328821 140726919329024 140726919329024 140726919331786 0
/proc/14445/statm: 28282 364 306 221 0 87 0
[pid=14447] ppid=14445 vsize=26104152 memory=39736 CPUtime=0.34 cores=0-7
/proc/14447/stat : 14447 (java) S 14445 14445 11663 0 -1 1077944320 8483 0 0 0 31 3 0 0 20 0 20 0 88840367 26730651648 9934 33554432000 4194304 4196468 140720648853216 140720648835760 140345729003255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
/proc/14447/statm: 6526038 9934 3192 1 0 6488315 0
[pid=14447/tid=14448] ppid=14445 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/14447/task/14448/stat : 14448 (java) R 14445 14445 11663 0 -1 4202560 5546 0 0 0 18 2 0 0 20 0 20 0 88840368 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345733237296 140345322673568 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14449] ppid=14445 vsize=26104152 memory=339 CPUtime=0 cores=0-7
/proc/14447/task/14449/stat : 14449 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345651583248 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14450] ppid=14445 vsize=26104152 memory=140303999950725 CPUtime=0 cores=0-7
/proc/14447/task/14450/stat : 14450 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345650530704 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14451] ppid=14445 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/14447/task/14451/stat : 14451 (java) S 14445 14445 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345649478160 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14452] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14452/stat : 14452 (java) S 14445 14445 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345648425616 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14453] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14453/stat : 14453 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345647373072 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14454] ppid=14445 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/14447/task/14454/stat : 14454 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345646320528 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14455] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14455/stat : 14455 (java) S 14445 14445 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345645267984 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14456] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14456/stat : 14456 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840369 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345644215440 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14457] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14457/stat : 14457 (java) S 14445 14445 11663 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 88840370 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345124874224 140345729014402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14458] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14458/stat : 14458 (java) S 14445 14445 11663 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88840371 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345123820448 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14459] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14459/stat : 14459 (java) S 14445 14445 11663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88840371 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345122767856 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14460] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14460/stat : 14460 (java) S 14445 14445 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840373 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345121716432 140345729021851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14461] ppid=14445 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/14447/task/14461/stat : 14461 (java) S 14445 14445 11663 0 -1 1077944384 546 0 0 0 1 0 0 0 20 0 20 0 88840373 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345120664048 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14462] ppid=14445 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/14447/task/14462/stat : 14462 (java) S 14445 14445 11663 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 88840373 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345119611504 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14463] ppid=14445 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7
/proc/14447/task/14463/stat : 14463 (java) S 14445 14445 11663 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 20 0 88840373 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345118558960 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14464] ppid=14445 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/14447/task/14464/stat : 14464 (java) R 14445 14445 11663 0 -1 4202560 764 0 0 0 7 0 0 0 20 0 20 0 88840373 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345117506416 140345721240382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14465] ppid=14445 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14465/stat : 14465 (java) S 14445 14445 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88840374 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345116453088 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14466] ppid=14445 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/14447/task/14466/stat : 14466 (java) S 14445 14445 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840374 26730651648 9934 33554432000 4194304 4196468 140720648853216 140345115400624 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41192 KiB

[startup+0.309691 s]*
/proc/loadavg: 7.63 8.18 8.22 4/200 14466
/proc/meminfo: memFree=28035016/32770624 swapFree=67108532/67108860
[pid=14445] ppid=14442 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14445/stat : 14445 (xcsp3-exec) S 14442 14445 11663 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88840367 115843072 364 33554432000 4194304 5098028 140726919326384 140726919324488 139796495401596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18911232 140726919328821 140726919329024 140726919329024 140726919331786 0
/proc/14445/statm: 28282 364 306 221 0 87 0
[pid=14447] ppid=14445 vsize=26108408 memory=46112 CPUtime=0.52 cores=0-7
/proc/14447/stat : 14447 (java) S 14445 14445 11663 0 -1 1077944320 9260 0 0 0 48 4 0 0 20 0 20 0 88840367 26735009792 11528 33554432000 4194304 4196468 140720648853216 140720648835760 140345729003255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
/proc/14447/statm: 6527102 11528 3243 1 0 6488315 0
[pid=14447/tid=14448] ppid=14445 vsize=26108408 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/14447/task/14448/stat : 14448 (java) R 14445 14445 11663 0 -1 4202560 6182 0 0 0 26 2 0 0 20 0 20 0 88840368 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345733232928 140345713083742 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14449] ppid=14445 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14449/stat : 14449 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840369 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345651583248 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14450] ppid=14445 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14450/stat : 14450 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840369 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345650530704 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14451] ppid=14445 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14451/stat : 14451 (java) S 14445 14445 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88840369 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345649478160 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14452] ppid=14445 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14452/stat : 14452 (java) S 14445 14445 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840369 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345648425616 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14453] ppid=14445 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/14447/task/14453/stat : 14453 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840369 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345647373072 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14454] ppid=14445 vsize=26108408 memory=140303898080175 CPUtime=0 cores=0-7
/proc/14447/task/14454/stat : 14454 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840369 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345646320528 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14455] ppid=14445 vsize=26108408 memory=140303898082480 CPUtime=0 cores=0-7
/proc/14447/task/14455/stat : 14455 (java) S 14445 14445 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840369 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345645267984 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14456] ppid=14445 vsize=26108408 memory=140303898084784 CPUtime=0 cores=0-7
/proc/14447/task/14456/stat : 14456 (java) S 14445 14445 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840369 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345644215440 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14457] ppid=14445 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14457/stat : 14457 (java) S 14445 14445 11663 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 88840370 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345124874224 140345729014402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14458] ppid=14445 vsize=26108408 memory=280607796176528 CPUtime=0 cores=0-7
/proc/14447/task/14458/stat : 14458 (java) S 14445 14445 11663 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88840371 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345123820448 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14459] ppid=14445 vsize=26108408 memory=280607796183440 CPUtime=0 cores=0-7
/proc/14447/task/14459/stat : 14459 (java) S 14445 14445 11663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88840371 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345122767856 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14460] ppid=14445 vsize=26108408 memory=280607796124720 CPUtime=0 cores=0-7
/proc/14447/task/14460/stat : 14460 (java) S 14445 14445 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840373 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345121716432 140345729021851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14461] ppid=14445 vsize=26108408 memory=280607796197264 CPUtime=0.02 cores=0-7
/proc/14447/task/14461/stat : 14461 (java) S 14445 14445 11663 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 20 0 88840373 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345120664048 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14462] ppid=14445 vsize=26108408 memory=280607796204176 CPUtime=0.02 cores=0-7
/proc/14447/task/14462/stat : 14462 (java) S 14445 14445 11663 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 20 0 88840373 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345119611504 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14463] ppid=14445 vsize=26108408 memory=280607796201872 CPUtime=0.04 cores=0-7
/proc/14447/task/14463/stat : 14463 (java) R 14445 14445 11663 0 -1 4202560 291 0 0 0 4 0 0 0 20 0 20 0 88840373 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345118549344 140345729017137 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14464] ppid=14445 vsize=26108408 memory=280607796218032 CPUtime=0.12 cores=0-7
/proc/14447/task/14464/stat : 14464 (java) S 14445 14445 11663 0 -1 1077944384 833 0 0 0 12 0 0 0 20 0 20 0 88840373 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345117506416 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14465] ppid=14445 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14447/task/14465/stat : 14465 (java) S 14445 14445 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88840374 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345116453088 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14466] ppid=14445 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/14447/task/14466/stat : 14466 (java) S 14445 14445 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840374 26735009792 11544 33554432000 4194304 4196468 140720648853216 140345115400624 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47568 KiB

[startup+0.701025 s]
/proc/loadavg: 7.63 8.18 8.22 3/200 14466
/proc/meminfo: memFree=27944976/32770624 swapFree=67108532/67108860
[pid=14445] ppid=14442 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14445/stat : 14445 (xcsp3-exec) S 14442 14445 11663 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88840367 115843072 364 33554432000 4194304 5098028 140726919326384 140726919324488 139796495401596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18911232 140726919328821 140726919329024 140726919329024 140726919331786 0
/proc/14445/statm: 28282 364 306 221 0 87 0
[pid=14447] ppid=14445 vsize=26108408 memory=300116 CPUtime=1.71 cores=0-7
/proc/14447/stat : 14447 (java) S 14445 14445 11663 0 -1 1077944320 14219 0 0 0 147 24 0 0 20 0 20 0 88840367 26735009792 75029 33554432000 4194304 4196468 140720648853216 140720648835760 140345729003255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
/proc/14447/statm: 6527102 75029 3321 1 0 6488315 0
[pid=14447/tid=14448] ppid=14445 vsize=26108408 memory=280607796575920 CPUtime=0.63 cores=0-7
/proc/14447/task/14448/stat : 14448 (java) R 14445 14445 11663 0 -1 4202560 6478 0 0 0 56 7 0 0 20 0 20 0 88840368 26735009792 75029 33554432000 4194304 4196468 140720648853216 140345733242384 140345729025181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14449] ppid=14445 vsize=26108408 memory=140303898289008 CPUtime=0 cores=0-7
/proc/14447/task/14449/stat : 14449 (java) S 14445 14445 11663 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 88840369 26735009792 75029 33554432000 4194304 4196468 140720648853216 140345651583248 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14450] ppid=14445 vsize=26108408 memory=0 CPUtime=0.01 cores=0-7
/proc/14447/task/14450/stat : 14450 (java) S 14445 14445 11663 0 -1 1077944384 30 0 0 0 0 1 0 0 20 0 20 0 88840369 26735009792 75029 33554432000 4194304 4196468 140720648853216 140345650530704 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14451] ppid=14445 vsize=26108408 memory=1012 CPUtime=0.03 cores=0-7
/proc/14447/task/14451/stat : 14451 (java) S 14445 14445 11663 0 -1 1077944384 49 0 0 0 1 2 0 0 20 0 20 0 88840369 26735009792 75029 33554432000 4194304 4196468 140720648853216 140345649478160 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0

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

[pid=14447/tid=16019] ppid=14445 vsize=26645092 memory=15696552 CPUtime=0.4 cores=0-7
/proc/14447/task/16019/stat : 16019 (java) S 14445 14445 11663 0 -1 1077944384 226 0 0 0 40 0 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345033606096 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
Current children cumulated CPU time: 2783.31 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 15698008 KiB

[startup+2502.3 s]
/proc/loadavg: 0.98 1.01 1.54 2/208 16019
/proc/meminfo: memFree=12351336/32770624 swapFree=67108532/67108860
[pid=14445] ppid=14442 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14445/stat : 14445 (xcsp3-exec) S 14442 14445 11663 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88840367 115843072 364 33554432000 4194304 5098028 140726919326384 140726919324488 139796495401596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18911232 140726919328821 140726919329024 140726919329024 140726919331786 0
/proc/14445/statm: 28282 364 306 221 0 87 0
[pid=14447] ppid=14445 vsize=26645092 memory=15696552 CPUtime=2843.33 cores=0-7
/proc/14447/stat : 14447 (java) S 14445 14445 11663 0 -1 1077944320 563915 0 0 0 281008 3325 0 0 20 0 28 0 88840367 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140720648835760 140345729003255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
/proc/14447/statm: 6661273 3924138 3463 1 0 6622467 0
[pid=14447/tid=14448] ppid=14445 vsize=26645092 memory=15696552 CPUtime=109.8 cores=0-7
/proc/14447/task/14448/stat : 14448 (java) S 14445 14445 11663 0 -1 1077944384 37462 0 0 0 10875 105 0 0 20 0 28 0 88840368 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345733244064 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14449] ppid=14445 vsize=26645092 memory=15696552 CPUtime=34.59 cores=0-7
/proc/14447/task/14449/stat : 14449 (java) S 14445 14445 11663 0 -1 1077944384 17256 0 0 0 3107 352 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345651583248 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14450] ppid=14445 vsize=26645092 memory=15696552 CPUtime=34.57 cores=0-7
/proc/14447/task/14450/stat : 14450 (java) S 14445 14445 11663 0 -1 1077944384 22109 0 0 0 3061 396 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345650530704 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14451] ppid=14445 vsize=26645092 memory=792 CPUtime=34.48 cores=0-7
/proc/14447/task/14451/stat : 14451 (java) S 14445 14445 11663 0 -1 1077944384 15126 0 0 0 3059 389 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345649478160 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14452] ppid=14445 vsize=26645092 memory=1832 CPUtime=34.34 cores=0-7
/proc/14447/task/14452/stat : 14452 (java) S 14445 14445 11663 0 -1 1077944384 24403 0 0 0 3053 381 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345648425616 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14453] ppid=14445 vsize=26645092 memory=1456 CPUtime=34.5 cores=0-7
/proc/14447/task/14453/stat : 14453 (java) S 14445 14445 11663 0 -1 1077944384 24028 0 0 0 3098 352 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345647373072 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14454] ppid=14445 vsize=26645092 memory=15696316 CPUtime=34.6 cores=0-7
/proc/14447/task/14454/stat : 14454 (java) S 14445 14445 11663 0 -1 1077944384 21498 0 0 0 3104 356 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345646320528 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14455] ppid=14445 vsize=26645092 memory=1456 CPUtime=34.51 cores=0-7
/proc/14447/task/14455/stat : 14455 (java) S 14445 14445 11663 0 -1 1077944384 22095 0 0 0 3059 392 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345645267984 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14456] ppid=14445 vsize=26645092 memory=15696164 CPUtime=34.57 cores=0-7
/proc/14447/task/14456/stat : 14456 (java) S 14445 14445 11663 0 -1 1077944384 19297 0 0 0 3075 382 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345644215440 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14457] ppid=14445 vsize=26645092 memory=15696164 CPUtime=1.33 cores=0-7
/proc/14447/task/14457/stat : 14457 (java) S 14445 14445 11663 0 -1 1077944384 42800 0 0 0 123 10 0 0 20 0 28 0 88840370 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345124874224 140345729014402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14458] ppid=14445 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/14447/task/14458/stat : 14458 (java) S 14445 14445 11663 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 88840371 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345123820512 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14459] ppid=14445 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/14447/task/14459/stat : 14459 (java) S 14445 14445 11663 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 28 0 88840371 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345122767872 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14460] ppid=14445 vsize=26645092 memory=15696164 CPUtime=0 cores=0-7
/proc/14447/task/14460/stat : 14460 (java) S 14445 14445 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88840373 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345121716432 140345729021851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14461] ppid=14445 vsize=26645092 memory=15696164 CPUtime=4.9 cores=0-7
/proc/14447/task/14461/stat : 14461 (java) S 14445 14445 11663 0 -1 1077944384 28410 0 0 0 486 4 0 0 20 0 28 0 88840373 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345120664048 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14462] ppid=14445 vsize=26645092 memory=15696164 CPUtime=5.25 cores=0-7
/proc/14447/task/14462/stat : 14462 (java) S 14445 14445 11663 0 -1 1077944384 30228 0 0 0 520 5 0 0 20 0 28 0 88840373 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345119611504 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14463] ppid=14445 vsize=26645092 memory=1456 CPUtime=5.47 cores=0-7
/proc/14447/task/14463/stat : 14463 (java) S 14445 14445 11663 0 -1 1077944384 27553 0 0 0 542 5 0 0 20 0 28 0 88840373 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345118558960 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14464] ppid=14445 vsize=26645092 memory=15696552 CPUtime=1.35 cores=0-7
/proc/14447/task/14464/stat : 14464 (java) S 14445 14445 11663 0 -1 1077944384 17067 0 0 0 130 5 0 0 20 0 28 0 88840373 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345117506416 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14465] ppid=14445 vsize=26645092 memory=15696552 CPUtime=0 cores=0-7
/proc/14447/task/14465/stat : 14465 (java) S 14445 14445 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88840374 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345116453088 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14466] ppid=14445 vsize=26645092 memory=15696552 CPUtime=0.87 cores=0-7
/proc/14447/task/14466/stat : 14466 (java) S 14445 14445 11663 0 -1 1077944384 7583 0 0 0 36 51 0 0 20 0 28 0 88840374 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345115400624 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16012] ppid=14445 vsize=26645092 memory=15696552 CPUtime=0.06 cores=0-7
/proc/14447/task/16012/stat : 16012 (java) S 14445 14445 11663 0 -1 1077944384 347 0 0 0 6 0 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345035710096 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16013] ppid=14445 vsize=26645092 memory=15696552 CPUtime=0 cores=0-7
/proc/14447/task/16013/stat : 16013 (java) S 14445 14445 11663 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345030448336 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16014] ppid=14445 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/14447/task/16014/stat : 16014 (java) S 14445 14445 11663 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345029395792 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16015] ppid=14445 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/14447/task/16015/stat : 16015 (java) S 14445 14445 11663 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345031501264 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16016] ppid=14445 vsize=26645092 memory=3868 CPUtime=0 cores=0-7
/proc/14447/task/16016/stat : 16016 (java) S 14445 14445 11663 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345034659408 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16017] ppid=14445 vsize=26645092 memory=25888 CPUtime=0 cores=0-7
/proc/14447/task/16017/stat : 16017 (java) S 14445 14445 11663 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345104525008 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16018] ppid=14445 vsize=26645092 memory=1456 CPUtime=67.61 cores=0-7
/proc/14447/task/16018/stat : 16018 (java) R 14445 14445 11663 0 -1 4202560 6354 0 0 0 6760 1 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345032547584 140345328092601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16019] ppid=14445 vsize=26645092 memory=15696552 CPUtime=0.4 cores=0-7
/proc/14447/task/16019/stat : 16019 (java) S 14445 14445 11663 0 -1 1077944384 226 0 0 0 40 0 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345033606096 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
Current children cumulated CPU time: 2843.33 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 15698008 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 0.98 1.01 1.53 2/208 16019
/proc/meminfo: memFree=12351584/32770624 swapFree=67108532/67108860
[pid=14445] ppid=14442 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14445/stat : 14445 (xcsp3-exec) S 14442 14445 11663 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88840367 115843072 364 33554432000 4194304 5098028 140726919326384 140726919324488 139796495401596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18911232 140726919328821 140726919329024 140726919329024 140726919331786 0
/proc/14445/statm: 28282 364 306 221 0 87 0
[pid=14447] ppid=14445 vsize=26645092 memory=15696552 CPUtime=2861.05 cores=0-7
/proc/14447/stat : 14447 (java) S 14445 14445 11663 0 -1 1077944320 564928 0 0 0 282779 3326 0 0 20 0 28 0 88840367 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140720648835760 140345729003255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
/proc/14447/statm: 6661273 3924138 3463 1 0 6622467 0
[pid=14447/tid=14448] ppid=14445 vsize=26645092 memory=1398720917958146503 CPUtime=109.8 cores=0-7
/proc/14447/task/14448/stat : 14448 (java) S 14445 14445 11663 0 -1 1077944384 37462 0 0 0 10875 105 0 0 20 0 28 0 88840368 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345733244064 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14449] ppid=14445 vsize=26645092 memory=4872558044660077418 CPUtime=34.59 cores=0-7
/proc/14447/task/14449/stat : 14449 (java) S 14445 14445 11663 0 -1 1077944384 17256 0 0 0 3107 352 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345651583248 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14450] ppid=14445 vsize=26645092 memory=1280 CPUtime=34.57 cores=0-7
/proc/14447/task/14450/stat : 14450 (java) S 14445 14445 11663 0 -1 1077944384 22109 0 0 0 3061 396 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345650530704 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14451] ppid=14445 vsize=26645092 memory=2340 CPUtime=34.48 cores=0-7
/proc/14447/task/14451/stat : 14451 (java) S 14445 14445 11663 0 -1 1077944384 15126 0 0 0 3059 389 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345649478160 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14452] ppid=14445 vsize=26645092 memory=1832 CPUtime=34.34 cores=0-7
/proc/14447/task/14452/stat : 14452 (java) S 14445 14445 11663 0 -1 1077944384 24403 0 0 0 3053 381 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345648425616 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14453] ppid=14445 vsize=26645092 memory=792 CPUtime=34.5 cores=0-7
/proc/14447/task/14453/stat : 14453 (java) S 14445 14445 11663 0 -1 1077944384 24028 0 0 0 3098 352 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345647373072 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14454] ppid=14445 vsize=26645092 memory=1960 CPUtime=34.6 cores=0-7
/proc/14447/task/14454/stat : 14454 (java) S 14445 14445 11663 0 -1 1077944384 21498 0 0 0 3104 356 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345646320528 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14455] ppid=14445 vsize=26645092 memory=1200 CPUtime=34.51 cores=0-7
/proc/14447/task/14455/stat : 14455 (java) S 14445 14445 11663 0 -1 1077944384 22095 0 0 0 3059 392 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345645267984 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14456] ppid=14445 vsize=26645092 memory=15436 CPUtime=34.57 cores=0-7
/proc/14447/task/14456/stat : 14456 (java) S 14445 14445 11663 0 -1 1077944384 19297 0 0 0 3075 382 0 0 20 0 28 0 88840369 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345644215440 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14457] ppid=14445 vsize=26645092 memory=15636 CPUtime=1.33 cores=0-7
/proc/14447/task/14457/stat : 14457 (java) S 14445 14445 11663 0 -1 1077944384 42809 0 0 0 123 10 0 0 20 0 28 0 88840370 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345124874224 140345729014402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14458] ppid=14445 vsize=26645092 memory=16236 CPUtime=0 cores=0-7
/proc/14447/task/14458/stat : 14458 (java) S 14445 14445 11663 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 88840371 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345123820512 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14459] ppid=14445 vsize=26645092 memory=4048 CPUtime=0 cores=0-7
/proc/14447/task/14459/stat : 14459 (java) S 14445 14445 11663 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 28 0 88840371 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345122767872 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14460] ppid=14445 vsize=26645092 memory=640 CPUtime=0 cores=0-7
/proc/14447/task/14460/stat : 14460 (java) S 14445 14445 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88840373 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345121716432 140345729021851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14461] ppid=14445 vsize=26645092 memory=1788 CPUtime=4.9 cores=0-7
/proc/14447/task/14461/stat : 14461 (java) S 14445 14445 11663 0 -1 1077944384 28413 0 0 0 486 4 0 0 20 0 28 0 88840373 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345120664048 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14462] ppid=14445 vsize=26645092 memory=1456 CPUtime=5.25 cores=0-7
/proc/14447/task/14462/stat : 14462 (java) S 14445 14445 11663 0 -1 1077944384 30231 0 0 0 520 5 0 0 20 0 28 0 88840373 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345119611504 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14463] ppid=14445 vsize=26645092 memory=6791534058613427641 CPUtime=5.47 cores=0-7
/proc/14447/task/14463/stat : 14463 (java) S 14445 14445 11663 0 -1 1077944384 27556 0 0 0 542 5 0 0 20 0 28 0 88840373 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345118558960 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14464] ppid=14445 vsize=26645092 memory=2244 CPUtime=1.35 cores=0-7
/proc/14447/task/14464/stat : 14464 (java) S 14445 14445 11663 0 -1 1077944384 17076 0 0 0 130 5 0 0 20 0 28 0 88840373 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345117506416 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14465] ppid=14445 vsize=26645092 memory=4136 CPUtime=0 cores=0-7
/proc/14447/task/14465/stat : 14465 (java) S 14445 14445 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88840374 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345116453088 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=14466] ppid=14445 vsize=26645092 memory=2096 CPUtime=0.88 cores=0-7
/proc/14447/task/14466/stat : 14466 (java) S 14445 14445 11663 0 -1 1077944384 7621 0 0 0 36 52 0 0 20 0 28 0 88840374 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345115400624 140345729014402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16012] ppid=14445 vsize=26645092 memory=7532 CPUtime=0.06 cores=0-7
/proc/14447/task/16012/stat : 16012 (java) S 14445 14445 11663 0 -1 1077944384 347 0 0 0 6 0 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345035710096 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16013] ppid=14445 vsize=26645092 memory=840 CPUtime=0 cores=0-7
/proc/14447/task/16013/stat : 16013 (java) S 14445 14445 11663 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345030448336 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16014] ppid=14445 vsize=26645092 memory=1692 CPUtime=0 cores=0-7
/proc/14447/task/16014/stat : 16014 (java) S 14445 14445 11663 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345029395792 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16015] ppid=14445 vsize=26645092 memory=916 CPUtime=0 cores=0-7
/proc/14447/task/16015/stat : 16015 (java) S 14445 14445 11663 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345031501264 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16016] ppid=14445 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/14447/task/16016/stat : 16016 (java) S 14445 14445 11663 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345034659408 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16017] ppid=14445 vsize=26645092 memory=15696552 CPUtime=0 cores=0-7
/proc/14447/task/16017/stat : 16017 (java) S 14445 14445 11663 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345104525008 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16018] ppid=14445 vsize=26645092 memory=1280 CPUtime=85.33 cores=0-7
/proc/14447/task/16018/stat : 16018 (java) R 14445 14445 11663 0 -1 4202560 7302 0 0 0 8531 2 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345032547584 140345328092601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
[pid=14447/tid=16019] ppid=14445 vsize=26645092 memory=2340 CPUtime=0.4 cores=0-7
/proc/14447/task/16019/stat : 16019 (java) S 14445 14445 11663 0 -1 1077944384 226 0 0 0 40 0 0 0 20 0 28 0 89083836 27284574208 3924138 33554432000 4194304 4196468 140720648853216 140345033606096 140345729013461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30334976 140720648860801 140720648860973 140720648860973 140720648863695 0
Current children cumulated CPU time: 2861.05 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 15698008 KiB

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

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

[startup+2520.09 s]
# the end of solver process 14447 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2827.81 s, system=33.333 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.09
CPU time (s): 2861.15
CPU user time (s): 2827.81
CPU system time (s): 33.333
CPU usage (%): 113.534
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 15825272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2827.81
system time used= 33.333
maximum resident set size= 15824232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566475
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82446
involuntary context switches= 7603


# summary of solver processes directly reported to runsolver:
#   pid: 14445,14447
#   total CPU time (s): 2861.15
#   total CPU user time (s): 2827.81
#   total CPU system time (s): 33.333

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.973 second user time and 29.6589 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-27 19:32:52
IDJOB=4297927
IDBENCH=141261
IDSOLVER=2760
FILE ID=node104/4297927-1532712771
RUNJOBID= node104-1532705124-11690
PBS_JOBID= 21022309
Free space on /tmp= 48244 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-04-0300_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-4297927-1532712771/watcher-4297927-1532712771 -o /tmp/evaluation-result-4297927-1532712771/solver-4297927-1532712771 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532705124-11690 --watchdog 2580  HOME/xcsp3-exec -seed 1214492826 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297927-1532712771.xml

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

MD5SUM BENCH= d2f9cd7b3c3026f57264f10c0685d9a6
RANDOM SEED=1214492826

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28067600 kB
MemAvailable:   31952300 kB
Buffers:          121032 kB
Cached:          4016840 kB
SwapCached:           12 kB
Active:          2021776 kB
Inactive:        2168948 kB
Active(anon):       7444 kB
Inactive(anon):    73044 kB
Active(file):    2014332 kB
Inactive(file):  2095904 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108860 kB
SwapFree:       67108532 kB
Dirty:             82448 kB
Writeback:         36084 kB
AnonPages:         75860 kB
Mapped:            39964 kB
Shmem:             25060 kB
Slab:             208248 kB
SReclaimable:     180600 kB
SUnreclaim:        27648 kB
KernelStack:        3536 kB
PageTables:         5560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324304 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:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48220 MiB
End job on node104 at 2018-07-27 20:14:52