Trace number 4297929

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)471322461 3879.92 2520.14

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-03-0300_c18.xml
MD5SUMf3b5e910cdd6f892615a29b96bfa015e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark471322461
Best CPU time to get the best result obtained on this benchmark3879.92
Satisfiable
(Un)Satisfiability was proved
Number of variables6750
Number of constraints4376
Number of domains77
Minimum domain size2
Maximum domain size125
Distribution of domain sizes[{"size":2,"count":2350},{"size":11,"count":2050},{"size":12,"count":1},{"size":21,"count":20},{"size":23,"count":62},{"size":24,"count":4},{"size":25,"count":49},{"size":26,"count":11},{"size":27,"count":33},{"size":28,"count":8},{"size":29,"count":15},{"size":30,"count":3},{"size":31,"count":15},{"size":32,"count":17},{"size":33,"count":16},{"size":34,"count":5},{"size":35,"count":3},{"size":41,"count":2},{"size":43,"count":13},{"size":45,"count":4},{"size":47,"count":7},{"size":53,"count":13},{"size":54,"count":6},{"size":55,"count":19},{"size":57,"count":5},"...",{"size":71,"count":29}, {"size":72,"count":7}, {"size":73,"count":9}, {"size":74,"count":18}, {"size":75,"count":1}, {"size":76,"count":6}, {"size":77,"count":1}, {"size":78,"count":10}, {"size":79,"count":27}, {"size":81,"count":44}, {"size":84,"count":2}, {"size":90,"count":3}, {"size":91,"count":13}, {"size":99,"count":2}, {"size":101,"count":36}, {"size":102,"count":77}, {"size":105,"count":10}, {"size":113,"count":152}, {"size":114,"count":176}, {"size":115,"count":87}, {"size":117,"count":87}, {"size":119,"count":37}, {"size":121,"count":82}, {"size":124,"count":46}, {"size":125,"count":1037}]
Minimum variable degree2
Maximum variable degree2051
Distribution of variable degrees[{"degree":2,"count":6148},{"degree":3,"count":1},{"degree":4,"count":1},{"degree":5,"count":5},{"degree":6,"count":11},{"degree":7,"count":12},{"degree":8,"count":20},{"degree":9,"count":18},{"degree":10,"count":21},{"degree":11,"count":30},{"degree":12,"count":39},{"degree":13,"count":45},{"degree":14,"count":47},{"degree":15,"count":54},{"degree":16,"count":61},{"degree":17,"count":83},{"degree":18,"count":104},{"degree":19,"count":49},{"degree":2051,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":277},{"arity":3,"count":2049},{"arity":6,"count":2050}]
Number of extensional constraints2050
Number of intensional constraints2326
Distribution of constraint types[{"type":"extension","count":2050},{"type":"intension","count":2326}]
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-4297929-1532712815.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297929-1532712815.xml, -tl, 20160s, -p, 8]
0.11/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
484.57/162.47	c solve instance...
508.77/165.60	o 478869514 
508.77/165.67	o 478849011 
510.33/166.06	o 478848986 
510.95/166.55	o 478828483 
517.65/167.63	o 478807998 
517.65/167.64	o 478807973 
517.65/167.65	o 478787470 
518.34/168.18	o 478766987 
519.41/168.71	o 478766962 
519.41/168.73	o 478746459 
520.23/169.19	o 478746453 
520.78/169.66	o 478725950 
520.78/169.67	o 478705467 
521.47/170.16	o 478705442 
522.31/170.71	o 478684939 
522.31/170.74	o 478664437 
523.22/171.21	o 478664436 
523.22/171.23	o 478643934 
523.22/171.25	o 478643931 
524.47/172.23	o 478643928 
524.47/172.26	o 478643925 
527.54/173.11	o 478623448 
528.20/173.70	o 478602946 
528.20/173.72	o 478602945 
528.65/174.18	o 478582443 
529.27/174.79	o 478582440 
530.10/175.32	o 478582437 
530.77/175.90	o 478582434 
531.30/176.43	o 478561945 
531.30/176.44	o 478561942 
531.95/177.05	o 478561939 
532.58/177.64	o 478561936 
533.26/178.29	o 478561933 
533.89/178.84	o 478541444 
534.52/179.44	o 478541441 
534.52/179.45	o 478541438 
535.17/180.04	o 478541435 
536.22/181.05	o 478541431 
536.22/181.07	o 478541428 
536.87/181.69	o 478541425 
536.99/181.70	o 478541422 
537.64/182.33	o 478520930 
538.27/182.93	o 478520927 
538.27/182.96	o 478520924 
538.27/182.97	o 478520921 
538.27/182.99	o 478500432 
538.27/183.00	o 478500429 
539.11/183.60	o 478500426 
539.11/183.62	o 478500423 
539.76/184.23	o 478500394 
540.28/184.78	o 478500393 
542.87/185.66	o 478479891 
543.41/186.19	o 478479888 
543.50/186.20	o 478479885 
544.04/186.77	o 478479882 
544.57/187.29	o 478459393 
545.21/187.87	o 478459390 
545.93/188.52	o 478459387 
545.93/188.53	o 478459384 
546.58/189.15	o 478438892 
547.20/189.77	o 478438886 
547.84/190.40	o 478438883 
548.47/190.99	o 478438879 
549.09/191.55	o 478438876 
549.72/192.13	o 478438873 
549.72/192.14	o 478438870 
549.72/192.15	o 478418381 
550.48/192.80	o 478418378 
551.00/193.36	o 478418375 
551.63/193.98	o 478418372 
551.84/194.01	o 478397880 
552.66/194.84	o 478397874 
553.30/195.47	o 478397871 
554.08/196.11	o 478397869 
554.61/196.66	o 478397859 
555.23/197.21	o 478397856 
555.86/197.80	o 478397853 
556.80/198.71	o 478397850 
557.31/199.24	o 478377358 
557.94/199.81	o 478377352 
558.65/200.41	o 478377349 
559.19/200.98	o 478377347 
560.45/202.04	o 478356860 
560.45/202.10	o 478356857 
560.59/202.11	o 478356854 
560.59/202.13	o 478356851 
561.24/202.75	o 478356849 
561.91/203.32	o 478356848 
562.44/203.88	o 478336356 
563.07/204.45	o 478336350 
563.20/204.53	o 478336347 
563.84/205.16	o 478315858 
563.84/205.19	o 478315855 
564.46/205.76	o 478315852 
567.00/206.58	o 478315849 
567.67/207.14	o 478315847 
568.16/207.51	o 478315846 
568.73/208.07	o 478315844 
569.35/208.61	o 478315841 
569.35/208.63	o 478295349 
570.04/209.22	o 478295343 
570.56/209.73	o 478295340 
571.11/210.28	o 478295338 
571.30/210.30	o 478295337 
577.21/214.88	o 478274848 
578.32/215.46	o 478274845 
1319.88/956.14	o 478274842 
1320.65/956.83	o 478274839 
1321.46/957.39	o 478274837 
1322.12/957.94	o 478274827 
1322.26/958.10	o 478274821 
1322.88/958.67	o 478274819 
1323.51/959.23	o 478274818 
1323.51/959.24	o 478274816 
1324.30/959.81	o 478274815 
1324.30/959.85	o 478254339 
1324.97/960.41	o 478254336 
1324.97/960.42	o 478254333 
1325.53/960.97	o 478254330 
1326.16/961.50	o 478254328 
1326.70/962.05	o 478254318 
1326.70/962.07	o 478254312 
1327.40/962.62	o 478254310 
1327.94/963.19	o 478254309 
1328.57/963.78	o 478254307 
1329.23/964.32	o 478254306 
1330.39/965.40	o 478233841 
1330.93/965.91	o 478233838 
1330.93/965.93	o 478233835 
1330.93/965.97	o 478233832 
1331.68/966.55	o 478233830 
1332.67/967.11	o 478233829 
1333.30/967.68	o 478213341 
1333.93/968.30	o 478213335 
1336.25/968.96	o 478213332 
1336.90/969.50	o 478213330 
1337.44/970.04	o 478213329 
1338.09/970.58	o 478213328 
1338.73/971.14	o 478213325 
1339.35/971.74	o 478213323 
1339.90/972.25	o 478213322 
1340.87/973.17	o 478213320 
1341.61/973.81	o 478213317 
1342.16/974.37	o 478213314 
1343.11/974.89	o 478213312 
1344.27/975.49	o 478213311 
1345.32/976.07	o 478192825 
1345.93/976.61	o 478192822 
1346.56/977.23	o 478192819 
1347.10/977.77	o 478192816 
1347.72/978.30	o 478192814 
1348.65/978.83	o 478192813 
1349.26/979.40	o 478172325 
1349.36/979.42	o 478172319 
1349.93/979.98	o 478172316 
1350.57/980.55	o 478172314 
1351.52/981.42	o 478172313 
1352.13/981.98	o 478172312 
1352.77/982.54	o 478172310 
1353.33/983.08	o 478172309 
1353.96/983.64	o 478151821 
1354.61/984.27	o 478151815 
1355.24/984.87	o 478151813 
1356.00/985.55	o 478151812 
1356.55/986.09	o 478151810 
1357.17/986.62	o 478151809 
1357.82/987.17	o 478151789 
1366.74/994.40	o 478131314 
1367.28/994.99	o 478131311 
1367.28/995.01	o 478131308 
2106.12/1731.48	o 478131305 
2107.63/1732.07	o 478131303 
2108.40/1732.71	o 478131302 
2109.12/1733.37	o 478131299 
2109.74/1733.94	o 478131297 
2110.29/1734.49	o 478131296 
2110.96/1735.06	o 478110810 
2111.48/1735.57	o 478110807 
2111.48/1735.59	o 478110804 
2111.48/1735.60	o 478110801 
2112.15/1736.18	o 478110799 
2112.67/1736.70	o 478110798 
2113.33/1737.25	o 477803067 
2120.92/1743.14	o 471322461 
3879.78/2520.02	s SATISFIABLE
3879.78/2520.02	v <instantiation>
3879.78/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] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] 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] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] 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] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] </list>
3879.78/2520.02	v 	<values>2616 2560 2412 2444 2296 2544 2368 2524 2364 2316 2584 2424 2416 2640 2596 2392 2608 2528 2584 2392 2388 2440 2608 2160 2556 2528 2584 2572 2420 2240 2320 2544 2440 2284 2580 2620 2536 2276 2232 2528 2444 2596 2456 2540 2460 2532 2600 2436 2404 2376 2552 2348 2408 2532 2204 2636 2604 2652 2620 2428 2512 2576 2604 2312 2564 2528 2548 2600 2164 2400 2500 2604 2488 2592 2292 2464 2600 2560 2212 2576 2568 2252 2288 2328 2352 2648 2328 2360 2616 2520 2424 2636 2576 2608 2540 2580 2620 2476 2572 2608 2456 2520 2452 2596 2492 2284 2564 2164 2580 2420 2612 2648 2300 2616 2488 2464 2608 2464 2616 2548 2244 2400 2656 2420 2360 2216 2652 2412 2380 2600 2164 2520 2600 2224 2584 2468 2572 2320 2388 2640 2252 2212 2568 2204 2568 2392 2400 2380 2568 2556 2656 2544 2588 2544 2556 2572 2568 2428 2576 2580 2620 2592 2580 2552 2416 2444 2184 2604 2344 2560 2224 2316 2324 2252 2576 2624 2244 2560 2564 2556 2468 2460 2540 2480 2624 2580 2232 2412 2192 2180 2608 2616 2528 2324 2552 2340 2600 2204 2596 2416 2212 2564 2304 2360 2252 2428 2592 2404 2272 2540 2192 2460 2500 2568 2640 2540 2628 2356 2384 2648 2612 2224 2568 2468 2648 2580 2584 2296 2584 2220 2256 2348 2612 2344 2444 2556 2616 2524 2404 2272 2608 2448 2544 2340 2428 2580 2180 2424 2160 2596 2372 2640 2540 2588 2264 2596 2368 2540 2596 2264 2204 2536 2220 2508 2328 2336 2580 2364 2300 2212 2560 2488 2588 2340 2372 2360 2644 2252 2432 2280 2608 2580 2656 2448 2200 2452 2484 2484 2504 2484 2432 2388 2200 2364 2312 2612 2336 2388 2472 2324 0 1 0 1 1 1 0 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 1 1 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 11 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 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 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 1 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 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 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 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 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 1 0 0 1 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 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 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 1 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 4 10 1 0 0 10 0 10 0 0 10 10 7 9 0 0 2 0 0 10 0 0 10 0 0 0 0 0 0 7 9 0 10 0 6 10 10 0 0 10 0 10 4 0 0 0 0 10 0 0 1 0 10 9 10 0 0 10 0 0 0 0 2 0 10 10 0 0 0 10 0 10 10 0 0 10 10 10 10 0 0 0 10 0 0 0 10 1 10 10 10 0 0 0 10 5 10 0 10 0 10 0 6 10 7 0 10 0 0 0 0 6 10 10 10 1 0 0 0 0 7 0 0 0 10 0 10 10 0 10 1 1 10 10 0 10 10 0 10 10 10 0 1 0 10 5 0 0 0 8 0 10 1 0 0 10 0 10 0 0 3 1 0 10 4 0 0 0 0 0 0 0 0 0 0 1 0 10 0 10 1 0 0 0 1 1 5 0 10 10 10 0 10 0 1 0 10 0 1 0 9 0 10 0 10 0 0 0 10 0 0 0 0 0 0 6 0 0 4 0 0 1 0 7 0 1 10 0 0 0 1 10 0 0 10 1 0 2 0 10 2 0 0 1 0 10 0 0 10 5 10 0 0 5 10 0 2 0 6 10 0 10 10 0 10 10 1 0 10 0 0 0 0 0 10 0 0 0 10 0 0 1 0 10 0 1 0 10 9 0 0 10 0 0 10 1 1 10 5 10 0 0 8 1 0 10 10 0 8 0 0 8 0 0 10 0 8 10 0 0 0 0 8 2 0 0 0 0 0 10 10 10 1 0 0 5 0 0 10 0 0 0 10 0 0 1 0 0 10 0 0 0 0 1 1 0 1 0 1 9 0 10 0 10 10 0 8 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 7 0 0 0 0 10 0 0 2 0 0 10 1 10 1 9 0 0 0 0 0 8 10 0 0 0 1 1 0 5 10 0 5 0 0 7 0 0 0 10 0 0 0 0 9 0 10 0 0 0 2 9 0 9 0 0 1 10 0 0 10 0 9 6 1 0 9 0 0 0 10 9 0 0 0 0 0 10 0 10 10 0 0 10 10 9 0 10 1 10 0 0 1 0 0 0 10 10 0 10 0 0 10 5 0 0 0 1 4 0 0 0 10 0 10 0 4 0 10 0 10 1 7 10 0 8 0 10 10 0 7 1 10 0 0 0 0 0 7 0 0 10 10 0 9 10 1 0 0 1 0 10 8 10 10 0 0 0 0 9 0 10 0 0 10 5 0 8 2 0 0 1 10 10 0 10 0 10 8 1 5 0 10 0 0 10 0 10 7 10 0 10 10 10 0 10 0 10 0 10 0 0 6 0 10 10 10 10 0 1 0 9 0 10 0 0 0 10 1 7 0 10 0 4 9 8 0 0 0 0 0 0 1 0 6 5 10 0 0 10 0 0 0 0 0 0 10 10 1 0 5 0 0 0 0 10 10 8 0 0 0 1 1 0 0 0 0 1 10 10 0 10 10 1 1 10 9 1 7 0 0 0 10 0 0 0 1 10 0 0 0 6 0 0 0 7 7 10 0 0 2 0 10 0 0 8 2 1 0 10 0 10 0 0 0 1 0 0 0 10 0 0 0 0 0 10 9 0 0 6 10 7 0 0 0 10 10 0 0 0 0 6 0 0 0 1 0 8 10 0 0 10 0 0 10 1 0 0 0 1 0 0 10 8 0 0 1 0 1 10 0 0 7 10 0 9 0 0 1 0 0 0 0 0 1 10 0 0 0 10 0 2 0 0 10 0 0 0 0 0 10 0 0 0 2 0 10 1 0 10 0 2 10 0 1 10 0 0 0 0 0 0 10 0 0 0 10 10 0 10 0 6 1 10 0 0 10 0 0 10 10 0 10 10 8 0 10 10 6 1 10 8 1 0 0 10 8 7 0 1 0 4 1 0 1 0 0 0 10 0 9 0 0 0 10 0 0 0 0 0 0 10 0 0 1 0 9 0 1 0 2 10 0 10 6 10 0 0 10 1 1 0 0 1 9 1 10 10 0 6 1 0 10 9 10 0 8 0 10 0 0 10 10 0 10 10 0 1 0 0 0 0 0 10 10 0 0 10 10 10 1 9 10 10 6 10 1 0 10 0 0 7 0 0 0 0 10 0 0 0 0 0 10 0 8 0 0 1 0 10 7 0 0 0 0 0 10 0 0 8 0 0 10 0 1 10 7 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 2 6 0 1 0 9 7 0 0 1 0 10 1 0 1 10 0 0 0 0 10 0 0 0 0 4 0 10 0 10 0 0 0 0 1 0 0 10 0 0 0 0 10 0 5 10 10 10 0 0 0 0 10 10 8 10 4 0 10 10 1 10 5 10 10 0 0 0 0 0 10 1 0 10 8 0 0 10 10 0 0 0 4 10 10 0 0 0 10 0 1 0 0 10 10 0 0 0 0 1 10 0 0 0 0 0 10 10 10 8 0 0 9 0 0 0 10 0 10 0 0 9 10 0 0 0 0 0 1 0 10 0 0 0 10 10 0 10 0 9 1 0 0 1 0 10 0 0 0 0 10 0 0 1 0 4 0 0 8 0 1 0 10 0 7 10 0 0 8 0 0 0 10 0 0 0 0 10 9 10 0 10 0 8 5 0 1 0 7 3 0 0 0 8 0 0 5 0 10 0 0 6 0 0 0 0 0 0 0 10 0 0 3 0 0 10 10 10 8 0 1 1 0 0 1 0 10 0 0 10 10 10 10 10 0 0 0 1 0 0 0 10 0 1 0 4 0 6 10 0 0 10 0 1 0 0 0 9 10 0 9 3 10 0 0 0 0 3 0 0 10 0 10 1 10 7 10 0 10 10 9 10 1 0 5 0 0 0 9 3 0 0 2 10 0 0 0 10 2 10 10 0 0 0 0 10 10 0 0 10 1 0 10 0 9 5 0 0 8 0 0 0 8 0 7 10 10 0 3 10 0 10 0 0 0 0 0 0 7 0 8 0 0 10 0 10 10 1 0 0 9 0 0 10 10 9 10 10 10 10 6 10 9 7 9 10 0 4 0 0 0 0 8 0 0 0 0 0 10 10 1 10 3 10 10 1 0 5 0 0 10 0 0 2 10 10 5 0 10 10 0 0 0 1 10 0 0 10 9 0 10 0 0 0 7 0 0 10 0 0 0 0 7 0 1 1 0 1 0 10 10 0 0 0 0 10 1 0 0 0 10 0 0 0 10 1 6 1 10 1 10 1 10 0 5 0 0 0 1 0 0 0 0 8 0 0 0 10 0 0 1 0 3 1 0 0 0 0 1 10 0 0 5 0 10 0 10 0 0 10 3 0 0 10 10 5 10 10 10 0 0 9 0 9 1 10 10 10 0 0 10 10 10 0 0 1 7 0 10 0 0 1 10 0 10 0 3 1 9 5 0 0 0 10 1 0 0 0 10 10 0 0 0 10 10 0 0 0 0 10 10 10 1 10 0 0 0 0 2 0 0 9 1 10 10 10 0 0 0 0 0 7 0 0 10 0 0 6 10 0 0 0 10 8 0 10 9 10 0 0 0 10 0 0 0 1 0 10 0 0 10 6 0 10 10 0 1 10 0 0 0 0 0 0 1 0 0 0 5 0 0 9 6 1 1 4 0 0 0 0 10 10 10 0 1 0 0 2 0 0 0 0 10 5 0 0 0 8 0 0 10 0 0 9 10 0 0 10 10 10 0 0 1 0 0 0 1 0 10 0 3 0 0 10 10 9 10 0 0 10 3 0 3 10 10 9 6 0 0 0 3 0 0 1 0 0 0 1 9 1 4 7 0 1 0 0 1 10 0 4 0 0 0 0 0 0 0 10 9 10 0 0 10 6 10 9 10 10 1 0 0 0 1 0 0 0 0 0 0 0 0 1 10 0 1 0 1 3 0 1 0 10 1 10 10 0 0 0 0 0 10 10 0 0 0 1 0 0 0 3 0 8 10 0 0 9 0 0 10 1 0 0 0 3 8 0 0 8 0 1 0 10 10 10 10 0 0 10 0 0 0 0 0 0 10 10 0 7 0 9 10 10 10 10 0 0 5 10 10 10 0 1 10 10 0 10 0 0 6 10 10 10 0 0 0 6 0 7 0 0 0 10 0 10 0 0 0 10 10 10 10 8 0 6 0 10 7 10 10 0 0 10 1 0 10 0 10 0 0 0 10 10 0 0 0 0 1 10 0 0 0 0 10 0 0 10 10 0 0 0 10 0 0 10 1 9 10 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 10 0 10 10 0 9 10 0 10 0 0 0 10 0 1 0 1 0 0 10 10 0 10 10 0 0 2 1 0 10 0 0 0 0 0 0 10 0 10 0 3 10 9 10 5 1 3 0 0 0 10 10 0 0 0 0 10 10 10 0 0 0 0 0 10 0 10 0 0 6 1 0 9 0 0 0 0 0 0 10 0 10 10 0 0 10 0 0 0 0 1 0 0 0 10 0 10 1 0 10 10 0 0 10 0 0 10 0 10 8 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 10 10 320 32 44 20 364 0 32 216 276 320 172 352 108 316 244 32 24 76 148 40 8 60 20 368 288 296 76 248 132 52 160 84 128 204 208 148 160 0 232 108 16 16 212 16 108 36 240 208 52 112 136 108 0 180 24 36 60 188 168 180 28 96 248 340 304 324 320 248 244 64 8 72 272 32 240 212 192 68 176 304 332 24 260 156 76 36 300 220 40 324 172 92 208 128 8 152 268 172 244 100 124 136 44 216 96 228 116 244 312 100 164 128 44 80 184 68 24 80 172 16 272 148 64 36 152 216 8 160 244 108 104 124 216 284 84 204 44 100 252 28 280 44 92 60 168 28 44 120 332 12 32 68 380 8 392 156 4 380 372 60 384 272 264 196 180 136 192 188 232 44 36 212 196 180 128 204 84 64 28 112 112 124 152 192 164 184 184 168 164 140 72 192 108 180 56 96 88 108 428 280 176 240 456 8 268 44 104 132 80 32 4 276 24 180 8 116 404 136 96 28 376 152 0 244 212 128 24 36 56 204 128 116 28 216 332 204 188 144 32 192 376 220 68 76 64 40 176 48 136 28 228 140 44 120 64 184 64 360 0 156 268 16 312 64 64 4 4 244 72 12 152 168 128 32 72 28 260 268 56 84 116 196 156 20 188 120 4 92 212 132 24 116 156 80 152 148 8 16 0 188 248 36 52 284 196 68 0 220 72 492 4 360 452 388 460 92 84 164 300 340 456 292 24 64 244 92 44 164 0 16 208 212 24 0 16 48 120 80 20 128 116 8 344 204 188 328 36 24 184 204 4 332 124 44 20 4 8 408 8 228 20 212 100 176 232 92 4 256 172 80 208 196 160 160 64 32 96 204 292 356 308 416 228 28 4 172 288 84 28 212 300 248 20 108 48 104 56 276 16 268 260 52 168 60 92 320 16 184 100 112 112 60 112 208 72 108 276 12 152 96 120 100 208 72 112 240 116 284 352 292 316 272 372 184 296 148 372 84 148 52 172 24 416 0 356 12 8 220 216 332 16 52 80 8 24 24 32 40 236 116 156 20 44 88 264 104 316 92 80 112 108 88 324 372 292 280 296 292 152 168 52 72 280 332 96 320 172 280 348 20 332 20 24 212 252 16 20 48 52 68 64 72 12 84 68 112 60 40 164 204 36 204 132 164 116 28 124 112 180 152 120 20 184 24 60 372 36 136 128 12 40 0 16 108 284 112 192 96 20 116 64 112 136 232 8 80 124 28 144 76 212 256 112 336 288 36 24 128 348 360 336 112 112 328 260 84 216 180 116 20 104 76 204 12 72 24 24 8 4 32 76 108 56 164 268 112 80 200 388 8 140 24 164 212 116 132 8 164 12 216 208 144 4 16 168 180 136 164 36 28 192 16 172 16 192 176 32 248 152 8 104 216 172 204 68 24 56 172 164 20 92 140 228 92 32 32 88 164 228 116 236 220 68 120 8 92 188 308 40 48 208 244 160 36 92 160 44 236 76 84 20 16 36 32 20 116 320 276 84 368 364 240 392 212 156 152 140 404 280 268 72 392 116 176 96 280 364 40 56 152 316 4 204 12 36 332 40 216 440 352 428 400 100 92 192 428 304 36 228 492 324 120 164 24 52 304 60 280 160 324 76 84 320 172 116 48 32 24 112 44 220 208 56 40 64 80 68 80 168 28 288 28 188 36 108 36 72 4 324 212 32 52 48 176 44 20 172 52 172 268 188 48 244 228 108 228 144 40 292 120 36 52 140 204 28 84 160 68 192 12 220 84 4 132 364 76 52 276 32 204 184 236 212 24 20 208 348 8 12 56 116 384 304 48 264 456 80 160 132 56 196 288 448 192 20 88 12 168 20 156 4 60 228 16 52 128 48 60 136 188 20 108 48 80 80 268 108 288 92 96 60 300 188 176 392 244 48 420 4 412 64 24 8 268 216 168 108 68 136 12 128 32 8 24 24 12 268 132 16 68 220 268 228 304 100 136 284 288 124 248 316 20 136 156 180 188 260 124 96 112 96 272 76 252 184 76 176 8 48 348 32 24 4 176 44 8 76 56 44 264 340 36 408 264 308 200 408 28 20 396 12 328 176 260 324 20 12 12 56 108 68 164 24 28 304 84 396 76 224 32 364 400 336 324 60 72 48 176 12 52 204 192 240 52 16 56 128 8 76 52 272 8 116 212 72 44 188 140 60 28 248 32 100 76 240 216 232 72 292 228 32 236 232 44 188 120 288 488 164 260 252 288 124 260 248 84 148 264 116 100 252 316 64 116 176 136 12 180 60 200 216 24 24 4 32 360 344 244 308 268 276 104 76 20 300 96 68 92 124 172 128 156 12 20 156 116 24 180 40 20 412 312 12 168 476 20 204 300 4 100 16 344 32 324 16 192 208 212 392 356 128 28 12 164 20 120 116 64 20 84 348 28 4 48 276 288 68 204 8 72 260 168 388 400 308 152 280 368 300 192 24 132 156 456 48 232 240 376 296 316 216 28 356 124 44 100 132 204 84 288 44 80 368 16 8 12 4 380 36 368 144 360 232 292 20 312 32 120 20 408 124 112 12 52 132 204 8 256 92 60 96 136 80 104 96 120 52 76 4 88 96 12 288 152 116 108 220 40 48 8 24 128 84 56 432 44 168 44 280 236 4 240 284 168 132 116 132 276 124 320 36 4 4 116 24 300 56 312 404 412 152 336 184 320 200 8 316 212 240 64 180 220 40 16 164 80 12 224 20 296 368 112 392 164 32 52 240 32 160 436 80 464 32 344 244 8 92 488 140 216 100 244 184 12 24 32 72 168 72 396 76 284 124 288 220 64 84 20 140 4 120 144 16 152 248 48 44 68 56 16 20 352 260 408 220 136 128 280 4 120 128 412 28 200 56 40 148 204 436 412 188 36 416 160 92 72 304 316 224 48 252 176 116 408 356 300 224 404 24 204 20 40 84 148 80 224 216 168 104 32 120 268 36 100 32 332 316 444 404 116 156 404 204 152 156 204 40 208 16 164 280 216 100 44 180 228 52 36 176 356 364 376 196 400 88 424 368 392 64 460 472 84 224 372 452 188 160 108 52 236 12 76 168 192 64 128 228 188 232 200 276 72 124 16 16 280 172 284 16 60 16 20 44 20 212 224 216 404 408 428 404 60 100 320 160 52 24 76 268 376 280 172 260 388 408 28 204 332 136 224 356 16 40 332 180 136 4 320 76 256 100 24 144 236 112 144 8 388 4 200 16 120 184 68 336 252 108 68 140 104 144 152 240 260 224 92 168 200 64 72 20 276 156 208 168 324 160 172 108 356 404 356 344 408 112 192 40 240 344 252 4 88 56 164 28 8 84 372 356 372 12 348 68 364 20 224 8 76 24 344 244 28 88 244 0 60 44 224 20 12 208 68 248 168 96 20 84 68 104 52 4 188 200 84 176 244 160 80 40 28 68 100 12 20 204 0 16 112 48 88 84 12 4 76 432 188 432 88 188 60 224 76 224 344 100 64 112 344 28 12 176 160 52 20 8 408 376 104 12 48 360 228 104 68 96 44 52 176 4 68 216 16 12 28 260 292 352 168 44 12 24 84 84 28 356 4 128 152 56 392 232 324 48 364 40 88 144 240 24 36 396 376 296 120 4 368 252 348 176 56 152 400 60 280 20 148 196 56 36 188 104 192 192 212 164 204 76 216 180 40 40 80 168 432 360 412 352 376 308 8 276 264 216 304 120 20 308 132 288 8 16 132 348 280 400 116 368 360 388 264 244 224 312 116 156 360 20 40 232 372 148 32 148 4 364 296 64 32 164 84 36 12 80 24 100 40 128 92 212 80 8 96 76 92 200 92 4 8 284 12 52 24 376 100 100 72 144 172 76 96 248 268 88 360 16 180 260 96 224 216 80 32 24 156 44 328 16 264 164 176 376 220 92 384 276 140 20 220 232 208 128 168 12 448 236 108 88 8 248 224 0 400 252 100 20 40 64 0 220 244 296 4 4 20 28 364 304 104 292 72 128 288 248 12 252 164 224 308 92 264 236 224 152 136 8 408 404 136 12 52 172 8 112 92 112 224 32 108 228 88 216 28 60 128 428 328 28 196 264 276 84 220 40 60 92 64 152 248 396 92 180 196 112 156 116 0 216 228 232 392 180 236 80 40 296 296 24 272 92 64 180 92 100 16 76 200 0 40 392 448 404 204 12 80 124 68 128 12 20 348 84 100 196 420 108 56 4 200 56 12 364 144 232 8 232 92 32 116 128 212 152 84 64 428 68 8 68 60 356 4 32 348 108 180 276 112 100 28 204 120 308 112 36 68 36 108 112 348 448 280 132 288 12 320 48 96 304 300 176 320 152 72 136 396 120 32 8 108 192 216 100 272 264 252 28 92 264 140 32 76 40 80 56 28 88 108 456 24 412 244 164 4 84 12 196 36 104 28 100 160 32 236 148 60 112 116 28 24 216 148 44 268 108 192 408 84 24 356 156 160 72 220 184 156 180 496 332 260 188 60 60 36 312 276 20 48 204 60 168 184 284 136 20 176 88 12 260 244 224 100 404 208 308 28 32 280 28 68 12 48 172 248 168 56 152 16 32 304 120 240 124 64 200 360 72 224 72 96 80 220 272 256 224 268 24 160 20 160 12 </values>
3879.78/2520.02	v </instantiation>
3879.78/2520.02	c Unexpected resolution interruption!

