Trace number 4291995

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
OscaR - Parallel with EPS 2018-07-02SAT (TO)401138650 19863.3 2520.37

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-16-0260_c18.xml
MD5SUM3d35ef38e8714b8368aba06bbd25b59a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark374513959
Best CPU time to get the best result obtained on this benchmark2762.71
Satisfiable
(Un)Satisfiability was proved
Number of variables6038
Number of constraints3927
Number of domains31
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":2094},{"size":11,"count":1839},{"size":12,"count":1},{"size":21,"count":98},{"size":23,"count":52},{"size":33,"count":21},{"size":35,"count":35},{"size":39,"count":50},{"size":41,"count":27},{"size":43,"count":72},{"size":45,"count":55},{"size":59,"count":83},{"size":65,"count":46},{"size":67,"count":53},{"size":83,"count":41},{"size":99,"count":155},{"size":111,"count":164},{"size":114,"count":81},{"size":126,"count":165},{"size":146,"count":205},{"size":151,"count":696}]
Minimum variable degree2
Maximum variable degree1840
Distribution of variable degrees[{"degree":2,"count":5517},{"degree":4,"count":3},{"degree":5,"count":4},{"degree":6,"count":4},{"degree":7,"count":11},{"degree":8,"count":11},{"degree":9,"count":17},{"degree":10,"count":28},{"degree":11,"count":24},{"degree":12,"count":23},{"degree":13,"count":37},{"degree":14,"count":44},{"degree":15,"count":45},{"degree":16,"count":38},{"degree":17,"count":46},{"degree":18,"count":63},{"degree":19,"count":76},{"degree":20,"count":46},{"degree":1840,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":249},{"arity":3,"count":1839},{"arity":6,"count":1839}]
Number of extensional constraints1839
Number of intensional constraints2088
Distribution of constraint types[{"type":"extension","count":1839},{"type":"intension","count":2088}]
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.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 152871059
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
25.80/12.60	c Parsing done, starting search...
414.67/80.20	o 401745847
415.37/80.21	o 401727447
415.37/80.23	o 401709047
415.37/80.25	o 401690647
415.37/80.29	o 401672247
415.37/80.30	o 401653857
416.18/80.33	o 401635467
416.18/80.38	o 401635464
416.18/80.39	o 401617074
416.88/80.40	o 401617073
416.88/80.42	o 401617064
416.88/80.43	o 401598683
416.88/80.44	o 401598674
416.88/80.45	o 401598673
416.88/80.46	o 401598664
417.66/80.59	o 401580283
417.66/80.59	o 401580274
418.41/80.61	o 401580273
418.41/80.62	o 401580264
418.41/80.63	o 401561892
418.41/80.64	o 401561883
418.41/80.65	o 401561874
418.41/80.66	o 401561873
418.41/80.67	o 401561864
418.41/80.67	o 401543510
418.41/80.69	o 401543501
419.16/80.70	o 401543492
419.16/80.70	o 401543483
419.16/80.72	o 401543474
419.16/80.74	o 401543473
419.16/80.75	o 401543464
419.16/80.75	o 401525092
419.16/80.77	o 401525083
419.16/80.78	o 401525074
419.16/80.79	o 401525067
419.16/80.80	o 401506692
419.97/80.81	o 401506683
419.97/80.82	o 401506674
419.97/80.84	o 401506673
419.97/80.85	o 401488292
419.97/80.86	o 401488283
419.97/80.87	o 401488274
419.97/80.89	o 401488265
420.78/80.91	o 401469909
420.78/80.92	o 401469900
420.78/80.92	o 401469891
420.78/80.94	o 401469883
420.78/80.95	o 401469874
420.78/80.96	o 401469865
420.78/80.98	o 401451509
420.78/80.99	o 401451500
420.78/81.01	o 401451491
420.78/81.01	o 401451483
421.68/81.03	o 401451474
421.68/81.04	o 401451465
422.49/81.13	o 401433083
422.49/81.14	o 401433074
426.32/81.64	o 401414693
426.32/81.65	o 401414684
426.32/81.69	o 401414683
426.32/81.70	o 401414674
427.13/81.72	o 401414665
427.13/81.76	o 401396298
427.13/81.77	o 401396289
427.13/81.79	o 401396284
427.92/81.81	o 401396279
427.92/81.81	o 401396270
427.92/81.82	o 401396265
791.85/127.56	o 401396262
791.85/127.57	o 401396257
791.85/127.58	o 401396249
791.85/127.59	o 401396243
792.64/127.60	o 401396235
792.64/127.62	o 401377898
792.64/127.63	o 401377889
792.64/127.64	o 401377884
792.64/127.67	o 401377879
792.64/127.67	o 401377874
793.47/127.74	o 401377870
793.47/127.75	o 401377865
1134.48/170.54	o 401377841
1134.48/170.56	o 401377836
1135.28/170.62	o 401377832
1135.28/170.62	o 401377827
1145.61/171.92	o 401359451
1145.61/171.93	o 401359446
1147.27/172.12	o 401359437
1161.54/173.99	o 401359436
1162.40/174.01	o 401341046
1162.40/174.02	o 401341037
3097.55/416.85	o 401341036
3097.55/416.87	o 401322646
3100.73/417.29	o 401322637
4858.08/637.77	o 401322636
4858.08/637.79	o 401304265
4858.88/637.80	o 401304260
4858.88/637.81	o 401304246
4863.66/638.45	o 401304237
4941.76/648.26	o 401304236
4941.76/648.28	o 401304232
4941.76/648.29	o 401304227
4949.74/649.21	o 401285847
4949.74/649.26	o 401285846
4949.74/649.28	o 401285837
6872.60/890.56	o 401285836
6872.60/890.58	o 401285835
6872.60/890.59	o 401285827
6873.41/890.61	o 401267454
6873.41/890.62	o 401267445
6873.41/890.63	o 401267437
6979.45/903.90	o 401267436
6981.83/904.22	o 401267427
7003.37/906.99	o 401249078
7003.37/907.01	o 401249069
7005.76/907.28	o 401249064
7005.76/907.29	o 401249055
7006.61/907.34	o 401249046
7007.35/907.42	o 401249037
12389.93/1582.76	o 401230668
12389.93/1582.77	o 401230659
12389.93/1582.78	o 401230654
12390.76/1582.84	o 401230650
12390.76/1582.85	o 401230645
15024.51/1913.21	o 401212268
15024.51/1913.21	o 401212259
15029.31/1913.86	o 401212250
17455.12/2218.17	o 401212245
17516.43/2225.81	o 401193890
17516.43/2225.82	o 401193885
17516.43/2225.83	o 401193881
17516.43/2225.84	o 401193876
17516.43/2225.85	o 401193875
17516.43/2225.87	o 401193871
17516.43/2225.87	o 401193866
17516.43/2225.89	o 401193864
17516.43/2225.90	o 401193859
17933.39/2278.15	o 401193856
18004.31/2287.04	o 401193855
18004.31/2287.04	o 401193850
18374.09/2333.42	o 401193849
18374.09/2333.45	o 401193847
18374.09/2333.47	o 401193845
18374.09/2333.48	o 401193840
18375.68/2333.68	o 401175499
18375.68/2333.69	o 401175494
18375.68/2333.70	o 401175490
18376.53/2333.72	o 401175485
18376.53/2333.73	o 401175484
18376.53/2333.74	o 401175480
18376.53/2333.74	o 401175475
18376.53/2333.76	o 401175473
18376.53/2333.76	o 401175468
18376.53/2333.78	o 401175466
18376.53/2333.79	o 401175464
18377.28/2333.80	o 401175459
18377.28/2333.83	o 401175457
18377.28/2333.84	o 401175455
18377.28/2333.85	o 401175450
19532.75/2478.81	o 401175445
19532.75/2478.82	o 401175442
19532.75/2478.83	o 401175440
19532.75/2478.85	o 401175435
19543.91/2480.28	o 401157076
19543.91/2480.29	o 401157071
19543.91/2480.30	o 401157067
19544.77/2480.31	o 401157062
19544.77/2480.33	o 401157060
19544.77/2480.34	o 401157055
19544.77/2480.36	o 401157052
19544.77/2480.37	o 401157050
19544.77/2480.39	o 401157045
19618.80/2489.66	o 401138692
19618.80/2489.66	o 401138683
19618.80/2489.68	o 401138678
19618.80/2489.70	o 401138676
19619.64/2489.71	o 401138674
19619.64/2489.72	o 401138669
19619.64/2489.73	o 401138666
19619.64/2489.75	o 401138664
19619.64/2489.77	o 401138659
19733.65/2504.01	o 401138655
19733.65/2504.03	o 401138650
19861.25/2520.11	s SATISFIABLE
19861.25/2520.11	v <instantiation>
19861.25/2520.11	v 	<list>
19861.25/2520.11	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] 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] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838]
19861.25/2520.11	v 	</list>
19861.25/2520.11	v 	<values>
19861.25/2520.11	v 		2516 2472 2552 2780 2544 2648 2660 2608 2492 2436 2776 2724 2444 2556 2532 2440 2624 2480 2612 2500 2480 2792 2508 2548 2740 2724 2684 2764 2660 2740 2768 2760 2736 2556 2516 2752 2672 2476 2644 2604 2720 2440 2628 2476 2588 2476 2532 2612 2480 2620 2652 2616 2648 2520 2532 2516 2476 2648 2588 2560 2516 2572 2532 2552 2536 2736 2608 2472 2488 2780 2660 2712 2504 2488 2724 2536 2532 2436 2476 2504 2516 2728 2436 2508 2516 2636 2468 2764 2760 2504 2720 2676 2716 2432 2612 2524 2760 2540 2528 2660 2484 2512 2668 2548 2576 2516 2472 2476 2760 2620 2456 2612 2520 2452 2520 2512 2476 2740 2780 2532 2520 2624 2572 2492 2660 2576 2512 2756 2640 2516 2492 2476 2476 2620 2472 2480 2524 2740 2596 2600 2712 2480 2612 2528 2732 2548 2664 2472 2548 2512 2780 2492 2492 2780 2440 2640 2800 2764 2708 2576 2508 2540 2476 2644 2716 2612 2524 2516 2516 2632 2728 2532 2668 2676 2664 2592 2520 2608 2496 2768 2540 2476 2668 2652 2660 2484 2764 2520 2472 2500 2484 2516 2644 2740 2780 2428 2492 2708 2560 2620 2604 2516 2572 2476 2772 2716 2476 2696 2768 2672 2476 2624 2492 2620 2728 2480 2664 2724 2476 2676 2516 2468 2620 2728 2512 2536 2600 2572 2580 2516 2520 2468 2652 2740 2620 2768 2532 2492 2464 2512 2500 2724 2432 2476 2544 2624 2496 2528 2764 2752 2472 2488 2720 2404 2480 2476 2664 2560 2516 2508 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 11 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 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 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 1 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 0 1 1 0 0 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 0 10 10 10 10 0 0 10 10 10 10 10 0 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 0 0 10 0 10 0 10 10 10 0 0 10 10 10 10 9 10 10 10 10 10 10 0 10 10 10 0 0 0 10 10 0 0 10 10 10 10 10 10 10 10 10 0 0 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 0 0 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 0 0 10 0 10 10 10 10 10 10 10 10 10 10 10 0 0 0 10 10 10 0 10 0 0 10 10 0 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 0 0 10 10 10 10 10 0 10 0 0 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 10 0 10 10 10 0 10 10 10 0 10 10 0 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 0 10 0 0 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 0 10 0 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 0 10 10 10 0 9 10 10 0 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 0 10 10 10 10 0 10 0 10 0 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 7 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 8 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 0 10 10 10 0 10 10 0 0 0 0 10 10 10 10 0 0 10 0 10 0 10 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 7 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 0 10 10 10 10 10 0 10 10 0 10 0 10 10 10 10 0 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 0 0 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 0 10 10 10 10 10 0 10 10 0 10 10 10 10 10 0 0 10 10 10 0 10 208 40 36 144 248 12 204 96 104 4 16 24 0 180 236 264 68 76 48 48 8 236 36 188 0 308 8 100 72 152 292 56 60 52 96 0 20 44 60 24 56 216 44 300 260 348 12 108 12 36 220 32 4 32 236 228 132 184 56 28 172 40 132 216 112 20 196 92 156 68 28 28 80 4 148 104 120 172 132 168 220 16 184 76 60 148 184 140 132 16 132 76 0 148 132 116 108 56 112 160 28 268 20 8 236 160 248 288 168 0 0 140 36 184 188 56 56 40 276 344 4 240 80 28 12 300 40 4 268 252 4 236 124 300 104 52 12 24 216 260 136 64 220 188 232 40 48 232 236 112 292 8 320 276 316 168 28 336 264 72 48 176 84 204 164 36 32 204 44 80 84 40 112 84 4 80 68 208 8 32 88 196 64 52 24 60 120 132 296 28 8 84 108 32 52 276 60 36 76 140 32 108 156 92 108 132 84 20 48 104 80 96 80 284 48 32 4 8 184 172 20 216 288 36 12 136 8 48 0 84 52 64 32 8 8 76 108 224 268 20 16 136 12 120 124 12 164 280 32 152 16 16 16 0 68 4 4 4 116 232 300 172 228 4 236 12 0 28 260 316 28 340 276 52 312 112 140 28 28 4 212 32 28 40 4 256 16 232 212 72 16 60 112 112 80 116 72 24 216 64 32 68 80 32 136 264 40 28 252 220 248 264 140 128 148 72 76 204 0 248 28 192 252 236 248 64 56 272 100 84 176 232 248 236 56 168 248 168 32 168 212 44 172 84 24 4 324 288 40 44 240 252 192 144 52 272 248 88 112 12 276 56 144 12 128 64 132 8 40 184 68 180 4 20 228 164 168 260 32 128 12 312 32 116 196 252 256 292 176 296 256 252 300 268 272 188 0 288 288 116 288 260 220 116 264 124 208 220 36 260 156 116 224 196 116 52 184 24 68 80 216 16 80 164 80 88 36 40 8 160 40 224 128 40 16 124 272 36 268 276 280 28 12 100 44 196 200 12 52 52 112 0 260 8 44 100 72 136 200 0 184 288 40 16 44 68 52 32 128 92 188 172 64 24 120 136 80 44 8 24 240 16 56 116 92 8 56 112 84 20 4 136 160 60 232 0 108 40 228 196 8 200 68 228 8 0 240 36 36 48 64 324 76 332 328 52 224 8 124 8 32 80 48 36 136 8 68 92 8 164 112 4 28 0 252 288 168 264 220 244 112 148 100 120 132 68 52 124 176 72 32 140 112 136 40 132 236 248 0 28 72 264 72 144 60 20 288 88 28 0 0 96 104 92 12 16 56 88 48 56 92 92 52 180 140 52 140 120 52 20 72 136 92 128 96 256 248 280 300 180 184 40 4 248 144 28 0 104 88 48 144 152 76 120 132 60 24 112 132 132 88 172 76 144 112 176 44 168 180 32 100 180 56 108 20 184 160 4 144 148 116 132 100 4 36 36 128 212 136 0 124 40 88 124 40 4 12 116 148 144 48 260 144 0 20 36 4 208 40 56 144 16 56 144 28 8 12 124 192 60 128 264 24 40 212 8 12 40 40 280 0 168 156 188 24 296 8 20 116 132 12 64 84 16 56 24 76 180 88 124 176 132 72 96 32 124 96 56 128 108 84 96 112 64 92 184 72 164 124 76 36 104 88 104 40 60 112 44 20 20 196 36 4 284 16 76 252 52 236 0 40 32 56 88 92 32 52 56 136 32 104 92 96 44 56 64 248 40 136 16 240 236 88 20 232 24 60 20 40 204 68 72 24 80 20 116 8 68 20 56 24 8 0 228 224 44 20 44 64 12 24 16 52 36 140 232 184 224 4 164 4 188 28 64 172 68 52 12 172 136 12 92 116 48 36 136 56 4 308 104 140 292 4 188 20 4 48 4 72 52 232 180 40 60 48 36 28 44 164 4 20 24 232 72 276 20 252 260 168 148 12 160 116 156 144 8 188 188 136 0 176 184 140 4 12 52 72 188 180 192 36 176 200 236 16 108 72 44 36 12 220 120 260 48 12 52 12 252 112 32 72 188 132 236 232 288 240 16 16 232 152 48 208 256 72 192 232 40 204 220 172 108 12 56 40 48 184 44 16 44 16 144 112 88 16 192 64 4 112 16 344 224 40 292 344 56 32 136 84 216 284 0 264 96 144 136 72 8 128 248 8 0 108 256 120 32 44 12 36 12 140 32 100 96 12 12 32 8 160 212 4 108 104 228 200 4 140 76 44 88 36 76 84 64 124 80 40 256 160 16 32 32 136 32 112 8 32 8 144 224 192 40 20 12 168 204 124 76 28 164 116 136 144 72 76 120 164 44 12 196 4 52 16 48 136 48 112 4 88 48 124 100 272 36 148 284 148 252 148 244 32 264 220 288 88 32 248 232 356 236 28 116 276 12 28 28 16 100 60 76 100 152 84 156 156 204 196 128 88 192 52 212 272 240 24 4 204 8 240 92 40 84 100 244 232 68 52 84 148 148 160 128 12 48 8 160 156 120 180 4 12 4 44 256 144 40 48 44 32 92 248 284 280 232 116 128 32 44 188 280 20 28 20 36 32 0 20 56 80 64 84 60 60 52 44 228 92 0 20 104 76 168 148 16 12 48 120 28 4 0 144 88 12 136 8 8 48 36 12 280 240 8 280 24 8 112 20 8 36 92 256 88 24 44 192 152 168 48 16 176 236 172 152 164 116 232 12 168 80 40 136 100 188 176 60 24 212 4 128 160 28 0 148 20 4 56 4 20 304 0 292 16 40 0 280 4 268 284 8 296 4 280 144 148 44 120 104 56 100 104 208 184 68 80 76 36 32 264 80 12 40 96 8 64 96 120 108 0 56 12 36 100 44 40 56 40 40 28 160 120 24 276 36 8 0 40 56 12 20 36 48 100 104 40 232 40 268 64 28 40 108 32 112 108 148 184 4 324 132 264 16 60 44 0 116 164 248 40 120 120 76 240 0 288 104 292 376 40 16 236 0 4 44 8 12 48 84 252 152 44 200 116 112 24 96 48 140 132 48 56 80 136 48 152 24 120 52 216 84 28 280 0 12 248 276 20 68 144 8 52 184 8 144 40 148 128 48 100 56 152 44 56 144 68 152 132 16 28 8 28 92 216 0 124 8 24 280 184 244 352 12 212 152 224 20 4 104 12 40 68 60 240 0 44 176 36 64 116 288 60 8 92 88 112 96 0 32 188 244 188 20 292 36 12 140 4 216 56 120 172 184 188 80 48 8 12 240 196 128 108 208 44 240 116 172 36 24 24 56 68 112 108 24 0 92 192 240 112 280 8 96 44 8 164 140 4 144 0 144 80 168 72 20 92 40 152 108 252 36 52 240 16 60 52 20 192 8 204 8 104 232 76 188 180 44 104 196 148 308 192 28 44 160 232 56 72 52 84 60 12 8 16 36 24 48 148 0 12 288 312 260 288 224 24 24 28 40 24 40 184 276 216 16 132 128 4 228 16 308 116 252 44 52 160 28 48 128 124 112 168 124 208 280 280 288 176 120 36 36 144 332 248 20 116 104 60 232 68 104 44 100 48 96 84 48 16 32 144 152 24 232 32 116 256 52 16 24 68 56 68 84 60 84 264 4 72 12 24 36 120 72 168 128 80 144 128 136 200 48 240 200 228 96 56 56 128 136 116 48 60 160 136 0 104 48 84 108 36 156 68 52 168 92 196 148 200 100 180 32 208 184 76 180 44 148 60 148 64 84 188 32 220 260 176 100 132 244 96 140 204 0 40 232 128 32 8 40 232 220 8 4 0 24 96 156 152 120 176 140 80 172 168 228 104 12 136 140 4 48 140 12 4 76 336 88 220 196 4 52 60 308 148 16 228 16 228 80 224 68 76 8 96 40 4 0 4 252 128 20 84 80 44 100 32 180 228 220 208 248 12 268 300 312 232 16 4 136 176 196 164 44 12 80 44 144 140 20 60 112 4 128 0 4 4 248 220 296 192 172 244 4 148 276 84 32 180 76 16 100 200 8 52 144 24 0 128 276 8 108 104 120 88 144 4 8 56 144 44 132 104 228 292 20 144 64 132 104 272 24 4 284 40 120 216 216 220 88 252 104 140 68 64 52 80 108 108 236 28 248 272 256 28 92 40 128 252 60 172 44 24 56 72 84 120 128 32 20 348 88 
19861.25/2520.11	v 	</values>
19861.25/2520.11	v </instantiation>

