Trace number 4299031

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
The dodo solver 2018-04-29SAT (TO)98243090 2520.14 2502.04

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-01-0200_c18.xml
MD5SUM0e8e562de5d18dab033d3d20f1b4790d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark35891368
Best CPU time to get the best result obtained on this benchmark2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables3236
Number of constraints2053
Number of domains39
Minimum domain size1
Maximum domain size95
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":1142},{"size":11,"count":945},{"size":12,"count":1},{"size":21,"count":9},{"size":23,"count":22},{"size":25,"count":1},{"size":29,"count":34},{"size":33,"count":35},{"size":34,"count":18},{"size":35,"count":32},{"size":39,"count":8},{"size":40,"count":9},{"size":41,"count":15},{"size":49,"count":1},{"size":50,"count":19},{"size":51,"count":16},{"size":53,"count":5},{"size":55,"count":32},{"size":57,"count":10},{"size":58,"count":7},{"size":60,"count":9},{"size":64,"count":76},{"size":69,"count":85},{"size":74,"count":50},{"size":81,"count":87},{"size":91,"count":84},{"size":93,"count":31},{"size":95,"count":450}]
Minimum variable degree2
Maximum variable degree946
Distribution of variable degrees[{"degree":2,"count":2836},{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":17},{"degree":6,"count":21},{"degree":7,"count":31},{"degree":8,"count":26},{"degree":9,"count":50},{"degree":10,"count":45},{"degree":11,"count":47},{"degree":12,"count":52},{"degree":13,"count":72},{"degree":14,"count":34},{"degree":946,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":163},{"arity":3,"count":945},{"arity":6,"count":945}]
Number of extensional constraints2053
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2053}]
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.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: 2520
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
30.31/19.17	o 98253098
30.31/19.17	o 98253097
30.31/19.18	o 98253095
30.31/19.18	o 98253094
30.31/19.19	o 98253093
30.31/19.19	o 98253092
30.31/19.19	o 98253091
30.31/19.20	o 98253090
30.31/19.20	o 98253089
30.51/19.24	o 98253088
30.51/19.24	o 98253087
30.51/19.25	o 98253086
30.51/19.26	o 98253085
30.72/19.34	o 98253084
30.72/19.35	o 98253083
30.72/19.35	o 98253082
30.72/19.39	o 98253080
30.72/19.39	o 98253079
30.88/19.40	o 98253078
30.88/19.41	o 98253077
30.88/19.42	o 98253076
30.88/19.46	o 98253075
30.88/19.48	o 98253074
30.97/19.51	o 98253073
31.18/19.77	o 98253072
31.39/19.95	o 98253071
31.39/19.97	o 98253068
31.39/19.99	o 98253067
31.68/20.26	o 98253066
31.78/20.39	o 98253062
31.88/20.41	o 98253061
31.88/20.45	o 98253058
31.98/20.55	o 98253057
36.60/24.48	o 98253056
36.81/24.64	o 98253055
49.64/33.63	o 98253047
49.64/33.63	o 98253044
49.64/33.63	o 98253036
49.64/33.63	o 98253033
52.18/36.09	o 98253029
52.18/36.10	o 98253014
52.18/36.10	o 98253010
59.70/43.58	o 98253009
64.80/48.61	o 98253007
64.80/48.61	o 98253006
64.80/48.62	o 98253000
64.80/48.62	o 98252998
67.32/51.12	o 98252996
69.82/53.62	o 98252985
82.23/66.09	o 98252982
82.23/66.09	o 98252981
82.23/66.09	o 98252980
82.23/66.09	o 98252979
82.23/66.09	o 98252974
82.23/66.09	o 98252973
82.23/66.09	o 98252972
82.23/66.09	o 98252971
84.83/68.60	o 98252955
84.83/68.60	o 98252951
84.83/68.60	o 98252946
84.83/68.60	o 98252942
89.73/73.58	o 98252937
89.73/73.58	o 98252936
89.73/73.58	o 98252935
89.73/73.58	o 98252934
92.23/76.08	o 98252931
92.23/76.08	o 98252929
99.74/83.54	o 98252923
102.24/86.05	o 98252921
102.24/86.05	o 98252913
107.25/91.05	o 98252912
109.93/93.62	o 98252910
109.93/93.62	o 98252909
119.94/103.60	o 98252907
119.94/103.60	o 98252906
124.84/108.57	o 98252904
132.36/116.07	o 98252900
132.36/116.07	o 98252898
147.39/131.08	o 98252890
147.39/131.08	o 98252888
152.52/136.11	o 98252884
152.52/136.11	o 98252882
155.02/138.62	o 98252881
157.52/141.12	o 98252877
159.92/143.59	o 98252863
167.52/151.15	o 98252861
167.52/151.15	o 98252853
192.47/176.01	o 98252849
229.70/213.29	o 98252847
229.70/213.29	o 98252839
234.80/218.32	o 98252836
234.80/218.32	o 98252833
234.80/218.32	o 98252827
234.80/218.32	o 98252824
277.12/260.65	o 98252821
287.03/270.59	o 98252819
289.63/273.12	o 98252801
289.63/273.12	o 98252800
314.45/297.99	o 98252788
317.04/300.51	o 98252776
317.04/300.51	o 98252774
322.05/305.59	o 98252769
322.05/305.59	o 98252766
327.16/310.67	o 98252759
327.16/310.67	o 98252758
347.26/330.74	o 98252753
347.26/330.74	o 98252751
357.38/340.85	o 98252746
382.40/365.87	o 98252727
394.89/378.35	o 98252723
394.89/378.35	o 98252720
404.90/388.38	o 98252719
430.02/413.41	o 98252713
472.45/455.83	o 98252712
472.45/455.83	o 98252705
489.76/473.19	o 98252703
497.36/480.75	o 98252701
547.19/530.57	o 98252698
564.70/548.05	o 98252694
579.72/563.08	o 98243252
579.72/563.08	o 98243243
600.18/583.45	o 98243240
612.89/596.14	o 98243234
625.51/608.76	o 98243231
625.51/608.76	o 98243230
625.51/608.76	o 98243228
625.51/608.76	o 98243227
640.63/623.84	o 98243216
832.55/815.61	o 98243214
948.71/931.74	o 98243207
986.34/969.35	o 98243205
986.34/969.35	o 98243199
986.34/969.35	o 98243197
1064.09/1047.08	o 98243191
1097.11/1080.03	o 98243190
1152.54/1135.45	o 98243181
1261.22/1244.01	o 98243180
1261.22/1244.01	o 98243179
1261.22/1244.01	o 98243175
1261.22/1244.01	o 98243174
1261.22/1244.01	o 98243172
1261.22/1244.01	o 98243171
1421.16/1403.89	o 98243167
1421.16/1403.89	o 98243159
1446.18/1428.81	o 98243156
1446.18/1428.81	o 98243148
1528.72/1511.34	o 98243147
1528.72/1511.34	o 98243145
1900.57/1882.94	o 98243136
1963.30/1945.64	o 98243122
1963.30/1945.64	o 98243114
2099.12/2081.38	o 98243108
2099.12/2081.38	o 98243099
2156.76/2138.99	o 98243098
2156.76/2138.99	o 98243093
2156.76/2138.99	o 98243092
2194.58/2176.73	o 98243090
2520.08/2502.00	s SATISFIABLE
2520.08/2502.01	v <instantiation>
2520.08/2502.01	v 	<list>
2520.08/2502.01	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] 
2520.08/2502.01	v 	</list>
2520.08/2502.01	v 	<values>
2520.08/2502.01	v 		2592 2420 2612 2544 2280 2480 2476 2492 2464 2328 2288 2640 2512 2368 2532 2556 2648 2492 2288 2644 2616 2432 2324 2596 2616 2452 2652 2624 2604 2408 2632 2484 2656 2352 2472 2452 2636 2556 2452 2432 2532 2328 2444 2424 2464 2284 2516 2612 2444 2324 2456 2632 2436 2448 2320 2320 2392 2484 2412 2288 2524 2336 2460 2512 2412 2492 2460 2412 2604 2348 2608 2380 2596 2524 2328 2572 2288 2576 2600 2328 2328 2280 2280 2408 2616 2544 2552 2656 2472 2592 2284 2416 2532 2492 2464 2484 2532 2476 2656 2612 2572 2612 2524 2440 2508 2456 2284 2512 2352 2280 2508 2288 2364 2616 2324 2516 2384 2616 2372 2604 2424 2552 2376 2324 2320 2288 2504 2352 2320 2464 2572 2596 2436 2424 2280 2500 2552 2312 2556 2608 2328 2652 2472 2288 2460 2520 2392 2608 2372 2280 2652 2612 2596 2392 2532 2420 2596 2284 2484 2584 2416 2492 2476 2352 2656 2612 2484 2420 2644 2412 2400 2592 2324 2392 2328 2436 2548 2388 2396 2396 2648 2376 2652 2284 2568 2584 2416 2320 2584 2352 2468 2360 2320 2636 2324 2644 2404 2424 2284 2480 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 1 1 1 1 1 0 0 0 1 1 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 1 0 0 0 0 0 1 0 0 0 1 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 8 1 0 1 4 0 4 0 0 0 0 0 0 0 0 0 8 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 1 0 0 0 1 0 9 1 3 0 8 0 0 0 0 0 0 1 0 3 0 0 0 0 0 1 0 8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 5 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 5 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 6 0 0 1 0 0 0 0 0 0 1 0 0 0 8 0 0 5 2 0 0 0 0 0 0 6 0 0 0 1 0 0 0 0 9 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 6 0 0 0 1 0 0 0 0 0 6 0 0 0 0 10 0 0 0 0 0 0 0 0 5 9 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 1 0 10 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 4 4 0 1 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 1 1 0 1 10 0 1 0 0 0 5 4 0 0 0 1 1 0 0 0 1 0 0 1 0 0 9 4 0 0 0 0 0 0 0 0 1 10 0 0 0 0 6 0 0 1 0 0 0 6 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 3 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 7 0 0 1 0 0 0 0 0 0 0 0 0 8 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 7 0 0 1 0 0 10 0 0 0 4 0 1 8 0 0 0 0 1 1 0 0 0 1 0 10 0 0 0 0 9 0 7 0 0 0 5 0 0 0 0 1 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 5 0 0 9 0 9 4 0 0 0 1 0 0 0 8 6 0 1 0 0 7 0 0 0 0 0 0 0 6 9 0 0 1 0 0 0 2 1 0 0 0 0 4 0 0 0 1 0 8 1 0 0 0 0 0 0 0 0 8 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 10 0 10 0 0 0 0 8 1 0 0 8 0 5 0 2 0 0 3 0 0 0 0 10 1 5 1 0 0 0 0 10 5 0 10 0 6 0 0 0 0 5 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 8 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 8 0 0 0 0 0 5 8 6 1 8 0 0 1 9 1 0 0 0 0 0 0 0 0 0 1 0 0 1 10 8 0 0 0 0 0 8 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 8 0 0 0 0 1 0 0 0 1 0 1 0 0 4 0 2 0 1 0 0 7 0 0 0 0 0 8 0 9 0 0 0 9 0 0 0 0 0 0 1 0 0 0 8 0 0 0 0 0 0 0 10 9 0 0 0 9 0 1 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 9 0 9 0 0 10 7 0 1 7 0 0 0 0 0 0 2 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 60 140 180 60 76 272 172 240 104 40 36 44 164 24 120 44 152 232 120 136 288 140 240 196 328 288 264 72 220 224 132 216 112 52 44 8 68 200 336 252 168 132 292 212 92 144 332 44 72 64 108 156 128 64 168 168 44 120 32 64 148 164 40 40 144 68 68 164 204 72 96 76 60 136 92 28 8 52 140 68 144 40 80 40 328 264 204 328 196 148 284 356 108 4 288 28 320 228 44 64 268 156 228 240 204 20 160 60 68 104 80 20 144 40 84 120 280 276 116 20 88 88 140 248 56 284 100 40 112 204 44 252 84 212 112 144 212 212 112 52 72 80 144 56 56 268 36 88 236 124 312 104 76 4 224 212 40 16 140 356 168 32 124 8 128 96 128 64 320 12 232 208 12 224 244 180 156 332 328 252 240 336 24 332 28 220 20 140 52 148 76 112 16 72 128 160 208 132 36 332 244 92 40 36 308 20 276 160 124 200 56 128 236 152 160 328 44 32 292 172 180 184 72 60 140 120 200 80 228 44 160 288 340 236 104 184 340 52 80 52 184 296 24 28 40 144 168 316 72 280 232 216 320 88 52 184 124 124 44 84 36 84 140 32 148 80 176 308 344 352 212 236 32 40 128 24 76 156 84 124 160 204 212 264 48 44 84 220 196 72 12 336 176 108 60 104 12 72 48 104 184 20 192 76 176 64 32 8 76 164 52 104 172 168 60 220 20 348 356 264 124 228 148 100 132 184 64 72 232 88 72 56 164 172 200 80 96 132 132 144 76 60 76 80 248 44 284 0 272 176 44 4 316 20 168 0 40 108 88 12 156 40 52 160 20 108 60 100 28 52 116 128 140 144 20 52 72 76 152 128 288 44 288 104 92 80 228 8 100 80 96 284 288 28 292 120 48 96 64 80 132 88 48 308 92 288 288 284 284 76 72 128 16 60 136 100 168 40 216 124 116 80 312 312 100 236 312 228 76 88 76 84 44 24 36 124 128 104 56 148 28 148 96 208 196 48 276 204 232 292 40 64 200 52 92 72 264 160 92 276 100 276 200 16 40 72 40 92 8 44 196 132 164 168 48 76 84 132 204 12 56 264 184 204 84 88 112 100 360 92 48 20 204 64 152 128 124 128 120 172 280 16 236 316 52 316 80 48 112 112 52 136 0 72 188 40 184 36 116 116 136 188 120 204 240 196 136 32 164 84 16 204 104 92 72 44 24 96 40 56 84 84 244 36 172 8 72 96 148 316 8 212 208 48 36 20 124 224 144 64 52 36 116 96 284 124 212 196 20 60 44 136 268 220 48 84 28 20 28 172 88 112 224 64 316 48 308 44 244 76 256 40 84 188 296 32 36 116 20 224 184 216 320 228 136 12 180 8 136 280 156 256 256 312 4 44 48 240 44 200 156 304 332 116 100 24 32 8 44 192 336 228 220 48 68 24 48 148 108 260 200 56 44 160 200 124 44 376 140 220 44 64 328 280 240 88 132 120 48 60 184 152 164 84 128 36 20 180 372 88 4 200 264 188 104 140 180 116 180 64 96 64 248 136 248 64 168 172 168 140 20 88 164 200 124 76 136 120 156 60 304 52 100 252 60 212 288 196 132 196 80 220 104 292 260 300 80 48 212 32 196 88 60 160 120 60 160 116 144 144 24 128 172 92 136 180 52 140 268 328 108 152 0 184 188 40 200 224 124 300 40 68 240 272 328 184 44 72 180 144 36 88 72 188 284 148 60 56 12 12 332 24 32 192 48 260 28 52 28 128 220 148 252 336 220 52 200 60 20 272 220 32 72 184 20 244 160 64 140 228 88 160 60 200 96 96 116 276 196 68 288 72 80 232 72 8 324 348 104 12 116 148 220 144 256 236 152 100 36 324 44 112 148 40 84 172 76 0 312 268 48 40 212 144 168 12 276 364 96 84 224 264 136 104 60 32 340 104 96 80 228 12 144 48 60 260 216 276 332 152 152 64 88 364 32 100 64 200 108 264 48 16 88 364 72 40 68 160 192 220 64 216 328 40 44 180 112 104 136 200 360 120 172 208 300 76 240 24 64 8 168 152 72 4 60 232 200 196 328 160 84 92 20 68 324 224 80 232 308 244 200 196 256 84 112 208 16 244 160 64 104 260 300 28 56 
2520.08/2502.01	v 	</values>
2520.08/2502.01	v </instantiation>

