Trace number 4401138

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
Concrete 3.12.2SAT (TO)477 2520.06 2466.63

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t08-9.xml
MD5SUM4c656a32ec3c33e829e63e71b466a9e3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark476
Best CPU time to get the best result obtained on this benchmark47.1056
Satisfiable
(Un)Satisfiability was proved
Number of variables7018
Number of constraints650
Number of domains11
Minimum domain size2
Maximum domain size212
Distribution of domain sizes[{"size":2,"count":638},{"size":22,"count":638},{"size":41,"count":638},{"size":43,"count":638},{"size":46,"count":638},{"size":62,"count":638},{"size":114,"count":638},{"size":137,"count":638},{"size":155,"count":638},{"size":178,"count":638},{"size":212,"count":638}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":7018}]
Minimum constraint arity11
Maximum constraint arity6380
Distribution of constraint arities[{"arity":11,"count":638},{"arity":638,"count":11},{"arity":6380,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":648}]
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.74/0.54	c Concrete v3.12.2.1568631193530 running
31.25/11.52	o 554
38.36/16.81	o 553
64.31/40.40	o 552
64.44/40.45	o 551
64.81/40.72	o 550
68.83/44.58	o 549
69.23/44.94	o 548
253.78/227.60	o 547
253.78/227.67	o 546
254.19/228.01	o 545
254.19/228.05	o 544
254.19/228.09	o 543
254.30/228.14	o 542
254.30/228.20	o 541
254.42/228.23	o 540
254.71/228.44	o 539
254.86/228.53	o 538
254.96/228.61	o 537
254.96/228.66	o 536
257.46/231.15	o 535
293.76/267.30	o 534
293.86/267.38	o 533
293.97/267.42	o 532
293.97/267.45	o 531
294.10/267.54	o 530
294.20/267.69	o 529
294.30/267.76	o 528
294.40/267.81	o 527
294.50/267.90	o 526
294.50/267.96	o 525
294.61/268.06	o 524
294.71/268.11	o 523
294.71/268.17	o 522
294.80/268.21	o 521
294.80/268.26	o 520
297.02/270.48	o 519
297.12/270.55	o 518
297.52/271.00	o 517
297.73/271.13	o 516
297.73/271.19	o 515
297.82/271.23	o 514
297.82/271.27	o 513
297.92/271.31	o 512
298.12/271.53	o 511
298.12/271.58	o 510
298.22/271.62	o 509
298.22/271.69	o 508
298.42/271.80	o 507
298.42/271.84	o 506
298.73/272.15	o 505
298.83/272.20	o 504
299.03/272.45	o 503
299.03/272.49	o 502
299.67/273.02	o 501
299.77/273.12	o 500
299.86/273.21	o 499
299.86/273.26	o 498
299.96/273.30	o 497
299.96/273.35	o 496
299.96/273.39	o 495
300.06/273.43	o 494
300.06/273.46	o 493
300.16/273.53	o 492
300.16/273.58	o 491
300.26/273.61	o 490
300.26/273.66	o 489
300.36/273.70	o 488
300.36/273.79	o 487
300.46/273.81	o 486
300.46/273.89	o 485
300.56/273.93	o 484
300.56/273.96	o 483
300.56/274.00	o 482
300.67/274.04	o 481
300.67/274.09	o 480
300.86/274.26	o 479
300.96/274.35	o 478
301.06/274.43	o 477
2520.01/2466.60	Exception in thread "main" java.util.concurrent.TimeoutException
2520.01/2466.60		at concrete.MAC.mac(MAC.scala:192)
2520.01/2466.60		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.01/2466.60		at scala.util.Try$.apply(Try.scala:212)
2520.01/2466.60		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.01/2466.60		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.01/2466.60		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.01/2466.60		at concrete.MAC.oneRun(MAC.scala:265)
2520.01/2466.60		at concrete.MAC.nextSolution(MAC.scala:284)
2520.01/2466.60		at concrete.MAC.nextSolution(MAC.scala:369)
2520.01/2466.60		at concrete.Solver.hasNext(Solver.scala:160)
2520.01/2466.60		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.01/2466.60		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.01/2466.60		at concrete.Solver.foreach(Solver.scala:67)
2520.01/2466.60		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.01/2466.60		at scala.util.Success.map(Try.scala:264)
2520.01/2466.60		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.01/2466.60		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.01/2466.60		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.01/2466.60		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.01/2466.60		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.01/2466.60		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.01/2466.60		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.01/2466.60		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.01/2466.60		at scala.App.$anonfun$main$1(App.scala:75)
2520.01/2466.60		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.01/2466.60		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.01/2466.60		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.01/2466.60		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.01/2466.60		at scala.App.main(App.scala:75)
2520.01/2466.60		at scala.App.main$(App.scala:73)
2520.01/2466.60		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.01/2466.60		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2466.61	v <instantiation
2520.01/2466.61	v         cost = '477'>
2520.01/2466.61	v       <list>
2520.01/2466.61	v         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] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] p[500] p[501] p[502] p[503] p[504] p[505] p[506] p[507] p[508] p[509] p[510] p[511] p[512] p[513] p[514] p[515] p[516] p[517] p[518] p[519] p[520] p[521] p[522] p[523] p[524] p[525] p[526] p[527] p[528] p[529] p[530] p[531] p[532] p[533] p[534] p[535] p[536] p[537] p[538] p[539] p[540] p[541] p[542] p[543] p[544] p[545] p[546] p[547] p[548] p[549] p[550] p[551] p[552] p[553] p[554] p[555] p[556] p[557] p[558] p[559] p[560] p[561] p[562] p[563] p[564] p[565] p[566] p[567] p[568] p[569] p[570] p[571] p[572] p[573] p[574] p[575] p[576] p[577] p[578] p[579] p[580] p[581] p[582] p[583] p[584] p[585] p[586] p[587] p[588] p[589] p[590] p[591] p[592] p[593] p[594] p[595] p[596] p[597] p[598] p[599] p[600] p[601] p[602] p[603] p[604] p[605] p[606] p[607] p[608] p[609] p[610] p[611] p[612] p[613] p[614] p[615] p[616] p[617] p[618] p[619] p[620] p[621] p[622] p[623] p[624] p[625] p[626] p[627] p[628] p[629] p[630] p[631] p[632] p[633] p[634] p[635] p[636] p[637] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[175][0] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[176][0] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[177][0] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[178][0] r[178][1] r[178][2] r[178][3] r[178][4] r[178][5] r[178][6] r[178][7] r[178][8] r[178][9] r[179][0] r[179][1] r[179][2] r[179][3] r[179][4] r[179][5] r[179][6] r[179][7] r[179][8] r[179][9] r[180][0] r[180][1] r[180][2] r[180][3] r[180][4] r[180][5] r[180][6] r[180][7] r[180][8] r[180][9] r[181][0] r[181][1] r[181][2] r[181][3] r[181][4] r[181][5] r[181][6] r[181][7] r[181][8] r[181][9] r[182][0] r[182][1] r[182][2] r[182][3] r[182][4] r[182][5] r[182][6] r[182][7] r[182][8] r[182][9] r[183][0] r[183][1] r[183][2] r[183][3] r[183][4] r[183][5] r[183][6] r[183][7] r[183][8] r[183][9] r[184][0] r[184][1] r[184][2] r[184][3] r[184][4] r[184][5] r[184][6] r[184][7] r[184][8] r[184][9] r[185][0] r[185][1] r[185][2] r[185][3] r[185][4] r[185][5] r[185][6] r[185][7] r[185][8] r[185][9] r[186][0] r[186][1] r[186][2] r[186][3] r[186][4] r[186][5] r[186][6] r[186][7] r[186][8] r[186][9] r[187][0] r[187][1] r[187][2] r[187][3] r[187][4] r[187][5] r[187][6] r[187][7] r[187][8] r[187][9] r[188][0] r[188][1] r[188][2] r[188][3] r[188][4] r[188][5] r[188][6] r[188][7] r[188][8] r[188][9] r[189][0] r[189][1] r[189][2] r[189][3] r[189][4] r[189][5] r[189][6] r[189][7] r[189][8] r[189][9] r[190][0] r[190][1] r[190][2] r[190][3] r[190][4] r[190][5] r[190][6] r[190][7] r[190][8] r[190][9] r[191][0] r[191][1] r[191][2] r[191][3] r[191][4] r[191][5] r[191][6] r[191][7] r[191][8] r[191][9] r[192][0] r[192][1] r[192][2] r[192][3] r[192][4] r[192][5] r[192][6] r[192][7] r[192][8] r[192][9] r[193][0] r[193][1] r[193][2] r[193][3] r[193][4] r[193][5] r[193][6] r[193][7] r[193][8] r[193][9] r[194][0] r[194][1] r[194][2] r[194][3] r[194][4] r[194][5] r[194][6] r[194][7] r[194][8] r[194][9] r[195][0] r[195][1] r[195][2] r[195][3] r[195][4] r[195][5] r[195][6] r[195][7] r[195][8] r[195][9] r[196][0] r[196][1] r[196][2] r[196][3] r[196][4] r[196][5] r[196][6] r[196][7] r[196][8] r[196][9] r[197][0] r[197][1] r[197][2] r[197][3] r[197][4] r[197][5] r[197][6] r[197][7] r[197][8] r[197][9] r[198][0] r[198][1] r[198][2] r[198][3] r[198][4] r[198][5] r[198][6] r[198][7] r[198][8] r[198][9] r[199][0] r[199][1] r[199][2] r[199][3] r[199][4] r[199][5] r[199][6] r[199][7] r[199][8] r[199][9] r[200][0] r[200][1] r[200][2] r[200][3] r[200][4] r[200][5] r[200][6] r[200][7] r[200][8] r[200][9] r[201][0] r[201][1] r[201][2] r[201][3] r[201][4] r[201][5] r[201][6] r[201][7] r[201][8] r[201][9] r[202][0] r[202][1] r[202][2] r[202][3] r[202][4] r[202][5] r[202][6] r[202][7] r[202][8] r[202][9] r[203][0] r[203][1] r[203][2] r[203][3] r[203][4] r[203][5] r[203][6] r[203][7] r[203][8] r[203][9] r[204][0] r[204][1] r[204][2] r[204][3] r[204][4] r[204][5] r[204][6] r[204][7] r[204][8] r[204][9] r[205][0] r[205][1] r[205][2] r[205][3] r[205][4] r[205][5] r[205][6] r[205][7] r[205][8] r[205][9] r[206][0] r[206][1] r[206][2] r[206][3] r[206][4] r[206][5] r[206][6] r[206][7] r[206][8] r[206][9] r[207][0] r[207][1] r[207][2] r[207][3] r[207][4] r[207][5] r[207][6] r[207][7] r[207][8] r[207][9] r[208][0] r[208][1] r[208][2] r[208][3] r[208][4] r[208][5] r[208][6] r[208][7] r[208][8] r[208][9] r[209][0] r[209][1] r[209][2] r[209][3] r[209][4] r[209][5] r[209][6] r[209][7] r[209][8] r[209][9] r[210][0] r[210][1] r[210][2] r[210][3] r[210][4] r[210][5] r[210][6] r[210][7] r[210][8] r[210][9] r[211][0] r[211][1] r[211][2] r[211][3] r[211][4] r[211][5] r[211][6] r[211][7] r[211][8] r[211][9] r[212][0] r[212][1] r[212][2] r[212][3] r[212][4] r[212][5] r[212][6] r[212][7] r[212][8] r[212][9] r[213][0] r[213][1] r[213][2] r[213][3] r[213][4] r[213][5] r[213][6] r[213][7] r[213][8] r[213][9] r[214][0] r[214][1] r[214][2] r[214][3] r[214][4] r[214][5] r[214][6] r[214][7] r[214][8] r[214][9] r[215][0] r[215][1] r[215][2] r[215][3] r[215][4] r[215][5] r[215][6] r[215][7] r[215][8] r[215][9] r[216][0] r[216][1] r[216][2] r[216][3] r[216][4] r[216][5] r[216][6] r[216][7] r[216][8] r[216][9] r[217][0] r[217][1] r[217][2] r[217][3] r[217][4] r[217][5] r[217][6] r[217][7] r[217][8] r[217][9] r[218][0] r[218][1] r[218][2] r[218][3] r[218][4] r[218][5] r[218][6] r[218][7] r[218][8] r[218][9] r[219][0] r[219][1] r[219][2] r[219][3] r[219][4] r[219][5] r[219][6] r[219][7] r[219][8] r[219][9] r[220][0] r[220][1] r[220][2] r[220][3] r[220][4] r[220][5] r[220][6] r[220][7] r[220][8] r[220][9] r[221][0] r[221][1] r[221][2] r[221][3] r[221][4] r[221][5] r[221][6] r[221][7] r[221][8] r[221][9] r[222][0] r[222][1] r[222][2] r[222][3] r[222][4] r[222][5] r[222][6] r[222][7] r[222][8] r[222][9] r[223][0] r[223][1] r[223][2] r[223][3] r[223][4] r[223][5] r[223][6] r[223][7] r[223][8] r[223][9] r[224][0] r[224][1] r[224][2] r[224][3] r[224][4] r[224][5] r[224][6] r[224][7] r[224][8] r[224][9] r[225][0] r[225][1] r[225][2] r[225][3] r[225][4] r[225][5] r[225][6] r[225][7] r[225][8] r[225][9] r[226][0] r[226][1] r[226][2] r[226][3] r[226][4] r[226][5] r[226][6] r[226][7] r[226][8] r[226][9] r[227][0] r[227][1] r[227][2] r[227][3] r[227][4] r[227][5] r[227][6] r[227][7] r[227][8] r[227][9] r[228][0] r[228][1] r[228][2] r[228][3] r[228][4] r[228][5] r[228][6] r[228][7] r[228][8] r[228][9] r[229][0] r[229][1] r[229][2] r[229][3] r[229][4] r[229][5] r[229][6] r[229][7] r[229][8] r[229][9] r[230][0] r[230][1] r[230][2] r[230][3] r[230][4] r[230][5] r[230][6] r[230][7] r[230][8] r[230][9] r[231][0] r[231][1] r[231][2] r[231][3] r[231][4] r[231][5] r[231][6] r[231][7] r[231][8] r[231][9] r[232][0] r[232][1] r[232][2] r[232][3] r[232][4] r[232][5] r[232][6] r[232][7] r[232][8] r[232][9] r[233][0] r[233][1] r[233][2] r[233][3] r[233][4] r[233][5] r[233][6] r[233][7] r[233][8] r[233][9] r[234][0] r[234][1] r[234][2] r[234][3] r[234][4] r[234][5] r[234][6] r[234][7] r[234][8] r[234][9] r[235][0] r[235][1] r[235][2] r[235][3] r[235][4] r[235][5] r[235][6] r[235][7] r[235][8] r[235][9] r[236][0] r[236][1] r[236][2] r[236][3] r[236][4] r[236][5] r[236][6] r[236][7] r[236][8] r[236][9] r[237][0] r[237][1] r[237][2] r[237][3] r[237][4] r[237][5] r[237][6] r[237][7] r[237][8] r[237][9] r[238][0] r[238][1] r[238][2] r[238][3] r[238][4] r[238][5] r[238][6] r[238][7] r[238][8] r[238][9] r[239][0] r[239][1] r[239][2] r[239][3] r[239][4] r[239][5] r[239][6] r[239][7] r[239][8] r[239][9] r[240][0] r[240][1] r[240][2] r[240][3] r[240][4] r[240][5] r[240][6] r[240][7] r[240][8] r[240][9] r[241][0] r[241][1] r[241][2] r[241][3] r[241][4] r[241][5] r[241][6] r[241][7] r[241][8] r[241][9] r[242][0] r[242][1] r[242][2] r[242][3] r[242][4] r[242][5] r[242][6] r[242][7] r[242][8] r[242][9] r[243][0] r[243][1] r[243][2] r[243][3] r[243][4] r[243][5] r[243][6] r[243][7] r[243][8] r[243][9] r[244][0] r[244][1] r[244][2] r[244][3] r[244][4] r[244][5] r[244][6] r[244][7] r[244][8] r[244][9] r[245][0] r[245][1] r[245][2] r[245][3] r[245][4] r[245][5] r[245][6] r[245][7] r[245][8] r[245][9] r[246][0] r[246][1] r[246][2] r[246][3] r[246][4] r[246][5] r[246][6] r[246][7] r[246][8] r[246][9] r[247][0] r[247][1] r[247][2] r[247][3] r[247][4] r[247][5] r[247][6] r[247][7] r[247][8] r[247][9] r[248][0] r[248][1] r[248][2] r[248][3] r[248][4] r[248][5] r[248][6] r[248][7] r[248][8] r[248][9] r[249][0] r[249][1] r[249][2] r[249][3] r[249][4] r[249][5] r[249][6] r[249][7] r[249][8] r[249][9] r[250][0] r[250][1] r[250][2] r[250][3] r[250][4] r[250][5] r[250][6] r[250][7] r[250][8] r[250][9] r[251][0] r[251][1] r[251][2] r[251][3] r[251][4] r[251][5] r[251][6] r[251][7] r[251][8] r[251][9] r[252][0] r[252][1] r[252][2] r[252][3] r[252][4] r[252][5] r[252][6] r[252][7] r[252][8] r[252][9] r[253][0] r[253][1] r[253][2] r[253][3] r[253][4] r[253][5] r[253][6] r[253][7] r[253][8] r[253][9] r[254][0] r[254][1] r[254][2] r[254][3] r[254][4] r[254][5] r[254][6] r[254][7] r[254][8] r[254][9] r[255][0] r[255][1] r[255][2] r[255][3] r[255][4] r[255][5] r[255][6] r[255][7] r[255][8] r[255][9] r[256][0] r[256][1] r[256][2] r[256][3] r[256][4] r[256][5] r[256][6] r[256][7] r[256][8] r[256][9] r[257][0] r[257][1] r[257][2] r[257][3] r[257][4] r[257][5] r[257][6] r[257][7] r[257][8] r[257][9] r[258][0] r[258][1] r[258][2] r[258][3] r[258][4] r[258][5] r[258][6] r[258][7] r[258][8] r[258][9] r[259][0] r[259][1] r[259][2] r[259][3] r[259][4] r[259][5] r[259][6] r[259][7] r[259][8] r[259][9] r[260][0] r[260][1] r[260][2] r[260][3] r[260][4] r[260][5] r[260][6] r[260][7] r[260][8] r[260][9] r[261][0] r[261][1] r[261][2] r[261][3] r[261][4] r[261][5] r[261][6] r[261][7] r[261][8] r[261][9] r[262][0] r[262][1] r[262][2] r[262][3] r[262][4] r[262][5] r[262][6] r[262][7] r[262][8] r[262][9] r[263][0] r[263][1] r[263][2] r[263][3] r[263][4] r[263][5] r[263][6] r[263][7] r[263][8] r[263][9] r[264][0] r[264][1] r[264][2] r[264][3] r[264][4] r[264][5] r[264][6] r[264][7] r[264][8] r[264][9] r[265][0] r[265][1] r[265][2] r[265][3] r[265][4] r[265][5] r[265][6] r[265][7] r[265][8] r[265][9] r[266][0] r[266][1] r[266][2] r[266][3] r[266][4] r[266][5] r[266][6] r[266][7] r[266][8] r[266][9] r[267][0] r[267][1] r[267][2] r[267][3] r[267][4] r[267][5] r[267][6] r[267][7] r[267][8] r[267][9] r[268][0] r[268][1] r[268][2] r[268][3] r[268][4] r[268][5] r[268][6] r[268][7] r[268][8] r[268][9] r[269][0] r[269][1] r[269][2] r[269][3] r[269][4] r[269][5] r[269][6] r[269][7] r[269][8] r[269][9] r[270][0] r[270][1] r[270][2] r[270][3] r[270][4] r[270][5] r[270][6] r[270][7] r[270][8] r[270][9] r[271][0] r[271][1] r[271][2] r[271][3] r[271][4] r[271][5] r[271][6] r[271][7] r[271][8] r[271][9] r[272][0] r[272][1] r[272][2] r[272][3] r[272][4] r[272][5] r[272][6] r[272][7] r[272][8] r[272][9] r[273][0] r[273][1] r[273][2] r[273][3] r[273][4] r[273][5] r[273][6] r[273][7] r[273][8] r[273][9] r[274][0] r[274][1] r[274][2] r[274][3] r[274][4] r[274][5] r[274][6] r[274][7] r[274][8] r[274][9] r[275][0] r[275][1] r[275][2] r[275][3] r[275][4] r[275][5] r[275][6] r[275][7] r[275][8] r[275][9] r[276][0] r[276][1] r[276][2] r[276][3] r[276][4] r[276][5] r[276][6] r[276][7] r[276][8] r[276][9] r[277][0] r[277][1] r[277][2] r[277][3] r[277][4] r[277][5] r[277][6] r[277][7] r[277][8] r[277][9] r[278][0] r[278][1] r[278][2] r[278][3] r[278][4] r[278][5] r[278][6] r[278][7] r[278][8] r[278][9] r[279][0] r[279][1] r[279][2] r[279][3] r[279][4] r[279][5] r[279][6] r[279][7] r[279][8] r[279][9] r[280][0] r[280][1] r[280][2] r[280][3] r[280][4] r[280][5] r[280][6] r[280][7] r[280][8] r[280][9] r[281][0] r[281][1] r[281][2] r[281][3] r[281][4] r[281][5] r[281][6] r[281][7] r[281][8] r[281][9] r[282][0] r[282][1] r[282][2] r[282][3] r[282][4] r[282][5] r[282][6] r[282][7] r[282][8] r[282][9] r[283][0] r[283][1] r[283][2] r[283][3] r[283][4] r[283][5] r[283][6] r[283][7] r[283][8] r[283][9] r[284][0] r[284][1] r[284][2] r[284][3] r[284][4] r[284][5] r[284][6] r[284][7] r[284][8] r[284][9] r[285][0] r[285][1] r[285][2] r[285][3] r[285][4] r[285][5] r[285][6] r[285][7] r[285][8] r[285][9] r[286][0] r[286][1] r[286][2] r[286][3] r[286][4] r[286][5] r[286][6] r[286][7] r[286][8] r[286][9] r[287][0] r[287][1] r[287][2] r[287][3] r[287][4] r[287][5] r[287][6] r[287][7] r[287][8] r[287][9] r[288][0] r[288][1] r[288][2] r[288][3] r[288][4] r[288][5] r[288][6] r[288][7] r[288][8] r[288][9] r[289][0] r[289][1] r[289][2] r[289][3] r[289][4] r[289][5] r[289][6] r[289][7] r[289][8] r[289][9] r[290][0] r[290][1] r[290][2] r[290][3] r[290][4] r[290][5] r[290][6] r[290][7] r[290][8] r[290][9] r[291][0] r[291][1] r[291][2] r[291][3] r[291][4] r[291][5] r[291][6] r[291][7] r[291][8] r[291][9] r[292][0] r[292][1] r[292][2] r[292][3] r[292][4] r[292][5] r[292][6] r[292][7] r[292][8] r[292][9] r[293][0] r[293][1] r[293][2] r[293][3] r[293][4] r[293][5] r[293][6] r[293][7] r[293][8] r[293][9] r[294][0] r[294][1] r[294][2] r[294][3] r[294][4] r[294][5] r[294][6] r[294][7] r[294][8] r[294][9] r[295][0] r[295][1] r[295][2] r[295][3] r[295][4] r[295][5] r[295][6] r[295][7] r[295][8] r[295][9] r[296][0] r[296][1] r[296][2] r[296][3] r[296][4] r[296][5] r[296][6] r[296][7] r[296][8] r[296][9] r[297][0] r[297][1] r[297][2] r[297][3] r[297][4] r[297][5] r[297][6] r[297][7] r[297][8] r[297][9] r[298][0] r[298][1] r[298][2] r[298][3] r[298][4] r[298][5] r[298][6] r[298][7] r[298][8] r[298][9] r[299][0] r[299][1] r[299][2] r[299][3] r[299][4] r[299][5] r[299][6] r[299][7] r[299][8] r[299][9] r[300][0] r[300][1] r[300][2] r[300][3] r[300][4] r[300][5] r[300][6] r[300][7] r[300][8] r[300][9] r[301][0] r[301][1] r[301][2] r[301][3] r[301][4] r[301][5] r[301][6] r[301][7] r[301][8] r[301][9] r[302][0] r[302][1] r[302][2] r[302][3] r[302][4] r[302][5] r[302][6] r[302][7] r[302][8] r[302][9] r[303][0] r[303][1] r[303][2] r[303][3] r[303][4] r[303][5] r[303][6] r[303][7] r[303][8] r[303][9] r[304][0] r[304][1] r[304][2] r[304][3] r[304][4] r[304][5] r[304][6] r[304][7] r[304][8] r[304][9] r[305][0] r[305][1] r[305][2] r[305][3] r[305][4] r[305][5] r[305][6] r[305][7] r[305][8] r[305][9] r[306][0] r[306][1] r[306][2] r[306][3] r[306][4] r[306][5] r[306][6] r[306][7] r[306][8] r[306][9] r[307][0] r[307][1] r[307][2] r[307][3] r[307][4] r[307][5] r[307][6] r[307][7] r[307][8] r[307][9] r[308][0] r[308][1] r[308][2] r[308][3] r[308][4] r[308][5] r[308][6] r[308][7] r[308][8] r[308][9] r[309][0] r[309][1] r[309][2] r[309][3] r[309][4] r[309][5] r[309][6] r[309][7] r[309][8] r[309][9] r[310][0] r[310][1] r[310][2] r[310][3] r[310][4] r[310][5] r[310][6] r[310][7] r[310][8] r[310][9] r[311][0] r[311][1] r[311][2] r[311][3] r[311][4] r[311][5] r[311][6] r[311][7] r[311][8] r[311][9] r[312][0] r[312][1] r[312][2] r[312][3] r[312][4] r[312][5] r[312][6] r[312][7] r[312][8] r[312][9] r[313][0] r[313][1] r[313][2] r[313][3] r[313][4] r[313][5] r[313][6] r[313][7] r[313][8] r[313][9] r[314][0] r[314][1] r[314][2] r[314][3] r[314][4] r[314][5] r[314][6] r[314][7] r[314][8] r[314][9] r[315][0] r[315][1] r[315][2] r[315][3] r[315][4] r[315][5] r[315][6] r[315][7] r[315][8] r[315][9] r[316][0] r[316][1] r[316][2] r[316][3] r[316][4] r[316][5] r[316][6] r[316][7] r[316][8] r[316][9] r[317][0] r[317][1] r[317][2] r[317][3] r[317][4] r[317][5] r[317][6] r[317][7] r[317][8] r[317][9] r[318][0] r[318][1] r[318][2] r[318][3] r[318][4] r[318][5] r[318][6] r[318][7] r[318][8] r[318][9] r[319][0] r[319][1] r[319][2] r[319][3] r[319][4] r[319][5] r[319][6] r[319][7] r[319][8] r[319][9] r[320][0] r[320][1] r[320][2] r[320][3] r[320][4] r[320][5] r[320][6] r[320][7] r[320][8] r[320][9] r[321][0] r[321][1] r[321][2] r[321][3] r[321][4] r[321][5] r[321][6] r[321][7] r[321][8] r[321][9] r[322][0] r[322][1] r[322][2] r[322][3] r[322][4] r[322][5] r[322][6] r[322][7] r[322][8] r[322][9] r[323][0] r[323][1] r[323][2] r[323][3] r[323][4] r[323][5] r[323][6] r[323][7] r[323][8] r[323][9] r[324][0] r[324][1] r[324][2] r[324][3] r[324][4] r[324][5] r[324][6] r[324][7] r[324][8] r[324][9] r[325][0] r[325][1] r[325][2] r[325][3] r[325][4] r[325][5] r[325][6] r[325][7] r[325][8] r[325][9] r[326][0] r[326][1] r[326][2] r[326][3] r[326][4] r[326][5] r[326][6] r[326][7] r[326][8] r[326][9] r[327][0] r[327][1] r[327][2] r[327][3] r[327][4] r[327][5] r[327][6] r[327][7] r[327][8] r[327][9] r[328][0] r[328][1] r[328][2] r[328][3] r[328][4] r[328][5] r[328][6] r[328][7] r[328][8] r[328][9] r[329][0] r[329][1] r[329][2] r[329][3] r[329][4] r[329][5] r[329][6] r[329][7] r[329][8] r[329][9] r[330][0] r[330][1] r[330][2] r[330][3] r[330][4] r[330][5] r[330][6] r[330][7] r[330][8] r[330][9] r[331][0] r[331][1] r[331][2] r[331][3] r[331][4] r[331][5] r[331][6] r[331][7] r[331][8] r[331][9] r[332][0] r[332][1] r[332][2] r[332][3] r[332][4] r[332][5] r[332][6] r[332][7] r[332][8] r[332][9] r[333][0] r[333][1] r[333][2] r[333][3] r[333][4] r[333][5] r[333][6] r[333][7] r[333][8] r[333][9] r[334][0] r[334][1] r[334][2] r[334][3] r[334][4] r[334][5] r[334][6] r[334][7] r[334][8] r[334][9] r[335][0] r[335][1] r[335][2] r[335][3] r[335][4] r[335][5] r[335][6] r[335][7] r[335][8] r[335][9] r[336][0] r[336][1] r[336][2] r[336][3] r[336][4] r[336][5] r[336][6] r[336][7] r[336][8] r[336][9] r[337][0] r[337][1] r[337][2] r[337][3] r[337][4] r[337][5] r[337][6] r[337][7] r[337][8] r[337][9] r[338][0] r[338][1] r[338][2] r[338][3] r[338][4] r[338][5] r[338][6] r[338][7] r[338][8] r[338][9] r[339][0] r[339][1] r[339][2] r[339][3] r[339][4] r[339][5] r[339][6] r[339][7] r[339][8] r[339][9] r[340][0] r[340][1] r[340][2] r[340][3] r[340][4] r[340][5] r[340][6] r[340][7] r[340][8] r[340][9] r[341][0] r[341][1] r[341][2] r[341][3] r[341][4] r[341][5] r[341][6] r[341][7] r[341][8] r[341][9] r[342][0] r[342][1] r[342][2] r[342][3] r[342][4] r[342][5] r[342][6] r[342][7] r[342][8] r[342][9] r[343][0] r[343][1] r[343][2] r[343][3] r[343][4] r[343][5] r[343][6] r[343][7] r[343][8] r[343][9] r[344][0] r[344][1] r[344][2] r[344][3] r[344][4] r[344][5] r[344][6] r[344][7] r[344][8] r[344][9] r[345][0] r[345][1] r[345][2] r[345][3] r[345][4] r[345][5] r[345][6] r[345][7] r[345][8] r[345][9] r[346][0] r[346][1] r[346][2] r[346][3] r[346][4] r[346][5] r[346][6] r[346][7] r[346][8] r[346][9] r[347][0] r[347][1] r[347][2] r[347][3] r[347][4] r[347][5] r[347][6] r[347][7] r[347][8] r[347][9] r[348][0] r[348][1] r[348][2] r[348][3] r[348][4] r[348][5] r[348][6] r[348][7] r[348][8] r[348][9] r[349][0] r[349][1] r[349][2] r[349][3] r[349][4] r[349][5] r[349][6] r[349][7] r[349][8] r[349][9] r[350][0] r[350][1] r[350][2] r[350][3] r[350][4] r[350][5] r[350][6] r[350][7] r[350][8] r[350][9] r[351][0] r[351][1] r[351][2] r[351][3] r[351][4] r[351][5] r[351][6] r[351][7] r[351][8] r[351][9] r[352][0] r[352][1] r[352][2] r[352][3] r[352][4] r[352][5] r[352][6] r[352][7] r[352][8] r[352][9] r[353][0] r[353][1] r[353][2] r[353][3] r[353][4] r[353][5] r[353][6] r[353][7] r[353][8] r[353][9] r[354][0] r[354][1] r[354][2] r[354][3] r[354][4] r[354][5] r[354][6] r[354][7] r[354][8] r[354][9] r[355][0] r[355][1] r[355][2] r[355][3] r[355][4] r[355][5] r[355][6] r[355][7] r[355][8] r[355][9] r[356][0] r[356][1] r[356][2] r[356][3] r[356][4] r[356][5] r[356][6] r[356][7] r[356][8] r[356][9] r[357][0] r[357][1] r[357][2] r[357][3] r[357][4] r[357][5] r[357][6] r[357][7] r[357][8] r[357][9] r[358][0] r[358][1] r[358][2] r[358][3] r[358][4] r[358][5] r[358][6] r[358][7] r[358][8] r[358][9] r[359][0] r[359][1] r[359][2] r[359][3] r[359][4] r[359][5] r[359][6] r[359][7] r[359][8] r[359][9] r[360][0] r[360][1] r[360][2] r[360][3] r[360][4] r[360][5] r[360][6] r[360][7] r[360][8] r[360][9] r[361][0] r[361][1] r[361][2] r[361][3] r[361][4] r[361][5] r[361][6] r[361][7] r[361][8] r[361][9] r[362][0] r[362][1] r[362][2] r[362][3] r[362][4] r[362][5] r[362][6] r[362][7] r[362][8] r[362][9] r[363][0] r[363][1] r[363][2] r[363][3] r[363][4] r[363][5] r[363][6] r[363][7] r[363][8] r[363][9] r[364][0] r[364][1] r[364][2] r[364][3] r[364][4] r[364][5] r[364][6] r[364][7] r[364][8] r[364][9] r[365][0] r[365][1] r[365][2] r[365][3] r[365][4] r[365][5] r[365][6] r[365][7] r[365][8] r[365][9] r[366][0] r[366][1] r[366][2] r[366][3] r[366][4] r[366][5] r[366][6] r[366][7] r[366][8] r[366][9] r[367][0] r[367][1] r[367][2] r[367][3] r[367][4] r[367][5] r[367][6] r[367][7] r[367][8] r[367][9] r[368][0] r[368][1] r[368][2] r[368][3] r[368][4] r[368][5] r[368][6] r[368][7] r[368][8] r[368][9] r[369][0] r[369][1] r[369][2] r[369][3] r[369][4] r[369][5] r[369][6] r[369][7] r[369][8] r[369][9] r[370][0] r[370][1] r[370][2] r[370][3] r[370][4] r[370][5] r[370][6] r[370][7] r[370][8] r[370][9] r[371][0] r[371][1] r[371][2] r[371][3] r[371][4] r[371][5] r[371][6] r[371][7] r[371][8] r[371][9] r[372][0] r[372][1] r[372][2] r[372][3] r[372][4] r[372][5] r[372][6] r[372][7] r[372][8] r[372][9] r[373][0] r[373][1] r[373][2] r[373][3] r[373][4] r[373][5] r[373][6] r[373][7] r[373][8] r[373][9] r[374][0] r[374][1] r[374][2] r[374][3] r[374][4] r[374][5] r[374][6] r[374][7] r[374][8] r[374][9] r[375][0] r[375][1] r[375][2] r[375][3] r[375][4] r[375][5] r[375][6] r[375][7] r[375][8] r[375][9] r[376][0] r[376][1] r[376][2] r[376][3] r[376][4] r[376][5] r[376][6] r[376][7] r[376][8] r[376][9] r[377][0] r[377][1] r[377][2] r[377][3] r[377][4] r[377][5] r[377][6] r[377][7] r[377][8] r[377][9] r[378][0] r[378][1] r[378][2] r[378][3] r[378][4] r[378][5] r[378][6] r[378][7] r[378][8] r[378][9] r[379][0] r[379][1] r[379][2] r[379][3] r[379][4] r[379][5] r[379][6] r[379][7] r[379][8] r[379][9] r[380][0] r[380][1] r[380][2] r[380][3] r[380][4] r[380][5] r[380][6] r[380][7] r[380][8] r[380][9] r[381][0] r[381][1] r[381][2] r[381][3] r[381][4] r[381][5] r[381][6] r[381][7] r[381][8] r[381][9] r[382][0] r[382][1] r[382][2] r[382][3] r[382][4] r[382][5] r[382][6] r[382][7] r[382][8] r[382][9] r[383][0] r[383][1] r[383][2] r[383][3] r[383][4] r[383][5] r[383][6] r[383][7] r[383][8] r[383][9] r[384][0] r[384][1] r[384][2] r[384][3] r[384][4] r[384][5] r[384][6] r[384][7] r[384][8] r[384][9] r[385][0] r[385][1] r[385][2] r[385][3] r[385][4] r[385][5] r[385][6] r[385][7] r[385][8] r[385][9] r[386][0] r[386][1] r[386][2] r[386][3] r[386][4] r[386][5] r[386][6] r[386][7] r[386][8] r[386][9] r[387][0] r[387][1] r[387][2] r[387][3] r[387][4] r[387][5] r[387][6] r[387][7] r[387][8] r[387][9] r[388][0] r[388][1] r[388][2] r[388][3] r[388][4] r[388][5] r[388][6] r[388][7] r[388][8] r[388][9] r[389][0] r[389][1] r[389][2] r[389][3] r[389][4] r[389][5] r[389][6] r[389][7] r[389][8] r[389][9] r[390][0] r[390][1] r[390][2] r[390][3] r[390][4] r[390][5] r[390][6] r[390][7] r[390][8] r[390][9] r[391][0] r[391][1] r[391][2] r[391][3] r[391][4] r[391][5] r[391][6] r[391][7] r[391][8] r[391][9] r[392][0] r[392][1] r[392][2] r[392][3] r[392][4] r[392][5] r[392][6] r[392][7] r[392][8] r[392][9] r[393][0] r[393][1] r[393][2] r[393][3] r[393][4] r[393][5] r[393][6] r[393][7] r[393][8] r[393][9] r[394][0] r[394][1] r[394][2] r[394][3] r[394][4] r[394][5] r[394][6] r[394][7] r[394][8] r[394][9] r[395][0] r[395][1] r[395][2] r[395][3] r[395][4] r[395][5] r[395][6] r[395][7] r[395][8] r[395][9] r[396][0] r[396][1] r[396][2] r[396][3] r[396][4] r[396][5] r[396][6] r[396][7] r[396][8] r[396][9] r[397][0] r[397][1] r[397][2] r[397][3] r[397][4] r[397][5] r[397][6] r[397][7] r[397][8] r[397][9] r[398][0] r[398][1] r[398][2] r[398][3] r[398][4] r[398][5] r[398][6] r[398][7] r[398][8] r[398][9] r[399][0] r[399][1] r[399][2] r[399][3] r[399][4] r[399][5] r[399][6] r[399][7] r[399][8] r[399][9] r[400][0] r[400][1] r[400][2] r[400][3] r[400][4] r[400][5] r[400][6] r[400][7] r[400][8] r[400][9] r[401][0] r[401][1] r[401][2] r[401][3] r[401][4] r[401][5] r[401][6] r[401][7] r[401][8] r[401][9] r[402][0] r[402][1] r[402][2] r[402][3] r[402][4] r[402][5] r[402][6] r[402][7] r[402][8] r[402][9] r[403][0] r[403][1] r[403][2] r[403][3] r[403][4] r[403][5] r[403][6] r[403][7] r[403][8] r[403][9] r[404][0] r[404][1] r[404][2] r[404][3] r[404][4] r[404][5] r[404][6] r[404][7] r[404][8] r[404][9] r[405][0] r[405][1] r[405][2] r[405][3] r[405][4] r[405][5] r[405][6] r[405][7] r[405][8] r[405][9] r[406][0] r[406][1] r[406][2] r[406][3] r[406][4] r[406][5] r[406][6] r[406][7] r[406][8] r[406][9] r[407][0] r[407][1] r[407][2] r[407][3] r[407][4] r[407][5] r[407][6] r[407][7] r[407][8] r[407][9] r[408][0] r[408][1] r[408][2] r[408][3] r[408][4] r[408][5] r[408][6] r[408][7] r[408][8] r[408][9] r[409][0] r[409][1] r[409][2] r[409][3] r[409][4] r[409][5] r[409][6] r[409][7] r[409][8] r[409][9] r[410][0] r[410][1] r[410][2] r[410][3] r[410][4] r[410][5] r[410][6] r[410][7] r[410][8] r[410][9] r[411][0] r[411][1] r[411][2] r[411][3] r[411][4] r[411][5] r[411][6] r[411][7] r[411][8] r[411][9] r[412][0] r[412][1] r[412][2] r[412][3] r[412][4] r[412][5] r[412][6] r[412][7] r[412][8] r[412][9] r[413][0] r[413][1] r[413][2] r[413][3] r[413][4] r[413][5] r[413][6] r[413][7] r[413][8] r[413][9] r[414][0] r[414][1] r[414][2] r[414][3] r[414][4] r[414][5] r[414][6] r[414][7] r[414][8] r[414][9] r[415][0] r[415][1] r[415][2] r[415][3] r[415][4] r[415][5] r[415][6] r[415][7] r[415][8] r[415][9] r[416][0] r[416][1] r[416][2] r[416][3] r[416][4] r[416][5] r[416][6] r[416][7] r[416][8] r[416][9] r[417][0] r[417][1] r[417][2] r[417][3] r[417][4] r[417][5] r[417][6] r[417][7] r[417][8] r[417][9] r[418][0] r[418][1] r[418][2] r[418][3] r[418][4] r[418][5] r[418][6] r[418][7] r[418][8] r[418][9] r[419][0] r[419][1] r[419][2] r[419][3] r[419][4] r[419][5] r[419][6] r[419][7] r[419][8] r[419][9] r[420][0] r[420][1] r[420][2] r[420][3] r[420][4] r[420][5] r[420][6] r[420][7] r[420][8] r[420][9] r[421][0] r[421][1] r[421][2] r[421][3] r[421][4] r[421][5] r[421][6] r[421][7] r[421][8] r[421][9] r[422][0] r[422][1] r[422][2] r[422][3] r[422][4] r[422][5] r[422][6] r[422][7] r[422][8] r[422][9] r[423][0] r[423][1] r[423][2] r[423][3] r[423][4] r[423][5] r[423][6] r[423][7] r[423][8] r[423][9] r[424][0] r[424][1] r[424][2] r[424][3] r[424][4] r[424][5] r[424][6] r[424][7] r[424][8] r[424][9] r[425][0] r[425][1] r[425][2] r[425][3] r[425][4] r[425][5] r[425][6] r[425][7] r[425][8] r[425][9] r[426][0] r[426][1] r[426][2] r[426][3] r[426][4] r[426][5] r[426][6] r[426][7] r[426][8] r[426][9] r[427][0] r[427][1] r[427][2] r[427][3] r[427][4] r[427][5] r[427][6] r[427][7] r[427][8] r[427][9] r[428][0] r[428][1] r[428][2] r[428][3] r[428][4] r[428][5] r[428][6] r[428][7] r[428][8] r[428][9] r[429][0] r[429][1] r[429][2] r[429][3] r[429][4] r[429][5] r[429][6] r[429][7] r[429][8] r[429][9] r[430][0] r[430][1] r[430][2] r[430][3] r[430][4] r[430][5] r[430][6] r[430][7] r[430][8] r[430][9] r[431][0] r[431][1] r[431][2] r[431][3] r[431][4] r[431][5] r[431][6] r[431][7] r[431][8] r[431][9] r[432][0] r[432][1] r[432][2] r[432][3] r[432][4] r[432][5] r[432][6] r[432][7] r[432][8] r[432][9] r[433][0] r[433][1] r[433][2] r[433][3] r[433][4] r[433][5] r[433][6] r[433][7] r[433][8] r[433][9] r[434][0] r[434][1] r[434][2] r[434][3] r[434][4] r[434][5] r[434][6] r[434][7] r[434][8] r[434][9] r[435][0] r[435][1] r[435][2] r[435][3] r[435][4] r[435][5] r[435][6] r[435][7] r[435][8] r[435][9] r[436][0] r[436][1] r[436][2] r[436][3] r[436][4] r[436][5] r[436][6] r[436][7] r[436][8] r[436][9] r[437][0] r[437][1] r[437][2] r[437][3] r[437][4] r[437][5] r[437][6] r[437][7] r[437][8] r[437][9] r[438][0] r[438][1] r[438][2] r[438][3] r[438][4] r[438][5] r[438][6] r[438][7] r[438][8] r[438][9] r[439][0] r[439][1] r[439][2] r[439][3] r[439][4] r[439][5] r[439][6] r[439][7] r[439][8] r[439][9] r[440][0] r[440][1] r[440][2] r[440][3] r[440][4] r[440][5] r[440][6] r[440][7] r[440][8] r[440][9] r[441][0] r[441][1] r[441][2] r[441][3] r[441][4] r[441][5] r[441][6] r[441][7] r[441][8] r[441][9] r[442][0] r[442][1] r[442][2] r[442][3] r[442][4] r[442][5] r[442][6] r[442][7] r[442][8] r[442][9] r[443][0] r[443][1] r[443][2] r[443][3] r[443][4] r[443][5] r[443][6] r[443][7] r[443][8] r[443][9] r[444][0] r[444][1] r[444][2] r[444][3] r[444][4] r[444][5] r[444][6] r[444][7] r[444][8] r[444][9] r[445][0] r[445][1] r[445][2] r[445][3] r[445][4] r[445][5] r[445][6] r[445][7] r[445][8] r[445][9] r[446][0] r[446][1] r[446][2] r[446][3] r[446][4] r[446][5] r[446][6] r[446][7] r[446][8] r[446][9] r[447][0] r[447][1] r[447][2] r[447][3] r[447][4] r[447][5] r[447][6] r[447][7] r[447][8] r[447][9] r[448][0] r[448][1] r[448][2] r[448][3] r[448][4] r[448][5] r[448][6] r[448][7] r[448][8] r[448][9] r[449][0] r[449][1] r[449][2] r[449][3] r[449][4] r[449][5] r[449][6] r[449][7] r[449][8] r[449][9] r[450][0] r[450][1] r[450][2] r[450][3] r[450][4] r[450][5] r[450][6] r[450][7] r[450][8] r[450][9] r[451][0] r[451][1] r[451][2] r[451][3] r[451][4] r[451][5] r[451][6] r[451][7] r[451][8] r[451][9] r[452][0] r[452][1] r[452][2] r[452][3] r[452][4] r[452][5] r[452][6] r[452][7] r[452][8] r[452][9] r[453][0] r[453][1] r[453][2] r[453][3] r[453][4] r[453][5] r[453][6] r[453][7] r[453][8] r[453][9] r[454][0] r[454][1] r[454][2] r[454][3] r[454][4] r[454][5] r[454][6] r[454][7] r[454][8] r[454][9] r[455][0] r[455][1] r[455][2] r[455][3] r[455][4] r[455][5] r[455][6] r[455][7] r[455][8] r[455][9] r[456][0] r[456][1] r[456][2] r[456][3] r[456][4] r[456][5] r[456][6] r[456][7] r[456][8] r[456][9] r[457][0] r[457][1] r[457][2] r[457][3] r[457][4] r[457][5] r[457][6] r[457][7] r[457][8] r[457][9] r[458][0] r[458][1] r[458][2] r[458][3] r[458][4] r[458][5] r[458][6] r[458][7] r[458][8] r[458][9] r[459][0] r[459][1] r[459][2] r[459][3] r[459][4] r[459][5] r[459][6] r[459][7] r[459][8] r[459][9] r[460][0] r[460][1] r[460][2] r[460][3] r[460][4] r[460][5] r[460][6] r[460][7] r[460][8] r[460][9] r[461][0] r[461][1] r[461][2] r[461][3] r[461][4] r[461][5] r[461][6] r[461][7] r[461][8] r[461][9] r[462][0] r[462][1] r[462][2] r[462][3] r[462][4] r[462][5] r[462][6] r[462][7] r[462][8] r[462][9] r[463][0] r[463][1] r[463][2] r[463][3] r[463][4] r[463][5] r[463][6] r[463][7] r[463][8] r[463][9] r[464][0] r[464][1] r[464][2] r[464][3] r[464][4] r[464][5] r[464][6] r[464][7] r[464][8] r[464][9] r[465][0] r[465][1] r[465][2] r[465][3] r[465][4] r[465][5] r[465][6] r[465][7] r[465][8] r[465][9] r[466][0] r[466][1] r[466][2] r[466][3] r[466][4] r[466][5] r[466][6] r[466][7] r[466][8] r[466][9] r[467][0] r[467][1] r[467][2] r[467][3] r[467][4] r[467][5] r[467][6] r[467][7] r[467][8] r[467][9] r[468][0] r[468][1] r[468][2] r[468][3] r[468][4] r[468][5] r[468][6] r[468][7] r[468][8] r[468][9] r[469][0] r[469][1] r[469][2] r[469][3] r[469][4] r[469][5] r[469][6] r[469][7] r[469][8] r[469][9] r[470][0] r[470][1] r[470][2] r[470][3] r[470][4] r[470][5] r[470][6] r[470][7] r[470][8] r[470][9] r[471][0] r[471][1] r[471][2] r[471][3] r[471][4] r[471][5] r[471][6] r[471][7] r[471][8] r[471][9] r[472][0] r[472][1] r[472][2] r[472][3] r[472][4] r[472][5] r[472][6] r[472][7] r[472][8] r[472][9] r[473][0] r[473][1] r[473][2] r[473][3] r[473][4] r[473][5] r[473][6] r[473][7] r[473][8] r[473][9] r[474][0] r[474][1] r[474][2] r[474][3] r[474][4] r[474][5] r[474][6] r[474][7] r[474][8] r[474][9] r[475][0] r[475][1] r[475][2] r[475][3] r[475][4] r[475][5] r[475][6] r[475][7] r[475][8] r[475][9] r[476][0] r[476][1] r[476][2] r[476][3] r[476][4] r[476][5] r[476][6] r[476][7] r[476][8] r[476][9] r[477][0] r[477][1] r[477][2] r[477][3] r[477][4] r[477][5] r[477][6] r[477][7] r[477][8] r[477][9] r[478][0] r[478][1] r[478][2] r[478][3] r[478][4] r[478][5] r[478][6] r[478][7] r[478][8] r[478][9] r[479][0] r[479][1] r[479][2] r[479][3] r[479][4] r[479][5] r[479][6] r[479][7] r[479][8] r[479][9] r[480][0] r[480][1] r[480][2] r[480][3] r[480][4] r[480][5] r[480][6] r[480][7] r[480][8] r[480][9] r[481][0] r[481][1] r[481][2] r[481][3] r[481][4] r[481][5] r[481][6] r[481][7] r[481][8] r[481][9] r[482][0] r[482][1] r[482][2] r[482][3] r[482][4] r[482][5] r[482][6] r[482][7] r[482][8] r[482][9] r[483][0] r[483][1] r[483][2] r[483][3] r[483][4] r[483][5] r[483][6] r[483][7] r[483][8] r[483][9] r[484][0] r[484][1] r[484][2] r[484][3] r[484][4] r[484][5] r[484][6] r[484][7] r[484][8] r[484][9] r[485][0] r[485][1] r[485][2] r[485][3] r[485][4] r[485][5] r[485][6] r[485][7] r[485][8] r[485][9] r[486][0] r[486][1] r[486][2] r[486][3] r[486][4] r[486][5] r[486][6] r[486][7] r[486][8] r[486][9] r[487][0] r[487][1] r[487][2] r[487][3] r[487][4] r[487][5] r[487][6] r[487][7] r[487][8] r[487][9] r[488][0] r[488][1] r[488][2] r[488][3] r[488][4] r[488][5] r[488][6] r[488][7] r[488][8] r[488][9] r[489][0] r[489][1] r[489][2] r[489][3] r[489][4] r[489][5] r[489][6] r[489][7] r[489][8] r[489][9] r[490][0] r[490][1] r[490][2] r[490][3] r[490][4] r[490][5] r[490][6] r[490][7] r[490][8] r[490][9] r[491][0] r[491][1] r[491][2] r[491][3] r[491][4] r[491][5] r[491][6] r[491][7] r[491][8] r[491][9] r[492][0] r[492][1] r[492][2] r[492][3] r[492][4] r[492][5] r[492][6] r[492][7] r[492][8] r[492][9] r[493][0] r[493][1] r[493][2] r[493][3] r[493][4] r[493][5] r[493][6] r[493][7] r[493][8] r[493][9] r[494][0] r[494][1] r[494][2] r[494][3] r[494][4] r[494][5] r[494][6] r[494][7] r[494][8] r[494][9] r[495][0] r[495][1] r[495][2] r[495][3] r[495][4] r[495][5] r[495][6] r[495][7] r[495][8] r[495][9] r[496][0] r[496][1] r[496][2] r[496][3] r[496][4] r[496][5] r[496][6] r[496][7] r[496][8] r[496][9] r[497][0] r[497][1] r[497][2] r[497][3] r[497][4] r[497][5] r[497][6] r[497][7] r[497][8] r[497][9] r[498][0] r[498][1] r[498][2] r[498][3] r[498][4] r[498][5] r[498][6] r[498][7] r[498][8] r[498][9] r[499][0] r[499][1] r[499][2] r[499][3] r[499][4] r[499][5] r[499][6] r[499][7] r[499][8] r[499][9] r[500][0] r[500][1] r[500][2] r[500][3] r[500][4] r[500][5] r[500][6] r[500][7] r[500][8] r[500][9] r[501][0] r[501][1] r[501][2] r[501][3] r[501][4] r[501][5] r[501][6] r[501][7] r[501][8] r[501][9] r[502][0] r[502][1] r[502][2] r[502][3] r[502][4] r[502][5] r[502][6] r[502][7] r[502][8] r[502][9] r[503][0] r[503][1] r[503][2] r[503][3] r[503][4] r[503][5] r[503][6] r[503][7] r[503][8] r[503][9] r[504][0] r[504][1] r[504][2] r[504][3] r[504][4] r[504][5] r[504][6] r[504][7] r[504][8] r[504][9] r[505][0] r[505][1] r[505][2] r[505][3] r[505][4] r[505][5] r[505][6] r[505][7] r[505][8] r[505][9] r[506][0] r[506][1] r[506][2] r[506][3] r[506][4] r[506][5] r[506][6] r[506][7] r[506][8] r[506][9] r[507][0] r[507][1] r[507][2] r[507][3] r[507][4] r[507][5] r[507][6] r[507][7] r[507][8] r[507][9] r[508][0] r[508][1] r[508][2] r[508][3] r[508][4] r[508][5] r[508][6] r[508][7] r[508][8] r[508][9] r[509][0] r[509][1] r[509][2] r[509][3] r[509][4] r[509][5] r[509][6] r[509][7] r[509][8] r[509][9] r[510][0] r[510][1] r[510][2] r[510][3] r[510][4] r[510][5] r[510][6] r[510][7] r[510][8] r[510][9] r[511][0] r[511][1] r[511][2] r[511][3] r[511][4] r[511][5] r[511][6] r[511][7] r[511][8] r[511][9] r[512][0] r[512][1] r[512][2] r[512][3] r[512][4] r[512][5] r[512][6] r[512][7] r[512][8] r[512][9] r[513][0] r[513][1] r[513][2] r[513][3] r[513][4] r[513][5] r[513][6] r[513][7] r[513][8] r[513][9] r[514][0] r[514][1] r[514][2] r[514][3] r[514][4] r[514][5] r[514][6] r[514][7] r[514][8] r[514][9] r[515][0] r[515][1] r[515][2] r[515][3] r[515][4] r[515][5] r[515][6] r[515][7] r[515][8] r[515][9] r[516][0] r[516][1] r[516][2] r[516][3] r[516][4] r[516][5] r[516][6] r[516][7] r[516][8] r[516][9] r[517][0] r[517][1] r[517][2] r[517][3] r[517][4] r[517][5] r[517][6] r[517][7] r[517][8] r[517][9] r[518][0] r[518][1] r[518][2] r[518][3] r[518][4] r[518][5] r[518][6] r[518][7] r[518][8] r[518][9] r[519][0] r[519][1] r[519][2] r[519][3] r[519][4] r[519][5] r[519][6] r[519][7] r[519][8] r[519][9] r[520][0] r[520][1] r[520][2] r[520][3] r[520][4] r[520][5] r[520][6] r[520][7] r[520][8] r[520][9] r[521][0] r[521][1] r[521][2] r[521][3] r[521][4] r[521][5] r[521][6] r[521][7] r[521][8] r[521][9] r[522][0] r[522][1] r[522][2] r[522][3] r[522][4] r[522][5] r[522][6] r[522][7] r[522][8] r[522][9] r[523][0] r[523][1] r[523][2] r[523][3] r[523][4] r[523][5] r[523][6] r[523][7] r[523][8] r[523][9] r[524][0] r[524][1] r[524][2] r[524][3] r[524][4] r[524][5] r[524][6] r[524][7] r[524][8] r[524][9] r[525][0] r[525][1] r[525][2] r[525][3] r[525][4] r[525][5] r[525][6] r[525][7] r[525][8] r[525][9] r[526][0] r[526][1] r[526][2] r[526][3] r[526][4] r[526][5] r[526][6] r[526][7] r[526][8] r[526][9] r[527][0] r[527][1] r[527][2] r[527][3] r[527][4] r[527][5] r[527][6] r[527][7] r[527][8] r[527][9] r[528][0] r[528][1] r[528][2] r[528][3] r[528][4] r[528][5] r[528][6] r[528][7] r[528][8] r[528][9] r[529][0] r[529][1] r[529][2] r[529][3] r[529][4] r[529][5] r[529][6] r[529][7] r[529][8] r[529][9] r[530][0] r[530][1] r[530][2] r[530][3] r[530][4] r[530][5] r[530][6] r[530][7] r[530][8] r[530][9] r[531][0] r[531][1] r[531][2] r[531][3] r[531][4] r[531][5] r[531][6] r[531][7] r[531][8] r[531][9] r[532][0] r[532][1] r[532][2] r[532][3] r[532][4] r[532][5] r[532][6] r[532][7] r[532][8] r[532][9] r[533][0] r[533][1] r[533][2] r[533][3] r[533][4] r[533][5] r[533][6] r[533][7] r[533][8] r[533][9] r[534][0] r[534][1] r[534][2] r[534][3] r[534][4] r[534][5] r[534][6] r[534][7] r[534][8] r[534][9] r[535][0] r[535][1] r[535][2] r[535][3] r[535][4] r[535][5] r[535][6] r[535][7] r[535][8] r[535][9] r[536][0] r[536][1] r[536][2] r[536][3] r[536][4] r[536][5] r[536][6] r[536][7] r[536][8] r[536][9] r[537][0] r[537][1] r[537][2] r[537][3] r[537][4] r[537][5] r[537][6] r[537][7] r[537][8] r[537][9] r[538][0] r[538][1] r[538][2] r[538][3] r[538][4] r[538][5] r[538][6] r[538][7] r[538][8] r[538][9] r[539][0] r[539][1] r[539][2] r[539][3] r[539][4] r[539][5] r[539][6] r[539][7] r[539][8] r[539][9] r[540][0] r[540][1] r[540][2] r[540][3] r[540][4] r[540][5] r[540][6] r[540][7] r[540][8] r[540][9] r[541][0] r[541][1] r[541][2] r[541][3] r[541][4] r[541][5] r[541][6] r[541][7] r[541][8] r[541][9] r[542][0] r[542][1] r[542][2] r[542][3] r[542][4] r[542][5] r[542][6] r[542][7] r[542][8] r[542][9] r[543][0] r[543][1] r[543][2] r[543][3] r[543][4] r[543][5] r[543][6] r[543][7] r[543][8] r[543][9] r[544][0] r[544][1] r[544][2] r[544][3] r[544][4] r[544][5] r[544][6] r[544][7] r[544][8] r[544][9] r[545][0] r[545][1] r[545][2] r[545][3] r[545][4] r[545][5] r[545][6] r[545][7] r[545][8] r[545][9] r[546][0] r[546][1] r[546][2] r[546][3] r[546][4] r[546][5] r[546][6] r[546][7] r[546][8] r[546][9] r[547][0] r[547][1] r[547][2] r[547][3] r[547][4] r[547][5] r[547][6] r[547][7] r[547][8] r[547][9] r[548][0] r[548][1] r[548][2] r[548][3] r[548][4] r[548][5] r[548][6] r[548][7] r[548][8] r[548][9] r[549][0] r[549][1] r[549][2] r[549][3] r[549][4] r[549][5] r[549][6] r[549][7] r[549][8] r[549][9] r[550][0] r[550][1] r[550][2] r[550][3] r[550][4] r[550][5] r[550][6] r[550][7] r[550][8] r[550][9] r[551][0] r[551][1] r[551][2] r[551][3] r[551][4] r[551][5] r[551][6] r[551][7] r[551][8] r[551][9] r[552][0] r[552][1] r[552][2] r[552][3] r[552][4] r[552][5] r[552][6] r[552][7] r[552][8] r[552][9] r[553][0] r[553][1] r[553][2] r[553][3] r[553][4] r[553][5] r[553][6] r[553][7] r[553][8] r[553][9] r[554][0] r[554][1] r[554][2] r[554][3] r[554][4] r[554][5] r[554][6] r[554][7] r[554][8] r[554][9] r[555][0] r[555][1] r[555][2] r[555][3] r[555][4] r[555][5] r[555][6] r[555][7] r[555][8] r[555][9] r[556][0] r[556][1] r[556][2] r[556][3] r[556][4] r[556][5] r[556][6] r[556][7] r[556][8] r[556][9] r[557][0] r[557][1] r[557][2] r[557][3] r[557][4] r[557][5] r[557][6] r[557][7] r[557][8] r[557][9] r[558][0] r[558][1] r[558][2] r[558][3] r[558][4] r[558][5] r[558][6] r[558][7] r[558][8] r[558][9] r[559][0] r[559][1] r[559][2] r[559][3] r[559][4] r[559][5] r[559][6] r[559][7] r[559][8] r[559][9] r[560][0] r[560][1] r[560][2] r[560][3] r[560][4] r[560][5] r[560][6] r[560][7] r[560][8] r[560][9] r[561][0] r[561][1] r[561][2] r[561][3] r[561][4] r[561][5] r[561][6] r[561][7] r[561][8] r[561][9] r[562][0] r[562][1] r[562][2] r[562][3] r[562][4] r[562][5] r[562][6] r[562][7] r[562][8] r[562][9] r[563][0] r[563][1] r[563][2] r[563][3] r[563][4] r[563][5] r[563][6] r[563][7] r[563][8] r[563][9] r[564][0] r[564][1] r[564][2] r[564][3] r[564][4] r[564][5] r[564][6] r[564][7] r[564][8] r[564][9] r[565][0] r[565][1] r[565][2] r[565][3] r[565][4] r[565][5] r[565][6] r[565][7] r[565][8] r[565][9] r[566][0] r[566][1] r[566][2] r[566][3] r[566][4] r[566][5] r[566][6] r[566][7] r[566][8] r[566][9] r[567][0] r[567][1] r[567][2] r[567][3] r[567][4] r[567][5] r[567][6] r[567][7] r[567][8] r[567][9] r[568][0] r[568][1] r[568][2] r[568][3] r[568][4] r[568][5] r[568][6] r[568][7] r[568][8] r[568][9] r[569][0] r[569][1] r[569][2] r[569][3] r[569][4] r[569][5] r[569][6] r[569][7] r[569][8] r[569][9] r[570][0] r[570][1] r[570][2] r[570][3] r[570][4] r[570][5] r[570][6] r[570][7] r[570][8] r[570][9] r[571][0] r[571][1] r[571][2] r[571][3] r[571][4] r[571][5] r[571][6] r[571][7] r[571][8] r[571][9] r[572][0] r[572][1] r[572][2] r[572][3] r[572][4] r[572][5] r[572][6] r[572][7] r[572][8] r[572][9] r[573][0] r[573][1] r[573][2] r[573][3] r[573][4] r[573][5] r[573][6] r[573][7] r[573][8] r[573][9] r[574][0] r[574][1] r[574][2] r[574][3] r[574][4] r[574][5] r[574][6] r[574][7] r[574][8] r[574][9] r[575][0] r[575][1] r[575][2] r[575][3] r[575][4] r[575][5] r[575][6] r[575][7] r[575][8] r[575][9] r[576][0] r[576][1] r[576][2] r[576][3] r[576][4] r[576][5] r[576][6] r[576][7] r[576][8] r[576][9] r[577][0] r[577][1] r[577][2] r[577][3] r[577][4] r[577][5] r[577][6] r[577][7] r[577][8] r[577][9] r[578][0] r[578][1] r[578][2] r[578][3] r[578][4] r[578][5] r[578][6] r[578][7] r[578][8] r[578][9] r[579][0] r[579][1] r[579][2] r[579][3] r[579][4] r[579][5] r[579][6] r[579][7] r[579][8] r[579][9] r[580][0] r[580][1] r[580][2] r[580][3] r[580][4] r[580][5] r[580][6] r[580][7] r[580][8] r[580][9] r[581][0] r[581][1] r[581][2] r[581][3] r[581][4] r[581][5] r[581][6] r[581][7] r[581][8] r[581][9] r[582][0] r[582][1] r[582][2] r[582][3] r[582][4] r[582][5] r[582][6] r[582][7] r[582][8] r[582][9] r[583][0] r[583][1] r[583][2] r[583][3] r[583][4] r[583][5] r[583][6] r[583][7] r[583][8] r[583][9] r[584][0] r[584][1] r[584][2] r[584][3] r[584][4] r[584][5] r[584][6] r[584][7] r[584][8] r[584][9] r[585][0] r[585][1] r[585][2] r[585][3] r[585][4] r[585][5] r[585][6] r[585][7] r[585][8] r[585][9] r[586][0] r[586][1] r[586][2] r[586][3] r[586][4] r[586][5] r[586][6] r[586][7] r[586][8] r[586][9] r[587][0] r[587][1] r[587][2] r[587][3] r[587][4] r[587][5] r[587][6] r[587][7] r[587][8] r[587][9] r[588][0] r[588][1] r[588][2] r[588][3] r[588][4] r[588][5] r[588][6] r[588][7] r[588][8] r[588][9] r[589][0] r[589][1] r[589][2] r[589][3] r[589][4] r[589][5] r[589][6] r[589][7] r[589][8] r[589][9] r[590][0] r[590][1] r[590][2] r[590][3] r[590][4] r[590][5] r[590][6] r[590][7] r[590][8] r[590][9] r[591][0] r[591][1] r[591][2] r[591][3] r[591][4] r[591][5] r[591][6] r[591][7] r[591][8] r[591][9] r[592][0] r[592][1] r[592][2] r[592][3] r[592][4] r[592][5] r[592][6] r[592][7] r[592][8] r[592][9] r[593][0] r[593][1] r[593][2] r[593][3] r[593][4] r[593][5] r[593][6] r[593][7] r[593][8] r[593][9] r[594][0] r[594][1] r[594][2] r[594][3] r[594][4] r[594][5] r[594][6] r[594][7] r[594][8] r[594][9] r[595][0] r[595][1] r[595][2] r[595][3] r[595][4] r[595][5] r[595][6] r[595][7] r[595][8] r[595][9] r[596][0] r[596][1] r[596][2] r[596][3] r[596][4] r[596][5] r[596][6] r[596][7] r[596][8] r[596][9] r[597][0] r[597][1] r[597][2] r[597][3] r[597][4] r[597][5] r[597][6] r[597][7] r[597][8] r[597][9] r[598][0] r[598][1] r[598][2] r[598][3] r[598][4] r[598][5] r[598][6] r[598][7] r[598][8] r[598][9] r[599][0] r[599][1] r[599][2] r[599][3] r[599][4] r[599][5] r[599][6] r[599][7] r[599][8] r[599][9] r[600][0] r[600][1] r[600][2] r[600][3] r[600][4] r[600][5] r[600][6] r[600][7] r[600][8] r[600][9] r[601][0] r[601][1] r[601][2] r[601][3] r[601][4] r[601][5] r[601][6] r[601][7] r[601][8] r[601][9] r[602][0] r[602][1] r[602][2] r[602][3] r[602][4] r[602][5] r[602][6] r[602][7] r[602][8] r[602][9] r[603][0] r[603][1] r[603][2] r[603][3] r[603][4] r[603][5] r[603][6] r[603][7] r[603][8] r[603][9] r[604][0] r[604][1] r[604][2] r[604][3] r[604][4] r[604][5] r[604][6] r[604][7] r[604][8] r[604][9] r[605][0] r[605][1] r[605][2] r[605][3] r[605][4] r[605][5] r[605][6] r[605][7] r[605][8] r[605][9] r[606][0] r[606][1] r[606][2] r[606][3] r[606][4] r[606][5] r[606][6] r[606][7] r[606][8] r[606][9] r[607][0] r[607][1] r[607][2] r[607][3] r[607][4] r[607][5] r[607][6] r[607][7] r[607][8] r[607][9] r[608][0] r[608][1] r[608][2] r[608][3] r[608][4] r[608][5] r[608][6] r[608][7] r[608][8] r[608][9] r[609][0] r[609][1] r[609][2] r[609][3] r[609][4] r[609][5] r[609][6] r[609][7] r[609][8] r[609][9] r[610][0] r[610][1] r[610][2] r[610][3] r[610][4] r[610][5] r[610][6] r[610][7] r[610][8] r[610][9] r[611][0] r[611][1] r[611][2] r[611][3] r[611][4] r[611][5] r[611][6] r[611][7] r[611][8] r[611][9] r[612][0] r[612][1] r[612][2] r[612][3] r[612][4] r[612][5] r[612][6] r[612][7] r[612][8] r[612][9] r[613][0] r[613][1] r[613][2] r[613][3] r[613][4] r[613][5] r[613][6] r[613][7] r[613][8] r[613][9] r[614][0] r[614][1] r[614][2] r[614][3] r[614][4] r[614][5] r[614][6] r[614][7] r[614][8] r[614][9] r[615][0] r[615][1] r[615][2] r[615][3] r[615][4] r[615][5] r[615][6] r[615][7] r[615][8] r[615][9] r[616][0] r[616][1] r[616][2] r[616][3] r[616][4] r[616][5] r[616][6] r[616][7] r[616][8] r[616][9] r[617][0] r[617][1] r[617][2] r[617][3] r[617][4] r[617][5] r[617][6] r[617][7] r[617][8] r[617][9] r[618][0] r[618][1] r[618][2] r[618][3] r[618][4] r[618][5] r[618][6] r[618][7] r[618][8] r[618][9] r[619][0] r[619][1] r[619][2] r[619][3] r[619][4] r[619][5] r[619][6] r[619][7] r[619][8] r[619][9] r[620][0] r[620][1] r[620][2] r[620][3] r[620][4] r[620][5] r[620][6] r[620][7] r[620][8] r[620][9] r[621][0] r[621][1] r[621][2] r[621][3] r[621][4] r[621][5] r[621][6] r[621][7] r[621][8] r[621][9] r[622][0] r[622][1] r[622][2] r[622][3] r[622][4] r[622][5] r[622][6] r[622][7] r[622][8] r[622][9] r[623][0] r[623][1] r[623][2] r[623][3] r[623][4] r[623][5] r[623][6] r[623][7] r[623][8] r[623][9] r[624][0] r[624][1] r[624][2] r[624][3] r[624][4] r[624][5] r[624][6] r[624][7] r[624][8] r[624][9] r[625][0] r[625][1] r[625][2] r[625][3] r[625][4] r[625][5] r[625][6] r[625][7] r[625][8] r[625][9] r[626][0] r[626][1] r[626][2] r[626][3] r[626][4] r[626][5] r[626][6] r[626][7] r[626][8] r[626][9] r[627][0] r[627][1] r[627][2] r[627][3] r[627][4] r[627][5] r[627][6] r[627][7] r[627][8] r[627][9] r[628][0] r[628][1] r[628][2] r[628][3] r[628][4] r[628][5] r[628][6] r[628][7] r[628][8] r[628][9] r[629][0] r[629][1] r[629][2] r[629][3] r[629][4] r[629][5] r[629][6] r[629][7] r[629][8] r[629][9] r[630][0] r[630][1] r[630][2] r[630][3] r[630][4] r[630][5] r[630][6] r[630][7] r[630][8] r[630][9] r[631][0] r[631][1] r[631][2] r[631][3] r[631][4] r[631][5] r[631][6] r[631][7] r[631][8] r[631][9] r[632][0] r[632][1] r[632][2] r[632][3] r[632][4] r[632][5] r[632][6] r[632][7] r[632][8] r[632][9] r[633][0] r[633][1] r[633][2] r[633][3] r[633][4] r[633][5] r[633][6] r[633][7] r[633][8] r[633][9] r[634][0] r[634][1] r[634][2] r[634][3] r[634][4] r[634][5] r[634][6] r[634][7] r[634][8] r[634][9] r[635][0] r[635][1] r[635][2] r[635][3] r[635][4] r[635][5] r[635][6] r[635][7] r[635][8] r[635][9] r[636][0] r[636][1] r[636][2] r[636][3] r[636][4] r[636][5] r[636][6] r[636][7] r[636][8] r[636][9] r[637][0] r[637][1] r[637][2] r[637][3] r[637][4] r[637][5] r[637][6] r[637][7] r[637][8] r[637][9]
2520.01/2466.62	v       </list>
2520.01/2466.62	v       <values>
2520.01/2466.62	v         1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 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 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2520.01/2466.62	v       </values>
2520.01/2466.62	v     </instantiation>
2520.01/2466.62	s SATISFIABLE

Verifier Data 

OK	477

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401138-1568678327/watcher-4401138-1568678327 -o /tmp/evaluation-result-4401138-1568678327/solver-4401138-1568678327 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568673290-15915 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1612266580 HOME/instance-4401138-1568678327.xml 

running on 4 cores: 1,3,5,7

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

solver pid=17649, runsolver pid=17646

[startup+0.110595 s]*
/proc/loadavg: 1.41 1.36 1.36 3/220 17707
/proc/meminfo: memFree=26624448/32770624 swapFree=66999436/67108860
[pid=17649] ppid=17646 vsize=10355560 memory=22680 CPUtime=0.1 cores=1,3,5,7
/proc/17649/stat : 17649 (java) S 17646 17649 15883 0 -1 1077944320 4920 13128 0 0 2 1 5 2 20 0 9 0 443771088 10604093440 5670 33554432000 4194304 4196468 140734427120160 140734427102704 140063660326647 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
/proc/17649/statm: 2588890 5670 2102 1 0 2551431 0
[pid=17649/tid=17702] ppid=17646 vsize=10355560 memory=4351193297951294345 CPUtime=0.08 cores=1,3,5,7
/proc/17649/task/17702/stat : 17702 (java) R 17646 17649 15883 0 -1 4202560 2692 13128 0 0 1 0 5 2 20 0 9 0 443771097 10604093440 5670 33554432000 4194304 4196468 140734427120160 140063632162672 140063644407134 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17703] ppid=17646 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17703/stat : 17703 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 9 0 443771098 10604093440 5670 33554432000 4194304 4196468 140734427120160 140063664569360 140063660336853 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17704] ppid=17646 vsize=10355560 memory=139790835594880 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17704/stat : 17704 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 9 0 443771098 10604093440 5670 33554432000 4194304 4196468 140734427120160 140063583321232 140063660336853 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17705] ppid=17646 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17705/stat : 17705 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 9 0 443771098 10604093440 5670 33554432000 4194304 4196468 140734427120160 140063582268176 140063660336853 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17706] ppid=17646 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17706/stat : 17706 (java) S 17646 17649 15883 0 -1 1077944384 2 13128 0 0 0 0 5 2 20 0 9 0 443771098 10604093440 5670 33554432000 4194304 4196468 140734427120160 140063231892368 140063660336853 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17707] ppid=17646 vsize=10355560 memory=139790835594880 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17707/stat : 17707 (java) S 17646 17649 15883 0 -1 1077944384 2 13128 0 0 0 0 5 2 20 0 9 0 443771099 10604093440 5670 33554432000 4194304 4196468 140734427120160 140063186942192 140063660337794 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17708] ppid=17646 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17708/stat : 17708 (java) S 17646 17649 15883 0 -1 1077944384 13 13128 0 0 0 0 5 2 20 0 9 0 443771100 10604093440 5670 33554432000 4194304 4196468 140734427120160 140062574503072 140063660336853 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17709] ppid=17646 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17709/stat : 17709 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 9 0 443771100 10604093440 5670 33554432000 4194304 4196468 140734427120160 140062440284976 140063660336853 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 22680 KiB