Verifier Data 

OK	401138650

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291995-1532648537/watcher-4291995-1532648537 -o /tmp/evaluation-result-4291995-1532648537/solver-4291995-1532648537 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532646015-7507 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 152871059 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291995-1532648537.xml 

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

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


[startup+0.100157 s]*
/proc/loadavg: 8.73 9.13 9.07 2/204 7754
/proc/meminfo: memFree=23450456/32770624 swapFree=67108860/67108860
[pid=7734] ppid=7731 vsize=26103424 memory=32284 CPUtime=0.11 cores=0-7
/proc/7734/stat : 7734 (java) S 7731 7734 7480 0 -1 1077944320 7007 0 0 0 10 1 0 0 20 0 20 0 82416874 26729906176 8071 33554432000 4194304 4196468 140731433523088 140731433505632 139758450192119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
/proc/7734/statm: 6525856 8071 3117 1 0 6487932 0
[pid=7734/tid=7736] ppid=7731 vsize=26103424 memory=4355433231285384091 CPUtime=0.09 cores=0-7
/proc/7734/task/7736/stat : 7736 (java) R 7731 7734 7480 0 -1 4202560 5176 0 0 0 8 1 0 0 20 0 20 0 82416875 26729906176 8137 33554432000 4194304 4196468 140731433523088 139758454386928 139758436390064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7737] ppid=7731 vsize=26103424 memory=732369938384366565 CPUtime=0 cores=0-7
/proc/7734/task/7737/stat : 7737 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 8137 33554432000 4194304 4196468 140731433523088 139758372772240 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7738] ppid=7731 vsize=26103424 memory=139800046913152 CPUtime=0 cores=0-7
/proc/7734/task/7738/stat : 7738 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 8137 33554432000 4194304 4196468 140731433523088 139758371719440 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7739] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7739/stat : 7739 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 8197 33554432000 4194304 4196468 140731433523088 139758006196880 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7740] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7740/stat : 7740 (java) S 7731 7734 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 8197 33554432000 4194304 4196468 140731433523088 139758005144080 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7741] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7741/stat : 7741 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 8197 33554432000 4194304 4196468 140731433523088 139758004091792 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7742] ppid=7731 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/7734/task/7742/stat : 7742 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 8197 33554432000 4194304 4196468 140731433523088 139758003038992 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7743] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7743/stat : 7743 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 8197 33554432000 4194304 4196468 140731433523088 139758001986704 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7744] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7744/stat : 7744 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 8197 33554432000 4194304 4196468 140731433523088 139758000933904 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7745] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7745/stat : 7745 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416877 26729906176 8197 33554432000 4194304 4196468 140731433523088 139756857870448 139758450203266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7746] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7746/stat : 7746 (java) S 7731 7734 7480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82416877 26729906176 8197 33554432000 4194304 4196468 140731433523088 139756856816416 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7747] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7747/stat : 7747 (java) S 7731 7734 7480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82416877 26729906176 8197 33554432000 4194304 4196468 140731433523088 139756855764080 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7748] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7748/stat : 7748 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416880 26729906176 8197 33554432000 4194304 4196468 140731433523088 139756854712400 139758450210715 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7749] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7749/stat : 7749 (java) S 7731 7734 7480 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 82416880 26729906176 8197 33554432000 4194304 4196468 140731433523088 139756853660272 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7750] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7750/stat : 7750 (java) S 7731 7734 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82416880 26729906176 8197 33554432000 4194304 4196468 140731433523088 139756852607472 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7751] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7751/stat : 7751 (java) S 7731 7734 7480 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 20 0 82416880 26729906176 8197 33554432000 4194304 4196468 140731433523088 139756851555184 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7752] ppid=7731 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/7734/task/7752/stat : 7752 (java) S 7731 7734 7480 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 20 0 82416880 26729906176 8197 33554432000 4194304 4196468 140731433523088 139756850502384 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7753] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7753/stat : 7753 (java) S 7731 7734 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82416880 26729906176 8197 33554432000 4194304 4196468 140731433523088 139756849449312 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7754] ppid=7731 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/7734/task/7754/stat : 7754 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416880 26729906176 8197 33554432000 4194304 4196468 140731433523088 139756848396592 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 32284 KiB

