Trace number 4275068

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2017-07-26SAT (TO)1802 19876 2520.0701

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-vtxcov/
Pb-vtxcov-v2000-e4000-05.xml
MD5SUM31e85661316b8aad2d1246d7b0a73c1b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1128
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables1957
Number of constraints4000
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1957}]
Minimum variable degree2
Maximum variable degree12
Distribution of variable degrees[{"degree":2,"count":151},{"degree":3,"count":275},{"degree":4,"count":378},{"degree":5,"count":395},{"degree":6,"count":340},{"degree":7,"count":211},{"degree":8,"count":100},{"degree":9,"count":61},{"degree":10,"count":31},{"degree":11,"count":13},{"degree":12,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4000}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":4000}]
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.29/0.25	c version: 2017-07-26
0.29/0.25	c seed: 1455345124
0.29/0.25	c timeout: 20160
0.29/0.25	c memlimit: 11000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
2.00/0.87	c Parsing done, starting search...
11.14/3.32	o 1956
11.14/3.34	o 1955
11.14/3.35	o 1954
11.14/3.35	o 1953
11.14/3.35	o 1952
11.14/3.36	o 1951
11.14/3.36	o 1950
11.14/3.36	o 1949
11.14/3.36	o 1948
11.14/3.37	o 1947
11.14/3.37	o 1946
11.14/3.38	o 1945
11.96/3.41	o 1944
11.96/3.41	o 1943
11.96/3.41	o 1942
11.96/3.42	o 1941
11.96/3.42	o 1940
11.96/3.43	o 1939
11.96/3.43	o 1938
11.96/3.43	o 1937
11.96/3.43	o 1936
11.96/3.43	o 1935
11.96/3.43	o 1934
11.96/3.43	o 1933
11.96/3.44	o 1932
11.96/3.45	o 1931
11.96/3.45	o 1930
11.96/3.45	o 1929
11.96/3.45	o 1928
11.96/3.46	o 1927
11.96/3.46	o 1926
11.96/3.46	o 1925
11.96/3.46	o 1924
11.96/3.47	o 1923
11.96/3.47	o 1922
11.96/3.48	o 1921
11.96/3.49	o 1920
11.96/3.50	o 1919
12.68/3.50	o 1918
12.68/3.50	o 1917
12.68/3.51	o 1916
12.68/3.52	o 1915
12.68/3.52	o 1914
12.68/3.53	o 1913
12.68/3.54	o 1912
12.68/3.55	o 1911
12.68/3.56	o 1910
12.68/3.57	o 1909
12.68/3.58	o 1908
12.68/3.59	o 1907
12.68/3.60	o 1906
13.16/3.61	o 1905
13.16/3.62	o 1904
13.16/3.62	o 1903
13.16/3.63	o 1902
13.16/3.64	o 1901
13.16/3.65	o 1900
13.16/3.65	o 1899
13.16/3.66	o 1898
13.16/3.67	o 1897
13.16/3.67	o 1896
13.16/3.68	o 1895
13.16/3.69	o 1894
13.16/3.69	o 1893
13.64/3.70	o 1892
13.64/3.70	o 1891
13.64/3.71	o 1890
13.64/3.72	o 1889
13.64/3.72	o 1888
13.64/3.73	o 1887
13.64/3.73	o 1886
13.64/3.74	o 1885
13.64/3.74	o 1884
13.64/3.75	o 1883
13.64/3.75	o 1882
13.64/3.75	o 1881
13.64/3.76	o 1880
13.64/3.76	o 1879
13.64/3.76	o 1878
13.64/3.77	o 1877
13.64/3.77	o 1876
13.64/3.77	o 1875
13.64/3.78	o 1874
13.64/3.78	o 1873
13.64/3.78	o 1872
13.64/3.79	o 1871
13.64/3.79	o 1870
13.64/3.79	o 1869
13.64/3.80	o 1868
13.64/3.80	o 1867
14.04/3.80	o 1866
14.04/3.81	o 1865
14.04/3.81	o 1864
14.04/3.82	o 1863
14.04/3.83	o 1862
14.04/3.83	o 1861
14.04/3.86	o 1860
14.04/3.87	o 1859
14.80/3.99	o 1858
15.65/4.03	o 1857
15.65/4.06	o 1856
15.65/4.09	o 1855
16.42/4.11	o 1854
16.42/4.14	o 1853
16.42/4.17	o 1852
17.14/4.20	o 1851
17.14/4.22	o 1850
17.94/4.34	o 1849
21.13/4.77	o 1848
24.35/5.17	o 1847
27.47/5.58	o 1846
30.60/6.01	o 1845
34.61/6.48	o 1844
38.56/6.93	o 1843
41.74/7.37	o 1842
48.94/8.28	o 1841
56.16/9.18	o 1840
71.30/11.04	o 1839
85.56/12.85	o 1838
99.91/14.67	o 1837
115.07/16.56	o 1836
130.21/18.45	o 1835
144.57/20.30	o 1834
176.45/24.23	o 1833
236.26/31.75	o 1832
296.03/39.21	o 1831
357.43/46.92	o 1830
418.83/54.68	o 1829
481.01/62.49	o 1828
545.57/70.55	o 1827
607.74/78.38	o 1826
671.42/86.33	o 1825
735.19/94.30	o 1824
800.49/102.58	o 1823
932.75/119.16	o 1822
1065.11/135.82	o 1821
1198.14/152.66	o 1820
1331.64/169.59	o 1819
1470.61/187.16	o 1818
1609.85/204.87	o 1817
1749.53/222.52	o 1816
1886.13/239.86	o 1815
2022.72/257.14	o 1814
2312.63/293.97	o 1813
2742.43/348.47	o 1812
3193.21/405.57	o 1811
3626.84/460.57	o 1810
4058.88/515.26	o 1809
4450.62/564.86	o 1808
5229.33/663.22	o 1807
6025.05/763.99	o 1806
6839.58/867.06	o 1805
9294.21/1177.54	o 1804
13982.04/1771.89	o 1803
18113.52/2296.32	o 1802
19875.65/2520.04	s SATISFIABLE
19875.65/2520.04	v <instantiation>
19875.65/2520.04	v 	<list>
19875.65/2520.04	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956]
19875.65/2520.04	v 	</list>
19875.65/2520.04	v 	<values>
19875.65/2520.04	v 		1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
19875.65/2520.04	v 	</values>
19875.65/2520.04	v </instantiation>