[startup+0.210124 s]*
/proc/loadavg: 1.41 1.36 1.36 3/228 17715
/proc/meminfo: memFree=26604968/32770624 swapFree=66999436/67108860
[pid=17649] ppid=17646 vsize=10822180 memory=44108 CPUtime=0.27 cores=1,3,5,7
/proc/17649/stat : 17649 (java) S 17646 17649 15883 0 -1 1077944320 7958 13128 0 0 18 2 5 2 20 0 15 0 443771088 11081912320 11027 33554432000 4194304 4196468 140734427120160 140734427102704 140063660326647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
/proc/17649/statm: 2705545 11027 3293 1 0 2667645 0
[pid=17649/tid=17702] ppid=17646 vsize=10822180 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/17649/task/17702/stat : 17702 (java) R 17646 17649 15883 0 -1 4202560 4530 13128 0 0 11 1 5 2 20 0 15 0 443771097 11081912320 11093 33554432000 4194304 4196468 140734427120160 140063632139008 140063652637854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17703] ppid=17646 vsize=10822180 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17703/stat : 17703 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771098 11081912320 11093 33554432000 4194304 4196468 140734427120160 140063664569360 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17704] ppid=17646 vsize=10822180 memory=288370166987306624 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17704/stat : 17704 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771098 11081912320 11093 33554432000 4194304 4196468 140734427120160 140063583321232 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17705] ppid=17646 vsize=10822180 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17705/stat : 17705 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771098 11081912320 11093 33554432000 4194304 4196468 140734427120160 140063582268176 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17706] ppid=17646 vsize=10822180 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17706/stat : 17706 (java) S 17646 17649 15883 0 -1 1077944384 2 13128 0 0 0 0 5 2 20 0 15 0 443771098 11081912320 11093 33554432000 4194304 4196468 140734427120160 140063231892368 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17707] ppid=17646 vsize=10822180 memory=139790835594880 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17707/stat : 17707 (java) S 17646 17649 15883 0 -1 1077944384 2 13128 0 0 0 0 5 2 20 0 15 0 443771099 11081912320 11093 33554432000 4194304 4196468 140734427120160 140063186942192 140063660337794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17708] ppid=17646 vsize=10823808 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17708/stat : 17708 (java) S 17646 17649 15883 0 -1 1077944384 13 13128 0 0 0 0 5 2 20 0 15 0 443771100 11083579392 11093 33554432000 4194304 4196468 140734427120160 140062574503072 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17709] ppid=17646 vsize=10823808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17709/stat : 17709 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771100 11083579392 11093 33554432000 4194304 4196468 140734427120160 140062440284912 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17710] ppid=17646 vsize=10823808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17710/stat : 17710 (java) S 17646 17649 15883 0 -1 1077944384 3 13128 0 0 0 0 5 2 20 0 15 0 443771103 11083579392 11093 33554432000 4194304 4196468 140734427120160 140062199994320 140063660345243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17711] ppid=17646 vsize=10823808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17649/task/17711/stat : 17711 (java) R 17646 17649 15883 0 -1 4202560 470 13128 0 0 1 0 5 2 20 0 15 0 443771103 11083579392 11093 33554432000 4194304 4196468 140734427120160 140063185890032 140063643713266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17712] ppid=17646 vsize=10823808 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17649/task/17712/stat : 17712 (java) S 17646 17649 15883 0 -1 1077944384 195 13128 0 0 1 0 5 2 20 0 15 0 443771103 11083579392 11093 33554432000 4194304 4196468 140734427120160 140063184837488 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17713] ppid=17646 vsize=10823808 memory=139790835594880 CPUtime=0.1 cores=1,3,5,7
/proc/17649/task/17713/stat : 17713 (java) S 17646 17649 15883 0 -1 1077944384 602 13128 0 0 3 0 5 2 20 0 15 0 443771103 11083579392 11159 33554432000 4194304 4196468 140734427120160 140063183784432 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17714] ppid=17646 vsize=10823808 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17714/stat : 17714 (java) S 17646 17649 15883 0 -1 1077944384 3 13128 0 0 0 0 5 2 20 0 15 0 443771103 11083579392 11159 33554432000 4194304 4196468 140734427120160 140062166436704 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17715] ppid=17646 vsize=10823808 memory=139790835594880 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17715/stat : 17715 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771103 11083579392 11159 33554432000 4194304 4196468 140734427120160 140063182731824 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10822180 KiB
Current children cumulated memory: 44108 KiB

