Trace number 4308287

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-14SAT (TO)168802 2520.11 2496.23

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-07-opt_c18.xml
MD5SUM8413fdc9a9128e0623052c10493da036
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14479
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables2554
Number of constraints2355
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":2154},{"size":6,"count":34},{"size":22,"count":16},{"size":24,"count":18},{"size":36,"count":98},{"size":42,"count":76},{"size":44,"count":158}]
Minimum variable degree2
Maximum variable degree24
Distribution of variable degrees[{"degree":2,"count":2157},{"degree":3,"count":7},{"degree":4,"count":10},{"degree":5,"count":31},{"degree":6,"count":34},{"degree":7,"count":44},{"degree":8,"count":53},{"degree":9,"count":42},{"degree":10,"count":16},{"degree":11,"count":21},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2},{"degree":15,"count":1},{"degree":17,"count":5},{"degree":18,"count":18},{"degree":19,"count":17},{"degree":20,"count":28},{"degree":21,"count":35},{"degree":22,"count":12},{"degree":23,"count":7},{"degree":24,"count":4}]
Minimum constraint arity2
Maximum constraint arity118
Distribution of constraint arities[{"arity":2,"count":384},{"arity":3,"count":1970},{"arity":118,"count":1}]
Number of extensional constraints0
Number of intensional constraints2354
Distribution of constraint types[{"type":"intension","count":2354},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.68/0.56	c version: 2018-08-14
0.68/0.56	c seed: 690307392
0.68/0.57	c timeout: 2520
0.68/0.57	c memlimit: 11000
0.68/0.57	c nbcore: 4
0.68/0.59	c Parsing instance...
5.87/2.68	c Parsing done, starting search...
47.86/42.15	o 191204
47.86/42.15	o 191203
47.86/42.15	o 191202
47.86/42.16	o 191102
47.86/42.16	o 191002
47.86/42.17	o 190992
47.86/42.17	o 189992
47.86/42.18	o 188982
47.86/42.18	o 188981
47.86/42.19	o 188001
47.86/42.19	o 187091
47.86/42.20	o 187001
48.07/42.20	o 186991
48.07/42.21	o 185991
48.07/42.22	o 185903
48.07/42.23	o 185902
48.07/42.23	o 185901
48.07/42.24	o 185111
48.07/42.24	o 185110
48.07/42.25	o 185100
48.07/42.25	o 185002
48.07/42.26	o 185001
48.07/42.26	o 185000
48.07/42.27	o 184901
48.38/42.32	o 184900
48.38/42.33	o 184801
48.58/42.41	o 184114
48.58/42.42	o 184013
48.58/42.42	o 183923
48.58/42.42	o 183922
48.58/42.42	o 183921
48.58/42.43	o 183823
48.58/42.43	o 183822
48.58/42.44	o 183802
48.69/42.50	o 182953
48.69/42.50	o 182943
48.69/42.50	o 182933
48.69/42.51	o 182932
48.69/42.51	o 182832
48.69/42.51	o 182812
48.69/42.52	o 182802
48.69/42.55	o 182723
48.69/42.55	o 182722
48.69/42.55	o 182702
48.69/42.59	o 181833
48.69/42.59	o 181832
48.79/42.60	o 181822
48.79/42.61	o 181733
48.79/42.62	o 181732
48.79/42.63	o 181723
48.79/42.64	o 181722
48.79/42.64	o 181712
48.99/42.82	o 181703
48.99/42.83	o 181702
50.46/44.26	o 181625
50.46/44.27	o 181624
50.46/44.27	o 181603
50.46/44.27	o 181593
50.46/44.28	o 181583
50.56/44.30	o 181582
53.07/46.84	o 181581
55.41/49.18	o 181570
55.50/49.22	o 180581
55.50/49.23	o 180571
55.60/49.39	o 180561
59.71/53.47	o 180461
60.11/53.82	o 180460
60.11/53.83	o 179461
63.48/57.15	o 179460
65.09/58.74	o 179363
65.79/59.42	o 179263
65.79/59.42	o 179262
66.29/59.96	o 179163
66.29/59.97	o 179162
68.40/62.08	o 179153
68.80/62.45	o 179151
68.90/62.51	o 178061
69.10/62.78	o 177961
69.30/62.92	o 177960
69.30/62.92	o 176960
71.62/65.24	o 176952
79.47/73.06	o 176914
79.47/73.06	o 176904
79.47/73.06	o 176894
79.47/73.07	o 176884
79.47/73.07	o 176874
79.47/73.07	o 176863
79.47/73.08	o 176862
79.47/73.08	o 176861
79.47/73.09	o 176771
79.47/73.09	o 176761
79.47/73.09	o 176760
79.47/73.10	o 176759
79.57/73.13	o 176758
79.57/73.13	o 176757
79.57/73.13	o 176755
79.57/73.16	o 176710
79.57/73.17	o 176709
79.57/73.17	o 176689
79.57/73.17	o 176688
79.57/73.18	o 176687
79.57/73.18	o 176686
79.57/73.18	o 176685
79.57/73.18	o 176675
79.67/73.21	o 176674
79.67/73.24	o 176665
79.67/73.24	o 176655
79.67/73.25	o 176654
79.67/73.27	o 175861
79.67/73.27	o 175659
79.67/73.28	o 175658
79.67/73.28	o 175649
79.67/73.28	o 175648
79.67/73.29	o 175647
79.67/73.29	o 175644
79.67/73.29	o 175643
79.77/73.35	o 175559
79.77/73.36	o 175558
79.77/73.36	o 175549
79.77/73.36	o 175547
79.77/73.37	o 175546
79.77/73.37	o 175545
79.77/73.38	o 175543
79.77/73.39	o 174653
79.90/73.41	o 174647
79.90/73.41	o 174646
79.90/73.41	o 174645
79.90/73.42	o 174644
79.90/73.42	o 174643
80.00/73.50	o 174573
80.00/73.51	o 174563
80.00/73.51	o 174562
80.00/73.51	o 174561
80.00/73.51	o 174560
80.00/73.52	o 174559
80.00/73.52	o 174557
80.00/73.53	o 174554
80.00/73.54	o 174553
80.00/73.57	o 174550
80.00/73.57	o 174549
80.00/73.57	o 174547
80.00/73.58	o 174544
80.00/73.59	o 174543
81.20/74.77	o 174466
81.20/74.77	o 174465
81.30/74.82	o 174457
81.30/74.82	o 174456
81.30/74.83	o 174454
81.30/74.85	o 174444
81.51/75.07	o 174428
81.51/75.07	o 174328
81.51/75.07	o 174228
81.51/75.07	o 174128
81.51/75.08	o 174127
81.51/75.08	o 174117
81.51/75.09	o 174106
81.51/75.09	o 174006
81.51/75.09	o 173804
81.51/75.10	o 173714
81.51/75.10	o 173634
81.61/75.13	o 173566
81.61/75.13	o 173556
81.61/75.13	o 173554
81.61/75.14	o 173546
81.61/75.15	o 173544
82.00/75.52	o 173466
82.00/75.53	o 173465
82.00/75.53	o 173454
82.00/75.58	o 173444
82.20/75.72	o 173443
82.30/75.85	o 173357
82.30/75.85	o 173356
82.30/75.85	o 173355
82.30/75.86	o 173345
82.30/75.86	o 173343
83.12/76.66	o 173342
83.32/76.84	o 173332
83.53/77.07	o 173222
83.92/77.47	o 173213
84.02/77.55	o 173212
87.04/80.58	o 173201
87.14/80.67	o 173194
87.14/80.67	o 173193
87.14/80.67	o 173192
87.14/80.68	o 173191
88.24/81.78	o 172403
88.24/81.79	o 172303
88.24/81.79	o 172203
88.75/82.29	o 172193
89.05/82.59	o 172192
90.15/83.66	o 172113
90.15/83.67	o 172102
90.45/83.92	o 172014
90.45/83.93	o 172013
91.25/84.70	o 171924
91.25/84.71	o 171125
91.25/84.72	o 171115
91.25/84.73	o 171025
91.25/84.74	o 171024
91.25/84.74	o 171015
91.25/84.75	o 171014
93.97/87.40	o 171004
93.97/87.43	o 170995
93.97/87.43	o 170994
97.80/91.23	o 170924
97.80/91.23	o 170914
97.80/91.24	o 170824
98.40/91.81	o 170814
98.50/91.91	o 170804
101.12/94.54	o 170514
101.12/94.55	o 170424
101.12/94.55	o 170324
101.12/94.55	o 170224
101.12/94.57	o 170214
101.12/94.57	o 170124
101.22/94.63	o 170114
101.32/94.71	o 170014
102.83/96.26	o 169993
103.24/96.63	o 169983
108.35/101.72	o 169883
108.55/101.95	o 169882
110.07/103.47	o 169872
213.00/205.84	o 169770
213.00/205.85	o 169759
213.00/205.85	o 169749
213.00/205.85	o 169748
213.00/205.85	o 169728
213.00/205.86	o 169727
213.00/205.86	o 169726
213.00/205.86	o 169725
213.00/205.86	o 169724
213.00/205.87	o 169714
213.00/205.87	o 169713
213.00/205.89	o 169712
213.10/205.90	o 169711
213.10/205.91	o 169703
213.10/205.91	o 169702
213.32/206.14	o 168903
213.32/206.14	o 168902
213.32/206.18	o 168901
213.32/206.19	o 168900
214.72/207.56	o 168893
214.72/207.56	o 168892
214.72/207.57	o 168802
2520.07/2496.20	s SATISFIABLE
2520.07/2496.21	v <instantiation>
2520.07/2496.21	v 	<list>
2520.07/2496.21	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] zb3[82] zb3[83] zb3[84] zb3[85] zb3[86] zb3[87] zb3[88] zb3[89] zb3[90] zb3[91] zb3[92] zb3[93] zb3[94] zb3[95] zb3[96] zb3[97] zb3[98] zb3[99] zb3[100] zb3[101] zb3[102] zb3[103] zb3[104] zb3[105] zb3[106] zb3[107] zb3[108] zb3[109] zb3[110] zb3[111] zb3[112] zb3[113] zb3[114] zb3[115] zb3[116] zb3[117] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533]
2520.07/2496.21	v 	</list>
2520.07/2496.21	v 	<values>
2520.07/2496.21	v 		72 310 666 428 484 722 58 296 268 30 484 722 792 554 268 30 736 498 394 156 680 442 30 268 792 554 792 554 540 778 722 484 86 324 680 442 792 554 512 750 394 156 58 296 380 142 778 540 16 254 240 478 680 442 666 428 498 736 58 296 240 478 736 498 254 16 58 296 72 310 778 540 428 666 16 254 44 282 764 526 324 86 442 680 764 526 652 414 268 30 128 366 296 58 44 282 366 128 16 254 268 30 526 764 282 44 44 282 764 526 240 478 414 652 114 352 680 442 44 282 778 540 114 352 268 30 652 414 554 792 722 484 722 484 72 310 708 470 114 352 652 414 526 764 680 442 170 408 694 456 414 652 778 540 680 442 128 366 114 352 554 792 792 554 708 470 352 114 408 170 240 478 694 456 72 310 540 778 708 470 240 478 156 394 652 414 72 310 708 470 156 394 240 478 750 512 30 268 792 554 722 484 750 512 694 456 100 338 792 554 666 428 128 366 114 352 142 380 142 380 338 100 352 114 44 282 296 58 268 30 114 352 736 498 86 324 526 764 324 86 324 86 156 394 128 366 170 408 526 764 540 778 380 142 58 296 652 414 366 128 86 324 792 554 456 694 16 254 100 338 268 30 142 380 366 128 100 338 268 30 268 30 170 408 764 526 750 512 554 792 156 394 680 442 44 282 722 484 16 254 554 792 484 722 414 652 694 456 792 554 414 652 366 128 764 526 58 296 736 498 338 100 128 366 338 100 778 540 128 366 736 498 128 366 296 58 694 456 58 296 498 736 128 366 380 142 16 254 442 680 554 792 792 554 554 792 498 736 142 380 16 254 114 352 792 554 296 58 498 736 792 554 694 456 114 352 296 58 470 708 652 414 142 380 142 380 394 156 680 442 142 380 170 408 114 352 100 338 268 30 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 0 0 0 0 1000 1000 100 100 100 100 100 100 100 100 100 100 0 0 0 0 100 100 100 100 100 100 0 0 100 100 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 10 10 10 10 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 1000 1000 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 1000 1000 1000 1000 1000 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 1000 0 0 1000 1000 0 1000 1000 0 0 0 0 0 1000 0 1000 0 0 1000 1000 1000 0 0 0 1000 1000 0 1000 0 0 0 0 0 1000 0 1000 0 1000 1000 0 0 0 0 1000 0 0 0 0 1000 1000 1000 0 1000 1000 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 1000 0 0 0 0 1000 0 0 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 1000 0 1000 0 1000 0 0 0 0 0 0 1000 1000 0 1000 1000 0 1000 0 0 0 0 1000 0 1000 0 1000 0 0 1000 1000 0 0 1000 0 0 0 0 1000 1000 0 0 0 1000 1000 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 100 100 0 0 0 0 100 0 100 0 0 100 100 100 0 0 100 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 100 100 0 0 100 100 0 0 0 0 100 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 100 100 100 100 0 0 0 100 100 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 0 100 0 0 0 100 0 100 0 0 0 0 0 100 0 0 100 0 0 100 100 0 100 0 100 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 100 0 100 100 100 0 100 100 100 100 0 0 100 100 0 0 100 0 0 0 0 0 0 0 100 100 0 0 0 0 100 100 0 0 0 100 100 0 0 100 0 100 0 0 0 100 100 100 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 100 0 0 100 0 0 0 0 100 100 100 0 0 100 100 0 0 100 100 0 100 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 100 100 0 100 100 100 0 0 0 100 0 0 0 0 100 0 100 0 100 0 100 0 0 100 0 100 0 100 0 0 100 100 100 0 0 0 0 0 0 100 0 100 0 100 100 0 0 100 0 100 0 0 0 0 0 100 0 100 0 100 100 0 0 0 100 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 100 0 100 0 0 0 0 100 0 100 100 0 0 100 0 0 0 100 0 100 0 0 100 100 100 100 100 0 0 0 0 10 10 0 0 10 10 0 0 0 10 10 0 10 0 0 0 0 0 10 0 0 0 10 0 0 10 10 0 0 0 0 0 10 10 10 0 0 0 10 0 0 0 10 10 10 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 10 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 10 0 0 0 0 10 10 0 10 0 10 0 10 10 0 0 0 10 0 10 0 0 10 0 10 10 0 10 10 10 0 0 0 0 10 0 0 10 0 10 10 10 10 0 10 0 10 10 10 10 0 10 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 0 10 10 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 10 10 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 10 0 10 0 0 0 0 10 10 0 0 0 10 0 0 0 0 10 10 10 0 0 10 0 0 10 10 0 10 10 0 10 0 0 0 0 10 0 0 0 10 0 10 0 10 0 0 0 0 10 10 10 0 10 0 10 0 10 0 10 10 0 0 10 10 10 10 0 0 10 10 0 0 0 0 0 10 0 0 10 0 0 10 10 0 0 0 0 10 10 0 0 0 0 10 0 0 10 0 10 10 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 10 10 10 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 10 0 10 10 0 0 10 10 0 0 0 0 0 0 0 10 10 10 10 0 0 10 10 0 10 10 0 10 0 10 0 10 0 0 10 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 10 10 0 10 0 0 0 10 0 0 10 0 0 0 0 0 10 0 0 10 10 0 0 0 0 10 0 0 10 0 10 0 10 0 10 10 0 0 0 10 10 0 0 0 0 10 0 0 10 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 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 0 1 1 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 
2520.07/2496.21	v 	</values>
2520.07/2496.21	v </instantiation>

