Trace number 4299030

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
SuperSolver_Macq_Stevenart 2018-04-27SAT98252677 333.357 316.63

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.12/0.13	c version: 2018-04-11
0.12/0.13	c seed: 1811631
0.12/0.13	c timeout: -1
0.12/0.13	c memlimit: -1
0.12/0.13	c nbcore: -1
31.19/19.24	o 98253108
31.19/19.25	o 98253107
31.19/19.26	o 98253103
31.19/19.27	o 98253102
33.76/21.59	o 98253097
33.86/21.60	o 98253095
33.86/21.60	o 98253090
33.86/21.60	o 98253088
33.86/21.60	o 98253086
33.86/21.61	o 98253081
33.86/21.61	o 98253079
33.86/21.61	o 98253078
33.86/21.62	o 98253076
35.99/23.74	o 98253075
35.99/23.74	o 98253073
35.99/23.74	o 98253070
35.99/23.74	o 98253068
35.99/23.75	o 98253066
38.34/25.93	o 98253064
38.34/25.93	o 98253057
38.34/25.93	o 98253055
40.46/28.07	o 98253054
40.46/28.07	o 98253048
40.46/28.07	o 98253046
40.46/28.08	o 98253045
42.71/30.20	o 98253040
42.71/30.20	o 98253038
42.71/30.21	o 98253036
44.81/32.35	o 98253035
44.81/32.35	o 98253034
47.02/34.52	o 98253029
47.02/34.52	o 98253021
47.02/34.53	o 98253020
47.02/34.53	o 98253012
47.02/34.53	o 98253008
49.14/36.70	o 98253006
49.24/36.70	o 98253004
49.24/36.70	o 98252999
49.24/36.71	o 98252997
49.24/36.71	o 98252995
51.35/38.86	o 98252985
51.35/38.86	o 98252983
51.35/38.87	o 98252982
51.35/38.87	o 98252980
57.66/45.12	o 98252979
57.66/45.12	o 98252978
57.66/45.13	o 98252977
57.66/45.13	o 98252974
57.66/45.13	o 98252973
57.66/45.13	o 98252970
57.66/45.13	o 98252969
66.18/53.65	o 98252968
68.29/55.77	o 98252967
70.50/57.91	o 98252966
70.50/57.92	o 98252961
72.59/60.08	o 98252959
72.59/60.08	o 98252949
72.59/60.08	o 98252947
72.59/60.09	o 98252942
72.59/60.09	o 98252940
74.83/62.22	o 98252939
74.83/62.22	o 98252930
74.83/62.23	o 98252929
74.83/62.23	o 98252921
74.83/62.23	o 98252920
79.14/66.52	o 98252919
81.24/68.68	o 98252918
85.56/72.98	o 98252917
85.56/72.98	o 98252909
85.56/72.98	o 98252908
85.56/72.98	o 98252907
85.56/72.98	o 98252906
85.56/72.99	o 98252905
89.95/77.30	o 98252901
89.95/77.30	o 98252899
89.95/77.31	o 98252898
94.25/81.60	o 98252897
94.25/81.60	o 98252895
94.25/81.61	o 98252894
94.25/81.61	o 98252892
102.66/90.07	o 98252888
102.66/90.07	o 98252879
102.66/90.07	o 98252874
102.66/90.08	o 98252870
104.87/92.21	o 98252866
104.87/92.21	o 98252864
104.87/92.21	o 98252863
104.87/92.21	o 98252862
104.87/92.21	o 98252861
113.38/100.71	o 98252860
115.49/102.88	o 98252855
115.49/102.88	o 98252851
115.49/102.88	o 98252849
115.49/102.88	o 98252848
115.49/102.88	o 98252846
115.49/102.88	o 98252845
115.49/102.89	o 98252844
115.49/102.89	o 98252843
115.49/102.89	o 98252842
115.49/102.89	o 98252841
115.49/102.90	o 98252840
115.49/102.90	o 98252839
126.29/113.61	o 98252838
126.29/113.61	o 98252837
126.29/113.61	o 98252836
128.39/115.75	o 98252832
128.39/115.75	o 98252831
149.91/137.20	o 98252830
149.91/137.21	o 98252829
149.91/137.21	o 98252828
149.91/137.21	o 98252827
154.22/141.53	o 98252826
154.22/141.53	o 98252825
154.22/141.53	o 98252823
154.22/141.53	o 98252818
154.22/141.53	o 98252817
154.22/141.53	o 98252816
154.22/141.53	o 98252815
162.82/150.19	o 98252814
167.12/154.49	o 98252806
173.64/160.97	o 98252801
173.64/160.97	o 98252800
173.64/160.97	o 98252792
173.64/160.97	o 98252791
173.64/160.97	o 98252790
173.64/160.98	o 98252783
173.64/160.98	o 98252782
173.64/160.98	o 98252781
190.75/178.04	o 98252777
190.75/178.04	o 98252776
190.75/178.04	o 98252774
195.05/182.36	o 98252773
195.05/182.36	o 98252772
209.87/197.11	o 98252770
209.87/197.11	o 98252766
209.87/197.11	o 98252765
209.87/197.12	o 98252764
216.07/203.39	o 98252762
216.07/203.39	o 98252761
216.07/203.40	o 98252760
216.17/203.40	o 98252757
216.17/203.40	o 98252756
216.17/203.40	o 98252754
216.17/203.40	o 98252753
216.17/203.41	o 98252751
216.17/203.41	o 98252750
226.88/214.19	o 98252749
270.71/254.16	o 98252733
270.71/254.16	o 98252732
270.71/254.16	o 98252731
270.71/254.17	o 98252724
270.71/254.17	o 98252723
270.71/254.17	o 98252722
272.91/256.32	o 98252721
272.91/256.33	o 98252720
275.04/258.48	o 98252719
305.19/288.56	o 98252718
305.19/288.56	o 98252716
305.19/288.56	o 98252715
305.19/288.56	o 98252714
305.19/288.56	o 98252713
305.19/288.56	o 98252712
305.19/288.56	o 98252711
305.19/288.56	o 98252710
305.19/288.56	o 98252709
305.19/288.57	o 98252708
307.39/290.71	o 98252707
307.39/290.72	o 98252706
313.80/297.17	o 98252705
313.80/297.18	o 98252704
313.80/297.18	o 98252703
313.80/297.18	o 98252702
313.80/297.18	o 98252701
313.80/297.18	o 98252699
313.80/297.18	o 98252698
313.80/297.19	o 98252697
313.80/297.19	o 98252695
313.80/297.19	o 98252694
313.80/297.19	o 98252693
313.80/297.19	o 98252692
320.31/303.63	o 98252691
333.21/316.54	o 98252687
333.21/316.55	o 98252680
333.21/316.55	o 98252679
333.21/316.55	o 98252678
333.21/316.56	o 98252677
333.21/316.56	s SATISFIABLE
333.21/316.57	v <instantiation>
333.21/316.57	v 	<list>
333.21/316.57	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] 
333.21/316.57	v 	</list>
333.21/316.57	v 	<values>
333.21/316.57	v 		2596 2420 2612 2536 2280 2496 2476 2492 2464 2328 2288 2592 2512 2368 2532 2636 2648 2492 2288 2648 2600 2432 2324 2596 2616 2452 2652 2624 2604 2408 2632 2484 2656 2352 2472 2452 2568 2572 2452 2432 2532 2328 2444 2424 2464 2288 2520 2612 2444 2324 2456 2616 2436 2448 2320 2320 2392 2484 2412 2296 2524 2336 2460 2512 2412 2492 2456 2412 2608 2356 2608 2508 2608 2524 2328 2572 2288 2640 2632 2332 2336 2280 2280 2408 2616 2540 2580 2656 2472 2592 2284 2416 2532 2492 2384 2484 2532 2508 2656 2600 2572 2612 2524 2440 2508 2456 2284 2540 2352 2292 2508 2292 2380 2616 2324 2548 2384 2616 2372 2604 2424 2552 2376 2324 2320 2288 2504 2352 2320 2464 2572 2608 2436 2424 2280 2496 2636 2312 2556 2640 2328 2640 2472 2288 2460 2536 2392 2608 2372 2280 2652 2612 2612 2392 2532 2548 2596 2284 2484 2580 2416 2492 2480 2352 2656 2612 2484 2420 2644 2412 2400 2576 2324 2392 2328 2436 2548 2396 2396 2396 2600 2376 2652 2284 2568 2584 2416 2320 2576 2352 2468 2360 2332 2648 2328 2644 2420 2424 2284 2480 0 0 1 0 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 0 1 1 1 0 1 1 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 5 0 0 0 0 0 0 0 1 0 0 0 8 1 1 0 0 0 0 0 0 7 0 0 0 0 0 0 8 1 0 1 4 0 4 0 1 1 0 0 0 0 0 0 8 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 1 0 0 0 0 0 5 0 3 0 8 0 0 1 7 0 0 1 0 3 0 0 0 0 0 1 0 1 1 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 7 0 0 0 0 0 0 10 0 2 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 10 0 0 0 0 0 0 0 0 0 0 5 0 1 2 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 1 0 6 1 0 1 0 0 0 0 0 2 1 0 0 0 8 0 0 7 0 9 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 6 0 0 4 9 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 1 0 0 0 5 9 1 0 0 0 0 0 1 7 10 0 0 0 0 0 0 0 0 0 0 1 0 10 0 1 0 6 0 1 0 0 0 0 0 1 0 0 1 0 0 1 4 4 0 9 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 6 0 1 10 8 1 0 0 6 6 4 0 0 0 0 1 0 0 1 1 0 0 0 0 0 9 5 0 0 1 0 0 0 0 0 6 10 0 0 0 0 6 0 0 1 0 0 0 8 1 0 8 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 3 0 1 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 9 0 0 1 0 1 0 0 0 0 0 0 0 8 0 0 1 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 0 0 0 1 10 0 0 0 7 0 1 8 0 0 0 0 7 0 0 0 10 0 0 1 0 3 0 0 9 2 6 0 0 0 1 0 0 0 0 1 6 0 0 0 0 0 0 0 10 1 0 10 0 0 0 0 0 0 0 6 0 0 0 0 0 0 5 0 0 0 0 10 0 0 0 0 0 0 0 0 6 0 5 0 0 9 0 9 4 0 0 0 1 0 0 5 1 0 0 1 0 0 9 0 0 0 0 0 0 0 6 9 0 0 1 0 0 0 0 1 0 0 0 1 6 0 0 0 0 1 8 4 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 0 1 0 0 0 8 1 0 0 8 0 0 0 2 0 0 3 10 0 10 0 0 3 5 1 0 0 0 0 10 5 0 0 0 6 0 10 0 0 5 2 0 0 0 0 1 0 0 0 0 1 0 1 0 0 6 0 0 0 0 0 0 3 0 0 0 9 1 0 0 1 0 0 0 0 0 0 0 2 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 1 0 0 5 0 0 0 0 0 6 8 6 0 10 0 0 2 9 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 8 0 0 0 0 0 8 0 0 0 1 10 1 0 0 2 0 0 0 7 0 0 8 0 0 0 0 1 0 0 0 0 0 1 0 0 4 0 0 4 1 0 0 5 0 0 0 0 0 0 0 9 0 0 0 9 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 10 9 0 0 0 9 0 6 0 0 0 0 0 0 0 0 1 0 5 1 0 0 0 0 0 10 0 9 0 0 10 6 0 0 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 1 56 144 184 64 48 276 176 244 104 88 36 44 160 24 120 44 152 104 120 104 288 140 240 196 328 284 256 64 212 216 124 200 120 44 40 100 76 216 336 252 168 132 292 212 92 144 332 48 84 80 124 172 112 80 104 172 44 120 32 64 148 164 40 40 76 68 68 164 204 72 96 76 60 136 92 28 8 52 140 68 144 40 80 40 328 248 204 312 196 148 284 356 108 56 240 20 272 180 16 48 220 108 180 192 156 20 160 60 68 104 80 20 144 40 100 120 280 280 116 12 88 88 140 248 56 284 100 40 116 204 108 252 84 212 112 136 212 200 112 52 152 68 224 24 140 348 100 168 236 124 312 108 76 4 224 212 40 16 140 360 168 32 124 8 128 96 128 64 324 32 236 212 8 228 248 164 144 316 308 220 224 320 24 316 44 220 20 140 52 148 76 112 16 72 128 160 208 132 32 332 244 92 24 20 308 44 276 160 124 200 56 128 236 152 160 320 44 40 288 172 180 116 72 60 140 120 188 80 228 44 160 272 340 236 104 184 336 52 84 52 184 296 24 28 48 144 168 316 72 280 232 208 320 88 52 184 124 124 28 84 36 84 140 32 148 52 176 308 344 352 212 236 32 40 128 24 76 156 84 124 160 204 212 264 48 56 84 220 196 76 12 324 176 108 60 104 28 72 48 168 184 20 192 76 128 68 32 4 76 164 52 104 172 168 72 152 88 276 288 196 140 240 164 84 148 200 80 88 248 72 72 56 160 172 200 80 96 124 120 144 76 60 76 80 248 40 284 0 304 176 44 4 316 20 168 0 40 108 88 12 156 40 52 160 20 108 44 100 28 52 108 128 140 176 20 52 72 68 148 124 284 48 284 108 88 88 232 4 96 76 100 284 288 32 280 120 48 88 64 64 132 88 48 292 92 276 288 316 284 76 72 124 16 92 136 100 168 40 200 108 68 64 296 296 84 220 296 196 76 88 104 84 44 24 36 124 192 132 56 164 100 148 96 208 196 48 288 204 260 280 28 64 216 52 92 72 256 160 92 292 228 276 200 16 40 60 40 156 8 44 192 132 164 168 48 76 80 128 204 12 56 284 176 196 76 80 104 100 304 92 48 20 204 64 152 128 76 128 120 172 280 16 236 316 52 316 80 48 104 112 80 136 0 72 140 40 184 36 116 116 136 184 120 204 228 196 136 32 164 84 16 204 104 92 76 48 20 100 36 36 84 76 244 36 172 8 76 100 152 316 12 216 212 44 40 28 116 216 136 56 44 36 116 68 284 124 212 132 148 176 28 148 280 232 48 84 28 20 112 172 88 124 224 64 316 48 320 44 244 28 252 40 84 192 296 32 40 132 84 288 248 280 352 260 168 20 84 12 128 272 148 244 248 312 4 44 48 256 44 200 156 300 332 116 100 24 32 8 44 192 336 220 220 48 60 4 36 144 112 256 228 60 32 188 228 124 44 364 108 220 44 80 328 280 240 88 132 120 64 60 184 140 176 84 128 36 20 180 372 88 4 200 264 188 104 140 196 116 180 64 96 80 248 136 248 64 168 172 164 60 100 88 116 200 124 76 136 120 188 92 304 52 100 236 36 200 276 184 132 196 68 220 104 292 260 300 80 48 212 32 196 88 60 148 120 56 160 116 128 132 24 140 172 76 136 192 36 140 352 328 108 152 0 184 216 96 228 252 108 288 40 68 224 260 316 184 44 72 180 132 36 40 72 188 280 144 44 168 28 28 332 40 32 192 48 256 28 52 28 152 220 148 264 336 220 52 200 60 20 272 204 32 72 184 28 244 160 64 140 228 88 160 60 200 48 96 116 276 212 68 288 72 96 316 72 8 324 360 104 12 108 148 220 144 256 236 152 228 36 324 84 112 148 40 84 184 72 12 324 280 36 44 164 144 152 12 276 364 100 80 308 348 220 20 24 60 340 104 96 76 228 44 144 48 64 248 204 264 308 152 140 64 88 364 44 12 44 204 108 264 48 24 88 364 72 40 72 160 192 220 64 216 328 36 44 180 112 116 264 200 360 136 172 204 296 76 240 24 64 8 168 156 68 0 60 232 200 196 328 160 84 92 20 68 324 236 80 216 292 256 212 188 256 84 112 200 16 240 160 64 104 248 292 24 56 
333.21/316.57	v 	</values>
333.21/316.57	v </instantiation>