[startup+0.310529 s]*
/proc/loadavg: 1.41 1.36 1.36 4/228 17715
/proc/meminfo: memFree=26595824/32770624 swapFree=66999436/67108860
[pid=17649] ppid=17646 vsize=10820196 memory=50552 CPUtime=0.4 cores=1,3,5,7
/proc/17649/stat : 17649 (java) S 17646 17649 15883 0 -1 1077944320 10878 13128 0 0 30 3 5 2 20 0 15 0 443771088 11079880704 12638 33554432000 4194304 4196468 140734427120160 140734427102704 140063660326647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
/proc/17649/statm: 2705049 12638 3303 1 0 2667149 0
[pid=17649/tid=17702] ppid=17646 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/17649/task/17702/stat : 17702 (java) R 17646 17649 15883 0 -1 4202560 7364 13128 0 0 19 2 5 2 20 0 15 0 443771097 11079880704 12638 33554432000 4194304 4196468 140734427120160 140063632146192 140063660350237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17703] ppid=17646 vsize=10820196 memory=6935054825532540783 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17703/stat : 17703 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771098 11079880704 12638 33554432000 4194304 4196468 140734427120160 140063664569360 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17704] ppid=17646 vsize=10820196 memory=139790835601873 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17704/stat : 17704 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771098 11079880704 12638 33554432000 4194304 4196468 140734427120160 140063583321232 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17705] ppid=17646 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17705/stat : 17705 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771098 11079880704 12638 33554432000 4194304 4196468 140734427120160 140063582268176 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17706] ppid=17646 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17706/stat : 17706 (java) S 17646 17649 15883 0 -1 1077944384 2 13128 0 0 0 0 5 2 20 0 15 0 443771098 11079880704 12638 33554432000 4194304 4196468 140734427120160 140063231892368 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17707] ppid=17646 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17707/stat : 17707 (java) S 17646 17649 15883 0 -1 1077944384 2 13128 0 0 0 0 5 2 20 0 15 0 443771099 11079880704 12638 33554432000 4194304 4196468 140734427120160 140063186942192 140063660337794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17708] ppid=17646 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17708/stat : 17708 (java) S 17646 17649 15883 0 -1 1077944384 13 13128 0 0 0 0 5 2 20 0 15 0 443771100 11079880704 12638 33554432000 4194304 4196468 140734427120160 140062574503072 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17709] ppid=17646 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17709/stat : 17709 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771100 11079880704 12638 33554432000 4194304 4196468 140734427120160 140062440284912 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17710] ppid=17646 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17710/stat : 17710 (java) S 17646 17649 15883 0 -1 1077944384 3 13128 0 0 0 0 5 2 20 0 15 0 443771103 11079880704 12638 33554432000 4194304 4196468 140734427120160 140062199994320 140063660345243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17711] ppid=17646 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17649/task/17711/stat : 17711 (java) S 17646 17649 15883 0 -1 1077944384 472 13128 0 0 2 0 5 2 20 0 15 0 443771103 11079880704 12638 33554432000 4194304 4196468 140734427120160 140063185890032 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17712] ppid=17646 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17649/task/17712/stat : 17712 (java) S 17646 17649 15883 0 -1 1077944384 195 13128 0 0 1 0 5 2 20 0 15 0 443771103 11079880704 12638 33554432000 4194304 4196468 140734427120160 140063184837488 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17713] ppid=17646 vsize=10820196 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/17649/task/17713/stat : 17713 (java) S 17646 17649 15883 0 -1 1077944384 610 13128 0 0 5 0 5 2 20 0 15 0 443771103 11079880704 12638 33554432000 4194304 4196468 140734427120160 140063183784432 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17714] ppid=17646 vsize=10820196 memory=139790835594880 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17714/stat : 17714 (java) S 17646 17649 15883 0 -1 1077944384 3 13128 0 0 0 0 5 2 20 0 15 0 443771103 11079880704 12638 33554432000 4194304 4196468 140734427120160 140062166436704 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17715] ppid=17646 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17715/stat : 17715 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771103 11079880704 12638 33554432000 4194304 4196468 140734427120160 140063182731824 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50552 KiB