Verifier Data 

OK	98243090

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299031-1532798665/watcher-4299031-1532798665 -o /tmp/evaluation-result-4299031-1532798665/solver-4299031-1532798665 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532775878-27709 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4299031-1532798665.xml --timelimit 2520 

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=30327, runsolver pid=30324

[startup+0.103921 s]*
/proc/loadavg: 5.06 3.03 2.18 4/216 30342
/proc/meminfo: memFree=21531552/32770624 swapFree=67108496/67108860
[pid=30327] ppid=30324 vsize=10658972 memory=27704 CPUtime=0.13 cores=0,2,4,6
/proc/30327/stat : 30327 (java) S 30324 30327 27678 0 -1 1077944320 5407 0 0 0 12 1 0 0 20 0 15 0 97429723 10914787328 6926 33554432000 4194304 4196468 140735842489568 140735842472112 140431187865335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
/proc/30327/statm: 2664743 6926 2835 1 0 2627263 0
[pid=30327/tid=30329] ppid=30324 vsize=10658972 memory=-8269626465541330300 CPUtime=0.1 cores=0,2,4,6
/proc/30327/task/30329/stat : 30329 (java) R 30324 30327 27678 0 -1 4202560 3240 0 0 0 9 1 0 0 20 0 15 0 97429723 10914787328 6926 33554432000 4194304 4196468 140735842489568 140431192094816 140431180102462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30330] ppid=30324 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30330/stat : 30330 (java) S 30324 30327 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97429724 10914787328 6926 33554432000 4194304 4196468 140735842489568 140431140485392 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30331] ppid=30324 vsize=10658972 memory=139773929596544 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30331/stat : 30331 (java) S 30324 30327 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97429724 10914787328 6926 33554432000 4194304 4196468 140735842489568 140431139432848 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30332] ppid=30324 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30332/stat : 30332 (java) S 30324 30327 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97429724 10914787328 6926 33554432000 4194304 4196468 140735842489568 140431138380304 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30333] ppid=30324 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30333/stat : 30333 (java) S 30324 30327 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97429724 10914787328 6926 33554432000 4194304 4196468 140735842489568 140430791072400 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30334] ppid=30324 vsize=10658972 memory=139773929596544 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30334/stat : 30334 (java) S 30324 30327 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97429725 10914787328 6926 33554432000 4194304 4196468 140735842489568 140430747654640 140431187876482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30335] ppid=30324 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30335/stat : 30335 (java) S 30324 30327 27678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97429726 10914787328 6926 33554432000 4194304 4196468 140735842489568 140430746600864 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30336] ppid=30324 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30336/stat : 30336 (java) S 30324 30327 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97429726 10914787328 6926 33554432000 4194304 4196468 140735842489568 140430745548272 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30337] ppid=30324 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30337/stat : 30337 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10914787328 6926 33554432000 4194304 4196468 140735842489568 140430744496848 140431187883931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30338] ppid=30324 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30338/stat : 30338 (java) S 30324 30327 27678 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 97429728 10914787328 6926 33554432000 4194304 4196468 140735842489568 140430743443440 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30339] ppid=30324 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30339/stat : 30339 (java) S 30324 30327 27678 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 97429728 10914787328 6926 33554432000 4194304 4196468 140735842489568 140430742390896 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30340] ppid=30324 vsize=10658972 memory=139773929596544 CPUtime=0.02 cores=0,2,4,6
/proc/30327/task/30340/stat : 30340 (java) R 30324 30327 27678 0 -1 4202560 328 0 0 0 2 0 0 0 20 0 15 0 97429728 10914787328 6926 33554432000 4194304 4196468 140735842489568 140430741338352 140431187886682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30341] ppid=30324 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30341/stat : 30341 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10914787328 6926 33554432000 4194304 4196468 140735842489568 140430740286048 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30342] ppid=30324 vsize=10658972 memory=139773929596544 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30342/stat : 30342 (java) S 30324 30327 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97429729 10914787328 6926 33554432000 4194304 4196468 140735842489568 140430739233584 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27704 KiB