Verifier Data 

OK	98252677

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299030-1532817521/watcher-4299030-1532817521 -o /tmp/evaluation-result-4299030-1532817521/solver-4299030-1532817521 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532808819-31439 --watchdog 2580 java -jar HOME/bestMinicp.jar HOME/instance-4299030-1532817521.xml 

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

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


[startup+0.100122 s]*
/proc/loadavg: 1.54 1.42 1.41 4/220 875
/proc/meminfo: memFree=27163736/32770624 swapFree=67108856/67108860
[pid=860] ppid=857 vsize=10661052 memory=29452 CPUtime=0.12 cores=1,3,5,7
/proc/860/stat : 860 (java) S 857 860 31407 0 -1 1077944320 5261 0 0 0 11 1 0 0 20 0 15 0 99315309 10916917248 7363 33554432000 4194304 4196468 140726160023200 140726160005744 140318842060535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
/proc/860/statm: 2665263 7363 2858 1 0 2627263 0
[pid=860/tid=862] ppid=857 vsize=10661052 memory=8389772277269004345 CPUtime=0.08 cores=1,3,5,7
/proc/860/task/862/stat : 862 (java) R 857 860 31407 0 -1 4202560 3140 0 0 0 8 0 0 0 20 0 15 0 99315309 10916917248 7429 33554432000 4194304 4196468 140726160023200 140318846281696 140318842072470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=863] ppid=857 vsize=10661052 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/860/task/863/stat : 863 (java) S 857 860 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99315310 10916917248 7429 33554432000 4194304 4196468 140726160023200 140318798613136 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=864] ppid=857 vsize=10661052 memory=140539276353193 CPUtime=0 cores=1,3,5,7
/proc/860/task/864/stat : 864 (java) S 857 860 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99315310 10916917248 7429 33554432000 4194304 4196468 140726160023200 140318797560336 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=865] ppid=857 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/860/task/865/stat : 865 (java) S 857 860 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99315310 10916917248 7429 33554432000 4194304 4196468 140726160023200 140318446901648 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=866] ppid=857 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/860/task/866/stat : 866 (java) S 857 860 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99315310 10916917248 7429 33554432000 4194304 4196468 140726160023200 140318445848848 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=867] ppid=857 vsize=10661052 memory=140539276326528 CPUtime=0 cores=1,3,5,7
/proc/860/task/867/stat : 867 (java) S 857 860 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99315311 10916917248 7429 33554432000 4194304 4196468 140726160023200 140318401899376 140318842071682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=868] ppid=857 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/860/task/868/stat : 868 (java) S 857 860 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99315312 10916917248 7429 33554432000 4194304 4196468 140726160023200 140318400845344 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=869] ppid=857 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/860/task/869/stat : 869 (java) S 857 860 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99315312 10916917248 7429 33554432000 4194304 4196468 140726160023200 140318399792496 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=870] ppid=857 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/860/task/870/stat : 870 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315314 10916917248 7429 33554432000 4194304 4196468 140726160023200 140318398740816 140318842079131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=871] ppid=857 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/860/task/871/stat : 871 (java) S 857 860 31407 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 99315314 10916917248 7429 33554432000 4194304 4196468 140726160023200 140318397688272 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=872] ppid=857 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/860/task/872/stat : 872 (java) S 857 860 31407 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 99315314 10916917248 7429 33554432000 4194304 4196468 140726160023200 140318396626880 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=873] ppid=857 vsize=10661052 memory=140539276326528 CPUtime=0.02 cores=1,3,5,7
/proc/860/task/873/stat : 873 (java) R 857 860 31407 0 -1 4202560 332 0 0 0 2 0 0 0 20 0 15 0 99315314 10916917248 7429 33554432000 4194304 4196468 140726160023200 140318395582576 140318842072470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=874] ppid=857 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315315 10916917248 7429 33554432000 4194304 4196468 140726160023200 140317870254304 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=875] ppid=857 vsize=10661052 memory=140539276326528 CPUtime=0 cores=1,3,5,7
/proc/860/task/875/stat : 875 (java) S 857 860 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99315315 10916917248 7429 33554432000 4194304 4196468 140726160023200 140317869202608 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 29452 KiB