[startup+0.210602 s]*
/proc/loadavg: 8.73 9.13 9.07 4/204 7754
/proc/meminfo: memFree=23436876/32770624 swapFree=67108860/67108860
[pid=7734] ppid=7731 vsize=26103424 memory=43684 CPUtime=0.31 cores=0-7
/proc/7734/stat : 7734 (java) S 7731 7734 7480 0 -1 1077944320 10116 0 0 0 28 3 0 0 20 0 20 0 82416874 26729906176 10921 33554432000 4194304 4196468 140731433523088 140731433505632 139758450192119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
/proc/7734/statm: 6525856 10921 3332 1 0 6487932 0
[pid=7734/tid=7736] ppid=7731 vsize=26103424 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/7734/task/7736/stat : 7736 (java) R 7731 7734 7480 0 -1 4202560 7870 0 0 0 18 1 0 0 20 0 20 0 82416875 26729906176 10921 33554432000 4194304 4196468 140731433523088 139758454422032 139758434272606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7737] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7737/stat : 7737 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 10921 33554432000 4194304 4196468 140731433523088 139758372772240 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7738] ppid=7731 vsize=26103424 memory=139800047384213 CPUtime=0 cores=0-7
/proc/7734/task/7738/stat : 7738 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 10921 33554432000 4194304 4196468 140731433523088 139758371719440 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7739] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7739/stat : 7739 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 10921 33554432000 4194304 4196468 140731433523088 139758006196880 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7740] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7740/stat : 7740 (java) S 7731 7734 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 10921 33554432000 4194304 4196468 140731433523088 139758005144080 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7741] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7741/stat : 7741 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 10921 33554432000 4194304 4196468 140731433523088 139758004091792 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7742] ppid=7731 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/7734/task/7742/stat : 7742 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 10921 33554432000 4194304 4196468 140731433523088 139758003038992 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7743] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7743/stat : 7743 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 10921 33554432000 4194304 4196468 140731433523088 139758001986704 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7744] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7744/stat : 7744 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 10921 33554432000 4194304 4196468 140731433523088 139758000933904 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7745] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7745/stat : 7745 (java) S 7731 7734 7480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82416877 26729906176 10921 33554432000 4194304 4196468 140731433523088 139756857870448 139758450203266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7746] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7746/stat : 7746 (java) S 7731 7734 7480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82416877 26729906176 10921 33554432000 4194304 4196468 140731433523088 139756856816416 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7747] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7747/stat : 7747 (java) S 7731 7734 7480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82416877 26729906176 10921 33554432000 4194304 4196468 140731433523088 139756855764080 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7748] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7748/stat : 7748 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416880 26729906176 10921 33554432000 4194304 4196468 140731433523088 139756854712400 139758450210715 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7749] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7749/stat : 7749 (java) S 7731 7734 7480 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 20 0 82416880 26729906176 10921 33554432000 4194304 4196468 140731433523088 139756853660272 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7750] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7750/stat : 7750 (java) S 7731 7734 7480 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 82416880 26729906176 10921 33554432000 4194304 4196468 140731433523088 139756852607472 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7751] ppid=7731 vsize=26103424 memory=0 CPUtime=0.02 cores=0-7
/proc/7734/task/7751/stat : 7751 (java) S 7731 7734 7480 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 20 0 82416880 26729906176 10921 33554432000 4194304 4196468 140731433523088 139756851555184 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7752] ppid=7731 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/7734/task/7752/stat : 7752 (java) R 7731 7734 7480 0 -1 4202560 292 0 0 0 6 0 0 0 20 0 20 0 82416880 26729906176 10921 33554432000 4194304 4196468 140731433523088 139756850502384 139758450213466 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7753] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7753/stat : 7753 (java) S 7731 7734 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82416880 26729906176 10921 33554432000 4194304 4196468 140731433523088 139756849449312 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7754] ppid=7731 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/7734/task/7754/stat : 7754 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416880 26729906176 10921 33554432000 4194304 4196468 140731433523088 139756848396592 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43684 KiB