Verifier Data 

OK	168802

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308287-1534280643/watcher-4308287-1534280643 -o /tmp/evaluation-result-4308287-1534280643/solver-4308287-1534280643 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534270652-30545 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 690307392 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308287-1534280643.xml 

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

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

solver pid=31673, runsolver pid=31670

[startup+0.109602 s]*
/proc/loadavg: 1.26 1.30 1.37 4/219 31688
/proc/meminfo: memFree=24479456/32770624 swapFree=67108856/67108860
[pid=31673] ppid=31670 vsize=14082736 memory=34324 CPUtime=0.13 cores=0,2,4,6
/proc/31673/stat : 31673 (java) S 31670 31673 28719 0 -1 1077944320 6983 0 0 0 12 1 0 0 20 0 15 0 245627460 14420721664 8581 33554432000 4194304 4196468 140728430695680 140728430678224 139924724096759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
/proc/31673/statm: 3520684 8581 3155 1 0 3482761 0
[pid=31673/tid=31675] ppid=31670 vsize=14082736 memory=-8485517772678402944 CPUtime=0.09 cores=0,2,4,6
/proc/31673/task/31675/stat : 31675 (java) R 31670 31673 28719 0 -1 4202560 5061 0 0 0 9 0 0 0 20 0 15 0 245627460 14420721664 8647 33554432000 4194304 4196468 140728430695680 139924728306568 139924704372573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31676] ppid=31670 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31676/stat : 31676 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627461 14420721664 8647 33554432000 4194304 4196468 140728430695680 139924676717584 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31677] ppid=31670 vsize=14082736 memory=140147125769856 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31677/stat : 31677 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627461 14420721664 8647 33554432000 4194304 4196468 140728430695680 139924675665040 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31678] ppid=31670 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31678/stat : 31678 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627461 14420721664 8647 33554432000 4194304 4196468 140728430695680 139924674611984 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31679] ppid=31670 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31679/stat : 31679 (java) S 31670 31673 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245627461 14420721664 8647 33554432000 4194304 4196468 140728430695680 139924673559440 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31680] ppid=31670 vsize=14082736 memory=140147125769856 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31680/stat : 31680 (java) S 31670 31673 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245627462 14420721664 8647 33554432000 4194304 4196468 140728430695680 139924265920752 139924724107906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31681] ppid=31670 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31681/stat : 31681 (java) S 31670 31673 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245627463 14420721664 8647 33554432000 4194304 4196468 140728430695680 139924264866976 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31682] ppid=31670 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31682/stat : 31682 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627463 14420721664 8647 33554432000 4194304 4196468 140728430695680 139923634250480 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31683] ppid=31670 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31683/stat : 31683 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627465 14420721664 8647 33554432000 4194304 4196468 140728430695680 139923633199056 139924724115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31684] ppid=31670 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31684/stat : 31684 (java) S 31670 31673 28719 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 245627465 14420721664 8713 33554432000 4194304 4196468 140728430695680 139923632147184 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31685] ppid=31670 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31685/stat : 31685 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627465 14420721664 8713 33554432000 4194304 4196468 140728430695680 139923631094640 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31686] ppid=31670 vsize=14082736 memory=140147125769856 CPUtime=0.01 cores=0,2,4,6
/proc/31673/task/31686/stat : 31686 (java) S 31670 31673 28719 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 15 0 245627465 14420721664 8713 33554432000 4194304 4196468 140728430695680 139923630041584 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31687] ppid=31670 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31687/stat : 31687 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627466 14420721664 8713 33554432000 4194304 4196468 140728430695680 139923628989280 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31688] ppid=31670 vsize=14082736 memory=140147125769856 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31688/stat : 31688 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627466 14420721664 8713 33554432000 4194304 4196468 140728430695680 139923627936304 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34324 KiB