[startup+0.210654 s]*
/proc/loadavg: 1.54 1.42 1.41 4/220 875
/proc/meminfo: memFree=27151084/32770624 swapFree=67108856/67108860
[pid=860] ppid=857 vsize=10661052 memory=42476 CPUtime=0.34 cores=1,3,5,7
/proc/860/stat : 860 (java) S 857 860 31407 0 -1 1077944320 8171 0 0 0 32 2 0 0 20 0 15 0 99315309 10916917248 10619 33554432000 4194304 4196468 140726160023200 140726160005744 140318842060535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
/proc/860/statm: 2665263 10619 2977 1 0 2627263 0
[pid=860/tid=862] ppid=857 vsize=10661052 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/860/task/862/stat : 862 (java) R 857 860 31407 0 -1 4202560 5108 0 0 0 19 1 0 0 20 0 15 0 99315309 10916917248 10619 33554432000 4194304 4196468 140726160023200 140318846299840 140318479092698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=863] ppid=857 vsize=10661052 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/860/task/863/stat : 863 (java) S 857 860 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99315310 10916917248 10619 33554432000 4194304 4196468 140726160023200 140318798613136 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=864] ppid=857 vsize=10661052 memory=140539276353193 CPUtime=0 cores=1,3,5,7
/proc/860/task/864/stat : 864 (java) S 857 860 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99315310 10916917248 10619 33554432000 4194304 4196468 140726160023200 140318797560336 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=865] ppid=857 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/860/task/865/stat : 865 (java) S 857 860 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99315310 10916917248 10619 33554432000 4194304 4196468 140726160023200 140318446901648 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=866] ppid=857 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/860/task/866/stat : 866 (java) S 857 860 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99315310 10916917248 10619 33554432000 4194304 4196468 140726160023200 140318445848848 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=867] ppid=857 vsize=10661052 memory=140539276326528 CPUtime=0 cores=1,3,5,7
/proc/860/task/867/stat : 867 (java) S 857 860 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99315311 10916917248 10619 33554432000 4194304 4196468 140726160023200 140318401899376 140318842071682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=868] ppid=857 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/860/task/868/stat : 868 (java) S 857 860 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99315312 10916917248 10619 33554432000 4194304 4196468 140726160023200 140318400845344 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=869] ppid=857 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/860/task/869/stat : 869 (java) S 857 860 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99315312 10916917248 10619 33554432000 4194304 4196468 140726160023200 140318399792496 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=870] ppid=857 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/860/task/870/stat : 870 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315314 10916917248 10619 33554432000 4194304 4196468 140726160023200 140318398740816 140318842079131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=871] ppid=857 vsize=10661052 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/860/task/871/stat : 871 (java) R 857 860 31407 0 -1 4202560 450 0 0 0 2 0 0 0 20 0 15 0 99315314 10916917248 10619 33554432000 4194304 4196468 140726160023200 140318397674200 140318821717057 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=872] ppid=857 vsize=10661052 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/860/task/872/stat : 872 (java) R 857 860 31407 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 15 0 99315314 10916917248 10619 33554432000 4194304 4196468 140726160023200 140318396635376 140318842071682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=873] ppid=857 vsize=10661052 memory=140539276326528 CPUtime=0.08 cores=1,3,5,7
/proc/860/task/873/stat : 873 (java) R 857 860 31407 0 -1 4202560 879 0 0 0 8 0 0 0 20 0 15 0 99315314 10916917248 10619 33554432000 4194304 4196468 140726160023200 140318395578256 140318834297662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=874] ppid=857 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315315 10916917248 10619 33554432000 4194304 4196468 140726160023200 140317870254304 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=875] ppid=857 vsize=10661052 memory=140539276326528 CPUtime=0 cores=1,3,5,7
/proc/860/task/875/stat : 875 (java) S 857 860 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99315315 10916917248 10619 33554432000 4194304 4196468 140726160023200 140317869202608 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 42476 KiB