[startup+0.310651 s]*
/proc/loadavg: 8.73 9.13 9.07 2/204 7754
/proc/meminfo: memFree=23433324/32770624 swapFree=67108860/67108860
[pid=7734] ppid=7731 vsize=26103424 memory=47236 CPUtime=0.43 cores=0-7
/proc/7734/stat : 7734 (java) S 7731 7734 7480 0 -1 1077944320 10521 0 0 0 40 3 0 0 20 0 20 0 82416874 26729906176 11809 33554432000 4194304 4196468 140731433523088 140731433505632 139758450192119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
/proc/7734/statm: 6525856 11809 3369 1 0 6487932 0
[pid=7734/tid=7736] ppid=7731 vsize=26103424 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/7734/task/7736/stat : 7736 (java) R 7731 7734 7480 0 -1 4202560 8209 0 0 0 28 2 0 0 20 0 20 0 82416875 26729906176 11809 33554432000 4194304 4196468 140731433523088 139758454401840 139758431755648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7737] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7737/stat : 7737 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 11809 33554432000 4194304 4196468 140731433523088 139758372772240 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7738] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7738/stat : 7738 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 11809 33554432000 4194304 4196468 140731433523088 139758371719440 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7739] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7739/stat : 7739 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 11809 33554432000 4194304 4196468 140731433523088 139758006196880 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7740] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7740/stat : 7740 (java) S 7731 7734 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 11809 33554432000 4194304 4196468 140731433523088 139758005144080 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7741] ppid=7731 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/7734/task/7741/stat : 7741 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 11809 33554432000 4194304 4196468 140731433523088 139758004091792 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7742] ppid=7731 vsize=26103424 memory=139799910511535 CPUtime=0 cores=0-7
/proc/7734/task/7742/stat : 7742 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 11809 33554432000 4194304 4196468 140731433523088 139758003038992 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7743] ppid=7731 vsize=26103424 memory=139799910513840 CPUtime=0 cores=0-7
/proc/7734/task/7743/stat : 7743 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 11809 33554432000 4194304 4196468 140731433523088 139758001986704 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7744] ppid=7731 vsize=26103424 memory=139799910516144 CPUtime=0 cores=0-7
/proc/7734/task/7744/stat : 7744 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26729906176 11809 33554432000 4194304 4196468 140731433523088 139758000933904 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7745] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7745/stat : 7745 (java) S 7731 7734 7480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82416877 26729906176 11809 33554432000 4194304 4196468 140731433523088 139756857870448 139758450203266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7746] ppid=7731 vsize=26103424 memory=279599821039248 CPUtime=0 cores=0-7
/proc/7734/task/7746/stat : 7746 (java) S 7731 7734 7480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82416877 26729906176 11809 33554432000 4194304 4196468 140731433523088 139756856816416 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7747] ppid=7731 vsize=26103424 memory=279599821046160 CPUtime=0 cores=0-7
/proc/7734/task/7747/stat : 7747 (java) S 7731 7734 7480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82416877 26729906176 11809 33554432000 4194304 4196468 140731433523088 139756855764080 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7748] ppid=7731 vsize=26103424 memory=279599820987440 CPUtime=0 cores=0-7
/proc/7734/task/7748/stat : 7748 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416880 26729906176 11809 33554432000 4194304 4196468 140731433523088 139756854712400 139758450210715 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7749] ppid=7731 vsize=26103424 memory=279599821059984 CPUtime=0 cores=0-7
/proc/7734/task/7749/stat : 7749 (java) S 7731 7734 7480 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 82416880 26729906176 11809 33554432000 4194304 4196468 140731433523088 139756853660272 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7750] ppid=7731 vsize=26103424 memory=279599821066896 CPUtime=0.01 cores=0-7
/proc/7734/task/7750/stat : 7750 (java) S 7731 7734 7480 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 82416880 26729906176 11809 33554432000 4194304 4196468 140731433523088 139756852607472 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7751] ppid=7731 vsize=26103424 memory=279599821064592 CPUtime=0.02 cores=0-7
/proc/7734/task/7751/stat : 7751 (java) S 7731 7734 7480 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 20 0 82416880 26729906176 11809 33554432000 4194304 4196468 140731433523088 139756851555184 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7752] ppid=7731 vsize=26103424 memory=279599821081152 CPUtime=0.07 cores=0-7
/proc/7734/task/7752/stat : 7752 (java) S 7731 7734 7480 0 -1 1077944384 298 0 0 0 7 0 0 0 20 0 20 0 82416880 26729906176 11809 33554432000 4194304 4196468 140731433523088 139756850502384 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7753] ppid=7731 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7753/stat : 7753 (java) S 7731 7734 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82416880 26729906176 11809 33554432000 4194304 4196468 140731433523088 139756849449312 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7754] ppid=7731 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/7734/task/7754/stat : 7754 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416880 26729906176 11809 33554432000 4194304 4196468 140731433523088 139756848396592 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 47236 KiB