Verifier Data 

OK	1802

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275068-1502774821/watcher-4275068-1502774821 -o /tmp/evaluation-result-4275068-1502774821/solver-4275068-1502774821 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502771441-8518 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1455345124 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275068-1502774821.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=8686, runsolver pid=8683

[startup+0.10014 s]*
/proc/loadavg: 8.63 8.18 8.57 2/199 8706
/proc/meminfo: memFree=27064668/32770624 swapFree=67108860/67108860
[pid=8686] ppid=8683 vsize=14325320 memory=33556 CPUtime=0.12 cores=0-7
/proc/8686/stat : 8686 (java) S 8683 8686 8491 0 -1 1077944320 8291 0 0 0 11 1 0 0 20 0 20 0 110563250 14669127680 8389 33554432000 4194304 4196468 140730609396096 140730609378640 140504021032695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
/proc/8686/statm: 3581330 8389 3388 1 0 3569050 0
[pid=8686/tid=8688] ppid=8683 vsize=14325320 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/8686/task/8688/stat : 8688 (java) R 8683 8686 8491 0 -1 4202560 6242 0 0 0 8 1 0 0 20 0 20 0 110563250 14669127680 8389 33554432000 4194304 4196468 140730609396096 140504025246272 140504005076325 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8689] ppid=8683 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8686/task/8689/stat : 8689 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503951120784 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8690] ppid=8683 vsize=14325320 memory=140239634519680 CPUtime=0 cores=0-7
/proc/8686/task/8690/stat : 8690 (java) S 8683 8686 8491 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503615715600 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8691] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8691/stat : 8691 (java) S 8683 8686 8491 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503614663312 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8692] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8692/stat : 8692 (java) S 8683 8686 8491 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503613610512 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8693] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8693/stat : 8693 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503612558224 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8694] ppid=8683 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/8686/task/8694/stat : 8694 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503611505424 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8695] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8695/stat : 8695 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503610453136 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8696] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8696/stat : 8696 (java) S 8683 8686 8491 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503609400336 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8697] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8697/stat : 8697 (java) S 8683 8686 8491 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110563252 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503344470128 140504021043842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8698] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8698/stat : 8698 (java) S 8683 8686 8491 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110563253 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503343416096 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8699] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8699/stat : 8699 (java) S 8683 8686 8491 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110563253 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503342363760 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8700] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8700/stat : 8700 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563255 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503341312080 140504021051291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8701] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8701/stat : 8701 (java) S 8683 8686 8491 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 110563256 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503340259952 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8702] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8702/stat : 8702 (java) S 8683 8686 8491 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110563256 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503339207152 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8703] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8703/stat : 8703 (java) S 8683 8686 8491 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 20 0 110563256 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503338154864 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8704] ppid=8683 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/8686/task/8704/stat : 8704 (java) S 8683 8686 8491 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 20 0 110563256 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503337102064 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8705] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8705/stat : 8705 (java) S 8683 8686 8491 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110563256 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503336048992 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8706] ppid=8683 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/8686/task/8706/stat : 8706 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563256 14669127680 8389 33554432000 4194304 4196468 140730609396096 140503334996272 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33556 KiB