Verifier Data 

OK	471322461

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297929-1532712815/watcher-4297929-1532712815 -o /tmp/evaluation-result-4297929-1532712815/solver-4297929-1532712815 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532712815-17846 --watchdog 2580 HOME/xcsp3-exec -seed 1129927715 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297929-1532712815.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
Current StackSize limit: 8192 KiB

solver pid=17864, runsolver pid=17861

[startup+0.10016 s]*
/proc/loadavg: 8.05 8.24 8.29 2/205 17885
/proc/meminfo: memFree=27366820/32770624 swapFree=67108856/67108860
[pid=17864] ppid=17861 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17864/stat : 17864 (xcsp3-exec) S 17861 17864 17819 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88844693 115843072 364 33554432000 4194304 5098028 140722179430864 140722179428968 140137684566652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8826880 140722179433525 140722179433728 140722179433728 140722179436490 0
/proc/17864/statm: 28282 364 306 221 0 87 0
[pid=17866] ppid=17864 vsize=26104152 memory=28872 CPUtime=0.11 cores=0-7
/proc/17866/stat : 17866 (java) S 17864 17864 17819 0 -1 1077944320 5658 0 0 0 10 1 0 0 20 0 20 0 88844694 26730651648 7218 33554432000 4194304 4196468 140727775074624 140727775057168 140271360962295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
/proc/17866/statm: 6526038 7218 2999 1 0 6488315 0
[pid=17866/tid=17867] ppid=17864 vsize=26104152 memory=8258364149829902237 CPUtime=0.08 cores=0-7
/proc/17866/task/17867/stat : 17867 (java) R 17864 17864 17819 0 -1 4202560 3665 0 0 0 8 0 0 0 20 0 20 0 88844694 26730651648 7218 33554432000 4194304 4196468 140727775074624 140271365188832 140271360974230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17868] ppid=17864 vsize=26104152 memory=732370761774906341 CPUtime=0 cores=0-7
/proc/17866/task/17868/stat : 17868 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270919244688 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17869] ppid=17864 vsize=26104152 memory=140623437452928 CPUtime=0 cores=0-7
/proc/17866/task/17869/stat : 17869 (java) S 17864 17864 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270918191888 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17870] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17870/stat : 17870 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270917139600 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17871] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17871/stat : 17871 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270916086800 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17872] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17872/stat : 17872 (java) S 17864 17864 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270915033488 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17873] ppid=17864 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17866/task/17873/stat : 17873 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270913980688 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17874] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17874/stat : 17874 (java) S 17864 17864 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270912928400 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17875] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17875/stat : 17875 (java) S 17864 17864 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270911875600 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17876] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17876/stat : 17876 (java) S 17864 17864 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844696 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270488238704 140271360973442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17877] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17877/stat : 17877 (java) S 17864 17864 17819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88844697 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270487184672 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17878] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17878/stat : 17878 (java) S 17864 17864 17819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88844697 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270486132336 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17879] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17879/stat : 17879 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844699 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270485080656 140271360980891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17880] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17880/stat : 17880 (java) R 17864 17864 17819 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 88844699 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270484027504 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17881] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17881/stat : 17881 (java) S 17864 17864 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88844699 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270482974704 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17882] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17882/stat : 17882 (java) S 17864 17864 17819 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 88844699 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270481922416 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17883] ppid=17864 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17866/task/17883/stat : 17883 (java) R 17864 17864 17819 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 88844699 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270480869616 140271339628752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17884] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17884/stat : 17884 (java) S 17864 17864 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88844700 26730651648 7218 33554432000 4194304 4196468 140727775074624 140270479817568 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17885] ppid=17864 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17866/task/17885/stat : 17885 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844700 26730651648 7218 33554432000 4194304 4196468 140727775074624 140269488433968 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 30328 KiB