[startup+0.210477 s]*
/proc/loadavg: 5.06 3.03 2.18 4/216 30342
/proc/meminfo: memFree=21520760/32770624 swapFree=67108496/67108860
[pid=30327] ppid=30324 vsize=10661056 memory=40340 CPUtime=0.34 cores=0,2,4,6
/proc/30327/stat : 30327 (java) S 30324 30327 27678 0 -1 1077944320 8223 0 0 0 32 2 0 0 20 0 15 0 97429723 10916921344 10085 33554432000 4194304 4196468 140735842489568 140735842472112 140431187865335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
/proc/30327/statm: 2665264 10085 2968 1 0 2627263 0
[pid=30327/tid=30329] ppid=30324 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/30327/task/30329/stat : 30329 (java) R 30324 30327 27678 0 -1 4202560 5139 0 0 0 19 1 0 0 20 0 15 0 97429723 10916921344 10085 33554432000 4194304 4196468 140735842489568 140431192104720 140431187887261 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30330] ppid=30324 vsize=10661056 memory=364 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30330/stat : 30330 (java) S 30324 30327 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97429724 10916921344 10085 33554432000 4194304 4196468 140735842489568 140431140485392 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30331] ppid=30324 vsize=10661056 memory=288370150081308288 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30331/stat : 30331 (java) S 30324 30327 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97429724 10916921344 10085 33554432000 4194304 4196468 140735842489568 140431139432848 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30332] ppid=30324 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30332/stat : 30332 (java) S 30324 30327 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97429724 10916921344 10085 33554432000 4194304 4196468 140735842489568 140431138380304 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30333] ppid=30324 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30333/stat : 30333 (java) S 30324 30327 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97429724 10916921344 10085 33554432000 4194304 4196468 140735842489568 140430791072400 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30334] ppid=30324 vsize=10661056 memory=139773929596544 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30334/stat : 30334 (java) S 30324 30327 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97429725 10916921344 10085 33554432000 4194304 4196468 140735842489568 140430747654640 140431187876482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30335] ppid=30324 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30335/stat : 30335 (java) S 30324 30327 27678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97429726 10916921344 10085 33554432000 4194304 4196468 140735842489568 140430746600864 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30336] ppid=30324 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30336/stat : 30336 (java) S 30324 30327 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97429726 10916921344 10085 33554432000 4194304 4196468 140735842489568 140430745548272 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30337] ppid=30324 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30337/stat : 30337 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10916921344 10085 33554432000 4194304 4196468 140735842489568 140430744496848 140431187883931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30338] ppid=30324 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30327/task/30338/stat : 30338 (java) R 30324 30327 27678 0 -1 4202560 511 0 0 0 2 0 0 0 20 0 15 0 97429728 10916921344 10085 33554432000 4194304 4196468 140735842489568 140430743436184 140431180154624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30339] ppid=30324 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30327/task/30339/stat : 30339 (java) R 30324 30327 27678 0 -1 4202560 448 0 0 0 2 0 0 0 20 0 15 0 97429728 10916921344 10085 33554432000 4194304 4196468 140735842489568 140430742376360 140431180582487 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30340] ppid=30324 vsize=10661056 memory=139773929596544 CPUtime=0.08 cores=0,2,4,6
/proc/30327/task/30340/stat : 30340 (java) D 30324 30327 27678 0 -1 4202560 771 0 0 0 8 0 0 0 20 0 15 0 97429728 10916921344 10085 33554432000 4194304 4196468 140735842489568 140430741335160 140431167832454 0 4 0 16800975 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30341] ppid=30324 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30341/stat : 30341 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10916921344 10085 33554432000 4194304 4196468 140735842489568 140430740286048 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30342] ppid=30324 vsize=10661056 memory=139773929596544 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30342/stat : 30342 (java) S 30324 30327 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97429729 10916921344 10085 33554432000 4194304 4196468 140735842489568 140430739233584 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40340 KiB

