Trace number 4312023

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 - Conflict Ordering with restarts 2018-08-17SAT (TO)168307 2520.12 2499.02

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-07-opt_c18.xml
MD5SUM8413fdc9a9128e0623052c10493da036
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14479
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables2554
Number of constraints2355
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":2154},{"size":6,"count":34},{"size":22,"count":16},{"size":24,"count":18},{"size":36,"count":98},{"size":42,"count":76},{"size":44,"count":158}]
Minimum variable degree2
Maximum variable degree24
Distribution of variable degrees[{"degree":2,"count":2157},{"degree":3,"count":7},{"degree":4,"count":10},{"degree":5,"count":31},{"degree":6,"count":34},{"degree":7,"count":44},{"degree":8,"count":53},{"degree":9,"count":42},{"degree":10,"count":16},{"degree":11,"count":21},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2},{"degree":15,"count":1},{"degree":17,"count":5},{"degree":18,"count":18},{"degree":19,"count":17},{"degree":20,"count":28},{"degree":21,"count":35},{"degree":22,"count":12},{"degree":23,"count":7},{"degree":24,"count":4}]
Minimum constraint arity2
Maximum constraint arity118
Distribution of constraint arities[{"arity":2,"count":384},{"arity":3,"count":1970},{"arity":118,"count":1}]
Number of extensional constraints0
Number of intensional constraints2354
Distribution of constraint types[{"type":"intension","count":2354},{"type":"instantiation","count":1}]
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.68/0.55	c version: 2018-08-17
0.68/0.55	c seed: 2119236025
0.68/0.55	c timeout: 2520
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 1
0.68/0.58	c Parsing instance...
6.20/2.78	c Parsing done, starting search...
36.08/30.11	o 196091
36.08/30.11	o 196081
36.08/30.11	o 196080
36.08/30.12	o 195100
36.08/30.12	o 195090
36.08/30.13	o 195080
36.08/30.13	o 195070
36.08/30.14	o 195051
36.08/30.14	o 194961
36.08/30.15	o 193971
36.08/30.16	o 193970
36.08/30.17	o 193869
36.08/30.18	o 192869
36.08/30.18	o 192868
36.35/30.20	o 192859
36.35/30.21	o 192849
36.35/30.23	o 191999
36.35/30.23	o 191998
36.35/30.23	o 191988
36.35/30.24	o 190988
36.35/30.27	o 190982
36.35/30.27	o 190981
36.35/30.27	o 190980
36.35/30.27	o 190979
36.35/30.28	o 190890
36.35/30.28	o 190889
36.35/30.28	o 190879
36.35/30.29	o 190878
36.35/30.29	o 190859
36.63/30.30	o 190841
36.63/30.30	o 190840
36.63/30.31	o 190730
36.63/30.31	o 190729
36.63/30.32	o 190728
36.75/30.48	o 189761
36.75/30.48	o 189760
36.75/30.48	o 188760
36.75/30.49	o 187760
36.75/30.49	o 187660
36.75/30.49	o 187659
36.87/30.55	o 187652
36.87/30.55	o 187651
36.87/30.55	o 187650
36.87/30.57	o 187649
36.87/30.57	o 187550
36.87/30.57	o 187549
36.97/30.65	o 187548
36.97/30.68	o 186757
36.97/30.68	o 186657
36.97/30.68	o 186648
36.97/30.69	o 186548
37.07/30.72	o 184647
37.07/30.72	o 184548
37.07/30.72	o 184539
37.17/30.85	o 184529
37.27/30.91	o 183728
37.27/30.92	o 183628
37.27/30.92	o 183529
37.27/30.96	o 183528
37.27/30.98	o 183429
38.04/31.62	o 183428
41.53/35.09	o 183328
41.63/35.11	o 182428
45.33/38.85	o 181530
45.33/38.85	o 181529
45.33/38.88	o 181438
45.33/38.89	o 181437
45.43/38.90	o 181428
47.95/41.40	o 181340
47.95/41.45	o 181339
47.95/41.45	o 181329
47.95/41.46	o 181239
47.95/41.46	o 181229
47.95/41.46	o 181129
49.05/42.55	o 181128
50.86/44.34	o 180349
50.86/44.34	o 180348
50.86/44.34	o 180338
50.86/44.39	o 180329
50.96/44.40	o 180230
50.96/44.47	o 180140
50.96/44.48	o 180130
51.26/44.71	o 180127
51.26/44.71	o 179127
51.26/44.72	o 179117
51.46/44.98	o 179116
53.06/46.57	o 179107
53.06/46.57	o 179106
53.16/46.69	o 179025
53.16/46.69	o 179015
53.26/46.76	o 179006
58.71/52.18	o 178965
58.71/52.18	o 178964
58.71/52.19	o 178954
58.80/52.24	o 178946
58.80/52.24	o 178945
58.80/52.24	o 178944
59.50/52.97	o 178934
59.50/52.98	o 178924
72.86/66.27	o 178843
72.86/66.27	o 178842
72.86/66.28	o 178832
72.86/66.29	o 178831
72.86/66.29	o 178731
72.96/66.31	o 178631
72.96/66.32	o 178621
72.96/66.38	o 178521
72.96/66.38	o 178511
73.06/66.40	o 178411
73.06/66.42	o 178365
73.06/66.42	o 178364
73.06/66.42	o 178354
73.06/66.42	o 178344
73.06/66.42	o 178334
73.06/66.43	o 178324
73.06/66.43	o 178323
73.06/66.43	o 178322
73.06/66.43	o 178321
73.06/66.45	o 178221
73.17/66.52	o 178220
76.18/69.55	o 178211
76.28/69.67	o 178210
85.74/79.09	o 178207
85.74/79.10	o 178206
85.84/79.11	o 178205
85.84/79.17	o 178004
85.84/79.19	o 177994
85.93/79.20	o 177984
85.93/79.22	o 177983
85.93/79.22	o 177981
85.93/79.23	o 177974
85.93/79.25	o 177964
85.93/79.25	o 177954
86.13/79.44	o 177861
86.13/79.44	o 177851
86.13/79.44	o 177844
88.34/81.61	o 177843
88.34/81.61	o 177842
88.34/81.61	o 177832
88.34/81.62	o 177822
88.34/81.62	o 177811
88.34/81.63	o 177804
88.34/81.65	o 177794
88.34/81.67	o 177684
89.04/82.36	o 177683
89.04/82.36	o 177583
91.17/84.44	o 176755
91.17/84.45	o 176754
91.17/84.45	o 176744
91.17/84.45	o 176743
91.17/84.45	o 176742
91.17/84.46	o 176732
91.17/84.46	o 176722
91.17/84.46	o 176712
91.17/84.47	o 176702
91.17/84.47	o 176692
91.27/84.55	o 176592
91.27/84.55	o 176582
93.48/86.73	o 176578
93.48/86.73	o 176577
93.48/86.74	o 176567
93.48/86.74	o 176557
93.48/86.75	o 176447
93.68/86.94	o 176437
94.49/87.77	o 175616
94.49/87.77	o 175606
94.49/87.77	o 175599
94.49/87.79	o 175590
94.49/87.80	o 175589
94.59/87.85	o 175588
94.59/87.86	o 175579
94.59/87.86	o 175569
94.59/87.88	o 175559
96.21/89.42	o 175531
96.21/89.42	o 175530
96.21/89.42	o 175520
96.21/89.42	o 175519
96.21/89.45	o 175511
96.21/89.45	o 175510
96.21/89.45	o 175509
96.21/89.45	o 175499
96.21/89.46	o 175490
96.21/89.47	o 175489
96.21/89.47	o 175478
96.21/89.47	o 175476
96.21/89.48	o 175469
96.31/89.56	o 175458
96.31/89.56	o 175456
96.31/89.58	o 175449
114.85/107.97	o 174668
114.85/107.97	o 174658
114.85/107.98	o 174656
115.25/108.33	o 174456
118.78/111.84	o 174356
195.56/188.10	o 174328
195.66/188.11	o 174327
195.66/188.11	o 174326
195.66/188.11	o 174226
195.66/188.12	o 174225
195.66/188.12	o 174215
195.66/188.13	o 174214
195.66/188.14	o 174204
195.66/188.15	o 174203
195.66/188.15	o 174202
195.66/188.16	o 174192
195.75/188.25	o 173837
195.75/188.25	o 173836
195.75/188.25	o 173826
195.75/188.25	o 173825
195.86/188.36	o 173816
195.86/188.36	o 173815
195.86/188.36	o 173814
196.26/188.74	o 173785
196.26/188.74	o 173784
196.26/188.74	o 173684
196.26/188.75	o 173683
196.26/188.75	o 173673
196.26/188.75	o 173474
196.26/188.76	o 172816
196.26/188.76	o 172806
196.26/188.77	o 172805
196.26/188.77	o 172795
196.26/188.77	o 172794
201.19/193.62	o 172717
201.19/193.62	o 172716
201.19/193.63	o 172706
201.19/193.63	o 172705
203.81/196.20	o 172696
203.81/196.20	o 172695
203.81/196.20	o 172694
217.72/210.08	o 172627
217.72/210.08	o 172617
217.72/210.09	o 172616
217.72/210.10	o 172606
224.21/216.49	o 172516
224.21/216.49	o 172515
227.05/219.29	o 172416
228.99/221.19	o 172405
228.99/221.19	o 172385
228.99/221.20	o 172286
228.99/221.20	o 172186
229.11/221.22	o 171617
229.11/221.22	o 171517
231.04/223.17	o 171407
231.04/223.17	o 170407
231.13/223.20	o 168307
2520.09/2499.01	s SATISFIABLE
2520.09/2499.01	v <instantiation>
2520.09/2499.01	v 	<list>
2520.09/2499.01	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] zb3[82] zb3[83] zb3[84] zb3[85] zb3[86] zb3[87] zb3[88] zb3[89] zb3[90] zb3[91] zb3[92] zb3[93] zb3[94] zb3[95] zb3[96] zb3[97] zb3[98] zb3[99] zb3[100] zb3[101] zb3[102] zb3[103] zb3[104] zb3[105] zb3[106] zb3[107] zb3[108] zb3[109] zb3[110] zb3[111] zb3[112] zb3[113] zb3[114] zb3[115] zb3[116] zb3[117] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533]
2520.09/2499.01	v 	</list>
2520.09/2499.01	v 	<values>
2520.09/2499.01	v 		72 310 666 428 86 324 58 296 792 554 156 394 380 142 268 30 736 498 442 680 680 442 30 268 792 554 792 554 442 680 142 380 526 764 114 352 792 554 512 750 394 156 58 296 240 478 666 428 58 296 240 478 512 750 666 428 540 778 352 114 240 478 58 296 792 554 338 100 470 708 324 86 16 254 16 254 30 268 16 254 86 324 58 296 484 722 58 296 722 484 128 366 708 470 366 128 680 442 16 254 554 792 526 764 414 652 44 282 764 526 240 478 540 778 456 694 680 442 380 142 778 540 114 352 296 58 652 414 366 128 722 484 722 484 72 310 708 470 708 470 652 414 526 764 72 310 380 142 442 680 324 86 778 540 526 764 128 366 114 352 338 100 282 44 708 470 16 254 170 408 478 240 694 456 30 268 142 380 708 470 478 240 156 394 652 414 512 750 708 470 498 736 240 478 86 324 778 540 498 736 708 470 554 792 694 456 100 338 540 778 792 554 680 442 442 680 142 380 380 142 512 750 540 778 44 282 498 736 414 652 736 498 352 114 86 324 16 254 142 380 16 254 142 380 128 366 170 408 540 778 512 750 380 142 58 296 652 414 366 128 792 554 792 554 428 666 254 16 58 296 750 512 142 380 366 128 100 338 324 86 128 366 170 408 58 296 750 512 498 736 456 694 680 442 296 58 722 484 484 722 526 764 16 254 380 142 722 484 792 554 708 470 310 72 680 442 58 296 736 498 778 540 128 366 428 666 30 268 128 366 764 526 128 366 310 72 694 456 58 296 394 156 128 366 394 156 296 58 442 680 268 30 792 554 554 792 540 778 170 408 16 254 114 352 792 554 296 58 352 114 764 526 694 456 694 456 484 722 722 484 324 86 128 366 170 408 484 722 366 128 666 428 170 408 114 352 428 666 30 268 0 0 1000 1000 1000 1000 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 0 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 0 0 0 0 0 0 1000 1000 100 100 100 100 100 100 100 100 100 100 0 0 100 100 0 0 100 100 100 100 0 0 100 100 10 10 0 0 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 0 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 0 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 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 0 0 10 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 1000 0 0 0 1000 0 1000 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 1000 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 1000 0 1000 1000 1000 1000 0 0 1000 0 1000 0 1000 0 1000 0 0 1000 0 0 1000 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 1000 0 0 0 1000 1000 0 0 0 0 0 1000 0 1000 0 0 1000 1000 0 1000 0 1000 0 0 1000 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 0 1000 0 0 0 1000 1000 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 1000 1000 1000 0 1000 0 1000 1000 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 1000 0 1000 0 1000 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 1000 1000 1000 0 1000 0 0 0 1000 0 0 0 0 1000 0 0 1000 0 0 1000 1000 0 1000 0 1000 0 1000 0 1000 0 0 1000 1000 0 0 1000 0 0 0 0 1000 1000 0 0 0 1000 1000 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 100 0 100 0 0 0 100 0 100 100 100 0 0 0 0 100 100 100 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 100 100 100 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 100 100 0 0 0 100 0 100 0 100 0 0 100 100 0 100 100 0 0 0 100 0 0 100 0 0 0 100 100 0 0 0 0 100 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 100 100 100 100 0 0 0 100 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 100 100 100 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 100 100 0 100 100 0 0 0 0 0 0 0 100 100 0 100 100 0 100 100 100 100 0 0 0 100 0 0 0 0 100 100 0 0 100 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 0 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 100 0 0 100 0 100 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 100 100 100 100 0 100 100 0 0 100 0 0 0 0 100 100 100 0 0 100 0 0 0 100 100 0 0 0 0 100 0 100 100 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 0 100 0 100 0 0 0 100 0 0 100 0 0 100 0 0 100 0 100 0 0 0 100 0 0 100 0 100 0 100 100 100 0 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 100 0 100 0 0 100 100 100 0 100 100 0 0 0 0 10 10 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 0 10 10 10 0 0 10 10 0 0 0 0 10 10 0 0 0 10 10 0 0 0 10 0 0 0 0 0 0 10 0 10 0 10 0 10 0 0 10 10 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 10 10 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 10 0 0 0 0 0 0 10 10 10 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 10 10 0 10 0 0 0 10 0 10 10 10 0 0 0 0 0 10 10 0 0 0 10 10 0 0 10 10 0 10 0 10 10 10 0 10 0 10 0 0 0 10 0 10 0 0 0 0 10 0 10 10 0 0 0 10 0 0 10 10 0 0 10 0 10 10 10 0 10 0 10 10 10 0 10 10 0 0 0 10 0 0 0 0 10 10 0 0 10 0 0 0 0 10 10 0 0 0 10 0 10 0 10 10 10 0 10 0 10 10 0 10 0 0 10 0 0 10 10 0 10 10 0 0 0 0 10 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 10 10 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 10 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 10 10 10 0 0 0 0 0 10 10 10 0 0 10 0 10 0 10 0 0 10 0 10 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 10 0 10 0 10 0 0 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 10 10 0 0 0 0 10 0 10 10 10 0 0 0 0 10 0 0 0 0 0 0 10 0 10 10 0 0 0 0 10 0 0 0 0 10 10 10 0 10 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 1 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 
2520.09/2499.01	v 	</values>
2520.09/2499.01	v </instantiation>