[startup+0.700894 s]
/proc/loadavg: 8.73 9.13 9.07 2/204 7754
/proc/meminfo: memFree=23409388/32770624 swapFree=67108860/67108860
[pid=7734] ppid=7731 vsize=26105492 memory=87412 CPUtime=0.99 cores=0-7
/proc/7734/stat : 7734 (java) S 7731 7734 7480 0 -1 1077944320 17349 0 0 0 94 5 0 0 20 0 20 0 82416874 26732023808 21853 33554432000 4194304 4196468 140731433523088 140731433505632 139758450192119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
/proc/7734/statm: 6526373 21853 3496 1 0 6488444 0
[pid=7734/tid=7736] ppid=7731 vsize=26105492 memory=5787213938716524640 CPUtime=0.67 cores=0-7
/proc/7734/task/7736/stat : 7736 (java) R 7731 7734 7480 0 -1 4202560 14571 0 0 0 64 3 0 0 20 0 20 0 82416875 26732023808 21853 33554432000 4194304 4196468 140731433523088 139758454415424 139758435873423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7737] ppid=7731 vsize=26105492 memory=33298881461394 CPUtime=0 cores=0-7
/proc/7734/task/7737/stat : 7737 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26732023808 21853 33554432000 4194304 4196468 140731433523088 139758372772240 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7738] ppid=7731 vsize=26105492 memory=139799910521455 CPUtime=0 cores=0-7
/proc/7734/task/7738/stat : 7738 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416875 26732023808 21853 33554432000 4194304 4196468 140731433523088 139758371719440 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7739] ppid=7731 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7739/stat : 7739 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416875 26732023808 21853 33554432000 4194304 4196468 140731433523088 139758006196880 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7740] ppid=7731 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7740/stat : 7740 (java) S 7731 7734 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82416875 26732023808 21853 33554432000 4194304 4196468 140731433523088 139758005144080 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7741] ppid=7731 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7741/stat : 7741 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26732023808 21853 33554432000 4194304 4196468 140731433523088 139758004091792 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7742] ppid=7731 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7742/stat : 7742 (java) S 7731 7734 7480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82416875 26732023808 21853 33554432000 4194304 4196468 140731433523088 139758003038992 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7743] ppid=7731 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/7734/task/7743/stat : 7743 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26732023808 21853 33554432000 4194304 4196468 140731433523088 139758001986704 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7744] ppid=7731 vsize=26105492 memory=1804 CPUtime=0 cores=0-7
/proc/7734/task/7744/stat : 7744 (java) S 7731 7734 7480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82416875 26732023808 21853 33554432000 4194304 4196468 140731433523088 139758000933904 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7745] ppid=7731 vsize=26105492 memory=796 CPUtime=0 cores=0-7
/proc/7734/task/7745/stat : 7745 (java) S 7731 7734 7480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82416877 26732023808 21853 33554432000 4194304 4196468 140731433523088 139756857870448 139758450203266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0

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