[startup+0.210783 s]*
/proc/loadavg: 8.05 8.24 8.29 3/205 17885
/proc/meminfo: memFree=27354788/32770624 swapFree=67108856/67108860
[pid=17864] ppid=17861 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17864/stat : 17864 (xcsp3-exec) S 17861 17864 17819 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88844693 115843072 364 33554432000 4194304 5098028 140722179430864 140722179428968 140137684566652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8826880 140722179433525 140722179433728 140722179433728 140722179436490 0
/proc/17864/statm: 28282 364 306 221 0 87 0
[pid=17866] ppid=17864 vsize=26104152 memory=41744 CPUtime=0.33 cores=0-7
/proc/17866/stat : 17866 (java) S 17864 17864 17819 0 -1 1077944320 8459 0 0 0 31 2 0 0 20 0 20 0 88844694 26730651648 10436 33554432000 4194304 4196468 140727775074624 140727775057168 140271360962295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
/proc/17866/statm: 6526038 10436 3214 1 0 6488315 0
[pid=17866/tid=17867] ppid=17864 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/17866/task/17867/stat : 17867 (java) R 17864 17864 17819 0 -1 4202560 5562 0 0 0 18 1 0 0 20 0 20 0 88844694 26730651648 10436 33554432000 4194304 4196468 140727775074624 140271365196992 140271360984221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17868] ppid=17864 vsize=26104152 memory=281246773630712 CPUtime=0 cores=0-7
/proc/17866/task/17868/stat : 17868 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270919244688 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17869] ppid=17864 vsize=26104152 memory=140623437452928 CPUtime=0 cores=0-7
/proc/17866/task/17869/stat : 17869 (java) S 17864 17864 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270918191888 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17870] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17870/stat : 17870 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270917139600 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17871] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17871/stat : 17871 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270916086800 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17872] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17872/stat : 17872 (java) S 17864 17864 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270915033488 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17873] ppid=17864 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17866/task/17873/stat : 17873 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270913980688 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17874] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17874/stat : 17874 (java) S 17864 17864 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270912928400 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17875] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17875/stat : 17875 (java) S 17864 17864 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88844695 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270911875600 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17876] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17876/stat : 17876 (java) S 17864 17864 17819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88844696 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270488238704 140271360973442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17877] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17877/stat : 17877 (java) S 17864 17864 17819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88844697 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270487184672 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17878] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17878/stat : 17878 (java) S 17864 17864 17819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88844697 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270486132336 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17879] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17879/stat : 17879 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844699 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270485080656 140271360980891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17880] ppid=17864 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/17866/task/17880/stat : 17880 (java) S 17864 17864 17819 0 -1 1077944384 600 0 0 0 2 0 0 0 20 0 20 0 88844699 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270484027504 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17881] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17881/stat : 17881 (java) S 17864 17864 17819 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 88844699 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270482974704 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17882] ppid=17864 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17866/task/17882/stat : 17882 (java) S 17864 17864 17819 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 20 0 88844699 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270481922416 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17883] ppid=17864 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/17866/task/17883/stat : 17883 (java) S 17864 17864 17819 0 -1 1077944384 805 0 0 0 7 0 0 0 20 0 20 0 88844699 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270480869616 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17884] ppid=17864 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17884/stat : 17884 (java) S 17864 17864 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88844700 26730651648 10436 33554432000 4194304 4196468 140727775074624 140270479817568 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17885] ppid=17864 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17866/task/17885/stat : 17885 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844700 26730651648 10436 33554432000 4194304 4196468 140727775074624 140269488433968 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 43200 KiB