Verifier Data 

OK	168307

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312023-1534546257/watcher-4312023-1534546257 -o /tmp/evaluation-result-4312023-1534546257/solver-4312023-1534546257 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534541043-15719 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2119236025 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312023-1534546257.xml 

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

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

solver pid=16355, runsolver pid=16352

[startup+0.100139 s]*
/proc/loadavg: 1.41 1.35 1.45 3/216 16370
/proc/meminfo: memFree=23554484/32770624 swapFree=67108804/67108860
[pid=16355] ppid=16352 vsize=14082736 memory=31660 CPUtime=0.12 cores=1,3,5,7
/proc/16355/stat : 16355 (java) S 16352 16355 15687 0 -1 1077944320 6329 0 0 0 12 0 0 0 20 0 15 0 272188869 14420721664 7915 33554432000 4194304 4196468 140729596381520 140729596364064 139662623469303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
/proc/16355/statm: 3520684 7915 3155 1 0 3482761 0
[pid=16355/tid=16357] ppid=16352 vsize=14082736 memory=-8701690554792447869 CPUtime=0.09 cores=1,3,5,7
/proc/16355/task/16357/stat : 16357 (java) R 16352 16355 15687 0 -1 4202560 4363 0 0 0 9 0 0 0 20 0 15 0 272188870 14420721664 7915 33554432000 4194304 4196468 140729596381520 139662627669688 139662607549790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16358] ppid=16352 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16358/stat : 16358 (java) S 16352 16355 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272188870 14420721664 7915 33554432000 4194304 4196468 140729596381520 139662553557776 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16359] ppid=16352 vsize=14082736 memory=140279451379328 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16359/stat : 16359 (java) S 16352 16355 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272188870 14420721664 7915 33554432000 4194304 4196468 140729596381520 139662552505232 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16360] ppid=16352 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16360/stat : 16360 (java) S 16352 16355 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272188870 14420721664 7915 33554432000 4194304 4196468 140729596381520 139662551452688 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16361] ppid=16352 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16361/stat : 16361 (java) S 16352 16355 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272188870 14420721664 7915 33554432000 4194304 4196468 140729596381520 139662550400144 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16362] ppid=16352 vsize=14082736 memory=140279451379328 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16362/stat : 16362 (java) S 16352 16355 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272188872 14420721664 7915 33554432000 4194304 4196468 140729596381520 139662097762288 139662623480450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16363] ppid=16352 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16363/stat : 16363 (java) S 16352 16355 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272188872 14420721664 7915 33554432000 4194304 4196468 140729596381520 139662096708512 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16364] ppid=16352 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16364/stat : 16364 (java) S 16352 16355 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272188872 14420721664 7915 33554432000 4194304 4196468 140729596381520 139662095655920 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16365] ppid=16352 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16365/stat : 16365 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14420721664 7915 33554432000 4194304 4196468 140729596381520 139662094604496 139662623487899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16366] ppid=16352 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16366/stat : 16366 (java) S 16352 16355 15687 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 15 0 272188875 14420721664 7915 33554432000 4194304 4196468 140729596381520 139662093552112 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16367] ppid=16352 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16367/stat : 16367 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14420721664 7915 33554432000 4194304 4196468 140729596381520 139662092499568 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16368] ppid=16352 vsize=14082736 memory=140279451379328 CPUtime=0.01 cores=1,3,5,7
/proc/16355/task/16368/stat : 16368 (java) S 16352 16355 15687 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 272188875 14420721664 7915 33554432000 4194304 4196468 140729596381520 139662091447024 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16369] ppid=16352 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16369/stat : 16369 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14420721664 7915 33554432000 4194304 4196468 140729596381520 139662090394720 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16370] ppid=16352 vsize=14082736 memory=140279451379328 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16370/stat : 16370 (java) S 16352 16355 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272188875 14420721664 7915 33554432000 4194304 4196468 140729596381520 139662089341232 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31660 KiB