[pid=7734/tid=7762] ppid=7731 vsize=27852576 memory=4616 CPUtime=5.07 cores=0-7
/proc/7734/task/7762/stat : 7762 (java) S 7731 7734 7480 0 -1 1077944384 2737 0 0 0 502 5 0 0 20 0 46 0 82420322 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756754154384 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7763] ppid=7731 vsize=27852576 memory=1388 CPUtime=2461.09 cores=0-7
/proc/7734/task/7763/stat : 7763 (java) R 7731 7734 7480 0 -1 4202560 108465 0 0 0 245915 194 0 0 20 0 46 0 82420322 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756753094120 139758064952600 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7764] ppid=7731 vsize=27852576 memory=1232 CPUtime=5.85 cores=0-7
/proc/7734/task/7764/stat : 7764 (java) S 7731 7734 7480 0 -1 1077944384 2409 0 0 0 557 28 0 0 20 0 46 0 82420322 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756752049296 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7765] ppid=7731 vsize=27852576 memory=1012 CPUtime=2440.36 cores=0-7
/proc/7734/task/7765/stat : 7765 (java) R 7731 7734 7480 0 -1 4202560 142178 0 0 0 243804 232 0 0 20 0 46 0 82420323 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756750988904 139758059008789 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7766] ppid=7731 vsize=27852576 memory=11671520 CPUtime=2460.82 cores=0-7
/proc/7734/task/7766/stat : 7766 (java) R 7731 7734 7480 0 -1 4202560 135046 0 0 0 245848 234 0 0 20 0 46 0 82420324 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756749936328 139758065647830 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7767] ppid=7731 vsize=27852576 memory=796 CPUtime=2441.56 cores=0-7
/proc/7734/task/7767/stat : 7767 (java) R 7731 7734 7480 0 -1 4202560 106699 0 0 0 243928 228 0 0 20 0 46 0 82420324 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756748883608 139758064035372 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7768] ppid=7731 vsize=27852576 memory=11671520 CPUtime=0 cores=0-7
/proc/7734/task/7768/stat : 7768 (java) S 7731 7734 7480 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 46 0 82421631 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756747839120 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7769] ppid=7731 vsize=27852576 memory=1244 CPUtime=0 cores=0-7
/proc/7734/task/7769/stat : 7769 (java) S 7731 7734 7480 0 -1 1077944384 368 0 0 0 0 0 0 0 20 0 46 0 82421631 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756746785808 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7770] ppid=7731 vsize=27852576 memory=2268 CPUtime=0 cores=0-7
/proc/7734/task/7770/stat : 7770 (java) S 7731 7734 7480 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 46 0 82421631 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756745733008 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7771] ppid=7731 vsize=27852576 memory=14352 CPUtime=0 cores=0-7
/proc/7734/task/7771/stat : 7771 (java) S 7731 7734 7480 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 46 0 82421631 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756744680720 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7772] ppid=7731 vsize=27852576 memory=1780 CPUtime=0 cores=0-7
/proc/7734/task/7772/stat : 7772 (java) S 7731 7734 7480 0 -1 1077944384 512 0 0 0 0 0 0 0 20 0 46 0 82421631 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756743627920 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7773] ppid=7731 vsize=27852576 memory=644 CPUtime=0 cores=0-7
/proc/7734/task/7773/stat : 7773 (java) S 7731 7734 7480 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 46 0 82421631 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756742575632 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7774] ppid=7731 vsize=27852576 memory=956 CPUtime=0 cores=0-7
/proc/7734/task/7774/stat : 7774 (java) S 7731 7734 7480 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 46 0 82424895 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756739388816 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7775] ppid=7731 vsize=27852576 memory=2320 CPUtime=0.01 cores=0-7
/proc/7734/task/7775/stat : 7775 (java) S 7731 7734 7480 0 -1 1077944384 355 0 0 0 0 1 0 0 20 0 46 0 82424906 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756738336528 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7776] ppid=7731 vsize=27852576 memory=1572 CPUtime=0 cores=0-7
/proc/7734/task/7776/stat : 7776 (java) S 7731 7734 7480 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 46 0 82424919 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756737283728 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7777] ppid=7731 vsize=27852576 memory=928 CPUtime=0 cores=0-7
/proc/7734/task/7777/stat : 7777 (java) S 7731 7734 7480 0 -1 1077944384 531 0 0 0 0 0 0 0 20 0 46 0 82424932 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756736230416 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7778] ppid=7731 vsize=27852576 memory=2244 CPUtime=0 cores=0-7
/proc/7734/task/7778/stat : 7778 (java) S 7731 7734 7480 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 46 0 82424932 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756735177616 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7779] ppid=7731 vsize=27852576 memory=4312 CPUtime=0 cores=0-7
/proc/7734/task/7779/stat : 7779 (java) S 7731 7734 7480 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 46 0 82424933 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756734125328 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7780] ppid=7731 vsize=27852576 memory=2092 CPUtime=0 cores=0-7
/proc/7734/task/7780/stat : 7780 (java) S 7731 7734 7480 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 46 0 82424933 28521037824 2923012 33554432000 4194304 4196468 140731433523088 139756733072528 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
Current children cumulated CPU time: 19861.2 s
Current children cumulated vsize: 27852576 KiB
Current children cumulated memory: 11692048 KiB

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

[startup+2520.37 s]
# the end of solver process 7734 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19823.4 s, system=39.914 s

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