[startup+0.311561 s]*
/proc/loadavg: 1.54 1.42 1.41 3/220 875
/proc/meminfo: memFree=27097032/32770624 swapFree=67108856/67108860
[pid=860] ppid=857 vsize=10661052 memory=100680 CPUtime=0.58 cores=1,3,5,7
/proc/860/stat : 860 (java) S 857 860 31407 0 -1 1077944320 8923 0 0 0 54 4 0 0 20 0 15 0 99315309 10916917248 25170 33554432000 4194304 4196468 140726160023200 140726160005744 140318842060535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
/proc/860/statm: 2665263 25170 3046 1 0 2627263 0
[pid=860/tid=862] ppid=857 vsize=10661052 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/860/task/862/stat : 862 (java) R 857 860 31407 0 -1 4202560 5143 0 0 0 27 3 0 0 20 0 15 0 99315309 10916917248 25946 33554432000 4194304 4196468 140726160023200 140318846296624 140318842082461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=863] ppid=857 vsize=10661052 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/860/task/863/stat : 863 (java) S 857 860 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99315310 10916917248 25946 33554432000 4194304 4196468 140726160023200 140318798613136 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=864] ppid=857 vsize=10661052 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/860/task/864/stat : 864 (java) S 857 860 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99315310 10916917248 25946 33554432000 4194304 4196468 140726160023200 140318797560336 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=865] ppid=857 vsize=10661052 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/860/task/865/stat : 865 (java) S 857 860 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99315310 10916917248 25946 33554432000 4194304 4196468 140726160023200 140318446901648 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=866] ppid=857 vsize=10661052 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/860/task/866/stat : 866 (java) S 857 860 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99315310 10916917248 25946 33554432000 4194304 4196468 140726160023200 140318445848848 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=867] ppid=857 vsize=10661052 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/860/task/867/stat : 867 (java) S 857 860 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99315311 10916917248 25946 33554432000 4194304 4196468 140726160023200 140318401899376 140318842071682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=868] ppid=857 vsize=10661052 memory=8444 CPUtime=0 cores=1,3,5,7
/proc/860/task/868/stat : 868 (java) S 857 860 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99315312 10916917248 25946 33554432000 4194304 4196468 140726160023200 140318400845344 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=869] ppid=857 vsize=10661052 memory=15252 CPUtime=0 cores=1,3,5,7
/proc/860/task/869/stat : 869 (java) S 857 860 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99315312 10916917248 25946 33554432000 4194304 4196468 140726160023200 140318399792496 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=870] ppid=857 vsize=10661052 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/860/task/870/stat : 870 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315314 10916917248 25946 33554432000 4194304 4196468 140726160023200 140318398740816 140318842079131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=871] ppid=857 vsize=10661052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/860/task/871/stat : 871 (java) S 857 860 31407 0 -1 1077944384 735 0 0 0 7 0 0 0 20 0 15 0 99315314 10916917248 25946 33554432000 4194304 4196468 140726160023200 140318397688176 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=872] ppid=857 vsize=10661052 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/860/task/872/stat : 872 (java) R 857 860 31407 0 -1 4202560 1031 0 0 0 8 0 0 0 20 0 15 0 99315314 10916917248 25946 33554432000 4194304 4196468 140726160023200 140318396616968 140318825554537 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=873] ppid=857 vsize=10661052 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/860/task/873/stat : 873 (java) S 857 860 31407 0 -1 1077944384 909 0 0 0 12 0 0 0 20 0 15 0 99315314 10916917248 25946 33554432000 4194304 4196468 140726160023200 140318395582576 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=874] ppid=857 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315315 10916917248 25946 33554432000 4194304 4196468 140726160023200 140317870254304 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=875] ppid=857 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/860/task/875/stat : 875 (java) S 857 860 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99315315 10916917248 25946 33554432000 4194304 4196468 140726160023200 140317869202608 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 100680 KiB