[startup+0.211094 s]*
/proc/loadavg: 1.41 1.35 1.45 7/216 16370
/proc/meminfo: memFree=23539600/32770624 swapFree=67108804/67108860
[pid=16355] ppid=16352 vsize=14082736 memory=47736 CPUtime=0.3 cores=1,3,5,7
/proc/16355/stat : 16355 (java) S 16352 16355 15687 0 -1 1077944320 9996 0 0 0 29 1 0 0 20 0 15 0 272188869 14420721664 11934 33554432000 4194304 4196468 140729596381520 140729596364064 139662623469303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
/proc/16355/statm: 3520684 11934 3405 1 0 3482761 0
[pid=16355/tid=16357] ppid=16352 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/16355/task/16357/stat : 16357 (java) R 16352 16355 15687 0 -1 4202560 7694 0 0 0 19 1 0 0 20 0 15 0 272188870 14420721664 11934 33554432000 4194304 4196468 140729596381520 139662627692608 139662623491229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16358] ppid=16352 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16358/stat : 16358 (java) S 16352 16355 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272188870 14420721664 11934 33554432000 4194304 4196468 140729596381520 139662553557776 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16359] ppid=16352 vsize=14082736 memory=3760988144877594272 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16359/stat : 16359 (java) S 16352 16355 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272188870 14420721664 11934 33554432000 4194304 4196468 140729596381520 139662552505232 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16360] ppid=16352 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16360/stat : 16360 (java) S 16352 16355 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272188870 14420721664 11934 33554432000 4194304 4196468 140729596381520 139662551452688 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16361] ppid=16352 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16361/stat : 16361 (java) S 16352 16355 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272188870 14420721664 11934 33554432000 4194304 4196468 140729596381520 139662550400144 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16362] ppid=16352 vsize=14082736 memory=140279451379328 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16362/stat : 16362 (java) S 16352 16355 15687 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 272188872 14420721664 11934 33554432000 4194304 4196468 140729596381520 139662097762288 139662623480450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16363] ppid=16352 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16363/stat : 16363 (java) S 16352 16355 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272188872 14420721664 11934 33554432000 4194304 4196468 140729596381520 139662096708512 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16364] ppid=16352 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16364/stat : 16364 (java) S 16352 16355 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272188872 14420721664 11934 33554432000 4194304 4196468 140729596381520 139662095655920 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16365] ppid=16352 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16365/stat : 16365 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14420721664 11934 33554432000 4194304 4196468 140729596381520 139662094604496 139662623487899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16366] ppid=16352 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16355/task/16366/stat : 16366 (java) R 16352 16355 15687 0 -1 4202560 530 0 0 0 2 0 0 0 20 0 15 0 272188875 14420721664 11934 33554432000 4194304 4196468 140729596381520 139662093552112 139662623490650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16367] ppid=16352 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16355/task/16367/stat : 16367 (java) S 16352 16355 15687 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 15 0 272188875 14420721664 11934 33554432000 4194304 4196468 140729596381520 139662092499568 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16368] ppid=16352 vsize=14082736 memory=140279451379328 CPUtime=0.05 cores=1,3,5,7
/proc/16355/task/16368/stat : 16368 (java) R 16352 16355 15687 0 -1 4202560 290 0 0 0 5 0 0 0 20 0 15 0 272188875 14420721664 11934 33554432000 4194304 4196468 140729596381520 139662091444816 139662616565734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16369] ppid=16352 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16369/stat : 16369 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14420721664 11934 33554432000 4194304 4196468 140729596381520 139662090394720 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16370] ppid=16352 vsize=14082736 memory=140279451379328 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16370/stat : 16370 (java) S 16352 16355 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272188875 14420721664 11934 33554432000 4194304 4196468 140729596381520 139662089341232 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47736 KiB