[startup+0.701231 s]
/proc/loadavg: 1.41 1.36 1.36 3/228 17715
/proc/meminfo: memFree=26580280/32770624 swapFree=66999436/67108860
[pid=17649] ppid=17646 vsize=10824364 memory=84104 CPUtime=1.13 cores=1,3,5,7
/proc/17649/stat : 17649 (java) S 17646 17649 15883 0 -1 1077944320 15226 13128 0 0 101 5 5 2 20 0 15 0 443771088 11084148736 21026 33554432000 4194304 4196468 140734427120160 140734427102704 140063660326647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
/proc/17649/statm: 2706091 21026 3512 1 0 2668173 0
[pid=17649/tid=17702] ppid=17646 vsize=10824364 memory=139792595550755 CPUtime=0.67 cores=1,3,5,7
/proc/17649/task/17702/stat : 17702 (java) R 17646 17649 15883 0 -1 4202560 10545 13128 0 0 56 4 5 2 20 0 15 0 443771097 11084148736 21026 33554432000 4194304 4196468 140734427120160 140063632155984 140063660338582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17703] ppid=17646 vsize=10824364 memory=139792595550778 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17703/stat : 17703 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771098 11084148736 21026 33554432000 4194304 4196468 140734427120160 140063664569360 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17704] ppid=17646 vsize=10824364 memory=139792595550779 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17704/stat : 17704 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771098 11084148736 21026 33554432000 4194304 4196468 140734427120160 140063583321232 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17705] ppid=17646 vsize=10824364 memory=139792595550786 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17705/stat : 17705 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771098 11084148736 21026 33554432000 4194304 4196468 140734427120160 140063582268176 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17706] ppid=17646 vsize=10824364 memory=139792595550788 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17706/stat : 17706 (java) S 17646 17649 15883 0 -1 1077944384 2 13128 0 0 0 0 5 2 20 0 15 0 443771098 11084148736 21026 33554432000 4194304 4196468 140734427120160 140063231892368 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17707] ppid=17646 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17707/stat : 17707 (java) S 17646 17649 15883 0 -1 1077944384 5 13128 0 0 0 0 5 2 20 0 15 0 443771099 11084148736 21026 33554432000 4194304 4196468 140734427120160 140063186942192 140063660337794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17708] ppid=17646 vsize=10824364 memory=193 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17708/stat : 17708 (java) S 17646 17649 15883 0 -1 1077944384 13 13128 0 0 0 0 5 2 20 0 15 0 443771100 11084148736 21026 33554432000 4194304 4196468 140734427120160 140062574503072 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17709] ppid=17646 vsize=10824364 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17709/stat : 17709 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771100 11084148736 21026 33554432000 4194304 4196468 140734427120160 140062440284912 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17710] ppid=17646 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17710/stat : 17710 (java) S 17646 17649 15883 0 -1 1077944384 3 13128 0 0 0 0 5 2 20 0 15 0 443771103 11084148736 21026 33554432000 4194304 4196468 140734427120160 140062199994320 140063660345243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17711] ppid=17646 vsize=10824364 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/17649/task/17711/stat : 17711 (java) R 17646 17649 15883 0 -1 4202560 939 13128 0 0 14 0 5 2 20 0 15 0 443771103 11084148736 21026 33554432000 4194304 4196468 140734427120160 140063185877344 140063639578598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17712] ppid=17646 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/17649/task/17712/stat : 17712 (java) R 17646 17649 15883 0 -1 1077944384 701 13128 0 0 13 0 5 2 20 0 15 0 443771103 11084148736 21026 33554432000 4194304 4196468 140734427120160 140063184837488 140063660337794 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17713] ppid=17646 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/17649/task/17713/stat : 17713 (java) R 17646 17649 15883 0 -1 4202560 803 13128 0 0 17 0 5 2 20 0 15 0 443771103 11084148736 21026 33554432000 4194304 4196468 140734427120160 140063183783616 140063644407134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17714] ppid=17646 vsize=10824364 memory=52 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17714/stat : 17714 (java) S 17646 17649 15883 0 -1 1077944384 3 13128 0 0 0 0 5 2 20 0 15 0 443771103 11084148736 21026 33554432000 4194304 4196468 140734427120160 140062166436704 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17715] ppid=17646 vsize=10824364 memory=14060 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17715/stat : 17715 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771103 11084148736 21026 33554432000 4194304 4196468 140734427120160 140063182731824 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 84104 KiB