[startup+0.70074 s]
/proc/loadavg: 1.66 1.44 1.42 5/220 875
/proc/meminfo: memFree=26892616/32770624 swapFree=67108856/67108860
[pid=860] ppid=857 vsize=10661128 memory=302668 CPUtime=1.63 cores=1,3,5,7
/proc/860/stat : 860 (java) S 857 860 31407 0 -1 1077944320 12566 0 0 0 148 15 0 0 20 0 15 0 99315309 10916995072 75667 33554432000 4194304 4196468 140726160023200 140726160005744 140318842060535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
/proc/860/statm: 2665282 75667 3107 1 0 2627263 0
[pid=860/tid=862] ppid=857 vsize=10661128 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/860/task/862/stat : 862 (java) R 857 860 31407 0 -1 4202560 5499 0 0 0 55 6 0 0 20 0 15 0 99315309 10916995072 75667 33554432000 4194304 4196468 140726160023200 140318846294448 140318842072470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=863] ppid=857 vsize=10661128 memory=7012214916208808299 CPUtime=0.03 cores=1,3,5,7
/proc/860/task/863/stat : 863 (java) S 857 860 31407 0 -1 1077944384 66 0 0 0 2 1 0 0 20 0 15 0 99315310 10916995072 75667 33554432000 4194304 4196468 140726160023200 140318798613136 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=864] ppid=857 vsize=10661128 memory=5795410798321558898 CPUtime=0.02 cores=1,3,5,7
/proc/860/task/864/stat : 864 (java) S 857 860 31407 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 15 0 99315310 10916995072 75667 33554432000 4194304 4196468 140726160023200 140318797560336 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=865] ppid=857 vsize=10661128 memory=7228954977720690514 CPUtime=0.02 cores=1,3,5,7
/proc/860/task/865/stat : 865 (java) S 857 860 31407 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 15 0 99315310 10916995072 75667 33554432000 4194304 4196468 140726160023200 140318446901648 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=866] ppid=857 vsize=10661128 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/860/task/866/stat : 866 (java) S 857 860 31407 0 -1 1077944384 75 0 0 0 2 1 0 0 20 0 15 0 99315310 10916995072 75667 33554432000 4194304 4196468 140726160023200 140318445848848 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=867] ppid=857 vsize=10661128 memory=144262851339170 CPUtime=0 cores=1,3,5,7
/proc/860/task/867/stat : 867 (java) S 857 860 31407 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 99315311 10916995072 75667 33554432000 4194304 4196468 140726160023200 140318401899376 140318842071682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=868] ppid=857 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/860/task/868/stat : 868 (java) S 857 860 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99315312 10916995072 75667 33554432000 4194304 4196468 140726160023200 140318400845344 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=869] ppid=857 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/860/task/869/stat : 869 (java) S 857 860 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99315312 10916995072 75667 33554432000 4194304 4196468 140726160023200 140318399792496 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=870] ppid=857 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/860/task/870/stat : 870 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315314 10916995072 75667 33554432000 4194304 4196468 140726160023200 140318398740816 140318842079131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=871] ppid=857 vsize=10661128 memory=281078229106928 CPUtime=0.29 cores=1,3,5,7
/proc/860/task/871/stat : 871 (java) R 857 860 31407 0 -1 4202560 1504 0 0 0 29 0 0 0 20 0 15 0 99315314 10916995072 75667 33554432000 4194304 4196468 140726160023200 140318397688176 140318842072470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=872] ppid=857 vsize=10661128 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/860/task/872/stat : 872 (java) R 857 860 31407 0 -1 1077944384 2715 0 0 0 34 1 0 0 20 0 15 0 99315314 10916995072 75667 33554432000 4194304 4196468 140726160023200 140318396635376 140318842071682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=873] ppid=857 vsize=10661128 memory=-2746958450906831424 CPUtime=0.2 cores=1,3,5,7
/proc/860/task/873/stat : 873 (java) S 857 860 31407 0 -1 1077944384 1180 0 0 0 20 0 0 0 20 0 15 0 99315314 10916995072 75667 33554432000 4194304 4196468 140726160023200 140318395582576 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=874] ppid=857 vsize=10661128 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315315 10916995072 75667 33554432000 4194304 4196468 140726160023200 140317870254304 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=875] ppid=857 vsize=10661128 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/860/task/875/stat : 875 (java) S 857 860 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99315315 10916995072 75667 33554432000 4194304 4196468 140726160023200 140317869202608 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 302668 KiB