[startup+2520.2 s]
/proc/loadavg: 8.50 8.81 8.83 10/230 7845
/proc/meminfo: memFree=11765704/32770624 swapFree=67108860/67108860
[pid=7734] ppid=7731 vsize=27986732 memory=11692892 CPUtime=19862.7 cores=0-7
/proc/7734/stat : 7734 (java) S 7731 7734 7480 0 -1 1077944320 2032162 0 0 0 1982284 3981 0 0 20 0 48 0 82416874 28658413568 2923223 33554432000 4194304 4196468 140731433523088 140731433505632 139758450192119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
/proc/7734/statm: 6996683 2923223 3636 1 0 6958233 0
[pid=7734/tid=7736] ppid=7731 vsize=27986732 memory=836 CPUtime=31.9 cores=0-7
/proc/7734/task/7736/stat : 7736 (java) S 7731 7734 7480 0 -1 1077944384 39631 0 0 0 3110 80 0 0 20 0 48 0 82416875 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139758454429584 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7737] ppid=7731 vsize=27986732 memory=1800 CPUtime=21.58 cores=0-7
/proc/7734/task/7737/stat : 7737 (java) S 7731 7734 7480 0 -1 1077944384 95503 0 0 0 1893 265 0 0 20 0 48 0 82416875 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139758372772240 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7738] ppid=7731 vsize=27986732 memory=920 CPUtime=21.46 cores=0-7
/proc/7734/task/7738/stat : 7738 (java) S 7731 7734 7480 0 -1 1077944384 108520 0 0 0 1899 247 0 0 20 0 48 0 82416875 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139758371719440 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7739] ppid=7731 vsize=27986732 memory=288230574492221466 CPUtime=21.61 cores=0-7
/proc/7734/task/7739/stat : 7739 (java) S 7731 7734 7480 0 -1 1077944384 114386 0 0 0 1896 265 0 0 20 0 48 0 82416875 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139758006196880 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7740] ppid=7731 vsize=27986732 memory=288230583166042425 CPUtime=21.62 cores=0-7
/proc/7734/task/7740/stat : 7740 (java) S 7731 7734 7480 0 -1 1077944384 95936 0 0 0 1911 251 0 0 20 0 48 0 82416875 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139758005144080 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7741] ppid=7731 vsize=27986732 memory=13855174477220093 CPUtime=21.54 cores=0-7
/proc/7734/task/7741/stat : 7741 (java) S 7731 7734 7480 0 -1 1077944384 114236 0 0 0 1899 255 0 0 20 0 48 0 82416875 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139758004091792 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7742] ppid=7731 vsize=27986732 memory=11692044 CPUtime=21.67 cores=0-7
/proc/7734/task/7742/stat : 7742 (java) S 7731 7734 7480 0 -1 1077944384 112980 0 0 0 1908 259 0 0 20 0 48 0 82416875 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139758003038992 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7743] ppid=7731 vsize=27986732 memory=11692048 CPUtime=21.63 cores=0-7
/proc/7734/task/7743/stat : 7743 (java) S 7731 7734 7480 0 -1 1077944384 117040 0 0 0 1894 269 0 0 20 0 48 0 82416875 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139758001986704 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7744] ppid=7731 vsize=27986732 memory=8112282956445269571 CPUtime=21.36 cores=0-7
/proc/7734/task/7744/stat : 7744 (java) S 7731 7734 7480 0 -1 1077944384 97341 0 0 0 1885 251 0 0 20 0 48 0 82416875 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139758000933904 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7745] ppid=7731 vsize=27986732 memory=288230583166042425 CPUtime=1.17 cores=0-7
/proc/7734/task/7745/stat : 7745 (java) S 7731 7734 7480 0 -1 1077944384 60338 0 0 0 107 10 0 0 20 0 48 0 82416877 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756857870448 139758450203266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7746] ppid=7731 vsize=27986732 memory=13855174477220093 CPUtime=0 cores=0-7
/proc/7734/task/7746/stat : 7746 (java) S 7731 7734 7480 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 48 0 82416877 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756856816480 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7747] ppid=7731 vsize=27986732 memory=4616 CPUtime=0 cores=0-7
/proc/7734/task/7747/stat : 7747 (java) S 7731 7734 7480 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 48 0 82416877 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756855764096 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7748] ppid=7731 vsize=27986732 memory=1388 CPUtime=0 cores=0-7
/proc/7734/task/7748/stat : 7748 (java) S 7731 7734 7480 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 48 0 82416880 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756854712400 139758450210715 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7749] ppid=7731 vsize=27986732 memory=1232 CPUtime=5.09 cores=0-7
/proc/7734/task/7749/stat : 7749 (java) S 7731 7734 7480 0 -1 1077944384 20668 0 0 0 505 4 0 0 20 0 48 0 82416880 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756853660272 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7750] ppid=7731 vsize=27986732 memory=1012 CPUtime=5.14 cores=0-7
/proc/7734/task/7750/stat : 7750 (java) S 7731 7734 7480 0 -1 1077944384 19113 0 0 0 511 3 0 0 20 0 48 0 82416880 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756852607472 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7751] ppid=7731 vsize=27986732 memory=1948 CPUtime=4.26 cores=0-7
/proc/7734/task/7751/stat : 7751 (java) S 7731 7734 7480 0 -1 1077944384 19271 0 0 0 421 5 0 0 20 0 48 0 82416880 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756851555184 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7752] ppid=7731 vsize=27986732 memory=1188 CPUtime=1.88 cores=0-7
/proc/7734/task/7752/stat : 7752 (java) R 7731 7734 7480 0 -1 1077944384 39160 0 0 0 182 6 0 0 20 0 48 0 82416880 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756850502384 139758450203266 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7753] ppid=7731 vsize=27986732 memory=4148 CPUtime=0 cores=0-7
/proc/7734/task/7753/stat : 7753 (java) S 7731 7734 7480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 82416880 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756849449312 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7754] ppid=7731 vsize=27986732 memory=4108 CPUtime=1.15 cores=0-7
/proc/7734/task/7754/stat : 7754 (java) S 7731 7734 7480 0 -1 1077944384 3902 0 0 0 56 59 0 0 20 0 48 0 82416880 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756848396592 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7755] ppid=7731 vsize=27986732 memory=1408 CPUtime=0.01 cores=0-7
/proc/7734/task/7755/stat : 7755 (java) S 7731 7734 7480 0 -1 1077944384 980 0 0 0 1 0 0 0 20 0 48 0 82420280 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756834952096 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7756] ppid=7731 vsize=27986732 memory=4636 CPUtime=5.64 cores=0-7
/proc/7734/task/7756/stat : 7756 (java) S 7731 7734 7480 0 -1 1077944384 8715 0 0 0 265 299 0 0 20 0 48 0 82420297 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756831802400 139758450203266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7757] ppid=7731 vsize=27986732 memory=11692048 CPUtime=2460.14 cores=0-7
/proc/7734/task/7757/stat : 7757 (java) R 7731 7734 7480 0 -1 4202560 118620 0 0 0 245788 226 0 0 20 0 48 0 82420314 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756828645632 139758052505075 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7758] ppid=7731 vsize=27986732 memory=8112282956445269571 CPUtime=2441.6 cores=0-7
/proc/7734/task/7758/stat : 7758 (java) S 7731 7734 7480 0 -1 1077944384 111673 0 0 0 243953 207 0 0 20 0 48 0 82420315 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756827594160 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7759] ppid=7731 vsize=27986732 memory=-7003737579269690708 CPUtime=2448.84 cores=0-7
/proc/7734/task/7759/stat : 7759 (java) R 7731 7734 7480 0 -1 4202560 114823 0 0 0 244682 202 0 0 20 0 48 0 82420315 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756759402816 139758063104880 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7760] ppid=7731 vsize=27986732 memory=0 CPUtime=5.77 cores=0-7
/proc/7734/task/7760/stat : 7760 (java) S 7731 7734 7480 0 -1 1077944384 2707 0 0 0 554 23 0 0 20 0 48 0 82420322 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756756260496 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7761] ppid=7731 vsize=27986732 memory=0 CPUtime=2461.77 cores=0-7
/proc/7734/task/7761/stat : 7761 (java) R 7731 7734 7480 0 -1 4202560 110679 0 0 0 245964 213 0 0 20 0 48 0 82420322 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756755201072 139758060101108 0 4 0 16800975 0 0 0 -1 6 0 0 38 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7762] ppid=7731 vsize=27986732 memory=0 CPUtime=5.07 cores=0-7
/proc/7734/task/7762/stat : 7762 (java) S 7731 7734 7480 0 -1 1077944384 2781 0 0 0 502 5 0 0 20 0 48 0 82420322 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756754149008 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7763] ppid=7731 vsize=27986732 memory=0 CPUtime=2461.25 cores=0-7
/proc/7734/task/7763/stat : 7763 (java) R 7731 7734 7480 0 -1 4202560 108470 0 0 0 245931 194 0 0 20 0 48 0 82420322 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756753095984 139758052613041 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7764] ppid=7731 vsize=27986732 memory=0 CPUtime=5.85 cores=0-7
/proc/7734/task/7764/stat : 7764 (java) S 7731 7734 7480 0 -1 1077944384 2410 0 0 0 557 28 0 0 20 0 48 0 82420322 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756752048816 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7765] ppid=7731 vsize=27986732 memory=0 CPUtime=2440.53 cores=0-7
/proc/7734/task/7765/stat : 7765 (java) S 7731 7734 7480 0 -1 1077944384 142183 0 0 0 243821 232 0 0 20 0 48 0 82420323 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756750990896 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7766] ppid=7731 vsize=27986732 memory=0 CPUtime=2460.98 cores=0-7
/proc/7734/task/7766/stat : 7766 (java) R 7731 7734 7480 0 -1 1077944384 135053 0 0 0 245864 234 0 0 20 0 48 0 82420324 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756749938096 139758450202325 0 4 0 16800975 0 0 0 -1 6 0 0 36 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7767] ppid=7731 vsize=27986732 memory=2244 CPUtime=2441.73 cores=0-7
/proc/7734/task/7767/stat : 7767 (java) S 7731 7734 7480 0 -1 1077944384 106704 0 0 0 243945 228 0 0 20 0 48 0 82420324 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756748885808 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7768] ppid=7731 vsize=27986732 memory=4312 CPUtime=0 cores=0-7
/proc/7734/task/7768/stat : 7768 (java) S 7731 7734 7480 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 48 0 82421631 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756747839120 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7769] ppid=7731 vsize=27986732 memory=2092 CPUtime=0 cores=0-7
/proc/7734/task/7769/stat : 7769 (java) S 7731 7734 7480 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 48 0 82421631 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756746785808 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7770] ppid=7731 vsize=27986732 memory=7380 CPUtime=0 cores=0-7
/proc/7734/task/7770/stat : 7770 (java) S 7731 7734 7480 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 48 0 82421631 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756745733008 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7771] ppid=7731 vsize=27986732 memory=836 CPUtime=0 cores=0-7
/proc/7734/task/7771/stat : 7771 (java) S 7731 7734 7480 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 48 0 82421631 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756744680720 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7772] ppid=7731 vsize=27986732 memory=1800 CPUtime=0 cores=0-7
/proc/7734/task/7772/stat : 7772 (java) S 7731 7734 7480 0 -1 1077944384 512 0 0 0 0 0 0 0 20 0 48 0 82421631 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756743627920 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7773] ppid=7731 vsize=27986732 memory=920 CPUtime=0 cores=0-7
/proc/7734/task/7773/stat : 7773 (java) S 7731 7734 7480 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 48 0 82421631 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756742575632 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7774] ppid=7731 vsize=27986732 memory=4148 CPUtime=0.01 cores=0-7
/proc/7734/task/7774/stat : 7774 (java) S 7731 7734 7480 0 -1 1077944384 565 0 0 0 1 0 0 0 20 0 48 0 82424895 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756739380272 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7775] ppid=7731 vsize=27986732 memory=4108 CPUtime=0.02 cores=0-7
/proc/7734/task/7775/stat : 7775 (java) S 7731 7734 7480 0 -1 1077944384 423 0 0 0 1 1 0 0 20 0 48 0 82424906 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756738336528 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7776] ppid=7731 vsize=27986732 memory=1408 CPUtime=0 cores=0-7
/proc/7734/task/7776/stat : 7776 (java) S 7731 7734 7480 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 48 0 82424919 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756737275184 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7777] ppid=7731 vsize=27986732 memory=4636 CPUtime=0 cores=0-7
/proc/7734/task/7777/stat : 7777 (java) S 7731 7734 7480 0 -1 1077944384 533 0 0 0 0 0 0 0 20 0 48 0 82424932 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756736230416 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7778] ppid=7731 vsize=27986732 memory=11692048 CPUtime=0 cores=0-7
/proc/7734/task/7778/stat : 7778 (java) S 7731 7734 7480 0 -1 1077944384 484 0 0 0 0 0 0 0 20 0 48 0 82424932 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756735173216 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7779] ppid=7731 vsize=27986732 memory=11692044 CPUtime=0 cores=0-7
/proc/7734/task/7779/stat : 7779 (java) S 7731 7734 7480 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 48 0 82424933 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756734116272 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
[pid=7734/tid=7780] ppid=7731 vsize=27986732 memory=796 CPUtime=0.01 cores=0-7
/proc/7734/task/7780/stat : 7780 (java) S 7731 7734 7480 0 -1 1077944384 694 0 0 0 1 0 0 0 20 0 48 0 82424933 28658413568 2923223 33554432000 4194304 4196468 140731433523088 139756733072528 139758450202325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36118528 140731433526350 140731433526533 140731433526533 140731433529295 0
Current children cumulated CPU time: 19862.7 s
Current children cumulated vsize: 27986732 KiB
Current children cumulated memory: 11692892 KiB