[startup+0.310606 s]*
/proc/loadavg: 1.41 1.35 1.45 3/216 16370
/proc/meminfo: memFree=23535692/32770624 swapFree=67108804/67108860
[pid=16355] ppid=16352 vsize=14082736 memory=51068 CPUtime=0.43 cores=1,3,5,7
/proc/16355/stat : 16355 (java) S 16352 16355 15687 0 -1 1077944320 10343 0 0 0 42 1 0 0 20 0 15 0 272188869 14420721664 12767 33554432000 4194304 4196468 140729596381520 140729596364064 139662623469303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
/proc/16355/statm: 3520684 12767 3408 1 0 3482761 0
[pid=16355/tid=16357] ppid=16352 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/16355/task/16357/stat : 16357 (java) R 16352 16355 15687 0 -1 4202560 8022 0 0 0 29 1 0 0 20 0 15 0 272188870 14420721664 12767 33554432000 4194304 4196468 140729596381520 139662627680816 139662605032863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16358] ppid=16352 vsize=14082736 memory=304556153357205527 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16358/stat : 16358 (java) S 16352 16355 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272188870 14420721664 12767 33554432000 4194304 4196468 140729596381520 139662553557776 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16359] ppid=16352 vsize=14082736 memory=3979130152316724896 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16359/stat : 16359 (java) S 16352 16355 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272188870 14420721664 12767 33554432000 4194304 4196468 140729596381520 139662552505232 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16360] ppid=16352 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16360/stat : 16360 (java) S 16352 16355 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272188870 14420721664 12767 33554432000 4194304 4196468 140729596381520 139662551452688 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16361] ppid=16352 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16361/stat : 16361 (java) S 16352 16355 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272188870 14420721664 12767 33554432000 4194304 4196468 140729596381520 139662550400144 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16362] ppid=16352 vsize=14082736 memory=140279451379328 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16362/stat : 16362 (java) S 16352 16355 15687 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 272188872 14420721664 12767 33554432000 4194304 4196468 140729596381520 139662097762288 139662623480450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16363] ppid=16352 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16363/stat : 16363 (java) S 16352 16355 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272188872 14420721664 12767 33554432000 4194304 4196468 140729596381520 139662096708512 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16364] ppid=16352 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16364/stat : 16364 (java) S 16352 16355 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272188872 14420721664 12767 33554432000 4194304 4196468 140729596381520 139662095655920 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16365] ppid=16352 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16365/stat : 16365 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14420721664 12767 33554432000 4194304 4196468 140729596381520 139662094604496 139662623487899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16366] ppid=16352 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16355/task/16366/stat : 16366 (java) S 16352 16355 15687 0 -1 1077944384 541 0 0 0 3 0 0 0 20 0 15 0 272188875 14420721664 12767 33554432000 4194304 4196468 140729596381520 139662093552112 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16367] ppid=16352 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16355/task/16367/stat : 16367 (java) S 16352 16355 15687 0 -1 1077944384 98 0 0 0 2 0 0 0 20 0 15 0 272188875 14420721664 12767 33554432000 4194304 4196468 140729596381520 139662092499568 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16368] ppid=16352 vsize=14082736 memory=140279451379328 CPUtime=0.07 cores=1,3,5,7
/proc/16355/task/16368/stat : 16368 (java) S 16352 16355 15687 0 -1 1077944384 298 0 0 0 7 0 0 0 20 0 15 0 272188875 14420721664 12767 33554432000 4194304 4196468 140729596381520 139662091447024 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16369] ppid=16352 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16369/stat : 16369 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14420721664 12767 33554432000 4194304 4196468 140729596381520 139662090394720 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16370] ppid=16352 vsize=14082736 memory=140279451379328 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16370/stat : 16370 (java) S 16352 16355 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272188875 14420721664 12767 33554432000 4194304 4196468 140729596381520 139662089341232 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51068 KiB