[startup+1.50315 s]
/proc/loadavg: 1.66 1.44 1.42 3/220 875
/proc/meminfo: memFree=26776196/32770624 swapFree=67108856/67108860
[pid=860] ppid=857 vsize=10661128 memory=627316 CPUtime=3.48 cores=1,3,5,7
/proc/860/stat : 860 (java) S 857 860 31407 0 -1 1077944320 14433 0 0 0 309 39 0 0 20 0 15 0 99315309 10916995072 156829 33554432000 4194304 4196468 140726160023200 140726160005744 140318842060535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
/proc/860/statm: 2665282 156829 3134 1 0 2627263 0
[pid=860/tid=862] ppid=857 vsize=10661128 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/860/task/862/stat : 862 (java) S 857 860 31407 0 -1 1077944384 5570 0 0 0 119 8 0 0 20 0 15 0 99315309 10916995072 156829 33554432000 4194304 4196468 140726160023200 140318846298224 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=863] ppid=857 vsize=10661128 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/860/task/863/stat : 863 (java) R 857 860 31407 0 -1 4202560 430 0 0 0 9 7 0 0 20 0 15 0 99315310 10916995072 156829 33554432000 4194304 4196468 140726160023200 140318798613136 140318834688743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=864] ppid=857 vsize=10661128 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/860/task/864/stat : 864 (java) R 857 860 31407 0 -1 4202560 312 0 0 0 9 7 0 0 20 0 15 0 99315310 10916995072 156829 33554432000 4194304 4196468 140726160023200 140318797560336 140318834688743 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=865] ppid=857 vsize=10661128 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/860/task/865/stat : 865 (java) R 857 860 31407 0 -1 4202560 368 0 0 0 9 7 0 0 20 0 15 0 99315310 10916995072 156829 33554432000 4194304 4196468 140726160023200 140318446901648 140318834688743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=866] ppid=857 vsize=10661128 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/860/task/866/stat : 866 (java) R 857 860 31407 0 -1 4202560 273 0 0 0 9 6 0 0 20 0 15 0 99315310 10916995072 156829 33554432000 4194304 4196468 140726160023200 140318445848968 140318834688743 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=867] ppid=857 vsize=10661128 memory=140539276331729 CPUtime=0 cores=1,3,5,7
/proc/860/task/867/stat : 867 (java) S 857 860 31407 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 15 0 99315311 10916995072 156829 33554432000 4194304 4196468 140726160023200 140318401897920 140318842070741 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0

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


[startup+311.201 s]
/proc/loadavg: 1.76 1.92 1.67 3/218 1051
/proc/meminfo: memFree=22042628/32770624 swapFree=67108856/67108860
[pid=860] ppid=857 vsize=10661128 memory=5137500 CPUtime=327.91 cores=1,3,5,7
/proc/860/stat : 860 (java) S 857 860 31407 0 -1 1077944320 643868 0 0 0 32464 327 0 0 20 0 15 0 99315309 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140726160005744 140318842060535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
/proc/860/statm: 2665282 1284375 3199 1 0 2627263 0
[pid=860/tid=862] ppid=857 vsize=10661128 memory=4100 CPUtime=307.06 cores=1,3,5,7
/proc/860/task/862/stat : 862 (java) R 857 860 31407 0 -1 4202560 478416 0 0 0 30655 51 0 0 20 0 15 0 99315309 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318846291120 140318484259760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=863] ppid=857 vsize=10661128 memory=28940 CPUtime=3.87 cores=1,3,5,7
/proc/860/task/863/stat : 863 (java) S 857 860 31407 0 -1 1077944384 21638 0 0 0 321 66 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318798613136 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=864] ppid=857 vsize=10661128 memory=1244 CPUtime=3.87 cores=1,3,5,7
/proc/860/task/864/stat : 864 (java) S 857 860 31407 0 -1 1077944384 35613 0 0 0 323 64 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318797560336 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=865] ppid=857 vsize=10661128 memory=2268 CPUtime=3.86 cores=1,3,5,7
/proc/860/task/865/stat : 865 (java) S 857 860 31407 0 -1 1077944384 35478 0 0 0 326 60 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318446901648 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=866] ppid=857 vsize=10661128 memory=11860 CPUtime=3.85 cores=1,3,5,7
/proc/860/task/866/stat : 866 (java) S 857 860 31407 0 -1 1077944384 33745 0 0 0 317 68 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318445848848 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=867] ppid=857 vsize=10661128 memory=5772 CPUtime=0.2 cores=1,3,5,7
/proc/860/task/867/stat : 867 (java) S 857 860 31407 0 -1 1077944384 9781 0 0 0 19 1 0 0 20 0 15 0 99315311 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318401899376 140318842071682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=868] ppid=857 vsize=10661128 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/860/task/868/stat : 868 (java) S 857 860 31407 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 99315312 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318400845408 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=869] ppid=857 vsize=10661128 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/860/task/869/stat : 869 (java) S 857 860 31407 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 99315312 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318399792496 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=870] ppid=857 vsize=10661128 memory=796 CPUtime=0 cores=1,3,5,7
/proc/860/task/870/stat : 870 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318398740816 140318842079131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=871] ppid=857 vsize=10661128 memory=1712 CPUtime=2.05 cores=1,3,5,7
/proc/860/task/871/stat : 871 (java) S 857 860 31407 0 -1 1077944384 9884 0 0 0 204 1 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318397688176 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=872] ppid=857 vsize=10661128 memory=5137500 CPUtime=2.24 cores=1,3,5,7
/proc/860/task/872/stat : 872 (java) S 857 860 31407 0 -1 1077944384 9949 0 0 0 222 2 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318396635376 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=873] ppid=857 vsize=10661128 memory=5772 CPUtime=0.61 cores=1,3,5,7
/proc/860/task/873/stat : 873 (java) S 857 860 31407 0 -1 1077944384 7024 0 0 0 60 1 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318395582576 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=874] ppid=857 vsize=10661128 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315315 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140317870254304 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=875] ppid=857 vsize=10661128 memory=1388 CPUtime=0.18 cores=1,3,5,7
/proc/860/task/875/stat : 875 (java) S 857 860 31407 0 -1 1077944384 894 0 0 0 8 10 0 0 20 0 15 0 99315315 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140317869202608 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
Current children cumulated CPU time: 327.91 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 5137500 KiB

