Trace number 4312381

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)159504 252.107 243.74

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 benchmark252.078
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.67/0.56	c version: 2018-08-17
0.67/0.56	c seed: 131105703
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
6.18/2.77	c Parsing done, starting search...
49.84/43.90	o 184998
49.97/43.90	o 183998
49.97/43.91	o 183098
49.97/43.92	o 183078
49.97/43.92	o 182179
49.97/43.93	o 182178
49.97/43.93	o 182078
49.97/43.93	o 182076
49.97/43.94	o 180176
49.97/43.94	o 180076
49.97/43.95	o 179175
49.97/43.95	o 179076
49.97/43.97	o 178077
49.97/43.97	o 178076
49.97/43.97	o 178075
49.97/43.97	o 177975
49.97/43.98	o 176995
49.97/43.99	o 175995
49.97/43.99	o 173997
49.97/43.99	o 173995
49.97/44.00	o 173917
50.29/44.01	o 173916
50.29/44.01	o 173915
50.29/44.01	o 173115
50.29/44.02	o 173015
50.29/44.06	o 173014
50.29/44.06	o 173013
50.29/44.07	o 172114
50.29/44.07	o 172015
50.29/44.08	o 171915
50.29/44.08	o 171907
50.29/44.09	o 171906
50.29/44.10	o 170996
50.51/44.13	o 170995
50.51/44.19	o 170994
50.67/44.29	o 170985
50.67/44.30	o 170075
50.77/44.30	o 169997
50.77/44.30	o 169996
50.77/44.31	o 169995
50.87/44.48	o 169096
50.87/44.48	o 169095
50.87/44.48	o 168894
50.87/44.49	o 168893
50.97/44.52	o 168795
50.97/44.54	o 168794
51.18/44.78	o 168022
51.18/44.78	o 167822
51.18/44.79	o 167793
51.18/44.79	o 167792
51.38/44.93	o 167692
51.38/44.93	o 167592
51.38/44.93	o 167591
51.38/44.96	o 166601
51.38/44.98	o 166600
51.49/45.08	o 166599
52.32/45.84	o 166500
52.32/45.84	o 166499
53.00/46.43	o 166498
53.10/46.53	o 166398
54.20/47.61	o 166308
54.32/47.78	o 166300
54.32/47.78	o 166299
54.32/47.78	o 166298
58.93/52.38	o 166291
58.93/52.39	o 166290
59.03/52.41	o 166289
60.64/54.07	o 166281
60.64/54.07	o 166280
67.26/60.65	o 166279
69.97/63.39	o 165380
69.97/63.39	o 165379
72.09/65.43	o 165291
72.09/65.43	o 165290
72.09/65.43	o 165289
72.70/66.01	o 165288
72.70/66.01	o 165287
159.75/152.71	o 165098
159.75/152.72	o 165088
159.75/152.72	o 165087
159.75/152.72	o 165077
159.75/152.75	o 165076
159.75/152.76	o 164986
159.75/152.76	o 164975
159.75/152.76	o 164885
159.75/152.78	o 164866
159.75/152.79	o 164865
159.75/152.79	o 164775
160.86/153.85	o 164666
160.86/153.86	o 164665
160.86/153.86	o 164575
172.73/165.64	o 164566
174.97/167.83	o 164466
175.48/168.30	o 164356
175.48/168.31	o 164355
175.69/168.52	o 163645
175.69/168.53	o 163545
175.69/168.53	o 163345
175.79/168.61	o 162346
175.79/168.61	o 162345
178.14/170.98	o 162245
178.25/171.03	o 162244
179.87/172.61	o 162147
179.87/172.61	o 162146
202.88/195.34	o 162098
202.88/195.34	o 162088
202.88/195.34	o 162068
202.88/195.34	o 162067
202.88/195.34	o 162066
202.88/195.38	o 162065
202.88/195.38	o 162064
202.88/195.39	o 162057
202.88/195.40	o 162056
202.98/195.40	o 162055
202.98/195.40	o 161956
202.98/195.41	o 161955
202.98/195.42	o 161954
202.98/195.42	o 161945
202.98/195.45	o 161857
202.98/195.46	o 161847
202.98/195.47	o 161846
202.98/195.48	o 161845
204.00/196.40	o 161828
204.00/196.40	o 161827
204.00/196.40	o 161826
204.00/196.41	o 161825
204.31/196.72	o 161726
204.31/196.72	o 161725
204.31/196.73	o 161625
204.51/196.91	o 161527
204.51/196.91	o 161526
204.51/196.92	o 161525
206.78/199.17	o 161515
206.78/199.17	o 161514
207.89/200.22	o 161426
208.10/200.44	o 161425
209.42/201.73	o 161424
209.42/201.74	o 161423
209.42/201.77	o 161414
209.63/202.01	o 161405
209.73/202.01	o 161404
209.83/202.13	o 161315
212.39/204.63	o 160925
212.39/204.63	o 160825
212.39/204.63	o 160725
212.39/204.64	o 160715
212.39/204.64	o 160615
212.39/204.64	o 160614
212.39/204.65	o 160514
212.81/205.09	o 160415
212.81/205.09	o 160414
213.41/205.61	o 160405
213.41/205.62	o 160404
215.65/207.89	o 160114
215.65/207.89	o 160014
215.65/207.90	o 159914
215.76/207.90	o 159814
215.76/207.90	o 159804
215.76/207.91	o 159704
215.76/207.92	o 159605
215.76/207.92	o 159604
215.76/207.93	o 159504
252.06/243.71	s SATISFIABLE
252.06/243.71	v <instantiation>
252.06/243.71	v 	<list>
252.06/243.71	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]
252.06/243.71	v 	</list>
252.06/243.71	v 	<values>
252.06/243.71	v 		72 310 666 428 44 282 58 296 666 428 310 72 554 792 30 268 736 498 526 764 680 442 30 268 792 554 792 554 526 764 666 428 366 128 666 428 792 554 456 694 708 470 58 296 478 240 680 442 254 16 240 478 764 526 666 428 540 778 156 394 240 478 736 498 16 254 778 540 72 310 16 254 16 254 16 254 58 296 764 526 792 554 792 554 484 722 86 324 310 72 128 366 708 470 338 100 366 128 16 254 554 792 526 764 366 128 44 282 764 526 240 478 470 708 778 540 680 442 736 498 778 540 114 352 778 540 652 414 156 394 722 484 722 484 72 310 708 470 540 778 652 414 30 268 708 470 478 240 666 428 254 16 778 540 526 764 128 366 30 268 268 30 764 526 708 470 86 324 170 408 478 240 694 456 470 708 16 254 708 470 240 478 30 268 652 414 30 268 708 470 652 414 240 478 86 324 778 540 540 778 666 428 554 792 694 456 100 338 694 456 764 526 338 100 254 16 142 380 240 478 282 44 526 764 44 282 778 540 86 324 380 142 86 324 86 324 16 254 156 394 456 694 352 114 414 652 170 408 540 778 512 750 478 240 58 296 652 414 540 778 792 554 792 554 526 764 380 142 100 338 114 352 142 380 310 72 100 338 268 30 324 86 170 408 44 282 750 512 442 680 156 394 680 442 324 86 722 484 470 708 498 736 380 142 296 58 736 498 792 554 652 414 310 72 666 428 16 254 736 498 554 792 128 366 428 666 324 86 128 366 666 428 414 652 708 470 694 456 58 296 512 750 128 366 310 72 16 254 442 680 778 540 792 554 554 792 282 44 240 478 16 254 114 352 792 554 380 142 540 778 554 792 128 366 30 268 324 86 764 526 282 44 44 282 142 380 764 526 366 128 414 652 170 408 114 352 428 666 58 296 1000 1000 0 0 1000 1000 1000 1000 1000 1000 0 0 0 0 0 0 1000 1000 0 0 1000 1000 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 100 100 100 100 100 100 100 100 0 0 100 100 0 0 100 100 100 100 100 100 0 0 100 100 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 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 0 0 10 10 10 10 0 0 0 0 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 1000 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 1000 1000 1000 1000 0 0 0 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 0 0 1000 1000 1000 0 0 0 0 0 1000 0 1000 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 1000 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 1000 0 0 0 1000 1000 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 1000 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 1000 1000 0 0 1000 0 1000 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 100 0 100 0 100 100 100 100 100 0 0 0 0 0 0 0 0 100 100 0 100 0 100 0 0 0 0 0 0 0 100 100 100 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 100 100 100 0 0 0 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 100 100 100 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 100 100 0 0 0 100 100 100 100 0 100 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 0 100 0 100 100 0 0 0 100 100 0 0 100 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 0 0 100 0 100 100 100 0 0 100 100 0 100 0 100 0 0 0 0 100 100 0 0 100 0 0 0 0 100 0 100 0 0 0 0 100 0 0 100 0 100 100 0 0 0 0 0 0 100 100 100 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 100 0 100 0 0 100 0 100 100 0 0 100 0 100 0 0 100 100 0 100 0 0 0 0 0 0 0 0 100 100 0 100 100 0 0 0 0 100 0 100 100 0 0 0 0 0 100 100 100 0 0 0 0 0 0 100 0 0 100 100 100 0 100 100 0 100 0 0 0 0 0 100 0 100 0 100 0 0 100 100 100 100 0 0 0 0 100 0 100 100 0 0 0 100 0 0 100 0 0 100 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 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 100 0 100 100 0 0 100 0 100 0 0 100 100 0 0 0 0 100 0 0 0 10 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 10 0 0 10 10 10 0 0 0 10 0 0 0 10 10 10 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 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 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 10 10 10 10 10 0 0 10 0 10 10 0 0 0 10 10 0 0 10 10 10 10 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 10 0 10 10 0 0 0 0 10 10 10 0 10 0 0 10 10 10 0 0 0 0 10 0 10 10 0 0 0 10 0 0 0 10 0 0 10 0 10 10 0 10 0 10 0 0 0 0 0 0 10 0 0 0 10 0 10 10 10 0 10 0 0 0 0 10 10 10 0 10 10 10 10 0 0 0 0 10 10 0 0 0 10 0 0 0 0 10 10 0 10 0 0 0 0 0 10 0 0 0 0 10 10 0 0 10 0 0 0 0 10 0 0 10 0 0 10 0 0 0 10 10 0 10 0 10 10 10 0 10 10 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 0 10 10 0 0 10 10 0 10 0 10 10 10 0 10 0 10 10 0 0 0 0 10 10 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 10 10 0 10 0 10 0 0 0 0 0 10 10 0 10 10 10 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 10 0 10 10 0 10 0 10 0 10 0 0 10 10 10 10 0 0 0 0 0 10 0 0 10 0 0 0 0 10 10 10 0 0 0 10 0 0 0 0 0 10 10 0 10 0 10 10 10 0 0 0 0 0 0 0 0 0 10 10 0 10 10 0 0 10 0 0 10 0 0 10 0 10 0 10 0 10 10 0 0 0 0 10 10 0 0 10 10 0 0 0 10 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 1 1 1 0 0 1 1 0 0 0 0 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 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 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 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 
252.06/243.71	v 	</values>
252.06/243.71	v </instantiation>