[startup+0.313809 s]*
/proc/loadavg: 5.06 3.03 2.18 4/216 30342
/proc/meminfo: memFree=21469200/32770624 swapFree=67108496/67108860
[pid=30327] ppid=30324 vsize=10661056 memory=101172 CPUtime=0.6 cores=0,2,4,6
/proc/30327/stat : 30327 (java) S 30324 30327 27678 0 -1 1077944320 9588 0 0 0 56 4 0 0 20 0 15 0 97429723 10916921344 25293 33554432000 4194304 4196468 140735842489568 140735842472112 140431187865335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
/proc/30327/statm: 2665264 25293 3046 1 0 2627263 0
[pid=30327/tid=30329] ppid=30324 vsize=10661056 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/30327/task/30329/stat : 30329 (java) R 30324 30327 27678 0 -1 4202560 5184 0 0 0 27 3 0 0 20 0 15 0 97429723 10916921344 25293 33554432000 4194304 4196468 140735842489568 140431192104720 140431187887261 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30330] ppid=30324 vsize=10661056 memory=288230600429797399 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30330/stat : 30330 (java) S 30324 30327 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97429724 10916921344 25293 33554432000 4194304 4196468 140735842489568 140431140485392 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30331] ppid=30324 vsize=10661056 memory=288370150081308288 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30331/stat : 30331 (java) S 30324 30327 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97429724 10916921344 25293 33554432000 4194304 4196468 140735842489568 140431139432848 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30332] ppid=30324 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30332/stat : 30332 (java) S 30324 30327 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97429724 10916921344 25293 33554432000 4194304 4196468 140735842489568 140431138380304 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30333] ppid=30324 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30333/stat : 30333 (java) S 30324 30327 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97429724 10916921344 25293 33554432000 4194304 4196468 140735842489568 140430791072400 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30334] ppid=30324 vsize=10661056 memory=139773929596544 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30334/stat : 30334 (java) S 30324 30327 27678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97429725 10916921344 25293 33554432000 4194304 4196468 140735842489568 140430747654640 140431187876482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30335] ppid=30324 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30335/stat : 30335 (java) S 30324 30327 27678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97429726 10916921344 25293 33554432000 4194304 4196468 140735842489568 140430746600864 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30336] ppid=30324 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30336/stat : 30336 (java) S 30324 30327 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97429726 10916921344 25293 33554432000 4194304 4196468 140735842489568 140430745548272 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30337] ppid=30324 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30337/stat : 30337 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10916921344 25293 33554432000 4194304 4196468 140735842489568 140430744496848 140431187883931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30338] ppid=30324 vsize=10661056 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30327/task/30338/stat : 30338 (java) R 30324 30327 27678 0 -1 4202560 1385 0 0 0 9 0 0 0 20 0 15 0 97429728 10916921344 25293 33554432000 4194304 4196468 140735842489568 140430743422336 140431172154227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30339] ppid=30324 vsize=10661056 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30327/task/30339/stat : 30339 (java) S 30324 30327 27678 0 -1 1077944384 838 0 0 0 7 0 0 0 20 0 15 0 97429728 10916921344 25293 33554432000 4194304 4196468 140735842489568 140430742390896 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30340] ppid=30324 vsize=10661056 memory=139773929596544 CPUtime=0.12 cores=0,2,4,6
/proc/30327/task/30340/stat : 30340 (java) S 30324 30327 27678 0 -1 1077944384 815 0 0 0 12 0 0 0 20 0 15 0 97429728 10916921344 25293 33554432000 4194304 4196468 140735842489568 140430741338352 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30341] ppid=30324 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30341/stat : 30341 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10916921344 25293 33554432000 4194304 4196468 140735842489568 140430740286048 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30342] ppid=30324 vsize=10661056 memory=139773929596544 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30342/stat : 30342 (java) S 30324 30327 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97429729 10916921344 25293 33554432000 4194304 4196468 140735842489568 140430739233584 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 101172 KiB