[startup+314.401 s]
/proc/loadavg: 1.76 1.92 1.67 3/218 1051
/proc/meminfo: memFree=22042628/32770624 swapFree=67108856/67108860
[pid=860] ppid=857 vsize=10661128 memory=5137500 CPUtime=331.11 cores=1,3,5,7
/proc/860/stat : 860 (java) S 857 860 31407 0 -1 1077944320 700317 0 0 0 32781 330 0 0 20 0 15 0 99315309 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140726160005744 140318842060535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
/proc/860/statm: 2665282 1284375 3199 1 0 2627263 0
[pid=860/tid=862] ppid=857 vsize=10661128 memory=144216411865948 CPUtime=310.26 cores=1,3,5,7
/proc/860/task/862/stat : 862 (java) R 857 860 31407 0 -1 4202560 534865 0 0 0 30972 54 0 0 20 0 15 0 99315309 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318846291120 140318484122860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=863] ppid=857 vsize=10661128 memory=6947385649911455296 CPUtime=3.87 cores=1,3,5,7
/proc/860/task/863/stat : 863 (java) S 857 860 31407 0 -1 1077944384 21638 0 0 0 321 66 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318798613136 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=864] ppid=857 vsize=10661128 memory=7594587674001172330 CPUtime=3.87 cores=1,3,5,7
/proc/860/task/864/stat : 864 (java) S 857 860 31407 0 -1 1077944384 35613 0 0 0 323 64 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318797560336 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=865] ppid=857 vsize=10661128 memory=7594587674001172330 CPUtime=3.86 cores=1,3,5,7
/proc/860/task/865/stat : 865 (java) S 857 860 31407 0 -1 1077944384 35478 0 0 0 326 60 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318446901648 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=866] ppid=857 vsize=10661128 memory=1712 CPUtime=3.85 cores=1,3,5,7
/proc/860/task/866/stat : 866 (java) S 857 860 31407 0 -1 1077944384 33745 0 0 0 317 68 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318445848848 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=867] ppid=857 vsize=10661128 memory=11860 CPUtime=0.2 cores=1,3,5,7
/proc/860/task/867/stat : 867 (java) S 857 860 31407 0 -1 1077944384 9781 0 0 0 19 1 0 0 20 0 15 0 99315311 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318401899376 140318842071682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=868] ppid=857 vsize=10661128 memory=5772 CPUtime=0 cores=1,3,5,7
/proc/860/task/868/stat : 868 (java) S 857 860 31407 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 99315312 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318400845408 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=869] ppid=857 vsize=10661128 memory=6947385649911455296 CPUtime=0 cores=1,3,5,7
/proc/860/task/869/stat : 869 (java) S 857 860 31407 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 99315312 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318399792496 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=870] ppid=857 vsize=10661128 memory=4036 CPUtime=0 cores=1,3,5,7
/proc/860/task/870/stat : 870 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318398740816 140318842079131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=871] ppid=857 vsize=10661128 memory=4036 CPUtime=2.05 cores=1,3,5,7
/proc/860/task/871/stat : 871 (java) S 857 860 31407 0 -1 1077944384 9884 0 0 0 204 1 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318397688176 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=872] ppid=857 vsize=10661128 memory=4100 CPUtime=2.24 cores=1,3,5,7
/proc/860/task/872/stat : 872 (java) S 857 860 31407 0 -1 1077944384 9949 0 0 0 222 2 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318396635376 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=873] ppid=857 vsize=10661128 memory=3144 CPUtime=0.61 cores=1,3,5,7
/proc/860/task/873/stat : 873 (java) S 857 860 31407 0 -1 1077944384 7024 0 0 0 60 1 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318395582576 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=874] ppid=857 vsize=10661128 memory=5137500 CPUtime=0 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315315 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140317870254304 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=875] ppid=857 vsize=10661128 memory=16244 CPUtime=0.18 cores=1,3,5,7
/proc/860/task/875/stat : 875 (java) S 857 860 31407 0 -1 1077944384 894 0 0 0 8 10 0 0 20 0 15 0 99315315 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140317869202608 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
Current children cumulated CPU time: 331.11 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 5137500 KiB

[startup+316.001 s]
/proc/loadavg: 1.69 1.90 1.67 3/218 1051
/proc/meminfo: memFree=22042628/32770624 swapFree=67108856/67108860
[pid=860] ppid=857 vsize=10661128 memory=5137500 CPUtime=332.71 cores=1,3,5,7
/proc/860/stat : 860 (java) S 857 860 31407 0 -1 1077944320 700363 0 0 0 32941 330 0 0 20 0 15 0 99315309 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140726160005744 140318842060535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
/proc/860/statm: 2665282 1284375 3199 1 0 2627263 0
[pid=860/tid=862] ppid=857 vsize=10661128 memory=4100 CPUtime=311.86 cores=1,3,5,7
/proc/860/task/862/stat : 862 (java) R 857 860 31407 0 -1 4202560 534911 0 0 0 31132 54 0 0 20 0 15 0 99315309 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318846291120 140318484254483 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=863] ppid=857 vsize=10661128 memory=6947385649911455296 CPUtime=3.87 cores=1,3,5,7
/proc/860/task/863/stat : 863 (java) S 857 860 31407 0 -1 1077944384 21638 0 0 0 321 66 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318798613136 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=864] ppid=857 vsize=10661128 memory=5137364 CPUtime=3.87 cores=1,3,5,7
/proc/860/task/864/stat : 864 (java) S 857 860 31407 0 -1 1077944384 35613 0 0 0 323 64 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318797560336 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=865] ppid=857 vsize=10661128 memory=5137500 CPUtime=3.86 cores=1,3,5,7
/proc/860/task/865/stat : 865 (java) S 857 860 31407 0 -1 1077944384 35478 0 0 0 326 60 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318446901648 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=866] ppid=857 vsize=10661128 memory=5137500 CPUtime=3.85 cores=1,3,5,7
/proc/860/task/866/stat : 866 (java) S 857 860 31407 0 -1 1077944384 33745 0 0 0 317 68 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318445848848 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=867] ppid=857 vsize=10661128 memory=6947385649911455296 CPUtime=0.2 cores=1,3,5,7
/proc/860/task/867/stat : 867 (java) S 857 860 31407 0 -1 1077944384 9781 0 0 0 19 1 0 0 20 0 15 0 99315311 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318401899376 140318842071682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=868] ppid=857 vsize=10661128 memory=11860 CPUtime=0 cores=1,3,5,7
/proc/860/task/868/stat : 868 (java) S 857 860 31407 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 99315312 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318400845408 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=869] ppid=857 vsize=10661128 memory=5772 CPUtime=0 cores=1,3,5,7
/proc/860/task/869/stat : 869 (java) S 857 860 31407 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 99315312 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318399792496 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=870] ppid=857 vsize=10661128 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/860/task/870/stat : 870 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318398740816 140318842079131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=871] ppid=857 vsize=10661128 memory=5137500 CPUtime=2.05 cores=1,3,5,7
/proc/860/task/871/stat : 871 (java) S 857 860 31407 0 -1 1077944384 9884 0 0 0 204 1 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318397688176 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=872] ppid=857 vsize=10661128 memory=6947385649911455296 CPUtime=2.24 cores=1,3,5,7
/proc/860/task/872/stat : 872 (java) S 857 860 31407 0 -1 1077944384 9949 0 0 0 222 2 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318396635376 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=873] ppid=857 vsize=10661128 memory=1244 CPUtime=0.61 cores=1,3,5,7
/proc/860/task/873/stat : 873 (java) S 857 860 31407 0 -1 1077944384 7024 0 0 0 60 1 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318395582576 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=874] ppid=857 vsize=10661128 memory=2268 CPUtime=0 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315315 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140317870254304 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=875] ppid=857 vsize=10661128 memory=1804 CPUtime=0.18 cores=1,3,5,7
/proc/860/task/875/stat : 875 (java) S 857 860 31407 0 -1 1077944384 894 0 0 0 8 10 0 0 20 0 15 0 99315315 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140317869202608 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
Current children cumulated CPU time: 332.71 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 5137500 KiB