Verifier Data 

OK	159504

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312381-1534569181/watcher-4312381-1534569181 -o /tmp/evaluation-result-4312381-1534569181/solver-4312381-1534569181 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534568687-8118 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 131105703 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312381-1534569181.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=8564, runsolver pid=8561


[startup+0.100164 s]*
/proc/loadavg: 1.70 1.59 1.30 3/221 8579
/proc/meminfo: memFree=24620716/32770624 swapFree=67108840/67108860
[pid=8564] ppid=8561 vsize=14082736 memory=31988 CPUtime=0.12 cores=0,2,4,6
/proc/8564/stat : 8564 (java) S 8561 8564 3449 0 -1 1077944320 6401 0 0 0 11 1 0 0 20 0 15 0 274481290 14420721664 7997 33554432000 4194304 4196468 140732486629520 140732486612064 139851138858743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
/proc/8564/statm: 3520684 7997 3150 1 0 3482761 0
[pid=8564/tid=8566] ppid=8561 vsize=14082736 memory=-8391711855870833856 CPUtime=0.09 cores=0,2,4,6
/proc/8564/task/8566/stat : 8566 (java) R 8561 8564 3449 0 -1 4202560 4449 0 0 0 8 1 0 0 20 0 15 0 274481290 14420721664 7997 33554432000 4194304 4196468 140732486629520 139851143061864 139851122939230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8567] ppid=8561 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8567/stat : 8567 (java) S 8561 8564 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274481291 14420721664 7997 33554432000 4194304 4196468 140732486629520 139851053927056 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8568] ppid=8561 vsize=14082736 memory=139900092941952 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8568/stat : 8568 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481291 14420721664 7997 33554432000 4194304 4196468 140732486629520 139851052874256 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8569] ppid=8561 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8569/stat : 8569 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481291 14420721664 7997 33554432000 4194304 4196468 140732486629520 139851051821456 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8570] ppid=8561 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8570/stat : 8570 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481291 14420721664 7997 33554432000 4194304 4196468 140732486629520 139851050768656 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8571] ppid=8561 vsize=14082736 memory=139900092941952 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8571/stat : 8571 (java) S 8561 8564 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274481293 14420721664 7997 33554432000 4194304 4196468 140732486629520 139850253314928 139851138869890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8572] ppid=8561 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8572/stat : 8572 (java) S 8561 8564 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274481293 14420721664 7997 33554432000 4194304 4196468 140732486629520 139850252260896 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8573] ppid=8561 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8573/stat : 8573 (java) S 8561 8564 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274481293 14420721664 7997 33554432000 4194304 4196468 140732486629520 139850251208048 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8574] ppid=8561 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8574/stat : 8574 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14420721664 7997 33554432000 4194304 4196468 140732486629520 139850250156368 139851138877339 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8575] ppid=8561 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8575/stat : 8575 (java) S 8561 8564 3449 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 274481296 14420721664 7997 33554432000 4194304 4196468 140732486629520 139850249103728 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8576] ppid=8561 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8576/stat : 8576 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14420721664 7997 33554432000 4194304 4196468 140732486629520 139850248050928 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8577] ppid=8561 vsize=14082736 memory=139900092941952 CPUtime=0.01 cores=0,2,4,6
/proc/8564/task/8577/stat : 8577 (java) S 8561 8564 3449 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 274481296 14420721664 7997 33554432000 4194304 4196468 140732486629520 139850246998128 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8578] ppid=8561 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8578/stat : 8578 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14420721664 7997 33554432000 4194304 4196468 140732486629520 139850245945568 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8579] ppid=8561 vsize=14082736 memory=139900092941952 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8579/stat : 8579 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481296 14420721664 7997 33554432000 4194304 4196468 140732486629520 139850244893872 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31988 KiB