[startup+0.700668 s]
/proc/loadavg: 5.06 3.03 2.18 5/216 30342
/proc/meminfo: memFree=21263000/32770624 swapFree=67108496/67108860
[pid=30327] ppid=30324 vsize=10661132 memory=301940 CPUtime=1.6 cores=0,2,4,6
/proc/30327/stat : 30327 (java) S 30324 30327 27678 0 -1 1077944320 12944 0 0 0 145 15 0 0 20 0 15 0 97429723 10916999168 75485 33554432000 4194304 4196468 140735842489568 140735842472112 140431187865335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
/proc/30327/statm: 2665283 75485 3096 1 0 2627263 0
[pid=30327/tid=30329] ppid=30324 vsize=10661132 memory=1788 CPUtime=0.61 cores=0,2,4,6
/proc/30327/task/30329/stat : 30329 (java) R 30324 30327 27678 0 -1 4202560 5504 0 0 0 56 5 0 0 20 0 15 0 97429723 10916999168 75485 33554432000 4194304 4196468 140735842489568 140431192098624 140431187877270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30330] ppid=30324 vsize=10661132 memory=860 CPUtime=0.03 cores=0,2,4,6
/proc/30327/task/30330/stat : 30330 (java) S 30324 30327 27678 0 -1 1077944384 66 0 0 0 1 2 0 0 20 0 15 0 97429724 10916999168 75485 33554432000 4194304 4196468 140735842489568 140431140485392 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30331] ppid=30324 vsize=10661132 memory=12556 CPUtime=0.03 cores=0,2,4,6
/proc/30327/task/30331/stat : 30331 (java) S 30324 30327 27678 0 -1 1077944384 48 0 0 0 1 2 0 0 20 0 15 0 97429724 10916999168 75485 33554432000 4194304 4196468 140735842489568 140431139432848 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30332] ppid=30324 vsize=10661132 memory=756 CPUtime=0.02 cores=0,2,4,6
/proc/30327/task/30332/stat : 30332 (java) S 30324 30327 27678 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 15 0 97429724 10916999168 75485 33554432000 4194304 4196468 140735842489568 140431138380304 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30333] ppid=30324 vsize=10661132 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/30327/task/30333/stat : 30333 (java) S 30324 30327 27678 0 -1 1077944384 60 0 0 0 0 1 0 0 20 0 15 0 97429724 10916999168 75485 33554432000 4194304 4196468 140735842489568 140430791072400 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30334] ppid=30324 vsize=10661132 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30334/stat : 30334 (java) S 30324 30327 27678 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 97429725 10916999168 75485 33554432000 4194304 4196468 140735842489568 140430747654640 140431187876482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30335] ppid=30324 vsize=10661132 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30335/stat : 30335 (java) S 30324 30327 27678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97429726 10916999168 75485 33554432000 4194304 4196468 140735842489568 140430746600864 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30336] ppid=30324 vsize=10661132 memory=6384 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30336/stat : 30336 (java) S 30324 30327 27678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97429726 10916999168 75485 33554432000 4194304 4196468 140735842489568 140430745548272 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30337] ppid=30324 vsize=10661132 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30337/stat : 30337 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10916999168 75485 33554432000 4194304 4196468 140735842489568 140430744496848 140431187883931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30338] ppid=30324 vsize=10661132 memory=7523093115782322283 CPUtime=0.34 cores=0,2,4,6
/proc/30327/task/30338/stat : 30338 (java) R 30324 30327 27678 0 -1 4202560 2994 0 0 0 34 0 0 0 20 0 15 0 97429728 10916999168 75485 33554432000 4194304 4196468 140735842489568 140430743443440 140431172262480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30339] ppid=30324 vsize=10661132 memory=5787213827063244903 CPUtime=0.28 cores=0,2,4,6
/proc/30327/task/30339/stat : 30339 (java) R 30324 30327 27678 0 -1 1077944384 1657 0 0 0 28 0 0 0 20 0 15 0 97429728 10916999168 75485 33554432000 4194304 4196468 140735842489568 140430742390896 140431187876482 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30340] ppid=30324 vsize=10661132 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/30327/task/30340/stat : 30340 (java) R 30324 30327 27678 0 -1 4202560 1131 0 0 0 20 0 0 0 20 0 15 0 97429728 10916999168 75485 33554432000 4194304 4196468 140735842489568 140430741338352 140431171945822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30341] ppid=30324 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30341/stat : 30341 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10916999168 75485 33554432000 4194304 4196468 140735842489568 140430740286048 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30342] ppid=30324 vsize=10661132 memory=33 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30342/stat : 30342 (java) S 30324 30327 27678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97429729 10916999168 75485 33554432000 4194304 4196468 140735842489568 140430739233584 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 301940 KiB