[startup+0.700728 s]
/proc/loadavg: 1.41 1.35 1.45 4/216 16370
/proc/meminfo: memFree=23511632/32770624 swapFree=67108804/67108860
[pid=16355] ppid=16352 vsize=14084804 memory=88980 CPUtime=1 cores=1,3,5,7
/proc/16355/stat : 16355 (java) S 16352 16355 15687 0 -1 1077944320 17129 0 0 0 96 4 0 0 20 0 15 0 272188869 14422839296 22245 33554432000 4194304 4196468 140729596381520 140729596364064 139662623469303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
/proc/16355/statm: 3521201 22245 3498 1 0 3483273 0
[pid=16355/tid=16357] ppid=16352 vsize=14084804 memory=1744 CPUtime=0.67 cores=1,3,5,7
/proc/16355/task/16357/stat : 16357 (java) R 16352 16355 15687 0 -1 4202560 14433 0 0 0 65 2 0 0 20 0 15 0 272188870 14422839296 22245 33554432000 4194304 4196468 140729596381520 139662627691904 139662623491229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16358] ppid=16352 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16358/stat : 16358 (java) S 16352 16355 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272188870 14422839296 22245 33554432000 4194304 4196468 140729596381520 139662553557776 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16359] ppid=16352 vsize=14084804 memory=836 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16359/stat : 16359 (java) S 16352 16355 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272188870 14422839296 22245 33554432000 4194304 4196468 140729596381520 139662552505232 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16360] ppid=16352 vsize=14084804 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16360/stat : 16360 (java) S 16352 16355 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272188870 14422839296 22245 33554432000 4194304 4196468 140729596381520 139662551452688 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16361] ppid=16352 vsize=14084804 memory=1600 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16361/stat : 16361 (java) S 16352 16355 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272188870 14422839296 22245 33554432000 4194304 4196468 140729596381520 139662550400144 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16362] ppid=16352 vsize=14084804 memory=7952 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16362/stat : 16362 (java) S 16352 16355 15687 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 272188872 14422839296 22245 33554432000 4194304 4196468 140729596381520 139662097762288 139662623480450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16363] ppid=16352 vsize=14084804 memory=4088 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16363/stat : 16363 (java) S 16352 16355 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272188872 14422839296 22245 33554432000 4194304 4196468 140729596381520 139662096708512 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16364] ppid=16352 vsize=14084804 memory=1784 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16364/stat : 16364 (java) S 16352 16355 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272188872 14422839296 22245 33554432000 4194304 4196468 140729596381520 139662095655920 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16365] ppid=16352 vsize=14084804 memory=4639098309541127012 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16365/stat : 16365 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14422839296 22245 33554432000 4194304 4196468 140729596381520 139662094604496 139662623487899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16366] ppid=16352 vsize=14084804 memory=6369613153740022872 CPUtime=0.09 cores=1,3,5,7
/proc/16355/task/16366/stat : 16366 (java) S 16352 16355 15687 0 -1 1077944384 689 0 0 0 9 0 0 0 20 0 15 0 272188875 14422839296 22245 33554432000 4194304 4196468 140729596381520 139662093552112 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16367] ppid=16352 vsize=14084804 memory=6154282490091891024 CPUtime=0.05 cores=1,3,5,7
/proc/16355/task/16367/stat : 16367 (java) S 16352 16355 15687 0 -1 1077944384 254 0 0 0 5 0 0 0 20 0 15 0 272188875 14422839296 22245 33554432000 4194304 4196468 140729596381520 139662092499568 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16368] ppid=16352 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/16355/task/16368/stat : 16368 (java) S 16352 16355 15687 0 -1 1077944384 369 0 0 0 15 0 0 0 20 0 15 0 272188875 14422839296 22245 33554432000 4194304 4196468 140729596381520 139662091447024 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16369] ppid=16352 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16369/stat : 16369 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14422839296 22245 33554432000 4194304 4196468 140729596381520 139662090394720 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16370] ppid=16352 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16370/stat : 16370 (java) S 16352 16355 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272188875 14422839296 22245 33554432000 4194304 4196468 140729596381520 139662089341232 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88980 KiB

[startup+1.50076 s]
/proc/loadavg: 1.37 1.34 1.45 4/216 16370
/proc/meminfo: memFree=23462244/32770624 swapFree=67108804/67108860
[pid=16355] ppid=16352 vsize=14088900 memory=222888 CPUtime=3.5 cores=1,3,5,7
/proc/16355/stat : 16355 (java) S 16352 16355 15687 0 -1 1077944320 30500 0 0 0 342 8 0 0 20 0 15 0 272188869 14427033600 55722 33554432000 4194304 4196468 140729596381520 140729596364064 139662623469303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
/proc/16355/statm: 3522225 55722 3570 1 0 3484297 0
[pid=16355/tid=16357] ppid=16352 vsize=14088900 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/16355/task/16357/stat : 16357 (java) R 16352 16355 15687 0 -1 4202560 17104 0 0 0 142 4 0 0 20 0 15 0 272188870 14427033600 55722 33554432000 4194304 4196468 140729596381520 139662627700576 139662226403888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16358] ppid=16352 vsize=14088900 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16358/stat : 16358 (java) S 16352 16355 15687 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 15 0 272188870 14427033600 55722 33554432000 4194304 4196468 140729596381520 139662553557776 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16359] ppid=16352 vsize=14088900 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16359/stat : 16359 (java) S 16352 16355 15687 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 272188870 14427033600 55722 33554432000 4194304 4196468 140729596381520 139662552505232 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16360] ppid=16352 vsize=14088900 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16360/stat : 16360 (java) S 16352 16355 15687 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 272188870 14427033600 55722 33554432000 4194304 4196468 140729596381520 139662551452688 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16361] ppid=16352 vsize=14088900 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16361/stat : 16361 (java) S 16352 16355 15687 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 272188870 14427033600 55722 33554432000 4194304 4196468 140729596381520 139662550400144 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16362] ppid=16352 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16362/stat : 16362 (java) S 16352 16355 15687 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 272188872 14427033600 55722 33554432000 4194304 4196468 140729596381520 139662097762288 139662623480450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0

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