[startup+0.312511 s]*
/proc/loadavg: 8.05 8.24 8.29 3/205 17885
/proc/meminfo: memFree=27348336/32770624 swapFree=67108856/67108860
[pid=17864] ppid=17861 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17864/stat : 17864 (xcsp3-exec) S 17861 17864 17819 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88844693 115843072 364 33554432000 4194304 5098028 140722179430864 140722179428968 140137684566652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8826880 140722179433525 140722179433728 140722179433728 140722179436490 0
/proc/17864/statm: 28282 364 306 221 0 87 0
[pid=17866] ppid=17864 vsize=26108408 memory=48664 CPUtime=0.52 cores=0-7
/proc/17866/stat : 17866 (java) S 17864 17864 17819 0 -1 1077944320 9400 0 0 0 48 4 0 0 20 0 20 0 88844694 26735009792 12166 33554432000 4194304 4196468 140727775074624 140727775057168 140271360962295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
/proc/17866/statm: 6527102 12166 3253 1 0 6488315 0
[pid=17866/tid=17867] ppid=17864 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17866/task/17867/stat : 17867 (java) R 17864 17864 17819 0 -1 4202560 6293 0 0 0 27 2 0 0 20 0 20 0 88844694 26735009792 12166 33554432000 4194304 4196468 140727775074624 140271365199456 140271345042782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17868] ppid=17864 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17868/stat : 17868 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844695 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270919244688 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17869] ppid=17864 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17869/stat : 17869 (java) S 17864 17864 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844695 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270918191888 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17870] ppid=17864 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17870/stat : 17870 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844695 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270917139600 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17871] ppid=17864 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17871/stat : 17871 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844695 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270916086800 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17872] ppid=17864 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/17866/task/17872/stat : 17872 (java) S 17864 17864 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844695 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270915033488 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17873] ppid=17864 vsize=26108408 memory=140623336272815 CPUtime=0 cores=0-7
/proc/17866/task/17873/stat : 17873 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844695 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270913980688 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17874] ppid=17864 vsize=26108408 memory=140623336275120 CPUtime=0 cores=0-7
/proc/17866/task/17874/stat : 17874 (java) S 17864 17864 17819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88844695 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270912928400 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17875] ppid=17864 vsize=26108408 memory=140623336277424 CPUtime=0 cores=0-7
/proc/17866/task/17875/stat : 17875 (java) S 17864 17864 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88844695 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270911875600 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17876] ppid=17864 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17876/stat : 17876 (java) S 17864 17864 17819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88844696 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270488238704 140271360973442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17877] ppid=17864 vsize=26108408 memory=281246672561808 CPUtime=0 cores=0-7
/proc/17866/task/17877/stat : 17877 (java) S 17864 17864 17819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88844697 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270487184672 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17878] ppid=17864 vsize=26108408 memory=281246672568720 CPUtime=0 cores=0-7
/proc/17866/task/17878/stat : 17878 (java) S 17864 17864 17819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88844697 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270486132336 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17879] ppid=17864 vsize=26108408 memory=281246672510000 CPUtime=0 cores=0-7
/proc/17866/task/17879/stat : 17879 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844699 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270485080656 140271360980891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17880] ppid=17864 vsize=26108408 memory=281246672582544 CPUtime=0.03 cores=0-7
/proc/17866/task/17880/stat : 17880 (java) S 17864 17864 17819 0 -1 1077944384 614 0 0 0 3 0 0 0 20 0 20 0 88844699 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270484027504 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17881] ppid=17864 vsize=26108408 memory=281246672589456 CPUtime=0.02 cores=0-7
/proc/17866/task/17881/stat : 17881 (java) S 17864 17864 17819 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 20 0 88844699 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270482974704 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17882] ppid=17864 vsize=26108408 memory=281246672587152 CPUtime=0.03 cores=0-7
/proc/17866/task/17882/stat : 17882 (java) S 17864 17864 17819 0 -1 1077944384 254 0 0 0 3 0 0 0 20 0 20 0 88844699 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270481922416 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17883] ppid=17864 vsize=26108408 memory=281246672603312 CPUtime=0.12 cores=0-7
/proc/17866/task/17883/stat : 17883 (java) S 17864 17864 17819 0 -1 1077944384 890 0 0 0 12 0 0 0 20 0 20 0 88844699 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270480869616 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17884] ppid=17864 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17866/task/17884/stat : 17884 (java) S 17864 17864 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88844700 26735009792 12166 33554432000 4194304 4196468 140727775074624 140270479817568 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17885] ppid=17864 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/17866/task/17885/stat : 17885 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88844700 26735009792 12166 33554432000 4194304 4196468 140727775074624 140269488433968 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 50120 KiB