[startup+0.217297 s]*
/proc/loadavg: 1.70 1.59 1.30 6/221 8579
/proc/meminfo: memFree=24606080/32770624 swapFree=67108840/67108860
[pid=8564] ppid=8561 vsize=14082736 memory=47800 CPUtime=0.31 cores=0,2,4,6
/proc/8564/stat : 8564 (java) S 8561 8564 3449 0 -1 1077944320 10063 0 0 0 29 2 0 0 20 0 15 0 274481290 14420721664 11950 33554432000 4194304 4196468 140732486629520 140732486612064 139851138858743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
/proc/8564/statm: 3520684 11950 3364 1 0 3482761 0
[pid=8564/tid=8566] ppid=8561 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/8564/task/8566/stat : 8566 (java) S 8561 8564 3449 0 -1 1077944384 7771 0 0 0 18 1 0 0 20 0 15 0 274481290 14420721664 11950 33554432000 4194304 4196468 140732486629520 139851143084640 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8567] ppid=8561 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8567/stat : 8567 (java) S 8561 8564 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274481291 14420721664 11950 33554432000 4194304 4196468 140732486629520 139851053927056 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8568] ppid=8561 vsize=14082736 memory=139900092950631 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8568/stat : 8568 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481291 14420721664 11950 33554432000 4194304 4196468 140732486629520 139851052874256 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8569] ppid=8561 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8569/stat : 8569 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481291 14420721664 11950 33554432000 4194304 4196468 140732486629520 139851051821456 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8570] ppid=8561 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8570/stat : 8570 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481291 14420721664 11950 33554432000 4194304 4196468 140732486629520 139851050768656 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8571] ppid=8561 vsize=14082736 memory=139900092941952 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8571/stat : 8571 (java) S 8561 8564 3449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274481293 14420721664 11950 33554432000 4194304 4196468 140732486629520 139850253314928 139851138869890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8572] ppid=8561 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8572/stat : 8572 (java) S 8561 8564 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274481293 14420721664 11950 33554432000 4194304 4196468 140732486629520 139850252260896 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8573] ppid=8561 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8573/stat : 8573 (java) S 8561 8564 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274481293 14420721664 11950 33554432000 4194304 4196468 140732486629520 139850251208048 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8574] ppid=8561 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8574/stat : 8574 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14420721664 11950 33554432000 4194304 4196468 140732486629520 139850250156368 139851138877339 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8575] ppid=8561 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8564/task/8575/stat : 8575 (java) R 8561 8564 3449 0 -1 4202560 443 0 0 0 2 0 0 0 20 0 15 0 274481296 14420721664 11950 33554432000 4194304 4196468 140732486629520 139850249090576 139851138870678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8576] ppid=8561 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8564/task/8576/stat : 8576 (java) S 8561 8564 3449 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 15 0 274481296 14420721664 11950 33554432000 4194304 4196468 140732486629520 139850248050928 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8577] ppid=8561 vsize=14082736 memory=139900092941952 CPUtime=0.06 cores=0,2,4,6
/proc/8564/task/8577/stat : 8577 (java) S 8561 8564 3449 0 -1 1077944384 301 0 0 0 6 0 0 0 20 0 15 0 274481296 14420721664 11950 33554432000 4194304 4196468 140732486629520 139850246998128 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8578] ppid=8561 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8578/stat : 8578 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14420721664 11950 33554432000 4194304 4196468 140732486629520 139850245945568 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8579] ppid=8561 vsize=14082736 memory=139900092941952 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8579/stat : 8579 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481296 14420721664 11950 33554432000 4194304 4196468 140732486629520 139850244893872 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47800 KiB