/proc/16355/task/16357/stat : 16357 (java) R 16352 16355 15687 0 -1 4202560 48434 0 0 0 231123 20 0 0 20 0 15 0 272188870 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662627707344 139662231346352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16358] ppid=16352 vsize=14090948 memory=832876 CPUtime=5.15 cores=1,3,5,7
/proc/16355/task/16358/stat : 16358 (java) S 16352 16355 15687 0 -1 1077944384 10357 0 0 0 487 28 0 0 20 0 15 0 272188870 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662553557776 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16359] ppid=16352 vsize=14090948 memory=830828 CPUtime=5.13 cores=1,3,5,7
/proc/16355/task/16359/stat : 16359 (java) S 16352 16355 15687 0 -1 1077944384 8824 0 0 0 483 30 0 0 20 0 15 0 272188870 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662552505232 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16360] ppid=16352 vsize=14090948 memory=260 CPUtime=5.14 cores=1,3,5,7
/proc/16355/task/16360/stat : 16360 (java) S 16352 16355 15687 0 -1 1077944384 7967 0 0 0 484 30 0 0 20 0 15 0 272188870 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662551452688 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16361] ppid=16352 vsize=14090948 memory=830828 CPUtime=5.13 cores=1,3,5,7
/proc/16355/task/16361/stat : 16361 (java) S 16352 16355 15687 0 -1 1077944384 11254 0 0 0 482 31 0 0 20 0 15 0 272188870 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662550400144 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16362] ppid=16352 vsize=14090948 memory=832876 CPUtime=3.12 cores=1,3,5,7
/proc/16355/task/16362/stat : 16362 (java) S 16352 16355 15687 0 -1 1077944384 10500 0 0 0 286 26 0 0 20 0 15 0 272188872 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662097762288 139662623480450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16363] ppid=16352 vsize=14090948 memory=832876 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16363/stat : 16363 (java) S 16352 16355 15687 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 272188872 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662096708576 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16364] ppid=16352 vsize=14090948 memory=832876 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16364/stat : 16364 (java) S 16352 16355 15687 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 272188872 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662095655936 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16365] ppid=16352 vsize=14090948 memory=832876 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16365/stat : 16365 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662094604496 139662623487899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16366] ppid=16352 vsize=14090948 memory=830828 CPUtime=2.51 cores=1,3,5,7
/proc/16355/task/16366/stat : 16366 (java) S 16352 16355 15687 0 -1 1077944384 8464 0 0 0 250 1 0 0 20 0 15 0 272188875 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662093552112 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16367] ppid=16352 vsize=14090948 memory=832876 CPUtime=2.6 cores=1,3,5,7
/proc/16355/task/16367/stat : 16367 (java) S 16352 16355 15687 0 -1 1077944384 7883 0 0 0 258 2 0 0 20 0 15 0 272188875 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662092499568 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16368] ppid=16352 vsize=14090948 memory=832876 CPUtime=1.09 cores=1,3,5,7
/proc/16355/task/16368/stat : 16368 (java) S 16352 16355 15687 0 -1 1077944384 15162 0 0 0 107 2 0 0 20 0 15 0 272188875 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662091447024 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16369] ppid=16352 vsize=14090948 memory=832876 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16369/stat : 16369 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662090394720 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16370] ppid=16352 vsize=14090948 memory=832876 CPUtime=0.84 cores=1,3,5,7
/proc/16355/task/16370/stat : 16370 (java) S 16352 16355 15687 0 -1 1077944384 947 0 0 0 36 48 0 0 20 0 15 0 272188875 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662089341232 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
Current children cumulated CPU time: 2342.26 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 832876 KiB

[startup+2382.3 s]
/proc/loadavg: 1.64 1.67 1.53 3/216 16546
/proc/meminfo: memFree=22667772/32770624 swapFree=67108804/67108860
[pid=16355] ppid=16352 vsize=14090948 memory=832876 CPUtime=2402.63 cores=1,3,5,7
/proc/16355/stat : 16355 (java) S 16352 16355 15687 0 -1 1077944320 133195 0 0 0 240072 191 0 0 20 0 15 0 272188869 14429130752 208219 33554432000 4194304 4196468 140729596381520 140729596364064 139662623469303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
/proc/16355/statm: 3522737 208219 3597 1 0 3484809 0
[pid=16355/tid=16357] ppid=16352 vsize=14090948 memory=3708 CPUtime=2371.17 cores=1,3,5,7
/proc/16355/task/16357/stat : 16357 (java) R 16352 16355 15687 0 -1 4202560 49036 0 0 0 237096 21 0 0 20 0 15 0 272188870 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662627707504 139662231654789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16358] ppid=16352 vsize=14090948 memory=832876 CPUtime=5.28 cores=1,3,5,7
/proc/16355/task/16358/stat : 16358 (java) S 16352 16355 15687 0 -1 1077944384 10808 0 0 0 499 29 0 0 20 0 15 0 272188870 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662553557776 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16359] ppid=16352 vsize=14090948 memory=832876 CPUtime=5.27 cores=1,3,5,7
/proc/16355/task/16359/stat : 16359 (java) S 16352 16355 15687 0 -1 1077944384 8952 0 0 0 496 31 0 0 20 0 15 0 272188870 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662552505232 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16360] ppid=16352 vsize=14090948 memory=832876 CPUtime=5.27 cores=1,3,5,7
/proc/16355/task/16360/stat : 16360 (java) S 16352 16355 15687 0 -1 1077944384 8042 0 0 0 497 30 0 0 20 0 15 0 272188870 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662551452688 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16361] ppid=16352 vsize=14090948 memory=832876 CPUtime=5.27 cores=1,3,5,7
/proc/16355/task/16361/stat : 16361 (java) S 16352 16355 15687 0 -1 1077944384 11587 0 0 0 495 32 0 0 20 0 15 0 272188870 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662550400144 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16362] ppid=16352 vsize=14090948 memory=832876 CPUtime=3.2 cores=1,3,5,7
/proc/16355/task/16362/stat : 16362 (java) S 16352 16355 15687 0 -1 1077944384 10844 0 0 0 293 27 0 0 20 0 15 0 272188872 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662097762288 139662623480450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16363] ppid=16352 vsize=14090948 memory=832876 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16363/stat : 16363 (java) S 16352 16355 15687 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 272188872 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662096708576 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16364] ppid=16352 vsize=14090948 memory=832876 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16364/stat : 16364 (java) S 16352 16355 15687 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 272188872 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662095655936 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16365] ppid=16352 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16365/stat : 16365 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662094604496 139662623487899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16366] ppid=16352 vsize=14090948 memory=832876 CPUtime=2.51 cores=1,3,5,7
/proc/16355/task/16366/stat : 16366 (java) S 16352 16355 15687 0 -1 1077944384 8468 0 0 0 250 1 0 0 20 0 15 0 272188875 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662093552112 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16367] ppid=16352 vsize=14090948 memory=2080 CPUtime=2.6 cores=1,3,5,7
/proc/16355/task/16367/stat : 16367 (java) S 16352 16355 15687 0 -1 1077944384 7887 0 0 0 258 2 0 0 20 0 15 0 272188875 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662092499568 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16368] ppid=16352 vsize=14090948 memory=3708 CPUtime=1.09 cores=1,3,5,7
/proc/16355/task/16368/stat : 16368 (java) S 16352 16355 15687 0 -1 1077944384 15166 0 0 0 107 2 0 0 20 0 15 0 272188875 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662091447024 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16369] ppid=16352 vsize=14090948 memory=6452 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16369/stat : 16369 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662090394720 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16370] ppid=16352 vsize=14090948 memory=832876 CPUtime=0.86 cores=1,3,5,7
/proc/16355/task/16370/stat : 16370 (java) S 16352 16355 15687 0 -1 1077944384 973 0 0 0 37 49 0 0 20 0 15 0 272188875 14429130752 208219 33554432000 4194304 4196468 140729596381520 139662089341232 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
Current children cumulated CPU time: 2402.63 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 832876 KiB