[startup+316.401 s]
/proc/loadavg: 1.69 1.90 1.67 3/218 1051
/proc/meminfo: memFree=22042628/32770624 swapFree=67108856/67108860
[pid=860] ppid=857 vsize=10661128 memory=5137500 CPUtime=333.11 cores=1,3,5,7
/proc/860/stat : 860 (java) S 857 860 31407 0 -1 1077944320 700399 0 0 0 32981 330 0 0 20 0 15 0 99315309 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140726160005744 140318842060535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
/proc/860/statm: 2665282 1284375 3199 1 0 2627263 0
[pid=860/tid=862] ppid=857 vsize=10661128 memory=1012 CPUtime=312.26 cores=1,3,5,7
/proc/860/task/862/stat : 862 (java) R 857 860 31407 0 -1 4202560 534947 0 0 0 31172 54 0 0 20 0 15 0 99315309 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318846291120 140318484070304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=863] ppid=857 vsize=10661128 memory=1948 CPUtime=3.87 cores=1,3,5,7
/proc/860/task/863/stat : 863 (java) S 857 860 31407 0 -1 1077944384 21638 0 0 0 321 66 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318798613136 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=864] ppid=857 vsize=10661128 memory=1188 CPUtime=3.87 cores=1,3,5,7
/proc/860/task/864/stat : 864 (java) S 857 860 31407 0 -1 1077944384 35613 0 0 0 323 64 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318797560336 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=865] ppid=857 vsize=10661128 memory=0 CPUtime=3.86 cores=1,3,5,7
/proc/860/task/865/stat : 865 (java) S 857 860 31407 0 -1 1077944384 35478 0 0 0 326 60 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318446901648 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=866] ppid=857 vsize=10661128 memory=4420 CPUtime=3.85 cores=1,3,5,7
/proc/860/task/866/stat : 866 (java) S 857 860 31407 0 -1 1077944384 33745 0 0 0 317 68 0 0 20 0 15 0 99315310 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318445848848 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=867] ppid=857 vsize=10661128 memory=6628 CPUtime=0.2 cores=1,3,5,7
/proc/860/task/867/stat : 867 (java) S 857 860 31407 0 -1 1077944384 9781 0 0 0 19 1 0 0 20 0 15 0 99315311 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318401899376 140318842071682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=868] ppid=857 vsize=10661128 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/860/task/868/stat : 868 (java) S 857 860 31407 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 99315312 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318400845408 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=869] ppid=857 vsize=10661128 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/860/task/869/stat : 869 (java) S 857 860 31407 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 99315312 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318399792496 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=870] ppid=857 vsize=10661128 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/860/task/870/stat : 870 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318398740816 140318842079131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=871] ppid=857 vsize=10661128 memory=15460 CPUtime=2.05 cores=1,3,5,7
/proc/860/task/871/stat : 871 (java) S 857 860 31407 0 -1 1077944384 9884 0 0 0 204 1 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318397688176 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=872] ppid=857 vsize=10661128 memory=17668 CPUtime=2.24 cores=1,3,5,7
/proc/860/task/872/stat : 872 (java) S 857 860 31407 0 -1 1077944384 9949 0 0 0 222 2 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318396635376 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=873] ppid=857 vsize=10661128 memory=19876 CPUtime=0.61 cores=1,3,5,7
/proc/860/task/873/stat : 873 (java) S 857 860 31407 0 -1 1077944384 7024 0 0 0 60 1 0 0 20 0 15 0 99315314 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140318395582576 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=874] ppid=857 vsize=10661128 memory=22084 CPUtime=0 cores=1,3,5,7
/proc/860/task/874/stat : 874 (java) S 857 860 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99315315 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140317870254304 140318842070741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
[pid=860/tid=875] ppid=857 vsize=10661128 memory=5137500 CPUtime=0.18 cores=1,3,5,7
/proc/860/task/875/stat : 875 (java) S 857 860 31407 0 -1 1077944384 894 0 0 0 8 10 0 0 20 0 15 0 99315315 10916995072 1284375 33554432000 4194304 4196468 140726160023200 140317869202608 140318842071682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28389376 140726160024714 140726160024841 140726160024841 140726160027599 0
Current children cumulated CPU time: 333.11 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 5137500 KiB

[startup+316.601 s]*
/proc/loadavg: 1.69 1.90 1.67 3/205 1052
/proc/meminfo: memFree=23161608/32770624 swapFree=67108856/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 316.63
CPU time (s): 333.357
CPU user time (s): 330
CPU system time (s): 3.35639
CPU usage (%): 105.283
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 5137500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 330
system time used= 3.35639
maximum resident set size= 5137836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 701214
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12080
involuntary context switches= 269


# summary of solver processes directly reported to runsolver:
#   pid: 860
#   total CPU time (s): 333.357
#   total CPU user time (s): 330
#   total CPU system time (s): 3.35639

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.78384 second user time and 3.19095 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-29 00:38:42
IDJOB=4299030
IDBENCH=141285
IDSOLVER=2767
FILE ID=node133/4299030-1532817521
RUNJOBID= node133-1532808819-31439
PBS_JOBID= 21022475
Free space on /tmp= 48148 MiB

SOLVER NAME= SuperSolver_Macq_Stevenart 2018-04-27
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-01-0200_c18.xml
COMMAND LINE= java -jar DIR/bestMinicp.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299030-1532817521/watcher-4299030-1532817521 -o /tmp/evaluation-result-4299030-1532817521/solver-4299030-1532817521 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532808819-31439 --watchdog 2580  java -jar HOME/bestMinicp.jar HOME/instance-4299030-1532817521.xml

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

MD5SUM BENCH= 0e8e562de5d18dab033d3d20f1b4790d
RANDOM SEED=1539550721

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27181828 kB
MemAvailable:   31787436 kB
Buffers:          185948 kB
Cached:          4667508 kB
SwapCached:            0 kB
Active:          2409356 kB
Inactive:        2658064 kB
Active(anon):     165300 kB
Inactive(anon):    76688 kB
Active(file):    2244056 kB
Inactive(file):  2581376 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:            103708 kB
Writeback:             0 kB
AnonPages:        221196 kB
Mapped:            53124 kB
Shmem:             25244 kB
Slab:             219812 kB
SReclaimable:     192020 kB
SUnreclaim:        27792 kB
KernelStack:        3600 kB
PageTables:         5712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1129804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48148 MiB
End job on node133 at 2018-07-29 00:43:58