[startup+0.210595 s]*
/proc/loadavg: 1.26 1.30 1.37 4/219 31688
/proc/meminfo: memFree=24464944/32770624 swapFree=67108856/67108860
[pid=31673] ppid=31670 vsize=14082736 memory=48804 CPUtime=0.3 cores=0,2,4,6
/proc/31673/stat : 31673 (java) S 31670 31673 28719 0 -1 1077944320 10288 0 0 0 28 2 0 0 20 0 15 0 245627460 14420721664 12201 33554432000 4194304 4196468 140728430695680 140728430678224 139924724096759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
/proc/31673/statm: 3520684 12201 3325 1 0 3482761 0
[pid=31673/tid=31675] ppid=31670 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/31673/task/31675/stat : 31675 (java) R 31670 31673 28719 0 -1 4202560 8079 0 0 0 18 1 0 0 20 0 15 0 245627460 14420721664 12201 33554432000 4194304 4196468 140728430695680 139924728323616 139924347169473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31676] ppid=31670 vsize=14082736 memory=364 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31676/stat : 31676 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627461 14420721664 12201 33554432000 4194304 4196468 140728430695680 139924676717584 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31677] ppid=31670 vsize=14082736 memory=288370523277481600 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31677/stat : 31677 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627461 14420721664 12201 33554432000 4194304 4196468 140728430695680 139924675665040 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31678] ppid=31670 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31678/stat : 31678 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627461 14420721664 12201 33554432000 4194304 4196468 140728430695680 139924674611984 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31679] ppid=31670 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31679/stat : 31679 (java) S 31670 31673 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245627461 14420721664 12201 33554432000 4194304 4196468 140728430695680 139924673559440 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31680] ppid=31670 vsize=14082736 memory=140147125769856 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31680/stat : 31680 (java) S 31670 31673 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245627462 14420721664 12201 33554432000 4194304 4196468 140728430695680 139924265920752 139924724107906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31681] ppid=31670 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31681/stat : 31681 (java) S 31670 31673 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245627463 14420721664 12201 33554432000 4194304 4196468 140728430695680 139924264866976 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31682] ppid=31670 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31682/stat : 31682 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627463 14420721664 12201 33554432000 4194304 4196468 140728430695680 139923634250480 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31683] ppid=31670 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31683/stat : 31683 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627465 14420721664 12201 33554432000 4194304 4196468 140728430695680 139923633199056 139924724115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31684] ppid=31670 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31673/task/31684/stat : 31684 (java) R 31670 31673 28719 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 15 0 245627465 14420721664 12201 33554432000 4194304 4196468 140728430695680 139923632138688 139924716333886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31685] ppid=31670 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31673/task/31685/stat : 31685 (java) R 31670 31673 28719 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 15 0 245627465 14420721664 12201 33554432000 4194304 4196468 140728430695680 139923631094640 139924724107906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31686] ppid=31670 vsize=14082736 memory=140147125769856 CPUtime=0.06 cores=0,2,4,6
/proc/31673/task/31686/stat : 31686 (java) R 31670 31673 28719 0 -1 4202560 311 0 0 0 6 0 0 0 20 0 15 0 245627465 14420721664 12201 33554432000 4194304 4196468 140728430695680 139923630041584 139924702899896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31687] ppid=31670 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31687/stat : 31687 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627466 14420721664 12201 33554432000 4194304 4196468 140728430695680 139923628989280 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31688] ppid=31670 vsize=14082736 memory=140147125769856 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31688/stat : 31688 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627466 14420721664 12201 33554432000 4194304 4196468 140728430695680 139923627936304 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 48804 KiB