[startup+0.701046 s]
/proc/loadavg: 8.05 8.24 8.29 3/205 17885
/proc/meminfo: memFree=27236156/32770624 swapFree=67108856/67108860
[pid=17864] ppid=17861 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17864/stat : 17864 (xcsp3-exec) S 17861 17864 17819 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88844693 115843072 364 33554432000 4194304 5098028 140722179430864 140722179428968 140137684566652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8826880 140722179433525 140722179433728 140722179433728 140722179436490 0
/proc/17864/statm: 28282 364 306 221 0 87 0
[pid=17866] ppid=17864 vsize=26108408 memory=301068 CPUtime=1.92 cores=0-7
/proc/17866/stat : 17866 (java) S 17864 17864 17819 0 -1 1077944320 14046 0 0 0 149 43 0 0 20 0 20 0 88844694 26735009792 75267 33554432000 4194304 4196468 140727775074624 140727775057168 140271360962295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
/proc/17866/statm: 6527102 75267 3324 1 0 6488315 0
[pid=17866/tid=17867] ppid=17864 vsize=26108408 memory=281246672898176 CPUtime=0.61 cores=0-7
/proc/17866/task/17867/stat : 17867 (java) R 17864 17864 17819 0 -1 4202560 6469 0 0 0 54 7 0 0 20 0 20 0 88844694 26735009792 75267 33554432000 4194304 4196468 140727775074624 140271365198224 140271360984221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17868] ppid=17864 vsize=26108408 memory=5089536246935 CPUtime=0.04 cores=0-7
/proc/17866/task/17868/stat : 17868 (java) S 17864 17864 17819 0 -1 1077944384 50 0 0 0 1 3 0 0 20 0 20 0 88844695 26735009792 75267 33554432000 4194304 4196468 140727775074624 140270919244688 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17869] ppid=17864 vsize=26108408 memory=0 CPUtime=0.06 cores=0-7
/proc/17866/task/17869/stat : 17869 (java) S 17864 17864 17819 0 -1 1077944384 60 0 0 0 2 4 0 0 20 0 20 0 88844695 26735009792 75267 33554432000 4194304 4196468 140727775074624 140270918191888 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17870] ppid=17864 vsize=26108408 memory=0 CPUtime=0.05 cores=0-7
/proc/17866/task/17870/stat : 17870 (java) S 17864 17864 17819 0 -1 1077944384 56 0 0 0 1 4 0 0 20 0 20 0 88844695 26735009792 75267 33554432000 4194304 4196468 140727775074624 140270917139600 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0

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