[startup+1.50074 s]
/proc/loadavg: 1.41 1.36 1.36 6/228 17715
/proc/meminfo: memFree=26520904/32770624 swapFree=66999436/67108860
[pid=17649] ppid=17646 vsize=10834680 memory=206040 CPUtime=2.92 cores=1,3,5,7
/proc/17649/stat : 17649 (java) S 17646 17649 15883 0 -1 1077944320 23053 13128 0 0 274 11 5 2 20 0 15 0 443771088 11094712320 51510 33554432000 4194304 4196468 140734427120160 140734427102704 140063660326647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
/proc/17649/statm: 2708670 51510 3589 1 0 2670733 0
[pid=17649/tid=17702] ppid=17646 vsize=10834680 memory=127364 CPUtime=1.41 cores=1,3,5,7
/proc/17649/task/17702/stat : 17702 (java) R 17646 17649 15883 0 -1 4202560 15332 13128 0 0 128 6 5 2 20 0 15 0 443771097 11094712320 51510 33554432000 4194304 4196468 140734427120160 140063632151568 140063644407134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17703] ppid=17646 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17649/task/17703/stat : 17703 (java) S 17646 17649 15883 0 -1 1077944384 40 13128 0 0 1 0 5 2 20 0 15 0 443771098 11094712320 51510 33554432000 4194304 4196468 140734427120160 140063664569360 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17704] ppid=17646 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17649/task/17704/stat : 17704 (java) S 17646 17649 15883 0 -1 1077944384 73 13128 0 0 2 0 5 2 20 0 15 0 443771098 11094712320 51510 33554432000 4194304 4196468 140734427120160 140063583321232 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17705] ppid=17646 vsize=10834680 memory=139790716717904 CPUtime=0.09 cores=1,3,5,7
/proc/17649/task/17705/stat : 17705 (java) S 17646 17649 15883 0 -1 1077944384 316 13128 0 0 2 0 5 2 20 0 15 0 443771098 11094712320 51510 33554432000 4194304 4196468 140734427120160 140063582268176 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17706] ppid=17646 vsize=10834680 memory=3137 CPUtime=0.09 cores=1,3,5,7
/proc/17649/task/17706/stat : 17706 (java) S 17646 17649 15883 0 -1 1077944384 82 13128 0 0 2 0 5 2 20 0 15 0 443771098 11094712320 51510 33554432000 4194304 4196468 140734427120160 140063231892368 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17707] ppid=17646 vsize=10834680 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/17649/task/17707/stat : 17707 (java) S 17646 17649 15883 0 -1 1077944384 131 13128 0 0 1 0 5 2 20 0 15 0 443771099 11094712320 51510 33554432000 4194304 4196468 140734427120160 140063186942192 140063660337794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17708] ppid=17646 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17708/stat : 17708 (java) S 17646 17649 15883 0 -1 1077944384 14 13128 0 0 0 0 5 2 20 0 15 0 443771100 11094712320 51510 33554432000 4194304 4196468 140734427120160 140062574503136 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17709] ppid=17646 vsize=10834680 memory=279581433008640 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17709/stat : 17709 (java) S 17646 17649 15883 0 -1 1077944384 1 13128 0 0 0 0 5 2 20 0 15 0 443771100 11094712320 51510 33554432000 4194304 4196468 140734427120160 140062440284912 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17710] ppid=17646 vsize=10834680 memory=2129104 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17710/stat : 17710 (java) S 17646 17649 15883 0 -1 1077944384 3 13128 0 0 0 0 5 2 20 0 15 0 443771103 11094712320 51510 33554432000 4194304 4196468 140734427120160 140062199994320 140063660345243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17711] ppid=17646 vsize=10834680 memory=2140628 CPUtime=0.52 cores=1,3,5,7
/proc/17649/task/17711/stat : 17711 (java) S 17646 17649 15883 0 -1 1077944384 1856 13128 0 0 45 0 5 2 20 0 15 0 443771103 11094712320 51510 33554432000 4194304 4196468 140734427120160 140063185890032 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17712] ppid=17646 vsize=10834680 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/17649/task/17712/stat : 17712 (java) S 17646 17649 15883 0 -1 1077944384 1328 13128 0 0 45 0 5 2 20 0 15 0 443771103 11094712320 51510 33554432000 4194304 4196468 140734427120160 140063184837488 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17713] ppid=17646 vsize=10834680 memory=321013415753841610 CPUtime=0.51 cores=1,3,5,7
/proc/17649/task/17713/stat : 17713 (java) S 17646 17649 15883 0 -1 1077944384 1666 13128 0 0 44 0 5 2 20 0 15 0 443771103 11094712320 51510 33554432000 4194304 4196468 140734427120160 140063183784432 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0

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