[startup+0.310748 s]*
/proc/loadavg: 1.26 1.30 1.37 3/219 31688
/proc/meminfo: memFree=24461536/32770624 swapFree=67108856/67108860
[pid=31673] ppid=31670 vsize=14082736 memory=52816 CPUtime=0.44 cores=0,2,4,6
/proc/31673/stat : 31673 (java) S 31670 31673 28719 0 -1 1077944320 10758 0 0 0 42 2 0 0 20 0 15 0 245627460 14420721664 13204 33554432000 4194304 4196468 140728430695680 140728430678224 139924724096759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
/proc/31673/statm: 3520684 13204 3421 1 0 3482761 0
[pid=31673/tid=31675] ppid=31670 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/31673/task/31675/stat : 31675 (java) R 31670 31673 28719 0 -1 4202560 8433 0 0 0 28 1 0 0 20 0 15 0 245627460 14420721664 13204 33554432000 4194304 4196468 140728430695680 139924728308272 139924704372139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31676] ppid=31670 vsize=14082736 memory=4294982659 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31676/stat : 31676 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627461 14420721664 13204 33554432000 4194304 4196468 140728430695680 139924676717584 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31677] ppid=31670 vsize=14082736 memory=288370523277481600 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31677/stat : 31677 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627461 14420721664 13204 33554432000 4194304 4196468 140728430695680 139924675665040 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31678] ppid=31670 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31678/stat : 31678 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627461 14420721664 13204 33554432000 4194304 4196468 140728430695680 139924674611984 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31679] ppid=31670 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31679/stat : 31679 (java) S 31670 31673 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245627461 14420721664 13204 33554432000 4194304 4196468 140728430695680 139924673559440 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31680] ppid=31670 vsize=14082736 memory=140147125769856 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31680/stat : 31680 (java) S 31670 31673 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245627462 14420721664 13204 33554432000 4194304 4196468 140728430695680 139924265920752 139924724107906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31681] ppid=31670 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31681/stat : 31681 (java) S 31670 31673 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245627463 14420721664 13204 33554432000 4194304 4196468 140728430695680 139924264866976 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31682] ppid=31670 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31682/stat : 31682 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627463 14420721664 13204 33554432000 4194304 4196468 140728430695680 139923634250480 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31683] ppid=31670 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31683/stat : 31683 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627465 14420721664 13204 33554432000 4194304 4196468 140728430695680 139923633199056 139924724115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31684] ppid=31670 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31673/task/31684/stat : 31684 (java) S 31670 31673 28719 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 15 0 245627465 14420721664 13204 33554432000 4194304 4196468 140728430695680 139923632147184 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31685] ppid=31670 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31673/task/31685/stat : 31685 (java) S 31670 31673 28719 0 -1 1077944384 220 0 0 0 2 0 0 0 20 0 15 0 245627465 14420721664 13204 33554432000 4194304 4196468 140728430695680 139923631094640 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31686] ppid=31670 vsize=14082736 memory=140147125769856 CPUtime=0.08 cores=0,2,4,6
/proc/31673/task/31686/stat : 31686 (java) S 31670 31673 28719 0 -1 1077944384 332 0 0 0 8 0 0 0 20 0 15 0 245627465 14420721664 13204 33554432000 4194304 4196468 140728430695680 139923630041584 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31687] ppid=31670 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31687/stat : 31687 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627466 14420721664 13204 33554432000 4194304 4196468 140728430695680 139923628989280 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31688] ppid=31670 vsize=14082736 memory=140147125769856 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31688/stat : 31688 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627466 14420721664 13204 33554432000 4194304 4196468 140728430695680 139923627936304 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 52816 KiB