[startup+2442.3 s]
/proc/loadavg: 1.37 1.60 1.51 3/216 16547
/proc/meminfo: memFree=22649296/32770624 swapFree=67108804/67108860
[pid=16355] ppid=16352 vsize=14090948 memory=834924 CPUtime=2463.01 cores=1,3,5,7
/proc/16355/stat : 16355 (java) S 16352 16355 15687 0 -1 1077944320 134564 0 0 0 246107 194 0 0 20 0 15 0 272188869 14429130752 208731 33554432000 4194304 4196468 140729596381520 140729596364064 139662623469303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
/proc/16355/statm: 3522737 208731 3597 1 0 3484809 0
[pid=16355/tid=16357] ppid=16352 vsize=14090948 memory=834924 CPUtime=2430.88 cores=1,3,5,7
/proc/16355/task/16357/stat : 16357 (java) R 16352 16355 15687 0 -1 4202560 49512 0 0 0 243067 21 0 0 20 0 15 0 272188870 14429130752 208731 33554432000 4194304 4196468 140729596381520 139662627707344 139662231767269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16358] ppid=16352 vsize=14090948 memory=834924 CPUtime=5.42 cores=1,3,5,7
/proc/16355/task/16358/stat : 16358 (java) S 16352 16355 15687 0 -1 1077944384 11092 0 0 0 513 29 0 0 20 0 15 0 272188870 14429130752 208731 33554432000 4194304 4196468 140729596381520 139662553557776 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16359] ppid=16352 vsize=14090948 memory=834924 CPUtime=5.4 cores=1,3,5,7
/proc/16355/task/16359/stat : 16359 (java) S 16352 16355 15687 0 -1 1077944384 9052 0 0 0 509 31 0 0 20 0 15 0 272188870 14429130752 208731 33554432000 4194304 4196468 140729596381520 139662552505232 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16360] ppid=16352 vsize=14090948 memory=834924 CPUtime=5.42 cores=1,3,5,7
/proc/16355/task/16360/stat : 16360 (java) S 16352 16355 15687 0 -1 1077944384 8170 0 0 0 511 31 0 0 20 0 15 0 272188870 14429130752 208731 33554432000 4194304 4196468 140729596381520 139662551452688 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16361] ppid=16352 vsize=14090948 memory=834924 CPUtime=5.4 cores=1,3,5,7
/proc/16355/task/16361/stat : 16361 (java) S 16352 16355 15687 0 -1 1077944384 11772 0 0 0 508 32 0 0 20 0 15 0 272188870 14429130752 208731 33554432000 4194304 4196468 140729596381520 139662550400144 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16362] ppid=16352 vsize=14090948 memory=834924 CPUtime=3.28 cores=1,3,5,7
/proc/16355/task/16362/stat : 16362 (java) S 16352 16355 15687 0 -1 1077944384 11019 0 0 0 301 27 0 0 20 0 15 0 272188872 14429130752 208731 33554432000 4194304 4196468 140729596381520 139662097762288 139662623480450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16363] ppid=16352 vsize=14090948 memory=834924 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16363/stat : 16363 (java) S 16352 16355 15687 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 272188872 14429130752 208731 33554432000 4194304 4196468 140729596381520 139662096708576 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16364] ppid=16352 vsize=14090948 memory=834924 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16364/stat : 16364 (java) S 16352 16355 15687 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 272188872 14429130752 208731 33554432000 4194304 4196468 140729596381520 139662095655936 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16365] ppid=16352 vsize=14090948 memory=834924 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16365/stat : 16365 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14429130752 208731 33554432000 4194304 4196468 140729596381520 139662094604496 139662623487899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16366] ppid=16352 vsize=14090948 memory=834924 CPUtime=2.51 cores=1,3,5,7
/proc/16355/task/16366/stat : 16366 (java) S 16352 16355 15687 0 -1 1077944384 8470 0 0 0 250 1 0 0 20 0 15 0 272188875 14429130752 208731 33554432000 4194304 4196468 140729596381520 139662093552112 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16367] ppid=16352 vsize=14090948 memory=834924 CPUtime=2.6 cores=1,3,5,7
/proc/16355/task/16367/stat : 16367 (java) S 16352 16355 15687 0 -1 1077944384 7889 0 0 0 258 2 0 0 20 0 15 0 272188875 14429130752 208731 33554432000 4194304 4196468 140729596381520 139662092499568 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16368] ppid=16352 vsize=14090948 memory=6443924725174921063 CPUtime=1.09 cores=1,3,5,7
/proc/16355/task/16368/stat : 16368 (java) S 16352 16355 15687 0 -1 1077944384 15168 0 0 0 107 2 0 0 20 0 15 0 272188875 14429130752 208731 33554432000 4194304 4196468 140729596381520 139662091447024 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16369] ppid=16352 vsize=14090948 memory=834924 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16369/stat : 16369 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14429130752 208731 33554432000 4194304 4196468 140729596381520 139662090394720 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16370] ppid=16352 vsize=14090948 memory=1984 CPUtime=0.89 cores=1,3,5,7
/proc/16355/task/16370/stat : 16370 (java) S 16352 16355 15687 0 -1 1077944384 988 0 0 0 39 50 0 0 20 0 15 0 272188875 14429130752 208731 33554432000 4194304 4196468 140729596381520 139662089341232 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
Current children cumulated CPU time: 2463.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 834924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2499 s]*
/proc/loadavg: 1.39 1.56 1.50 3/216 16548
/proc/meminfo: memFree=22669180/32770624 swapFree=67108804/67108860
[pid=16355] ppid=16352 vsize=14090948 memory=836972 CPUtime=2520.09 cores=1,3,5,7
/proc/16355/stat : 16355 (java) S 16352 16355 15687 0 -1 1077944320 135910 0 0 0 251811 198 0 0 20 0 15 0 272188869 14429130752 209243 33554432000 4194304 4196468 140729596381520 140729596364064 139662623469303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
/proc/16355/statm: 3522737 209243 3597 1 0 3484809 0
[pid=16355/tid=16357] ppid=16352 vsize=14090948 memory=720575944405811505 CPUtime=2487.35 cores=1,3,5,7
/proc/16355/task/16357/stat : 16357 (java) R 16352 16355 15687 0 -1 4202560 50106 0 0 0 248714 21 0 0 20 0 15 0 272188870 14429130752 209243 33554432000 4194304 4196468 140729596381520 139662627707456 139662232023001 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16358] ppid=16352 vsize=14090948 memory=0 CPUtime=5.55 cores=1,3,5,7
/proc/16355/task/16358/stat : 16358 (java) S 16352 16355 15687 0 -1 1077944384 11338 0 0 0 525 30 0 0 20 0 15 0 272188870 14429130752 209243 33554432000 4194304 4196468 140729596381520 139662553557776 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16359] ppid=16352 vsize=14090948 memory=288370655603091328 CPUtime=5.53 cores=1,3,5,7
/proc/16355/task/16359/stat : 16359 (java) S 16352 16355 15687 0 -1 1077944384 9110 0 0 0 522 31 0 0 20 0 15 0 272188870 14429130752 209243 33554432000 4194304 4196468 140729596381520 139662552505232 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16360] ppid=16352 vsize=14090948 memory=16099269136353865 CPUtime=5.55 cores=1,3,5,7
/proc/16355/task/16360/stat : 16360 (java) S 16352 16355 15687 0 -1 1077944384 8200 0 0 0 523 32 0 0 20 0 15 0 272188870 14429130752 209243 33554432000 4194304 4196468 140729596381520 139662551452688 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16361] ppid=16352 vsize=14090948 memory=-7531822216213012384 CPUtime=5.53 cores=1,3,5,7
/proc/16355/task/16361/stat : 16361 (java) S 16352 16355 15687 0 -1 1077944384 11993 0 0 0 520 33 0 0 20 0 15 0 272188870 14429130752 209243 33554432000 4194304 4196468 140729596381520 139662550400144 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16362] ppid=16352 vsize=14090948 memory=0 CPUtime=3.37 cores=1,3,5,7
/proc/16355/task/16362/stat : 16362 (java) S 16352 16355 15687 0 -1 1077944384 11196 0 0 0 309 28 0 0 20 0 15 0 272188872 14429130752 209243 33554432000 4194304 4196468 140729596381520 139662097762288 139662623480450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16363] ppid=16352 vsize=14090948 memory=4830786140298962533 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16363/stat : 16363 (java) S 16352 16355 15687 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 272188872 14429130752 209243 33554432000 4194304 4196468 140729596381520 139662096708576 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16364] ppid=16352 vsize=14090948 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16364/stat : 16364 (java) S 16352 16355 15687 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 272188872 14429130752 209243 33554432000 4194304 4196468 140729596381520 139662095655936 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16365] ppid=16352 vsize=14090948 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16365/stat : 16365 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14429130752 209243 33554432000 4194304 4196468 140729596381520 139662094604496 139662623487899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16366] ppid=16352 vsize=14090948 memory=0 CPUtime=2.51 cores=1,3,5,7
/proc/16355/task/16366/stat : 16366 (java) S 16352 16355 15687 0 -1 1077944384 8472 0 0 0 250 1 0 0 20 0 15 0 272188875 14429130752 209243 33554432000 4194304 4196468 140729596381520 139662093552112 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16367] ppid=16352 vsize=14090948 memory=2867664656544031 CPUtime=2.6 cores=1,3,5,7
/proc/16355/task/16367/stat : 16367 (java) S 16352 16355 15687 0 -1 1077944384 7892 0 0 0 258 2 0 0 20 0 15 0 272188875 14429130752 209243 33554432000 4194304 4196468 140729596381520 139662092499568 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16368] ppid=16352 vsize=14090948 memory=3472468575679059632 CPUtime=1.09 cores=1,3,5,7
/proc/16355/task/16368/stat : 16368 (java) S 16352 16355 15687 0 -1 1077944384 15170 0 0 0 107 2 0 0 20 0 15 0 272188875 14429130752 209243 33554432000 4194304 4196468 140729596381520 139662091447024 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16369] ppid=16352 vsize=14090948 memory=3184097920075968559 CPUtime=0 cores=1,3,5,7
/proc/16355/task/16369/stat : 16369 (java) S 16352 16355 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272188875 14429130752 209243 33554432000 4194304 4196468 140729596381520 139662090394720 139662623479509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
[pid=16355/tid=16370] ppid=16352 vsize=14090948 memory=3472468575679059628 CPUtime=0.92 cores=1,3,5,7
/proc/16355/task/16370/stat : 16370 (java) S 16352 16355 15687 0 -1 1077944384 1001 0 0 0 40 52 0 0 20 0 15 0 272188875 14429130752 209243 33554432000 4194304 4196468 140729596381520 139662089341232 139662623480450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31846400 140729596384328 140729596384521 140729596384521 140729596387279 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 836972 KiB

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