[startup+0.310615 s]*
/proc/loadavg: 1.70 1.59 1.30 3/221 8579
/proc/meminfo: memFree=24602656/32770624 swapFree=67108840/67108860
[pid=8564] ppid=8561 vsize=14082736 memory=50928 CPUtime=0.43 cores=0,2,4,6
/proc/8564/stat : 8564 (java) S 8561 8564 3449 0 -1 1077944320 10414 0 0 0 41 2 0 0 20 0 15 0 274481290 14420721664 12732 33554432000 4194304 4196468 140732486629520 140732486612064 139851138858743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
/proc/8564/statm: 3520684 12732 3367 1 0 3482761 0
[pid=8564/tid=8566] ppid=8561 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/8564/task/8566/stat : 8566 (java) R 8561 8564 3449 0 -1 4202560 8094 0 0 0 28 2 0 0 20 0 15 0 274481290 14420721664 12732 33554432000 4194304 4196468 140732486629520 139851143070256 139851120422295 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8567] ppid=8561 vsize=14082736 memory=290763888105095191 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8567/stat : 8567 (java) S 8561 8564 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274481291 14420721664 12732 33554432000 4194304 4196468 140732486629520 139851053927056 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8568] ppid=8561 vsize=14082736 memory=15956586251683480 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8568/stat : 8568 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481291 14420721664 12732 33554432000 4194304 4196468 140732486629520 139851052874256 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8569] ppid=8561 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8569/stat : 8569 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481291 14420721664 12732 33554432000 4194304 4196468 140732486629520 139851051821456 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8570] ppid=8561 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8570/stat : 8570 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481291 14420721664 12732 33554432000 4194304 4196468 140732486629520 139851050768656 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8571] ppid=8561 vsize=14082736 memory=139900092941952 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8571/stat : 8571 (java) S 8561 8564 3449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274481293 14420721664 12732 33554432000 4194304 4196468 140732486629520 139850253314928 139851138869890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8572] ppid=8561 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8572/stat : 8572 (java) S 8561 8564 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274481293 14420721664 12732 33554432000 4194304 4196468 140732486629520 139850252260896 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8573] ppid=8561 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8573/stat : 8573 (java) S 8561 8564 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274481293 14420721664 12732 33554432000 4194304 4196468 140732486629520 139850251208048 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8574] ppid=8561 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8574/stat : 8574 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14420721664 12732 33554432000 4194304 4196468 140732486629520 139850250156368 139851138877339 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8575] ppid=8561 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8564/task/8575/stat : 8575 (java) S 8561 8564 3449 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 15 0 274481296 14420721664 12732 33554432000 4194304 4196468 140732486629520 139850249103728 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8576] ppid=8561 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8564/task/8576/stat : 8576 (java) S 8561 8564 3449 0 -1 1077944384 183 0 0 0 2 0 0 0 20 0 15 0 274481296 14420721664 12732 33554432000 4194304 4196468 140732486629520 139850248050928 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8577] ppid=8561 vsize=14082736 memory=139900092941952 CPUtime=0.08 cores=0,2,4,6
/proc/8564/task/8577/stat : 8577 (java) S 8561 8564 3449 0 -1 1077944384 309 0 0 0 8 0 0 0 20 0 15 0 274481296 14420721664 12732 33554432000 4194304 4196468 140732486629520 139850246998128 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8578] ppid=8561 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8578/stat : 8578 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14420721664 12732 33554432000 4194304 4196468 140732486629520 139850245945568 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8579] ppid=8561 vsize=14082736 memory=139900092941952 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8579/stat : 8579 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481296 14420721664 12732 33554432000 4194304 4196468 140732486629520 139850244893872 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50928 KiB

[startup+0.7008 s]
/proc/loadavg: 1.70 1.59 1.30 3/221 8579
/proc/meminfo: memFree=24578720/32770624 swapFree=67108840/67108860
[pid=8564] ppid=8561 vsize=14084804 memory=88804 CPUtime=0.98 cores=0,2,4,6
/proc/8564/stat : 8564 (java) S 8561 8564 3449 0 -1 1077944320 17098 0 0 0 94 4 0 0 20 0 15 0 274481290 14422839296 22201 33554432000 4194304 4196468 140732486629520 140732486612064 139851138858743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
/proc/8564/statm: 3521201 22201 3505 1 0 3483273 0
[pid=8564/tid=8566] ppid=8561 vsize=14084804 memory=1784 CPUtime=0.67 cores=0,2,4,6
/proc/8564/task/8566/stat : 8566 (java) R 8561 8564 3449 0 -1 4202560 14425 0 0 0 64 3 0 0 20 0 15 0 274481290 14422839296 22201 33554432000 4194304 4196468 140732486629520 139851143073648 139851122939230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8567] ppid=8561 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8567/stat : 8567 (java) S 8561 8564 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274481291 14422839296 22201 33554432000 4194304 4196468 140732486629520 139851053927056 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8568] ppid=8561 vsize=14084804 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8568/stat : 8568 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481291 14422839296 22201 33554432000 4194304 4196468 140732486629520 139851052874256 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8569] ppid=8561 vsize=14084804 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8569/stat : 8569 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481291 14422839296 22201 33554432000 4194304 4196468 140732486629520 139851051821456 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8570] ppid=8561 vsize=14084804 memory=5728 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8570/stat : 8570 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481291 14422839296 22201 33554432000 4194304 4196468 140732486629520 139851050768656 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8571] ppid=8561 vsize=14084804 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8571/stat : 8571 (java) S 8561 8564 3449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274481293 14422839296 22201 33554432000 4194304 4196468 140732486629520 139850253314928 139851138869890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8572] ppid=8561 vsize=14084804 memory=1092 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8572/stat : 8572 (java) S 8561 8564 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274481293 14422839296 22201 33554432000 4194304 4196468 140732486629520 139850252260896 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8573] ppid=8561 vsize=14084804 memory=836 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8573/stat : 8573 (java) S 8561 8564 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274481293 14422839296 22201 33554432000 4194304 4196468 140732486629520 139850251208048 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8574] ppid=8561 vsize=14084804 memory=10692 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8574/stat : 8574 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14422839296 22201 33554432000 4194304 4196468 140732486629520 139850250156368 139851138877339 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8575] ppid=8561 vsize=14084804 memory=7450174591119418944 CPUtime=0.06 cores=0,2,4,6
/proc/8564/task/8575/stat : 8575 (java) S 8561 8564 3449 0 -1 1077944384 592 0 0 0 6 0 0 0 20 0 15 0 274481296 14422839296 22201 33554432000 4194304 4196468 140732486629520 139850249103728 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8576] ppid=8561 vsize=14084804 memory=6442510787546475095 CPUtime=0.08 cores=0,2,4,6
/proc/8564/task/8576/stat : 8576 (java) S 8561 8564 3449 0 -1 1077944384 334 0 0 0 8 0 0 0 20 0 15 0 274481296 14422839296 22201 33554432000 4194304 4196468 140732486629520 139850248050928 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8577] ppid=8561 vsize=14084804 memory=7523071198212214892 CPUtime=0.14 cores=0,2,4,6
/proc/8564/task/8577/stat : 8577 (java) S 8561 8564 3449 0 -1 1077944384 369 0 0 0 14 0 0 0 20 0 15 0 274481296 14422839296 22201 33554432000 4194304 4196468 140732486629520 139850246998128 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8578] ppid=8561 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8578/stat : 8578 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14422839296 22201 33554432000 4194304 4196468 140732486629520 139850245945568 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8579] ppid=8561 vsize=14084804 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8579/stat : 8579 (java) S 8561 8564 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274481296 14422839296 22201 33554432000 4194304 4196468 140732486629520 139850244893872 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88804 KiB