[startup+0.210258 s]*
/proc/loadavg: 8.63 8.18 8.57 5/199 8706
/proc/meminfo: memFree=27056852/32770624 swapFree=67108860/67108860
[pid=8686] ppid=8683 vsize=14325320 memory=42440 CPUtime=0.29 cores=0-7
/proc/8686/stat : 8686 (java) S 8683 8686 8491 0 -1 1077944320 9289 0 0 0 27 2 0 0 20 0 20 0 110563250 14669127680 10610 33554432000 4194304 4196468 140730609396096 140730609378640 140504021032695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
/proc/8686/statm: 3581330 10610 3581 1 0 3569050 0
[pid=8686/tid=8688] ppid=8683 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/8686/task/8688/stat : 8688 (java) R 8683 8686 8491 0 -1 4202560 6862 0 0 0 18 1 0 0 20 0 20 0 110563250 14669127680 10610 33554432000 4194304 4196468 140730609396096 140504025257776 140504005113182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8689] ppid=8683 vsize=14325320 memory=9321 CPUtime=0 cores=0-7
/proc/8686/task/8689/stat : 8689 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503951120784 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8690] ppid=8683 vsize=14325320 memory=140239634528454 CPUtime=0 cores=0-7
/proc/8686/task/8690/stat : 8690 (java) S 8683 8686 8491 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503615715600 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8691] ppid=8683 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/8686/task/8691/stat : 8691 (java) S 8683 8686 8491 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503614663312 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8692] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8692/stat : 8692 (java) S 8683 8686 8491 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503613610512 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8693] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8693/stat : 8693 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503612558224 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8694] ppid=8683 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/8686/task/8694/stat : 8694 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503611505424 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8695] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8695/stat : 8695 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503610453136 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8696] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8696/stat : 8696 (java) S 8683 8686 8491 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110563251 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503609400336 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8697] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8697/stat : 8697 (java) S 8683 8686 8491 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 110563252 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503344470128 140504021043842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8698] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8698/stat : 8698 (java) S 8683 8686 8491 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110563253 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503343416096 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8699] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8699/stat : 8699 (java) S 8683 8686 8491 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110563253 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503342363760 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8700] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8700/stat : 8700 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563255 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503341312080 140504021051291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8701] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8701/stat : 8701 (java) S 8683 8686 8491 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 20 0 110563256 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503340259952 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8702] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8702/stat : 8702 (java) S 8683 8686 8491 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 110563256 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503339207152 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8703] ppid=8683 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/8686/task/8703/stat : 8703 (java) S 8683 8686 8491 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 20 0 110563256 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503338154864 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8704] ppid=8683 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/8686/task/8704/stat : 8704 (java) R 8683 8686 8491 0 -1 4202560 389 0 0 0 5 0 0 0 20 0 20 0 110563256 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503337102064 140503999567830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8705] ppid=8683 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8705/stat : 8705 (java) S 8683 8686 8491 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110563256 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503336048992 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8706] ppid=8683 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/8686/task/8706/stat : 8706 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563256 14669127680 10610 33554432000 4194304 4196468 140730609396096 140503334996272 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 42440 KiB

[startup+0.309822 s]*
/proc/loadavg: 8.63 8.18 8.57 3/199 8706
/proc/meminfo: memFree=27048928/32770624 swapFree=67108860/67108860
[pid=8686] ppid=8683 vsize=14325340 memory=50904 CPUtime=0.47 cores=0-7
/proc/8686/stat : 8686 (java) S 8683 8686 8491 0 -1 1077944320 10509 0 0 0 45 2 0 0 20 0 20 0 110563250 14669148160 12726 33554432000 4194304 4196468 140730609396096 140730609378640 140504021032695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
/proc/8686/statm: 3581335 12726 3721 1 0 3569050 0
[pid=8686/tid=8688] ppid=8683 vsize=14325340 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8686/task/8688/stat : 8688 (java) R 8683 8686 8491 0 -1 4202560 7599 0 0 0 28 1 0 0 20 0 20 0 110563250 14669148160 12726 33554432000 4194304 4196468 140730609396096 140504025253600 140503630846535 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8689] ppid=8683 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8689/stat : 8689 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503951120784 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8690] ppid=8683 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8690/stat : 8690 (java) S 8683 8686 8491 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110563251 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503615715600 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8691] ppid=8683 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8691/stat : 8691 (java) S 8683 8686 8491 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110563251 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503614663312 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8692] ppid=8683 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8692/stat : 8692 (java) S 8683 8686 8491 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110563251 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503613610512 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8693] ppid=8683 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/8686/task/8693/stat : 8693 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503612558224 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8694] ppid=8683 vsize=14325340 memory=140239473570735 CPUtime=0 cores=0-7
/proc/8686/task/8694/stat : 8694 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503611505424 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8695] ppid=8683 vsize=14325340 memory=140239473573040 CPUtime=0 cores=0-7
/proc/8686/task/8695/stat : 8695 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503610453136 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8696] ppid=8683 vsize=14325340 memory=140239473575344 CPUtime=0 cores=0-7
/proc/8686/task/8696/stat : 8696 (java) S 8683 8686 8491 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110563251 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503609400336 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8697] ppid=8683 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8697/stat : 8697 (java) S 8683 8686 8491 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 110563252 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503344470128 140504021043842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8698] ppid=8683 vsize=14325340 memory=280478947157648 CPUtime=0 cores=0-7
/proc/8686/task/8698/stat : 8698 (java) S 8683 8686 8491 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110563253 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503343416096 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8699] ppid=8683 vsize=14325340 memory=280478947164560 CPUtime=0 cores=0-7
/proc/8686/task/8699/stat : 8699 (java) S 8683 8686 8491 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110563253 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503342363760 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8700] ppid=8683 vsize=14325340 memory=280478947105840 CPUtime=0 cores=0-7
/proc/8686/task/8700/stat : 8700 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563255 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503341312080 140504021051291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8701] ppid=8683 vsize=14325340 memory=280478947178384 CPUtime=0.02 cores=0-7
/proc/8686/task/8701/stat : 8701 (java) S 8683 8686 8491 0 -1 1077944384 284 0 0 0 2 0 0 0 20 0 20 0 110563256 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503340259952 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8702] ppid=8683 vsize=14325340 memory=280478947185296 CPUtime=0.02 cores=0-7
/proc/8686/task/8702/stat : 8702 (java) R 8683 8686 8491 0 -1 1077944384 187 0 0 0 2 0 0 0 20 0 20 0 110563256 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503339207152 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8703] ppid=8683 vsize=14325340 memory=280478947182992 CPUtime=0.04 cores=0-7
/proc/8686/task/8703/stat : 8703 (java) S 8683 8686 8491 0 -1 1077944384 583 0 0 0 4 0 0 0 20 0 20 0 110563256 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503338154864 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8704] ppid=8683 vsize=14325340 memory=280478947199600 CPUtime=0.08 cores=0-7
/proc/8686/task/8704/stat : 8704 (java) S 8683 8686 8491 0 -1 1077944384 470 0 0 0 8 0 0 0 20 0 20 0 110563256 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503337102064 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8705] ppid=8683 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8705/stat : 8705 (java) S 8683 8686 8491 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110563256 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503336048992 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8706] ppid=8683 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/8686/task/8706/stat : 8706 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563256 14669148160 12726 33554432000 4194304 4196468 140730609396096 140503334996272 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 50904 KiB