[startup+0.700672 s]
/proc/loadavg: 1.26 1.30 1.37 3/219 31688
/proc/meminfo: memFree=24439088/32770624 swapFree=67108856/67108860
[pid=31673] ppid=31670 vsize=14084804 memory=90896 CPUtime=1 cores=0,2,4,6
/proc/31673/stat : 31673 (java) S 31670 31673 28719 0 -1 1077944320 17585 0 0 0 96 4 0 0 20 0 15 0 245627460 14422839296 22724 33554432000 4194304 4196468 140728430695680 140728430678224 139924724096759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
/proc/31673/statm: 3521201 22724 3499 1 0 3483273 0
[pid=31673/tid=31675] ppid=31670 vsize=14084804 memory=276211561434911 CPUtime=0.67 cores=0,2,4,6
/proc/31673/task/31675/stat : 31675 (java) R 31670 31673 28719 0 -1 4202560 14851 0 0 0 64 3 0 0 20 0 15 0 245627460 14422839296 22724 33554432000 4194304 4196468 140728430695680 139924728320864 139924691681226 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31676] ppid=31670 vsize=14084804 memory=3834592127481040488 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31676/stat : 31676 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627461 14422839296 22724 33554432000 4194304 4196468 140728430695680 139924676717584 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31677] ppid=31670 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31677/stat : 31677 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627461 14422839296 22724 33554432000 4194304 4196468 140728430695680 139924675665040 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31678] ppid=31670 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31678/stat : 31678 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627461 14422839296 22724 33554432000 4194304 4196468 140728430695680 139924674611984 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31679] ppid=31670 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31679/stat : 31679 (java) S 31670 31673 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245627461 14422839296 22724 33554432000 4194304 4196468 140728430695680 139924673559440 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31680] ppid=31670 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31680/stat : 31680 (java) S 31670 31673 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245627462 14422839296 22724 33554432000 4194304 4196468 140728430695680 139924265920752 139924724107906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31681] ppid=31670 vsize=14084804 memory=-6079119013371603042 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31681/stat : 31681 (java) S 31670 31673 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245627463 14422839296 22724 33554432000 4194304 4196468 140728430695680 139924264866976 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31682] ppid=31670 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31682/stat : 31682 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627463 14422839296 22724 33554432000 4194304 4196468 140728430695680 139923634250480 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31683] ppid=31670 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31683/stat : 31683 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627465 14422839296 22724 33554432000 4194304 4196468 140728430695680 139923633199056 139924724115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31684] ppid=31670 vsize=14084804 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/31673/task/31684/stat : 31684 (java) S 31670 31673 28719 0 -1 1077944384 559 0 0 0 7 0 0 0 20 0 15 0 245627465 14422839296 22724 33554432000 4194304 4196468 140728430695680 139923632147184 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31685] ppid=31670 vsize=14084804 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31673/task/31685/stat : 31685 (java) S 31670 31673 28719 0 -1 1077944384 380 0 0 0 8 0 0 0 20 0 15 0 245627465 14422839296 22724 33554432000 4194304 4196468 140728430695680 139923631094640 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31686] ppid=31670 vsize=14084804 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/31673/task/31686/stat : 31686 (java) S 31670 31673 28719 0 -1 1077944384 433 0 0 0 16 0 0 0 20 0 15 0 245627465 14422839296 22724 33554432000 4194304 4196468 140728430695680 139923630041584 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31687] ppid=31670 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31687/stat : 31687 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627466 14422839296 22724 33554432000 4194304 4196468 140728430695680 139923628989280 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31688] ppid=31670 vsize=14084804 memory=36988 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31688/stat : 31688 (java) S 31670 31673 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245627466 14422839296 22724 33554432000 4194304 4196468 140728430695680 139923627936304 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90896 KiB

[startup+1.50075 s]
/proc/loadavg: 1.26 1.30 1.37 8/219 31688
/proc/meminfo: memFree=24387840/32770624 swapFree=67108856/67108860
[pid=31673] ppid=31670 vsize=14088900 memory=225124 CPUtime=3.43 cores=0,2,4,6
/proc/31673/stat : 31673 (java) S 31670 31673 28719 0 -1 1077944320 23085 0 0 0 336 7 0 0 20 0 15 0 245627460 14427033600 56281 33554432000 4194304 4196468 140728430695680 140728430678224 139924724096759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
/proc/31673/statm: 3522225 56281 3548 1 0 3484297 0
[pid=31673/tid=31675] ppid=31670 vsize=14088900 memory=3303 CPUtime=1.45 cores=0,2,4,6
/proc/31673/task/31675/stat : 31675 (java) S 31670 31673 28719 0 -1 1077944384 16162 0 0 0 141 4 0 0 20 0 15 0 245627460 14427033600 56281 33554432000 4194304 4196468 140728430695680 139924728332096 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31676] ppid=31670 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31676/stat : 31676 (java) S 31670 31673 28719 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 245627461 14427033600 56281 33554432000 4194304 4196468 140728430695680 139924676717584 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31677] ppid=31670 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31677/stat : 31677 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627461 14427033600 56281 33554432000 4194304 4196468 140728430695680 139924675665040 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31678] ppid=31670 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31678/stat : 31678 (java) S 31670 31673 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245627461 14427033600 56281 33554432000 4194304 4196468 140728430695680 139924674611984 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31679] ppid=31670 vsize=14088900 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31673/task/31679/stat : 31679 (java) S 31670 31673 28719 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 15 0 245627461 14427033600 56281 33554432000 4194304 4196468 140728430695680 139924673559440 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31680] ppid=31670 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31680/stat : 31680 (java) R 31670 31673 28719 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 15 0 245627462 14427033600 56281 33554432000 4194304 4196468 140728430695680 139924265919264 139924709035536 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0

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