[startup+1.50071 s]
/proc/loadavg: 5.06 3.03 2.18 7/216 30342
/proc/meminfo: memFree=21064288/32770624 swapFree=67108496/67108860
[pid=30327] ppid=30324 vsize=10661132 memory=626308 CPUtime=3.42 cores=0,2,4,6
/proc/30327/stat : 30327 (java) S 30324 30327 27678 0 -1 1077944320 15387 0 0 0 306 36 0 0 20 0 15 0 97429723 10916999168 156577 33554432000 4194304 4196468 140735842489568 140735842472112 140431187865335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
/proc/30327/statm: 2665283 156577 3140 1 0 2627263 0
[pid=30327/tid=30329] ppid=30324 vsize=10661132 memory=6791534058613427641 CPUtime=1.26 cores=0,2,4,6
/proc/30327/task/30329/stat : 30329 (java) S 30324 30327 27678 0 -1 1077944384 5572 0 0 0 119 7 0 0 20 0 15 0 97429723 10916999168 156577 33554432000 4194304 4196468 140735842489568 140431192102976 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30330] ppid=30324 vsize=10661132 memory=-6951259422114956437 CPUtime=0.15 cores=0,2,4,6
/proc/30327/task/30330/stat : 30330 (java) R 30324 30327 27678 0 -1 4202560 292 0 0 0 9 6 0 0 20 0 15 0 97429724 10916999168 156577 33554432000 4194304 4196468 140735842489568 140431140485392 140431180493543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30331] ppid=30324 vsize=10661132 memory=-6509546260019855299 CPUtime=0.17 cores=0,2,4,6
/proc/30327/task/30331/stat : 30331 (java) R 30324 30327 27678 0 -1 4202560 411 0 0 0 11 6 0 0 20 0 15 0 97429724 10916999168 156577 33554432000 4194304 4196468 140735842489568 140431139432848 140431180962036 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30332] ppid=30324 vsize=10661132 memory=-7390251449858225344 CPUtime=0.17 cores=0,2,4,6
/proc/30327/task/30332/stat : 30332 (java) R 30324 30327 27678 0 -1 4202560 467 0 0 0 11 6 0 0 20 0 15 0 97429724 10916999168 156577 33554432000 4194304 4196468 140735842489568 140431138380424 140431180493543 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30333] ppid=30324 vsize=10661132 memory=4134692831991786133 CPUtime=0.14 cores=0,2,4,6
/proc/30327/task/30333/stat : 30333 (java) R 30324 30327 27678 0 -1 4202560 733 0 0 0 8 6 0 0 20 0 15 0 97429724 10916999168 156577 33554432000 4194304 4196468 140735842489568 140430791072400 140431171248370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30334] ppid=30324 vsize=10661132 memory=-7165351541977658656 CPUtime=0.01 cores=0,2,4,6
/proc/30327/task/30334/stat : 30334 (java) S 30324 30327 27678 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 15 0 97429725 10916999168 156577 33554432000 4194304 4196468 140735842489568 140430747653184 140431187875541 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0

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

/proc/30327/task/30329/stat : 30329 (java) R 30324 30327 27678 0 -1 4202560 2217464 0 0 0 231663 137 0 0 20 0 15 0 97429723 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431192106608 140430823951406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30330] ppid=30324 vsize=10661132 memory=5156296 CPUtime=3.97 cores=0,2,4,6
/proc/30327/task/30330/stat : 30330 (java) S 30324 30327 27678 0 -1 1077944384 56924 0 0 0 336 61 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431140485392 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30331] ppid=30324 vsize=10661132 memory=5156296 CPUtime=4 cores=0,2,4,6
/proc/30327/task/30331/stat : 30331 (java) S 30324 30327 27678 0 -1 1077944384 56440 0 0 0 331 69 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431139432848 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30332] ppid=30324 vsize=10661132 memory=5156296 CPUtime=3.97 cores=0,2,4,6
/proc/30327/task/30332/stat : 30332 (java) S 30324 30327 27678 0 -1 1077944384 40290 0 0 0 339 58 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431138380304 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30333] ppid=30324 vsize=10661132 memory=5156296 CPUtime=3.96 cores=0,2,4,6
/proc/30327/task/30333/stat : 30333 (java) S 30324 30327 27678 0 -1 1077944384 56455 0 0 0 328 68 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430791072400 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30334] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0.3 cores=0,2,4,6
/proc/30327/task/30334/stat : 30334 (java) S 30324 30327 27678 0 -1 1077944384 8719 0 0 0 27 3 0 0 20 0 15 0 97429725 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430747654640 140431187876482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30335] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30335/stat : 30335 (java) S 30324 30327 27678 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 97429726 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430746600928 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30336] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30336/stat : 30336 (java) S 30324 30327 27678 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 97429726 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430745548272 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30337] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30337/stat : 30337 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430744496848 140431187883931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30338] ppid=30324 vsize=10661132 memory=5156296 CPUtime=2.55 cores=0,2,4,6
/proc/30327/task/30338/stat : 30338 (java) S 30324 30327 27678 0 -1 1077944384 19616 0 0 0 253 2 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430743443440 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30339] ppid=30324 vsize=10661132 memory=1836 CPUtime=1.54 cores=0,2,4,6
/proc/30327/task/30339/stat : 30339 (java) S 30324 30327 27678 0 -1 1077944384 9845 0 0 0 153 1 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430742390896 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30340] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0.61 cores=0,2,4,6
/proc/30327/task/30340/stat : 30340 (java) S 30324 30327 27678 0 -1 1077944384 9653 0 0 0 59 2 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430741338352 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30341] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30341/stat : 30341 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430740286048 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30342] ppid=30324 vsize=10661132 memory=5156296 CPUtime=1.27 cores=0,2,4,6
/proc/30327/task/30342/stat : 30342 (java) S 30324 30327 27678 0 -1 1077944384 3075 0 0 0 69 58 0 0 20 0 15 0 97429729 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430739233584 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
Current children cumulated CPU time: 2340.27 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 5156296 KiB