[startup+0.700914 s]
/proc/loadavg: 8.63 8.18 8.57 6/199 8706
/proc/meminfo: memFree=27034348/32770624 swapFree=67108860/67108860
[pid=8686] ppid=8683 vsize=14327388 memory=97356 CPUtime=1.61 cores=0-7
/proc/8686/stat : 8686 (java) S 8683 8686 8491 0 -1 1077944320 14972 0 0 0 157 4 0 0 20 0 20 0 110563250 14671245312 24339 33554432000 4194304 4196468 140730609396096 140730609378640 140504021032695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
/proc/8686/statm: 3581847 24339 3775 1 0 3569562 0
[pid=8686/tid=8688] ppid=8683 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/8686/task/8688/stat : 8688 (java) R 8683 8686 8491 0 -1 4202560 8448 0 0 0 65 2 0 0 20 0 20 0 110563250 14671245312 24339 33554432000 4194304 4196468 140730609396096 140504025270240 140504021054621 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8689] ppid=8683 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8689/stat : 8689 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14671245312 24402 33554432000 4194304 4196468 140730609396096 140503951120784 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8690] ppid=8683 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8690/stat : 8690 (java) S 8683 8686 8491 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110563251 14671245312 24402 33554432000 4194304 4196468 140730609396096 140503615715600 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8691] ppid=8683 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8691/stat : 8691 (java) S 8683 8686 8491 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110563251 14671245312 24402 33554432000 4194304 4196468 140730609396096 140503614663312 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8692] ppid=8683 vsize=14327388 memory=1224 CPUtime=0 cores=0-7
/proc/8686/task/8692/stat : 8692 (java) S 8683 8686 8491 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110563251 14671245312 24402 33554432000 4194304 4196468 140730609396096 140503613610512 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8693] ppid=8683 vsize=14327388 memory=1716 CPUtime=0 cores=0-7
/proc/8686/task/8693/stat : 8693 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14671245312 24402 33554432000 4194304 4196468 140730609396096 140503612558224 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8694] ppid=8683 vsize=14327388 memory=10596 CPUtime=0 cores=0-7
/proc/8686/task/8694/stat : 8694 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14671245312 24402 33554432000 4194304 4196468 140730609396096 140503611505424 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8695] ppid=8683 vsize=14327388 memory=1200 CPUtime=0 cores=0-7
/proc/8686/task/8695/stat : 8695 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110563251 14671245312 24402 33554432000 4194304 4196468 140730609396096 140503610453136 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8696] ppid=8683 vsize=14327388 memory=15872 CPUtime=0 cores=0-7
/proc/8686/task/8696/stat : 8696 (java) S 8683 8686 8491 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110563251 14671245312 24402 33554432000 4194304 4196468 140730609396096 140503609400336 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8697] ppid=8683 vsize=14327388 memory=4044 CPUtime=0 cores=0-7
/proc/8686/task/8697/stat : 8697 (java) S 8683 8686 8491 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 110563252 14671245312 24402 33554432000 4194304 4196468 140730609396096 140503344470128 140504021043842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0

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