/proc/31673/task/31675/stat : 31675 (java) R 31670 31673 28719 0 -1 4202560 50136 0 0 0 231033 21 0 0 20 0 15 0 245627460 14429130752 214768 33554432000 4194304 4196468 140728430695680 139924728334976 139924358501240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31676] ppid=31670 vsize=14090948 memory=859072 CPUtime=5.95 cores=0,2,4,6
/proc/31673/task/31676/stat : 31676 (java) S 31670 31673 28719 0 -1 1077944384 6429 0 0 0 564 31 0 0 20 0 15 0 245627461 14429130752 214768 33554432000 4194304 4196468 140728430695680 139924676717584 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31677] ppid=31670 vsize=14090948 memory=859072 CPUtime=5.98 cores=0,2,4,6
/proc/31673/task/31677/stat : 31677 (java) S 31670 31673 28719 0 -1 1077944384 7911 0 0 0 568 30 0 0 20 0 15 0 245627461 14429130752 214768 33554432000 4194304 4196468 140728430695680 139924675665040 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31678] ppid=31670 vsize=14090948 memory=859072 CPUtime=5.96 cores=0,2,4,6
/proc/31673/task/31678/stat : 31678 (java) S 31670 31673 28719 0 -1 1077944384 8111 0 0 0 564 32 0 0 20 0 15 0 245627461 14429130752 214768 33554432000 4194304 4196468 140728430695680 139924674611984 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31679] ppid=31670 vsize=14090948 memory=859072 CPUtime=5.98 cores=0,2,4,6
/proc/31673/task/31679/stat : 31679 (java) S 31670 31673 28719 0 -1 1077944384 8790 0 0 0 565 33 0 0 20 0 15 0 245627461 14429130752 214768 33554432000 4194304 4196468 140728430695680 139924673559440 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31680] ppid=31670 vsize=14090948 memory=859072 CPUtime=3.37 cores=0,2,4,6
/proc/31673/task/31680/stat : 31680 (java) S 31670 31673 28719 0 -1 1077944384 8944 0 0 0 312 25 0 0 20 0 15 0 245627462 14429130752 214768 33554432000 4194304 4196468 140728430695680 139924265920752 139924724107906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31681] ppid=31670 vsize=14090948 memory=859072 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31681/stat : 31681 (java) S 31670 31673 28719 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 245627463 14429130752 214768 33554432000 4194304 4196468 140728430695680 139924264867040 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31682] ppid=31670 vsize=14090948 memory=859072 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31682/stat : 31682 (java) S 31670 31673 28719 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 245627463 14429130752 214768 33554432000 4194304 4196468 140728430695680 139923634250496 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31683] ppid=31670 vsize=14090948 memory=859072 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31683/stat : 31683 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627465 14429130752 214768 33554432000 4194304 4196468 140728430695680 139923633199056 139924724115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31684] ppid=31670 vsize=14090948 memory=66716 CPUtime=2.44 cores=0,2,4,6
/proc/31673/task/31684/stat : 31684 (java) S 31670 31673 28719 0 -1 1077944384 7521 0 0 0 243 1 0 0 20 0 15 0 245627465 14429130752 214768 33554432000 4194304 4196468 140728430695680 139923632147184 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31685] ppid=31670 vsize=14090948 memory=859072 CPUtime=2.49 cores=0,2,4,6
/proc/31673/task/31685/stat : 31685 (java) S 31670 31673 28719 0 -1 1077944384 9753 0 0 0 247 2 0 0 20 0 15 0 245627465 14429130752 214768 33554432000 4194304 4196468 140728430695680 139923631094640 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31686] ppid=31670 vsize=14090948 memory=1172 CPUtime=1.1 cores=0,2,4,6
/proc/31673/task/31686/stat : 31686 (java) S 31670 31673 28719 0 -1 1077944384 12324 0 0 0 109 1 0 0 20 0 15 0 245627465 14429130752 214768 33554432000 4194304 4196468 140728430695680 139923630041584 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31687] ppid=31670 vsize=14090948 memory=859072 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31687/stat : 31687 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627466 14429130752 214768 33554432000 4194304 4196468 140728430695680 139923628989280 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31688] ppid=31670 vsize=14090948 memory=859072 CPUtime=0.95 cores=0,2,4,6
/proc/31673/task/31688/stat : 31688 (java) S 31670 31673 28719 0 -1 1077944384 1099 0 0 0 47 48 0 0 20 0 15 0 245627466 14429130752 214768 33554432000 4194304 4196468 140728430695680 139923627936304 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 53 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
Current children cumulated CPU time: 2344.89 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 859072 KiB

[startup+2382.3 s]
/proc/loadavg: 1.56 1.53 1.44 3/220 31843
/proc/meminfo: memFree=21874104/32770624 swapFree=67108856/67108860
[pid=31673] ppid=31670 vsize=14090948 memory=861120 CPUtime=2405.33 cores=0,2,4,6
/proc/31673/stat : 31673 (java) S 31670 31673 28719 0 -1 1077944320 123410 0 0 0 240336 197 0 0 20 0 15 0 245627460 14429130752 215280 33554432000 4194304 4196468 140728430695680 140728430678224 139924724096759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
/proc/31673/statm: 3522737 215280 3588 1 0 3484809 0
[pid=31673/tid=31675] ppid=31670 vsize=14090948 memory=3848 CPUtime=2370.21 cores=0,2,4,6
/proc/31673/task/31675/stat : 31675 (java) R 31670 31673 28719 0 -1 4202560 50596 0 0 0 237000 21 0 0 20 0 15 0 245627460 14429130752 215280 33554432000 4194304 4196468 140728430695680 139924728334880 139924358857100 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31676] ppid=31670 vsize=14090948 memory=861120 CPUtime=6.12 cores=0,2,4,6
/proc/31673/task/31676/stat : 31676 (java) S 31670 31673 28719 0 -1 1077944384 6434 0 0 0 580 32 0 0 20 0 15 0 245627461 14429130752 215280 33554432000 4194304 4196468 140728430695680 139924676717584 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31677] ppid=31670 vsize=14090948 memory=861120 CPUtime=6.14 cores=0,2,4,6
/proc/31673/task/31677/stat : 31677 (java) S 31670 31673 28719 0 -1 1077944384 8079 0 0 0 584 30 0 0 20 0 15 0 245627461 14429130752 215280 33554432000 4194304 4196468 140728430695680 139924675665040 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31678] ppid=31670 vsize=14090948 memory=861120 CPUtime=6.12 cores=0,2,4,6
/proc/31673/task/31678/stat : 31678 (java) S 31670 31673 28719 0 -1 1077944384 8131 0 0 0 579 33 0 0 20 0 15 0 245627461 14429130752 215280 33554432000 4194304 4196468 140728430695680 139924674611984 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31679] ppid=31670 vsize=14090948 memory=861120 CPUtime=6.15 cores=0,2,4,6
/proc/31673/task/31679/stat : 31679 (java) S 31670 31673 28719 0 -1 1077944384 8962 0 0 0 581 34 0 0 20 0 15 0 245627461 14429130752 215280 33554432000 4194304 4196468 140728430695680 139924673559440 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31680] ppid=31670 vsize=14090948 memory=861120 CPUtime=3.47 cores=0,2,4,6
/proc/31673/task/31680/stat : 31680 (java) S 31670 31673 28719 0 -1 1077944384 9116 0 0 0 321 26 0 0 20 0 15 0 245627462 14429130752 215280 33554432000 4194304 4196468 140728430695680 139924265920752 139924724107906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31681] ppid=31670 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31681/stat : 31681 (java) S 31670 31673 28719 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 245627463 14429130752 215280 33554432000 4194304 4196468 140728430695680 139924264867040 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31682] ppid=31670 vsize=14090948 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31682/stat : 31682 (java) S 31670 31673 28719 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 245627463 14429130752 215280 33554432000 4194304 4196468 140728430695680 139923634250496 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31683] ppid=31670 vsize=14090948 memory=861120 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31683/stat : 31683 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627465 14429130752 215280 33554432000 4194304 4196468 140728430695680 139923633199056 139924724115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31684] ppid=31670 vsize=14090948 memory=861120 CPUtime=2.44 cores=0,2,4,6
/proc/31673/task/31684/stat : 31684 (java) S 31670 31673 28719 0 -1 1077944384 7523 0 0 0 243 1 0 0 20 0 15 0 245627465 14429130752 215280 33554432000 4194304 4196468 140728430695680 139923632147184 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31685] ppid=31670 vsize=14090948 memory=217169 CPUtime=2.49 cores=0,2,4,6
/proc/31673/task/31685/stat : 31685 (java) S 31670 31673 28719 0 -1 1077944384 9755 0 0 0 247 2 0 0 20 0 15 0 245627465 14429130752 215280 33554432000 4194304 4196468 140728430695680 139923631094640 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31686] ppid=31670 vsize=14090948 memory=37024 CPUtime=1.1 cores=0,2,4,6
/proc/31673/task/31686/stat : 31686 (java) S 31670 31673 28719 0 -1 1077944384 12326 0 0 0 109 1 0 0 20 0 15 0 245627465 14429130752 215280 33554432000 4194304 4196468 140728430695680 139923630041584 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31687] ppid=31670 vsize=14090948 memory=861120 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31687/stat : 31687 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627466 14429130752 215280 33554432000 4194304 4196468 140728430695680 139923628989280 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31688] ppid=31670 vsize=14090948 memory=861120 CPUtime=0.98 cores=0,2,4,6
/proc/31673/task/31688/stat : 31688 (java) S 31670 31673 28719 0 -1 1077944384 1114 0 0 0 49 49 0 0 20 0 15 0 245627466 14429130752 215280 33554432000 4194304 4196468 140728430695680 139923627936304 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 53 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
Current children cumulated CPU time: 2405.33 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 861120 KiB