[startup+2520.3 s]*
/proc/loadavg: 8.50 8.81 8.83 2/186 7848
/proc/meminfo: memFree=14930140/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.37
CPU time (s): 19863.3
CPU user time (s): 19823.4
CPU system time (s): 39.914
CPU usage (%): 788.111
Max. virtual memory (cumulated for all children) (KiB): 27986732
Max. memory (cumulated for all children) (KiB): 11780324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19823.4
system time used= 39.914
maximum resident set size= 11780324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2032798
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 323088
involuntary context switches= 447906


# summary of solver processes directly reported to runsolver:
#   pid: 7734
#   total CPU time (s): 19863.3
#   total CPU user time (s): 19823.4
#   total CPU system time (s): 39.914

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.7927 second user time and 39.9008 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-27 01:42:17
IDJOB=4291995
IDBENCH=141262
IDSOLVER=2745
FILE ID=node133/4291995-1532648537
RUNJOBID= node133-1532646015-7507
PBS_JOBID= 21022207
Free space on /tmp= 48164 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291995-1532648537/watcher-4291995-1532648537 -o /tmp/evaluation-result-4291995-1532648537/solver-4291995-1532648537 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532646015-7507 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 152871059 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291995-1532648537.xml

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

MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a
RANDOM SEED=152871059

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23466852 kB
MemAvailable:   31928496 kB
Buffers:          171672 kB
Cached:          8520592 kB
SwapCached:            0 kB
Active:          2902512 kB
Inactive:        5842428 kB
Active(anon):       3448 kB
Inactive(anon):    76764 kB
Active(file):    2899064 kB
Inactive(file):  5765664 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            126324 kB
Writeback:            40 kB
AnonPages:         55472 kB
Mapped:            38960 kB
Shmem:             25248 kB
Slab:             252424 kB
SReclaimable:     225376 kB
SUnreclaim:        27048 kB
KernelStack:        3152 kB
PageTables:         4736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48128 MiB
End job on node133 at 2018-07-27 02:24:18