[startup+1.50129 s]
/proc/loadavg: 1.97 1.65 1.32 5/221 8579
/proc/meminfo: memFree=24501476/32770624 swapFree=67108840/67108860
[pid=8564] ppid=8561 vsize=14088900 memory=222660 CPUtime=3.46 cores=0,2,4,6
/proc/8564/stat : 8564 (java) S 8561 8564 3449 0 -1 1077944320 22612 0 0 0 337 9 0 0 20 0 15 0 274481290 14427033600 55665 33554432000 4194304 4196468 140732486629520 140732486612064 139851138858743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
/proc/8564/statm: 3522225 55665 3555 1 0 3484297 0
[pid=8564/tid=8566] ppid=8561 vsize=14088900 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/8564/task/8566/stat : 8566 (java) R 8561 8564 3449 0 -1 4202560 15795 0 0 0 140 5 0 0 20 0 15 0 274481290 14427033600 55665 33554432000 4194304 4196468 140732486629520 139851143092728 139850734396227 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8567] ppid=8561 vsize=14088900 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8567/stat : 8567 (java) S 8561 8564 3449 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 15 0 274481291 14427033600 55665 33554432000 4194304 4196468 140732486629520 139851053927056 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8568] ppid=8561 vsize=14088900 memory=-2843874019102283166 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8568/stat : 8568 (java) S 8561 8564 3449 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 274481291 14427033600 55665 33554432000 4194304 4196468 140732486629520 139851052874256 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8569] ppid=8561 vsize=14088900 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8569/stat : 8569 (java) S 8561 8564 3449 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 274481291 14427033600 55665 33554432000 4194304 4196468 140732486629520 139851051821456 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8570] ppid=8561 vsize=14088900 memory=1401637097735671167 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8570/stat : 8570 (java) S 8561 8564 3449 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 274481291 14427033600 55665 33554432000 4194304 4196468 140732486629520 139851050768656 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8571] ppid=8561 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8571/stat : 8571 (java) S 8561 8564 3449 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 274481293 14427033600 55665 33554432000 4194304 4196468 140732486629520 139850253314928 139851138869890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0

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

/proc/8564/task/8566/stat : 8566 (java) R 8561 8564 3449 0 -1 4202560 31165 0 0 0 16171 13 0 0 20 0 15 0 274481290 14429130752 181532 33554432000 4194304 4196468 140732486629520 139851143096800 139850740550757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8567] ppid=8561 vsize=14090948 memory=725908 CPUtime=0.29 cores=0,2,4,6
/proc/8564/task/8567/stat : 8567 (java) S 8561 8564 3449 0 -1 1077944384 927 0 0 0 21 8 0 0 20 0 15 0 274481291 14429130752 181532 33554432000 4194304 4196468 140732486629520 139851053927056 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8568] ppid=8561 vsize=14090948 memory=726640 CPUtime=0.28 cores=0,2,4,6
/proc/8564/task/8568/stat : 8568 (java) S 8561 8564 3449 0 -1 1077944384 2228 0 0 0 20 8 0 0 20 0 15 0 274481291 14429130752 181532 33554432000 4194304 4196468 140732486629520 139851052874256 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8569] ppid=8561 vsize=14090948 memory=726640 CPUtime=0.27 cores=0,2,4,6
/proc/8564/task/8569/stat : 8569 (java) S 8561 8564 3449 0 -1 1077944384 2033 0 0 0 19 8 0 0 20 0 15 0 274481291 14429130752 181532 33554432000 4194304 4196468 140732486629520 139851051821456 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8570] ppid=8561 vsize=14090948 memory=726640 CPUtime=0.28 cores=0,2,4,6
/proc/8564/task/8570/stat : 8570 (java) S 8561 8564 3449 0 -1 1077944384 2588 0 0 0 21 7 0 0 20 0 15 0 274481291 14429130752 181532 33554432000 4194304 4196468 140732486629520 139851050768656 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8571] ppid=8561 vsize=14090948 memory=727420 CPUtime=0.07 cores=0,2,4,6
/proc/8564/task/8571/stat : 8571 (java) S 8561 8564 3449 0 -1 1077944384 2100 0 0 0 6 1 0 0 20 0 15 0 274481293 14429130752 181532 33554432000 4194304 4196468 140732486629520 139850253314928 139851138869890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8572] ppid=8561 vsize=14090948 memory=727420 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8572/stat : 8572 (java) S 8561 8564 3449 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 274481293 14429130752 181532 33554432000 4194304 4196468 140732486629520 139850252260960 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8573] ppid=8561 vsize=14090948 memory=728448 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8573/stat : 8573 (java) S 8561 8564 3449 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 274481293 14429130752 181532 33554432000 4194304 4196468 140732486629520 139850251208064 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8574] ppid=8561 vsize=14090948 memory=728448 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8574/stat : 8574 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14429130752 181532 33554432000 4194304 4196468 140732486629520 139850250156368 139851138877339 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8575] ppid=8561 vsize=14090948 memory=1224 CPUtime=2.62 cores=0,2,4,6
/proc/8564/task/8575/stat : 8575 (java) S 8561 8564 3449 0 -1 1077944384 6820 0 0 0 261 1 0 0 20 0 15 0 274481296 14429130752 181532 33554432000 4194304 4196468 140732486629520 139850249103728 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8576] ppid=8561 vsize=14090948 memory=1828 CPUtime=2.52 cores=0,2,4,6
/proc/8564/task/8576/stat : 8576 (java) S 8561 8564 3449 0 -1 1077944384 8131 0 0 0 251 1 0 0 20 0 15 0 274481296 14429130752 181532 33554432000 4194304 4196468 140732486629520 139850248050928 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8577] ppid=8561 vsize=14090948 memory=726640 CPUtime=1.06 cores=0,2,4,6
/proc/8564/task/8577/stat : 8577 (java) S 8561 8564 3449 0 -1 1077944384 10386 0 0 0 104 2 0 0 20 0 15 0 274481296 14429130752 181532 33554432000 4194304 4196468 140732486629520 139850246998128 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8578] ppid=8561 vsize=14090948 memory=106 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8578/stat : 8578 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14429130752 181532 33554432000 4194304 4196468 140732486629520 139850245945568 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8579] ppid=8561 vsize=14090948 memory=8112282956445269571 CPUtime=0.05 cores=0,2,4,6
/proc/8564/task/8579/stat : 8579 (java) S 8561 8564 3449 0 -1 1077944384 238 0 0 0 2 3 0 0 20 0 15 0 274481296 14429130752 181532 33554432000 4194304 4196468 140732486629520 139850244893872 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
Current children cumulated CPU time: 169.4 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 726128 KiB