/proc/meminfo: memFree=11245196/32770624 swapFree=67108856/67108860
[pid=17864] ppid=17861 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17864/stat : 17864 (xcsp3-exec) S 17861 17864 17819 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88844693 115843072 364 33554432000 4194304 5098028 140722179430864 140722179428968 140137684566652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8826880 140722179433525 140722179433728 140722179433728 140722179436490 0
/proc/17864/statm: 28282 364 306 221 0 87 0
[pid=17866] ppid=17864 vsize=26645092 memory=16119756 CPUtime=3862.07 cores=0-7
/proc/17866/stat : 17866 (java) S 17864 17864 17819 0 -1 1077944320 2310677 0 0 0 382453 3754 0 0 20 0 28 0 88844694 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140727775057168 140271360962295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
/proc/17866/statm: 6661273 4029939 3472 1 0 6622467 0
[pid=17866/tid=17867] ppid=17864 vsize=26645092 memory=16119756 CPUtime=115.52 cores=0-7
/proc/17866/task/17867/stat : 17867 (java) S 17864 17864 17819 0 -1 1077944384 46256 0 0 0 11436 116 0 0 20 0 28 0 88844694 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140271365203104 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17868] ppid=17864 vsize=26645092 memory=16119756 CPUtime=46.94 cores=0-7
/proc/17866/task/17868/stat : 17868 (java) S 17864 17864 17819 0 -1 1077944384 72501 0 0 0 4299 395 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270919244688 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17869] ppid=17864 vsize=26645092 memory=16119756 CPUtime=47.19 cores=0-7
/proc/17866/task/17869/stat : 17869 (java) S 17864 17864 17819 0 -1 1077944384 115303 0 0 0 4322 397 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270918191888 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17870] ppid=17864 vsize=26645092 memory=16119756 CPUtime=46.74 cores=0-7
/proc/17866/task/17870/stat : 17870 (java) S 17864 17864 17819 0 -1 1077944384 76259 0 0 0 4263 411 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270917139600 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 52 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17871] ppid=17864 vsize=26645092 memory=16118704 CPUtime=46.66 cores=0-7
/proc/17866/task/17871/stat : 17871 (java) S 17864 17864 17819 0 -1 1077944384 73424 0 0 0 4320 346 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270916086800 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17872] ppid=17864 vsize=26645092 memory=16118704 CPUtime=46.76 cores=0-7
/proc/17866/task/17872/stat : 17872 (java) S 17864 17864 17819 0 -1 1077944384 61076 0 0 0 4272 404 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270915033488 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17873] ppid=17864 vsize=26645092 memory=16118704 CPUtime=46.6 cores=0-7
/proc/17866/task/17873/stat : 17873 (java) S 17864 17864 17819 0 -1 1077944384 64255 0 0 0 4293 367 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270913980688 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 51 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17874] ppid=17864 vsize=26645092 memory=16119756 CPUtime=46.65 cores=0-7
/proc/17866/task/17874/stat : 17874 (java) S 17864 17864 17819 0 -1 1077944384 57811 0 0 0 4302 363 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270912928400 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 57 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17875] ppid=17864 vsize=26645092 memory=16119756 CPUtime=46.91 cores=0-7
/proc/17866/task/17875/stat : 17875 (java) S 17864 17864 17819 0 -1 1077944384 103972 0 0 0 4293 398 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270911875600 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 52 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17876] ppid=17864 vsize=26645092 memory=16119756 CPUtime=1.7 cores=0-7
/proc/17866/task/17876/stat : 17876 (java) S 17864 17864 17819 0 -1 1077944384 45199 0 0 0 151 19 0 0 20 0 28 0 88844696 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270488238704 140271360973442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17877] ppid=17864 vsize=26645092 memory=16119756 CPUtime=0 cores=0-7
/proc/17866/task/17877/stat : 17877 (java) S 17864 17864 17819 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 88844697 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270487184736 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17878] ppid=17864 vsize=26645092 memory=16119756 CPUtime=0 cores=0-7
/proc/17866/task/17878/stat : 17878 (java) S 17864 17864 17819 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 28 0 88844697 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270486132352 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17879] ppid=17864 vsize=26645092 memory=16119756 CPUtime=0 cores=0-7
/proc/17866/task/17879/stat : 17879 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88844699 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270485080656 140271360980891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17880] ppid=17864 vsize=26645092 memory=16119756 CPUtime=6.59 cores=0-7
/proc/17866/task/17880/stat : 17880 (java) S 17864 17864 17819 0 -1 1077944384 39973 0 0 0 654 5 0 0 20 0 28 0 88844699 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270484027504 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17881] ppid=17864 vsize=26645092 memory=16119756 CPUtime=6.27 cores=0-7
/proc/17866/task/17881/stat : 17881 (java) S 17864 17864 17819 0 -1 1077944384 38458 0 0 0 621 6 0 0 20 0 28 0 88844699 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270482974704 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17882] ppid=17864 vsize=26645092 memory=16119756 CPUtime=6.31 cores=0-7
/proc/17866/task/17882/stat : 17882 (java) S 17864 17864 17819 0 -1 1077944384 41603 0 0 0 624 7 0 0 20 0 28 0 88844699 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270481922416 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17883] ppid=17864 vsize=26645092 memory=16119756 CPUtime=1.45 cores=0-7
/proc/17866/task/17883/stat : 17883 (java) S 17864 17864 17819 0 -1 1077944384 23638 0 0 0 140 5 0 0 20 0 28 0 88844699 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270480869616 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17884] ppid=17864 vsize=26645092 memory=16119756 CPUtime=0 cores=0-7
/proc/17866/task/17884/stat : 17884 (java) S 17864 17864 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88844700 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270479817568 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17885] ppid=17864 vsize=26645092 memory=33 CPUtime=1.32 cores=0-7
/proc/17866/task/17885/stat : 17885 (java) S 17864 17864 17819 0 -1 1077944384 8028 0 0 0 57 75 0 0 20 0 28 0 88844700 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269488433968 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19411] ppid=17864 vsize=26645092 memory=1456 CPUtime=40.35 cores=0-7
/proc/17866/task/19411/stat : 19411 (java) S 17864 17864 17819 0 -1 1077944384 3608 0 0 0 4034 1 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269476692240 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19412] ppid=17864 vsize=26645092 memory=1456 CPUtime=40.5 cores=0-7
/proc/17866/task/19412/stat : 19412 (java) S 17864 17864 17819 0 -1 1077944384 3342 0 0 0 4049 1 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269475640912 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19413] ppid=17864 vsize=26645092 memory=1456 CPUtime=758.75 cores=0-7
/proc/17866/task/19413/stat : 19413 (java) R 17864 17864 17819 0 -1 4202560 1056265 0 0 0 75749 126 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269473529336 140270970034728 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19414] ppid=17864 vsize=26645092 memory=16119756 CPUtime=40.21 cores=0-7
/proc/17866/task/19414/stat : 19414 (java) S 17864 17864 17819 0 -1 1077944384 148653 0 0 0 3949 72 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269472482128 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19415] ppid=17864 vsize=26645092 memory=25980 CPUtime=39.96 cores=0-7
/proc/17866/task/19415/stat : 19415 (java) S 17864 17864 17819 0 -1 1077944384 2249 0 0 0 3975 21 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269163730128 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19416] ppid=17864 vsize=26645092 memory=16119756 CPUtime=40.3 cores=0-7
/proc/17866/task/19416/stat : 19416 (java) S 17864 17864 17819 0 -1 1077944384 8220 0 0 0 4017 13 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269477745744 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19417] ppid=17864 vsize=26645092 memory=1456 CPUtime=739.09 cores=0-7
/proc/17866/task/19417/stat : 19417 (java) S 17864 17864 17819 0 -1 1077944384 26695 0 0 0 73900 9 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269162677712 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19418] ppid=17864 vsize=26645092 memory=1456 CPUtime=40.37 cores=0-7
/proc/17866/task/19418/stat : 19418 (java) S 17864 17864 17819 0 -1 1077944384 3766 0 0 0 4025 12 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269474587984 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
Current children cumulated CPU time: 3862.07 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 16121212 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.58 1.90 2.18 2/211 19427
/proc/meminfo: memFree=11245196/32770624 swapFree=67108856/67108860
[pid=17864] ppid=17861 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/17864/stat : 17864 (xcsp3-exec) S 17861 17864 17819 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88844693 115843072 364 33554432000 4194304 5098028 140722179430864 140722179428968 140137684566652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8826880 140722179433525 140722179433728 140722179433728 140722179436490 0
/proc/17864/statm: 28282 364 306 221 0 87 0
[pid=17866] ppid=17864 vsize=26645092 memory=16119756 CPUtime=3879.78 cores=0-7
/proc/17866/stat : 17866 (java) S 17864 17864 17819 0 -1 1077944320 2311739 0 0 0 384223 3755 0 0 20 0 28 0 88844694 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140727775057168 140271360962295 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
/proc/17866/statm: 6661273 4029939 3472 1 0 6622467 0
[pid=17866/tid=17867] ppid=17864 vsize=26645092 memory=1780 CPUtime=115.52 cores=0-7
/proc/17866/task/17867/stat : 17867 (java) S 17864 17864 17819 0 -1 1077944384 46256 0 0 0 11436 116 0 0 20 0 28 0 88844694 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140271365203104 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17868] ppid=17864 vsize=26645092 memory=644 CPUtime=46.94 cores=0-7
/proc/17866/task/17868/stat : 17868 (java) S 17864 17864 17819 0 -1 1077944384 72501 0 0 0 4299 395 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270919244688 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17869] ppid=17864 vsize=26645092 memory=4872558044660077418 CPUtime=47.19 cores=0-7
/proc/17866/task/17869/stat : 17869 (java) S 17864 17864 17819 0 -1 1077944384 115303 0 0 0 4322 397 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270918191888 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17870] ppid=17864 vsize=26645092 memory=1388 CPUtime=46.74 cores=0-7
/proc/17866/task/17870/stat : 17870 (java) S 17864 17864 17819 0 -1 1077944384 76259 0 0 0 4263 411 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270917139600 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 52 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17871] ppid=17864 vsize=26645092 memory=1232 CPUtime=46.66 cores=0-7
/proc/17866/task/17871/stat : 17871 (java) S 17864 17864 17819 0 -1 1077944384 73424 0 0 0 4320 346 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270916086800 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17872] ppid=17864 vsize=26645092 memory=1012 CPUtime=46.76 cores=0-7
/proc/17866/task/17872/stat : 17872 (java) S 17864 17864 17819 0 -1 1077944384 61076 0 0 0 4272 404 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270915033488 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 51 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17873] ppid=17864 vsize=26645092 memory=1948 CPUtime=46.6 cores=0-7
/proc/17866/task/17873/stat : 17873 (java) S 17864 17864 17819 0 -1 1077944384 64255 0 0 0 4293 367 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270913980688 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 51 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17874] ppid=17864 vsize=26645092 memory=1188 CPUtime=46.65 cores=0-7
/proc/17866/task/17874/stat : 17874 (java) S 17864 17864 17819 0 -1 1077944384 57811 0 0 0 4302 363 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270912928400 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 57 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17875] ppid=17864 vsize=26645092 memory=8440 CPUtime=46.91 cores=0-7
/proc/17866/task/17875/stat : 17875 (java) S 17864 17864 17819 0 -1 1077944384 103972 0 0 0 4293 398 0 0 20 0 28 0 88844695 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270911875600 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 52 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17876] ppid=17864 vsize=26645092 memory=-7003737579269690708 CPUtime=1.7 cores=0-7
/proc/17866/task/17876/stat : 17876 (java) S 17864 17864 17819 0 -1 1077944384 45208 0 0 0 151 19 0 0 20 0 28 0 88844696 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270488238704 140271360973442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17877] ppid=17864 vsize=26645092 memory=2320 CPUtime=0 cores=0-7
/proc/17866/task/17877/stat : 17877 (java) S 17864 17864 17819 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 88844697 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270487184736 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17878] ppid=17864 vsize=26645092 memory=1572 CPUtime=0 cores=0-7
/proc/17866/task/17878/stat : 17878 (java) S 17864 17864 17819 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 28 0 88844697 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270486132352 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17879] ppid=17864 vsize=26645092 memory=928 CPUtime=0 cores=0-7
/proc/17866/task/17879/stat : 17879 (java) S 17864 17864 17819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88844699 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270485080656 140271360980891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17880] ppid=17864 vsize=26645092 memory=2244 CPUtime=6.59 cores=0-7
/proc/17866/task/17880/stat : 17880 (java) S 17864 17864 17819 0 -1 1077944384 39987 0 0 0 654 5 0 0 20 0 28 0 88844699 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270484027504 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17881] ppid=17864 vsize=26645092 memory=4312 CPUtime=6.27 cores=0-7
/proc/17866/task/17881/stat : 17881 (java) S 17864 17864 17819 0 -1 1077944384 38461 0 0 0 621 6 0 0 20 0 28 0 88844699 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270482974704 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17882] ppid=17864 vsize=26645092 memory=2092 CPUtime=6.31 cores=0-7
/proc/17866/task/17882/stat : 17882 (java) S 17864 17864 17819 0 -1 1077944384 41606 0 0 0 624 7 0 0 20 0 28 0 88844699 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270481922416 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17883] ppid=17864 vsize=26645092 memory=16119756 CPUtime=1.45 cores=0-7
/proc/17866/task/17883/stat : 17883 (java) S 17864 17864 17819 0 -1 1077944384 23641 0 0 0 140 5 0 0 20 0 28 0 88844699 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270480869616 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17884] ppid=17864 vsize=26645092 memory=16119756 CPUtime=0 cores=0-7
/proc/17866/task/17884/stat : 17884 (java) S 17864 17864 17819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88844700 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140270479817568 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=17885] ppid=17864 vsize=26645092 memory=4104 CPUtime=1.32 cores=0-7
/proc/17866/task/17885/stat : 17885 (java) S 17864 17864 17819 0 -1 1077944384 8066 0 0 0 57 75 0 0 20 0 28 0 88844700 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269488433968 140271360973442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19411] ppid=17864 vsize=26645092 memory=1244 CPUtime=40.35 cores=0-7
/proc/17866/task/19411/stat : 19411 (java) S 17864 17864 17819 0 -1 1077944384 3608 0 0 0 4034 1 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269476692240 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19412] ppid=17864 vsize=26645092 memory=2268 CPUtime=40.5 cores=0-7
/proc/17866/task/19412/stat : 19412 (java) S 17864 17864 17819 0 -1 1077944384 3342 0 0 0 4049 1 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269475640912 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19413] ppid=17864 vsize=26645092 memory=1804 CPUtime=776.47 cores=0-7
/proc/17866/task/19413/stat : 19413 (java) R 17864 17864 17819 0 -1 4202560 1057257 0 0 0 77520 127 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269473529336 140270970035309 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19414] ppid=17864 vsize=26645092 memory=796 CPUtime=40.21 cores=0-7
/proc/17866/task/19414/stat : 19414 (java) S 17864 17864 17819 0 -1 1077944384 148653 0 0 0 3949 72 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269472482128 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19415] ppid=17864 vsize=26645092 memory=4312 CPUtime=39.96 cores=0-7
/proc/17866/task/19415/stat : 19415 (java) S 17864 17864 17819 0 -1 1077944384 2249 0 0 0 3975 21 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269163730128 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19416] ppid=17864 vsize=26645092 memory=2092 CPUtime=40.3 cores=0-7
/proc/17866/task/19416/stat : 19416 (java) S 17864 17864 17819 0 -1 1077944384 8220 0 0 0 4017 13 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269477745744 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19417] ppid=17864 vsize=26645092 memory=7380 CPUtime=739.09 cores=0-7
/proc/17866/task/19417/stat : 19417 (java) S 17864 17864 17819 0 -1 1077944384 26695 0 0 0 73900 9 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269162677712 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
[pid=17866/tid=19418] ppid=17864 vsize=26645092 memory=836 CPUtime=40.37 cores=0-7
/proc/17866/task/19418/stat : 19418 (java) S 17864 17864 17819 0 -1 1077944384 3766 0 0 0 4025 12 0 0 20 0 28 0 89019009 27284574208 4029939 33554432000 4194304 4196468 140727775074624 140269474587984 140271360972501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38903808 140727775081601 140727775081773 140727775081773 140727775084495 0
Current children cumulated CPU time: 3879.78 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 16121212 KiB

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

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