/proc/17649/task/17702/stat : 17702 (java) R 17646 17649 15883 0 -1 4202560 113690 13128 0 0 230732 29 5 2 20 0 15 0 443771097 11107315712 405607 33554432000 4194304 4196468 140734427120160 140063632162288 140063274259425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17703] ppid=17646 vsize=10846988 memory=1627044 CPUtime=11.91 cores=1,3,5,7
/proc/17649/task/17703/stat : 17703 (java) S 17646 17649 15883 0 -1 1077944384 25355 13128 0 0 1143 41 5 2 20 0 15 0 443771098 11107315712 405607 33554432000 4194304 4196468 140734427120160 140063664569360 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17704] ppid=17646 vsize=10846988 memory=1625504 CPUtime=11.9 cores=1,3,5,7
/proc/17649/task/17704/stat : 17704 (java) S 17646 17649 15883 0 -1 1077944384 26598 13128 0 0 1144 39 5 2 20 0 15 0 443771098 11107315712 405607 33554432000 4194304 4196468 140734427120160 140063583321232 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17705] ppid=17646 vsize=10846988 memory=1623452 CPUtime=11.95 cores=1,3,5,7
/proc/17649/task/17705/stat : 17705 (java) S 17646 17649 15883 0 -1 1077944384 27704 13128 0 0 1147 41 5 2 20 0 15 0 443771098 11107315712 405607 33554432000 4194304 4196468 140734427120160 140063582268176 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17706] ppid=17646 vsize=10846988 memory=1622940 CPUtime=11.87 cores=1,3,5,7
/proc/17649/task/17706/stat : 17706 (java) S 17646 17649 15883 0 -1 1077944384 23003 13128 0 0 1139 41 5 2 20 0 15 0 443771098 11107315712 405607 33554432000 4194304 4196468 140734427120160 140063231892368 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17707] ppid=17646 vsize=10846988 memory=1622940 CPUtime=1.65 cores=1,3,5,7
/proc/17649/task/17707/stat : 17707 (java) S 17646 17649 15883 0 -1 1077944384 19106 13128 0 0 141 17 5 2 20 0 15 0 443771099 11107315712 405607 33554432000 4194304 4196468 140734427120160 140063186942192 140063660337794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17708] ppid=17646 vsize=10846988 memory=1622940 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17708/stat : 17708 (java) S 17646 17649 15883 0 -1 1077944384 35 13128 0 0 0 0 5 2 20 0 15 0 443771100 11107315712 405607 33554432000 4194304 4196468 140734427120160 140062574503136 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17709] ppid=17646 vsize=10846988 memory=1622428 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17709/stat : 17709 (java) S 17646 17649 15883 0 -1 1077944384 8 13128 0 0 0 0 5 2 20 0 15 0 443771100 11107315712 405607 33554432000 4194304 4196468 140734427120160 140062440284928 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17710] ppid=17646 vsize=10846988 memory=1622428 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17710/stat : 17710 (java) S 17646 17649 15883 0 -1 1077944384 3 13128 0 0 0 0 5 2 20 0 15 0 443771103 11107315712 405607 33554432000 4194304 4196468 140734427120160 140062199994320 140063660345243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17711] ppid=17646 vsize=10846988 memory=1622428 CPUtime=6.55 cores=1,3,5,7
/proc/17649/task/17711/stat : 17711 (java) S 17646 17649 15883 0 -1 1077944384 32376 13128 0 0 644 4 5 2 20 0 15 0 443771103 11107315712 405607 33554432000 4194304 4196468 140734427120160 140063185890032 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17712] ppid=17646 vsize=10846988 memory=1540 CPUtime=6.13 cores=1,3,5,7
/proc/17649/task/17712/stat : 17712 (java) S 17646 17649 15883 0 -1 1077944384 23246 13128 0 0 602 4 5 2 20 0 15 0 443771103 11107315712 405607 33554432000 4194304 4196468 140734427120160 140063184837488 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17713] ppid=17646 vsize=10846988 memory=1622940 CPUtime=2.64 cores=1,3,5,7
/proc/17649/task/17713/stat : 17713 (java) S 17646 17649 15883 0 -1 1077944384 25912 13128 0 0 251 6 5 2 20 0 15 0 443771103 11107315712 405607 33554432000 4194304 4196468 140734427120160 140063183784432 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17714] ppid=17646 vsize=10846988 memory=1622940 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17714/stat : 17714 (java) S 17646 17649 15883 0 -1 1077944384 3 13128 0 0 0 0 5 2 20 0 15 0 443771103 11107315712 405607 33554432000 4194304 4196468 140734427120160 140062166436704 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17715] ppid=17646 vsize=10846988 memory=532 CPUtime=1.23 cores=1,3,5,7
/proc/17649/task/17715/stat : 17715 (java) S 17646 17649 15883 0 -1 1077944384 1378 13128 0 0 53 63 5 2 20 0 15 0 443771103 11107315712 405607 33554432000 4194304 4196468 140734427120160 140063182731824 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
Current children cumulated CPU time: 2372.99 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1622428 KiB