[startup+222.301 s]
/proc/loadavg: 1.73 1.69 1.41 3/219 8582
/proc/meminfo: memFree=23878240/32770624 swapFree=67108840/67108860
[pid=8564] ppid=8561 vsize=14090948 memory=765216 CPUtime=230.41 cores=0,2,4,6
/proc/8564/stat : 8564 (java) S 8561 8564 3449 0 -1 1077944320 74264 0 0 0 22971 70 0 0 20 0 15 0 274481290 14429130752 191304 33554432000 4194304 4196468 140732486629520 140732486612064 139851138858743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
/proc/8564/statm: 3522737 191304 3591 1 0 3484809 0
[pid=8564/tid=8566] ppid=8561 vsize=14090948 memory=764704 CPUtime=221.36 cores=0,2,4,6
/proc/8564/task/8566/stat : 8566 (java) R 8561 8564 3449 0 -1 4202560 32122 0 0 0 22122 14 0 0 20 0 15 0 274481290 14429130752 191304 33554432000 4194304 4196468 140732486629520 139851143096768 139850740267040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8567] ppid=8561 vsize=14090948 memory=765220 CPUtime=0.62 cores=0,2,4,6
/proc/8564/task/8567/stat : 8567 (java) S 8561 8564 3449 0 -1 1077944384 1524 0 0 0 51 11 0 0 20 0 15 0 274481291 14429130752 191304 33554432000 4194304 4196468 140732486629520 139851053927056 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8568] ppid=8561 vsize=14090948 memory=764708 CPUtime=0.61 cores=0,2,4,6
/proc/8564/task/8568/stat : 8568 (java) S 8561 8564 3449 0 -1 1077944384 2534 0 0 0 50 11 0 0 20 0 15 0 274481291 14429130752 191304 33554432000 4194304 4196468 140732486629520 139851052874256 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8569] ppid=8561 vsize=14090948 memory=763692 CPUtime=0.61 cores=0,2,4,6
/proc/8564/task/8569/stat : 8569 (java) S 8561 8564 3449 0 -1 1077944384 2375 0 0 0 49 12 0 0 20 0 15 0 274481291 14429130752 191304 33554432000 4194304 4196468 140732486629520 139851051821456 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8570] ppid=8561 vsize=14090948 memory=764720 CPUtime=0.61 cores=0,2,4,6
/proc/8564/task/8570/stat : 8570 (java) S 8561 8564 3449 0 -1 1077944384 2917 0 0 0 51 10 0 0 20 0 15 0 274481291 14429130752 191304 33554432000 4194304 4196468 140732486629520 139851050768656 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8571] ppid=8561 vsize=14090948 memory=765732 CPUtime=0.17 cores=0,2,4,6
/proc/8564/task/8571/stat : 8571 (java) S 8561 8564 3449 0 -1 1077944384 2355 0 0 0 15 2 0 0 20 0 15 0 274481293 14429130752 191304 33554432000 4194304 4196468 140732486629520 139850253314928 139851138869890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8572] ppid=8561 vsize=14090948 memory=764704 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8572/stat : 8572 (java) S 8561 8564 3449 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 274481293 14429130752 191304 33554432000 4194304 4196468 140732486629520 139850252260960 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8573] ppid=8561 vsize=14090948 memory=765216 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8573/stat : 8573 (java) S 8561 8564 3449 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 274481293 14429130752 191304 33554432000 4194304 4196468 140732486629520 139850251208064 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8574] ppid=8561 vsize=14090948 memory=763696 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8574/stat : 8574 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14429130752 191304 33554432000 4194304 4196468 140732486629520 139850250156368 139851138877339 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8575] ppid=8561 vsize=14090948 memory=33 CPUtime=2.62 cores=0,2,4,6
/proc/8564/task/8575/stat : 8575 (java) S 8561 8564 3449 0 -1 1077944384 6984 0 0 0 261 1 0 0 20 0 15 0 274481296 14429130752 191304 33554432000 4194304 4196468 140732486629520 139850249103728 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8576] ppid=8561 vsize=14090948 memory=766240 CPUtime=2.53 cores=0,2,4,6
/proc/8564/task/8576/stat : 8576 (java) S 8561 8564 3449 0 -1 1077944384 8828 0 0 0 252 1 0 0 20 0 15 0 274481296 14429130752 191304 33554432000 4194304 4196468 140732486629520 139850248050928 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8577] ppid=8561 vsize=14090948 memory=765220 CPUtime=1.08 cores=0,2,4,6
/proc/8564/task/8577/stat : 8577 (java) S 8561 8564 3449 0 -1 1077944384 12935 0 0 0 106 2 0 0 20 0 15 0 274481296 14429130752 191304 33554432000 4194304 4196468 140732486629520 139850246998128 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8578] ppid=8561 vsize=14090948 memory=766240 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8578/stat : 8578 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14429130752 191304 33554432000 4194304 4196468 140732486629520 139850245945568 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8579] ppid=8561 vsize=14090948 memory=836 CPUtime=0.08 cores=0,2,4,6
/proc/8564/task/8579/stat : 8579 (java) S 8561 8564 3449 0 -1 1077944384 261 0 0 0 4 4 0 0 20 0 15 0 274481296 14429130752 191304 33554432000 4194304 4196468 140732486629520 139850244893872 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
Current children cumulated CPU time: 230.41 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 765216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+243.701 s]
/proc/loadavg: 1.74 1.70 1.42 3/219 8583
/proc/meminfo: memFree=23870712/32770624 swapFree=67108840/67108860
[pid=8564] ppid=8561 vsize=14090948 memory=769796 CPUtime=252.06 cores=0,2,4,6
/proc/8564/stat : 8564 (java) S 8561 8564 3449 0 -1 1077944320 75424 0 0 0 25132 74 0 0 20 0 15 0 274481290 14429130752 192449 33554432000 4194304 4196468 140732486629520 140732486612064 139851138858743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
/proc/8564/statm: 3522737 192449 3591 1 0 3484809 0
[pid=8564/tid=8566] ppid=8561 vsize=14090948 memory=770308 CPUtime=242.62 cores=0,2,4,6
/proc/8564/task/8566/stat : 8566 (java) R 8561 8564 3449 0 -1 4202560 32288 0 0 0 24247 15 0 0 20 0 15 0 274481290 14429130752 192449 33554432000 4194304 4196468 140732486629520 139851143096784 139850740035820 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8567] ppid=8561 vsize=14090948 memory=770820 CPUtime=0.7 cores=0,2,4,6
/proc/8564/task/8567/stat : 8567 (java) S 8561 8564 3449 0 -1 1077944384 1682 0 0 0 58 12 0 0 20 0 15 0 274481291 14429130752 192449 33554432000 4194304 4196468 140732486629520 139851053927056 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8568] ppid=8561 vsize=14090948 memory=770308 CPUtime=0.7 cores=0,2,4,6
/proc/8564/task/8568/stat : 8568 (java) S 8561 8564 3449 0 -1 1077944384 3133 0 0 0 58 12 0 0 20 0 15 0 274481291 14429130752 192449 33554432000 4194304 4196468 140732486629520 139851052874256 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8569] ppid=8561 vsize=14090948 memory=764724 CPUtime=0.69 cores=0,2,4,6
/proc/8564/task/8569/stat : 8569 (java) S 8561 8564 3449 0 -1 1077944384 2469 0 0 0 56 13 0 0 20 0 15 0 274481291 14429130752 192449 33554432000 4194304 4196468 140732486629520 139851051821456 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8570] ppid=8561 vsize=14090948 memory=2356 CPUtime=0.7 cores=0,2,4,6
/proc/8564/task/8570/stat : 8570 (java) S 8561 8564 3449 0 -1 1077944384 3007 0 0 0 59 11 0 0 20 0 15 0 274481291 14429130752 192449 33554432000 4194304 4196468 140732486629520 139851050768656 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8571] ppid=8561 vsize=14090948 memory=8112282956445269571 CPUtime=0.21 cores=0,2,4,6
/proc/8564/task/8571/stat : 8571 (java) S 8561 8564 3449 0 -1 1077944384 2398 0 0 0 18 3 0 0 20 0 15 0 274481293 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850253314928 139851138869890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8572] ppid=8561 vsize=14090948 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8572/stat : 8572 (java) S 8561 8564 3449 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 274481293 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850252260960 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8573] ppid=8561 vsize=14090948 memory=768780 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8573/stat : 8573 (java) S 8561 8564 3449 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 274481293 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850251208064 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8574] ppid=8561 vsize=14090948 memory=770320 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8574/stat : 8574 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850250156368 139851138877339 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8575] ppid=8561 vsize=14090948 memory=6852 CPUtime=2.62 cores=0,2,4,6
/proc/8564/task/8575/stat : 8575 (java) S 8561 8564 3449 0 -1 1077944384 6986 0 0 0 261 1 0 0 20 0 15 0 274481296 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850249103728 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8576] ppid=8561 vsize=14090948 memory=1100 CPUtime=2.53 cores=0,2,4,6
/proc/8564/task/8576/stat : 8576 (java) S 8561 8564 3449 0 -1 1077944384 8830 0 0 0 252 1 0 0 20 0 15 0 274481296 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850248050928 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8577] ppid=8561 vsize=14090948 memory=2356 CPUtime=1.08 cores=0,2,4,6
/proc/8564/task/8577/stat : 8577 (java) S 8561 8564 3449 0 -1 1077944384 12937 0 0 0 106 2 0 0 20 0 15 0 274481296 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850246998128 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8578] ppid=8561 vsize=14090948 memory=5728 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8578/stat : 8578 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850245945568 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8579] ppid=8561 vsize=14090948 memory=1408 CPUtime=0.09 cores=0,2,4,6
/proc/8564/task/8579/stat : 8579 (java) S 8561 8564 3449 0 -1 1077944384 265 0 0 0 4 5 0 0 20 0 15 0 274481296 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850244893872 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 769796 KiB

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