[startup+2382.3 s]
/proc/loadavg: 1.99 1.91 2.01 3/216 30589
/proc/meminfo: memFree=22113876/32770624 swapFree=67108496/67108860
[pid=30327] ppid=30324 vsize=10661132 memory=5156296 CPUtime=2400.31 cores=0,2,4,6
/proc/30327/stat : 30327 (java) S 30324 30327 27678 0 -1 1077944320 2482818 0 0 0 239571 460 0 0 20 0 15 0 97429723 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140735842472112 140431187865335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
/proc/30327/statm: 2665283 1289074 3200 1 0 2627263 0
[pid=30327/tid=30329] ppid=30324 vsize=10661132 memory=5156296 CPUtime=2378 cores=0,2,4,6
/proc/30327/task/30329/stat : 30329 (java) R 30324 30327 27678 0 -1 4202560 2220231 0 0 0 237662 138 0 0 20 0 15 0 97429723 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431192106608 140430823951358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30330] ppid=30324 vsize=10661132 memory=1380 CPUtime=3.97 cores=0,2,4,6
/proc/30327/task/30330/stat : 30330 (java) S 30324 30327 27678 0 -1 1077944384 56924 0 0 0 336 61 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431140485392 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30331] ppid=30324 vsize=10661132 memory=5156292 CPUtime=4 cores=0,2,4,6
/proc/30327/task/30331/stat : 30331 (java) S 30324 30327 27678 0 -1 1077944384 56440 0 0 0 331 69 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431139432848 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30332] ppid=30324 vsize=10661132 memory=5156296 CPUtime=3.97 cores=0,2,4,6
/proc/30327/task/30332/stat : 30332 (java) S 30324 30327 27678 0 -1 1077944384 40290 0 0 0 339 58 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431138380304 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30333] ppid=30324 vsize=10661132 memory=5156296 CPUtime=3.96 cores=0,2,4,6
/proc/30327/task/30333/stat : 30333 (java) S 30324 30327 27678 0 -1 1077944384 56455 0 0 0 328 68 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430791072400 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30334] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0.3 cores=0,2,4,6
/proc/30327/task/30334/stat : 30334 (java) S 30324 30327 27678 0 -1 1077944384 8739 0 0 0 27 3 0 0 20 0 15 0 97429725 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430747654640 140431187876482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30335] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30335/stat : 30335 (java) S 30324 30327 27678 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 97429726 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430746600928 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30336] ppid=30324 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30336/stat : 30336 (java) S 30324 30327 27678 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 97429726 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430745548272 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30337] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30337/stat : 30337 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430744496848 140431187883931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30338] ppid=30324 vsize=10661132 memory=5156296 CPUtime=2.55 cores=0,2,4,6
/proc/30327/task/30338/stat : 30338 (java) S 30324 30327 27678 0 -1 1077944384 19632 0 0 0 253 2 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430743443440 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30339] ppid=30324 vsize=10661132 memory=5156296 CPUtime=1.54 cores=0,2,4,6
/proc/30327/task/30339/stat : 30339 (java) S 30324 30327 27678 0 -1 1077944384 9851 0 0 0 153 1 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430742390896 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30340] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0.61 cores=0,2,4,6
/proc/30327/task/30340/stat : 30340 (java) S 30324 30327 27678 0 -1 1077944384 9661 0 0 0 59 2 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430741338352 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30341] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30341/stat : 30341 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430740286048 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30342] ppid=30324 vsize=10661132 memory=2260 CPUtime=1.31 cores=0,2,4,6
/proc/30327/task/30342/stat : 30342 (java) S 30324 30327 27678 0 -1 1077944384 3151 0 0 0 71 60 0 0 20 0 15 0 97429729 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430739233584 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
Current children cumulated CPU time: 2400.31 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 5156296 KiB