[startup+2382.3 s]
/proc/loadavg: 1.22 1.42 1.41 3/228 18221
/proc/meminfo: memFree=24357780/32770624 swapFree=66999436/67108860
[pid=17649] ppid=17646 vsize=10846988 memory=1601392 CPUtime=2434.14 cores=1,3,5,7
/proc/17649/stat : 17649 (java) S 17646 17649 15883 0 -1 1077944320 322200 13128 0 0 243133 274 5 2 20 0 15 0 443771088 11107315712 400348 33554432000 4194304 4196468 140734427120160 140734427102704 140063660326647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
/proc/17649/statm: 2711747 400348 3638 1 0 2673805 0
[pid=17649/tid=17702] ppid=17646 vsize=10846988 memory=3624 CPUtime=2367.21 cores=1,3,5,7
/proc/17649/task/17702/stat : 17702 (java) R 17646 17649 15883 0 -1 4202560 114450 13128 0 0 236684 30 5 2 20 0 15 0 443771097 11107315712 400348 33554432000 4194304 4196468 140734427120160 140063632162944 140063283958087 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17703] ppid=17646 vsize=10846988 memory=1603444 CPUtime=12.28 cores=1,3,5,7
/proc/17649/task/17703/stat : 17703 (java) S 17646 17649 15883 0 -1 1077944384 25423 13128 0 0 1180 41 5 2 20 0 15 0 443771098 11107315712 400348 33554432000 4194304 4196468 140734427120160 140063664569360 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17704] ppid=17646 vsize=10846988 memory=1603956 CPUtime=12.3 cores=1,3,5,7
/proc/17649/task/17704/stat : 17704 (java) S 17646 17649 15883 0 -1 1077944384 26926 13128 0 0 1183 40 5 2 20 0 15 0 443771098 11107315712 400348 33554432000 4194304 4196468 140734427120160 140063583321232 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17705] ppid=17646 vsize=10846988 memory=1601392 CPUtime=12.33 cores=1,3,5,7
/proc/17649/task/17705/stat : 17705 (java) S 17646 17649 15883 0 -1 1077944384 27822 13128 0 0 1185 41 5 2 20 0 15 0 443771098 11107315712 400348 33554432000 4194304 4196468 140734427120160 140063582268176 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17706] ppid=17646 vsize=10846988 memory=5206 CPUtime=12.25 cores=1,3,5,7
/proc/17649/task/17706/stat : 17706 (java) S 17646 17649 15883 0 -1 1077944384 23175 13128 0 0 1177 41 5 2 20 0 15 0 443771098 11107315712 400348 33554432000 4194304 4196468 140734427120160 140063231892368 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17707] ppid=17646 vsize=10846988 memory=47472 CPUtime=1.71 cores=1,3,5,7
/proc/17649/task/17707/stat : 17707 (java) S 17646 17649 15883 0 -1 1077944384 19199 13128 0 0 146 18 5 2 20 0 15 0 443771099 11107315712 400348 33554432000 4194304 4196468 140734427120160 140063186942192 140063660337794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17708] ppid=17646 vsize=10846988 memory=1602416 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17708/stat : 17708 (java) S 17646 17649 15883 0 -1 1077944384 35 13128 0 0 0 0 5 2 20 0 15 0 443771100 11107315712 400348 33554432000 4194304 4196468 140734427120160 140062574503136 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17709] ppid=17646 vsize=10846988 memory=1601904 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17709/stat : 17709 (java) S 17646 17649 15883 0 -1 1077944384 8 13128 0 0 0 0 5 2 20 0 15 0 443771100 11107315712 400348 33554432000 4194304 4196468 140734427120160 140062440284928 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17710] ppid=17646 vsize=10846988 memory=1601904 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17710/stat : 17710 (java) S 17646 17649 15883 0 -1 1077944384 3 13128 0 0 0 0 5 2 20 0 15 0 443771103 11107315712 400348 33554432000 4194304 4196468 140734427120160 140062199994320 140063660345243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17711] ppid=17646 vsize=10846988 memory=1602416 CPUtime=6.55 cores=1,3,5,7
/proc/17649/task/17711/stat : 17711 (java) S 17646 17649 15883 0 -1 1077944384 32378 13128 0 0 644 4 5 2 20 0 15 0 443771103 11107315712 400348 33554432000 4194304 4196468 140734427120160 140063185890032 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17712] ppid=17646 vsize=10846988 memory=1603960 CPUtime=6.13 cores=1,3,5,7
/proc/17649/task/17712/stat : 17712 (java) S 17646 17649 15883 0 -1 1077944384 23248 13128 0 0 602 4 5 2 20 0 15 0 443771103 11107315712 400348 33554432000 4194304 4196468 140734427120160 140063184837488 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17713] ppid=17646 vsize=10846988 memory=1617812 CPUtime=2.64 cores=1,3,5,7
/proc/17649/task/17713/stat : 17713 (java) S 17646 17649 15883 0 -1 1077944384 25914 13128 0 0 251 6 5 2 20 0 15 0 443771103 11107315712 400348 33554432000 4194304 4196468 140734427120160 140063183784432 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17714] ppid=17646 vsize=10846988 memory=1618324 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17714/stat : 17714 (java) S 17646 17649 15883 0 -1 1077944384 3 13128 0 0 0 0 5 2 20 0 15 0 443771103 11107315712 400348 33554432000 4194304 4196468 140734427120160 140062166436704 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17715] ppid=17646 vsize=10846988 memory=3680 CPUtime=1.26 cores=1,3,5,7
/proc/17649/task/17715/stat : 17715 (java) S 17646 17649 15883 0 -1 1077944384 1407 13128 0 0 54 65 5 2 20 0 15 0 443771103 11107315712 400348 33554432000 4194304 4196468 140734427120160 140063182731824 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
Current children cumulated CPU time: 2434.14 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1601392 KiB