[startup+243.74 s]
# the end of solver process 8564 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.351 s, system=0.755916 s

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

[startup+243.701 s]
/proc/loadavg: 1.74 1.70 1.42 3/219 8583
/proc/meminfo: memFree=23870712/32770624 swapFree=67108840/67108860
[pid=8564] ppid=8561 vsize=14090948 memory=769796 CPUtime=252.06 cores=0,2,4,6
/proc/8564/stat : 8564 (java) S 8561 8564 3449 0 -1 1077944320 75424 0 0 0 25132 74 0 0 20 0 15 0 274481290 14429130752 192449 33554432000 4194304 4196468 140732486629520 140732486612064 139851138858743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
/proc/8564/statm: 3522737 192449 3591 1 0 3484809 0
[pid=8564/tid=8566] ppid=8561 vsize=14090948 memory=770308 CPUtime=242.62 cores=0,2,4,6
/proc/8564/task/8566/stat : 8566 (java) R 8561 8564 3449 0 -1 4202560 32288 0 0 0 24247 15 0 0 20 0 15 0 274481290 14429130752 192449 33554432000 4194304 4196468 140732486629520 139851143096784 139850740035820 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8567] ppid=8561 vsize=14090948 memory=770820 CPUtime=0.7 cores=0,2,4,6
/proc/8564/task/8567/stat : 8567 (java) S 8561 8564 3449 0 -1 1077944384 1682 0 0 0 58 12 0 0 20 0 15 0 274481291 14429130752 192449 33554432000 4194304 4196468 140732486629520 139851053927056 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8568] ppid=8561 vsize=14090948 memory=770308 CPUtime=0.7 cores=0,2,4,6
/proc/8564/task/8568/stat : 8568 (java) S 8561 8564 3449 0 -1 1077944384 3133 0 0 0 58 12 0 0 20 0 15 0 274481291 14429130752 192449 33554432000 4194304 4196468 140732486629520 139851052874256 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8569] ppid=8561 vsize=14090948 memory=764724 CPUtime=0.69 cores=0,2,4,6
/proc/8564/task/8569/stat : 8569 (java) S 8561 8564 3449 0 -1 1077944384 2469 0 0 0 56 13 0 0 20 0 15 0 274481291 14429130752 192449 33554432000 4194304 4196468 140732486629520 139851051821456 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8570] ppid=8561 vsize=14090948 memory=2356 CPUtime=0.7 cores=0,2,4,6
/proc/8564/task/8570/stat : 8570 (java) S 8561 8564 3449 0 -1 1077944384 3007 0 0 0 59 11 0 0 20 0 15 0 274481291 14429130752 192449 33554432000 4194304 4196468 140732486629520 139851050768656 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8571] ppid=8561 vsize=14090948 memory=8112282956445269571 CPUtime=0.21 cores=0,2,4,6
/proc/8564/task/8571/stat : 8571 (java) S 8561 8564 3449 0 -1 1077944384 2398 0 0 0 18 3 0 0 20 0 15 0 274481293 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850253314928 139851138869890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8572] ppid=8561 vsize=14090948 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8572/stat : 8572 (java) S 8561 8564 3449 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 274481293 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850252260960 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8573] ppid=8561 vsize=14090948 memory=768780 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8573/stat : 8573 (java) S 8561 8564 3449 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 274481293 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850251208064 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8574] ppid=8561 vsize=14090948 memory=770320 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8574/stat : 8574 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850250156368 139851138877339 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8575] ppid=8561 vsize=14090948 memory=6852 CPUtime=2.62 cores=0,2,4,6
/proc/8564/task/8575/stat : 8575 (java) S 8561 8564 3449 0 -1 1077944384 6986 0 0 0 261 1 0 0 20 0 15 0 274481296 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850249103728 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8576] ppid=8561 vsize=14090948 memory=1100 CPUtime=2.53 cores=0,2,4,6
/proc/8564/task/8576/stat : 8576 (java) S 8561 8564 3449 0 -1 1077944384 8830 0 0 0 252 1 0 0 20 0 15 0 274481296 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850248050928 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8577] ppid=8561 vsize=14090948 memory=2356 CPUtime=1.08 cores=0,2,4,6
/proc/8564/task/8577/stat : 8577 (java) S 8561 8564 3449 0 -1 1077944384 12937 0 0 0 106 2 0 0 20 0 15 0 274481296 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850246998128 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8578] ppid=8561 vsize=14090948 memory=5728 CPUtime=0 cores=0,2,4,6
/proc/8564/task/8578/stat : 8578 (java) S 8561 8564 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274481296 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850245945568 139851138868949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
[pid=8564/tid=8579] ppid=8561 vsize=14090948 memory=1408 CPUtime=0.09 cores=0,2,4,6
/proc/8564/task/8579/stat : 8579 (java) S 8561 8564 3449 0 -1 1077944384 265 0 0 0 4 5 0 0 20 0 15 0 274481296 14429130752 192449 33554432000 4194304 4196468 140732486629520 139850244893872 139851138869890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24174592 140732486636623 140732486636814 140732486636814 140732486639567 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 769796 KiB