/proc/8686/task/8712/stat : 8712 (java) S 8683 8686 8491 0 -1 1077944384 997 0 0 0 7 0 0 0 20 0 46 0 110563513 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503315252880 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8713] ppid=8683 vsize=16068328 memory=0 CPUtime=0.07 cores=0-7
/proc/8686/task/8713/stat : 8713 (java) S 8683 8686 8491 0 -1 1077944384 288 0 0 0 7 0 0 0 20 0 46 0 110563513 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503314199568 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8714] ppid=8683 vsize=16068328 memory=4140 CPUtime=2448.9 cores=0-7
/proc/8686/task/8714/stat : 8714 (java) R 8683 8686 8491 0 -1 4202560 75322 0 0 0 244822 68 0 0 20 0 46 0 110563514 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503313144336 140503642483711 0 4 0 16800975 0 0 0 -1 7 0 0 56 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8715] ppid=8683 vsize=16068328 memory=280478951644800 CPUtime=2451.41 cores=0-7
/proc/8686/task/8715/stat : 8715 (java) R 8683 8686 8491 0 -1 4202560 73945 0 0 0 245071 70 0 0 20 0 46 0 110563514 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503312088336 140503643167440 0 4 0 16800975 0 0 0 -1 3 0 0 52 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8716] ppid=8683 vsize=16068328 memory=3635752 CPUtime=0.08 cores=0-7
/proc/8686/task/8716/stat : 8716 (java) S 8683 8686 8491 0 -1 1077944384 249 0 0 0 8 0 0 0 20 0 46 0 110563514 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503311041680 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8717] ppid=8683 vsize=16068328 memory=1936 CPUtime=2451.26 cores=0-7
/proc/8686/task/8717/stat : 8717 (java) R 8683 8686 8491 0 -1 4202560 76728 0 0 0 245060 66 0 0 20 0 46 0 110563514 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503309983512 140503643167182 0 4 0 16800975 0 0 0 -1 1 0 0 60 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8718] ppid=8683 vsize=16068328 memory=3636892 CPUtime=2450.63 cores=0-7
/proc/8686/task/8718/stat : 8718 (java) R 8683 8686 8491 0 -1 4202560 72162 0 0 0 244997 66 0 0 20 0 46 0 110563514 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503308930576 140503642483711 0 4 0 16800975 0 0 0 -1 4 0 0 62 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8719] ppid=8683 vsize=16068328 memory=920 CPUtime=0 cores=0-7
/proc/8686/task/8719/stat : 8719 (java) S 8683 8686 8491 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 46 0 110563529 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503307884304 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8720] ppid=8683 vsize=16068328 memory=4116 CPUtime=2453.04 cores=0-7
/proc/8686/task/8720/stat : 8720 (java) R 8683 8686 8491 0 -1 4202560 84027 0 0 0 245232 72 0 0 20 0 46 0 110563529 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503306827696 140503643166069 0 4 0 16800975 0 0 0 -1 5 0 0 59 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8721] ppid=8683 vsize=16068328 memory=4100 CPUtime=0 cores=0-7
/proc/8686/task/8721/stat : 8721 (java) S 8683 8686 8491 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 110563529 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503305777968 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8722] ppid=8683 vsize=16068328 memory=4140 CPUtime=0 cores=0-7
/proc/8686/task/8722/stat : 8722 (java) S 8683 8686 8491 0 -1 1077944384 718 0 0 0 0 0 0 0 20 0 46 0 110563529 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503304725392 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8723] ppid=8683 vsize=16068328 memory=31696 CPUtime=0 cores=0-7
/proc/8686/task/8723/stat : 8723 (java) S 8683 8686 8491 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 110563529 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503303672880 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8724] ppid=8683 vsize=16068328 memory=1296 CPUtime=0 cores=0-7
/proc/8686/task/8724/stat : 8724 (java) S 8683 8686 8491 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 46 0 110563529 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503302620080 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8725] ppid=8683 vsize=16068328 memory=2396 CPUtime=0 cores=0-7
/proc/8686/task/8725/stat : 8725 (java) S 8683 8686 8491 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 46 0 110563584 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503299434000 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8726] ppid=8683 vsize=16068328 memory=3635752 CPUtime=0 cores=0-7
/proc/8686/task/8726/stat : 8726 (java) S 8683 8686 8491 0 -1 1077944384 377 0 0 0 0 0 0 0 20 0 46 0 110563584 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503298381200 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8727] ppid=8683 vsize=16068328 memory=2244 CPUtime=0 cores=0-7
/proc/8686/task/8727/stat : 8727 (java) S 8683 8686 8491 0 -1 1077944384 931 0 0 0 0 0 0 0 20 0 46 0 110563586 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503297328912 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8728] ppid=8683 vsize=16068328 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8728/stat : 8728 (java) S 8683 8686 8491 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 110563587 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503296275888 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8729] ppid=8683 vsize=16068328 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/8686/task/8729/stat : 8729 (java) S 8683 8686 8491 0 -1 1077944384 1609 0 0 0 0 0 0 0 20 0 46 0 110563589 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503295222800 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8730] ppid=8683 vsize=16068328 memory=0 CPUtime=0 cores=0-7
/proc/8686/task/8730/stat : 8730 (java) S 8683 8686 8491 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 110563590 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503294169776 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8731] ppid=8683 vsize=16068328 memory=18652 CPUtime=0 cores=0-7
/proc/8686/task/8731/stat : 8731 (java) S 8683 8686 8491 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 46 0 110563590 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503293117712 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8732] ppid=8683 vsize=16068328 memory=1796 CPUtime=0 cores=0-7
/proc/8686/task/8732/stat : 8732 (java) S 8683 8686 8491 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 110563590 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503292064688 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
Current children cumulated CPU time: 19736 s
Current children cumulated vsize: 16068328 KiB
Current children cumulated memory: 3636904 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.60 8.85 8.81 9/225 8765
/proc/meminfo: memFree=23453644/32770624 swapFree=67108860/67108860
[pid=8686] ppid=8683 vsize=16068328 memory=3636904 CPUtime=19875.7 cores=0-7
/proc/8686/stat : 8686 (java) S 8683 8686 8491 0 -1 1077944320 1933304 0 0 0 1986388 1177 0 0 20 0 46 0 110563250 16453967872 909226 33554432000 4194304 4196468 140730609396096 140730609378640 140504021032695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
/proc/8686/statm: 4017082 909226 3859 1 0 4004276 0
[pid=8686/tid=8688] ppid=8683 vsize=16068328 memory=1696 CPUtime=2.56 cores=0-7
/proc/8686/task/8688/stat : 8688 (java) S 8683 8686 8491 0 -1 1077944384 14383 0 0 0 248 8 0 0 20 0 46 0 110563250 16453967872 909226 33554432000 4194304 4196468 140730609396096 140504025270400 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8689] ppid=8683 vsize=16068328 memory=4872558044660077418 CPUtime=12.35 cores=0-7
/proc/8686/task/8689/stat : 8689 (java) S 8683 8686 8491 0 -1 1077944384 124062 0 0 0 1169 66 0 0 20 0 46 0 110563251 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503951120784 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8690] ppid=8683 vsize=16068328 memory=7016714190785702558 CPUtime=12.44 cores=0-7
/proc/8686/task/8690/stat : 8690 (java) S 8683 8686 8491 0 -1 1077944384 121910 0 0 0 1184 60 0 0 20 0 46 0 110563251 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503615715600 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8691] ppid=8683 vsize=16068328 memory=6944656592455360608 CPUtime=12.39 cores=0-7
/proc/8686/task/8691/stat : 8691 (java) S 8683 8686 8491 0 -1 1077944384 114184 0 0 0 1176 63 0 0 20 0 46 0 110563251 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503614663312 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8692] ppid=8683 vsize=16068328 memory=7016714186490735262 CPUtime=12.39 cores=0-7
/proc/8686/task/8692/stat : 8692 (java) S 8683 8686 8491 0 -1 1077944384 118943 0 0 0 1182 57 0 0 20 0 46 0 110563251 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503613610512 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8693] ppid=8683 vsize=16068328 memory=8761640388318109335 CPUtime=12.36 cores=0-7
/proc/8686/task/8693/stat : 8693 (java) S 8683 8686 8491 0 -1 1077944384 115508 0 0 0 1169 67 0 0 20 0 46 0 110563251 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503612558224 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8694] ppid=8683 vsize=16068328 memory=7378986813909975148 CPUtime=12.32 cores=0-7
/proc/8686/task/8694/stat : 8694 (java) S 8683 8686 8491 0 -1 1077944384 127009 0 0 0 1170 62 0 0 20 0 46 0 110563251 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503611505424 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 38 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8695] ppid=8683 vsize=16068328 memory=7295950583417696866 CPUtime=12.36 cores=0-7
/proc/8686/task/8695/stat : 8695 (java) S 8683 8686 8491 0 -1 1077944384 119094 0 0 0 1178 58 0 0 20 0 46 0 110563251 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503610453136 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8696] ppid=8683 vsize=16068328 memory=7955159511413908800 CPUtime=12.38 cores=0-7
/proc/8686/task/8696/stat : 8696 (java) S 8683 8686 8491 0 -1 1077944384 118244 0 0 0 1177 61 0 0 20 0 46 0 110563251 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503609400336 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8697] ppid=8683 vsize=16068328 memory=280478948220224 CPUtime=10.48 cores=0-7
/proc/8686/task/8697/stat : 8697 (java) S 8683 8686 8491 0 -1 1077944384 264505 0 0 0 911 137 0 0 20 0 46 0 110563252 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503344470128 140504021043842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8698] ppid=8683 vsize=16068328 memory=7013287975217032045 CPUtime=0 cores=0-7
/proc/8686/task/8698/stat : 8698 (java) S 8683 8686 8491 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 110563253 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503343416160 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8699] ppid=8683 vsize=16068328 memory=3636904 CPUtime=0 cores=0-7
/proc/8686/task/8699/stat : 8699 (java) S 8683 8686 8491 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 46 0 110563253 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503342363776 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8700] ppid=8683 vsize=16068328 memory=-8634980985311628903 CPUtime=0 cores=0-7
/proc/8686/task/8700/stat : 8700 (java) S 8683 8686 8491 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 110563255 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503341312080 140504021051291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8701] ppid=8683 vsize=16068328 memory=7897517683652307531 CPUtime=1.66 cores=0-7
/proc/8686/task/8701/stat : 8701 (java) S 8683 8686 8491 0 -1 1077944384 6132 0 0 0 165 1 0 0 20 0 46 0 110563256 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503340259952 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8702] ppid=8683 vsize=16068328 memory=8514726395715349656 CPUtime=1.7 cores=0-7
/proc/8686/task/8702/stat : 8702 (java) S 8683 8686 8491 0 -1 1077944384 7871 0 0 0 169 1 0 0 20 0 46 0 110563256 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503339207152 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8703] ppid=8683 vsize=16068328 memory=3047711553320166262 CPUtime=1.66 cores=0-7
/proc/8686/task/8703/stat : 8703 (java) S 8683 8686 8491 0 -1 1077944384 7516 0 0 0 164 2 0 0 20 0 46 0 110563256 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503338154864 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8704] ppid=8683 vsize=16068328 memory=8514701219730523551 CPUtime=0.99 cores=0-7
/proc/8686/task/8704/stat : 8704 (java) S 8683 8686 8491 0 -1 1077944384 18848 0 0 0 95 4 0 0 20 0 46 0 110563256 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503337102064 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8705] ppid=8683 vsize=16068328 memory=6444487683785321321 CPUtime=0 cores=0-7
/proc/8686/task/8705/stat : 8705 (java) S 8683 8686 8491 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 110563256 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503336048992 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8706] ppid=8683 vsize=16068328 memory=7881693399763348327 CPUtime=0.7 cores=0-7
/proc/8686/task/8706/stat : 8706 (java) S 8683 8686 8491 0 -1 1077944384 10929 0 0 0 62 8 0 0 20 0 46 0 110563256 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503334996272 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8707] ppid=8683 vsize=16068328 memory=7742082928254936170 CPUtime=0.01 cores=0-7
/proc/8686/task/8707/stat : 8707 (java) S 8683 8686 8491 0 -1 1077944384 2704 0 0 0 1 0 0 0 20 0 46 0 110563488 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503324709792 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8708] ppid=8683 vsize=16068328 memory=7589238549796905812 CPUtime=1.94 cores=0-7
/proc/8686/task/8708/stat : 8708 (java) S 8683 8686 8491 0 -1 1077944384 21045 0 0 0 73 121 0 0 20 0 46 0 110563500 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503321560096 140504021043842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8709] ppid=8683 vsize=16068328 memory=7378132501965661526 CPUtime=2471.15 cores=0-7
/proc/8686/task/8709/stat : 8709 (java) R 8683 8686 8491 0 -1 4202560 72061 0 0 0 247045 70 0 0 20 0 46 0 110563510 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503320503296 140503643167730 0 4 0 16800975 0 0 0 -1 5 0 0 52 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8710] ppid=8683 vsize=16068328 memory=1728 CPUtime=2470.34 cores=0-7
/proc/8686/task/8710/stat : 8710 (java) R 8683 8686 8491 0 -1 4202560 78194 0 0 0 246967 67 0 0 20 0 46 0 110563511 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503319449224 140503643191123 0 4 0 16800975 0 0 0 -1 0 0 0 65 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8711] ppid=8683 vsize=16068328 memory=1004 CPUtime=2470.99 cores=0-7
/proc/8686/task/8711/stat : 8711 (java) R 8683 8686 8491 0 -1 4202560 77081 0 0 0 247030 69 0 0 20 0 46 0 110563511 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503316299800 140503642483664 0 4 0 16800975 0 0 0 -1 2 0 0 70 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8712] ppid=8683 vsize=16068328 memory=11040 CPUtime=0.07 cores=0-7
/proc/8686/task/8712/stat : 8712 (java) S 8683 8686 8491 0 -1 1077944384 997 0 0 0 7 0 0 0 20 0 46 0 110563513 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503315252880 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8713] ppid=8683 vsize=16068328 memory=5700 CPUtime=0.07 cores=0-7
/proc/8686/task/8713/stat : 8713 (java) S 8683 8686 8491 0 -1 1077944384 288 0 0 0 7 0 0 0 20 0 46 0 110563513 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503314199568 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8714] ppid=8683 vsize=16068328 memory=4616 CPUtime=2466.2 cores=0-7
/proc/8686/task/8714/stat : 8714 (java) R 8683 8686 8491 0 -1 4202560 75884 0 0 0 246552 68 0 0 20 0 46 0 110563514 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503313142280 140503643167730 0 4 0 16800975 0 0 0 -1 6 0 0 56 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8715] ppid=8683 vsize=16068328 memory=792 CPUtime=2468.8 cores=0-7
/proc/8686/task/8715/stat : 8715 (java) R 8683 8686 8491 0 -1 4202560 74676 0 0 0 246810 70 0 0 20 0 46 0 110563514 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503312091280 140503642031731 0 4 0 16800975 0 0 0 -1 4 0 0 53 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8716] ppid=8683 vsize=16068328 memory=1424 CPUtime=0.08 cores=0-7
/proc/8686/task/8716/stat : 8716 (java) S 8683 8686 8491 0 -1 1077944384 249 0 0 0 8 0 0 0 20 0 46 0 110563514 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503311041680 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8717] ppid=8683 vsize=16068328 memory=1936 CPUtime=2468.6 cores=0-7
/proc/8686/task/8717/stat : 8717 (java) R 8683 8686 8491 0 -1 4202560 77460 0 0 0 246793 67 0 0 20 0 46 0 110563514 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503309984768 140503642031597 0 4 0 16800975 0 0 0 -1 1 0 0 61 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8718] ppid=8683 vsize=16068328 memory=1224 CPUtime=2468.03 cores=0-7
/proc/8686/task/8718/stat : 8718 (java) R 8683 8686 8491 0 -1 4202560 72922 0 0 0 246737 66 0 0 20 0 46 0 110563514 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503308933600 140503643167498 0 4 0 16800975 0 0 0 -1 7 0 0 62 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8719] ppid=8683 vsize=16068328 memory=1716 CPUtime=0 cores=0-7
/proc/8686/task/8719/stat : 8719 (java) S 8683 8686 8491 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 46 0 110563529 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503307884304 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8720] ppid=8683 vsize=16068328 memory=10596 CPUtime=2470.28 cores=0-7
/proc/8686/task/8720/stat : 8720 (java) R 8683 8686 8491 0 -1 4202560 84724 0 0 0 246956 72 0 0 20 0 46 0 110563529 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503306824928 140503639645792 0 4 0 16800975 0 0 0 -1 3 0 0 59 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8721] ppid=8683 vsize=16068328 memory=1200 CPUtime=0 cores=0-7
/proc/8686/task/8721/stat : 8721 (java) S 8683 8686 8491 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 110563529 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503305777968 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8722] ppid=8683 vsize=16068328 memory=15872 CPUtime=0 cores=0-7
/proc/8686/task/8722/stat : 8722 (java) S 8683 8686 8491 0 -1 1077944384 718 0 0 0 0 0 0 0 20 0 46 0 110563529 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503304725392 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8723] ppid=8683 vsize=16068328 memory=3636904 CPUtime=0 cores=0-7
/proc/8686/task/8723/stat : 8723 (java) S 8683 8686 8491 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 110563529 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503303672880 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8724] ppid=8683 vsize=16068328 memory=1696 CPUtime=0 cores=0-7
/proc/8686/task/8724/stat : 8724 (java) S 8683 8686 8491 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 46 0 110563529 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503302620080 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8725] ppid=8683 vsize=16068328 memory=920 CPUtime=0 cores=0-7
/proc/8686/task/8725/stat : 8725 (java) S 8683 8686 8491 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 46 0 110563584 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503299434000 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8726] ppid=8683 vsize=16068328 memory=4116 CPUtime=0 cores=0-7
/proc/8686/task/8726/stat : 8726 (java) S 8683 8686 8491 0 -1 1077944384 377 0 0 0 0 0 0 0 20 0 46 0 110563584 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503298381200 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8727] ppid=8683 vsize=16068328 memory=4100 CPUtime=0 cores=0-7
/proc/8686/task/8727/stat : 8727 (java) S 8683 8686 8491 0 -1 1077944384 931 0 0 0 0 0 0 0 20 0 46 0 110563586 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503297328912 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8728] ppid=8683 vsize=16068328 memory=1156 CPUtime=0 cores=0-7
/proc/8686/task/8728/stat : 8728 (java) S 8683 8686 8491 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 110563587 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503296275888 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8729] ppid=8683 vsize=16068328 memory=4472 CPUtime=0 cores=0-7
/proc/8686/task/8729/stat : 8729 (java) S 8683 8686 8491 0 -1 1077944384 1609 0 0 0 0 0 0 0 20 0 46 0 110563589 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503295222800 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8730] ppid=8683 vsize=16068328 memory=3636904 CPUtime=0 cores=0-7
/proc/8686/task/8730/stat : 8730 (java) S 8683 8686 8491 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 110563590 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503294169776 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8731] ppid=8683 vsize=16068328 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/8686/task/8731/stat : 8731 (java) S 8683 8686 8491 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 46 0 110563590 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503293117712 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
[pid=8686/tid=8732] ppid=8683 vsize=16068328 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8686/task/8732/stat : 8732 (java) S 8683 8686 8491 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 110563590 16453967872 909226 33554432000 4194304 4196468 140730609396096 140503292064688 140504021042901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140730609402977 140730609403163 140730609403163 140730609405903 0
Current children cumulated CPU time: 19875.7 s
Current children cumulated vsize: 16068328 KiB
Current children cumulated memory: 3636904 KiB

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