[startup+2442.3 s]
/proc/loadavg: 1.48 1.50 1.43 3/220 31844
/proc/meminfo: memFree=21887268/32770624 swapFree=67108856/67108860
[pid=31673] ppid=31670 vsize=14090948 memory=863168 CPUtime=2465.78 cores=0,2,4,6
/proc/31673/stat : 31673 (java) S 31670 31673 28719 0 -1 1077944320 124437 0 0 0 246378 200 0 0 20 0 15 0 245627460 14429130752 215792 33554432000 4194304 4196468 140728430695680 140728430678224 139924724096759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
/proc/31673/statm: 3522737 215792 3588 1 0 3484809 0
[pid=31673/tid=31675] ppid=31670 vsize=14090948 memory=863168 CPUtime=2429.9 cores=0,2,4,6
/proc/31673/task/31675/stat : 31675 (java) R 31670 31673 28719 0 -1 4202560 51049 0 0 0 242968 22 0 0 20 0 15 0 245627460 14429130752 215792 33554432000 4194304 4196468 140728430695680 139924728334800 139924358910181 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31676] ppid=31670 vsize=14090948 memory=4132 CPUtime=6.28 cores=0,2,4,6
/proc/31673/task/31676/stat : 31676 (java) S 31670 31673 28719 0 -1 1077944384 6597 0 0 0 596 32 0 0 20 0 15 0 245627461 14429130752 215792 33554432000 4194304 4196468 140728430695680 139924676717584 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31677] ppid=31670 vsize=14090948 memory=863168 CPUtime=6.3 cores=0,2,4,6
/proc/31673/task/31677/stat : 31677 (java) S 31670 31673 28719 0 -1 1077944384 8102 0 0 0 599 31 0 0 20 0 15 0 245627461 14429130752 215792 33554432000 4194304 4196468 140728430695680 139924675665040 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31678] ppid=31670 vsize=14090948 memory=861120 CPUtime=6.29 cores=0,2,4,6
/proc/31673/task/31678/stat : 31678 (java) S 31670 31673 28719 0 -1 1077944384 8234 0 0 0 595 34 0 0 20 0 15 0 245627461 14429130752 215792 33554432000 4194304 4196468 140728430695680 139924674611984 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31679] ppid=31670 vsize=14090948 memory=861120 CPUtime=6.3 cores=0,2,4,6
/proc/31673/task/31679/stat : 31679 (java) S 31670 31673 28719 0 -1 1077944384 9048 0 0 0 596 34 0 0 20 0 15 0 245627461 14429130752 215792 33554432000 4194304 4196468 140728430695680 139924673559440 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31680] ppid=31670 vsize=14090948 memory=0 CPUtime=3.56 cores=0,2,4,6
/proc/31673/task/31680/stat : 31680 (java) S 31670 31673 28719 0 -1 1077944384 9291 0 0 0 329 27 0 0 20 0 15 0 245627462 14429130752 215792 33554432000 4194304 4196468 140728430695680 139924265920752 139924724107906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31681] ppid=31670 vsize=14090948 memory=863168 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31681/stat : 31681 (java) S 31670 31673 28719 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 245627463 14429130752 215792 33554432000 4194304 4196468 140728430695680 139924264867040 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31682] ppid=31670 vsize=14090948 memory=863168 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31682/stat : 31682 (java) S 31670 31673 28719 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 245627463 14429130752 215792 33554432000 4194304 4196468 140728430695680 139923634250496 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31683] ppid=31670 vsize=14090948 memory=863168 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31683/stat : 31683 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627465 14429130752 215792 33554432000 4194304 4196468 140728430695680 139923633199056 139924724115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31684] ppid=31670 vsize=14090948 memory=863168 CPUtime=2.44 cores=0,2,4,6
/proc/31673/task/31684/stat : 31684 (java) S 31670 31673 28719 0 -1 1077944384 7525 0 0 0 243 1 0 0 20 0 15 0 245627465 14429130752 215792 33554432000 4194304 4196468 140728430695680 139923632147184 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31685] ppid=31670 vsize=14090948 memory=863168 CPUtime=2.49 cores=0,2,4,6
/proc/31673/task/31685/stat : 31685 (java) S 31670 31673 28719 0 -1 1077944384 9757 0 0 0 247 2 0 0 20 0 15 0 245627465 14429130752 215792 33554432000 4194304 4196468 140728430695680 139923631094640 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31686] ppid=31670 vsize=14090948 memory=863168 CPUtime=1.11 cores=0,2,4,6
/proc/31673/task/31686/stat : 31686 (java) S 31670 31673 28719 0 -1 1077944384 12328 0 0 0 110 1 0 0 20 0 15 0 245627465 14429130752 215792 33554432000 4194304 4196468 140728430695680 139923630041584 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31687] ppid=31670 vsize=14090948 memory=863168 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31687/stat : 31687 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627466 14429130752 215792 33554432000 4194304 4196468 140728430695680 139923628989280 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31688] ppid=31670 vsize=14090948 memory=863168 CPUtime=1 cores=0,2,4,6
/proc/31673/task/31688/stat : 31688 (java) S 31670 31673 28719 0 -1 1077944384 1132 0 0 0 50 50 0 0 20 0 15 0 245627466 14429130752 215792 33554432000 4194304 4196468 140728430695680 139923627936304 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 53 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
Current children cumulated CPU time: 2465.78 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 863168 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2496.2 s]
/proc/loadavg: 1.20 1.41 1.41 3/219 31844
/proc/meminfo: memFree=21891172/32770624 swapFree=67108856/67108860
[pid=31673] ppid=31670 vsize=14090948 memory=865216 CPUtime=2520.07 cores=0,2,4,6
/proc/31673/stat : 31673 (java) S 31670 31673 28719 0 -1 1077944320 125299 0 0 0 251805 202 0 0 20 0 15 0 245627460 14429130752 216304 33554432000 4194304 4196468 140728430695680 140728430678224 139924724096759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
/proc/31673/statm: 3522737 216304 3588 1 0 3484809 0
[pid=31673/tid=31675] ppid=31670 vsize=14090948 memory=15932 CPUtime=2483.49 cores=0,2,4,6
/proc/31673/task/31675/stat : 31675 (java) R 31670 31673 28719 0 -1 4202560 51344 0 0 0 248327 22 0 0 20 0 15 0 245627460 14429130752 216304 33554432000 4194304 4196468 140728430695680 139924728334880 139924358503560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31676] ppid=31670 vsize=14090948 memory=6791534058613427641 CPUtime=6.42 cores=0,2,4,6
/proc/31673/task/31676/stat : 31676 (java) S 31670 31673 28719 0 -1 1077944384 6712 0 0 0 610 32 0 0 20 0 15 0 245627461 14429130752 216304 33554432000 4194304 4196468 140728430695680 139924676717584 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31677] ppid=31670 vsize=14090948 memory=4280 CPUtime=6.46 cores=0,2,4,6
/proc/31673/task/31677/stat : 31677 (java) S 31670 31673 28719 0 -1 1077944384 8107 0 0 0 614 32 0 0 20 0 15 0 245627461 14429130752 216304 33554432000 4194304 4196468 140728430695680 139924675665040 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31678] ppid=31670 vsize=14090948 memory=14888 CPUtime=6.44 cores=0,2,4,6
/proc/31673/task/31678/stat : 31678 (java) S 31670 31673 28719 0 -1 1077944384 8407 0 0 0 610 34 0 0 20 0 15 0 245627461 14429130752 216304 33554432000 4194304 4196468 140728430695680 139924674611984 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31679] ppid=31670 vsize=14090948 memory=37024 CPUtime=6.46 cores=0,2,4,6
/proc/31673/task/31679/stat : 31679 (java) S 31670 31673 28719 0 -1 1077944384 9126 0 0 0 611 35 0 0 20 0 15 0 245627461 14429130752 216304 33554432000 4194304 4196468 140728430695680 139924673559440 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31680] ppid=31670 vsize=14090948 memory=15932 CPUtime=3.64 cores=0,2,4,6
/proc/31673/task/31680/stat : 31680 (java) S 31670 31673 28719 0 -1 1077944384 9466 0 0 0 337 27 0 0 20 0 15 0 245627462 14429130752 216304 33554432000 4194304 4196468 140728430695680 139924265920752 139924724107906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31681] ppid=31670 vsize=14090948 memory=865216 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31681/stat : 31681 (java) S 31670 31673 28719 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 245627463 14429130752 216304 33554432000 4194304 4196468 140728430695680 139924264867040 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31682] ppid=31670 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31682/stat : 31682 (java) S 31670 31673 28719 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 245627463 14429130752 216304 33554432000 4194304 4196468 140728430695680 139923634250496 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31683] ppid=31670 vsize=14090948 memory=3984 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31683/stat : 31683 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627465 14429130752 216304 33554432000 4194304 4196468 140728430695680 139923633199056 139924724115355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31684] ppid=31670 vsize=14090948 memory=2024 CPUtime=2.44 cores=0,2,4,6
/proc/31673/task/31684/stat : 31684 (java) S 31670 31673 28719 0 -1 1077944384 7527 0 0 0 243 1 0 0 20 0 15 0 245627465 14429130752 216304 33554432000 4194304 4196468 140728430695680 139923632147184 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31685] ppid=31670 vsize=14090948 memory=7288 CPUtime=2.49 cores=0,2,4,6
/proc/31673/task/31685/stat : 31685 (java) S 31670 31673 28719 0 -1 1077944384 9759 0 0 0 247 2 0 0 20 0 15 0 245627465 14429130752 216304 33554432000 4194304 4196468 140728430695680 139923631094640 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31686] ppid=31670 vsize=14090948 memory=804 CPUtime=1.11 cores=0,2,4,6
/proc/31673/task/31686/stat : 31686 (java) S 31670 31673 28719 0 -1 1077944384 12330 0 0 0 110 1 0 0 20 0 15 0 245627465 14429130752 216304 33554432000 4194304 4196468 140728430695680 139923630041584 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31687] ppid=31670 vsize=14090948 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/31673/task/31687/stat : 31687 (java) S 31670 31673 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245627466 14429130752 216304 33554432000 4194304 4196468 140728430695680 139923628989280 139924724106965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
[pid=31673/tid=31688] ppid=31670 vsize=14090948 memory=6791534058613427641 CPUtime=1.02 cores=0,2,4,6
/proc/31673/task/31688/stat : 31688 (java) S 31670 31673 28719 0 -1 1077944384 1147 0 0 0 51 51 0 0 20 0 15 0 245627466 14429130752 216304 33554432000 4194304 4196468 140728430695680 139923627936304 139924724107906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 53 0 0 6293624 6294260 13119488 140728430703689 140728430703881 140728430703881 140728430706639 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 865216 KiB

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