[startup+2442.3 s]
/proc/loadavg: 1.32 1.43 1.41 3/227 18225
/proc/meminfo: memFree=24376836/32770624 swapFree=66999436/67108860
[pid=17649] ppid=17646 vsize=10846988 memory=1583436 CPUtime=2495.26 cores=1,3,5,7
/proc/17649/stat : 17649 (java) S 17646 17649 15883 0 -1 1077944320 323822 13128 0 0 249243 276 5 2 20 0 15 0 443771088 11107315712 395859 33554432000 4194304 4196468 140734427120160 140734427102704 140063660326647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
/proc/17649/statm: 2711747 395859 3638 1 0 2673805 0
[pid=17649/tid=17702] ppid=17646 vsize=10846988 memory=1585488 CPUtime=2426.69 cores=1,3,5,7
/proc/17649/task/17702/stat : 17702 (java) R 17646 17649 15883 0 -1 4202560 115096 13128 0 0 242632 30 5 2 20 0 15 0 443771097 11107315712 395859 33554432000 4194304 4196468 140734427120160 140063632162368 140063278710477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17703] ppid=17646 vsize=10846988 memory=1586512 CPUtime=12.67 cores=1,3,5,7
/proc/17649/task/17703/stat : 17703 (java) S 17646 17649 15883 0 -1 1077944384 25680 13128 0 0 1219 41 5 2 20 0 15 0 443771098 11107315712 395859 33554432000 4194304 4196468 140734427120160 140063664569360 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17704] ppid=17646 vsize=10846988 memory=1586000 CPUtime=12.68 cores=1,3,5,7
/proc/17649/task/17704/stat : 17704 (java) S 17646 17649 15883 0 -1 1077944384 27011 13128 0 0 1221 40 5 2 20 0 15 0 443771098 11107315712 395859 33554432000 4194304 4196468 140734427120160 140063583321232 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17705] ppid=17646 vsize=10846988 memory=1584976 CPUtime=12.72 cores=1,3,5,7
/proc/17649/task/17705/stat : 17705 (java) S 17646 17649 15883 0 -1 1077944384 28047 13128 0 0 1223 42 5 2 20 0 15 0 443771098 11107315712 395859 33554432000 4194304 4196468 140734427120160 140063582268176 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17706] ppid=17646 vsize=10846988 memory=1584460 CPUtime=12.64 cores=1,3,5,7
/proc/17649/task/17706/stat : 17706 (java) S 17646 17649 15883 0 -1 1077944384 23455 13128 0 0 1216 41 5 2 20 0 15 0 443771098 11107315712 395859 33554432000 4194304 4196468 140734427120160 140063231892368 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17707] ppid=17646 vsize=10846988 memory=1584460 CPUtime=1.76 cores=1,3,5,7
/proc/17649/task/17707/stat : 17707 (java) S 17646 17649 15883 0 -1 1077944384 19304 13128 0 0 151 18 5 2 20 0 15 0 443771099 11107315712 395859 33554432000 4194304 4196468 140734427120160 140063186942192 140063660337794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17708] ppid=17646 vsize=10846988 memory=1583436 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17708/stat : 17708 (java) S 17646 17649 15883 0 -1 1077944384 35 13128 0 0 0 0 5 2 20 0 15 0 443771100 11107315712 395859 33554432000 4194304 4196468 140734427120160 140062574503136 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17709] ppid=17646 vsize=10846988 memory=1584976 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17709/stat : 17709 (java) S 17646 17649 15883 0 -1 1077944384 8 13128 0 0 0 0 5 2 20 0 15 0 443771100 11107315712 395859 33554432000 4194304 4196468 140734427120160 140062440284928 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17710] ppid=17646 vsize=10846988 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17710/stat : 17710 (java) S 17646 17649 15883 0 -1 1077944384 3 13128 0 0 0 0 5 2 20 0 15 0 443771103 11107315712 395859 33554432000 4194304 4196468 140734427120160 140062199994320 140063660345243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17711] ppid=17646 vsize=10846988 memory=1584976 CPUtime=6.55 cores=1,3,5,7
/proc/17649/task/17711/stat : 17711 (java) S 17646 17649 15883 0 -1 1077944384 32380 13128 0 0 644 4 5 2 20 0 15 0 443771103 11107315712 395859 33554432000 4194304 4196468 140734427120160 140063185890032 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17712] ppid=17646 vsize=10846988 memory=1584976 CPUtime=6.13 cores=1,3,5,7
/proc/17649/task/17712/stat : 17712 (java) S 17646 17649 15883 0 -1 1077944384 23250 13128 0 0 602 4 5 2 20 0 15 0 443771103 11107315712 395859 33554432000 4194304 4196468 140734427120160 140063184837488 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17713] ppid=17646 vsize=10846988 memory=1583436 CPUtime=2.64 cores=1,3,5,7
/proc/17649/task/17713/stat : 17713 (java) S 17646 17649 15883 0 -1 1077944384 25916 13128 0 0 251 6 5 2 20 0 15 0 443771103 11107315712 395859 33554432000 4194304 4196468 140734427120160 140063183784432 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17714] ppid=17646 vsize=10846988 memory=1584460 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17714/stat : 17714 (java) S 17646 17649 15883 0 -1 1077944384 3 13128 0 0 0 0 5 2 20 0 15 0 443771103 11107315712 395859 33554432000 4194304 4196468 140734427120160 140062166436704 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17715] ppid=17646 vsize=10846988 memory=1584460 CPUtime=1.29 cores=1,3,5,7
/proc/17649/task/17715/stat : 17715 (java) S 17646 17649 15883 0 -1 1077944384 1425 13128 0 0 55 67 5 2 20 0 15 0 443771103 11107315712 395859 33554432000 4194304 4196468 140734427120160 140063182731824 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
Current children cumulated CPU time: 2495.26 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1583436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2466.6 s]
/proc/loadavg: 1.35 1.43 1.41 3/227 18226
/proc/meminfo: memFree=24385100/32770624 swapFree=66999436/67108860
[pid=17649] ppid=17646 vsize=10846988 memory=1572664 CPUtime=2520.01 cores=1,3,5,7
/proc/17649/stat : 17649 (java) S 17646 17649 15883 0 -1 1077944320 324966 13128 0 0 251716 278 5 2 20 0 15 0 443771088 11107315712 393166 33554432000 4194304 4196468 140734427120160 140734427102704 140063660326647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
/proc/17649/statm: 2711747 393166 3638 1 0 2673805 0
[pid=17649/tid=17702] ppid=17646 vsize=10846988 memory=1436 CPUtime=2450.79 cores=1,3,5,7
/proc/17649/task/17702/stat : 17702 (java) R 17646 17649 15883 0 -1 4202560 115466 13128 0 0 245042 30 5 2 20 0 15 0 443771097 11107315712 393166 33554432000 4194304 4196468 140734427120160 140063632162384 140063278710477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17703] ppid=17646 vsize=10846988 memory=1652 CPUtime=12.83 cores=1,3,5,7
/proc/17649/task/17703/stat : 17703 (java) S 17646 17649 15883 0 -1 1077944384 25806 13128 0 0 1234 42 5 2 20 0 15 0 443771098 11107315712 393166 33554432000 4194304 4196468 140734427120160 140063664569360 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17704] ppid=17646 vsize=10846988 memory=1980 CPUtime=12.84 cores=1,3,5,7
/proc/17649/task/17704/stat : 17704 (java) S 17646 17649 15883 0 -1 1077944384 27145 13128 0 0 1237 40 5 2 20 0 15 0 443771098 11107315712 393166 33554432000 4194304 4196468 140734427120160 140063583321232 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17705] ppid=17646 vsize=10846988 memory=1572664 CPUtime=12.87 cores=1,3,5,7
/proc/17649/task/17705/stat : 17705 (java) S 17646 17649 15883 0 -1 1077944384 28120 13128 0 0 1238 42 5 2 20 0 15 0 443771098 11107315712 393166 33554432000 4194304 4196468 140734427120160 140063582268176 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17706] ppid=17646 vsize=10846988 memory=1573688 CPUtime=12.79 cores=1,3,5,7
/proc/17649/task/17706/stat : 17706 (java) S 17646 17649 15883 0 -1 1077944384 23768 13128 0 0 1231 41 5 2 20 0 15 0 443771098 11107315712 393166 33554432000 4194304 4196468 140734427120160 140063231892368 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17707] ppid=17646 vsize=10846988 memory=1574200 CPUtime=1.78 cores=1,3,5,7
/proc/17649/task/17707/stat : 17707 (java) S 17646 17649 15883 0 -1 1077944384 19401 13128 0 0 153 18 5 2 20 0 15 0 443771099 11107315712 393166 33554432000 4194304 4196468 140734427120160 140063186942192 140063660337794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17708] ppid=17646 vsize=10846988 memory=1576768 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17708/stat : 17708 (java) S 17646 17649 15883 0 -1 1077944384 35 13128 0 0 0 0 5 2 20 0 15 0 443771100 11107315712 393166 33554432000 4194304 4196468 140734427120160 140062574503136 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17709] ppid=17646 vsize=10846988 memory=1540 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17709/stat : 17709 (java) S 17646 17649 15883 0 -1 1077944384 8 13128 0 0 0 0 5 2 20 0 15 0 443771100 11107315712 393166 33554432000 4194304 4196468 140734427120160 140062440284928 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17710] ppid=17646 vsize=10846988 memory=772 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17710/stat : 17710 (java) S 17646 17649 15883 0 -1 1077944384 3 13128 0 0 0 0 5 2 20 0 15 0 443771103 11107315712 393166 33554432000 4194304 4196468 140734427120160 140062199994320 140063660345243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17711] ppid=17646 vsize=10846988 memory=1574200 CPUtime=6.55 cores=1,3,5,7
/proc/17649/task/17711/stat : 17711 (java) S 17646 17649 15883 0 -1 1077944384 32382 13128 0 0 644 4 5 2 20 0 15 0 443771103 11107315712 393166 33554432000 4194304 4196468 140734427120160 140063185890032 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17712] ppid=17646 vsize=10846988 memory=3624 CPUtime=6.13 cores=1,3,5,7
/proc/17649/task/17712/stat : 17712 (java) S 17646 17649 15883 0 -1 1077944384 23252 13128 0 0 602 4 5 2 20 0 15 0 443771103 11107315712 393166 33554432000 4194304 4196468 140734427120160 140063184837488 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17713] ppid=17646 vsize=10846988 memory=47472 CPUtime=2.64 cores=1,3,5,7
/proc/17649/task/17713/stat : 17713 (java) S 17646 17649 15883 0 -1 1077944384 25918 13128 0 0 251 6 5 2 20 0 15 0 443771103 11107315712 393166 33554432000 4194304 4196468 140734427120160 140063183784432 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17714] ppid=17646 vsize=10846988 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/17649/task/17714/stat : 17714 (java) S 17646 17649 15883 0 -1 1077944384 3 13128 0 0 0 0 5 2 20 0 15 0 443771103 11107315712 393166 33554432000 4194304 4196468 140734427120160 140062166436704 140063660336853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
[pid=17649/tid=17715] ppid=17646 vsize=10846988 memory=2016 CPUtime=1.31 cores=1,3,5,7
/proc/17649/task/17715/stat : 17715 (java) S 17646 17649 15883 0 -1 1077944384 1450 13128 0 0 56 68 5 2 20 0 15 0 443771103 11107315712 393166 33554432000 4194304 4196468 140734427120160 140063182731824 140063660337794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31031296 140734427122415 140734427124933 140734427124933 140734427127759 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1572664 KiB

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

[startup+2466.63 s]
# the end of solver process 17649 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.24 s, system=2.82299 s

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

Child status: 143
Real time (s): 2466.63
CPU time (s): 2520.06
CPU user time (s): 2517.24
CPU system time (s): 2.82299
CPU usage (%): 102.166
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1974228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.24
system time used= 2.82299
maximum resident set size= 1974744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339089
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88874
involuntary context switches= 7418


# summary of solver processes directly reported to runsolver:
#   pid: 17649
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2517.24
#   total CPU system time (s): 2.82299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5606 second user time and 22.3025 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-17 01:58:06
IDJOB=4401138
IDBENCH=124232
IDSOLVER=2857
FILE ID=node140/4401138-1568678327
RUNJOBID= node140-1568673290-15915
PBS_JOBID= 21703779
Free space on /tmp= 58080 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t08-9.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4401138-1568678327/watcher-4401138-1568678327 -o /tmp/evaluation-result-4401138-1568678327/solver-4401138-1568678327 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568673290-15915 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1612266580 HOME/instance-4401138-1568678327.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4c656a32ec3c33e829e63e71b466a9e3
RANDOM SEED=1612266580

node140.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.43
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.43
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.43
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.43
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:        26635480 kB
MemAvailable:   31257004 kB
Buffers:          184772 kB
Cached:          4679984 kB
SwapCached:         2596 kB
Active:          2225988 kB
Inactive:        3237628 kB
Active(anon):     596956 kB
Inactive(anon):    51496 kB
Active(file):    1629032 kB
Inactive(file):  3186132 kB
Unevictable:      108708 kB
Mlocked:          108708 kB
SwapTotal:      67108860 kB
SwapFree:       66999436 kB
Dirty:             35924 kB
Writeback:             8 kB
AnonPages:        698140 kB
Mapped:            61540 kB
Shmem:             40584 kB
Slab:             264708 kB
SReclaimable:     234820 kB
SUnreclaim:        29888 kB
KernelStack:        3872 kB
PageTables:         7124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1788468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    608256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 58044 MiB
End job on node140 at 2019-09-17 02:39:13