[startup+2520.14 s]
# the end of solver process 17866 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3842.26 s, system=37.6662 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

[startup+2520.12 s]*
/proc/loadavg: 1.58 1.90 2.18 2/184 19429
/proc/meminfo: memFree=25266044/32770624 swapFree=67108856/67108860
Current cumulated CPU time of completed processes: 0.00233 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 3879.92
CPU user time (s): 3842.26
CPU system time (s): 37.6662
CPU usage (%): 153.957
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 16217612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3842.26
system time used= 37.6662
maximum resident set size= 16216248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2313304
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 92102
involuntary context switches= 14522


# summary of solver processes directly reported to runsolver:
#   pid: 17864,17866
#   total CPU time (s): 3879.92
#   total CPU user time (s): 3842.26
#   total CPU system time (s): 37.6662

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.131 second user time and 27.765 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-27 19:33:35
IDJOB=4297929
IDBENCH=141265
IDSOLVER=2760
FILE ID=node133/4297929-1532712815
RUNJOBID= node133-1532712815-17846
PBS_JOBID= 21022318
Free space on /tmp= 48128 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-03-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-4297929-1532712815/watcher-4297929-1532712815 -o /tmp/evaluation-result-4297929-1532712815/solver-4297929-1532712815 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532712815-17846 --watchdog 2580  HOME/xcsp3-exec -seed 1129927715 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297929-1532712815.xml

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

MD5SUM BENCH= f3b5e910cdd6f892615a29b96bfa015e
RANDOM SEED=1129927715

node133.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.24
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.24
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.24
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.24
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:        27384760 kB
MemAvailable:   31947400 kB
Buffers:          156832 kB
Cached:          4653988 kB
SwapCached:            0 kB
Active:          2263000 kB
Inactive:        2599728 kB
Active(anon):       2908 kB
Inactive(anon):    76692 kB
Active(file):    2260092 kB
Inactive(file):  2523036 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:            146868 kB
Writeback:             0 kB
AnonPages:         58824 kB
Mapped:            39888 kB
Shmem:             25244 kB
Slab:             217736 kB
SReclaimable:     190696 kB
SUnreclaim:        27040 kB
KernelStack:        3248 kB
PageTables:         4712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 48108 MiB
End job on node133 at 2018-07-27 20:15:36