[startup+2499.02 s]
# the end of solver process 16355 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.13 s, system=1.98788 s

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

Child status: 143
Real time (s): 2499.02
CPU time (s): 2520.12
CPU user time (s): 2518.13
CPU system time (s): 1.98788
CPU usage (%): 100.844
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 836972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.13
system time used= 1.98788
maximum resident set size= 837408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136241
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144855
involuntary context switches= 4596


# summary of solver processes directly reported to runsolver:
#   pid: 16355
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2518.13
#   total CPU system time (s): 1.98788

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7189 second user time and 22.733 second system time

The end

Launcher Data 

Begin job on node105 at 2018-08-18 00:50:57
IDJOB=4312023
IDBENCH=141193
IDSOLVER=2799
FILE ID=node105/4312023-1534546257
RUNJOBID= node105-1534541043-15719
PBS_JOBID= 21038642
Free space on /tmp= 52344 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-07-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312023-1534546257/watcher-4312023-1534546257 -o /tmp/evaluation-result-4312023-1534546257/solver-4312023-1534546257 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534541043-15719 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2119236025 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312023-1534546257.xml

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

MD5SUM BENCH= 8413fdc9a9128e0623052c10493da036
RANDOM SEED=2119236025

node105.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.32
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.32
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.32
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.32
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:        23573908 kB
MemAvailable:   31720164 kB
Buffers:          251340 kB
Cached:          8157184 kB
SwapCached:           16 kB
Active:          5650644 kB
Inactive:        2978840 kB
Active(anon):     193796 kB
Inactive(anon):    96512 kB
Active(file):    5456848 kB
Inactive(file):  2882328 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108860 kB
SwapFree:       67108804 kB
Dirty:             35732 kB
Writeback:             0 kB
AnonPages:        167476 kB
Mapped:            31044 kB
Shmem:             66132 kB
Slab:             265476 kB
SReclaimable:     235540 kB
SUnreclaim:        29936 kB
KernelStack:        3824 kB
PageTables:         5348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1242512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 52308 MiB
End job on node105 at 2018-08-18 01:32:36