[startup+2442.3 s]
/proc/loadavg: 1.91 1.90 2.00 3/216 30590
/proc/meminfo: memFree=22114156/32770624 swapFree=67108496/67108860
[pid=30327] ppid=30324 vsize=10661132 memory=5156296 CPUtime=2460.35 cores=0,2,4,6
/proc/30327/stat : 30327 (java) S 30324 30327 27678 0 -1 1077944320 2484898 0 0 0 245574 461 0 0 20 0 15 0 97429723 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140735842472112 140431187865335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
/proc/30327/statm: 2665283 1289074 3200 1 0 2627263 0
[pid=30327/tid=30329] ppid=30324 vsize=10661132 memory=28176 CPUtime=2438 cores=0,2,4,6
/proc/30327/task/30329/stat : 30329 (java) R 30324 30327 27678 0 -1 4202560 2222246 0 0 0 243662 138 0 0 20 0 15 0 97429723 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431192106608 140430824079074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30330] ppid=30324 vsize=10661132 memory=5156296 CPUtime=3.97 cores=0,2,4,6
/proc/30327/task/30330/stat : 30330 (java) S 30324 30327 27678 0 -1 1077944384 56924 0 0 0 336 61 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431140485392 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30331] ppid=30324 vsize=10661132 memory=5156296 CPUtime=4 cores=0,2,4,6
/proc/30327/task/30331/stat : 30331 (java) S 30324 30327 27678 0 -1 1077944384 56440 0 0 0 331 69 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431139432848 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30332] ppid=30324 vsize=10661132 memory=6791534058613427641 CPUtime=3.97 cores=0,2,4,6
/proc/30327/task/30332/stat : 30332 (java) S 30324 30327 27678 0 -1 1077944384 40290 0 0 0 339 58 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431138380304 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30333] ppid=30324 vsize=10661132 memory=5156296 CPUtime=3.96 cores=0,2,4,6
/proc/30327/task/30333/stat : 30333 (java) S 30324 30327 27678 0 -1 1077944384 56455 0 0 0 328 68 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430791072400 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30334] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0.3 cores=0,2,4,6
/proc/30327/task/30334/stat : 30334 (java) S 30324 30327 27678 0 -1 1077944384 8749 0 0 0 27 3 0 0 20 0 15 0 97429725 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430747654640 140431187876482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30335] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30335/stat : 30335 (java) S 30324 30327 27678 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 97429726 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430746600928 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30336] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30336/stat : 30336 (java) S 30324 30327 27678 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 97429726 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430745548272 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30337] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30337/stat : 30337 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430744496848 140431187883931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30338] ppid=30324 vsize=10661132 memory=5156296 CPUtime=2.55 cores=0,2,4,6
/proc/30327/task/30338/stat : 30338 (java) S 30324 30327 27678 0 -1 1077944384 19640 0 0 0 253 2 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430743443440 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30339] ppid=30324 vsize=10661132 memory=5156296 CPUtime=1.54 cores=0,2,4,6
/proc/30327/task/30339/stat : 30339 (java) S 30324 30327 27678 0 -1 1077944384 9854 0 0 0 153 1 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430742390896 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30340] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0.61 cores=0,2,4,6
/proc/30327/task/30340/stat : 30340 (java) S 30324 30327 27678 0 -1 1077944384 9665 0 0 0 59 2 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430741338352 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30341] ppid=30324 vsize=10661132 memory=5156296 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30341/stat : 30341 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430740286048 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30342] ppid=30324 vsize=10661132 memory=5156296 CPUtime=1.34 cores=0,2,4,6
/proc/30327/task/30342/stat : 30342 (java) S 30324 30327 27678 0 -1 1077944384 3191 0 0 0 73 61 0 0 20 0 15 0 97429729 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430739233584 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
Current children cumulated CPU time: 2460.35 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 5156296 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2502 s]
/proc/loadavg: 1.84 1.89 1.99 3/215 30591
/proc/meminfo: memFree=22113684/32770624 swapFree=67108496/67108860
[pid=30327] ppid=30324 vsize=10661132 memory=5156296 CPUtime=2520.08 cores=0,2,4,6
/proc/30327/stat : 30327 (java) S 30324 30327 27678 0 -1 1077944320 2487790 0 0 0 251545 463 0 0 20 0 15 0 97429723 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140735842472112 140431187865335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
/proc/30327/statm: 2665283 1289074 3200 1 0 2627263 0
[pid=30327/tid=30329] ppid=30324 vsize=10661132 memory=2336 CPUtime=2497.71 cores=0,2,4,6
/proc/30327/task/30329/stat : 30329 (java) R 30324 30327 27678 0 -1 4202560 2225014 0 0 0 249632 139 0 0 20 0 15 0 97429723 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431192106608 140430824079099 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30330] ppid=30324 vsize=10661132 memory=932 CPUtime=3.97 cores=0,2,4,6
/proc/30327/task/30330/stat : 30330 (java) S 30324 30327 27678 0 -1 1077944384 56924 0 0 0 336 61 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431140485392 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30331] ppid=30324 vsize=10661132 memory=1564 CPUtime=4 cores=0,2,4,6
/proc/30327/task/30331/stat : 30331 (java) S 30324 30327 27678 0 -1 1077944384 56440 0 0 0 331 69 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431139432848 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30332] ppid=30324 vsize=10661132 memory=3280 CPUtime=3.97 cores=0,2,4,6
/proc/30327/task/30332/stat : 30332 (java) S 30324 30327 27678 0 -1 1077944384 40290 0 0 0 339 58 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140431138380304 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30333] ppid=30324 vsize=10661132 memory=127904 CPUtime=3.96 cores=0,2,4,6
/proc/30327/task/30333/stat : 30333 (java) S 30324 30327 27678 0 -1 1077944384 56455 0 0 0 328 68 0 0 20 0 15 0 97429724 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430791072400 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30334] ppid=30324 vsize=10661132 memory=24292 CPUtime=0.3 cores=0,2,4,6
/proc/30327/task/30334/stat : 30334 (java) S 30324 30327 27678 0 -1 1077944384 8782 0 0 0 27 3 0 0 20 0 15 0 97429725 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430747654640 140431187876482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30335] ppid=30324 vsize=10661132 memory=3872 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30335/stat : 30335 (java) S 30324 30327 27678 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 97429726 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430746600928 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30336] ppid=30324 vsize=10661132 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30336/stat : 30336 (java) S 30324 30327 27678 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 97429726 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430745548272 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30337] ppid=30324 vsize=10661132 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30337/stat : 30337 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430744496848 140431187883931 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30338] ppid=30324 vsize=10661132 memory=14694093276061419 CPUtime=2.55 cores=0,2,4,6
/proc/30327/task/30338/stat : 30338 (java) S 30324 30327 27678 0 -1 1077944384 19651 0 0 0 253 2 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430743443440 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30339] ppid=30324 vsize=10661132 memory=12556 CPUtime=1.54 cores=0,2,4,6
/proc/30327/task/30339/stat : 30339 (java) S 30324 30327 27678 0 -1 1077944384 9864 0 0 0 153 1 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430742390896 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30340] ppid=30324 vsize=10661132 memory=756 CPUtime=0.61 cores=0,2,4,6
/proc/30327/task/30340/stat : 30340 (java) S 30324 30327 27678 0 -1 1077944384 9674 0 0 0 59 2 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430741338352 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30341] ppid=30324 vsize=10661132 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/30327/task/30341/stat : 30341 (java) S 30324 30327 27678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97429728 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430740286048 140431187875541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
[pid=30327/tid=30342] ppid=30324 vsize=10661132 memory=1836 CPUtime=1.38 cores=0,2,4,6
/proc/30327/task/30342/stat : 30342 (java) S 30324 30327 27678 0 -1 1077944384 3253 0 0 0 75 63 0 0 20 0 15 0 97429729 10916999168 1289074 33554432000 4194304 4196468 140735842489568 140430739233584 140431187876482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 13377536 140735842493560 140735842493705 140735842493705 140735842496463 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 5156296 KiB

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

[startup+2502.04 s]
# the end of solver process 30327 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.48 s, system=4.66453 s

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

Child status: 143
Real time (s): 2502.04
CPU time (s): 2520.14
CPU user time (s): 2515.48
CPU system time (s): 4.66453
CPU usage (%): 100.723
Max. virtual memory (cumulated for all children) (KiB): 10663096
Max. memory (cumulated for all children) (KiB): 5156296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.48
system time used= 4.66453
maximum resident set size= 5156920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2489992
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60220
involuntary context switches= 984


# summary of solver processes directly reported to runsolver:
#   pid: 30327
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2515.48
#   total CPU system time (s): 4.66453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.998 second user time and 23.5945 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-28 19:24:25
IDJOB=4299031
IDBENCH=141285
IDSOLVER=2768
FILE ID=node149/4299031-1532798665
RUNJOBID= node149-1532775878-27709
PBS_JOBID= 21022467
Free space on /tmp= 42588 MiB

SOLVER NAME= The dodo solver 2018-04-29
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-01-0200_c18.xml
COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299031-1532798665/watcher-4299031-1532798665 -o /tmp/evaluation-result-4299031-1532798665/solver-4299031-1532798665 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532775878-27709 --watchdog 2580  java -jar HOME/dodo_solver.jar HOME/instance-4299031-1532798665.xml --timelimit 2520

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

MD5SUM BENCH= 0e8e562de5d18dab033d3d20f1b4790d
RANDOM SEED=1628776475

node149.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.60
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.60
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.60
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.60
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:        21547552 kB
MemAvailable:   26671732 kB
Buffers:          138684 kB
Cached:          5202732 kB
SwapCached:           60 kB
Active:          7485700 kB
Inactive:        3157324 kB
Active(anon):    5251160 kB
Inactive(anon):    78000 kB
Active(file):    2234540 kB
Inactive(file):  3079324 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:            103696 kB
Writeback:             0 kB
AnonPages:       5278348 kB
Mapped:            47176 kB
Shmem:             25040 kB
Slab:             267880 kB
SReclaimable:     238776 kB
SUnreclaim:        29104 kB
KernelStack:        3520 kB
PageTables:        15476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6347388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5163008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43156 MiB
End job on node149 at 2018-07-28 20:06:07