[startup+2520.07 s]
# the end of solver process 8686 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19864.2 s, system=11.7992 s

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

Child status: 143
Real time (s): 2520.07
CPU time (s): 19876
CPU user time (s): 19864.2
CPU system time (s): 11.7992
CPU usage (%): 788.708
Max. virtual memory (cumulated for all children) (KiB): 16068328
Max. memory (cumulated for all children) (KiB): 3850056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19864.2
system time used= 11.7992
maximum resident set size= 3851352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1933625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 961185
involuntary context switches= 432485


# summary of solver processes directly reported to runsolver:
#   pid: 8686
#   total CPU time (s): 19876
#   total CPU user time (s): 19864.2
#   total CPU system time (s): 11.7992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.9678 second user time and 38.4672 second system time

The end

Launcher Data 

Begin job on node150 at 2017-08-15 07:12:42
IDJOB=4275068
IDBENCH=135252
IDSOLVER=2668
FILE ID=node150/4275068-1502774821
RUNJOBID= node150-1502771441-8518
PBS_JOBID= 20629100
Free space on /tmp= 61636 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-vtxcov/Pb-vtxcov-v2000-e4000-05.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275068-1502774821/watcher-4275068-1502774821 -o /tmp/evaluation-result-4275068-1502774821/solver-4275068-1502774821 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502771441-8518 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1455345124 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275068-1502774821.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 31e85661316b8aad2d1246d7b0a73c1b
RANDOM SEED=1455345124

node150.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	: 5332.89
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	: 5332.89
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	: 5332.89
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	: 5332.89
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:        27084648 kB
MemAvailable:   31973320 kB
Buffers:          290064 kB
Cached:          4873756 kB
SwapCached:            0 kB
Active:           778760 kB
Inactive:        4438556 kB
Active(anon):      56300 kB
Inactive(anon):    25068 kB
Active(file):     722460 kB
Inactive(file):  4413488 kB
Unevictable:        6228 kB
Mlocked:            6228 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42340 kB
Writeback:             0 kB
AnonPages:         59620 kB
Mapped:            45712 kB
Shmem:             25224 kB
Slab:             163208 kB
SReclaimable:     137120 kB
SUnreclaim:        26088 kB
KernelStack:        3232 kB
PageTables:         4356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61596 MiB
End job on node150 at 2017-08-15 07:54:43