[startup+2496.23 s]
# the end of solver process 31673 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.08 s, system=2.02894 s

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

Child status: 143
Real time (s): 2496.23
CPU time (s): 2520.11
CPU user time (s): 2518.08
CPU system time (s): 2.02894
CPU usage (%): 100.957
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 865216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.08
system time used= 2.02894
maximum resident set size= 865708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125798
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151244
involuntary context switches= 6893


# summary of solver processes directly reported to runsolver:
#   pid: 31673
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2518.08
#   total CPU system time (s): 2.02894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.515 second user time and 23.8249 second system time

The end

Launcher Data 

Begin job on node132 at 2018-08-14 23:04:03
IDJOB=4308287
IDBENCH=141193
IDSOLVER=2791
FILE ID=node132/4308287-1534280643
RUNJOBID= node132-1534270652-30545
PBS_JOBID= 21038125
Free space on /tmp= 38864 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
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 NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308287-1534280643/watcher-4308287-1534280643 -o /tmp/evaluation-result-4308287-1534280643/solver-4308287-1534280643 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534270652-30545 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 690307392 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308287-1534280643.xml

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

MD5SUM BENCH= 8413fdc9a9128e0623052c10493da036
RANDOM SEED=690307392

node132.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.65
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.65
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.65
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.65
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:        24500988 kB
MemAvailable:   31611352 kB
Buffers:          213756 kB
Cached:          7122736 kB
SwapCached:            4 kB
Active:          4174960 kB
Inactive:        3509164 kB
Active(anon):     297544 kB
Inactive(anon):   102672 kB
Active(file):    3877416 kB
Inactive(file):  3406492 kB
Unevictable:        6984 kB
Mlocked:            6984 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:             36032 kB
Writeback:             0 kB
AnonPages:        362532 kB
Mapped:            70648 kB
Shmem:             49820 kB
Slab:             283296 kB
SReclaimable:     254916 kB
SUnreclaim:        28380 kB
KernelStack:        3856 kB
PageTables:         6196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1221376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    288768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 38828 MiB
End job on node132 at 2018-08-14 23:45:39