Child status: 143
Real time (s): 243.74
CPU time (s): 252.107
CPU user time (s): 251.351
CPU system time (s): 0.755916
CPU usage (%): 103.433
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 772360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.351
system time used= 0.755916
maximum resident set size= 772360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76301
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13326
involuntary context switches= 580


# summary of solver processes directly reported to runsolver:
#   pid: 8564
#   total CPU time (s): 252.107
#   total CPU user time (s): 251.351
#   total CPU system time (s): 0.755916

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.65369 second user time and 2.1747 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-18 07:13:01
IDJOB=4312381
IDBENCH=141193
IDSOLVER=2800
FILE ID=node135/4312381-1534569181
RUNJOBID= node135-1534568687-8118
PBS_JOBID= 21038636
Free space on /tmp= 54356 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-4312381-1534569181/watcher-4312381-1534569181 -o /tmp/evaluation-result-4312381-1534569181/solver-4312381-1534569181 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534568687-8118 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 131105703 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312381-1534569181.xml

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

MD5SUM BENCH= 8413fdc9a9128e0623052c10493da036
RANDOM SEED=131105703

node135.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.50
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.50
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.50
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.50
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:        24640740 kB
MemAvailable:   31645264 kB
Buffers:          202376 kB
Cached:          7050004 kB
SwapCached:           20 kB
Active:          4381728 kB
Inactive:        3168260 kB
Active(anon):     276812 kB
Inactive(anon):    89388 kB
Active(file):    4104916 kB
Inactive(file):  3078872 kB
Unevictable:        7240 kB
Mlocked:            7240 kB
SwapTotal:      67108860 kB
SwapFree:       67108840 kB
Dirty:             71836 kB
Writeback:             0 kB
AnonPages:        304308 kB
Mapped:            35204 kB
Shmem:             66188 kB
Slab:             278488 kB
SReclaimable:     249196 kB
SUnreclaim:        29292 kB
KernelStack:        3664 kB
PageTables:         5384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1472276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 54320 MiB
End job on node135 at 2018-08-18 07:17:05